Espace préhilbertien réel/Projecteurs orthogonaux

Modèle:Clr Soit E un espace préhilbertien réel, dont le produit scalaire est noté $⟨\cdot |\cdot ⟩$ et la norme associée, $\Vert \cdot \Vert$.

Projection sur un sous-espace vectoriel

Soit F un sous-espace vectoriel de E de dimension finie.

Modèle:Théorème