Wie ergibt die Berechnung der Determinante einer Matrix mit Einheitsvektoren das Kreuzprodukt?

Sagen Sie, Sie hatten ( A X , A j , A z ) × ( B X , B j , B z ) , würden Sie eine Matrix wie die folgende einrichten:

Geben Sie hier die Bildbeschreibung ein

Und das Ergebnis wäre Ihr Kreuzprodukt oder die Koordinaten eines orthogonalen Vektors. Meine Frage ist warum? Warum gibt Ihnen die Formgebung auf diese Weise die Größe eines orthogonalen Vektors und wie hängt er mit dem zusammen? Sünde ( θ ) Definition von Kreuzprodukt.

Siehe auch math.stackexchange.com/questions/22/… , obwohl diese Frage und ihre Antworten nur den orthogonalen Vektorteil dieser Frage berühren, nicht den Sünde ( θ ) Teil.
Für mich gibt es wirklich drei Fragen, die uns sagen, warum das Kreuzprodukt so ist, wie es ist: 1. Auf welcher Linie sollte das Kreuzprodukt liegen? 2. Wie lang sollte das Kreuzprodukt sein? 3. Welche Vorzeichenkonvention sollten wir verwenden? Die erste ist die wichtigste Tatsache über das Kreuzprodukt: Es liegt auf der Linie senkrecht zu beiden Eingabevektoren. Bei gegebener erster Antwort wird die zweite Antwort bestimmt, indem gefordert wird, dass das Kreuzprodukt zweier rechtwinkliger Einheitsvektoren ein Einheitsvektor ist. Die dritte Antwort ist die Rechte-Hand-Regel, die viel willkürlicher ist als die ersten beiden Antworten.
Diese Definition des Kreuzprodukts entwertet definitiv den Begriff der Determinante und sollte abgeschafft werden. Außerhalb von "Schaum's Outline" (das schon als Student in den fünfziger Jahren des letzten Jahrhunderts veraltet war) und ähnlichen Texten sollten alle Elemente einer Matrix vom gleichen Typ sein.
@ChristianBlatter Danke für den Hinweis auf das Problem mit dieser Notation. Als ich es zum ersten Mal sah, dachte ich, es würde versuchen, die Determinante von a zu nehmen 5 × 3 Matrix (deren erste drei Zeilen sind ICH 3 ).
Wir haben unten einige gute Antworten, und ich sehe keine weiteren Bitten um Klärung, also ist es fair zu sagen, dass die Frage beantwortet wurde? Wenn ja, empfehle ich, eine der Antworten zu "akzeptieren". (Du entscheidest welche.)

Antworten (4)

Die Determinante von a 3 × 3 Matrix kann als das dreifache Produkt ihrer Spalten (oder Zeilen) angesehen werden:

det [ X 1 j 1 z 1 X 2 j 2 z 2 X 3 j 3 z 3 ] = [ X 1 X 2 X 3 ] × [ j 1 j 2 j 3 ] [ z 1 z 2 z 3 ] (1) = [ ( X × j ) 1 ( X × j ) 2 ( X × j ) 3 ] [ z 1 z 2 z 3 ]
Wenn wir ersetzen [ z 1 z 2 z 3 ] In ( 1 ) von [ ich J k ] , wir bekommen
det [ X 1 j 1 ich X 2 j 2 J X 3 j 3 k ] = [ ( X × j ) 1 ( X × j ) 2 ( X × j ) 3 ] [ ich J k ] = ( X × j ) 1 ich + ( X × j ) 2 J + ( X × j ) 3 k (2) = X × j

Und das Ergebnis wäre Ihr Kreuzprodukt oder die Koordinaten eines orthogonalen Vektors. Meine Frage ist warum? Warum gibt Ihnen die Formgebung auf diese Weise die Größe eines orthogonalen Vektors?

Ihre letzte Gleichung kann geschrieben werden als

( A × B ) ich = ϵ ich J k A J B k ( 1 )
Wo ϵ ich J k ist der schiefsymmetrische oder Levi-Civita-Tensor und es wird die Einstein-Summierungskonvention verwendet (wir summieren über dieselben Indizes, hier: J Und k , jeweils aus 1 Zu 3 ).

