complex projective space

the space of lines in a complex vector space