Definition. Bilineare Abbildung.
Eine Abbildung
f
:
V
×
W
→
U
{\displaystyle f\colon V\times W\to U}
heißt bilinear, wenn folgende Axiome für beliebige Argumente erfüllt sind:
f
(
v
1
+
v
2
,
w
)
=
f
(
v
1
,
w
)
+
f
(
v
2
,
w
)
{\displaystyle f(v_{1}+v_{2},w)=f(v_{1},w)+f(v_{2},w)}
(additiv im ersten Argument),
f
(
v
,
w
1
+
w
2
)
=
f
(
v
,
w
1
)
+
f
(
v
,
w
2
)
{\displaystyle f(v,w_{1}+w_{2})=f(v,w_{1})+f(v,w_{2})}
(additiv im zweiten Argument),
f
(
λ
v
,
w
)
=
λ
f
(
v
,
w
)
{\displaystyle f(\lambda v,w)=\lambda f(v,w)}
(homogen im ersten Argument),
f
(
v
,
λ
w
)
=
λ
f
(
v
,
w
)
{\displaystyle f(v,\lambda w)=\lambda f(v,w)}
(homogen im zweiten Argument).
Definition. Skalarprodukt.
Eine bilineare Abbildung
f
(
v
,
w
)
=
⟨
v
,
w
⟩
,
f
:
V
×
V
→
R
{\displaystyle f(v,w)=\langle v,w\rangle ,\,f\colon V\times V\to \mathbb {R} }
heißt Skalarprodukt, wenn folgende Axiome erfüllt sind:
⟨
v
,
w
⟩
=
⟨
w
,
v
⟩
{\displaystyle \langle v,w\rangle =\langle w,v\rangle }
(symmetrisch),
⟨
v
,
w
⟩
>
0
{\displaystyle \langle v,w\rangle >0}
für
v
≠
0
{\displaystyle v\neq 0}
(positiv definit).
Definition. Sesquilinearform.
Eine Abbildung
f
:
V
×
V
→
C
{\displaystyle f\colon V\times V\to \mathbb {C} }
heißt Sesquilinearform, wenn gilt:
f
(
v
1
+
v
2
,
w
)
=
f
(
v
1
,
w
)
+
f
(
v
2
,
w
)
{\displaystyle f(v_{1}+v_{2},w)=f(v_{1},w)+f(v_{2},w)}
(additiv im ersten Argument),
f
(
v
,
w
1
+
w
2
)
=
f
(
v
,
w
1
)
+
f
(
v
,
w
2
)
{\displaystyle f(v,w_{1}+w_{2})=f(v,w_{1})+f(v,w_{2})}
(additiv im zweiten Argument),
f
(
λ
v
,
w
)
=
λ
¯
f
(
v
,
w
)
{\displaystyle f(\lambda v,w)={\overline {\lambda }}f(v,w)}
(konjugiert homogen im ersten Argument),
f
(
v
,
λ
w
)
=
λ
f
(
v
,
w
)
{\displaystyle f(v,\lambda w)=\lambda f(v,w)}
(homogen im zweiten Argument).
Definition. Skalarprodukt.
Eine Sesquilinearform
f
(
v
,
w
)
=
⟨
v
,
w
⟩
,
f
:
V
×
V
→
C
{\displaystyle f(v,w)=\langle v,w\rangle ,\,f\colon V\times V\to \mathbb {C} }
heißt Skalarprodukt , wenn gilt:
⟨
v
,
w
⟩
=
⟨
w
,
v
⟩
¯
{\displaystyle \langle v,w\rangle ={\overline {\langle w,v\rangle }}}
(hermitisch),
⟨
v
,
v
⟩
>
0
{\displaystyle \langle v,v\rangle >0}
für
v
≠
0
{\displaystyle v\neq 0}
(positiv definit).
Es gilt:
⟨
v
,
v
⟩
≥
0
,
{\displaystyle \langle v,v\rangle \geq 0,}
⟨
v
,
v
⟩
=
0
⟺
v
=
0.
{\displaystyle \langle v,v\rangle =0\iff v=0.}
Ein Skalarprodukt
⟨
v
,
w
⟩
{\displaystyle \langle v,w\rangle }
induziert die Norm
‖
v
‖
:=
⟨
v
,
v
⟩
.
{\displaystyle \|v\|:={\sqrt {\langle v,v\rangle }}.}
In einem reellen Vektorraum mit Skalarprodukt wird durch die Gleichung
⟨
v
,
w
⟩
=
‖
v
‖
⋅
‖
w
‖
⋅
cos
φ
{\displaystyle \langle v,w\rangle =\|v\|\cdot \|w\|\cdot \cos \varphi }
der Winkel
φ
=
∠
(
v
,
w
)
{\displaystyle \varphi =\angle (v,w)}
definiert.
Definition. Orthogonalität.
v
⊥
w
:⟺
⟨
v
,
w
⟩
=
0.
{\displaystyle v\perp w\;:\Longleftrightarrow \;\langle v,w\rangle =0.}
Sei
B
=
(
b
1
,
…
,
b
n
)
{\displaystyle B=(b_{1},\ldots ,b_{n})}
eine Basis eines reellen Vektorraums und sei
v
:=
∑
k
=
1
n
v
k
b
k
,
w
:=
∑
k
=
1
n
w
k
b
k
.
{\displaystyle \textstyle v:=\sum _{k=1}^{n}v^{k}b_{k},\quad w:=\sum _{k=1}^{n}w^{k}b_{k}.}
Sind die Skalarprodukte
g
i
j
:=
⟨
b
i
,
b
j
⟩
{\displaystyle g_{ij}:=\langle b_{i},b_{j}\rangle }
gegeben, so kann das Skalarprodukt von beliebigen Vektoren nach der Formel
(1)
⟨
v
,
w
⟩
=
∑
i
=
1
n
∑
j
=
1
n
g
i
j
v
i
w
j
{\displaystyle \langle v,w\rangle =\sum _{i=1}^{n}\sum _{j=1}^{n}g_{ij}v^{i}w^{j}}
berechnet werden. Die Zahlen
g
i
j
{\displaystyle g_{ij}}
lassen sich zu einer Matrix
G
=
(
g
i
j
)
{\displaystyle G=(g_{ij})}
zusammenfassen. Außerdem lassen sich die Koordinaten
v
k
{\displaystyle v^{k}}
und
w
k
{\displaystyle w^{k}}
zu Tupeln
x
:=
(
v
k
)
{\displaystyle x:=(v^{k})}
und
y
:=
(
w
k
)
{\displaystyle y:=(w^{k})}
zusammenfassen. Nun kann Formel (1) in der Form
(2)
⟨
v
,
w
⟩
=
⟨
G
x
,
y
⟩
=
⟨
x
,
G
y
⟩
=
x
T
G
y
,
{\displaystyle \langle v,w\rangle =\langle Gx,y\rangle =\langle x,Gy\rangle =x^{T}G\,y,}
formuliert werden, wobei mit den rechten Skalarprodukten das Standardskalarprodukt gemeint ist. Der letzte Ausdruck der Gleichungskette ist gültig, wenn man die Koordinatentupel
x
,
y
{\displaystyle x,y}
nicht als Elemente von
R
n
{\displaystyle \mathbb {R} ^{n}}
betrachtet, sondern als Spaltenvektoren, d. h. als Elemente aus
R
n
×
1
{\displaystyle \mathbb {R} ^{n\times 1}}
.
Die Matrix
G
{\displaystyle G}
ist immer symmetrisch und positiv definit, d. h. es gilt:
g
i
j
=
g
j
i
{\displaystyle g_{ij}=g_{ji}}
,
ist
λ
{\displaystyle \lambda }
ein Eigenwert von
G
{\displaystyle G}
, so gilt
λ
>
0
{\displaystyle \lambda >0}
.
Ist umgekehrt
G
{\displaystyle G}
eine positiv definite symmetrische Matrix, so ist
f
(
x
,
y
)
:=
⟨
G
x
,
y
⟩
,
f
:
R
n
×
R
n
→
R
{\displaystyle f(x,y):=\langle Gx,y\rangle ,\;f\colon \mathbb {R} ^{n}\times \mathbb {R} ^{n}\to \mathbb {R} }
ein Skalarprodukt.
Ein Skalarprodukt lässt sich auch als konstanter metrischer Tensor interpretieren, und dann ist
g
i
j
{\displaystyle g_{ij}}
die Koordinatendarstellung dieses Tensors. Das heißt: für
g
:=
∑
i
=
1
n
∑
j
=
1
n
g
i
j
b
i
⊗
b
j
{\displaystyle g:=\sum _{i=1}^{n}\sum _{j=1}^{n}g_{ij}b^{i}\otimes b^{j}}
gilt:
⟨
v
,
w
⟩
=
g
(
v
,
w
)
.
{\displaystyle \langle v,w\rangle =g(v,w).}
Berechnet wird
g
(
v
,
w
)
{\displaystyle g(v,w)}
durch Tensormultiplikation und anschließender Tensorkontraktion mit dualer Paarung
b
i
(
b
j
)
=
δ
i
j
{\displaystyle b^{i}(b_{j})=\delta _{ij}}
, 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
B
=
(
b
1
,
…
,
b
n
)
{\displaystyle B=(b_{1},\ldots ,b_{n})}
heißt Orthogonalbasis, wenn gilt:
i
≠
j
⟹
⟨
b
i
,
b
j
⟩
=
0.
{\displaystyle i\neq j\implies \langle b_{i},b_{j}\rangle =0.}
Sei
B
{\displaystyle B}
eine Orthogonalbasis und sei
v
:=
∑
k
=
1
n
v
k
b
k
,
w
:=
∑
k
=
1
n
w
k
b
k
.
{\displaystyle \textstyle v:=\sum _{k=1}^{n}v_{k}b_{k},\quad w:=\sum _{k=1}^{n}w_{k}b_{k}.}
Das Skalarprodukt lässt sich bei der Darstellung von Vektoren bezüglich einer Orthogonalbasis nach einer einfachen Formel berechnen:
Reelles Skalarprodukt
Komplexes Skalarprodukt
⟨
v
,
w
⟩
=
∑
k
=
1
n
⟨
b
k
,
b
k
⟩
v
k
w
k
{\displaystyle \langle v,w\rangle =\sum _{k=1}^{n}\langle b_{k},b_{k}\rangle \,v_{k}w_{k}}
⟨
v
,
w
⟩
=
∑
k
=
1
n
⟨
b
k
,
b
k
⟩
v
k
¯
w
k
{\displaystyle \langle v,w\rangle =\sum _{k=1}^{n}\langle b_{k},b_{k}\rangle \,{\overline {v_{k}}}w_{k}}
Außerdem gilt:
v
k
=
⟨
b
k
,
v
⟩
⟨
b
k
,
b
k
⟩
.
{\displaystyle v_{k}={\frac {\langle b_{k},v\rangle }{\langle b_{k},b_{k}\rangle }}.}
Für die Norm gilt:
‖
v
‖
2
=
∑
k
=
1
n
‖
b
k
‖
2
|
v
k
|
2
.
{\displaystyle \|v\|^{2}=\sum _{k=1}^{n}\|b_{k}\|^{2}|v_{k}|^{2}.}
Definition. Orthonormalbasis.
Eine Basis
B
=
(
b
1
,
…
,
b
n
)
{\displaystyle B=(b_{1},\ldots ,b_{n})}
heißt Orthonormalbasis, wenn gilt:
⟨
b
i
,
b
j
⟩
=
δ
i
j
{\displaystyle \langle b_{i},b_{j}\rangle =\delta _{ij}}
mit
δ
i
j
:=
{
1
wenn
i
=
j
,
0
wenn
i
≠
j
.
{\displaystyle \delta _{ij}:={\begin{cases}1&{\text{wenn}}\;i=j,\\0&{\text{wenn}}\;i\neq j.\end{cases}}}
Sei
B
=
(
e
1
,
…
,
e
n
)
{\displaystyle B=(e_{1},\ldots ,e_{n})}
eine Orthonormalbasis und sei
v
:=
∑
k
=
1
n
v
k
e
k
,
w
:=
∑
k
=
1
n
w
k
e
k
.
{\displaystyle \textstyle v:=\sum _{k=1}^{n}v_{k}e_{k},\quad w:=\sum _{k=1}^{n}w_{k}e_{k}.}
Das Skalarprodukt lässt sich bei der Darstellung von Vektoren bezüglich einer Orthonormalbasis nach einer einfachen Formel berechnen:
Reelles Skalarprodukt
Komplexes Skalarprodukt
⟨
v
,
w
⟩
=
∑
k
=
1
n
v
k
w
k
{\displaystyle \langle v,w\rangle =\sum _{k=1}^{n}v_{k}w_{k}}
⟨
v
,
w
⟩
=
∑
k
=
1
n
v
k
¯
w
k
{\displaystyle \langle v,w\rangle =\sum _{k=1}^{n}{\overline {v_{k}}}w_{k}}
Außerdem gilt:
v
k
=
⟨
e
k
,
v
⟩
.
{\displaystyle v_{k}=\langle e_{k},v\rangle .}
Für die Norm gilt:
‖
v
‖
2
=
∑
k
=
1
n
|
v
k
|
2
.
{\displaystyle \|v\|^{2}=\sum _{k=1}^{n}|v_{k}|^{2}.}
Für linear unabhängige Vektoren
v
1
,
…
,
v
n
{\displaystyle v_{1},\ldots ,v_{n}}
wird durch
w
k
:=
v
k
−
∑
i
=
1
k
−
1
P
[
w
i
]
(
v
k
)
{\displaystyle w_{k}:=v_{k}-\sum _{i=1}^{k-1}P[w_{i}](v_{k})}
ein Orthogonalsystem
w
1
,
…
,
w
n
{\displaystyle w_{1},\ldots ,w_{n}}
berechnet.
Speziell für zwei nicht kollineare Vektoren
v
1
,
v
2
{\displaystyle v_{1},v_{2}}
gilt:
w
1
:=
v
1
,
{\displaystyle w_{1}:=v_{1},}
w
2
:=
v
2
−
P
[
w
1
]
(
v
2
)
.
{\displaystyle w_{2}:=v_{2}-P[w_{1}](v_{2}).}