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.
som blir en summa<br />
r<br />
µ1,µ2,..µr<br />
Vi omordnar nu kilprodukten enligt (5.114):<br />
αµ1 (1)αµ2 (2)...αµr(r) dx µ1 ∧ ... ∧ dx µr (5.118)<br />
p(µ1µ2...µr) = (n1n2...nr) (5.119)<br />
där n1 < n2 < ... < nr <strong>och</strong> alltså är {ni} en ordnad mängd. Summan blir då<br />
på formen<br />
αNdx n1 ∧ ... ∧ dx nr (5.120)<br />
där N betecknar den ordnade mängden {ni}<br />
Här ser man att alla sådana uppsättningar av r stycken kilprodukter<br />
bildar bas <strong>för</strong> Ωr 0 eftersom varje kilprodukt dxµ1 µr ∧...∧dx är en permutation<br />
av någon sådan ordnad produkt dxn1 nr ∧ ... ∧ dx , n1 < n2 < ... < nr. Vidare<br />
ser vi att det finns m<br />
r delmängder <strong>och</strong> <strong>för</strong> r stycken element ur m får vi<br />
dimension dimΩr 0 = m<br />
r . Vi får en enkel tabell över möjliga Ωr 0 , 0 ≤ r ≤ m<br />
r-form bas dimension<br />
Ω 0 (M) {1} 1<br />
Ω 1 (M) = T ∗ p M dx µ m<br />
Ω2 (M) dxn1 n2 ∧ dx m(m − 1)/2<br />
Ωr (M) dxn1 <br />
nr<br />
m<br />
∧ ... ∧ dx<br />
r<br />
Ωm dx1 ∧ dx2 ∧ ... ∧ dxm 1<br />
Vi ser att dimΩ r (M) =dim Ω m−r (M) vilket gör att det går att bilda en<br />
isomorfi mellan dessa rum. Om man in<strong>för</strong> en metrik på mångfalden kan man<br />
via denna bilda en specifik isomorfi. Vi kommer se mer av detta i ett senare<br />
avsnitt som behandlar metriker.<br />
Multilinjära avbildningar uttryckta i basform<br />
Tensorer är, som tidigare nämnts, en generalisering av linjära avbildningar<br />
L() på en vektor till ett annat (vektor)rum. Vi skall hålla oss till<br />
L() → R <strong>och</strong> dess utvigdning. Generaliseringen innebär att man bildar<br />
multilinjära avbildningar:<br />
T (1 ⊗ 2... ⊗ q) → R (5.121)<br />
där 1⊗2...⊗q tillhör produktrummet bestående av den direkta produkten<br />
av q stycken kopior av V vilket skrivs<br />
V ⊗ V ⊗ ... ⊗ V ≡ q<br />
⊗V<br />
69