Every bijection of pure-state rays that preserves transition probabilities is induced by either a unitary or an antiunitary operator on the Hilbert space.
Because state vectors differing by a quantum phase represent the same ray, a unitary realization of a group action need only satisfy
A projective unitary representation is a projective representation whose chosen representatives are unitary operators. The phase factors disappear on rays.
