Kreuzprodukt

Kreuzprodukt

Das Kreuzprodukt, auch Vektorprodukt, vektorielles Produkt oder äußeres Produkt, ist eine Verknüpfung im dreidimensionalen euklidischen Vektorraum, die zwei Vektoren wieder einen Vektor zuordnet. Um es von anderen Produkten, insbesondere vom Skalarprodukt, zu unterscheiden, wird es im deutsch- und englischsprachigen Raum mit einem Malkreuz $\times$ als Multiplikationszeichen geschrieben (vgl. Abschnitt Schreibweisen). Die Bezeichnungen Kreuzprodukt und Vektorprodukt gehen auf den Physiker Josiah Willard Gibbs zurück, die Bezeichnung äußeres Produkt wurde von Hermann Graßmann geprägt.

Das Kreuzprodukt der Vektoren ${\vec {a}}$ und ${\vec {b}}$ ist ein Vektor, der senkrecht auf der von den beiden Vektoren aufgespannten Ebene steht und mit ihnen ein Rechtssystem bildet. Die Länge dieses Vektors entspricht dem Flächeninhalt des Parallelogramms, das von den Vektoren ${\vec {a}}$ und ${\vec {b}}$ aufgespannt wird.

In der Physik tritt das Kreuzprodukt an vielen Stellen auf, zum Beispiel im Elektromagnetismus bei der Berechnung der Lorentzkraft oder des Poynting-Vektors. In der klassischen Mechanik wird es bei Drehgrößen wie dem Drehmoment und dem Drehimpuls oder bei Scheinkräften wie der Corioliskraft benutzt.

Geometrische Definition

Rechte-Hand-Regel

Das Kreuzprodukt ${\vec {a}}\times {\vec {b}}$ von zwei Vektoren ${\vec {a}}$ und ${\vec {b}}$ im dreidimensionalen Anschauungsraum ist ein Vektor, der orthogonal zu ${\vec {a}}$ und ${\vec {b}}$, und damit orthogonal zu der von ${\vec {a}}$ und ${\vec {b}}$ aufgespannten Ebene ist.

Dieser Vektor ist so orientiert, dass ${\vec {a}},{\vec {b}}$ und ${\vec {a}}\times {\vec {b}}$ in dieser Reihenfolge ein Rechtssystem bilden. Mathematisch heißt das, dass die drei Vektoren ${\vec {a}},{\vec {b}}$ und ${\vec {a}}\times {\vec {b}}$ gleich orientiert sind wie die Vektoren ${\vec {e}}_{1}$, ${\vec {e}}_{2}$ und ${\vec {e}}_{3}$ der Standardbasis. Im physikalischen Raum bedeutet es, dass sie sich wie Daumen, Zeigefinger und abgespreizter Mittelfinger der rechten Hand verhalten (Rechte-Hand-Regel). Ein Drehen des ersten Vektors ${\vec {a}}$ in den zweiten Vektor ${\vec {b}}$ ergibt die positive Richtung des Vektors ${\vec {a}}\times {\vec {b}}$ über den Rechtsschraubensinn.

Der Betrag von ${\vec {a}}\times {\vec {b}}$ gibt den Flächeninhalt des von ${\vec {a}}$ und ${\vec {b}}$ aufgespannten Parallelogramms an. Ausgedrückt durch den von ${\vec {a}}$ und ${\vec {b}}$ eingeschlossenen Winkel $\theta$ gilt

$|{\vec {a}}\times {\vec {b}}|=|{\vec {a}}|\,|{\vec {b}}|\,\sin \theta \,.$

Dabei bezeichnen $\vert {\vec {a}}\vert$ und $\vert {\vec {b}}\vert$ die Längen der Vektoren ${\vec {a}}$ und ${\vec {b}}$, und $\sin \theta \,$ ist der Sinus des von ihnen eingeschlossenen Winkels $\theta$.

Zusammenfassend gilt also

${\vec {a}}\times {\vec {b}}=(|{\vec {a}}|\,|{\vec {b}}|\,\sin \theta )\,{\vec {n}}\,,$

wobei der Vektor ${\vec {n}}$ derjenige zu ${\vec {a}}$ und ${\vec {b}}$ senkrechte Einheitsvektor ist, der diese zu einem Rechtssystem ergänzt.

Schreibweisen

Je nach Land sind für das Vektorprodukt zum Teil unterschiedliche Schreibweisen gebräuchlich. Im englisch- und deutschsprachigen Raum wird für das Vektorprodukt zweier Vektoren ${\vec {a}}$ und ${\vec {b}}$ für gewöhnlich die Schreibweise ${\vec {a}}\times {\vec {b}}$ verwendet, in Frankreich und Italien wird dagegen die Schreibweise ${\vec {a}}\wedge {\vec {b}}$ bevorzugt. In Russland wird das Vektorprodukt oft in der Schreibweise $[{\vec {a}}\ {\vec {b}}]$ oder $[{\vec {a}},{\vec {b}}]$ notiert.

Die Schreibweise ${\vec {a}}\wedge {\vec {b}}$ und die Bezeichnung äußeres Produkt werden nicht nur für das Vektorprodukt verwendet, sondern auch für die Verknüpfung, die zwei Vektoren einen sogenannten Bivektor zuordnet, siehe Graßmann-Algebra.

