Periodische Funktion/Komplexe Exponentialfunktion/Orthonormalsystem/L^2-Raum/Fakt

Es sei und .

Dann bildet die Familie

zu ein Orthonormalsystem im Hilbertraum .