projective Hilbert space

Noun

 * 1) The quotient of a Hilbert space by an equivalence relation which considers a pair of vectors equivalent iff they differ only by a factor which is a complex number.