Espace préhilbertien complexe/Orthogonalité

On travaille dans un espace préhilbertien complexe E muni du produit scalaire $⟨\cdot \mid \cdot ⟩$ et de la norme associée $\Vert \cdot \Vert$.

Orthogonal d'une partie

Toutes les définitions de ce paragraphe ainsi que leurs démonstrations sont exactement les mêmes que dans le cas d'un espace préhilbertien réel.

→ Pour revoir les démonstrations de ces propositions, se reporter au chapitre Orthogonalité dans les espaces préhilbertiens réels.

Note

Modèle:Bas de page