- Cauchy-Binet-Formel
-
Der Satz von Binet-Cauchy ist ein Satz aus dem mathematischen Teilgebiet Lineare Algebra. Der nach Jacques Philippe Marie Binet und Augustin-Louis Cauchy benannte Satz besteht aus einer Formel zur Berechnung der Determinante einer quadratischen Matrix C. Um ihn anzuwenden, muss eine Produktdarstellung bekannt sein. Dabei ist A eine -Matrix und B eine -Matrix. Die Determinante wird durch Aufsummieren von Produkten aus je einem n-dimensionalen Minor von A und B berechnet.
Die Untermatrizen AS und BS ergeben sich aus den Matrizen A und B wenn nur die Spalten aus A bzw. Zeilen aus B verwendet werden, deren Nummern in S vorkommen. Dabei muss die ursprüngliche Reihenfolge der Spalten bzw. Zeilen jedoch erhalten bleiben. Ist n > m, dann gibt es solche Untermatrizen nicht und es gilt .
Der Satz von Binet-Cauchy verallgemeinert die Produktregel für Determinanten. Diese ergibt sich als Spezialfall, wenn sowohl A als auch B -Matrizen sind. Dann gibt es genau eine Teilmenge , und es gilt .
Beispiel
In diesem Beispiel wird die Determinante der Matrix C mit Hilfe des Satzes von Binet-Cauchy berechnet. Für diese Matrix ist die folgende Produktdarstellung gegeben:
- .
Nach dem Satz von Binet-Cauchy gilt:
- .
Literatur
- Felix R. Gantmacher: Matrizentheorie. Springer-Verlag, 1986, ISBN 3-540-16582-7, S. 28–29
Wikimedia Foundation.