projective Hilbert space

In mathematics and the foundations of quantum mechanics, the projective Hilbert space $P(H)$ of a complex Hilbert space $H$ is the set of equivalence classes of non-zero vectors $v$ in $H$, for the relation $\sim$ on $H$ given by

:$w \sim v$ if and only if $v = \lambda w$ for some non-zero complex number $\lambda$.

The equivalence classes of $v$ for the relation $\sim$ are also called rays or projective rays.

This is the usual construction of projectivization, applied to a complex Hilbert space.

Overview

The physical significance of the projective Hilbert space is that in quantum theory, the wave functions $\psi$ and $\lambda \psi$ represent the same ''physical state'', for any $\lambda \ne 0$. It is conventional to choose a $\psi$ from the ray so that it has unit norm, $\langle\psi, \psi\rangle = 1$, in which case it is called a normalized wavefunction. The unit norm constraint does not completely determine $\psi$ within the ray, since $\psi$ could be multiplied by any $\lambda$ with absolute value 1 (the U(1) action) and retain its normalization. Such a $\lambda$ can be written as $\lambda = e^$ with $\phi$ called the global phase.

Rays that differ by such a $\lambda$ correspond to the same state (cf. quantum state (algebraic definition), given a C*-algebra of observables and a representation on $H$). No measurement can recover the phase of a ray; it is not observable. One says that $U(1)$ is a gauge group of the first kind.

If $H$ is an irreducible representation of the algebra of observables then the rays induce pure states. Convex linear combinations of rays naturally give rise to density matrix which (still in case of an irreducible representation) correspond to mixed states.

The same construction can be applied also to real Hilbert spaces.

In the case $H$ is finite-dimensional, that is, $H=H_n$, the set of projective rays may be treated just as any other projective space; it is a homogeneous space for a unitary group $\mathrm(n)$ or orthogonal group $\mathrm(n)$, in the complex and real cases respectively. For the finite-dimensional complex Hilbert space, one writes

:$P(H_)=\mathbbP^$

so that, for example, the projectivization of two-dimensional complex Hilbert space (the space describing one qubit) is the complex projective line $\mathbbP^$. This is known as the Bloch sphere. See Hopf fibration for details of the projectivization construction in this case.

Complex projective Hilbert space may be given a natural metric, the Fubini–Study metric, derived from the Hilbert space's norm.

Product

The Cartesian product of projective Hilbert spaces is not a projective space. The Segre mapping is an embedding of the Cartesian product of two projective spaces into the projective space associated to the tensor product of the two Hilbert spaces, given by P(H) \times P(H') \to P(H \otimes H'), ( \mapsto \otimes y/math>. In quantum theory, it describes how to make states of the composite system from states of its constituents. It is only an embedding, not a surjection; most of the tensor product space does not lie in its range and represents '' entangled states''.

See also

* Projective space, for the concept in general
* Complex projective space
* Projective representation

References

{{DEFAULTSORT:Projective Hilbert Space
Hilbert space