Espace préhilbertien réel/Orthogonalité
On suppose travailler dans E en tant qu'espace préhilbertien réel, muni du produit scalaire et de la norme associée . Les définitions et propriétés de l'[[../Formes bilinéaires symétriques#Orthogonal d'une partie|orthogonal d'une partie (chap. 1)]], relatives à une forme bilinéaire symétrique quelconque, s'appliquent en particulier au produit scalaire.
Familles orthogonales
Théorème fondamental
Modèle:Démonstration déroulante