Exponentialfunktionen/Frequenzen/01/Orthonormalsystem/Fakt

Die Funktionen

mit

zu bilden im Raum der stetigen Funktionen von nach

ein Orthonormalsystem bezüglich des durch

gegebenen Skalarproduktes.