From 00871e6e102c6d77f9299cef29736ca422802089 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Thu, 22 Apr 2021 19:25:36 +0200 Subject: =?UTF-8?q?endliche=20gruppen=20Pr=C3=A4sentation?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- vorlesungen/slides/6/Makefile.inc | 6 ++ vorlesungen/slides/6/chapter.tex | 6 ++ vorlesungen/slides/6/darstellungen/irreduzibel.tex | 12 ++-- vorlesungen/slides/6/darstellungen/schur.tex | 10 +-- .../slides/6/darstellungen/skalarprodukt.tex | 7 +- vorlesungen/slides/6/darstellungen/summe.tex | 39 ++++++----- vorlesungen/slides/6/darstellungen/zyklisch.tex | 25 ++++--- vorlesungen/slides/6/normalteiler/konjugation.tex | 77 +++++++++++++++++++++ vorlesungen/slides/6/normalteiler/normal.tex | 79 ++++++++++++++++++++++ vorlesungen/slides/6/permutationen/matrizen.tex | 14 ++-- vorlesungen/slides/6/produkte/direkt.tex | 66 ++++++++++++++++++ vorlesungen/slides/6/produkte/frei.tex | 79 ++++++++++++++++++++++ vorlesungen/slides/6/punktgruppen/c.tex | 6 +- vorlesungen/slides/6/punktgruppen/chemie.tex | 14 ++-- vorlesungen/slides/6/punktgruppen/d.tex | 9 ++- vorlesungen/slides/6/punktgruppen/p.tex | 8 ++- vorlesungen/slides/6/punktgruppen/semidirekt.tex | 22 +++--- 17 files changed, 418 insertions(+), 61 deletions(-) create mode 100644 vorlesungen/slides/6/normalteiler/konjugation.tex create mode 100644 vorlesungen/slides/6/normalteiler/normal.tex create mode 100644 vorlesungen/slides/6/produkte/direkt.tex create mode 100644 vorlesungen/slides/6/produkte/frei.tex (limited to 'vorlesungen/slides') diff --git a/vorlesungen/slides/6/Makefile.inc b/vorlesungen/slides/6/Makefile.inc index 793d402..bc6882a 100644 --- a/vorlesungen/slides/6/Makefile.inc +++ b/vorlesungen/slides/6/Makefile.inc @@ -12,6 +12,12 @@ chapter6 = \ ../slides/6/punktgruppen/chemie.tex \ ../slides/6/punktgruppen/aufspaltung.tex \ \ + ../slides/6/produkte/frei.tex \ + ../slides/6/produkte/direkt.tex \ + \ + ../slides/6/normalteiler/normal.tex \ + ../slides/6/normalteiler/konjugation.tex \ + \ ../slides/6/permutationen/matrizen.tex \ \ ../slides/6/darstellungen/definition.tex \ diff --git a/vorlesungen/slides/6/chapter.tex b/vorlesungen/slides/6/chapter.tex index 57db282..e1711d7 100644 --- a/vorlesungen/slides/6/chapter.tex +++ b/vorlesungen/slides/6/chapter.tex @@ -12,6 +12,12 @@ \folie{6/punktgruppen/chemie.tex} \folie{6/punktgruppen/aufspaltung.tex} +\folie{6/produkte/frei.tex} +\folie{6/produkte/direkt.tex} + +\folie{6/normalteiler/normal.tex} +\folie{6/normalteiler/konjugation.tex} + \folie{6/permutationen/matrizen.tex} \folie{6/darstellungen/definition.tex} diff --git a/vorlesungen/slides/6/darstellungen/irreduzibel.tex b/vorlesungen/slides/6/darstellungen/irreduzibel.tex index 6a6991e..bfbd4a5 100644 --- a/vorlesungen/slides/6/darstellungen/irreduzibel.tex +++ b/vorlesungen/slides/6/darstellungen/irreduzibel.tex @@ -17,26 +17,30 @@ irreduzibel, wenn es keine Zerlegung von $\varrho$ in zwei Darstellungen $\varrho_i\colon G\to\operatorname{GL}(U_i)$ ($i=1,2$) gibt derart, dass $\varrho = \varrho_1\oplus\varrho_2$ \end{block} +\uncover<2->{% \begin{block}{Isomorphe Darstellungen} $\varrho_i$ sind {\em isomorphe} Darstellungen in $V_i$ wenn es $f\colon V_1\overset{\cong}{\to} V_2$ gibt mit \begin{align*} f \circ \varrho_i(g)\circ f^{-1} &= \varrho_2(g) \\ +\uncover<3->{% f \circ \varrho_i(g)\phantom{\mathstrut\circ f^{-1}}&= \varrho_2(g)\circ f +} \end{align*} -\end{block} +\end{block}} \end{column} \begin{column}{0.48\textwidth} +\uncover<4->{% \begin{block}{Lemma von Schur} $\varrho_i$ zwei irreduzible Darstellungen und $f$ so, dass $f\circ \varrho_1(g)=\varrho_2(g)\circ f$ für alle $g$. Dann gilt \begin{enumerate} -\item $\varrho_i$ nicht isomorph $\Rightarrow$ $f=0$ -\item $V_1=V_2$ $\Rightarrow$ $f=\lambda I$ +\item<5-> $\varrho_i$ nicht isomorph $\Rightarrow$ $f=0$ +\item<6-> $V_1=V_2$ $\Rightarrow$ $f=\lambda I$ \end{enumerate} -\end{block} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/darstellungen/schur.tex b/vorlesungen/slides/6/darstellungen/schur.tex index 69ce9ee..9f1db9e 100644 --- a/vorlesungen/slides/6/darstellungen/schur.tex +++ b/vorlesungen/slides/6/darstellungen/schur.tex @@ -17,19 +17,21 @@ $h\colon V_1\to V_2$ h^G = \frac{1}{|G|} \sum_{g\in G} \varrho_2(g)^{-1} \circ f \circ \varrho_1(g) \] \begin{enumerate} -\item $\varrho_i$ nicht isomorph $\Rightarrow$ $h^G=0$ -\item $V_1=V_2$, $h^G = \frac1n\operatorname{Spur}h$ +\item<2-> $\varrho_i$ nicht isomorph $\Rightarrow$ $h^G=0$ +\item<3-> $V_1=V_2$, $h^G = \frac1n\operatorname{Spur}h$ \end{enumerate} \end{block} +\uncover<4->{% \begin{block}{Matrixelemente für $\varrho_i$ nicht isomorph} $\varrho_i$ nicht isomorph, dann ist \[ \frac{1}{|G|} \sum_{g\in G} \varrho_1(g^{-1})_{kl}\varrho_2(g)_{uv}=0 \] für alle $k,l,u,v$ -\end{block} +\end{block}} \end{column} \begin{column}{0.48\textwidth} +\uncover<5->{% \begin{block}{Matrixelemente $V_1=V_2$, $\varrho_i$ iso} F¨r $k=v$ und $l=u$ gilt \[ @@ -38,7 +40,7 @@ F¨r $k=v$ und $l=u$ gilt \frac1n \] und $=0$ sonst -\end{block} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/darstellungen/skalarprodukt.tex b/vorlesungen/slides/6/darstellungen/skalarprodukt.tex index 653bdce..46cc8e9 100644 --- a/vorlesungen/slides/6/darstellungen/skalarprodukt.tex +++ b/vorlesungen/slides/6/darstellungen/skalarprodukt.tex @@ -21,18 +21,21 @@ $\varphi$, $\psi$ komplexe Funktionen auf $G$: \end{block} \end{column} \begin{column}{0.48\textwidth} +\uncover<2->{% \begin{block}{Satz} \begin{enumerate} \item $\chi$ der Charakter einer irrediziblen Darstellung $\Rightarrow$ $\langle \chi,\chi\rangle=1$. -\item +\item<3-> $\chi$ und $\chi'$ Charaktere nichtisomorpher Darstellungen $\Rightarrow$ $\langle \chi,\chi'\rangle=0$ \end{enumerate} +\uncover<4->{% D.~h.~Charaktere irreduzibler Darstellungen sind orthonormiert -\end{block} +} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/darstellungen/summe.tex b/vorlesungen/slides/6/darstellungen/summe.tex index 9152e1f..3087b4a 100644 --- a/vorlesungen/slides/6/darstellungen/summe.tex +++ b/vorlesungen/slides/6/darstellungen/summe.tex @@ -20,39 +20,45 @@ Gegeben zwei Darstellungen \end{align*} \end{block} \vspace{-12pt} +\uncover<2->{% \begin{block}{Direkte Summe der Darstellungen} -\vspace{-12pt} +%\vspace{-12pt} \begin{align*} \varrho_1\oplus\varrho_2 &\colon -G\to \mathbb{C}^{n_1+n_2} = \mathbb{C}^{n_1}\times\mathbb{C}^{n_2} -=: -\mathbb{C}^{n_1}\oplus\mathbb{C}^{n_2} +G\to \mathbb{C}^{n_1+n_2} +\only<3>{ += \mathbb{C}^{n_1}\times\mathbb{C}^{n_2}} +\uncover<4->{=: +\mathbb{C}^{n_1}\oplus\mathbb{C}^{n_2}} +\hspace*{5cm} \\ &\colon g\mapsto (\varrho_1(g),\varrho_2(g)) \end{align*} -\end{block} +\end{block}} \vspace{-12pt} +\uncover<5->{% \begin{block}{Charakter} -\vspace{-12pt} +%\vspace{-12pt} \begin{align*} \chi_{\varrho_1\oplus\varrho_2}(g) &= \operatorname{Spur}(\varrho_1\oplus\varrho_2)(g) \\ -&= +&\uncover<6->{= \operatorname{Spur}{\varrho_1(g)} + -\operatorname{Spur}{\varrho_1(g)} +\operatorname{Spur}{\varrho_1(g)}} \\ -&= +&\uncover<7->{= \chi_{\varrho_1}(g) + -\chi_{\varrho_2}(g) +\chi_{\varrho_2}(g)} \end{align*} -\end{block} +\end{block}} \end{column} \begin{column}{0.48\textwidth} +\uncover<8->{% \begin{block}{Tensorprodukt} $n_1\times n_2$-dimensionale Darstellung $\varrho_1\otimes\varrho_2$ mit Matrix @@ -67,15 +73,16 @@ Darstellung $\varrho_1\otimes\varrho_2$ mit Matrix &\varrho_1(g)_{n_1n_1} \varrho_2(g) \end{pmatrix} \] -Die ``Einträge'' sind $n_2\times n_2$-Blöcke -\end{block} +\uncover<9->{Die ``Einträge'' sind $n_2\times n_2$-Blöcke} +\end{block}} +\uncover<10->{% \begin{block}{Darstellungsring} Die Menge der Darstellungen $R(G)$ einer Gruppe hat einer Ringstruktur mit $\oplus$ und $\otimes$ \\ -$\Rightarrow$ -Algebra zum Studium der möglichen Darstellungen von $G$ verwenden -\end{block} +\uncover<11->{$\Rightarrow$ +Algebra zum Studium der möglichen Darstellungen von $G$ verwenden} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/darstellungen/zyklisch.tex b/vorlesungen/slides/6/darstellungen/zyklisch.tex index 6e36d1d..312d0e8 100644 --- a/vorlesungen/slides/6/darstellungen/zyklisch.tex +++ b/vorlesungen/slides/6/darstellungen/zyklisch.tex @@ -16,15 +16,17 @@ C_n = \mathbb{Z}/n\mathbb{Z} \) \end{block} +\uncover<2->{% \begin{block}{Darstellungen von $C_n$} Gegeben durch $\varrho_k(1)=e^{2\pi i k/n}$, \[ \varrho_k(l) = e^{2\pi ikl/n} \] -\end{block} +\end{block}} \vspace{-10pt} +\uncover<3->{ \begin{block}{Charaktere} -\vspace{-10pt} +%\vspace{-10pt} \[ \chi_k(l) = e^{2\pi ikl/n} \] @@ -38,13 +40,15 @@ haben Skalarprodukte \end{cases} \] Die Darstellungen $\chi_k$ sind nicht isomorph -\end{block} +\end{block}} \end{column} \begin{column}{0.48\textwidth} +\uncover<5->{% \begin{block}{Orthonormalbasis} Die Funktionen $\chi_k$ bilden eine Orthonormalbasis von $L^2(C_n)$ -\end{block} +\end{block}} \vspace{-4pt} +\uncover<6->{% \begin{block}{Analyse einer Darstellung} $\varrho\colon C_n\to \mathbb{C}^n$ eine Darstellung, $\chi_\varrho$ der Charakter lässt zerlegen: @@ -53,24 +57,27 @@ c_k &= \langle \chi_k, \chi\rangle = \frac{1}{n} \sum_{l} \chi_k(l) e^{-2\pi ilk/n} \\ +\uncover<7->{ \chi(l) &= \sum_{k} c_k \chi_k = \sum_{k} c_k e^{2\pi ikl/n} +} \end{align*} -\end{block} +\end{block}} \vspace{-13pt} +\uncover<8->{% \begin{block}{Fourier-Theorie} \vspace{-3pt} \begin{center} \begin{tabular}{>{$}l<{$}l} -C_n&Diskrete Fourier-Theorie\\ -U(1)&Fourier-Reihen\\ -\mathbb{R}&Fourier-Integral +\uncover<9->{C_n&Diskrete Fourier-Theorie}\\ +\uncover<10->{U(1)&Fourier-Reihen}\\ +\uncover<11->{\mathbb{R}&Fourier-Integral} \end{tabular} \end{center} -\end{block} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/normalteiler/konjugation.tex b/vorlesungen/slides/6/normalteiler/konjugation.tex new file mode 100644 index 0000000..70ce01f --- /dev/null +++ b/vorlesungen/slides/6/normalteiler/konjugation.tex @@ -0,0 +1,77 @@ +% +% konjugation.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Konjugation} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{``Basiswechsel''} +In der Gruppe $\operatorname{GL}_n(\Bbbk)$ +\[ +A' = TAT^{-1} +\] +$T\in\operatorname{GL}_n(\Bbbk)$ +\\ +$A$ und $A'$ sind ``gleichwertig'' +\end{block} +\uncover<2->{% +\begin{block}{Definition} +$g_1,g_2\in G$ sind {\em konjugiert}, wenn es +$h\in G$ gibt mit +\[ +g_1 = hg_2h^{-1} +\] +\end{block}} +\uncover<3->{% +\begin{block}{Beispiel} +Konjugierte Elemente in $\operatorname{GL}_n(\Bbbk)$ haben die +gleiche Spur und Determinante +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<4->{% +\begin{block}{Konjugationsklasse} +Die Konjugationsklasse von $g$ ist +\[ +\llbracket g\rrbracket += +\{h\in G\;|\; \text{$h$ konjugiert zu $g$}\} +\] +\end{block}} +\vspace{-7pt} +\uncover<5->{% +\begin{block}{Klassenzerlegung} +\begin{align*} +G +&= +\{e\} +\cup +\llbracket g_1\rrbracket +\cup +\llbracket g_2\rrbracket +\cup +\dots +\\ +&\uncover<6->{= +C_e\cup C_1 \cup C_2\cup\dots} +\end{align*} +\end{block}} +\vspace{-7pt} +\uncover<7->{% +\begin{block}{Klassenfunktionen} +Funktionen, die auf Konjugationsklassen konstant sind +\end{block}} +\uncover<8->{% +\begin{block}{Beispiele} +Spur, Determinante +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/normalteiler/normal.tex b/vorlesungen/slides/6/normalteiler/normal.tex new file mode 100644 index 0000000..42336b9 --- /dev/null +++ b/vorlesungen/slides/6/normalteiler/normal.tex @@ -0,0 +1,79 @@ +% +% normal.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Normalteiler} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Gegeben} +Eine Gruppe $G$ mit Untergruppe $N\subset G$ +\end{block} +\uncover<2->{% +\begin{block}{Bedingung} +Welche Eigenschaft muss $N$ zusätzlich haben, +damit +\[ +G/N += +\{ gN \;|\; g\in G\} +\] +eine Gruppe wird. + +\uncover<3->{Wähle Repräsentaten $g_1N=g_2N$} +\uncover<4->{% +\begin{align*} +g_1g_2N +&\uncover<5->{= +g_1g_2NN} +\uncover<6->{= +g_1g_2Ng_2^{-1}g_2N} +\\ +&\uncover<7->{= +g_1(g_2Ng_2^{-1})g_2N} +\\ +&\uncover<8->{\stackrel{?}{=} g_1Ng_2N} +\end{align*}} +\uncover<9->{Funktioniert nur wenn $g_2Ng_2^{-1}=N$ ist} +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<10->{% +\begin{block}{Universelle Eigenschaft} +Ist $\varphi\colon G\to G'$ ein Homomorphismus mit $\varphi(N)=\{e\}$% +\uncover<11->{, dann gibt es einen Homomorphismus $G/N\to G'$:} +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\coordinate (N) at (-2.5,0); +\coordinate (G) at (0,0); +\coordinate (quotient) at (2.5,0); +\coordinate (Gprime) at (0,-2.5); +\coordinate (e) at (-2.5,-2.5); +\node at (N) {$N$}; +\node at (e) {$\{e\}$}; +\node at (G) {$G$}; +\node at (Gprime) {$G'$}; +\node at (quotient) {$G/N$}; +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (N) -- (G); +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (N) -- (e); +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (e) -- (Gprime); +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm] (G) -- (Gprime); +\draw[->,shorten >= 0.4cm,shorten <= 0.4cm] (G) -- (quotient); +\uncover<11->{ +\draw[->,shorten >= 0.3cm,shorten <= 0.4cm,color=red] (quotient) -- (Gprime); +\node[color=red] at ($0.5*(quotient)+0.5*(Gprime)$) [below right] {$\exists!$}; +} +\node at ($0.5*(quotient)$) [above] {$\pi$}; +\node at ($0.5*(Gprime)$) [left] {$\varphi$}; +\end{tikzpicture} +\end{center} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/permutationen/matrizen.tex b/vorlesungen/slides/6/permutationen/matrizen.tex index 346993d..d40c396 100644 --- a/vorlesungen/slides/6/permutationen/matrizen.tex +++ b/vorlesungen/slides/6/permutationen/matrizen.tex @@ -20,6 +20,7 @@ e_i \mapsto e_{\sigma(i)} \] ($e_i$ Standardbasisvektor) \end{block} +\uncover<2->{% \begin{block}{Lineare Abbildung} $f$ kann erweitert werden zu einer linearen Abbildung \[ @@ -31,9 +32,10 @@ $f$ kann erweitert werden zu einer linearen Abbildung \mapsto \sum_{k=1}^n a_i f(e_i) \] -\end{block} +\end{block}} \end{column} \begin{column}{0.48\textwidth} +\uncover<3->{% \begin{block}{Permutationsmatrix} Matrix $A_{\tilde{f}}$ der linearen Abbildung $\tilde{f}$ hat die Matrixelemente @@ -45,10 +47,11 @@ a_{ij} 0&\qquad\text{sonst} \end{cases} \] -\end{block} +\end{block}} \vspace{-10pt} +\uncover<4->{% \begin{block}{Beispiel} -\vspace{-20pt} +\vspace{-10pt} \[ \begin{pmatrix} 1&2&3&4\\ @@ -62,13 +65,14 @@ a_{ij} 0&0&1&0 \end{pmatrix} \] -\end{block} +\end{block}} \vspace{-10pt} +\uncover<5->{% \begin{block}{Homomorphismus} Die Abbildung $S_n\to\operatorname{GL}(\Bbbk)\colon \sigma \mapsto A_{\tilde{f}}$ ist ein Homomorphismus -\end{block} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/produkte/direkt.tex b/vorlesungen/slides/6/produkte/direkt.tex new file mode 100644 index 0000000..c851335 --- /dev/null +++ b/vorlesungen/slides/6/produkte/direkt.tex @@ -0,0 +1,66 @@ +% +% direkt.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Direktes Produkt} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Definition} +Zwei Gruppen $H_1$ und $H_2$ +\\ +Gruppe $G=H_1\times H_2$ mit +\begin{itemize} +\item<2-> Elemente $(h_1,h_2)\in H_1\times H_2$ +\item<3-> Neutrales Element $(e_1,e_2)$ +\item<4-> Inverses Elemente $(h_1,h_2)^{-1}=(h_1^{-1},h_2^{-1})$ +\end{itemize} +heisst {\em direktes Produkt} +\end{block} +\uncover<5->{% +\begin{block}{Vertauschbarkeit} +Das direkte Produkt ist ein Produkt, in dem Elemente von $H_1$ und +$H_2$ vollständig vertauschbar sind +\end{block}} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<6->{% +\begin{block}{Universelle Eigenschaft} +\begin{center} +\begin{tikzpicture}[>=latex,thick] +\coordinate (S) at (0,2.5); +\coordinate (H1) at (-2.5,0); +\coordinate (H2) at (2.5,0); + +\node at (H1) {$H_1$}; +\node at (H2) {$H_2$}; +\node at (0,0) {$H_1\times H_2$}; +\node at (S) {$S$}; + +\draw[->,shorten >= 0.25cm,shorten <= 0.8cm] (0,0) -- (H1); +\draw[->,shorten >= 0.25cm,shorten <= 0.8cm] (0,0) -- (H2); + +\draw[->,shorten >= 0.25cm,shorten <= 0.25cm] (S) -- (H1); +\draw[->,shorten >= 0.25cm,shorten <= 0.25cm] (S) -- (H2); + +\node at ($0.5*(S)+0.5*(H1)$) [above left] {$f_1$}; +\node at ($0.5*(S)+0.5*(H2)$) [above right] {$f_2$}; + +\uncover<7->{ +\draw[->,shorten >= 0.25cm,shorten <= 0.25cm,color=red] (S) -- (0,0); +\node[color=red] at ($0.36*(S)$) [left] {$f_1\times f_2$}; +\node[color=red] at ($0.36*(S)$) [right] {$\exists!$}; +} + +\end{tikzpicture} +\end{center} +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/produkte/frei.tex b/vorlesungen/slides/6/produkte/frei.tex new file mode 100644 index 0000000..6c23e6b --- /dev/null +++ b/vorlesungen/slides/6/produkte/frei.tex @@ -0,0 +1,79 @@ +% +% template.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Freie Gruppen} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Gruppe aus Symbolen} +Erzeugende Elemente $\{a,b,c,\dots\}$ +\\ +\uncover<2->{% +Wörter = +Folgen von Symbolen $a$, $a^{-1}$, $b$, $b^{-1}$} +\\ +\uncover<3->{ +{\em freie Gruppe}: +\begin{align*} +F&=\langle a,b,c,\dots\rangle +\\ +&= +\{\text{Wörter}\} +/\text{Kürzungsregel} +\end{align*}} +\vspace{-10pt} +\begin{itemize} +\item<4-> neutrales Element: $e = \text{leere Symbolfolge}$ +\item<5-> Gruppenoperation: Verkettung +\item<6-> Kürzungsregel: +\begin{align*} +xx^{-1}&\to e, +& +x^{-1}x&\to e +\end{align*} +\end{itemize} +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\uncover<7->{% +\begin{block}{Universelle Eigenschaft} +$g_i\in G$, dann gibt es genau einen Homomorphismus +\[ +\varphi +\colon +\langle g_i| 1\le i\le k\rangle +\to +G +\] +\end{block}} +\vspace{-10pt} +\uncover<8->{% +\begin{block}{Quotient einer freien Gruppe} +Jede endliche Gruppe ist Quotient einer freien Gruppe +\[ +N +\xhookrightarrow{} +\langle g_i\rangle +\twoheadrightarrow +G +\] +oder +\[ +G = \langle g_i\rangle / N +\] +\end{block}} +\vspace{-10pt} +\uncover<11->{% +\begin{block}{Maximal nichtkommutativ} +Die freie Gruppe ist die ``maximal nichtkommutative'' Gruppe +\end{block}} +\end{column} +\end{columns} +\end{frame} +\egroup diff --git a/vorlesungen/slides/6/punktgruppen/c.tex b/vorlesungen/slides/6/punktgruppen/c.tex index 5394f51..80790b1 100644 --- a/vorlesungen/slides/6/punktgruppen/c.tex +++ b/vorlesungen/slides/6/punktgruppen/c.tex @@ -21,6 +21,7 @@ \end{block} \end{column} \begin{column}{0.33\textwidth} +\uncover<2->{% \begin{block}{$C_{nv}$} \begin{center} \includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/cnv.jpg} @@ -29,9 +30,10 @@ \item Eine $n$-zählige Achse \item $n$ dazu senkrechte Symmetrieebenen \end{itemize} -\end{block} +\end{block}} \end{column} \begin{column}{0.33\textwidth} +\uncover<3->{% \begin{block}{$C_{nh}$} \begin{center} \includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/cnh.jpg} @@ -40,7 +42,7 @@ \item Eine $n$-zählige Achse \item Eine dazu senkrechte Spiegelebene \end{itemize} -\end{block} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/punktgruppen/chemie.tex b/vorlesungen/slides/6/punktgruppen/chemie.tex index 43e8dc4..7f8b7a8 100644 --- a/vorlesungen/slides/6/punktgruppen/chemie.tex +++ b/vorlesungen/slides/6/punktgruppen/chemie.tex @@ -7,7 +7,7 @@ \begin{frame}[t] \setlength{\abovedisplayskip}{5pt} \setlength{\belowdisplayskip}{5pt} -\frametitle{Anwendung} +\frametitle{Anwendung: Energieniveaus eines Atoms} \vspace{-20pt} \begin{columns}[t,onlytextwidth] \begin{column}{0.48\textwidth} @@ -23,6 +23,7 @@ E\Psi \] $V(x)$ = Potential der Atomkerne eines Molekuls \end{block} +\uncover<2->{% \begin{block}{Symmetrien} $g\in\operatorname{O}(3)$ wirkt auf $V$ und $\Psi$ \begin{align*} @@ -31,9 +32,10 @@ $g\in\operatorname{O}(3)$ wirkt auf $V$ und $\Psi$ (g\cdot \Psi)(x) &= \Psi(g\cdot x) \end{align*} Symmetrie von $V$: $g\cdot V=V$ -\end{block} +\end{block}} \end{column} \begin{column}{0.48\textwidth} +\uncover<3->{% \begin{block}{Lösungen} Eigenfunktionen $\Psi$ zum Eigenwert $E$ \[ @@ -43,16 +45,18 @@ g\cdot \Psi \text{ Lösung} \] mit gleichem Eigenwert! -\end{block} +\end{block}} +\uncover<4->{% \begin{block}{Eigenräume} Die Symmetriegruppe $G\subset \operatorname{O}(3)$ eines Moleküls operiert auf dem Eigenraum -\end{block} +\end{block}} +\uncover<5->{% \begin{block}{Externe Felder} Externe Felder zerstören die Symmetrie $\Rightarrow$ die Energieniveaus/Spektrallinien spalten sich auf -\end{block} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/punktgruppen/d.tex b/vorlesungen/slides/6/punktgruppen/d.tex index a4824b5..9dd0a7a 100644 --- a/vorlesungen/slides/6/punktgruppen/d.tex +++ b/vorlesungen/slides/6/punktgruppen/d.tex @@ -15,6 +15,7 @@ \begin{center} \includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/dn.jpg} \end{center} +\vspace{-8pt} \begin{itemize} \item $C_n$ Achse \item $n$ $C_2$ Achse senkrecht dazu @@ -22,26 +23,30 @@ \end{block} \end{column} \begin{column}{0.33\textwidth} +\uncover<2->{% \begin{block}{$D_{nd}$} \begin{center} \includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/dnd.jpg} \end{center} +\vspace{-8pt} \begin{itemize} \item $D_n$ Achse \item $n$ winkelhalbierende Spiegelebenen der $C_2$-Achsen \end{itemize} -\end{block} +\end{block}} \end{column} \begin{column}{0.33\textwidth} +\uncover<3->{% \begin{block}{$D_{nh}$} \begin{center} \includegraphics[width=\textwidth]{../slides/6/punktgruppen/images/dnh.jpg} \end{center} +\vspace{-8pt} \begin{itemize} \item $D_n$ Achse \item Spiegelbene senkrecht dazu \end{itemize} -\end{block} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/punktgruppen/p.tex b/vorlesungen/slides/6/punktgruppen/p.tex index 908e76a..ea51e93 100644 --- a/vorlesungen/slides/6/punktgruppen/p.tex +++ b/vorlesungen/slides/6/punktgruppen/p.tex @@ -7,7 +7,7 @@ \begin{frame}[t] \setlength{\abovedisplayskip}{5pt} \setlength{\belowdisplayskip}{5pt} -\frametitle{Drehgruppen} +\frametitle{Platonische Körper} \vspace{-20pt} \begin{columns}[t,onlytextwidth] \begin{column}{0.33\textwidth} @@ -18,18 +18,20 @@ \end{block} \end{column} \begin{column}{0.33\textwidth} +\uncover<2->{% \begin{block}{$O = O_h \cap \operatorname{SO(3)}$} \begin{center} \includegraphics[width=0.8\textwidth]{../slides/6/punktgruppen/toi/O.jpg} \end{center} -\end{block} +\end{block}} \end{column} \begin{column}{0.33\textwidth} +\uncover<3->{% \begin{block}{$I = I_h \cap \operatorname{SO(3)}$} \begin{center} \includegraphics[width=0.8\textwidth]{../slides/6/punktgruppen/toi/I.jpg} \end{center} -\end{block} +\end{block}} \end{column} \end{columns} \end{frame} diff --git a/vorlesungen/slides/6/punktgruppen/semidirekt.tex b/vorlesungen/slides/6/punktgruppen/semidirekt.tex index b8636be..69c1173 100644 --- a/vorlesungen/slides/6/punktgruppen/semidirekt.tex +++ b/vorlesungen/slides/6/punktgruppen/semidirekt.tex @@ -23,53 +23,57 @@ G\ltimes A \] heisst {\em semidirektes Produkt}. \begin{itemize} -\item +\item<2-> Neutrales Element: $(e,0)$ -\item +\item<3-> Gruppenoperation \[ (h_1,a_1)\cdot(h_2,a_2) = (h_1h_2, a_1 + \vartheta(h_1)a_2) \] -\item +\item<4-> Inverse: $(h,a)^{-1} = (h^{-1},-\vartheta(h)^{-1}a) $ +\uncover<5->{% Kontrolle: \begin{align*} &\phantom{\mathstrut=\mathstrut} (h,a)\cdot (h^{-1},-\vartheta(h)^{-1}a) \\ -&=(hh^{-1},a-\vartheta(h)\vartheta(h)^{-1}a) -=(e,0) -\end{align*} +&\uncover<6->{=(hh^{-1},a-\vartheta(h)\vartheta(h)^{-1}a)} +\uncover<7->{=(e,0)} +\end{align*}} \end{itemize} \end{block} \end{column} \begin{column}{0.48\textwidth} +\uncover<8->{% \begin{block}{Drehungen und Spiegelungen von $\mathbb{R}^2$} Spiegelung: $C_2$ Drehungen der: $\operatorname{SO}(2)$ Drehungen und Spiegelungen: $C_2\ltimes \operatorname{SO}(2)=O(2)$ -\end{block} +\end{block}} +\uncover<9->{% \begin{block}{Drehungen und Translationen} Drehungen: $H=\operatorname{SO}(2)$ \\ Translationen: $A=\mathbb{R}^2$ \\ Bewegungen der Ebene: $\operatorname{SO}(2)\ltimes \mathbb{R}^2$ -\end{block} +\end{block}} +\uncover<10->{% \begin{block}{Dopplereffekt und Laufzeit} Dopplereffekt: $\mathbb{R}^+$ (Skalierung) \\ Laufzeit: $\mathbb{R}$ (Verschiebung) \\ Skalierung und Verschiebung: $\mathbb{R}^+\ltimes \mathbb{R}$ -\end{block} +\end{block}} \end{column} \end{columns} \end{frame} -- cgit v1.2.1