A tér konformális csoportja a tér önmagába való átalakulásának csoportja , a szögek megőrzése mellett. Formálisabban ez a transzformációk egy csoportja, amely megőrzi az tér konform geometriáját .
Néhány speciális konformális csoport különösen fontos:
Minden konformális csoport Lie csoport .
Az euklideszi geometriában azt várnánk, hogy a karakterisztika a standard szög , de az pszeudoeuklideszi térben is van hiperbolikus szög . A speciális relativitáselméletben a sebesség más vonatkoztatási pontokhoz viszonyított változásának különböző vonatkoztatási pontjai a gyorsasághoz , a hiperbolikus szöghez kapcsolódnak. A Lorentz-növelés leírásának egyik módja a hiperbolikus forgatás , amely megőrzi a sebességek közötti szögkülönbséget. Így ezek konform transzformációk a hiperbolikus szögekhez képest.
A megfelelő konformális csoport leírásának egyik módja a Möbius-csoport utánzása a közönséges komplex sík konformális csoportjaként . A pszeudoeuklideszi geometria alternatív komplex síkoknak felel meg, ahol a pontok a szokásos komplex számok helyett felosztott komplex számok vagy dupla számok. Ahogy a Möbius-csoport egy Riemann-gömböt , egy kompakt teret igényel a teljes leíráshoz, úgy az alternatív komplex síkok egy konformális leképezés tömörítését igénylik a teljes leíráshoz. A konformális csoportot minden esetben lineáris-tört transzformációkkal adjuk meg megfelelő síkon [2] .
1908-ban Harry Bateman és Ebenezer Cunningham [3] , a Liverpooli Egyetem két fiatal kutatója bejelentette egy konformális tér-idő csoport ötletét [4] [5] [6] (ma általában ) [ 4]. 7] . Azzal érveltek, hogy a kinematikai csoportok konformálisak, mert megőrzik a téridő másodfokú formáját, és így rokonok az ortogonális transzformációkkal , amelyeket izotróp kvadratikus alaknak tekintenek . Az elektromágneses tér szabadságai nem terjednek ki a kinematikai mozgásokra, hanem csak lokálisan arányosnak kell lenniük a négyzetmegtartó transzformációkkal. Harry Bateman 1910- es cikkében egy olyan transzformáció Jacobi-mátrixát tanulmányozza, amely megőrzi a fénykúpot , és megmutatja, hogy az átalakulásnak megvan a konformitás tulajdonsága [8] . Bateman és Cunningham kimutatta, hogy ez a konformális csoport "a transzformációk legnagyobb csoportja, amelyek a Maxwell-egyenleteket szerkezetileg invariánsan hagyják" [9] .
Isaac Moiseevich Yaglom hozzájárult a téridő matematikájához azáltal, hogy konformális transzformációkat vett figyelembe kettős számokban [10] . Mivel a duplák rendelkeznek egy gyűrű tulajdonságaival , de nem egy mezővel , a lineáris-tört transzformációk megkövetelik , hogy a gyűrű feletti projektív egyenes bijektív leképezés legyen.
Hagyományosan, Ludwik Silberstein tanulmánya (1914) nyomán, bikvaterniógyűrűt használnak a Lorentz-csoport ábrázolására . Konformális tér-idő csoport esetén elegendő a lineáris-tört transzformációkat figyelembe venni a projektív vonalon ezen a gyűrűn. A tér-idő konformális csoport elemeit Bateman a hullám gömbtranszformációjának nevezi . A téridő kvadratikus formájának sajátos vizsgálatát Lie-féle gömbgeometria nyelte el .
Csoportelmélet | |
---|---|
Alapfogalmak | |
Algebrai tulajdonságok | |
véges csoportok |
|
Topológiai csoportok | |
Algoritmusok csoportokon |