die Abbildung V → ℝ (V der Vektorraum), gegeben durch \begin{eqnarray}x\mapsto +\sqrt{\langle x,x\rangle }.\end{eqnarray} Hierbei bezeichne ⟨.,.⟩ das Skalarprodukt auf dem reellen bzw. komplexen Vektorraum V.