Dirac–von Neumann axioms

In mathematical physics, the Dirac–von Neumann axioms give a mathematical formulation of quantum mechanics in terms of operators on a Hilbert space. They were introduced by Paul Dirac in 1930 and John von Neumann in 1932.

Hilbert space formulation

The space $\mathbb {H}$ is a fixed complex Hilbert space of countably infinite dimension.

The observables of a quantum system are defined to be the (possibly unbounded) self-adjoint operators $A$ on $\mathbb {H}$ .
A state $\psi$ of the quantum system is a unit vector of $\mathbb {H}$ , up to scalar multiples; or equivalently, a ray of the Hilbert space $\mathbb {H}$ .
The expectation value of an observable A for a system in a state $\psi$ is given by the inner product $\langle \psi ,A\psi \rangle$ .

Operator algebra formulation

The Dirac–von Neumann axioms can be formulated in terms of a C*-algebra as follows.

The bounded observables of the quantum mechanical system are defined to be the self-adjoint elements of the C*-algebra.
The states of the quantum mechanical system are defined to be the states of the C*-algebra (in other words the normalized positive linear functionals $\omega$ ).
The value $\omega (A)$ of a state $\omega$ on an element $A$ is the expectation value of the observable $A$ if the quantum system is in the state $\omega$ .

Example

If the C*-algebra is the algebra of all bounded operators on a Hilbert space $\mathbb {H}$ , then the bounded observables are just the bounded self-adjoint operators on $\mathbb {H}$ . If $v$ is a unit vector of $\mathbb {H}$ then $\omega (A)=\langle v,Av\rangle$ is a state on the C*-algebra, meaning the unit vectors (up to scalar multiplication) give the states of the system. This is similar to Dirac's formulation of quantum mechanics, though Dirac also allowed unbounded operators, and did not distinguish clearly between self-adjoint and Hermitian operators.

References

Dirac, Paul (1930), The Principles of Quantum Mechanics
Strocchi, F. (2008), "An introduction to the mathematical structure of quantum mechanics. A short course for mathematicians", An Introduction to the Mathematical Structure of Quantum Mechanics. Series: Advanced Series in Mathematical Physics, Advanced Series in Mathematical Physics (2 ed.), World Scientific Publishing Co., 28, Bibcode:2008ASMP...28.....S, doi:10.1142/7038, ISBN 9789812835222, MR 2484367
Takhtajan, Leon A. (2008), Quantum mechanics for mathematicians, Graduate Studies in Mathematics, vol. 95, Providence, RI: American Mathematical Society, doi:10.1090/gsm/095, ISBN 978-0-8218-4630-8, MR 2433906
von Neumann, John (1932), Mathematical Foundations of Quantum Mechanics, Berlin: Springer, MR 0066944

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

Hilbert space formulation

Operator algebra formulation

Example

See also

References