Ortogonální grupa

Šablona:Neověřeno Ortogoná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ť $V$ je vektorový prostor, na kterém je dána nedegenerovaná symetrická bilineární forma $g$. Ortogonální grupu $O(V,g)$ definujeme jako množinu všech invertibilních lineárních zobrazení

$A:V\to V$

takových, že pro všechna $𝐯,𝐰\in V$ platí

$g(𝐯,𝐰)=g(A𝐯,A𝐰)$.

Operace skládání definuje na $O(V,g)$ strukturu grupy. Pokud je $V$ reálný nebo komplexní vektorový prostor, zadává kanonické vnoření $O(V,g)$ do vektorového prostoru $End(V)$ strukturu hladké variety – v tom případě se tedy jedná o Lieovu grupu.

Pro reálný vektorový prostor $V$ a nedegenerovanou formu $g$ signatury $(p,q)$ značíme příslušnou grupu $O(p,q)$. Pro pozitivně definitní $g$ pak používáme značení $O(n)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}O(n,0)$.

Pro komplexní prostor $V$ dimenze $n$ s nedegenerovanou komplexní bilineární formou $g$ značíme příslušnou Lieovu grupu $O(n,ℂ)$.

Vzhledem k absenci specifické formy $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 $1$, dostáváme grupu $SO(V,g)$, resp. $SO(p,q)$, $SO(n,ℂ)$. Značení $O$ a $SO$ pochází ze anglických názvů těchto grup: orthogonal a special orthogonal.

Někdy se symbolem $O(n)$ značí přímo množina ortogonálních matic $𝐀$ dimenze $n$. To odpovídá volbě standardní symetrické formy $g(x,y)={\sum }_{i=1}^n{x}_i{y}_i$.

Příklad

V reálném prostoru dimenze $2$ se ortogonální grupa $O(2)$ dá popsat jako množina matic

$\left(\begin{array}{cc}\cos \alpha & -\sin \alpha \\ \sin \alpha & \cos \alpha \end{array}\right)$

které reprezentují rotace o úhel $\alpha$ a matic

$\left(\begin{array}{cc}\cos \alpha & \sin \alpha \\ \sin \alpha & -\cos \alpha \end{array}\right)$

které reprezentují zrcadlení kolem osy se směrem $(\cos (\alpha /2),\sin (\alpha /2))$.

V trojrozměrném prostoru je $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 $SO(n,ℂ)$ jsou polojednoduché souvislé komplexní Lieovy grupy. Pro $n\ne 1,2,4$ jsou jednoduché (t.j. jejich Lieovy algebry jsou jednoduché Lieovy algebry). Podobně $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 $SO(2)$ je komutativní a je izomorfní grupě jednotkových komplexních čísel $S^1$. Grupa SO(3) je grupa rotací trojrozměrného Euklidova prostoru a jako hladká varieta je difeomorfní projektivnímu prostoru $ℝ{\mathbb{P}}^3$.

Dimenze $SO(n)$ jako hladké variety je $\frac{1}{2}(n^2-n)$. Speciálně $\dim SO(3)=3$, což odpovídá tomu, že každou rotaci v trojrozměrném Euklidově prostoru lze parametrizovat třemi tzv. Eulerovými úhly.

Platí $SO(p,q)=SO(q,p)$ (jedná se skutečně o rovnost a ne pouze izomorfizmus). Šablona:Doplňte zdroj

Pro reálný vektorový prostor $V$ se grupa $O(V,g)$ jako varieta skládá ze dvou kopií variety $SO(V,g)$, není tedy nikdy souvislá. Grupy $SO(p,q)$ mají dvě komponenty souvislosti pokud $p\ne 0\ne q$, komponenta obsahující jednotku se značí $S{O}^{+}(p,q)$. Pro každou grupu $SO(p,q)$ existuje souvislá grupa $Spin(p,q)$, která je jejím dvojitým nakrytím. Navíc $SO(p,q)$ je kompaktní právě tehdy, když $p$ nebo $q$ je nula.

Fundamentální grupa $SO(n)$ pro $n>2$ je ${\mathbb{Z}}_2$, fundamentální grupy variet $S{O}^{+}(p,q)$ jsou popsány v následující tabulce:

${\pi }_1(S{O}^{+}(p,q))$	$p=1$	$p=2$	$p\ge 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\ge 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 $O(2)$ jsou pouze cyklické grupy $C_n$ a dihedrální grupy $D_n$. To je grupa symetrií pravidelného mnohoúhelníka.

Trojrozměrná speciální ortogonální grupa $SO(3)$ má tyto konečné podgrupy:

• Cyklické grupy $C_n$
• Dihedrální grupy $D_n$ (odpovídá symetriím válce s podstavou pravidelného mnohoúhelníka)
• Tetrahedrální grupa $T$ (odpovídá symetriím pravidelného čtyřstěnu)
• Oktohedrální grupa $O$ (odpovídá symetriím krychle a osmistěnu)
• Ikosahedrální grupa $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 $SO(3)$ a $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 $SO(3)$ mají aplikace v krystalografii a jejich reprezentace jsou důležité ve spektroskopii.

Grupa $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. 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 $O(n)$ a jeho rozklad na ireducibilní komponenty definuje různé složky křivosti.