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.
3.1.2 Homeomorfismer<br />
De kontinuerliga deformationerna som det talades om i inledningen till detta<br />
kapitel kallas homeomorfismer.<br />
Definition 3.6 (Homeomorfism). En homeomorfism är en injektiv (etttill-ett),<br />
surjektiv (på), kontinuerlig avbildning mellan två topologiska rum<br />
som har en kontinuerlig invers. Två topologiska rum säges vara homeomorfa<br />
om det finns en homeomorfism mellan dem.<br />
Notera att en homeomorfism är en ekvivalensrelation <strong>och</strong> inom topologin<br />
betraktar vi alltså alla topologiska rum som ekvivalenta om de är homeomorfa.<br />
Detta innebär i sin tur att vi betraktar två topologiska rum som<br />
ekvivalenta om det ena kan transformeras kontinuerligt till det andra. Det<br />
topologiska begreppet homeomorfism bör inte <strong>för</strong>växlas med det algebraiska<br />
begreppet homomorfism.<br />
Ett enkelt exempel på en homeomorfism är homeomorfism mellan det<br />
öppna intervallet (0,1) <strong>och</strong> (0,10) i R med den vanliga topologin.<br />
Exempel 3.1. Låt (I1, T1) <strong>och</strong> (I2, T2) vara topologiska rum, där I1 =<br />
{x|x ∈ (0, 1)}, I2 = {x|x ∈ (0, 10)}, T1 <strong>och</strong> T2 är mängden av alla öppna<br />
intervaller i I1 respektive I2 <strong>och</strong> deras unioner. En homeomorfism ges av<br />
f : I1 → I2 med f(x) = 10x. Den avbildar I1 på hela I2, samtidigt som varje<br />
element i I1 avbildas på exakt ett element i I2. Dess invers, f −1 (x) = 1<br />
10 x,<br />
är kontinuerlig. Detta betyder att I1 är homeomorft med I2.<br />
3.1.3 <strong>Topologi</strong>ska invarianter<br />
I inledningen till detta avsnitt nämndes olika egenskaper som är invarianta<br />
under homeomorfism, dessa benäms topologiska invarianter . Intressant<br />
är att topologiska invarianter kan vara en rad vida skilda egenskaper, till<br />
exempel komplicerade begrepp som kompakthet eller enkla tal som Eulerkarakteristiken.<br />
Det är svårt att visa att två topologiska rum är homeomorfa<br />
<strong>och</strong> ofta krävs det att man hittar en explicit homeomorfism, men <strong>för</strong> att<br />
visa att två topologiska rum inte är homeomorfa räcker det med att hitta en<br />
topologisk invariant rummen inte delar. Vi känner inte till alla topologiska<br />
invarianter vilket betyder att även om två topologiska rum har samma invarianter<br />
kan vi inte säga om de är homeomorfa. Vi kommer här att ta upp<br />
några topologiska invarianter som behövs <strong>för</strong> studiet av den matematik vi<br />
behandlar här.<br />
För att definiera det topologiska begreppet kompakthet, behöver vi <strong>för</strong>st<br />
en del andra begrepp. Låt (X, T ) vara ett topologiskt rum. En mängd delmängder<br />
av X kallas <strong>för</strong> täcke av X om unionen av dessa delmängder täcker<br />
X. Om alla delmängderna i täcket tillhör topologin T , kallar vi täcket <strong>för</strong><br />
ett öppet täcke.<br />
26