Le théorème du supplémentaire orthogonal d'un fermé dans un espace de Hilbert est un théorème d'analyse fonctionnelle.