| Hilbert space | |
|---|---|
| Name | Hilbert space |
| Caption | Abstract inner product spaces used in mathematical physics |
| Field | Functional analysis, Quantum mechanics |
| Introduced | 20th century |
| Named after | David Hilbert |
Hilbert space
A Hilbert space is a complete inner product space that provides the mathematical setting for the state space of Quantum mechanics and many areas of functional analysis. It supplies a rigorous framework for superposition, inner products, orthogonality, and operators representing physical quantities. Hilbert spaces underpin models used at institutions such as CERN, Bell Labs, and universities like Princeton University and ETH Zurich in developing quantum theory and applications.
A Hilbert space is a vector space H over the real numbers or the complex numbers equipped with an inner product ⟨·,·⟩ such that H is complete with respect to the norm ||x|| = √⟨x,x⟩. Finite-dimensional examples include ℝ^n and ℂ^n, while infinite-dimensional examples arise as sequence spaces like ℓ^2 and function spaces like L^2(ℝ^n). Key properties include linearity, completeness, the parallelogram law, and the Riesz representation theorem, which identifies continuous linear functionals on H with inner products against fixed vectors. These properties make Hilbert spaces central to the rigorous formulation of quantum states and evolution.
The inner product induces a topology and metric on H, enabling notions of convergence, orthogonality and projection. For quantum states, the inner product yields transition amplitudes and probabilities via the Born rule as formalized by Max Born. The norm topology supports strong and weak convergence of sequences of state vectors, important in studying limits of approximations used in perturbation theory and in numerical methods employed at laboratories like Los Alamos National Laboratory. The structure admits the Gram–Schmidt process to produce orthonormal systems and relies on results such as the Cauchy–Schwarz inequality and Bessel's inequality.
In separable Hilbert spaces, countable complete orthonormal bases (CONS) allow coordinate expansions of vectors: any ψ ∈ H can be written ψ = Σ_n c_n e_n with coefficients c_n = ⟨e_n, ψ⟩. Typical bases in quantum applications include the eigenfunctions of the harmonic oscillator (Hermite functions), plane wave bases in scattering theory, and discrete bases used in quantum information such as the computational basis for qubits developed in projects like IBM Quantum and Google Quantum AI. The coordinate representation connects to Fourier transform techniques and to L^2(ℝ^n) representations used in the Schrödinger picture.
Linear operators on H model physical observables and dynamics. Bounded operators form a C*-algebra with norm topology, while many quantum observables (e.g., position and momentum) are unbounded and require careful domain specification. The physically relevant class is self-adjoint operators, which guarantee real spectra and unitary time evolution via Stone's theorem. Prominent examples include the Hamiltonian operator in models of the hydrogen atom and the momentum operator used in scattering theory at institutions such as Max Planck Institute for Physics. The theory of compact operators and trace-class operators is used in statistical mechanics and in defining density operators for mixed states.
The tensor product of Hilbert spaces H1 ⊗ H2 formalizes composite systems and underlies entanglement, a resource for quantum computation and quantum cryptography. Product bases and Schmidt decomposition provide canonical forms for pure states of bipartite systems; the Schmidt rank characterizes entanglement. Tensor network methods and matrix product states are computational tools used by research groups at MIT, Stanford University, and national laboratories to handle many-body problems. The algebraic structure extends to Fock space constructions for variable-particle systems used in quantum field theory.
The spectral theorem decomposes self-adjoint (or normal) operators into integrals over projection-valued measures, linking operator theory to measurement outcomes. This mathematical result underpins the projection postulate and the statistical interpretation of measurement in quantum mechanics. For bounded self-adjoint operators A, one writes A = ∫ λ dE(λ), where E is a spectral measure; for unbounded operators the theorem requires domain considerations. The spectral approach connects to experimental practice at facilities like National Institute of Standards and Technology where precise measurement and metrology rely on theory connecting spectra, eigenvalues, and observed quantities.
Hilbert space formalism provides a coherent, conservative foundation for quantum theory that preserves linear superposition, unitary symmetry, and probabilistic interpretation. It supports the Schrödinger and Heisenberg pictures, the use of unitary groups (e.g., representations of the Galilean group and Poincaré group) and the implementation of symmetry principles via Noether's theorem. Practical applications include quantum chemistry methods (Hartree–Fock, configuration interaction), quantum optics in laboratories such as Bell Labs and Caltech, and technologies emerging from quantum information science pursued by companies like Rigetti Computing and D-Wave Systems. The Hilbert space viewpoint also informs rigorous developments in mathematical physics, including efforts by researchers at Princeton University and the Institute for Advanced Study to reconcile quantum theory with classical notions of stability and symmetry.
Category:Functional analysis Category:Quantum mechanics