Vektorprodukt

VektorProdukt.PNG
Wie die euklidische Ebene mit dem Orthokomplement eine Besonderheit hat, so hat auch der dreidimensionale euklidische Raum eine Besonderheit, die es in allgemeinen euklidischen Vektorräumen nicht gibt, das Vektorprodukt (andere Bezeichnung: äußeres Produkt oder Kreuzprodukt).
Für zwei Vektoren a=(axayaz)a=\pmatrix { {a_x}\\{a_y}\\{a_z}} und b=(bxbybz)b=\pmatrix { {b_x}\\{b_y}\\{b_z}} definieren wir:
a×b=(aybz−azbyazbx−axbzaxby−aybx)a\cross b=\pmatrix {{a_yb_z-a_zb_y}\\ {a_zb_x-a_xb_z}\\ {a_xb_y-a_yb_x}}
 
 

Satz 5325A (Eigenschaften des Vektorprodukts)

Für a,b,c∈R3a,b,c\in\dom{R^3} und α,β∈R\alpha,\beta\in\dom R gilt:
  1. Distributivität des Vektorproduktes (αa)×c=α(a×c)(\alpha a)\cross c=\alpha (a\cross c) und (a+b)×c=(a×c)+(b×c)(a+b)\cross c=(a\cross c)+(b\cross c)
  2. Antikommutativität a×b=−(b×a)a\cross b=-(b\cross a)
  3. Identität von Grassmann: a×(b×c)=⟨a,c⟩b−⟨a,b⟩ca\cross (b\cross c)=\spo a,c\spc b-\spo a,b\spc c
  4. Identität von Jacobi: a×(b×c)+b×(c×a)+c×(a×b)=0a\cross (b\cross c)+b\cross (c\cross a)+c\cross (a\cross b)=0
  5. ⟨a,b×c⟩=⟨a×b,c⟩\spo a,b\cross c\spc=\spo a\cross b, c\spc

Beweis

Alle Behauptungen hat man durch Einsetzen der Definition schnell nachgerechnet.
Insbesondere kann man iv. aus iii. herleiten, indem man aa, bb und cc zyklisch vertauscht. □\qed

Folgerungen

Aus der Antikommutativität können wir
a×a=0a\cross a=0
schließen.
Aus v. können wir durch Setzen von a=ba=b sofort schließen, dass
⟨a,a×b⟩=⟨b,a×b⟩=0\spo a,a\cross b\spc=\spo b,a\cross b\spc=0
gilt. Damit steht das Vektorprodukt zweier Vektoren immer senkrecht auf beiden Vektoren:
a⊥a×ba\perp a\cross b und b⊥a×bb\perp a\cross b

Satz 93AA

Es gilt die verschärfte Cauchy-Schwarzsche Ungleichung
⟨a,b⟩2+∣a×b∣2=∣a∣2∣b∣2\spo a,b\spc^2+|a\cross b|^2=|a|^2|b|^2.

Beweis

∣a×b∣2=⟨a×b,a×b⟩|a\cross b|^2=\spo a\cross b,a\cross b\spc =⟨a,b×(a×b)⟩=\spo a,b\cross (a\cross b)\spc Satz 5325A (v) =⟨a,⟨b,b⟩a−⟨b,a⟩b⟩=\spo a,\spo b,b\spc a-\spo b,a\spc b\spc Identität von Grassmann =⟨a,a⟩⟨b,b⟩−⟨a,b⟩2=\spo a,a\spc \spo b,b\spc -\spo a,b\spc^2 =∣a∣2∣b∣2−⟨a,b⟩2=|a|^2|b|^2-\spo a,b\spc^2 □\qed

Seit man begonnen hat, die einfachsten Behauptungen zu beweisen, erwiesen sich viele von ihnen als falsch.

Bertrand Russell

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе
Datenschutzerklärung

 

Analytische Geometrie