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,