blob: d40c396bfb55575157a8b355e655f4d275f1fce0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
%
% 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}
\uncover<2->{%
\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}
\uncover<3->{%
\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}
\uncover<4->{%
\begin{block}{Beispiel}
\vspace{-10pt}
\[
\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}
\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{column}
\end{columns}
\end{frame}
\egroup
|
