From 198d6bf1a4d2076025bcb3a6fe7f46948187c5bf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Thu, 29 Apr 2021 17:36:51 +0200 Subject: new slides --- vorlesungen/slides/7/hopf.tex | 69 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 69 insertions(+) create mode 100644 vorlesungen/slides/7/hopf.tex (limited to 'vorlesungen/slides/7/hopf.tex') diff --git a/vorlesungen/slides/7/hopf.tex b/vorlesungen/slides/7/hopf.tex new file mode 100644 index 0000000..a90737f --- /dev/null +++ b/vorlesungen/slides/7/hopf.tex @@ -0,0 +1,69 @@ +% +% hopf.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Orbit-Räume} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Aktion von $\operatorname{SO}(3)$ auf $S^2$} +\begin{align*} +S^2 &= \{x\in\mathbb{R}^3\;|\; |x|=1\} +\\ +\operatorname{SO}(3) \times S^2 &\to S^2: (g, x) \mapsto gx +\end{align*} +\uncover<2->{% +Allgemein: Aktion von $G$ auf $X$ +\begin{align*} +\text{links:}&& +G\times X \to X &: (g,x) \mapsto gx +\\ +\text{rechts:}&& +X\times G \to X &: (x,g) \mapsto xg +\end{align*}} +\end{block} +\vspace{-10pt} +\uncover<3->{% +\begin{block}{Stabilisator} +Zu $x\in X$ gibt es eine Untergruppe +\begin{align*} +G_x = \{g\in G\;|\; gx=x\}, +\end{align*} +der {\em Stabilisator} von $x$. + +\uncover<4->{% +Der Stabilisator von $v\in S^2$ ist die Gruppe der Drehungen um +die Achse $v$} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<5->{% +\begin{block}{Quotient} +$G$ operiert von rechts auf $X$ +\[ +X/G = \{ xG \;|\; x\in X\} +\] +heisst Quotient +\end{block}} +\uncover<6->{ +\begin{block}{$\operatorname{SO}(3)/\operatorname{SO}(2)$} +Wähle $\operatorname{SO}(2)$ als Drehungen um die $z$-Achse: +\[ +\operatorname{SO}(3) \to S^2 +: +g \mapsto \text{letzte Spalte von $g$} +\] +\uncover<7->{Daher +\[ +S^2 \cong \operatorname{SO}(3) / \operatorname{SO}(2) +\]} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup -- cgit v1.2.1