Kreuzprodukt definiert in RnRn\mathbb R^n

Ich bin in einem Einführungskurs in Lineare Algebra und wir haben kürzlich das Kreuzprodukt kennengelernt. Ich habe online gelesen und von anderen gehört, dass das Kreuzprodukt in definiert ist R 3 nur. Als wir es jedoch lernten, sagte uns mein Lehrer, dass es für jeden Vektorraum definiert ist, und erwähnte nichts nur in 3 Dimensionen. Die Formel, die wir gelernt haben, lautet:

Wenn X 1 , X 2 , . . . , X N 1 sind Vektoren in R N , dann ihr Kreuzprodukt

w = ( X 1 , X 2 , . . . , X N 1 )
ist charakterisiert durch w T X = det ( X 1 X 2 . . . X N 1 X ) , und kann durch Einsetzen berechnet werden X als e ich für 1 ich N 1 .

Ich habe mich gefragt, ob das eigentliche Kreuzprodukt so definiert ist und die meisten Leute es nur für lernen R 3 , oder erweitert mein Lehrer die Definition auf einen allgemeineren Fall? Ich habe versucht, es online herauszufinden, aber ich hatte kein Glück.

Eine Möglichkeit, das Kreuzprodukt einzuschreiben R 3 ist wie die folgende Determinante
w × v = det [ e 1 e 2 e 3 w 1 w 2 w 3 v 1 v 2 v 3 ]
Wo v = ( v 1 , v 2 , v 3 ) Und w = ( w 1 , w 2 , w 3 ) , und natürlich e 1 , e 2 , e 3 sind die Standardbasisvektoren. Ich nehme an, man könnte das verallgemeinern R N .
@Dave, wenn Sie dies als Antwort aufschreiben, sollte es zu Recht akzeptiert werden ...
Michael Spivak sagt in seinem Physikbuch, warum das Kreuzprodukt nur Sinn macht R 3 Denn N = 3 ist der einzige Fall, wo die orthogonale Gruppe auf R N ist von Dimension N .
Es gibt auch unäre Kreuzprodukte (Multiplikation-mit- ich auf einem komplexen inneren Produktraum, der als echter innerer Produktraum umgedeutet wird), ko-unäre Kreuzprodukte (an ( N 1 ) -ary Betrieb auf R N mit der gleichen Determinantenformel definiert, aber für an N × N Matrix), ein außergewöhnliches binäres Kreuzprodukt in sieben Dimensionen und ein außergewöhnliches ternäres Kreuzprodukt in acht Dimensionen im Zusammenhang mit der Existenz von Oktonionen.

Antworten (2)

Im Folgenden wird das Kreuzprodukt in definiert 3 nur Maße.

Das Problem bei der Definition des Kreuzprodukts ist, dass es nicht genau das ist, was Sie denken. Wenn Sie die "Rechte-Hand-Regel" gelernt haben, wissen Sie vielleicht, dass Sie zur Berechnung eines Kreuzprodukts:

  1. Fegen Sie mit den Fingern ein Flugzeug aus (z u × v , das Flugzeug ist gerade Spanne ( u , v ) ).
  2. Nehmen Sie einen bestimmten senkrechten Vektor (in die Richtung, in die Ihr Daumen zeigt, nicht in die umgekehrte Richtung).

Dies bedeutet, dass wir die Funktion "Kreuzprodukt nehmen" in einige Unterfunktionen aufteilen können:

  1. Gegeben zwei u , v Finden Sie die (orientierte) Ebene Spanne ( u , v )
  2. Wandeln Sie diese orientierte Ebene eindeutig in einen Vektor um.

Schritt 2 ist das, was im Allgemeinen fehlschlägt. Insbesondere können wir bei zwei Vektoren immer einen sogenannten Bivektor bilden (nur die zuvor erwähnte orientierte Ebene). Dies geschieht über eine Operation namens äußeres Produkt , die dem Kreuzprodukt in sehr ähnlich ist R 3 . Dann wollen wir diesen Bivektor so in einen Vektor umwandeln F ( X , j ) = X × j ist eine Funktion von Vektoren zu Vektoren (statt von Vektoren zu "Bivektoren").

Dies geschieht über den Hodge Dual --- gegeben a k -Vektor ein R N (also eine orientierte Spanne von k Vektoren, nicht nur 2 wie bei einem Bivektor), gibt dies einen natürlichen Weg, um a zu bekommen N k Vektor. Also für ein 2 Vektor ein R 3 , bekommen wir ein 3 2 = 1 -Vektor oder ein normaler Vektor. Der Hodge Dual ist genau der (verallgemeinerte) Prozess der Anwendung der Rechte-Hand-Regel, aber nur in R 3 haben wir das N 2 = 1 , was uns die Konvertierung zurückgibt, die wir wollen.

