« Espace préhilbertien réel/Projecteurs orthogonaux » : différence entre les versions

:<math>\langle x|p_F(y)\rangle = \langle p_F(x)|p_F(y)\rangle+\langle x-p_F(x)|p_F(y)\rangle=\langle p_F(x)|p_F(y)\rangle</math>}}

 

Si F est de dimension ''n'', il existe une base e de ''n'' vecteurs de F.

:<math>\forall x\in E,~p_F(x)=\sum_{i=1}^n \langle e_i|x\rangle e_i</math>}}