Given a vector space , its projectivization
, sometimes written
, is the set of equivalence
classes
for any
in
.
For example, complex projective space has homogeneous
coordinates
,
with not all
.
The projectivization is a manifold with one less dimension than .
In fact, it is covered by the
affine coordinate charts,