From 46b59ac97cabd9cadde42fe8662c1cb7af585cdb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Mon, 19 Apr 2021 20:49:04 +0200 Subject: add new slides --- vorlesungen/slides/6/permutationen/matrizen.tex | 75 +++++++++++++++++++++++++ 1 file changed, 75 insertions(+) create mode 100644 vorlesungen/slides/6/permutationen/matrizen.tex (limited to 'vorlesungen/slides/6/permutationen') diff --git a/vorlesungen/slides/6/permutationen/matrizen.tex b/vorlesungen/slides/6/permutationen/matrizen.tex new file mode 100644 index 0000000..346993d --- /dev/null +++ b/vorlesungen/slides/6/permutationen/matrizen.tex @@ -0,0 +1,75 @@ +% +% matrizen.tex -- Darstellung der Permutationen als Matrizen +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Permutationsmatrizen} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Permutationsabbildung} +$\sigma\in S_n$ eine Permutation, definiere +\[ +f +\colon +e_i \mapsto e_{\sigma(i)} +\] +($e_i$ Standardbasisvektor) +\end{block} +\begin{block}{Lineare Abbildung} +$f$ kann erweitert werden zu einer linearen Abbildung +\[ +\tilde{f} +\colon +\Bbbk^n \to \Bbbk^n +: +\sum_{k=1}^n a_i e_i +\mapsto +\sum_{k=1}^n a_i f(e_i) +\] +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{Permutationsmatrix} +Matrix $A_{\tilde{f}}$ der linearen Abbildung $\tilde{f}$ +hat die Matrixelemente +\[ +a_{ij} += +\begin{cases} +1&\qquad i=\sigma(j)\\ +0&\qquad\text{sonst} +\end{cases} +\] +\end{block} +\vspace{-10pt} +\begin{block}{Beispiel} +\vspace{-20pt} +\[ +\begin{pmatrix} +1&2&3&4\\ +3&2&4&1 +\end{pmatrix} +\mapsto +\begin{pmatrix} +0&0&0&1\\ +0&1&0&0\\ +1&0&0&0\\ +0&0&1&0 +\end{pmatrix} +\] +\end{block} +\vspace{-10pt} +\begin{block}{Homomorphismus} +Die Abbildung +$S_n\to\operatorname{GL}(\Bbbk)\colon \sigma \mapsto A_{\tilde{f}}$ +ist ein Homomorphismus +\end{block} +\end{column} +\end{columns} +\end{frame} +\egroup -- cgit v1.2.1