Postulates of Quantum Mechanics
See also: Mathematical Preliminaries for definitions of Hilbert space, observables, eigenstates, etc.
Postulate 1 — State Space
The state of an isolated physical system is completely described by a unit vector (the state vector) in a complex separable Hilbert space , called the state space of the system. Two state vectors that differ only by a global phase represent the same physical state.
Postulate 2 — Observables
Every measurable physical quantity (an observable) is represented by a self-adjoint (Hermitian) linear operator acting on the Hilbert space . The possible outcomes of a measurement of are the eigenvalues of the operator:
Because is Hermitian, its eigenvalues are real and its eigenvectors form a complete orthonormal basis of .
Postulate 3 — Measurement (Born Rule)
If the system is in the normalized state , the probability of obtaining the eigenvalue when measuring the observable is
assuming a non-degenerate spectrum. For a degenerate eigenvalue with projector onto its eigenspace,
Postulate 4 — Collapse (Projective Measurement)
Immediately after a measurement of that yields the eigenvalue , the state of the system collapses to the normalized projection onto the corresponding eigenspace:
Postulate 5 — Time Evolution
The time evolution of the state vector of a closed quantum system is governed by the Schrödinger equation:
where is the Hamiltonian operator (the observable corresponding to the total energy of the system). Equivalently, evolution is given by a unitary operator such that .
Postulate 6 — Composite Systems
The state space of a composite physical system is the tensor product of the state spaces of its components. If systems and have state spaces and , then the joint system has state space
If the subsystems are prepared independently in states and , the joint state is . General states in may be entangled and not expressible as such a product.
Postulate 7 — Symmetrization (Identical Particles)
The state vector of a system of identical particles is either fully symmetric under the exchange of any two particles (bosons, integer spin) or fully antisymmetric (fermions, half-integer spin):