Vektorraum mit Skalarprodukt/Endliche Dimension/Orthonormalbasis/Existenz/Fakt

Es sei ${}V$ ein endlichdimensionaler ${}{\mathbb {K} }$-Vektorraum mit Skalarprodukt.

Dann gibt es eine Orthonormalbasis in ${}V$.

Zum Beweis, Alternativen Beweis erstellen