Komponentenweise Berechnung

In einem rechtshändigen kartesischen Koordinatensystem bzw. im reellen Koordinatenraum $\mathbb {R} ^{3}$ mit dem Standardskalarprodukt und der Standardorientierung gilt für das Kreuzprodukt:

${\vec {a}}\times {\vec {b}}={\begin{pmatrix}a_{1}\\a_{2}\\a_{3}\end{pmatrix}}\times {\begin{pmatrix}b_{1}\\b_{2}\\b_{3}\end{pmatrix}}={\begin{pmatrix}a_{2}b_{3}-a_{3}b_{2}\\a_{3}b_{1}-a_{1}b_{3}\\a_{1}b_{2}-a_{2}b_{1}\end{pmatrix}}\,.$

Ein Zahlenbeispiel:

${\begin{pmatrix}1\\2\\3\end{pmatrix}}\times {\begin{pmatrix}-7\\8\\9\end{pmatrix}}={\begin{pmatrix}2\cdot 9-3\cdot 8\\3\cdot (-7)-1\cdot 9\\1\cdot 8-2\cdot (-7)\end{pmatrix}}={\begin{pmatrix}-6\\-30\\22\end{pmatrix}}\,.$

Eine Merkregel für diese Formel beruht auf einer symbolischen Darstellung über die Determinante. Dabei notiert man eine $(3\times 3)$-Matrix, in deren erster Spalte die Symbole ${\vec {e}}_{1}$, ${\vec {e}}_{2}$ und ${\vec {e}}_{3}$ für die Standardbasis stehen. Die zweite Spalte wird von den Komponenten des Vektors ${\vec {a}}$ und die dritte von denen des Vektors ${\vec {b}}$ gebildet. Diese Determinante berechnet man nach den üblichen Regeln, zum Beispiel indem man sie nach der ersten Spalte entwickelt

${\begin{aligned}{\vec {a}}\times {\vec {b}}&=\det {\begin{pmatrix}{\vec {e}}_{1}&a_{1}&b_{1}\\{\vec {e}}_{2}&a_{2}&b_{2}\\{\vec {e}}_{3}&a_{3}&b_{3}\end{pmatrix}}\\&={\vec {e}}_{1}{\begin{vmatrix}a_{2}&b_{2}\\a_{3}&b_{3}\end{vmatrix}}-{\vec {e}}_{2}{\begin{vmatrix}a_{1}&b_{1}\\a_{3}&b_{3}\end{vmatrix}}+{\vec {e}}_{3}{\begin{vmatrix}a_{1}&b_{1}\\a_{2}&b_{2}\end{vmatrix}}\\&=(a_{2}\,b_{3}-a_{3}\,b_{2})\,{\vec {e}}_{1}+(a_{3}\,b_{1}-a_{1}\,b_{3})\,{\vec {e}}_{2}+(a_{1}\,b_{2}-\,a_{2}\,b_{1})\,{\vec {e}}_{3}\,,\end{aligned}}$

oder mit Hilfe der Regel von Sarrus:

${\begin{aligned}{\vec {a}}\times {\vec {b}}&=\det {\begin{pmatrix}{\vec {e}}_{1}&a_{1}&b_{1}\\{\vec {e}}_{2}&a_{2}&b_{2}\\{\vec {e}}_{3}&a_{3}&b_{3}\end{pmatrix}}\\&={\vec {e}}_{1}\,a_{2}\,b_{3}+a_{1}\,b_{2}\,{\vec {e}}_{3}+b_{1}\,{\vec {e}}_{2}\,a_{3}\\&\quad -{\vec {e}}_{3}\,a_{2}\,b_{1}-a_{3}\,b_{2}\,{\vec {e}}_{1}-b_{3}\,{\vec {e}}_{2}\,a_{1}\\&=(a_{2}\,b_{3}-a_{3}\,b_{2})\,{\vec {e}}_{1}+(a_{3}\,b_{1}-a_{1}\,b_{3})\,{\vec {e}}_{2}+(a_{1}\,b_{2}-\,a_{2}\,b_{1})\,{\vec {e}}_{3}\,.\end{aligned}}$

Mit dem Levi-Civita-Symbol $\varepsilon _{ijk}$ schreibt sich das Kreuzprodukt als

${\vec {a}}\times {\vec {b}}=\sum _{i,j,k=1}^{3}\varepsilon _{ijk}a_{i}b_{j}{\vec {e}}_{k}\,.$

Herleitung

Eine Herleitungsmöglichkeit sei anhand eines praktischen Beispiels erläutert: ein sich bewegendes elektrisch geladenes Teilchen wird in einem senkrecht zur Flugrichtung stehenden Magnetfeld in eine Richtung abgelenkt, die im Sinne eines Rechtssystems sowohl senkrecht zur Flugbahn ${\vec {a}}$ als auch senkrecht zum Magnetfeld ${\vec {b}}$ steht (siehe Lorentzkraft). Für die Herleitung der hierfür gesuchten mathematischen Größe ${\vec {u}}$ wird verwendet, dass jeweils zwei Vektoren genau dann senkrecht aufeinander stehen, wenn ihr Skalarprodukt null ergibt. Ausgangspunkt sind also die zwei Gleichungen

