Definition

Seien ein Vektorraum über .
Eine Abbildung
heißt Skalarprodukt, falls für alle und gelten:

  • , genau dann wenn

Lemma

\langle \cdot, \cdot\rangle: & \mathbb{R} \times \mathbb{R} & \longrightarrow & \mathbb{R} \\ & (v,w) & \longmapsto & v_{1} w_{1} + v_{2} w_{2} + \cdots + v_{n} w_{n} \end{array} $$ [[orthogonales system]]