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

Es sei  ${}T>0$  und  ${}\omega ={\frac {2\pi }{T}}$. 

Dann bildet die Familie

${}f_{n}={\frac {1}{\sqrt {T}}}e^{\omega {\mathrm {i} }nx}\,$

zu  ${}n\in \mathbb {Z}$  ein Orthonormalsystem im Hilbertraum ${}L^{2}([0,T],{\mathbb {C} })$.

Zum Beweis, Alternativen Beweis erstellen