If Vis a subspace of with an orthonormal basis then
For all in
Let us write the matrix in thenotation.
Consider the terms below.
Since, here is need to express the required projection as a linear combinationof and , so let us assume that for some. Then,.