02LIAG:Kapitola4

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly [ znovu generovat, výstup z překladu ] Přeložení pouze této kaptioly.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 02LIAG

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 02LIAGHazalmat 3. 8. 201620:54
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůHazalmat 7. 7. 201606:04
Header editovatHlavičkový souborHazalmat 10. 7. 201621:12 header.tex
Kapitola0 editovatÚvodHazalmat 3. 8. 201621:12 LIAG_Kapitola0.tex
Kapitola1 editovatDefinice Lieovy grupy a Lieovy algebryHazalmat 5. 8. 201617:02 LIAG_Kapitola1.tex
Kapitola2 editovatVztah mezi Lieovou grupou a její algebrouHazalmat 5. 8. 201617:27 LIAG_Kapitola2.tex
Kapitola3 editovatNástin teorie integrabilních distribucíHazalmat 30. 7. 201614:10 LIAG_Kapitola3.tex
Kapitola4 editovatAkce grupy na varietěHazalmat 17. 7. 201619:23 LIAG_Kapitola4.tex
Kapitola5 editovatReprezentace Lieových grup a algeberHazalmat 4. 8. 201617:21 LIAG_Kapitola5.tex
Kapitola6 editovatSouvislost Lieových grup a algeberHazalmat 4. 8. 201618:51 LIAG_Kapitola6.tex
Kapitola7 editovatLieovy algebryHazalmat 5. 8. 201601:06 LIAG_Kapitola7.tex
Kapitola8 editovatCartanova kritériaHazalmat 5. 8. 201617:29 LIAG_Kapitola8.tex
Kapitola9 editovatKlasifikace pomocí kořenůHazalmat 5. 8. 201617:34 LIAG_Kapitola9.tex
Kapitola10 editovatKořenové diagramy, Cartanova marticeHazalmat 31. 7. 201615:32 LIAG_Kapitola10.tex
Kapitola11 editovatDynkinovy diagramyHazalmat 5. 8. 201617:39 LIAG_Kapitola11.tex
Kapitola12 editovatReálné formy komplexních poloprostých algeberHazalmat 31. 7. 201623:39 LIAG_Kapitola12.tex
Kapitola13 editovatVýznam kompaktních Lieových grupHazalmat 31. 7. 201623:45 LIAG_Kapitola13.tex
Kapitola14 editovatReprezentace poloprostých Lieových algeberHazalmat 1. 8. 201612:45 LIAG_Kapitola14.tex
Kapitola15 editovatSpinorové reprezentaceHazalmat 27. 7. 201620:38 LIAG_Kapitola15.tex
Kapitola16 editovatSymetrie v QMHazalmat 27. 7. 201621:21 LIAG_Kapitola16.tex
Kapitola17 editovatCvičeníHazalmat 6. 8. 201603:42 LIAG_Kapitola17.tex

Vložené soubory

soubornázev souboru pro LaTeX
Image:liag-1.pdf liag-1.pdf
Image:su3_1.pdf su3_1.pdf
Image:su3_2.pdf su3_2.pdf
Image:su3_3.pdf su3_3.pdf
Image:su3_4.pdf su3_4.pdf
Image:su3_5.pdf su3_5.pdf
Image:su3_6.pdf su3_6.pdf

Zdrojový kód

%\wikiskriptum{02LIAG}
\section{Akce grupy na varietě}
 
\Def{
	\textbf{(Levá) akce Lieovy grupy} $G$ na varietě $M$ je hladké zobrazení $\phi : G \times M \to M$ vyhovující
	\begin{itemize}
		\item $\phi (g_1 g_2 , m) = \phi (g_1, \phi(g_2 ,m)) $, $\forall g_1,g_2 \in G$, $\forall m \in M$,
		\item $\phi (e,m)=m$, $\forall m \in M$.
	\end{itemize}
	}
\Pzn{
	Obdobně \textbf{pravá akce}:
	\begin{itemize}
		\item $\phi (m,g_1g_2) = \phi(\phi (m,g_1),g_2),\ \forall g_1,g_2 \in G,\ \forall m \in M$,
		\item $\phi (m,e)=m$, $\forall m \in M$.
		\end{itemize} 
	Pravá akce lze vyjádřit pomocí levé akce záměnou $g \to g^{-1}$.
	}
\Def{
	Pro uzavřenou (v~topolgii $G$) podgrupu $H$ Lieovy grupy $G$. Definujeme \textbf{levé cosety} $gH=\{gh|h \in H \}$. ($gH=\mathcal{O}_g$ jsou tedy orbity pravé akce $H$ na $G$.) Množinu levých cosetů označíme $G/H$, tj. $G/H=\{gH | g \in G\}$.
	}
\Pzn{
	Pokud $H$ je uzavřená podgrupa $G$, lze na $G/H$ zavést právě jednu hladkou strukturu takovou, že $(G,G/H ,\pi ; H)$, $\pi : G \to G/H$, $\pi (g) =gH$, je fibrovaný prostor.  
	}		
\Def{
	Akce $\phi : G \times M \to M$ je \textbf{tranzitivní} $\Leftrightarrow$
	$(\forall m_1,m_2 \in M ) (\exists g \in G )(m_2 =\phi (g, m_1))$.
	}
\Def{
	Nechť $\phi$ tranzitivní $x_0 \in M$. Grupa izotropie (nebo také grupa stability nebo malá grupa) bodu $x_0$ je
	\begin{align}
	H_{x_0}=\{g \in G | \phi (g,x_0 )=x_0 \} \,.
	\end{align}
	}
\Pzn{
	Protože pro libovolné $x \in M,\ \exists g_x \in G$ takové, že $x=\phi(g_x ,x_0)$, tedy $\forall g_0 \in H_{x_0},\ \phi(g_xg_og_x^{-1},x) = \phi(g_x, \phi(g_0, \phi(g_x^{-1},x))) = x$, platí $H_x=g_x H_{x_0} g^{-1}_x$, tj. všechny grupy izotropie jsou konjugované, totožné v~případě normálních $H_x$. 
	}
\Dsl{
	Pro tranzitivní $\phi$ je $M \simeq G/H_{x_0}$ a volba nezávisí na $x_0$, protože $\forall g_x \in G,\ \phi(g_xH_{x_0},x_0) = \phi(g_x,x_0) = x$, máme tedy korespondenci $G/H_{x_0} \ni g_xH_{x_0} \leftrightarrow x \in M$.
	}
\Def{
	Varietu, kterou lze zapsat ve tvaru $M \simeq G/H_{x_0}$ pro nějakou Lieovu grupu $G$ s~tranzitivní akcí nazveme \textbf{homogenní prostor}.
	}