Beweis, dass die Determinante einer 3×33×33 \times 3 Matrix das Volumen des von den Säulen aufgespannten Parallelepipeds ist

Ich habe kürzlich gelesen, wie die Kreuzproduktformel funktioniert A × B = | ich J k A 1 A 2 A 3 B 1 B 2 B 3 | kommt von folgendem:

Betrachten Sie das von einem Vektor aufgespannte Parallelepiped X und die konstanten Vektoren R Und Q . Sein signiertes Volumen ist dann v Ö l ( X ) = | X 1 X 2 X 3 R 1 R 2 R 3 Q 1 Q 2 Q 3 | . Ich habe nicht viel darüber nachgedacht, da ich die Determinante immer als die vorzeichenbehaftete Fläche / das Volumen von allem angesehen habe, was von den Spalten- (oder Zeilen-) Vektoren in der Matrix überspannt wird. Dies ist leicht in den zwei Dimensionen zu sehen:

Diagramm der 2D-Determinante

Unter Verwendung der Tatsache, dass die Lautstärke in Abhängigkeit von X eine lineare Transformation ist, wissen wir, dass es eine Matrix gibt P = ( P 1 P 2 P 3 ) so dass P X = v Ö l ( X ) . Dies ist dasselbe wie die Aussage, dass es einen Vektor gibt P = ( P 1 P 2 P 3 ) so dass P X = v Ö l ( X ) . Jetzt wissen wir das auch ( R × Q ) X = v Ö l ( X ) , also wenn wir auflösen können P dann haben wir auch das Kreuzprodukt gefunden R × Q . Durch den Missbrauch der Notation und des Sagens X = ( ich J k ) Wir lösen diese Gleichung.

Meine Frage lautet: Gibt es eine geometrische Interpretation der Formel für die 3x3-Determinante wie für die 2x2? Ich weiß, dass Sie das skalare Tripelprodukt von drei Vektoren berechnen und zeigen können, dass es der Berechnung der Determinante der Matrix mit diesen drei Vektoren als Spalten (oder Zeilen) entspricht, aber dies erklärt die Motivation hinter der Formel nicht auf die gleiche Weise wie die obige Grafik gilt für den 2x2-Fall.

Das Kreuzprodukt der Vektoren, die die Basis des Parallelepipeds bilden, ist ein Vektor senkrecht zu beiden, dessen Norm gleich der Fläche der Basis ist. Die skalare Projektion des dritten Vektors auf das normalisierte Kreuzprodukt ergibt die Höhe des Parallelepipeds, und der Absolutwert des dreifachen Produkts ist dann wie erwartet einfach die Fläche der Basis mal der Höhe.
@Matematleta Ja, aber gibt es eine bessere Möglichkeit zu sehen, dass der Prozess der Berechnung der 3x3-Determinante das Volumen angibt, als nur zu zeigen, dass er das gleiche Ergebnis liefert wie die Berechnung des skalaren Dreifachprodukts?

Antworten (2)

Die Addition / Subtraktion einer Spalte mit einer anderen ändert die Determinante nicht, also die Determinante der Matrix A ist gleich der Determinante der Diagonalmatrix B , deren Spalten Linearkombinationen der Matrix sind A Spalte:

B ich = C ich J A J X X | B | = | A |

Das Verschieben einer "Oberfläche" eines Objekts parallel zu einer seiner anderen Kanten ändert seine nicht N -Volumen. Die beiden Objekte, die durch ihre jeweilige Gruppe von Scheitelpunkten unten gegeben sind, haben also dasselbe N -Volumen:

P ich A ich X , X P ich { 0 , 1 } Q ich B ich X , X Q ich { 0 , 1 }

Seit B eine Diagonalmatrix ist, ist es ziemlich offensichtlich, dass ihre Determinante die gibt N -Volumen des zweiten Objekts oben. Daher Determinante von A gleich Determinante von B was gleich ist N -Volumen des zweiten Objekts, das gleich dem ist N Volumen des ersten Objekts.

Ich verstehe den Ausdruck nicht B ich = C ich J A J Können Sie darauf näher eingehen?
@JohnHippisley im Grunde verwenden Sie die Gaußsche Eliminierung für die Matrix A Diagonalmatrix zu erhalten B
Ah, und dadurch bleibt das Volumen erhalten, da wir durch das Hinzufügen von Vielfachen der Säulen nur eine Scherung durchführen?
@JohnHippisley ja das ist richtig :) und sobald die Matrix diagonal wird, ist die Determinante einfach ein Produkt von N senkrechte Vektoren, die uns Volumen geben
Ich versuche, die Zeilenoperationen herauszufinden, um die Matrix in diagonale Form zu bringen, kann es aber nicht bekommen. Können Sie mir helfen?

Im Allgemeinen haben wir das, wenn A G L ( N , R N ) Und S R N ist Borel (oder Lebesgue) also messbar v Ö l ( A ( S ) ) = | det ( A ) | v Ö l ( S ) . Ein heuristischer Beweis ist nicht schwierig (für einen strengen Beweis genügt es nach dem Satz von Caratheodory, den Fall zu betrachten, wenn S ein Produkt von Intervallen ist, dann funktioniert der Rest dieses heuristischen Beweises). Seit det ( E 1 E 2 ) = det ( E 1 ) det ( E 2 ) , genügt es, den Satz zu beweisen, wenn A ist eine Zeilenoperation. Wenn A ist von der Form A e J = C J , C J 0 , dann ist das geometrisch offensichtlich v Ö l ( A ( S ) ) = | C 1 | | C N | v Ö l ( S ) . Wenn A ist von der Form A e J = e σ ( J ) , σ S N , dann ist das geometrisch offensichtlich v Ö l ( A ( S ) ) = v Ö l ( S ) . Wenn A ist von der Form A e 1 = e 1 + C e 2 , A e J = e J für J 2 , dann nach dem Satz von Fubini, v Ö l ( A ( S ) ) = v Ö l ( S ) .