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.
Och eftersom eν/fγ = ∂y γ /∂x ν kan vi göra följande omskriving:<br />
∂2xν ∂yα∂y β<br />
∂yγ ∂xλ<br />
+<br />
∂xν ∂yα ∂x µ<br />
∂yβ ∂yγ ∂xν Γν λµ = Γγ<br />
αβ + tγ<br />
αβ<br />
(7.13)<br />
Och nu <strong>för</strong>egås konnektionskoefficienten i vänsterledet av precis de koordinatbyten<br />
som låter oss <strong>för</strong>korta bort Γ-termerna ur ekvationen <strong>och</strong> få:<br />
∂2xν ∂yα∂y β<br />
∂yγ = tγ<br />
∂xν αβ<br />
(7.14)<br />
Vilket är ett (1, 2)-tensorfält på varje sida, varav det ena är godtyckligt<br />
valt av oss <strong>och</strong> det andra väljs så att ekvationen uppfylls genom att hitta<br />
en motsvarande koordinattransformation. Det finns alltså <strong>för</strong> varje (1, 2)tensorfält<br />
ett motsvarande koordinatbyte som transformerar konnektionsko-<br />
efficienterna genom addition av tensorfältet. Om vi väljer t γ<br />
αβ = −Kκ µν får<br />
vi precis Levi-Civita-konnektionen. I ekvationerna ovan är symmetrin i α, β<br />
tydlig.<br />
7.5.1 Geodeter<br />
Geodeter får en ny, fysikaliskt viktig betydelse med Levi-Civita-konnektionen.<br />
De blir nu även ett lokalt minima <strong>för</strong> längden av de möjliga kurvorna mellan<br />
två punkter, inte bara de rakaste möjliga linjerna.<br />
7.6 Riemanns kurvaturtensor<br />
Vi kommer hädanefter alltid att anta att vår konnektion är Levi-Civitakonnektionen.<br />
Om vi har en mångfald vill vi kunna uttala oss om hur krökt denna mångfald<br />
är. Exempelvis är jorden krökt, men mindre krökt än ett bowlingklot.<br />
Så vad betyder krökning? Vi säger att ju mindre något lokalt kring en punkt<br />
liknar ett euklidiskt rum, desto mer krökt är mångfalden i den punkten. Hur<br />
kan vi tolka detta matematiskt?<br />
Först betyder detta att vi kommer få fram någon typ av fält, skalär-,<br />
vektor- eller tensorfält. Detta <strong>för</strong> att vi vill ha någon typ av funktion som<br />
är definierad i varje punkt. Vad mer kan vi härleda enbart utifrån vår tanke<br />
på krökning ovan? Vi vill på något sätt undersöka hur avstånden mellan<br />
två punkter <strong>för</strong>håller sig gentemot hur det avståndet hade varit på en platt<br />
(euklidisk) yta. Vi kommer att ha ett fält som behandlar metriken. Vi kommer<br />
med andra ord att få ett tensorfält <strong>och</strong> nu med detta som inledning<br />
följer här definitionen av Kurvaturtensorn.<br />
117