${\begin{aligned}{\vec {a}}\times {\vec {u}}&=a_{1}u_{1}+a_{2}u_{2}+a_{3}u_{3}=0&&(H1a)\\{\vec {b}}\times {\vec {u}}&=b_{1}u_{1}+b_{2}u_{2}+b_{3}u_{3}=0&&(H1b)\end{aligned}}$

Den Ausdruck mit $u_{1}$ auf die linke Seite gebracht sowie Multiplikation von (H1a) mit $b_{1}$ und (H1b) mit $a_{1}$ ergibt

${\begin{aligned}-a_{1}b_{1}u_{1}&=a_{2}b_{1}u_{2}+a_{3}b_{1}u_{3}&&(H2a)\\-a_{1}b_{1}u_{1}&=a_{1}b_{2}u_{2}+a_{1}b_{3}u_{3}&&(H2b)\end{aligned}}$

Subtraktion der Gleichung (H2a) von Gleichung (H2b) ergibt null auf der linken Seite, und nach Umgruppierung erhält man

${\begin{aligned}(a_{3}b_{1}-a_{1}b_{3})u_{3}=(a_{1}b_{2}-a_{2}b_{1})u_{2}&&(H3)\end{aligned}}$

sowie nach Division schließlich

${\begin{aligned}u_{3}=u_{2}{\frac {a_{1}b_{2}-a_{2}b_{1}}{a_{3}b_{1}-a_{1}b_{3}}}&&(H4)\end{aligned}}$

Da in zwei Gleichungen mit drei Unbekannten eine Unbekannte frei wählbar ist, kann gesetzt werden

${\begin{aligned}u_{2}=a_{3}b_{1}-a_{1}b_{3}&&(H5)\end{aligned}}$

und, eingesetzt in (H4) und nach Kürzung, folgt:

${\begin{aligned}u_{3}=a_{1}b_{2}-a_{2}b_{1}&&(H6)\end{aligned}}$

(H5) und (H6) eingesetzt in (H2a) ergeben schließlich die letzte der drei Komponenten des gesuchten Vektors ${\vec {u}}$

${\begin{aligned}u_{1}=a_{2}b_{3}-a_{3}b_{2}&&(H7)\end{aligned}}$

(H7), (H5) und (H6) sind die Komponenten des Vektorprodukts ${\vec {u}}={\vec {a}}\times {\vec {b}}$.

Ein abstrakterer Weg führt über die Definition des Kreuzprodukts als alternierende Binomialform im dreidimensionalen reellen euklidischen Vektorraum. Hier (und nur hier im $\mathbb {R} ^{3}$) gibt es eine eindeutige zweifach alternierende Abbildung $\Phi$ von je zwei orthonormalen Basisvektoren in den jeweils dritten, also $\Phi ({\vec {e}}_{1},{\vec {e}}_{2})={\vec {e}}_{3}$, $\Phi ({\vec {e}}_{2},{\vec {e}}_{3})={\vec {e}}_{1}$ und $\Phi ({\vec {e}}_{3},{\vec {e}}_{1})={\vec {e}}_{2}$ mit ${\vec {e}}_{1},{\vec {e}}_{2},{\vec {e}}_{3}$ als orthonormalen Basisvektoren(siehe Kowalsky 1971). Allgemein schreibt man die Koeffizienten von zwei Vektoren ${\vec {a}}=a_{1}e_{1}+a_{2}e_{2}+a_{3}e_{3}$ und ${\vec {b}}=b_{1}e_{1}+b_{2}e_{2}+b_{3}e_{3}$ in Matrixform

${\begin{pmatrix}a_{1}&a_{2}&a_{3}\\b_{1}&b_{2}&b_{3}\end{pmatrix}}\$

und summiert für $\Phi ({\vec {a}},{\vec {b}})$ gemäß Sätzen über alternierende Binomialformen unter Permutation der Indexpaare von i = 1,2,3 die Unterdeterminanten der Koeffizientenmatrix:

$\Phi ({\vec {a}},{\vec {b}})={\begin{vmatrix}a_{2}&a_{3}\\b_{2}&b_{3}\\\end{vmatrix}}\Phi ({\vec {e}}_{2},{\vec {e}}_{3})-{\begin{vmatrix}a_{1}&a_{3}\\b_{1}&b_{3}\\\end{vmatrix}}\Phi ({\vec {e}}_{1},{\vec {e}}_{3})+{\begin{vmatrix}a_{1}&a_{2}\\b_{1}&b_{2}\\\end{vmatrix}}\Phi ({\vec {e}}_{1},{\vec {e}}_{2})$

Die Binomialform $\Phi ({\vec {a}},{\vec {b}})$ ist gerade das Kreuzprodukt ${\vec {a}}\times {\vec {b}}$ mit den Werten der Determinanten als Komponenten. Setzt man im Speziellen je zwei Basisvektoren an die Stelle der Vektoren ${\vec {a}}$ und ${\vec {b}}$, erhält man den jeweils dritten, wie eingangs beschrieben. Der Vorteil dieser Herleitung ist, dass durch die verwendeten Sätze die Eindeutigkeit der Berechnung des Kreuzprodukts sichergestellt ist. Ein praktischer Vorteil ist, dass man sich zur Berechnung die betreffenden Vektoren formal als Determinante niederschreiben und die drei Unterdeterminanten ausrechnen kann, wie oben unter "komponentenweise Darstellung" beschrieben.

