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.
Definition 7.11 (Holonomigrupp). Med p ∈ M <strong>och</strong> c(t) som ovan ger parallell<strong>för</strong>skjutningar<br />
längs av X längs c upphov till transformationen<br />
Pc : TpM → TpM (7.19)<br />
Gruppen av alla sådana transformationer betecknas H(p) <strong>och</strong> kallas holonomigruppen<br />
på p.<br />
Gruppoperationen är sammansättningen. I det här fallet innebär det att<br />
<strong>för</strong>st låta vektorn parallel<strong>för</strong>flyttas längs en kurva <strong>och</strong> sedan längs nästa.<br />
Den totala kurvan är sluten <strong>och</strong> därmed är alltså mängden sluten under<br />
gruppoperationen. Som identitetselement har vi transformationen genererad<br />
av kurvan som bara består av punkten p. Som invers har vi transformationen<br />
som generaras av kurvan genomlöpt i motsatt riktning.<br />
Genom att parallell<strong>för</strong>flytta en vektor från p till en godtycklig punkt q,<br />
transformera den på ovan beskrivna sätt <strong>och</strong> sedan <strong>för</strong>skjuta resultatet tillbaka<br />
till p, kan vi definiera en isomorfi mellan H(p) <strong>och</strong> H(q) <strong>för</strong> alla punkter<br />
som ligger i en sammanhängande mängd. Det blir då meningsfullt att tala<br />
om en holonomigrupp <strong>för</strong> hela mångfalden, under<strong>för</strong>stått en holonomigrupp<br />
som gäller <strong>för</strong> varje punkt i mångfalden.<br />
7.7.2 Isometri<br />
Isometrier är avbildningar som bevarar längden av vektorer, typexemplet är<br />
rotationer <strong>och</strong> translationer i ett euklidiskt rum. En generell definition av<br />
isometri görs i termer av metriken.<br />
Definition 7.12 (Isometri). Låt f vara en diffeomorfism <strong>och</strong> M en Riemannsk<br />
eller pseudo-Riemannsk mångfald sådana att f : M → M. Om f<br />
bevarar metriken, dvs uppfyller nedanstående ekvation, kallas den en isometri.<br />
(7.20)<br />
f ∗ g f(p) = gp<br />
Ett liknande men något svagare begrepp får vi genom att tillåta f att<br />
relatera metrikerna med en skalfaktor, vilket vi beskriver i nästa avsnitt.<br />
Det är lätt att inse att identitetstransformationen <strong>och</strong> den inversa transformationen<br />
till en isometri också är isometrier, liksom sammansättning av<br />
två isometrier. Alltså finns en isometrigrupp på ett rum, bestående av alla<br />
isometrier.<br />
Exempel på isometri<br />
Exempel 7.4 (Euklidiska rummets isometrier). Vi har nämnt att translationer<br />
<strong>och</strong> rotationer i det euklidiska rummet är isometrier. Vi betraktar R 2 .<br />
Diffeomorfismen f är i detta fall f(p) = Ap + T där A ∈ SO(2), T ∈ R 2 .<br />
Metriken är δµν.<br />
121