From 198d6bf1a4d2076025bcb3a6fe7f46948187c5bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
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

