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 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
7.3 Parallell<strong>för</strong>flyttning<br />
Vi har redan konnektionen, som specificerar hur vektorer kan <strong>för</strong>flyttas, men<br />
vi vill finna ett uttryck som även berättar hur vektorer “borde” <strong>för</strong>flyttas.<br />
Det är här parallell<strong>för</strong>flyttning kommer in. Då man tänker sig den vanliga<br />
definitionen på parallell<strong>för</strong>flyttning inser man snabbt att en ny definition<br />
krävs: hur parallell<strong>för</strong>flyttar man en vektor på en krökt yta som till exempel<br />
en sfär? Vår nya definition kommer innehålla kravet att vektorn <strong>för</strong>flyttas<br />
parallellt med avseende på en viss kurva, konnektionen.<br />
Definition 7.7. Låt c : [a, b] → M vara en kurva, <strong>och</strong> X(t) ett vektorfält<br />
definierat på kurvan. Låt V vara tangentvektorn till kurvan. Då låter vi<br />
parallell<strong>för</strong>flyttning betyda<br />
∇V X = 0.<br />
Detta innebär enligt ovan att givet en konnektion, så ändras inte X<br />
i <strong>för</strong>hållande till tangentvektorn V till kurvan: tangentvektorn är parallell<br />
med kurvan i varje punkt vilket motiverar definitionen.<br />
Betänk att konnektionen är den kovarianta derivatan, alltså en infinitesimal<br />
<strong>för</strong>flyttning. Detta betyder att parallell<strong>för</strong>flyttningen kan fås genom att<br />
integrera konnektionen. Det kan vi tolka det som att parallell<strong>för</strong>flyttningen<br />
är en lokal 4 manifestering av konnektionen. Vi kan gå andra hållet <strong>och</strong><br />
ta fram konnektionen ur en parallelltransport genom att lösa medföljande<br />
differentialekvationer.<br />
7.3.1 Geodetisk linje<br />
Då vi nu har parallelll<strong>för</strong>flyttning kan vi börja angripa problemet med att<br />
vi i <strong>allmän</strong>het inte har några raka linjer på mångfalder. I detta avsnitt ska<br />
vi generalisera vår definition av rak linje <strong>och</strong> se hur vi kan applicera det<br />
på mångfalder. En rät linje är en kurva sådan att om vi parallell<strong>för</strong>flyttar<br />
dess tangentvektor i någon punkt längs med kurvan kommer den flyttade<br />
tangentvektorn alltid att vara parallell med kurvan. En linje som uppfyller<br />
detta kallar vi geodetisk.<br />
Definition 7.8. En geodetisk linje är en kurva c(t) med tangentvektor V<br />
sådant att<br />
∇V V = 0<br />
Vi kan se att mellan två punkter kommer det inte att finnas en unik<br />
geodetisk linje. Tänk på ett badkar: om du börjar i mitten på ena kortsidan<br />
<strong>och</strong> ska till mitten på andra kortsidan kommer du att få minst två geodetiska<br />
linjer. Ett annat exempel är sfären där det finns oändligt många geodetiska<br />
linjer mellan sydpolen <strong>och</strong> nordpolen.<br />
4 Lägg dock märke till att trots att parallell<strong>för</strong>flyttningen är lokal är den större"än<br />
konnektionen - som är infinitesimal<br />
114