Eigenschaften

Bilinearität

Das Kreuzprodukt ist bilinear, das heißt, für alle reellen Zahlen $\alpha$, $\beta$ und $\gamma$ und alle Vektoren ${\vec {a}}$, ${\vec {b}}$ und ${\vec {c}}$ gilt

${\begin{aligned}{\vec {a}}\times (\beta \,{\vec {b}}+\gamma \,{\vec {c}})=\beta \,({\vec {a}}\times {\vec {b}})+\gamma \,({\vec {a}}\times {\vec {c}})\,,\\(\alpha \,{\vec {a}}+\beta \,{\vec {b}})\times {\vec {c}}=\alpha \,({\vec {a}}\times {\vec {c}})+\beta \,({\vec {b}}\times {\vec {c}})\,.\end{aligned}}$

Die Bilinearität impliziert insbesondere auch das folgende Verhalten hinsichtlich der Skalarmultiplikation

$\ {\vec {a}}\times (\beta \,{\vec {b}})=\beta \,({\vec {a}}\times {\vec {b}})=(\beta \,{\vec {a}})\times {\vec {b}}\,,$

$\ (\alpha \,{\vec {a}})\times (\beta \,{\vec {b}})=\alpha \,\beta \,({\vec {a}}\times {\vec {b}})=(\beta \,{\vec {a}})\times (\alpha \,{\vec {b}}).$

Alternierende Abbildung

Das Kreuzprodukt eines Vektors mit sich selbst oder einem kollinearen Vektor ergibt den Nullvektor

${\vec {a}}\times r{\vec {a}}={\vec {0}}$.

Bilineare Abbildungen, für die diese Gleichung gilt, werden alternierend genannt.

Antikommutativität

Das Kreuzprodukt ist antikommutativ. Das heißt, bei Vertauschung der Argumente wechselt es das Vorzeichen:

${\vec {a}}\times {\vec {b}}=-\,{\vec {b}}\times {\vec {a}}\,.$

Dies folgt aus der Eigenschaft, (1) alternierend und (2) bilinear zu sein, da

${\vec {0}}{\mathrel {\stackrel {(1)}{=}}}({\vec {a}}+{\vec {b}})\times ({\vec {a}}+{\vec {b}}){\mathrel {\stackrel {(2)}{=}}}{\vec {a}}\times {\vec {a}}+{\vec {a}}\times {\vec {b}}+{\vec {b}}\times {\vec {a}}+{\vec {b}}\times {\vec {b}}{\mathrel {\stackrel {(1)}{=}}}{\vec {0}}+{\vec {a}}\times {\vec {b}}+{\vec {b}}\times {\vec {a}}+{\vec {0}}={\vec {a}}\times {\vec {b}}+{\vec {b}}\times {\vec {a}}$

für alle ${\vec {a}},{\vec {b}}\in \mathbb {R} ^{3}$ gilt.

Jacobi-Identität

Das Kreuzprodukt ist nicht assoziativ. Stattdessen gilt die Jacobi-Identität, das heißt die zyklische Summe wiederholter Kreuzprodukte verschwindet:

${\vec {a}}\times ({\vec {b}}\times {\vec {c}})+{\vec {b}}\times ({\vec {c}}\times {\vec {a}})+{\vec {c}}\times ({\vec {a}}\times {\vec {b}})={\vec {0}}$

Aufgrund dieser Eigenschaft und den zuvor genannten bildet der $\mathbb {R} ^{3}$ zusammen mit dem Kreuzprodukt eine Lie-Algebra.

Beziehung zur Determinante

Für jeden Vektor ${\vec {v}}$ gilt:

${\vec {v}}\cdot ({\vec {a}}\times {\vec {b}})=\operatorname {det} ({\vec {v}},{\vec {a}},{\vec {b}})$.

Dabei bezeichnet der Malpunkt das Skalarprodukt. Durch diese Bedingung ist das Kreuzprodukt eindeutig bestimmt:

Für jeden Vektor ${\vec {v}}$ gilt: Sind zwei Vektoren ${\vec {a}}$ und ${\vec {b}}$ gegeben, so gibt es genau einen Vektor ${\vec {c}}$, so dass ${\vec {v}}\cdot {\vec {c}}=\operatorname {det} ({\vec {v}},{\vec {a}},{\vec {b}})$ für alle Vektoren ${\vec {v}}$ gilt. Dieser Vektor ${\vec {c}}$ ist ${\vec {a}}\times {\vec {b}}$.

Graßmann-Identität

Für das wiederholte Kreuzprodukt von drei Vektoren (auch doppeltes Vektorprodukt genannt) gilt die Graßmann-Identität (auch Graßmannscher Entwicklungssatz, nach Hermann Graßmann). Diese lautet:

${\vec {a}}\times ({\vec {b}}\times {\vec {c}})=({\vec {a}}\cdot {\vec {c}})\,{\vec {b}}-({\vec {a}}\cdot {\vec {b}})\,{\vec {c}}$

