Orthogonal projector is a linear operator s.t. and .

For any s.t. we have that is an orthogonal projector.

Let be an orthonormal basis of
Then

is the projection on the space spanned by