Hilbertraum/Orthonormalsystem/Fourierkeoffizienten/Summierbar/Fakt/Beweis

Beweis

Für jede endliche Teilmenge ist

was nach Fakt durch beschränkt ist. Daher ist die Familie eine Cauchy-Familie und somit wegen der Vollständigkeit des Raumes nach Fakt summierbar.