bzw.

$({\vec {a}}\times {\vec {b}})\times {\vec {c}}=({\vec {a}}\cdot {\vec {c}})\,{\vec {b}}\ -({\vec {b}}\cdot {\vec {c}})\,{\vec {a}}\,,$

wobei die Malpunkte das Skalarprodukt bezeichnen. In der Physik wird oft die Schreibweise

${\vec {a}}\times ({\vec {b}}\times {\vec {c}})={\vec {b}}\,({\vec {a}}\cdot {\vec {c}})-{\vec {c}}\,({\vec {a}}\cdot {\vec {b}})\,,$

verwendet. Nach dieser Darstellung wird die Formel auch BAC-CAB-Formel genannt. In Indexschreibweise lautet die Graßmann-Identität:

$\sum _{k=1}^{3}\varepsilon _{ijk}\varepsilon _{klm}=\delta _{il}\delta _{jm}-\delta _{im}\delta _{jl}$.

Hierbei ist $\varepsilon _{ijk}$ das Levi-Civita-Symbol und $\delta _{ij}$ das Kronecker-Delta.

Lagrange-Identität

Für das Skalarprodukt von zwei Kreuzprodukten gilt

${\begin{aligned}({\vec {a}}\times {\vec {b}})\cdot ({\vec {c}}\times {\vec {d}})&=({\vec {a}}\cdot {\vec {c}})({\vec {b}}\cdot {\vec {d}})-({\vec {b}}\cdot {\vec {c}})({\vec {a}}\cdot {\vec {d}})\\&=\det {\begin{pmatrix}({\vec {a}}\cdot {\vec {c}})&({\vec {a}}\cdot {\vec {d}})\\({\vec {b}}\cdot {\vec {c}})&({\vec {b}}\cdot {\vec {d}})\end{pmatrix}}\;.\end{aligned}}$

Für das Quadrat der Norm erhält man hieraus

${\begin{aligned}|{\vec {a}}\times {\vec {b}}|^{2}&=|{\vec {a}}|^{2}\,|{\vec {b}}|^{2}-({\vec {a}}\cdot {\vec {b}})^{2}\\&=|{\vec {a}}|^{2}|{\vec {b}}|^{2}(1-\cos ^{2}\theta )\\&=|{\vec {a}}|^{2}|{\vec {b}}|^{2}\sin ^{2}\theta \;,\end{aligned}}$

also gilt für den Betrag des Kreuzproduktes:

$|{\vec {a}}\times {\vec {b}}|=|{\vec {a}}|\,|{\vec {b}}|\,\sin \theta \;.$

Da $\theta$, der Winkel zwischen ${\vec {a}}$ und ${\vec {b}}$, immer zwischen 0° und 180° liegt, ist $\sin \theta \geq 0.$

Kreuzprodukt aus zwei Kreuzprodukten

${\begin{aligned}({\vec {a}}\times {\vec {b}})\times ({\vec {c}}\times {\vec {d}})&={\vec {b}}\cdot \det({\vec {a}},{\vec {c}},{\vec {d}})-{\vec {a}}\cdot \det({\vec {b}},{\vec {c}},{\vec {d}})\\&={\vec {c}}\cdot \det({\vec {a}},{\vec {b}},{\vec {d}})-{\vec {d}}\cdot \det({\vec {a}},{\vec {b}},{\vec {c}})\end{aligned}}$

Sonderfälle:

$({\vec {a}}\times {\vec {b}})\times ({\vec {b}}\times {\vec {c}})={\vec {b}}\cdot \det({\vec {a}},{\vec {b}},{\vec {c}})$

$({\vec {a}}\times {\vec {b}})\times ({\vec {a}}\times {\vec {c}})={\vec {a}}\cdot \det({\vec {a}},{\vec {b}},{\vec {c}})$

$({\vec {a}}\times {\vec {b}})\times ({\vec {a}}\times {\vec {b}})={\vec {0}}$

Kreuzproduktmatrix

Das Kreuzprodukt definiert für einen festen Vektor ${\vec {w}}$ eine lineare Abbildung, die einen Vektor ${\vec {v}}$ auf den Vektor ${\vec {w}}\times {\vec {v}}$ abbildet. Diese kann mit einem schiefsymmetrischen Tensor zweiter Stufe identifiziert werden. Bei Verwendung der Standardbasis $\lbrace {\vec {e}}_{1},{\vec {e}}_{2},{\vec {e}}_{3}\rbrace$ entspricht die lineare Abbildung einer Matrixoperation. Die schiefsymmetrische Matrix

${W}=\sum _{i=1}^{3}({\vec {w}}\times {\vec {e}}_{i})\otimes {\vec {e}}_{i}=\left({\begin{array}{ccc}0&-w_{3}&w_{2}\\w_{3}&0&-w_{1}\\-w_{2}&w_{1}&0\end{array}}\right)$    mit    $\displaystyle {\vec {w}}=\sum _{i=1}^{3}w_{i}{\vec {e}}_{i}=\left({\begin{array}{c}w_{1}\\w_{2}\\w_{3}\end{array}}\right)$

leistet das Gleiche wie das Kreuzprodukt mit ${\vec {w}}$, d. h. ${W}{\vec {v}}={\vec {w}}\times {\vec {v}}$:

