  A systematic review of the various topologies that can be defined on the
projective Hilbert space P(H), i.e., on the set of the pure quantum states, is
presented. It is shown that P(H) carries a natural topology as well as a
natural measurable structure.
