aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/6/permutationen
diff options
context:
space:
mode:
authorAndreas Müller <andreas.mueller@ost.ch>2021-04-19 20:49:04 +0200
committerAndreas Müller <andreas.mueller@ost.ch>2021-04-19 20:49:04 +0200
commit46b59ac97cabd9cadde42fe8662c1cb7af585cdb (patch)
tree60693a096773e72580bdf2690d0dc1233d1f7ae2 /vorlesungen/slides/6/permutationen
parentMerge pull request #7 from TReichlin/master (diff)
downloadSeminarMatrizen-46b59ac97cabd9cadde42fe8662c1cb7af585cdb.tar.gz
SeminarMatrizen-46b59ac97cabd9cadde42fe8662c1cb7af585cdb.zip
add new slides
Diffstat (limited to 'vorlesungen/slides/6/permutationen')
-rw-r--r--vorlesungen/slides/6/permutationen/matrizen.tex75
1 files changed, 75 insertions, 0 deletions
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