$\left({\begin{array}{ccc}0&-w_{3}&w_{2}\\w_{3}&0&-w_{1}\\-w_{2}&w_{1}&0\end{array}}\right)\left({\begin{array}{c}v_{1}\\v_{2}\\v_{3}\end{array}}\right)=\left({\begin{array}{c}-w_{3}v_{2}+w_{2}v_{3}\\w_{3}v_{1}-w_{1}v_{3}\\-w_{2}v_{1}+w_{1}v_{2}\end{array}}\right)=\left({\begin{array}{c}w_{1}\\w_{2}\\w_{3}\end{array}}\right)\times \left({\begin{array}{c}v_{1}\\v_{2}\\v_{3}\end{array}}\right)$.

Die Matrix $W$ heißt Kreuzproduktmatrix. Sie wird auch mit $[{\vec {w}}]_{\times }$ bezeichnet. In Indexnotation gilt

$W_{ij}=-\sum _{k=1}^{3}\varepsilon _{ijk}w_{k}$

mit

$\sum _{j=1}^{3}W_{ij}v_{j}=({\vec {w}}\times {\vec {v}})_{i}$.

Bei gegebener schiefsymmetrischer Matrix ${W}$ gilt

${W}=\sum _{i=1}^{3}\sum _{j=1}^{3}W_{ij}{\vec {e}}_{i}\otimes {\vec {e}}_{j}=-W^{T}$,

wobei ${W}^{T}$ die Transponierte von ${W}$ ist, und man erhält den zugehörigen Vektor aus

${\vec {w}}=-{\frac {1}{2}}\sum _{i=1}^{3}\sum _{j=1}^{3}W_{ij}{\vec {e}}_{i}\times {\vec {e}}_{j}$.

Hat ${\vec {w}}$ die Gestalt ${\vec {w}}={\vec {b}}\times {\vec {a}}$, so gilt für die zugehörige Kreuzproduktmatrix:

${W}=[{\vec {w}}]_{\times }={\vec {a}}\otimes {\vec {b}}-{\vec {b}}\otimes {\vec {a}}$ und $W_{ij}=a_{i}b_{j}-b_{i}a_{j}$ für alle $i,j$.

Hierbei bezeichnet „$\otimes$“ das dyadische Produkt.

Polare und axiale Vektoren

Bei der Anwendung des Kreuzprodukts auf vektorielle physikalische Größen spielt die Unterscheidung in polare oder Schubvektoren (das sind solche, die sich wie Differenzen zweier Ortsvektoren verhalten, zum Beispiel Geschwindigkeit, Beschleunigung, Kraft, elektrische Feldstärke) einerseits und axiale oder Drehvektoren, auch Pseudovektoren genannt, andererseits (das sind solche, die sich wie Drehachsen verhalten, zum Beispiel Winkelgeschwindigkeit, Drehmoment, Drehimpuls, magnetische Flussdichte) eine wichtige Rolle.

Polaren oder Schubvektoren ordnet man dabei die Signatur (oder Parität) +1 zu, axialen oder Drehvektoren die Signatur −1. Bei der vektoriellen Multiplikation zweier Vektoren schließlich multiplizieren sich diese Signaturen: zwei Vektoren mit gleicher Signatur liefern ein axiales, zwei mit verschiedener Signatur ein polares Vektorprodukt. Operationell ausgedrückt: Ein Vektor überträgt seine Signatur auf des Kreuzprodukt mit einem anderen Vektor, wenn dieser axial ist; ist der andere Vektor dagegen polar, bekommt das Kreuzprodukt die entgegengesetzte Signatur.

Vom Kreuzprodukt abgeleitete Operationen

Spatprodukt

→ Hauptartikel: Spatprodukt

Die Kombination von Kreuz- und Skalarprodukt in der Form

$({\vec {a}}\times {\vec {b}})\cdot {\vec {c}}$

wird als Spatprodukt bezeichnet. Das Ergebnis ist eine Zahl, die dem orientierten Volumen des durch die drei Vektoren aufgespannten Spats (Parallelepipeds) entspricht. Das Spatprodukt lässt sich auch als Determinante der benannten drei Vektoren darstellen

$V=({\vec {a}}\times {\vec {b}})\cdot {\vec {c}}=\det \left({\vec {a}},{\vec {b}},{\vec {c}}\right).$

Rotation

→ Hauptartikel: Rotation eines Vektorfeldes

In der Vektoranalysis wird das Kreuzprodukt zusammen mit dem Nabla-Operator $\nabla$ verwendet, um den Differentialoperator „Rotation“ zu bezeichnen. Ist ${\vec {V}}$ ein Vektorfeld im $\mathbb {R} ^{3}$, so ist

