Noun
projective Hilbert space (plural projective Hilbert spaces) 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.