13.05.2013 Views

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 ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Vi vet att varje liegrupp har sin motsvarande liealgebra, som vi har påstått<br />

är väsentlig <strong>och</strong> användbar. Låt oss nu motivera var<strong>för</strong>. Tidigare i detta<br />

avsnitt beskrivs liealgebra som tangentrum vid identitetselementet, <strong>och</strong> tangentrummet<br />

till en punkt är platt, vilket med<strong>för</strong> att det är lättare att arbeta<br />

med liealgebror än liegrupper.<br />

Tangentvektorn till en funktion i en punkt på dess graf talar om hur<br />

funktionen beter sig i närheten av denna punkt men den säger ingenting om<br />

det globala beteendet av funktionen. På samma sätt beskriver liealgebran<br />

hur en liegrupp ser ut i närheten av identititetselementet. Eftersom vi kan<br />

översätta identitetselementet till varje annan punkt av liegruppen genom att<br />

ut<strong>för</strong>a gruppmultiplikation kan vi dra slutsatsen att liealgebra ger oss information<br />

om beteendet av liegruppen i närheten av alla punkter. En nackdel<br />

med liealgebran är att den inte talar om globala egenskaper som topologisk<br />

struktur av liegruppen, till exempel om den är sammanhängade eller enkelt<br />

sammanhängande.<br />

Vi presenterar nedan några intressanta exempel på hur man finner liealgebror<br />

till de vanligaste liegrupperna 8<br />

Exempel 5.6 (liealgebra av GL(n, R)). Låt gl(n, R) vara en liealgebra av<br />

GL(n, R). Vi kommer att använda oss av approximationsmetoden <strong>och</strong> börjar<br />

med att definera en kurva c : (−ɛ, ɛ) → GL(n, R) där vi kräver att c(0) = In.<br />

Denna kurva kommer att approximeras enligt c(s) = In + sA + O(s2 ) där<br />

A är en n × n matris med reella element. Vi studerar vad som händer om<br />

vi låter s vara nära noll, s ↦→ 0. Observera att det c(s) inte kan <strong>för</strong>svinna<br />

<strong>och</strong> c(s) måste vara i GL(n, R). liealgebran bestäms genom att beräkna<br />

tangentvektorn till c(s) i In, vilket vi kan skriva c ′<br />

<br />

<br />

(s) = A.<br />

s=0<br />

Detta med<strong>för</strong> att gl(n, R) är en mängd av n×n matriser <strong>och</strong> dimgl(n, R) =<br />

n 2 = dimGL(n, R).<br />

Nästa exempel visar hur man finner liealgebran av SL(n, R) <strong>och</strong> SO(n, R)<br />

som är delgruper av GL(n, R)<br />

Exempel 5.7 (liealgebra av SL(n, R)). Vi upprepar samma procedur som<br />

i <strong>för</strong>ra exempelet <strong>och</strong> approximerar kurvan på samma sätt. Om kurvan c(s)<br />

skall vara SL(n, R) måste den uppfylla detc(s) = 1 + trA = 1, vilket med<strong>för</strong><br />

att trA = 0. Detta betyder att gl(n, R) är mängden av spårlösa n×n matriser<br />

<strong>och</strong> dimsl(n, R) = n 2 − 1.<br />

Exempel 5.8 (liealgebra av SO(n, R)). Vi låter igen c(s) = In+sA+O(s 2 ).<br />

För att denna kurva skall vara i SO(n, R) = O(n) ∩ SL(n, R) så krävs det<br />

att c(s) t c(s) = c(s)c t (s) = In.<br />

Derivering av detta uttryck ger c ′<br />

(s) tc(s)+c(s) tc ′<br />

(s) = 0. Efter insättning<br />

av s = 0 får vi A = −At . Detta betyder att liealgebran so(n, R) består av antisymmetriska<br />

matriser. I en omgivning av identitetselementet är liealgebran<br />

8 Vi följer Nakaharas resonemang s.211<br />

85

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!