Wir haben also eine einfache Möglichkeit, das Kreuzprodukt auf höhere Dimensionen zu verallgemeinern, wenn wir mit "Bivektoren" und im Allgemeinen einverstanden sind k -Vektoren. Wenn wir dazu nicht bereit sind, wird es viel schwieriger (Es gibt einige Kuriositäten wie das siebendimensionale Kreuzprodukt , aber im Allgemeinen nichts, was funktioniert und das Keilprodukt vermeidet).

Das Keilprodukt ist im Wesentlichen das, was Ihr Professor für Sie definiert hat, also ist es die richtige Verallgemeinerung (obwohl die Ausgabe kein "Vektor" ist, es sei denn, Sie betrachten das Keilprodukt von k Vektoren wie das N k = 1 , So k = N 1 Vektoren).

Das Gebiet, in dem dies untersucht wird, ist als Geometrische Algebra bekannt , falls Sie daran interessiert sind, mehr zu erfahren.

Es gibt zwei Möglichkeiten, das Kreuzprodukt zu definieren (in R 3 ) . Beide sind gleichwertig. Am einfachsten definiert man z A , B R 3 :

A × B :=  der einzigartige Vektor  j  Größe haben  j = A B Sünde θ ,  Wo  θ  ist der Winkel dazwischen  A  Und  B  und Richtung durch die Rechte-Hand-Regel gegeben.

Diese Definition definiert effektiv das Kreuzprodukt zwischen zwei Vektoren als den Vektor, der eine Länge hat, die gleich der Fläche des von ihnen gebildeten Parallelogramms ist, und eine Richtung hat, die senkrecht zu beiden ist.

Das kann man dann in Komponentenform zeigen, wenn A = ( A 1 , A 2 , A 3 ) Und B = ( B 1 , B 2 , B 3 ) , Dann

A × B = det ( [ ich J k A 1 A 2 A 3 B 1 B 2 B 3 ] )

Wo ich = e 1 , J = e 2 , Und k = e 3 .

In Theorem-beweisenden Klassen, insbesondere Analysis, wird es normalerweise nur über die Determinantenformel definiert. Dies liegt daran, dass allgemein anerkannt ist, dass man in auf Kalkül basierenden Beweisen kein geometrisches Denken verwenden sollte. Ihre Beweise und Definitionen können durch geometrisches Denken motiviert sein, aber Sie sollten in Ihren Beweisen keine geometrischen Argumente verwenden. Daher verwenden die meisten Sätze, die das Kreuzprodukt betreffen, nur diese Formel und ignorieren ihre geometrische Bedeutung. In der Physik überwiegen dagegen eher die geometrischen Definitionen. Beispiele für seine Verwendung sind die Definition von Drehmoment und magnetischem Fluss. Offensichtlich kann nur die zweite Definition verallgemeinert werden. Diese Situation ähnelt der Verallgemeinerung des Skalarprodukts. Geometrisch misst das Skalarprodukt, wie "nah" die Vektoren an einer Senkrechten sind. Offensichtlich können Sie die Dinge nicht im üblichen Sinne "senkrecht" haben, wenn Einstellungen mehr als 3 Dimensionen haben. In drei Dimensionen erweist sich jedoch das Skalarprodukt der oben erwähnten Vektoren als gleich

A B = A 1 B 1 + A 2 B 2 + A 3 B 3

Dieser letztere Begriff kann verallgemeinert werden, und das ist er auch. Die Vorstellung, dass Dinge in höheren (oder sogar unendlichen) Dimensionen "senkrecht" sind, erweist sich als äußerst wichtig, und Sie werden dies irgendwann in Ihrem Unterricht behandeln, wenn Sie orthogonale Vektoren studieren. Mir ist keine Verallgemeinerung der bekannt Kreuzprodukt. Dem am nächsten kommt etwas, das als Wedge-Produkt bezeichnet wird, das eher dem entspricht, was Ihr Professor Ihnen gegeben hat.

Ist der seltsame Abstand in Ihrer Antwort beabsichtigt?
Ich weiß, dass Sie ein bestimmtes Textlayout bevorzugen, aber: 1) Ihre Antwort sieht auf einem mobilen Gerät seltsam aus, da jede geschriebene Zeile ungefähr 1,5 Bildschirmzeilen einnimmt. 2) es ist für Leute, die Screenreader oder Nicht-Standard-Browser verwenden, weniger zugänglich (jede Zeile ist ein separates Absatzobjekt), 3) es missbraucht mathematische Funktionen (Zeilenumbrüche im mathematischen Modus für zusätzlichen Abstand zwischen Textabsätzen), 4) es zwingt andere Leute dazu Verwenden Sie Ihr Layout, anstatt jemanden das Textlayout in seinem eigenen Browser anpassen zu lassen. Ihre Antworten werden besser geschätzt, wenn Sie den üblichen Schreibpraktiken folgen.
Ich helfe, wie die meisten von uns, gerne. Vielen Dank für Ihre Antwort. Ein paar nützliche Ressourcen: Die Symbolliste von AoPS und die Kurzanleitungen von ShareLatex .