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.
inversen till basen - roterar en bas åt ett håll roterar vektorkoordinaterna<br />
åt andra hållet, vilket motiverar namnet kontravariant. Motsatsen gäller <strong>för</strong><br />
kovektorer, därav namnet kovariant. Mer <strong>allmän</strong>t säger vi att en (k, l)-tensor<br />
är k-kontravariant <strong>och</strong> l-kovariant.<br />
2.2 Fler tensordefinitioner<br />
Låt MT beteckna matrisen med koordinaterna <strong>för</strong> tensorn T , då har vi:<br />
M ′ T = P −1 MT P. (2.1)<br />
Detta leder oss in på nya sätt att tensorer. Det går nämligen att definiera<br />
tensorer som ett objekt vilket vid basbyte transformeras enligt ekvationen<br />
(2.1) ovan. Den formella formuleringen följer.<br />
Definition 2.5 (Tensordefinition 3). Låt B(V ) vara mängden av alla baser<br />
i ett vektorrum V .<br />
Då säger vi att en (k, l)-tensor är en funktion T ,<br />
T : B(V ) → R N , {ei} ↦→ (a i1...ik<br />
j1...jl )<br />
där N = n k+l , n = dim(V ), sådan att <strong>för</strong> vilka två baser som helst kom-<br />
mer motsvarande vektorer (a i1...ik<br />
p ′ k<br />
ik ai1...ik<br />
j1...jl pj1<br />
j ′ 1<br />
... p jl<br />
j ′ l<br />
j1...jl ) <strong>och</strong> (ai′ 1 ...i′ k<br />
j ′ 1 ...j′ ) att uppfylla a<br />
l<br />
i′ 1 ...i′ k<br />
j ′ 1 ...j′ l<br />
= p ′ 1<br />
i1 ...<br />
Detta är en bekväm definition, eftersom en tensor nu är ett objekt som<br />
transformeras på specifika sätt. Det är alltså ett sätt att påvisa hur användningen<br />
av tensorer inom matematik sker, <strong>och</strong> många egenskaper kan härledas<br />
från dessa transformationslagar. En <strong>för</strong>del med denna definition är att man<br />
från själva definitionen tvingar tensorer att vara <strong>geometri</strong>ska objekt som i<br />
grunder är desamma i olika baser, de har bara olika representation i olika<br />
baser. En vektor är en viss riktning <strong>och</strong> sträcka oavsett bas, men själva riktningen<br />
<strong>och</strong> sträckan beskrivs olika beroende på bas. Nackdelen med denna<br />
definition är att det kan vara svårt att tolka vad den betyder. Detta är en<br />
anledning till var<strong>för</strong> vi inte väljer tensordefinition 3 som vår huvuddefinition,<br />
men den är bland annat populär hos ingenjörer <strong>och</strong> fysiker.<br />
Definition 2.6 (Tensordefiniton 4). En (k, l)-tensor är ett element i tensorprodukten<br />
⊗V k ⊗ l V ∗ .<br />
Detta är en kort <strong>och</strong> koncis definition, det gäller dock att <strong>för</strong>stå tensorprodukten.<br />
Definition 2.7 (Tensordefinition 5). En (k, l)-tensor är en linjär avbildning<br />
⊗ l V → ⊗ k V .<br />
20