I'm unable to do the following problem : Let be a vector space over whose dimension is and with an inner product . Let be a subspace of with dimension and be an orthonormal basis of .
We define the orthogonal projection over as .
Demonstrate that , .
My attempt : I suppose it's true and want to see that it's really true ( don't want to fall over any contradiction).
So . And I didn't reach anything.