Normierter Vektorraum/Einführung/Textabschnitt

Definition

Es sei ${}V$ ein Vektorraum über ${}{\mathbb {K} }$ mit einem Skalarprodukt ${}\left\langle -,-\right\rangle$. Dann nennt man zu einem Vektor  ${}v\in V$  die reelle Zahl

${}\Vert {v}\Vert ={\sqrt {\left\langle v,v\right\rangle }}\,$

die Norm von ${}v$.

Lemma

Es sei ${}V$ ein Vektorraum über ${}{\mathbb {K} }$ mit einem Skalarprodukt ${}\left\langle -,-\right\rangle$. Dann gelten für die zugehörige Norm folgende Eigenschaften.

1. Es ist  ${}\Vert {v}\Vert \geq 0$. 
2. Es ist  ${}\Vert {v}\Vert =0$  genau dann, wenn  ${}v=0$  ist.
3. Für  ${}\lambda \in {\mathbb {K} }$  und  ${}v\in V$  gilt

   ${}\Vert {\lambda v}\Vert =\vert {\lambda }\vert \cdot \Vert {v}\Vert \,.$

4. Für  ${}v,w\in V$  gilt

   ${}\Vert {v+w}\Vert \leq \Vert {v}\Vert +\Vert {w}\Vert \,.$

Beweis

Die ersten beiden Eigenschaften folgen direkt aus der Definition des Skalarprodukts.
Die Multiplikativität folgt aus

${}\Vert {\lambda v}\Vert ^{2}=\left\langle \lambda v,\lambda v\right\rangle =\lambda \left\langle v,\lambda v\right\rangle =\lambda {\overline {\lambda }}\left\langle v,v\right\rangle =\vert {\lambda }\vert ^{2}\Vert {v}\Vert ^{2}\,.$

Zum Beweis der Dreiecksungleichung schreiben wir

${}{\begin{aligned}\Vert {v+w}\Vert ^{2}&=\left\langle v+w,v+w\right\rangle \\&=\Vert {v}\Vert ^{2}+\Vert {w}\Vert ^{2}+\left\langle v,w\right\rangle +{\overline {\left\langle v,w\right\rangle }}\\&=\Vert {v}\Vert ^{2}+\Vert {w}\Vert ^{2}+2\operatorname {Re} \,{\left(\left\langle v,w\right\rangle \right)}\\&\leq \Vert {v}\Vert ^{2}+\Vert {w}\Vert ^{2}+2\vert {\left\langle v,w\right\rangle }\vert .\end{aligned}}$

Aufgrund von Fakt ist dies ${}\leq {\left(\Vert {v}\Vert +\Vert {w}\Vert \right)}^{2}$. Diese Abschätzung überträgt sich auf die Quadratwurzeln.

$\Box$

Definition

Es sei ${}V$ ein ${}{\mathbb {K} }$-Vektorraum. Eine Abbildung

$\Vert {-}\Vert \colon V\longrightarrow \mathbb {R} ,\,v\longmapsto \Vert {v}\Vert ,$

heißt Norm, wenn die folgenden Eigenschaften gelten.

1. Es ist  ${}\Vert {v}\Vert \geq 0$  für alle  ${}v\in V$. 
2. Es ist  ${}\Vert {v}\Vert =0$  genau dann, wenn  ${}v=0$  ist.
3. Für  ${}\lambda \in {\mathbb {K} }$  und  ${}v\in V$  gilt

   ${}\Vert {\lambda v}\Vert =\vert {\lambda }\vert \cdot \Vert {v}\Vert \,.$

4. Für  ${}v,w\in V$  gilt

   ${}\Vert {v+w}\Vert \leq \Vert {v}\Vert +\Vert {w}\Vert \,.$

Definition

Ein ${}{\mathbb {K} }$-Vektorraum heißt normierter Vektorraum, wenn auf ihm eine Norm ${}\Vert {-}\Vert$ definiert ist.

Definition

Auf einem normierten Vektorraum ${}V$ mit Norm ${}\Vert {-}\Vert$ definiert man die zugehörige Metrik durch

${}d(v,w):=\Vert {v-w}\Vert \,.$

Dies ist in der Tat eine Metrik.

Lemma

Ein normierter Vektorraum ${}V$ ist durch die zugehörige Metrik

ein metrischer Raum.

Beweis

1. Es ist  ${}d{\left(u,v\right)}=\Vert {u-v}\Vert =0$  genau dann, wenn  ${}u-v=0$,  also  ${}u=v$  ist.
2. Es ist

   ${}{\begin{aligned}d{\left(u,v\right)}&=\Vert {u-v}\Vert \\&=\Vert {-1(v-u)}\Vert \\&=\vert {-1}\vert \cdot \Vert {v-u}\Vert \\&=d{\left(v,u\right)}.\end{aligned}}$

3. Für beliebiges  ${}w\in V$  ist nach der Definition einer Norm

   ${}{\begin{aligned}d{\left(u,v\right)}&=\Vert {u-v}\Vert \\&\leq \Vert {u-w}\Vert +\Vert {w-v}\Vert \\&=d{\left(u,w\right)}+d{\left(w,v\right)}.\end{aligned}}$

$\Box$