Pour [formule] : [formule].
Les [formule] forment un système orthonormé de [formule]. La série de Fourier partielle [formule] est la projection orthogonale sur [formule]. Bessel : [formule]. Égalité ssi la base est complète. Complétude : par densité des polynômes trigonométriques (Stone-Weierstrass) dans [formule], dense dans [formule].