„Kreuzprodukt“ – Versionsunterschied
[ungesichtete Version] | [gesichtete Version] |
K -Kandidat: ist nicht gelistet und wuerde IMHO durchfallen |
K →Kreuzprodukt in komplexwertigen Vektorräumen: Die Konjugierte einer Zahl xᵢ ist gemeint, und so sollte der Überstrich über xᵢ stehen, nicht nur über x. |
||
(821 dazwischenliegende Versionen von mehr als 100 Benutzern, die nicht angezeigt werden) | |||
Zeile 1: | Zeile 1: | ||
{{Dieser Artikel|befasst sich mit dem Produkt zweier Vektoren im Raum; für weitere Bedeutungen siehe [[Kreuzprodukt (Begriffsklärung)]].}} |
|||
Das '''Kreuzprodukt''' <math>\vec a\times\vec b</math> (auch ''Vektorprodukt'', ''vektorielles Produkt'' oder ''äußeres Produkt'') zweier [[Vektor (Mathematik)|Vektoren]] <math>\vec a</math> und <math>\vec b</math> in einem dreidimensionalen [[Vektorraum]] ist ein ''Vektor'', der senkrecht auf der von den beiden Vektoren aufgespannten Ebene steht. Die Länge dieses Vektors entspricht der Fläche des [[Parallelogramm]]s mit den Seiten <math>\vec a</math> und <math>\vec b</math>. |
|||
[[Datei:Cross product parallelogram.svg|mini|Kreuzprodukt]] |
|||
Es gibt zwei solche Vektoren, die in entgegengesetzte Richtung weisen. Davon wird einer ausgewählt, so dass <math>\vec a</math> und <math>\vec b</math> mit dem Vektor ihres Kreuzprodukts ein [[Rechtssystem]] bilden. |
|||
Das '''Kreuzprodukt''', auch '''Vektorprodukt''', '''vektorielles Produkt''' oder '''äußeres Produkt''', ist eine [[Verknüpfung (Mathematik)|Verknüpfung]] im dreidimensionalen [[Euklidischer Raum#Euklidische Vektorräume|euklidischen Vektorraum]], die zwei [[Vektor]]en wieder einen Vektor zuordnet. Um es von anderen Produkten, insbesondere vom [[Skalarprodukt]], zu unterscheiden, wird es im deutsch- und englischsprachigen Raum mit einem [[Malzeichen|Malkreuz]] <math>\times</math> als Multiplikationszeichen geschrieben (vgl. Abschnitt [[#Schreibweisen|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.<ref>{{Literatur |Autor=Max Päsler |Titel=Grundzüge der Vektor- und Tensorrechnung |Auflage= |Verlag=Walter de Gruyter |Ort= |Datum=1977 |ISBN=3-11-082794-8 |Seiten=33}}</ref> |
|||
Das Kreuzprodukt |
Das Kreuzprodukt der Vektoren <math>\vec a</math> und <math>\vec b</math> ist ein Vektor, der [[Orthogonalität|senkrecht]] auf der von den beiden Vektoren aufgespannten Ebene steht und mit ihnen ein [[Rechtssystem (Mathematik)|Rechtssystem]] bildet. Die Länge dieses Vektors entspricht dem [[Flächeninhalt]] des [[Parallelogramm]]s, das von den Vektoren <math>\vec a</math> und <math>\vec b</math> aufgespannt wird. |
||
In der Physik tritt das Kreuzprodukt an vielen Stellen auf, zum Beispiel im [[Elektromagnetismus]] bei der Berechnung der [[Lorentzkraft]] oder des [[Poynting-Vektor]]s. In der [[Klassische Mechanik|klassischen Mechanik]] wird es bei Drehgrößen wie dem [[Drehmoment]] und dem [[Drehimpuls]] oder bei Scheinkräften wie der [[Corioliskraft]] benutzt. |
|||
==Mathematische Darstellung== |
|||
== Geometrische Definition == |
|||
Das Vektorprodukt wird mit einem Kreuz als Multiplikationszeichen geschrieben: |
|||
[[Datei:RHR.svg|mini|Rechte-Hand-Regel]] |
|||
Das Kreuzprodukt <math>\vec{a}\times\vec{b}</math> von zwei Vektoren <math>\vec a</math> und <math>\vec b</math> im dreidimensionalen Anschauungsraum ist ein Vektor, der [[orthogonal]] zu <math>\vec a</math> und <math>\vec b</math>, und damit orthogonal zu der von <math>\vec a</math> und <math>\vec b</math> aufgespannten Ebene ist. |
|||
Dieser Vektor ist so orientiert, dass <math>\vec a, \vec b</math> und <math>\vec{a}\times\vec{b}</math> in dieser Reihenfolge ein [[Rechtssystem (Mathematik)|Rechtssystem]] bilden. Mathematisch heißt das, dass die drei Vektoren <math>\vec a, \vec b</math> und <math>\vec{a}\times\vec{b}</math> gleich orientiert sind wie die Vektoren <math>\vec e_1</math>, <math>\vec e_2</math> und <math>\vec e_3</math> der [[Standardbasis]]. Im physikalischen Raum bedeutet es, dass sie sich wie Daumen, Zeigefinger und abgespreizter Mittelfinger der rechten Hand verhalten ([[Drei-Finger-Regel|Rechte-Hand-Regel]]). Ein Drehen des ersten Vektors <math>\vec a</math> in den zweiten Vektor <math>\vec b</math> ergibt die positive Richtung des Vektors <math>\vec{a}\times\vec{b}</math> über den [[Schraubenregel|Rechtsschraubensinn]]. |
|||
:<math> |
|||
\vec{c}=\vec{a}\times\vec{b} |
|||
</math> |
|||
[[Datei:Flächeninhalt Parallelogramm Kreuzprodukt.png|mini]] |
|||
(<math>\vec{c}</math> ist auch ein Vektor) |
|||
[[Datei:Cross product parallelogram.gif|mini|Abhängigkeit des Kreuzproduktes und dessen Betrag vom Winkel]] |
|||
Der Betrag von <math>\vec{a}\times\vec{b}</math> gibt den Flächeninhalt des von <math>\vec a</math> und <math>\vec b</math> aufgespannten [[Parallelogramm]]s an. Ausgedrückt durch die Längen <math>|\vec a|</math> und <math>|\vec b|</math> der Vektoren <math>\vec a</math> und <math>\vec b</math> sowie den von <math>\vec a</math> und <math>\vec b</math> eingeschlossenen [[Winkel]] <math>\theta = \sphericalangle(\vec a, \vec b)</math> gilt |
|||
:<math>|\vec{a}\times\vec{b}| = |\vec{a}|\, |\vec{b}|\, \sin\theta </math>, |
|||
wobei <math>\sin \theta\,</math> den [[Sinus]] des eingeschlossenen Winkels <math>\theta</math> bezeichnet. |
|||
Streng genommen lässt sich diese Formel nur für <math>\vec a, \vec b \neq \vec 0 </math> anwenden, da ansonsten <math>\theta</math> nicht erklärt ist. |
|||
Im gewöhnlichen dreidimensionalen Raum '''R'''<sup>3</sup> kann man das Kreuzprodukt von ''a'' und ''b'' so definieren: |
|||
Zusammenfassend gilt also |
|||
:<math> |
:<math> |
||
\vec{a}\times\vec{b} |
\vec{a}\times\vec{b} |
||
=\begin{cases}\displaystyle |
|||
= |
|||
|\vec{a}||\vec{b}| |
|||
\sin\theta \, \vec{n}, &\text{falls } \vec a, \vec b \neq \vec 0, \\ \vec 0 & \text{sonst,} \end{cases} |
|||
\sin(\theta) \cdot \vec{e}</math> |
|||
</math> |
|||
wobei ''sin(θ)'' der [[Sinus]] des von den beiden Vektoren eingeschlossenen Winkels ''θ'', <math>\vec{e}</math> der zu beiden Vektoren senkrechte Einheitsvektor, und <math>|\vec{a}|</math>, <math>|\vec{b}|</math> die jeweilige Länge der Vektoren sind. |
|||
wobei der Vektor <math>\vec{n}</math> derjenige zu <math>\vec{a}</math> und <math>\vec{b}</math> 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 <math>\vec{a}</math> und <math>\vec{b}</math> für gewöhnlich die Schreibweise <math>\vec{a}\times\vec{b}</math> verwendet, in Frankreich und Italien wird dagegen die Schreibweise <math>\vec{a}\wedge\vec{b}</math> bevorzugt. In Russland wird das Vektorprodukt oft in der Schreibweise <math>[\vec{a}\ \vec{b}]</math> oder <math>[\vec{a},\vec{b}]</math> notiert. |
|||
Die Schreibweise <math>\vec{a}\wedge\vec{b}</math> 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]]. |
|||
Es gibt zwei Vektoren <math>\vec{e}</math>, die senkrecht auf <math>\vec a</math> und <math>\vec b</math> stehen (diese sind auf derselben Gerade und weisen in entgegengesetzte Richtungen). Den korrekten Vektor bestimmt die ''Orientierung'' des Vektorraumes. Das heutzutage verwendete Koordinatensystem ist "rechtshändig" (ein so genanntes [[Rechtssystem]]), d.h. sowohl die [[Koordinatenachse]]n (x, y und z) als auch die Vektoren <math>\vec a</math>, <math>\vec b</math> und <math>\vec{a}\times\vec{b}</math> verhalten sich wie Daumen, Zeigefinger und Mittelfinger der rechten [[Hand]], wenn man sie im [[rechter Winkel|rechten Winkel]] zueinander von der Handfläche wegstreckt (daher oft [[Rechte-Hand-Regel]] genannt). |
|||
== Komponentenweise Berechnung == |
== Komponentenweise Berechnung == |
||
In einem rechtshändigen [[Kartesisches Koordinatensystem|kartesischen Koordinatensystem]] bzw. im [[Euklidischer Raum|reellen Koordinatenraum]] <math>\R^3</math> mit dem [[Standardskalarprodukt]] und der Standardorientierung gilt für das Kreuzprodukt: |
|||
: <math> |
|||
Im normalen '''R'''<sup>3</sup> kann man das Kreuzprodukt einfach komponentenweise berechnen: |
|||
:<math> |
|||
\vec{a}\times\vec{b} |
\vec{a}\times\vec{b} |
||
= |
= |
||
\begin{pmatrix}a_1 \\ a_2 \\ a_3\end{pmatrix} |
\begin{pmatrix}a_1 \\ a_2 \\ a_3\end{pmatrix} |
||
\times |
\times |
||
\begin{pmatrix}b_1 \\ b_2 \\ b_3 \end{pmatrix} |
\begin{pmatrix}b_1 \\ b_2 \\ b_3 \end{pmatrix} |
||
= |
= |
||
\begin{pmatrix} |
\begin{pmatrix} |
||
a_2b_3 - a_3b_2 \\ |
a_2b_3 - a_3b_2 \\ |
||
a_3b_1 - a_1b_3 \\ |
|||
a_1b_2 - a_2b_1 |
a_1b_2 - a_2b_1 |
||
\end{pmatrix} |
\end{pmatrix}\,. |
||
</math> |
</math> |
||
Ein Zahlenbeispiel: |
|||
Jede Zeile enthält im Kreuzprodukt dabei die Differenz der Produkte ''über Kreuz'' der anderen beiden Zeilen, beginnend mit <math>a_2</math>. Die Indizes werden zyklisch permutiert. Dann entsteht immer ein Rechtssystem. |
|||
: <math> |
|||
Zahlenwerte kann man einfach einsetzen: |
|||
:<math> |
|||
\begin{pmatrix}1 \\ 2 \\ 3\end{pmatrix} |
\begin{pmatrix}1 \\ 2 \\ 3\end{pmatrix} |
||
\times |
\times |
||
\begin{pmatrix}-7 \\ 8 \\ 9 \end{pmatrix} |
\begin{pmatrix}-7 \\ 8 \\ 9 \end{pmatrix} |
||
= |
= |
||
\begin{pmatrix} |
\begin{pmatrix} |
||
2 \cdot 9 - 3 \cdot 8 \\ |
2 \cdot 9 - 3 \cdot 8 \\ |
||
3 \cdot (-7) - 1 \cdot 9 \\ |
|||
1 \cdot 8 - 2 \cdot (-7) |
1 \cdot 8 - 2 \cdot (-7) |
||
\end{pmatrix} |
\end{pmatrix} |
||
= |
= |
||
\begin{pmatrix} |
\begin{pmatrix} |
||
-6 \\ |
-6 \\ |
||
-30 \\ |
-30 \\ |
||
22 |
22 |
||
\end{pmatrix} |
\end{pmatrix}\,. |
||
</math> |
</math> |
||
Eine Merkregel für diese Formel beruht auf einer symbolischen Darstellung über die [[Determinante]]. Dabei notiert man eine <math>(3 \times 3)</math>-Matrix, in deren erster Spalte die Symbole <math>\vec e_1</math>, <math>\vec e_2</math> und <math>\vec e_3</math> für die [[Standardbasis]] stehen. Die zweite Spalte wird von den Komponenten des Vektors <math>\vec a</math> und die dritte von denen des Vektors <math>\vec b</math> gebildet. Diese Determinante berechnet man nach den üblichen Regeln, zum Beispiel indem man sie nach der ersten Spalte [[Laplacescher Entwicklungssatz|entwickelt]] |
|||
== Graphische Darstellung == |
|||
:<math>\begin{align} |
|||
\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{align} |
|||
</math> |
|||
oder mit Hilfe der [[Regel von Sarrus]]: |
|||
:<math>\begin{align} |
|||
\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{align} |
|||
</math> |
|||
Mit dem [[Levi-Civita-Symbol]] <math>\varepsilon_{ijk}</math> schreibt sich das Kreuzprodukt als |
|||
: <math> \vec{a}\times\vec{b} = \sum_{i,j,k=1}^3 \varepsilon_{ijk} a_i b_j \vec e_k\,.</math> |
|||
== Herleitung == |
|||
<center>[[Bild:crossproduct.png]]</center> |
|||
Führt man im euklidischen Raum ein rechtshändiges kartesisches Koordinatensystem mit den Basiseinheitsvektoren <math>\vec e_1, \vec e_2, \vec e_3</math> ein, so erhält man direkt aus der [[#Geometrische Definition|geometrischen Definition]] und der [[#Antikommutativität|Antikommutativität]] |
|||
Der Betrag von <math>\vec a\times\vec b</math> entspricht der Fläche des von <math>\vec a</math> und <math>\vec b</math> aufgespannten Parallelogramms. |
|||
:<math>\begin{array}{lll} |
|||
== Wichtige Eigenschaften == |
|||
\vec e_1 \times \vec e_1 = \vec 0, & \vec e_1 \times \vec e_2 = \vec e_3, & \vec e_1 \times \vec e_3 = -\vec e_2, \\ |
|||
\vec e_2 \times \vec e_1 = -\vec e_3, & \vec e_2 \times \vec e_2= \vec 0, & \vec e_2 \times \vec e_3 = \vec e_1, \\ |
|||
\vec e_3 \times \vec e_1 = \vec e_2, & \vec e_3 \times \vec e_2 = -\vec e_1, & \vec e_3 \times \vec e_3= \vec 0. \\ |
|||
\end{array}</math> |
|||
Drückt man zwei Vektoren <math>\vec a, \vec b</math> mithilfe der Basiseinheitsvektoren aus, so liest sich deren Kreuzprodukt als |
|||
Für das Kreuzprodukt gilt das [[Kommutativgesetz]] '''nicht''', sondern: |
|||
:<math>\vec{a}\times\vec{b} = - \vec{b}\times\vec{a}</math> |
|||
:<math>\vec a \times \vec b = \left(a_1 \vec e_1 + a_2 \vec e_2 + a_3\vec e_3\right)\times \left(b_1 \vec e_1 + b_2 \vec e_2 + b_3\vec e_3\right).</math> |
|||
Bei Vertauschung der Vektoren ändert sich also das Vorzeichen. Man sagt auch: Das Kreuzprodukt ist ''antikommutativ''. |
|||
Unter Vorwegnahme der Bilinearität des Kreuzprodukts (siehe [[#Eigenschaften|Eigenschaften]]) lässt sich die rechte Seite ausmultiplizieren: |
|||
Sind die Vektoren <math>\vec{a}</math> und <math>\vec{b}</math> parallel, so ist ihr Kreuzprodukt der Nullvektor. |
|||
:<math>\vec a \times \vec b =a_1b_1 \left(\vec e_1 \times \vec e_1\right)+a_1b_2 \left(\vec e_1 \times \vec e_2\right)+a_1b_3 \left(\vec e_1 \times \vec e_3\right)+a_2b_1 \left(\vec e_2 \times \vec e_1\right)+a_2b_2 \left(\vec e_2 \times \vec e_2\right)+a_2b_3 \left(\vec e_2 \times \vec e_3\right)+a_3b_1 \left(\vec e_3 \times \vec e_1\right)+a_3b_2 \left(\vec e_3 \times \vec e_2\right)+a_3b_3 \left(\vec e_3 \times \vec e_3\right).</math> |
|||
Das Kreuzprodukt erscheint nur im '''R'''<sup>3</sup> sinnvoll, während im '''R'''<sup>2</sup> schlichtweg eine für das Kreuzprodukt wichtige Dimension fehlt. Dass Ähnliches für den '''R'''<sup>1</sup> gilt, leuchtet ein. |
|||
Einsetzen der obigen Kreuzprodukte liefert |
|||
== Lagrange-Formel == |
|||
:<math>\vec a \times \vec b =a_1b_2 \vec e_3+a_1b_3 \left(-\vec e_2\right)+a_2b_1 \left(-\vec e_3\right)+a_2b_3 \vec e_1+a_3b_1 \vec e_2+a_3b_2 \left(-\vec e_1\right).</math> |
|||
Die Lagrange-Formel (auch [[Bac-cab-Regel]]) ist sehr gut geeignet, um physikalische Vektorberechnungen zu vereinfachen. Sie lautet: |
|||
<!-- :'''a''' × ('''b''' × '''c''') = '''b'''('''a''' · '''c''') − '''c'''('''a''' · '''b'''), --> |
|||
:<math>\vec{a}\times(\vec{b}\times\vec{c}) = \vec{b}(\vec{a}\cdot\vec{c})-\vec{c}(\vec{a}\cdot\vec{b})</math>, |
|||
Durch Zusammenfassung gleicher Terme erhält man hieraus |
|||
Ein Merksatz für diese Formel ist “ABC = BAC minus CAB”. |
|||
:<math>\vec a \times \vec b = (a_2b_3 -a_3b_2)\, \vec e_1 + (a_3b_1-a_1b_3)\,\vec e_2 + (a_1b_2-a_2b_1)\, \vec e_3.</math> |
|||
'''Anmerkung:''' Ist einer der Vektoren der [[Nabla-Operator]], funktioniert diese Formel nicht mehr! |
|||
== Eigenschaften == |
|||
==Verallgemeinerung== |
|||
=== Bilinearität === |
|||
Das Kreuzprodukt ist [[Bilineare Abbildung|bilinear]],<ref name="AmannII312313">Herbert Amann, [[Joachim Escher (Mathematiker)|Joachim Escher]]: ''Analysis.'' 2. Band 2. korrigierte Auflage. Birkhäuser-Verlag, Basel u. a. 2006, ISBN 3-7643-7105-6 (''Grundstudium Mathematik''), S. 312–313</ref> das heißt, für alle reellen Zahlen <math>\alpha</math>, <math>\beta</math> und <math>\gamma</math> und alle Vektoren <math>\vec a</math>, <math>\vec b</math> und <math>\vec c</math> gilt |
|||
: <math>\begin{align} |
|||
\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{align}</math> |
|||
Die Bilinearität impliziert insbesondere auch das folgende Verhalten hinsichtlich der Skalarmultiplikation |
|||
: <math>\ \vec{a}\times(\beta\,\vec{b}) = \beta\,(\vec{a}\times\vec{b}) = (\beta\,\vec{a})\times\vec{b}\,,</math> |
|||
: <math>\ (\alpha\,\vec{a})\times(\beta\,\vec{b}) = \alpha\,\beta\,(\vec{a}\times\vec{b}) = (\beta\,\vec{a})\times(\alpha\,\vec{b}) .</math> |
|||
=== Alternierende Abbildung === |
|||
Es gibt eine Verallgemeinerung des Kreuzprodukts auf ''n''-dimensionale euklidische Räume, die allerdings nicht mehr nur zwei Vektoren verknüpft, sondern ''n''-1 Vektoren. Das Kreuzprodukt dieser Vektoren ist ein Vektor, der auf allen normal (senkrecht im Sinne des Skalarprodukts) steht und dessen Länge und Richtungssinn von den Längen und der Reihenfolge der Argumente abhängt. |
|||
Das Kreuzprodukt eines Vektors mit sich selbst oder einem [[Kollinearität|kollinearen]] Vektor ergibt den [[Nullvektor]]: |
|||
: <math>\vec{a}\times r\vec{a} = \vec{0}</math>. |
|||
Bilineare Abbildungen, für die diese Gleichung gilt, werden ''alternierend'' genannt.<ref name="AmannII312313" /> |
|||
=== Antikommutativität === |
|||
Diese Verallgemeinerung kann man so definieren: |
|||
[[Datei:Cross product vector.svg|mini|278x278px|Antikommutativität in einem Rechtssystem]] |
|||
Das Kreuzprodukt ist [[antikommutativ]]. Das heißt, bei Vertauschung der Argumente wechselt es das [[Vorzeichen (Zahl)|Vorzeichen]]:<ref name="AmannII312313" /> |
|||
: <math>\vec{a}\times\vec{b} = -\, \vec{b}\times\vec{a}\,.</math> |
|||
Dies folgt aus der Eigenschaft, (1) alternierend und (2) bilinear zu sein, da |
|||
:<math>\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} |
|||
</math> |
|||
für alle <math>\vec{a},\vec{b}\in\R^3</math> gilt. |
|||
=== Jacobi-Identität === |
|||
Sei ''V'' ein ''n''-dimensionaler euklidischer ''K''-Vektorraum und ''a''<sub>1</sub>, ..., ''a''<sub>n-1</sub> Vektoren von ''V''. Dann definiert man das '''Kreuzprodukt''' als formale [[Determinante]] |
|||
Das Kreuzprodukt ist nicht [[Assoziativgesetz|assoziativ]]. Stattdessen gilt die [[Jacobi-Identität]], das heißt die zyklische Summe wiederholter Kreuzprodukte verschwindet: |
|||
:<math>\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}</math> |
|||
Aufgrund dieser Eigenschaft und den zuvor genannten bildet der <math>\R^3</math> zusammen mit dem Kreuzprodukt eine [[Lie-Algebra]]. |
|||
:''a''<sub>1</sub> × ... × ''a''<sub>''n''-1</sub> := det(''E'', ''a''<sub>1</sub>, ..., ''a''<sub>''n''-1</sub>) |
|||
=== Beziehung zur Determinante === |
|||
wobei die ''a<sub>i</sub>'' als Koordinatenvektoren bezüglich einer Orthonormalbasis aufgefasst werden und ''E'' der Spaltenvektor ist, dessen Komponenten die Basisvektoren sind. Da das nicht Elemente von ''K'' (sondern von ''V'') sind, ist das eine ''formale'' Determinante, die z.B. durch Entwicklung nach der ersten Spalte berechnet werden kann und einen Vektor in ''V'' liefert. |
|||
Für jeden Vektor <math>\vec v</math> gilt |
|||
:<math> \vec v \cdot (\vec a \times \vec b) = \operatorname{det} (\vec v, \vec a, \vec b) </math>. |
|||
Dabei bezeichnet der Malpunkt das [[Skalarprodukt]]. Durch diese Bedingung ist das Kreuzprodukt eindeutig bestimmt:<ref name="AmannII312313" /> |
|||
Für jeden Vektor <math>\vec v</math> gilt: |
|||
Eine noch weitergehende Verallgemeinerung des Kreuzproduktes stellt das [[Äußeres Produkt|äußere Produkt]] von [[Linearform]]en (beziehungsweise noch allgemeiner von (alternierenden) [[Multilinearform]]en) dar. Dabei kann dann eine beliebige Zahl von Vektoren verknüpft werden, das Ergebnis ist allerdings im Allgemeinen kein Vektor mehr. |
|||
Sind zwei Vektoren <math>\vec a</math> und <math>\vec b</math> gegeben, so gibt es genau einen Vektor <math>\vec c</math>, so dass <math> \vec v \cdot \vec c = \operatorname{det} (\vec v, \vec a, \vec b) </math> für alle Vektoren <math>\vec v</math> gilt. Dieser Vektor <math>\vec c</math> ist <math>\vec a \times \vec b</math>. |
|||
=== Graßmann-Identität === |
|||
===Ableitung der Berechnungsformel im '''R'''<sup>3</sup>=== |
|||
Für das wiederholte Kreuzprodukt von drei [[Vektor]]en (auch ''doppeltes Vektorprodukt'' genannt<ref>[http://wwwex.physik.uni-ulm.de/lehre/krm-2008-2009/node67.html#eq:math:doppelt:vektor Doppeltes Vektorprodukt] ([http://wwwex.physik.uni-ulm.de/lehre/krm-2008-2009/krm-2008-2009.html Vorlesungsskript Klassische und relativistische Mechanik, Othmar Marti], abgerufen am 2. Oktober 2020)</ref>) gilt die ''Graßmann-Identität'' (auch ''Graßmannscher Entwicklungssatz'', nach [[Hermann Graßmann]]). Diese lautet: |
|||
:<math>\vec{a}\times(\vec{b}\times\vec{c}) = (\vec{a} \cdot \vec{c}) \,\vec{b} - (\vec{a} \cdot \vec{b})\, \vec{c}</math> |
|||
bzw. |
|||
:<math>(\vec{a}\times\vec{b})\times \vec{c} = (\vec{a} \cdot \vec{c})\, \vec{b}\ - (\vec{b} \cdot \vec{c}) \,\vec{a},</math> |
|||
wobei die Malpunkte das [[Skalarprodukt]] bezeichnen. |
|||
Für den '''R'''<sup>3</sup> mit dem kanonischen Skalarprodukt und der Orthonormalbasis {''e''<sub>1</sub>=(1,0,0), ''e''<sub>2</sub>=(0,1,0), ''e''<sub>3</sub>=(0,0,1)} folgt aus der allgemeinen Definition auch die Formel für die Komponenten: |
|||
In der Physik wird oft die Schreibweise |
|||
:<math>\vec{a}\times(\vec{b}\times\vec{c}) = \vec{b} \,(\vec{a} \cdot \vec{c}) - \vec{c}\,(\vec{a} \cdot \vec{b}) \,,</math> |
|||
verwendet. Nach dieser Darstellung wird die Formel auch ''BAC-CAB-Formel'' genannt. |
|||
In Indexschreibweise lautet die Graßmann-Identität |
|||
:<math>\sum_{k=1}^3 \varepsilon_{ijk}\varepsilon_{klm} = \delta_{il}\delta_{jm}-\delta_{im}\delta_{jl}</math>. |
|||
Hierbei ist <math>\varepsilon_{ijk}</math> das [[Levi-Civita-Symbol]] und <math>\delta_{ij}</math> das [[Kronecker-Delta]]. |
|||
=== Lagrange-Identität === |
|||
:<math> |
|||
Für das Skalarprodukt von zwei Kreuzprodukten gilt<ref name="AmannII312313" /> |
|||
\vec{a}\times\vec{b} |
|||
:<math>\begin{align} |
|||
(\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{align}</math> |
|||
Dabei bezeichnet der Malpunkt das [[Skalarprodukt]]. |
|||
Für das Quadrat der Norm erhält man hieraus |
|||
: <math>\begin{align} |
|||
|\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{align}</math> |
|||
also gilt für den Betrag des Kreuzproduktes: |
|||
: <math>|\vec{a}\times\vec{b}| = |\vec{a}| \, |\vec{b}|\, |\sin \theta| \; .</math> |
|||
Da <math>\theta</math>, der Winkel zwischen <math>\vec a</math> und <math>\vec b</math>, immer zwischen 0° und 180° liegt, ist <math>0 \le\sin \theta \le 1.</math> Daraus folgt die Abschätzung |
|||
: <math>|\vec{a}\times\vec{b}|\le |\vec{a}||\vec{b}|</math>. |
|||
=== Kreuzprodukt aus zwei Kreuzprodukten === |
|||
: <math>\begin{align} |
|||
(\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{align} |
|||
</math> |
|||
Sonderfälle: |
|||
: <math>(\vec{a}\times\vec{b}) \times (\vec{b}\times\vec{c}) |
|||
= \vec{b} \cdot \det(\vec{a},\vec{b},\vec{c}) |
|||
</math> |
|||
: <math>(\vec{a}\times\vec{b}) \times (\vec{a}\times\vec{c}) |
|||
= \vec{a} \cdot \det(\vec{a},\vec{b},\vec{c}) |
|||
</math> |
|||
: <math>(\vec{a}\times\vec{b}) \times (\vec{a}\times\vec{b}) |
|||
= \vec{0} |
|||
</math> |
|||
== Kreuzproduktmatrix == |
|||
Das Kreuzprodukt definiert für einen festen Vektor <math> \vec{w} </math> eine [[lineare Abbildung]], die einen Vektor <math> \vec{v} </math> auf den Vektor <math> \vec{w}\times \vec{v} </math> abbildet. Diese kann mit einem schiefsymmetrischen [[Tensoralgebra|Tensor]] zweiter Stufe [[Dyadisches Produkt#Koordinatenfreie Darstellung|identifiziert werden]]. Bei Verwendung der [[Standardbasis]] <math> \lbrace\vec{e}_1, \vec{e}_2,\vec{e}_3\rbrace </math> entspricht die lineare Abbildung einer [[Matrix (Mathematik)|Matrixoperation]]. Die [[schiefsymmetrische Matrix]] |
|||
:<math> {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) </math> mit <math> \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) </math> |
|||
leistet das Gleiche wie das Kreuzprodukt mit <math> \vec{w} </math>, d. h. <math> {W}\vec{v}=\vec{w}\times \vec{v} </math>: |
|||
:<math> \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} |
|||
\begin{pmatrix}a_1 \\ a_2 \\ a_3\end{pmatrix} |
|||
w_1\\ |
|||
w_2\\ |
|||
w_3 |
|||
\end{array}\right) |
|||
\times |
\times |
||
\left(\begin{array}{c} |
|||
\begin{pmatrix}b_1 \\ b_2 \\ b_3 \end{pmatrix} |
|||
v_1\\ |
|||
= |
|||
v_2\\ |
|||
\det\begin{pmatrix} |
|||
v_3 |
|||
e_1 & a_1 & b_1 \\ |
|||
\end{array}\right) </math>. |
|||
e_2 & a_2 & b_2 \\ |
|||
Die Matrix <math>W</math> heißt ''Kreuzproduktmatrix''. Sie wird auch mit <math>[\vec w]_{\times}</math> bezeichnet. In Indexnotation gilt |
|||
e_3 & a_3 & b_3 |
|||
:<math>W_{ij} = - \sum_{k=1}^3 \varepsilon_{ijk} w_k</math> |
|||
\end{pmatrix} |
|||
mit |
|||
:<math>\sum_{j=1}^3 W_{ij} v_j = (\vec w \times \vec v)_i</math>. |
|||
Bei gegebener schiefsymmetrischer Matrix <math> {W} </math> gilt |
|||
:<math> {W}=\sum_{i=1}^3 \sum_{j=1}^3 W_{ij}\vec{e}_i\otimes\vec{e}_j = -W^{{T}} </math>, |
|||
wobei <math> {W}^{{T}} </math> die [[Transponierte Matrix|Transponierte]] von <math> {W} </math> ist, und man erhält den zugehörigen Vektor aus |
|||
:<math> \vec{w}=-\frac{1}{2} \sum_{i=1}^3 \sum_{j=1}^3 W_{ij}\vec{e}_i \times \vec{e}_j </math>. |
|||
Hat <math>\vec w</math> die Gestalt <math> \vec{w} = \vec{b}\times\vec{a} </math>, so gilt für die zugehörige Kreuzproduktmatrix: |
|||
:<math> {W} = [\vec w]_{\times}= \vec{a}\otimes\vec{b}-\vec{b}\otimes\vec{a} </math> und <math> W_{ij}= a_i b_j - b_i a_j </math> für alle <math>i, j</math>. |
|||
Hierbei bezeichnet „<math>\otimes</math>“ das [[Dyadisches Produkt|dyadische Produkt]]. |
|||
== Polare und axiale Vektoren == |
|||
Bei der Anwendung des Kreuzprodukts auf vektorielle [[physikalische Größe]]n 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 ''[[Pseudovektor]]en'' 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 das 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 |
|||
:<math>(\vec{a} \times \vec{b}) \cdot \vec{c}</math> |
|||
wird als Spatprodukt bezeichnet. Das Ergebnis ist eine Zahl, die dem orientierten Volumen des durch die drei Vektoren aufgespannten [[Parallelepiped|Spats]] (Parallelepipeds) entspricht. Das Spatprodukt lässt sich auch als Determinante der benannten drei Vektoren darstellen |
|||
:<math>V = (\vec{a} \times \vec{b}) \cdot \vec{c} = \det \left(\vec a, \vec b, \vec c\right). </math> |
|||
=== Rotation === |
|||
{{Hauptartikel|Rotation eines Vektorfeldes}} |
|||
In der [[Vektoranalysis]] wird das Kreuzprodukt zusammen mit dem [[Nabla-Operator]] <math>\nabla</math> verwendet, um den [[Differentialoperator]] „Rotation“ zu bezeichnen. |
|||
Ist <math>\vec V</math> ein [[Vektorfeld]] im <math>\R^3</math>, so ist |
|||
:<math> |
|||
\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} |
|||
</math> |
|||
wieder ein Vektorfeld, die Rotation von <math>\vec V</math>. |
|||
Formal wird dieses Vektorfeld also als Kreuzprodukt des Nabla-Operators und des Vektorfelds <math>\vec V</math> berechnet. |
|||
Die hierbei auftretenden Ausdrücke <math>\tfrac \partial {\partial x_i} V_j</math> sind jedoch keine Produkte, sondern Anwendungen des Differentialoperators <math>\tfrac \partial {\partial x_i} </math> auf die Funktion <math>V_j</math>. 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 [[Nabla-Operator#Rechenregeln|besondere Rechenregeln]]. |
|||
== Kreuzprodukt im n-dimensionalen Raum == |
|||
Das Kreuzprodukt lässt sich für beliebige Dimension <math>n \ge 2</math> auf den n-dimensionalen Raum <math>\mathbb{R}^n</math> verallgemeinern. Dabei ist das Kreuzprodukt im <math>\mathbb{R}^n</math> kein Produkt von zwei Faktoren, sondern von <math>n-1</math> Faktoren. |
|||
Das Kreuzprodukt <math>\vec a_1 \times \vec a_2 \times \cdots \times \vec a_{n-1}</math> der Vektoren <math>\vec a_1, \dots , \vec a_{n-1} \in \R^n</math> ist dadurch charakterisiert, dass für jeden Vektor <math>\vec v \in \R^n</math> gilt |
|||
:<math> \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}). </math> |
|||
In Koordinaten lässt sich das Kreuzprodukt im <math>\R^n</math> wie folgt berechnen. |
|||
Es sei <math>\vec e_i </math> der zugehörige <math>i</math>-te [[Standardbasis|kanonische Einheitsvektor]]. Für <math>n-1</math> Vektoren |
|||
: <math> |
|||
\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 \R^n |
|||
</math> |
|||
gilt |
|||
:<math> \vec a_1 \times \vec a_2 \times \cdots \times \vec a_{n-1} = \det |
|||
\begin{pmatrix} |
\begin{pmatrix} |
||
\vec e_1 & a_{11} & \cdots & a_{1(n-1)} \\ |
|||
a_2b_3 - a_3b_2 \\ |
|||
\vec e_2 & a_{21} & \cdots & a_{2(n-1)} \\ |
|||
-(a_1b_3 - a_3b_1) \\ |
|||
\vdots & \vdots & \ddots & \vdots \\ |
|||
a_1b_2 - a_2b_1 |
|||
\vec e_n & a_{n1} & \dots & a_{n(n-1)} |
|||
\end{pmatrix} |
|||
\end{pmatrix}, |
|||
</math> |
</math> |
||
analog zu der [[#Komponentenweise Berechnung|oben erwähnten Berechnung]] mit Hilfe einer Determinante. |
|||
Der Vektor <math> \vec a_1 \times \vec a_2 \times \cdots \times \vec a_{n-1}</math> ist orthogonal zu |
|||
==Anwendungen== |
|||
<math>\vec a_1,\vec a_2, \dotsc , \vec a_{n-1}</math>. Die Orientierung ist so, dass die Vektoren |
|||
<math> \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}</math> in dieser Reihenfolge ein Rechtssystem bilden. |
|||
Der Betrag von <math> \vec a_1 \times \vec a_2 \times \cdots \times \vec a_{n-1}</math> ist gleich dem <math>(n-1)</math>-dimensionalen Volumen des von <math>\vec a_1,\vec a_2, \dotsc , \vec a_{n-1}</math> aufgespannten [[Parallelotop]]s. |
|||
Für <math>n = 2</math> erhält man dabei kein Produkt, sondern nur eine lineare Abbildung |
|||
Etliche [[Physik|physikalische]] Größen können mit Hilfe des Kreuzprodukts berechnet werden. Beispiele dafür sind das [[Drehmoment]] oder die [[Lorentzkraft]]. |
|||
: <math>\R^2 \to \R^2; \ |
|||
\begin{pmatrix} a_1 \\a_2 \end{pmatrix} \mapsto \begin{pmatrix} a_2 \\ -a_1 \end{pmatrix}</math>, |
|||
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 <math>\R^3</math> gewohnt – im Allgemeinen ''kein'' Rechtssystem bilden; diese entstehen nur in reellen [[Vektorraum|Vektorräumen]] mit ungeradem <math>n</math>, bei geraden <math>n</math> bildet der Ergebnisvektor mit den Komponentenvektoren ein Linkssystem. Dies liegt wiederum daran, dass die [[Basis (Vektorraum)|Basis]] <math>( \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})</math> in Räumen geradzahliger Dimension nicht dasselbe ist wie die Basis <math>(\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})</math>, die per Definition (siehe oben) ein [[Rechtssystem (Mathematik)|Rechtssystem]] ist. Zwar würde eine kleine Veränderung der Definition dazu führen, dass die Vektoren in der erstgenannten Reihenfolge im <math>\R^n</math> 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. |
|||
==Weblinks== |
|||
Eine noch weitergehende Verallgemeinerung führt auf die [[Graßmann-Algebra|Graßmann-Algebren]]. Anwendung finden diese Algebren etwa in Formulierungen der [[Differentialgeometrie]], welche die rigorose Beschreibung der klassischen Mechanik ([[Symplektische Mannigfaltigkeit]]en), der [[Quantengeometrie]] sowie in allererster Linie der [[Allgemeine Relativitätstheorie|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. |
|||
* http://www-lehre.informatik.uni-osnabrueck.de/~cg/1997/skript/11_3_Kreuzprodukt_und.html |
|||
== Kreuzprodukt in komplexwertigen Vektorräumen == |
|||
[[Kategorie:Lineare Algebra]] |
|||
Behandelt man Vektoren aus komplexen Vektorräumen, z. B. in <math>\mathbb{C}^3</math>, muss das Kreuzprodukt entsprechend angepasst werden. Die konkrete Realisation hängt dabei von der gewählten Definition des [[Standardskalarprodukt|komplexen Skalarprodukts]] ab. Wählt man das Standardskalarprodukt zweier Vektoren <math> x, y \in \mathbb{C}^3</math>, bei dem der erste Vektor als [[komplexe Konjugation]] eingeht: |
|||
:<math>\langle \vec{x}, \vec{y} \rangle := \overline{x_1} y_1 + \overline{x_2} y_2 + \dotsb + \overline{x_n} y_n = \sum_{i=1}^n \overline{x_i} y_i = \vec{x}^H\vec{y}</math>, |
|||
dann wird das Kreuzprodukt wie im <math>\mathbb{R}^3</math> berechnet und das Ergebnis anschließend komplex konjugiert: |
|||
:<math> |
|||
\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} |
|||
[[en:Cross product]] |
|||
\overline{x_2y_3 - x_3y_2} \\ |
|||
[[fr:Produit vectoriel]] |
|||
\overline{x_3y_1 - x_1y_3} \\ |
|||
[[ja:外積]] |
|||
\overline{x_1y_2 - x_2y_1} |
|||
[[ko:외적]] |
|||
\end{pmatrix}\,. |
|||
[[sl:Vektorski produkt]] |
|||
</math> |
|||
== Anwendungen == |
|||
Das Kreuzprodukt findet Anwendung in vielen Bereichen der Mathematik und Physik, unter anderem bei folgenden Themen: |
|||
* Berechnung des [[Drehmoment]]s, des [[Drehimpuls]]es, der [[Corioliskraft]], der [[Lorentzkraft]] |
|||
* Abstandsformel für [[windschiefe]] Geraden |
|||
== Literatur == |
|||
* Gerd Fischer: ''Lineare Algebra'', Vieweg-Verlag, ISBN 3-528-97217-3. |
|||
== Weblinks == |
|||
{{Commonscat|Cross product|Kreuzprodukt}} |
|||
{{Wiktionary|Kreuzprodukt}} |
|||
* {{TIBAV |9743 |Linktext=Vektorprodukt 1 |Herausgeber=Loviscach |Jahr=2010 |DOI=10.5446/9743}} |
|||
* {{TIBAV |9744 |Linktext=Vektorprodukt 2 |Herausgeber=Loviscach |Jahr=2010 |DOI=10.5446/9744}} |
|||
== Einzelnachweise == |
|||
<references /> |
|||
[[Kategorie:Lineare Algebra]] |
Aktuelle Version vom 13. Februar 2025, 11:35 Uhr

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 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.[1]
Das Kreuzprodukt der Vektoren und 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 und 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
[Bearbeiten | Quelltext bearbeiten]
Das Kreuzprodukt von zwei Vektoren und im dreidimensionalen Anschauungsraum ist ein Vektor, der orthogonal zu und , und damit orthogonal zu der von und aufgespannten Ebene ist.
Dieser Vektor ist so orientiert, dass und in dieser Reihenfolge ein Rechtssystem bilden. Mathematisch heißt das, dass die drei Vektoren und gleich orientiert sind wie die Vektoren , und 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 in den zweiten Vektor ergibt die positive Richtung des Vektors über den Rechtsschraubensinn.


Der Betrag von gibt den Flächeninhalt des von und aufgespannten Parallelogramms an. Ausgedrückt durch die Längen und der Vektoren und sowie den von und eingeschlossenen Winkel gilt
- ,
wobei den Sinus des eingeschlossenen Winkels bezeichnet.
Streng genommen lässt sich diese Formel nur für anwenden, da ansonsten nicht erklärt ist.
Zusammenfassend gilt also
wobei der Vektor derjenige zu und senkrechte Einheitsvektor ist, der diese zu einem Rechtssystem ergänzt.
Schreibweisen
[Bearbeiten | Quelltext bearbeiten]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 und für gewöhnlich die Schreibweise verwendet, in Frankreich und Italien wird dagegen die Schreibweise bevorzugt. In Russland wird das Vektorprodukt oft in der Schreibweise oder notiert.
Die Schreibweise 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
[Bearbeiten | Quelltext bearbeiten]In einem rechtshändigen kartesischen Koordinatensystem bzw. im reellen Koordinatenraum mit dem Standardskalarprodukt und der Standardorientierung gilt für das Kreuzprodukt:
Ein Zahlenbeispiel:
Eine Merkregel für diese Formel beruht auf einer symbolischen Darstellung über die Determinante. Dabei notiert man eine -Matrix, in deren erster Spalte die Symbole , und für die Standardbasis stehen. Die zweite Spalte wird von den Komponenten des Vektors und die dritte von denen des Vektors gebildet. Diese Determinante berechnet man nach den üblichen Regeln, zum Beispiel indem man sie nach der ersten Spalte entwickelt
oder mit Hilfe der Regel von Sarrus:
Mit dem Levi-Civita-Symbol schreibt sich das Kreuzprodukt als
Herleitung
[Bearbeiten | Quelltext bearbeiten]Führt man im euklidischen Raum ein rechtshändiges kartesisches Koordinatensystem mit den Basiseinheitsvektoren ein, so erhält man direkt aus der geometrischen Definition und der Antikommutativität
Drückt man zwei Vektoren mithilfe der Basiseinheitsvektoren aus, so liest sich deren Kreuzprodukt als
Unter Vorwegnahme der Bilinearität des Kreuzprodukts (siehe Eigenschaften) lässt sich die rechte Seite ausmultiplizieren:
Einsetzen der obigen Kreuzprodukte liefert
Durch Zusammenfassung gleicher Terme erhält man hieraus
Eigenschaften
[Bearbeiten | Quelltext bearbeiten]Bilinearität
[Bearbeiten | Quelltext bearbeiten]Das Kreuzprodukt ist bilinear,[2] das heißt, für alle reellen Zahlen , und und alle Vektoren , und gilt
Die Bilinearität impliziert insbesondere auch das folgende Verhalten hinsichtlich der Skalarmultiplikation
Alternierende Abbildung
[Bearbeiten | Quelltext bearbeiten]Das Kreuzprodukt eines Vektors mit sich selbst oder einem kollinearen Vektor ergibt den Nullvektor:
- .
Bilineare Abbildungen, für die diese Gleichung gilt, werden alternierend genannt.[2]
Antikommutativität
[Bearbeiten | Quelltext bearbeiten]
Das Kreuzprodukt ist antikommutativ. Das heißt, bei Vertauschung der Argumente wechselt es das Vorzeichen:[2]
Dies folgt aus der Eigenschaft, (1) alternierend und (2) bilinear zu sein, da
für alle gilt.
Jacobi-Identität
[Bearbeiten | Quelltext bearbeiten]Das Kreuzprodukt ist nicht assoziativ. Stattdessen gilt die Jacobi-Identität, das heißt die zyklische Summe wiederholter Kreuzprodukte verschwindet:
Aufgrund dieser Eigenschaft und den zuvor genannten bildet der zusammen mit dem Kreuzprodukt eine Lie-Algebra.
Beziehung zur Determinante
[Bearbeiten | Quelltext bearbeiten]Für jeden Vektor gilt
- .
Dabei bezeichnet der Malpunkt das Skalarprodukt. Durch diese Bedingung ist das Kreuzprodukt eindeutig bestimmt:[2]
Für jeden Vektor gilt: Sind zwei Vektoren und gegeben, so gibt es genau einen Vektor , so dass für alle Vektoren gilt. Dieser Vektor ist .
Graßmann-Identität
[Bearbeiten | Quelltext bearbeiten]Für das wiederholte Kreuzprodukt von drei Vektoren (auch doppeltes Vektorprodukt genannt[3]) gilt die Graßmann-Identität (auch Graßmannscher Entwicklungssatz, nach Hermann Graßmann). Diese lautet:
bzw.
wobei die Malpunkte das Skalarprodukt bezeichnen. In der Physik wird oft die Schreibweise
verwendet. Nach dieser Darstellung wird die Formel auch BAC-CAB-Formel genannt. In Indexschreibweise lautet die Graßmann-Identität
- .
Hierbei ist das Levi-Civita-Symbol und das Kronecker-Delta.
Lagrange-Identität
[Bearbeiten | Quelltext bearbeiten]Für das Skalarprodukt von zwei Kreuzprodukten gilt[2]
Dabei bezeichnet der Malpunkt das Skalarprodukt.
Für das Quadrat der Norm erhält man hieraus
also gilt für den Betrag des Kreuzproduktes:
Da , der Winkel zwischen und , immer zwischen 0° und 180° liegt, ist Daraus folgt die Abschätzung
- .
Kreuzprodukt aus zwei Kreuzprodukten
[Bearbeiten | Quelltext bearbeiten]Sonderfälle:
Kreuzproduktmatrix
[Bearbeiten | Quelltext bearbeiten]Das Kreuzprodukt definiert für einen festen Vektor eine lineare Abbildung, die einen Vektor auf den Vektor abbildet. Diese kann mit einem schiefsymmetrischen Tensor zweiter Stufe identifiziert werden. Bei Verwendung der Standardbasis entspricht die lineare Abbildung einer Matrixoperation. Die schiefsymmetrische Matrix
- mit
leistet das Gleiche wie das Kreuzprodukt mit , d. h. :
- .
Die Matrix heißt Kreuzproduktmatrix. Sie wird auch mit bezeichnet. In Indexnotation gilt
mit
- .
Bei gegebener schiefsymmetrischer Matrix gilt
- ,
wobei die Transponierte von ist, und man erhält den zugehörigen Vektor aus
- .
Hat die Gestalt , so gilt für die zugehörige Kreuzproduktmatrix:
- und für alle .
Hierbei bezeichnet „“ das dyadische Produkt.
Polare und axiale Vektoren
[Bearbeiten | Quelltext bearbeiten]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 das 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
[Bearbeiten | Quelltext bearbeiten]Spatprodukt
[Bearbeiten | Quelltext bearbeiten]Die Kombination von Kreuz- und Skalarprodukt in der Form
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
Rotation
[Bearbeiten | Quelltext bearbeiten]In der Vektoranalysis wird das Kreuzprodukt zusammen mit dem Nabla-Operator verwendet, um den Differentialoperator „Rotation“ zu bezeichnen. Ist ein Vektorfeld im , so ist
wieder ein Vektorfeld, die Rotation von .
Formal wird dieses Vektorfeld also als Kreuzprodukt des Nabla-Operators und des Vektorfelds berechnet. Die hierbei auftretenden Ausdrücke sind jedoch keine Produkte, sondern Anwendungen des Differentialoperators auf die Funktion . 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
[Bearbeiten | Quelltext bearbeiten]Das Kreuzprodukt lässt sich für beliebige Dimension auf den n-dimensionalen Raum verallgemeinern. Dabei ist das Kreuzprodukt im kein Produkt von zwei Faktoren, sondern von Faktoren.
Das Kreuzprodukt der Vektoren ist dadurch charakterisiert, dass für jeden Vektor gilt
In Koordinaten lässt sich das Kreuzprodukt im wie folgt berechnen. Es sei der zugehörige -te kanonische Einheitsvektor. Für Vektoren
gilt
analog zu der oben erwähnten Berechnung mit Hilfe einer Determinante.
Der Vektor ist orthogonal zu . Die Orientierung ist so, dass die Vektoren in dieser Reihenfolge ein Rechtssystem bilden. Der Betrag von ist gleich dem -dimensionalen Volumen des von aufgespannten Parallelotops.
Für erhält man dabei kein Produkt, sondern nur eine lineare Abbildung
- ,
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 gewohnt – im Allgemeinen kein Rechtssystem bilden; diese entstehen nur in reellen Vektorräumen mit ungeradem , bei geraden bildet der Ergebnisvektor mit den Komponentenvektoren ein Linkssystem. Dies liegt wiederum daran, dass die Basis in Räumen geradzahliger Dimension nicht dasselbe ist wie die Basis , 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 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
[Bearbeiten | Quelltext bearbeiten]Behandelt man Vektoren aus komplexen Vektorräumen, z. B. in , 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 , bei dem der erste Vektor als komplexe Konjugation eingeht:
- ,
dann wird das Kreuzprodukt wie im berechnet und das Ergebnis anschließend komplex konjugiert:
Anwendungen
[Bearbeiten | Quelltext bearbeiten]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
[Bearbeiten | Quelltext bearbeiten]- Gerd Fischer: Lineare Algebra, Vieweg-Verlag, ISBN 3-528-97217-3.
Weblinks
[Bearbeiten | Quelltext bearbeiten]- 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
[Bearbeiten | Quelltext bearbeiten]- ↑ Max Päsler: Grundzüge der Vektor- und Tensorrechnung. Walter de Gruyter, 1977, ISBN 3-11-082794-8, S. 33.
- ↑ a b c d e Herbert Amann, Joachim Escher: Analysis. 2. Band 2. korrigierte Auflage. Birkhäuser-Verlag, Basel u. a. 2006, ISBN 3-7643-7105-6 (Grundstudium Mathematik), S. 312–313
- ↑ Doppeltes Vektorprodukt (Vorlesungsskript Klassische und relativistische Mechanik, Othmar Marti, abgerufen am 2. Oktober 2020)