Vektorraum mit Skalarprodukt/Endliche Dimension/Orthonormalbasis/Existenz/Fakt
Es sei ein endlichdimensionaler -Vektorraum mit Skalarprodukt.
Dann gibt es eine Orthonormalbasis in .
Es sei ein endlichdimensionaler -Vektorraum mit Skalarprodukt.
Dann gibt es eine Orthonormalbasis in .