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.
Figur 5.1: Mångfald med områden som avbildas på R m med hjälp koordinatfunktionerna<br />
ϕi <strong>och</strong> ϕj.<br />
approximera lappen med ett lokalt rum i R n . Detta gör att vi kan använda<br />
oss av vår kända matematiska analys på R n . Den matematiska strukturen vi<br />
bygger upp skall dessutom vara oberoende av valet av koordinatsystem, vilket<br />
aldrig är entydigt. Utan dessa villkor kan vi inte arbeta med differentierbara,<br />
eller ens kontinuerliga avbildningar från mångfalden till exempel R n I linje<br />
med detta ges nu den formella definitionen:<br />
Definition 5.1 (m-dimensionell differentierbar mångfald). Vi säger att ett<br />
topologiskt rum M, eller mer exakt (M, T ), är en differentierbar mångfald<br />
av dimension m om M kann tillordnas en samling par (Ui, ϕi) så att:<br />
i) {Ui} är en samling öppna mängder vilka täcker M, det vill säga Ui ∈ T<br />
<strong>och</strong> ∪iUi = M.<br />
ii) ϕi är en homeomorfism från Ui till en öppen delmängd av R m .<br />
iii) För varje Ui <strong>och</strong> Uj som överlappar, det vill säga Ui ∩ Uj = ∅, är avbildningen<br />
ψij = ϕi ◦ ϕ −1<br />
j från ϕj(Ui ∩ Uj) till ϕi(Ui ∩ Uj) oändligt<br />
differentierbar. 3<br />
I figur 5.1 ser vi två områden på mångfalden betecknade Ui <strong>och</strong> Uj.<br />
(Ui, ϕi) kallas <strong>för</strong> en karta <strong>och</strong> {(Ui, ϕi)} kallas en atlas<br />
3 Om detta sista krav inte är uppfyllt har vi inte en differentierbar mångfald, utan bara<br />
en mångfald.<br />
42