Topologi och geometri för allmän relativitetsteori - Chalmers ...
Topologi och geometri för allmän relativitetsteori - Chalmers ...
Topologi och geometri för allmän relativitetsteori - Chalmers ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
6.1.2 Sluten <strong>och</strong> exakt form<br />
Vi såg ovan att Stokes sats berättar hur vi kan beräkna integralen av derivaran<br />
av en form på ett område, genom att integrera formen själv över<br />
randen på området. Detta leder oss till att ställa frågan hur det är om vi<br />
har integralen över ett område av någon form, om denna formen i sin tur är<br />
derivatan av någon annan form. Är den det kan vi använda Stokes sats. Vi<br />
vill klassificera dessa olika typer av former <strong>och</strong> definierar där<strong>för</strong>:<br />
Definition 6.3. .<br />
• En form är sluten om dess externa derivata är noll: dω = 0<br />
• En form är exakt om den är extern derivatan av någon annan form:<br />
ω = dφ<br />
Namnen är välbefogade: en sluten form <strong>för</strong>ändras inte, till exempel en<br />
skalärfunktion är konstant, ett vektorfält har ingen källa (divergensen är<br />
noll) eller är rotationsfritt (rotationen är noll). Även benämningen ’exakt<br />
form’ känns välbefogat: integralen av en exakt form över en kurva är, som en<br />
rak följd av stokes sats, enbart beroende på start- <strong>och</strong> slutpunkt av kurvan.<br />
Generellt är integralen av en exakt form enbart beroende på randen till<br />
området formen integreras över.<br />
Låt oss ge ytterligare två exempel på slutna former. Vi antar att rummet<br />
är R n .<br />
• En skalärfunktion är en 0-form. Den externa derivatan av skalärfunktionen<br />
är gradienten. Om formen är sluten betyder det att gradienten är<br />
noll. Om gradienten är noll på hela området har vi en konstansfunktion.<br />
Detta betyder också att integralen av formen över varje sluten<br />
kurva vara noll.<br />
• En 1-form är ett vektorfält. Den externa derivatan av ett vektorfält<br />
är dess rotation. Så om formen är sluten har inte vektorfältet någon<br />
rotation. Detta betyder att vektorfältets bidrag kommer precis att ta<br />
ut varandra över varje sluten kurva, vilket betyder att integralen av<br />
fältet över en sluten kurva är noll.<br />
Vi kan även se att exakta former måste vara slutna eftersom, <strong>för</strong> ω = d φ;<br />
<br />
ω = φ(A) − φ(A) = 0 ∀φ ∈ Ω r−1<br />
enligt Stokes sats Det ser vi formellt eftersom d är nilpotent. 4 Vi formulerar<br />
därmed följande sats:<br />
Sats 6.3. d ω = 0 om ω = d φ, ty d ω = d(d φ) = 0.<br />
4 Ett element n är nilpotent omm n 2 = 0<br />
97