$\operatorname {rot} {\vec {V}}=\nabla \times {\vec {V}}={\begin{pmatrix}{\frac {\partial }{\partial x_{1}}}\\[.5em]{\frac {\partial }{\partial x_{2}}}\\[.5em]{\frac {\partial }{\partial x_{3}}}\end{pmatrix}}\times {\begin{pmatrix}V_{1}\\[.5em]V_{2}\\[.5em]V_{3}\end{pmatrix}}={\begin{pmatrix}{\frac {\partial }{\partial x_{2}}}V_{3}-{\frac {\partial }{\partial x_{3}}}V_{2}\\[.5em]{\frac {\partial }{\partial x_{3}}}V_{1}-{\frac {\partial }{\partial x_{1}}}V_{3}\\[.5em]{\frac {\partial }{\partial x_{1}}}V_{2}-{\frac {\partial }{\partial x_{2}}}V_{1}\end{pmatrix}}={\begin{pmatrix}{\frac {\partial V_{3}}{\partial x_{2}}}-{\frac {\partial V_{2}}{\partial x_{3}}}\\[.5em]{\frac {\partial V_{1}}{\partial x_{3}}}-{\frac {\partial V_{3}}{\partial x_{1}}}\\[.5em]{\frac {\partial V_{2}}{\partial x_{1}}}-{\frac {\partial V_{1}}{\partial x_{2}}}\end{pmatrix}}$

wieder ein Vektorfeld, die Rotation von ${\vec {V}}$.

Formal wird dieses Vektorfeld also als Kreuzprodukt des Nabla-Operators und des Vektorfelds ${\vec {V}}$ berechnet. Die hierbei auftretenden Ausdrücke ${\tfrac {\partial }{\partial x_{i}}}V_{j}$ sind jedoch keine Produkte, sondern Anwendungen des Differentialoperators ${\tfrac {\partial }{\partial x_{i}}}$ auf die Funktion $V_{j}$. Deshalb sind die oben angeführten Rechenregeln wie z. B. die Graßmann-Identität in diesem Fall nicht gültig. Stattdessen gelten für doppelte Kreuzprodukte mit dem Nabla-Operator besondere Rechenregeln.

Kreuzprodukt im n-dimensionalen Raum

Das Kreuzprodukt lässt sich für beliebige Dimension $n\geq 2$ auf den n-dimensionalen Raum $\mathbb {R} ^{n}$ verallgemeinern. Dabei ist das Kreuzprodukt im $\mathbb {R} ^{n}$ kein Produkt von zwei Faktoren, sondern von $n-1$ Faktoren.

Das Kreuzprodukt ${\vec {a}}_{1}\times {\vec {a}}_{2}\times \cdots \times {\vec {a}}_{n-1}$ der Vektoren ${\vec {a}}_{1},\dots ,{\vec {a}}_{n-1}\in \mathbb {R} ^{n}$ ist dadurch charakterisiert, dass für jeden Vektor ${\vec {v}}\in \mathbb {R} ^{n}$ gilt

${\vec {v}}\cdot ({\vec {a}}_{1}\times {\vec {a}}_{2}\times \cdots \times {\vec {a}}_{n-1})=\operatorname {det} ({\vec {v}},{\vec {a}}_{1},\dots ,{\vec {a}}_{n-1}).$

In Koordinaten lässt sich das Kreuzprodukt im $\mathbb {R} ^{n}$ wie folgt berechnen. Es sei ${\vec {e}}_{i}$ der zugehörige $i$-te kanonische Einheitsvektor. Für $n-1$ Vektoren

${\vec {a}}_{1}={\begin{pmatrix}a_{11}\\a_{21}\\\vdots \\a_{n1}\end{pmatrix}},\ {\vec {a}}_{2}={\begin{pmatrix}a_{12}\\a_{22}\\\vdots \\a_{n2}\end{pmatrix}},\ \dots ,\ {\vec {a}}_{n-1}={\begin{pmatrix}a_{1\,(n-1)}\\a_{2\,(n-1)}\\\vdots \\a_{n\,(n-1)}\end{pmatrix}}\in \mathbb {R} ^{n}$

gilt

${\vec {a}}_{1}\times {\vec {a}}_{2}\times \cdots \times {\vec {a}}_{n-1}=\det {\begin{pmatrix}{\vec {e}}_{1}&a_{11}&\cdots &a_{1(n-1)}\\{\vec {e}}_{2}&a_{21}&\cdots &a_{2(n-1)}\\\vdots &\vdots &\ddots &\vdots \\{\vec {e}}_{n}&a_{n1}&\dots &a_{n(n-1)}\end{pmatrix}},$

analog zu der oben erwähnten Berechnung mit Hilfe einer Determinante.

Der Vektor ${\vec {a}}_{1}\times {\vec {a}}_{2}\times \cdots \times {\vec {a}}_{n-1}$ ist orthogonal zu ${\vec {a}}_{1},{\vec {a}}_{2},\dotsc ,{\vec {a}}_{n-1}$. Die Orientierung ist so, dass die Vektoren ${\vec {a}}_{1}\times {\vec {a}}_{2}\times \cdots \times {\vec {a}}_{n-1},{\vec {a}}_{1},{\vec {a}}_{2},\dotsc ,{\vec {a}}_{n-1}$ in dieser Reihenfolge ein Rechtssystem bilden. Der Betrag von ${\vec {a}}_{1}\times {\vec {a}}_{2}\times \cdots \times {\vec {a}}_{n-1}$ ist gleich dem $(n-1)$-dimensionalen Volumen des von ${\vec {a}}_{1},{\vec {a}}_{2},\dotsc ,{\vec {a}}_{n-1}$ aufgespannten Parallelotops.

