Cesko.wiki Ortogonální grupa
Author
Albert FloresOrtogonální grupa je množina všech rotací a zrcadlení Euklidova prostoru spolu s operací skládání. Obecněji jde o grupu lineárních transformací vektorového prostoru zachovávajících nějakou symetrickou bilineární formu.
Formální definice
Nechť \scriptstyle V je vektorový prostor, na kterém je dána nedegenerovaná symetrická bilineární forma \scriptstyle g. Ortogonální grupu \scriptstyle O(V,g) definujeme jako množinu všech invertibilních lineárních zobrazení :A: V\to V\,\. +more takových, že pro všechna \scriptstyle \mathbf{v},\mathbf{w}\in V platí :g(\mathbf{v},\mathbf{w})=g(A\mathbf{v},A\mathbf{w}). Operace skládání definuje na \scriptstyle O(V,g) strukturu grupy. Pokud je \scriptstyle V reálný nebo komplexní vektorový prostor, zadává kanonické vnoření \scriptstyle O(V,g) do vektorového prostoru \scriptstyle End(V) strukturu hladké variety - v tom případě se tedy jedná o Lieovu grupu.
Pro reálný vektorový prostor \scriptstyle V a nedegenerovanou formu \scriptstyle g signatury \scriptstyle (p,q) značíme příslušnou grupu \scriptstyle O(p,q). Pro pozitivně definitní \scriptstyle g pak používáme značení \scriptstyle O(n)\overset{\underset{\mathrm{def}}{}}{=}O(n,0).
Pro komplexní prostor \scriptstyle V dimenze \scriptstyle n s nedegenerovanou komplexní bilineární formou \scriptstyle g značíme příslušnou Lieovu grupu \scriptstyle O(n,\mathbb{C}).
Vzhledem k absenci specifické formy \scriptstyle g v tomto značení je zřejmé, že tyto symboly označují objekty definované až na izomorfismus (Lieových grup).
Pokud se omezíme na lineární zobrazení s determinantem \scriptstyle 1, dostáváme grupu \scriptstyle SO(V,g), resp. \scriptstyle SO(p,q), \scriptstyle SO(n,\mathbb{C}). +more Značení \scriptstyle O a \scriptstyle SO pochází ze anglických názvů těchto grup: orthogonal a special orthogonal.
Někdy se symbolem \scriptstyle O(n) značí přímo množina ortogonálních matic \scriptstyle \mathbf{A} dimenze \scriptstyle n. To odpovídá volbě standardní symetrické formy \scriptstyle g(x,y) = \sum_{i=1}^n x_iy_i.
Příklad
V reálném prostoru dimenze \scriptstyle 2 se ortogonální grupa \scriptstyle O(2) dá popsat jako množina matic :\begin{pmatrix} \cos \alpha & -\sin \alpha\\ \sin \alpha & \cos \alpha \end{pmatrix} které reprezentují rotace o úhel \scriptstyle \alpha a matic :\begin{pmatrix} \cos \alpha & \sin \alpha\\ \sin\alpha & -\cos \alpha \end{pmatrix} které reprezentují zrcadlení kolem osy se směrem \scriptstyle (\cos (\alpha/2), \sin (\alpha/2)).
V trojrozměrném prostoru je \scriptstyle O(3) množina rotací kolem nějaké osy procházející počátkem souřadnicové soustavy a také zrcadlení podle nějaké roviny procházející počátkem.
Vlastnosti
Grupy \scriptstyle SO(n,\mathbb{C}) jsou polojednoduché souvislé komplexní Lieovy grupy. Pro \scriptstyle n\neq 1,2,4 jsou jednoduché (t. +morej. jejich Lieovy algebry jsou jednoduché Lieovy algebry). Podobně \scriptstyle SO(n) jsou reálné souvislé polojednoduché Lieovy grupy. Jak plyne z obecné teorie reprezentací polojednoduchých grup, všechny konečně dimenzionální reprezentace ortogonální grupy jsou rozložitelné na součty ireducibilních. Navíc každá ireducibilní reprezentace je obsažena v tenzorové mocnině definující reprezentace.
Grupa \scriptstyle SO(2) je komutativní a je izomorfní grupě jednotkových komplexních čísel \scriptstyle S^1. Grupa SO(3) je grupa rotací trojrozměrného Euklidova prostoru a jako hladká varieta je difeomorfní projektivnímu prostoru \scriptstyle \mathbb{R}\mathbb{P}^3.
Dimenze \scriptstyle SO(n) jako hladké variety je \scriptstyle \frac{1}{2}(n^2-n). Speciálně \scriptstyle \dim SO(3)=3, což odpovídá tomu, že každou rotaci v trojrozměrném Euklidově prostoru lze parametrizovat třemi tzv. +more Eulerovými úhly.
Platí \scriptstyle SO(p,q)=SO(q,p) (jedná se skutečně o rovnost a ne pouze izomorfizmus).
Pro reálný vektorový prostor \scriptstyle V se grupa \scriptstyle O(V,g) jako varieta skládá ze dvou kopií variety \scriptstyle SO(V,g), není tedy nikdy souvislá. Grupy \scriptstyle SO(p,q) mají dvě komponenty souvislosti pokud \scriptstyle p\neq0\neq q, komponenta obsahující jednotku se značí \scriptstyle SO^+(p,q). +more Pro každou grupu \scriptstyle SO(p,q) existuje souvislá grupa \scriptstyle Spin(p,q), která je jejím dvojitým nakrytím. Navíc \scriptstyle SO(p,q) je kompaktní právě tehdy, když \scriptstyle p nebo \scriptstyle q je nula.
Fundamentální grupa \scriptstyle SO(n) pro \scriptstyle n>2 je \scriptstyle \mathbb{Z}_2, fundamentální grupy variet \scriptstyle SO^+(p,q) jsou popsány v následující tabulce:
:
| \pi_1(SO^{+}(p,q))\,\. | p=1\,\. +more | p=2\,\. | p\geq 3 |
|---|---|---|---|
| q=1\,\. | \{1\}\,\. | \mathbb{Z} | \mathbb{Z}_2 |
| q=2\,\. | \mathbb{Z} | \mathbb{Z} \times \mathbb{Z} | \mathbb{Z} \times \mathbb{Z}_2 |
| q \geq 3 | \mathbb{Z}_2 | \mathbb{Z}_2 \times \mathbb{Z} | \mathbb{Z}_2 \times \mathbb{Z}_2 |
Konečné podgrupy
Konečné podgrupy ortogonální grupy často odpovídají symetriím některých geometrických útvarů.
Konečné podgrupy grupy \scriptstyle O(2) jsou pouze cyklické grupy \scriptstyle C_n a dihedrální grupy \scriptstyle D_n. To je grupa symetrií pravidelného mnohoúhelníka.
Trojrozměrná speciální ortogonální grupa \scriptstyle SO(3) má tyto konečné podgrupy: * Cyklické grupy \scriptstyle C_n * Dihedrální grupy \scriptstyle D_n (odpovídá symetriím válce s podstavou pravidelného mnohoúhelníka) * Tetrahedrální grupa \scriptstyle T (odpovídá symetriím pravidelného čtyřstěnu) * Oktohedrální grupa \scriptstyle O (odpovídá symetriím krychle a osmistěnu) * Ikosahedrální grupa \scriptstyle I (odpovídá symetriím pravidelného dvanáctistěnu a pravidelného dvacetistěnu).
Existence Platonských těles ve vyšších dimenzích má úzkou souvislost s existencí konečných podgrup ortogonální grupy.
Využití
Grupy \scriptstyle SO(3) a \scriptstyle O(3) se často vyskytují ve fyzice, kde vystupují jako grupy symetrií různých systémů a rovnic. Někdy se o těchto grupách nebo jejich dvojitém nakrytí hovoří přímo jako o symetrii teorie.
Konečné podgrupy \scriptstyle SO(3) mají aplikace v krystalografii a jejich reprezentace jsou důležité ve spektroskopii.
Grupa \scriptstyle SO(3,1) se nazývá Lorentzova grupa a vyskytuje se v speciální teorii relativity jako grupa transformací souřadnic mezi inerciálními systémy. Unitární reprezentace dvojitého nakrytí této grupy jsou podstatné pro klasifikaci částic v rámci relativistické kvantové mechaniky. +more Pomocí jisté neunitární reprezentace dvojitého nakrytí této grupy lze popsat částici vyhovující Diracově rovnici, tzv. Diracův bispinor.
Riemannův tenzor křivosti na Riemannově varietě se dá chápat jako prvek reprezentace grupy \scriptstyle O(n) a jeho rozklad na ireducibilní komponenty definuje různé složky křivosti.