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.
Figur 5.17: En liegruppinducerad avbildning. Jäm<strong>för</strong> med figur 5.10 i avsnitt<br />
5.2.6<br />
där<br />
Sedan tidigare har vi sambanden<br />
V = V µ ∂/∂x µ<br />
W = W α ∂/∂y α<br />
W α = V µ ∂yα (x)<br />
∂x µ<br />
(5.180)<br />
(5.181)<br />
(5.182)<br />
är koordinattransformationen enligt tidigare avsnitt 5.2.6.<br />
Koordinaten y α <strong>för</strong> ag betecknar vi med x α (ag). Det gäller nu att relatera<br />
ovanstående till vektorfält över G på ett naturligt sätt. När man studerar<br />
avbildningar från en struktur till en annan är kanske den mest naturliga frågan:<br />
Vilka strukturer bevaras under avbildningen, det vill säga är invarianta?<br />
Man in<strong>för</strong> där<strong>för</strong> följande definition:<br />
Definition 5.15 (Vänsterinvariant vektorfält). Låt X vara ett vektorfält på<br />
en Liegrupp G. X kallas <strong>för</strong> ett vänsterinvariant vektorfält om La∗X|g = Xag.<br />
Detta betyder med andra ord att avbildningen La∗ bibehåller vektorfältet<br />
X:s struktur på hela G. Vi vill nu skriva definitionen på koordinatform. Vi<br />
använder där<strong>för</strong> beteckningarna i figur 5.5.1:<br />
V = X|g, W = La∗X|g, y α = x α (ag) (5.183)<br />
83