Wenn das Tupel ( ich , J , k ) besteht aus verschiedenen Zahlen aus { 1 , 2 , 3 } , also ist es eine Permutation von ( 1 , 2 , 3 ) , es ist als Zeichen der Permutation definiert ± 1 , sonst verschwindet es.

Das Obige ist also die kompakte Notation für

( A × B ) 1 = ϵ 123 A 2 B 3 + ϵ 132 A 3 B 2 = A 2 B 3 A 3 B 2 ( A × B ) 2 = ϵ 231 A 3 B 1 + ϵ 213 A 1 B 3 = A 3 B 1 A 1 B 3 ( A × B ) 3 = ϵ 312 A 1 B 2 + ϵ 321 A 2 B 1 = A 1 B 2 A 2 B 1

Vergleichen Sie dies mit der Definition der Determinante , die in sich eine alternierende multilineare Form ist N Argumente:

det A = det ( A 1 , , A N ) = ϵ ich 1 ich 2 ich N A 1 ich 1 A 2 ich 2 A N ich N ( 2 )
Es ist die vorzeichenbehaftete Summe aller Permutationen der Komponenten.

So kommt es tatsächlich vor

det ( e ich , A , B ) = e ich ( A × B ) = ( A × B ) ich ( 3 )
Wo e ich ist der ich -th kanonischer Basisvektor
e 1 = ( 1 , 0 , 0 ) T e 2 = ( 0 , 1 , 0 ) T e 3 = ( 0 , 0 , 1 ) T

Das von Ihnen verwendete Formular verwendet die Regel von Sarrus , um die Determinante zu berechnen, die nur für drei Dimensionen gilt. Gleichung ( 2 ) gilt für beliebige Dimensionen.

Die Definition des Vektorprodukts, Gleichung ( 1 ) , besteht aus vorzeichenbehafteten Summen von Permutationen der beteiligten Vektorkomponenten und der Definition der Determinante ( 2 ) verwendet auch die vorzeichenbehaftete Summe von Permutationen seiner Argumentkomponenten. So kommt es, dass man ein Vektorprodukt als Determinante definieren kann.

und wie hängt es mit der zusammen Sünde ( θ ) Definition von Kreuzprodukt.

Du meinst wahrscheinlich

A × B = A B Sünde ( A , B ) ( 4 )
Diese ergibt sich aus dem Tripelprodukt
A ( B × C ) = det ( A , B , C )
was als Determinante ausgedrückt werden kann, wir haben es oben mit dem verwendet ich -th kanonischer Basisvektor für Gleichung ( 3 ) . Die Determinante gibt das Volumen des Parallelepipeds an (denken Sie an den Turm von Pisa für einen Kartenstapel), das von den Vektoren gebildet wird A , B , C .

Daraus kann man eine Gleichung ableiten ( 4 ) .

Wenn Sie die Berechnung aus dem rechten Winkel betrachten, berechnen Sie einen neuen Vektor im dualen Raum , so dass A × B bildet jeden Vektor ab C Zu R (oder C ), in einer Weise dass det ( C , A , B ) = ( A × B ) C .

Sie können dies sehen, indem Sie ersetzen ( ich , J , k ) von ( C 1 , C 2 , C 3 ) . Alles weitere ergibt sich aus den Eigenschaften von det .

Besonders A × B ist orthogonal zu A Weil det ( A , A , B ) = 0 , ähnlich für B .

Beginnen Sie mit der Definition von Kreuzprodukt als

A _ × B _ = | A _ | | B _ | Sünde θ N ^ _ ,
Wo θ ist der Winkel dazwischen A _ Und B _ Und N ^ _ ist der Einheitsvektor senkrecht zu A _ Und B _ im Sinne eines rechten Dreiklangs ' dann folgt aus dieser Definition:

  1. ich _ × J _ = 0 = J _ × J _ = k _ × k _

2. ich _ × J _ = k _ Und J _ × k _ = ich _ Und k _ × ich _ = J _

  1. Stehen die Buchstaben in antizyklischer Reihenfolge, ist das Ergebnis entsprechend negativ, also z. J _ × ich _ = k _ usw.

Wenn wir also die Distributivität des Kreuzprodukts annehmen (hier nicht bewiesen), dann ergibt das Kreuzprodukt der beiden Vektoren genau das gleiche Ergebnis, das Sie bei der Auswertung der Determinante erhalten.