Leibniz-Formel

  • → siehe 05 Kofaktoren
  • Möglichkeit, mit Gauss-Elimination in eine triangular Matrix umzustellen und dann det einfach zu berechnen. Die Determinante ändert sich nicht bei row operations, ausser beim swappen ändert sich das Vorzeichen der det.
  • Sonst (Def.7.2.3): : Menge aller Permutationen (“alle Möglichkeiten, die Zahlen bis durcheinanderzuwürfeln”) : pro Zeile wählen wir einen Eintrag, bestimmt von .

Skript:

Permutationsfunktion Sigma

nimmt das a-te Element und ersetzt es mit b, wobei b ein anderes Element in der Reihe ist (nicht irgendein Element). Kann nur swapen.

z.B.

1 | 2 | 3 | 4 | 5 1 | 3 | 2 | 5 | 4

, , etc.

Es gibt also immer Paare die sich geändert haben.

Signum

Wozu? Vorzeichen bei Formel für Determinante richtig behalten, pro swap ändert sich ja das Vorzeichen. Siehe oben. Signum keeps track of that:

= 1 wenn gerade Anzahl an Paaren geändert wurden. = -1 wenn ungerade Anzahl an Paaren geändert wurden.

Gegeben Permutationsmatrix mit Permutation , dann . Beispiel: