Comment caractériser les bases orthonormales ?
Différentes manières de reconnaître qu'une famille de vecteurs est une base orthonormale.
Différentes manières de reconnaître qu'une famille de vecteurs est une base orthonormale.
Dans un espace préhilbertien réel, tout sous-espace de dimension finie possède un supplémentaire orthogonal. Cet article examine les contours de ce résultat.