Definition. Bilineare Abbildung.
Eine Abbildung heißt bilinear, wenn folgende Axiome für beliebige Argumente erfüllt sind:
- (additiv im ersten Argument),
- (additiv im zweiten Argument),
- (homogen im ersten Argument),
- (homogen im zweiten Argument).
Definition. Skalarprodukt.
Eine bilineare Abbildung heißt Skalarprodukt, wenn folgende Axiome erfüllt sind:
- (symmetrisch),
- für (positiv definit).
Definition. Sesquilinearform.
Eine Abbildung heißt Sesquilinearform, wenn gilt:
- (additiv im ersten Argument),
- (additiv im zweiten Argument),
- (konjugiert homogen im ersten Argument),
- (homogen im zweiten Argument).
Definition. Skalarprodukt.
Eine Sesquilinearform heißt Skalarprodukt, wenn gilt:
- (hermitisch),
- für (positiv definit).
Es gilt:
Ein Skalarprodukt induziert die Norm
In einem reellen Vektorraum mit Skalarprodukt wird durch die Gleichung
der Winkel definiert.
Definition. Orthogonalität.
Sei eine Basis eines reellen Vektorraums und sei
Sind die Skalarprodukte
gegeben, so kann das Skalarprodukt von beliebigen Vektoren nach der Formel
- (1)
berechnet werden. Die Zahlen lassen sich zu einer Matrix zusammenfassen. Außerdem lassen sich die Koordinaten und zu Tupeln und zusammenfassen. Nun kann Formel (1) in der Form
- (2)
formuliert werden, wobei mit den rechten Skalarprodukten das Standardskalarprodukt gemeint ist. Der letzte Ausdruck der Gleichungskette ist gültig, wenn man die Koordinatentupel nicht als Elemente von betrachtet, sondern als Spaltenvektoren, d. h. als Elemente aus .
Die Matrix ist immer symmetrisch und positiv definit, d. h. es gilt:
- ,
- ist ein Eigenwert von , so gilt .
Ist umgekehrt eine positiv definite symmetrische Matrix, so ist
ein Skalarprodukt.
Ein Skalarprodukt lässt sich auch als konstanter metrischer Tensor interpretieren, und dann ist die Koordinatendarstellung dieses Tensors. Das heißt: für
gilt:
Berechnet wird durch Tensormultiplikation und anschließender Tensorkontraktion mit dualer Paarung , was aber wieder in Formel (1) bzw. (2) resultiert.
Wichtig ist, dass Koordinatendarstellungen immer nur bezüglich einer bestimmten Basis gültig sind und beim Basiswechsel umgerechnet werden müssen.
Definition. Orthogonalbasis.
Eine Basis heißt Orthogonalbasis, wenn gilt:
Sei eine Orthogonalbasis und sei
Das Skalarprodukt lässt sich bei der Darstellung von Vektoren bezüglich einer Orthogonalbasis nach einer einfachen Formel berechnen:
Reelles Skalarprodukt
|
Komplexes Skalarprodukt
|
|
|
Außerdem gilt:
Für die Norm gilt:
Definition. Orthonormalbasis.
Eine Basis heißt Orthonormalbasis, wenn gilt:
mit
Sei eine Orthonormalbasis und sei
Das Skalarprodukt lässt sich bei der Darstellung von Vektoren bezüglich einer Orthonormalbasis nach einer einfachen Formel berechnen:
Reelles Skalarprodukt
|
Komplexes Skalarprodukt
|
|
|
Außerdem gilt:
Für die Norm gilt:
Für linear unabhängige Vektoren wird durch
ein Orthogonalsystem berechnet.
Speziell für zwei nicht kollineare Vektoren gilt: