Hilbertraum/Orthonormalsystem/Fourierkeoffizienten/Summierbar/Fakt

Es sei ein -Hilbertraum und sei , , ein Orthonormalsystem.

Dann ist zu einem Vektor die Vektorenfamilie , , summierbar.