Ich habe kürzlich gelesen, wie die Kreuzproduktformel funktioniert kommt von folgendem:
Betrachten Sie das von einem Vektor aufgespannte Parallelepiped und die konstanten Vektoren Und . Sein signiertes Volumen ist dann . 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:
Unter Verwendung der Tatsache, dass die Lautstärke in Abhängigkeit von eine lineare Transformation ist, wissen wir, dass es eine Matrix gibt so dass . Dies ist dasselbe wie die Aussage, dass es einen Vektor gibt so dass . Jetzt wissen wir das auch , also wenn wir auflösen können dann haben wir auch das Kreuzprodukt gefunden . Durch den Missbrauch der Notation und des Sagens 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.
Die Addition / Subtraktion einer Spalte mit einer anderen ändert die Determinante nicht, also die Determinante der Matrix ist gleich der Determinante der Diagonalmatrix , deren Spalten Linearkombinationen der Matrix sind Spalte:
Das Verschieben einer "Oberfläche" eines Objekts parallel zu einer seiner anderen Kanten ändert seine nicht -Volumen. Die beiden Objekte, die durch ihre jeweilige Gruppe von Scheitelpunkten unten gegeben sind, haben also dasselbe -Volumen:
Seit eine Diagonalmatrix ist, ist es ziemlich offensichtlich, dass ihre Determinante die gibt -Volumen des zweiten Objekts oben. Daher Determinante von gleich Determinante von was gleich ist -Volumen des zweiten Objekts, das gleich dem ist Volumen des ersten Objekts.
Im Allgemeinen haben wir das, wenn Und ist Borel (oder Lebesgue) also messbar . Ein heuristischer Beweis ist nicht schwierig (für einen strengen Beweis genügt es nach dem Satz von Caratheodory, den Fall zu betrachten, wenn ein Produkt von Intervallen ist, dann funktioniert der Rest dieses heuristischen Beweises). Seit , genügt es, den Satz zu beweisen, wenn ist eine Zeilenoperation. Wenn ist von der Form , , dann ist das geometrisch offensichtlich . Wenn ist von der Form , , dann ist das geometrisch offensichtlich . Wenn ist von der Form , für , dann nach dem Satz von Fubini, .
Matematleta
John Hippisley