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.
Möbiustransformationer 11 är grundläggande avbildningar som verkar<br />
på ett horisontellt plan <strong>och</strong> skickar varje punkt till en motsvarande punkt<br />
under vissa krav. Det finns fyra grundläggande typer: enkel translation, dilatationer,<br />
rotationer <strong>och</strong> invers där man vänder planet ut <strong>och</strong> in. Linjer på<br />
planet kan antingen <strong>för</strong>bli linjer eller omvandlas till cirklar <strong>och</strong> lokala vinklar<br />
bevaras. Om vi behandlar 3D-rummet <strong>och</strong> placerar en Riemannsfär ovan<strong>för</strong><br />
planet <strong>och</strong> lyser igenom toppen av den kan vi visualisera möbiustransformationerna.<br />
När sfären <strong>för</strong>flyttas följer punkterna på planet efter vilket betyder<br />
att när sfären genomgår translation, genomgår även planet translation. Om<br />
vi lyfter sfären skapas dilatation <strong>och</strong> om vi roterar den runt en rotationsaxel<br />
roterar även planet med. Inversen fås genom att rotera sfären runt den horisontella<br />
axeln. Även de mest komplicerade Möbiustransformationer visar sig<br />
som enkla rörelser av sfären.<br />
Exempel 5.13 (liegruppernas verkan). Låt mängden av n × n symmetriska<br />
<strong>och</strong> positiva matriser betecknas MPD(n). Låt oss nu verka med liegruppen<br />
A ∈ Gl(n, R) på S ∈MPD<br />
A · S = ASA T<br />
Denna verkan är även transistiv eftersom varje MPD matris S kan skrivas<br />
som S = BB T <strong>för</strong> någon inverterbar matris B.<br />
Exempel 5.14 (liegruppernas verkan). liegruppen SO(3) består av linjära<br />
avbildningar som är avståndsbevarande (med determinant ett). Varje linjär<br />
avbildning lämnar origo fixt <strong>och</strong> man ser lätt att rotationer avbildar S 2 på<br />
sig själv. Vi har där<strong>för</strong> följande verkan<br />
definerad som<br />
SO(3) × S 2 → S 2<br />
σ : R · x = Rx<br />
Denna verkan är transitiv. Detta beror på att <strong>för</strong> två punkter x, y på sfären<br />
S 2 finns en rotation, vars axel är vinkelrätt mot planet som innehåller<br />
x, y <strong>och</strong> origo O, av sfären 12 som avbildar x till y. På samma sätt kan<br />
vi <strong>för</strong> valfritt n ≥ 1 skapa en verkan på den reella enhetssfären, S n−1 =<br />
(x1, ....., xn) ∈ R n |x 2 1 + .... + x2 n = 1 , genom:<br />
σ : SO(n) × S n−1 → S n−1 .<br />
Exempel 5.15 (liegruppernas verkan). Låt M ∈ GL(n, R) <strong>och</strong> x ∈ R n . Vi<br />
definerar verkan av GL(n, R) på R n som vanlig multiplikation mellan matris<br />
<strong>och</strong> vektor.<br />
11 För de intresserade rekommenderar vi Möbius Transformations Revealed av Douglas<br />
N. Arnold <strong>och</strong> Jonathan Rogness, University of Minnesota<br />
12 Detta plan är inte unikt när x and y är antipodiska<br />
92