Préhilbertiens

Espaces préhilbertiens réels ou complexes: produit scalaire, euclidien ou hermitien.
Orthogonalité. Pythagore, identité de la médiane. Polarisation.
Projection orthogonale:e xpression dans une BON. Procédé de Schmidt.
Minimum de la distance d'un point à un sev de dimension finie.

Exos sur les pHs.