Für $n=2$ erhält man dabei kein Produkt, sondern nur eine lineare Abbildung

$\mathbb {R} ^{2}\to \mathbb {R} ^{2};\ {\begin{pmatrix}a_{1}\\a_{2}\end{pmatrix}}\mapsto {\begin{pmatrix}a_{2}\\-a_{1}\end{pmatrix}}$,

die Rotation um 90° im Uhrzeigersinn.

Hieran ist auch zu erkennen, dass die Komponentenvektoren des Kreuzprodukts inklusive des Ergebnisvektors in dieser Reihenfolge – anders als aus dem $\mathbb {R} ^{3}$ gewohnt – im Allgemeinen kein Rechtssystem bilden; diese entstehen nur in reellen Vektorräumen mit ungeradem $n$, bei geraden $n$ bildet der Ergebnisvektor mit den Komponentenvektoren ein Linkssystem. Dies liegt wiederum daran, dass die Basis $({\vec {a}}_{1},{\vec {a}}_{2},\dotsc ,{\vec {a}}_{n-1},{\vec {a}}_{1}\times {\vec {a}}_{2}\times \dotsb \times {\vec {a}}_{n-1})$ in Räumen geradzahliger Dimension nicht dasselbe ist wie die Basis $({\vec {a}}_{1}\times {\vec {a}}_{2}\times \dotsb \times {\vec {a}}_{n-1},{\vec {a}}_{1},{\vec {a}}_{2},\dotsc ,{\vec {a}}_{n-1})$, die per Definition (siehe oben) ein Rechtssystem ist. Zwar würde eine kleine Veränderung der Definition dazu führen, dass die Vektoren in der erstgenannten Reihenfolge im $\mathbb {R} ^{n}$ stets ein Rechtssystem bilden, nämlich wenn in der symbolischen Determinante die Spalte der Einheitsvektoren ganz nach rechts gesetzt würde, diese Definition hat sich allerdings nicht durchgesetzt.

Eine noch weitergehende Verallgemeinerung führt auf die Graßmann-Algebren. Anwendung finden diese Algebren etwa in Formulierungen der Differentialgeometrie, welche die rigorose Beschreibung der klassischen Mechanik (Symplektische Mannigfaltigkeiten), der Quantengeometrie sowie in allererster Linie der Allgemeinen Relativitätstheorie erlaubt. In der Literatur wird das Kreuzprodukt im höherdimensionalen und ggf. gekrümmten Raum meist indexweise mit Levi-Civita-Symbol ausgeschrieben.

Kreuzprodukt in komplexwertigen Vektorräumen

Behandelt man Vektoren aus komplexen Vektorräumen, z. B. in $\mathbb {C} ^{3}$, muss das Kreuzprodukt entsprechend angepasst werden. Die konkrete Realisation hängt dabei von der gewählten Definition des komplexen Skalarprodukts ab. Wählt man das Standardskalarprodukt zweier Vektoren $x,y\in \mathbb {C} ^{3}$, bei dem der erste Vektor als komplexe Konjugation eingeht:

$\langle {\vec {x}},{\vec {y}}\rangle :={\bar {x}}_{1}y_{1}+{\bar {x}}_{2}y_{2}+\dotsb +{\bar {x}}_{n}y_{n}=\sum _{i=1}^{n}{\bar {x}}_{i}y_{i}={\vec {x}}^{H}{\vec {y}}$,

dann wird das Kreuzprodukt wie im $\mathbb {R} ^{3}$ berechnet und das Ergebnis anschließend komplex konjugiert:

${\vec {x}}\times {\vec {y}}={\begin{pmatrix}x_{1}\\x_{2}\\x_{3}\end{pmatrix}}\times {\begin{pmatrix}y_{1}\\y_{2}\\y_{3}\end{pmatrix}}={\begin{pmatrix}{\overline {x_{2}y_{3}-x_{3}y_{2}}}\\{\overline {x_{3}y_{1}-x_{1}y_{3}}}\\{\overline {x_{1}y_{2}-x_{2}y_{1}}}\end{pmatrix}}\,.$

Anwendungen

Das Kreuzprodukt findet Anwendung in vielen Bereichen der Mathematik und Physik, unter anderem bei folgenden Themen:

• Berechnung des Drehmoments, des Drehimpulses, der Corioliskraft, der Lorentzkraft
• Abstandsformel für windschiefe Geraden

Literatur

• Gerd Fischer: Lineare Algebra, Vieweg-Verlag, ISBN 3-528-97217-3.

Weblinks

Commons: Kreuzprodukt – Sammlung von Bildern, Videos und Audiodateien

Wiktionary: Kreuzprodukt – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

• Video: Vektorprodukt 1. Jörn Loviscach 2010, zur Verfügung gestellt von der Technischen Informationsbibliothek (TIB), doi:10.5446/9743.
• Video: Vektorprodukt 2. Jörn Loviscach 2010, zur Verfügung gestellt von der Technischen Informationsbibliothek (TIB), doi:10.5446/9744.

Einzelnachweise

$^{4}Hans-JoachimKowalsky(1965):LineareAlgebra,deGruyter,ISBN10:3112169999/ISBN13:9783112169995,Abschnitt44.6.$