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.
Tangentvektorerna <strong>för</strong> kurvorna avbildas alltså av en ortogonal rotationsmatris,<br />
under <strong>för</strong>utsättning att f ′ (z) = 0. En ortogonal transformation bevarar<br />
vinklar <strong>och</strong> därmed är f en konform avbildning.<br />
7.7.4 Killingvektorfält<br />
Ett vektorfält bildar en vektor vid multiplikation med en vektor. Det finns<br />
en speciell avgränsad mängd av vektorfält som vid multiplikation med en<br />
infinitesimal vektor <strong>och</strong> addition med en punkt ger upphov till en isometri.<br />
Vi definierar:<br />
Definition 7.14 (Killingvektorfält). Låt M vara en Riemmansk mångfald<br />
<strong>och</strong> X ∈ X ett vektorfält. Låt avbildningen f definieras av<br />
f : x µ ↦→ x µ + ɛX µ<br />
Om f är en isometri kallas X ett Killingvektorfält.<br />
(7.30)<br />
Namnet Killingvektorfält kommer från den tyske matematikern Wilhelm<br />
Killing. De är alltså inte så farliga som man kan tro. Dessa vektorfält uppfyller<br />
Killingekvationen:<br />
X ξ ∂ξgµν + ∂µX κ gκν + ∂νX λ gµλ = 0 (7.31)<br />
⇐⇒<br />
(LXg)µν = 0 (7.32)<br />
Det som gör Killingvektorfälten intressanta <strong>för</strong> oss är att de har ett samband<br />
med symmetrierna på en mångfald. De vektorfält som uppfyller på<br />
Killingekvationen motsvarar nämligen symmetrioperationerna på den aktuella<br />
mångfalden. Vi kan på motsvarande sätt som definitionen ovan definiera<br />
ytterligare en typ av vektorfält:<br />
Definition 7.15 (Konformt Killingvektorfält). Låt M vara en Riemmansk<br />
mångfald <strong>och</strong> X ∈ X ett vektorfält. Låt avbildningen f definieras av<br />
f : x µ ↦→ x µ + ɛX µ<br />
(7.33)<br />
Om f är en konform avbildning kallas X ett konformt Killingvektorfält.<br />
7.8 Icke-koordinatbasen<br />
När vi in<strong>för</strong> en metrik g på en mångfald så uppstår en ny möjlighet att<br />
välja en bas. Den bas vi använt hittills kallas koordinatbasen, medan vi nu<br />
kan definiera icke-koordinatbasen. Vi in<strong>för</strong> samtidigt en dualbas till ickekoordinatbasen.<br />
124