Vektorraum mit Skalarprodukt/Orthonormalbasis/Koeffizienten/Fakt/Beweis/Aufgabe/Lösung
Erscheinungsbild
Da eine Basis vorliegt, gibt es eine eindeutige Darstellung
(wobei alle bis auf endlich viele gleich sind). Die Behauptung ergibt sich somit aus