Mp/Pc/Psi

Exercices corrigés pour les classes de Math Spé Mp Pc Psi, posés aux concours : Polytechnique, Ens, Mines, Centrale, Ccp, etc.

Une base orthonormale

Dans {E} préhilbertien réel, soit {(e_k)_{1\le k\le n}} unitaires tels que : {\forall\, x\in E,\;\left\|{x}\right\|^2=\displaystyle\sum_{k=1}^n\left({e_k}\mid{x}\right)^2}
Montrer que {(e_k)_{1\le k\le n}} est une base orthonormée de {E}.