Hilbert space
Projective Hilbert space