Vektorraum mit Skalarprodukt/Orthonormalbasis/Koeffizienten/Fakt

Es sei ein -Vektorraum mit Skalarprodukt und sei , , eine Orthonormalbasis von .

Dann ergeben sich die Koeffizienten eines Vektors bezüglich dieser Basis durch