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,