Projection/Linear subspace/Idempotent/Fact
Let be a field and a -vector space.
For a
the projection onto is a projection in the sense of Definition. Such a projection
gives a decomposition
Let be a field and a -vector space.
the projection onto is a projection in the sense of Definition. Such a projection
gives a decomposition