Projection/Linear subspace/Idempotent/Fact

Let be a field and a -vector space.

For a

direct sum decomposition

the projection onto is a projection in the sense of Definition. Such a projection

gives a decomposition

and is the projection onto .