aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/50-permutationen/determinante.tex
blob: 9ca210d0242a99027a9537117073f5cf451756ea (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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
%
% determinante.tex -- Formel für die Determinante mit Vorzeichen der
%                     Permutation
%
% (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil
%
\section{Determinante
\label{buch:section:determinante}}
Das Signum einer Permutationsmatrix lässt sich
gemäss~\eqref{buch:permutationen:determinante}
mit der Determinanten berechnen.
Umgekehrt sollte es auch möglich sein, eine Formel
für die Determinante zu finden.
Die Basis dafür ist der
Entwicklungssatz 
\begin{equation}
\det(A)
=
\sum_{i=1}^n (-1)^{i+j} a_{i\!j} \cdot \det(A_{i\!j})
\label{buch:permutationen:entwicklungssatz}
\end{equation}
von Laplace für die Determinante.
\index{Entwicklungssatz}%
\index{Laplace, Entwicklungssatz von}%
Die Matrizen $A_{i\!j}$ sind die Minoren der Matrix $A$
(siehe auch Seite~\pageref{buch:linear:def:minor}).
In den Produkten $a_{i\!j}\cdot\det(A_{i\!j})$ enthält 
die Untermatrix $A_{i\!j}$ weder Elemente der Zeile $i$ noch der 
Spalte $j$.
Die Summanden auf der rechten Seite von
\eqref{buch:permutationen:entwicklungssatz}
sind daher Produkte der Form
\[
a_{1i_1}
a_{2i_2}
a_{3i_3}
\cdots
a_{ni_n},
\]
in denen nur Faktoren aus verschiedenen Spalten der Matrix $A$
vorkommen.
Das ist gleichbedeutend damit, dass unter den Spaltenindizes
$i_1,i_2,i_3,\dots,i_n$ keine zwei gleich sind, dass also
\[
\sigma
=
\begin{pmatrix}
1&2&3&\dots&n\\
i_1&i_2&i_3&\dots&i_n
\end{pmatrix}
\]
eine Permutation ist.

\rhead{Determinante}
Die Determinante muss sich daher als Summe über alle Permutationen
in der Form
\begin{equation}
\det(A)
=
\sum_{\sigma\in S_n} 
c(\sigma)
\,
a_{1\sigma(1)}
a_{2\sigma(2)}
\cdots
a_{n\sigma(n)}
\label{buch:permutationen:cformel}
\end{equation}
schreiben lassen, wobei die Koeffizienten $c(\sigma)$ noch zu bestimmen
sind.
Setzt man in
\eqref{buch:permutationen:cformel}
eine Permutationsmatrix $P_\gamma$ ein, dann verschwinden alle
Terme auf der rechten Seite ausser dem zur Permutation $\gamma$,
also
\[
\det(P_\gamma)
=
\sum_{\sigma \in S_n}
c(\sigma)
\,
(P_\gamma)_{1\sigma(1)}
(P_\gamma)_{2\sigma(2)}
\cdots
(P_\gamma)_{n\sigma(n)}
=
c(\gamma)
\,
1\cdot 1\cdots 1
=
c(\gamma).
\]
Der Koeffizient $c(\gamma)$ ist also genau das Vorzeichen
der Permutation $\gamma$.
Damit erhalten wir den folgenden Satz:

\begin{satz}
Die Determinante einer $n\times n$-Matrix $A$ kann berechnet werden als
\[
\det(A)
=
\sum_{\sigma\in S_n}
\operatorname{sgn}(\sigma)
a_{1\sigma(1)}
a_{2\sigma(2)}
\cdots
a_{n\sigma(n)}
=
\sum_{\gamma\in S_n}
\operatorname{sgn}(\gamma)
a_{\gamma(1)1}
a_{\gamma(2)2}
\cdots
a_{\gamma(n)n}.
\]
Insbesondere folgt auch $\det(A)=\det(A^t)$.
\end{satz}