Vektorraum mit Skalarprodukt/Endliche Dimension/Unterraum/Orthogonale Projektion/Orthonormalbasis/Fakt
Es sei ein endlichdimensionaler -Vektorraum mit Skalarprodukt und ein Untervektorraum mit einer Orthonormalbasis von .
Dann ist die orthogonale Projektion auf durch
gegeben.