Satz von Binet-Cauchy

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 . Um ihn anzuwenden, muss eine Produktdarstellung bekannt sein. Der Satz von Binet-Cauchy verallgemeinert den Determinantenproduktsatz, der sich als Spezialfall ergibt, wenn und quadratisch sind.

Satz

Sind eine -Matrix und eine -Matrix, dann berechnet sich die Determinante von durch Aufsummieren von Produkten aus je einem -dimensionalen Minor von und :

Die Untermatrizen und ergeben sich aus den Matrizen und wenn nur die Spalten aus bzw. Zeilen aus verwendet werden, deren Nummern in vorkommen. Dabei muss die ursprüngliche Reihenfolge der Spalten bzw. Zeilen jedoch erhalten bleiben. Ist , dann gibt es solche Untermatrizen nicht und es gilt .

Gilt , dann gibt es genau eine Teilmenge und es gilt .

Beispiel

In diesem Beispiel wird die Determinante der Matrix 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
  • Igor R. Shafarevich, Alexey O. Remizov: Linear Algebra and Geometry, Springer, 2012, ISBN 978-3-642-30993-9, §2.9 (S. 68) & §10.5 (S. 377)