| Hilbert space | |
|---|---|
| Name | Hilbert space |
| Field | Functional analysis |
| Introduced | 1900s |
| Named after | David Hilbert |
| Related | Banach space, inner product |
Hilbert space
A Hilbert space is a complete inner product space that generalizes Euclidean geometry to infinite dimensions and provides the standard mathematical setting for Quantum mechanics. It formalizes states and observables, enabling spectral analysis of operators that represent physical quantities and evolution. In quantum theory the geometry of Hilbert space underpins concepts such as superposition, entanglement, and measurement.
A Hilbert space is a vector space over the field of complex numbers (or sometimes real numbers) equipped with an inner product that induces a norm and a metric; completeness with respect to that metric distinguishes Hilbert spaces from pre-Hilbert spaces. Fundamental properties include orthogonality, orthonormal bases, projection operators, and the Riesz representation theorem which identifies duals with the space itself. Key theorems include the Parseval's identity, Bessel's inequality, and the Projection theorem. Classical contributors include David Hilbert, Erhard Schmidt, and John von Neumann.
In Quantum mechanics pure states are unit vectors (or rays) in a Hilbert space and mixed states are described by density operators on that space. The framework originates in the work of Paul Dirac and John von Neumann and is implemented in canonical formulations such as Schrödinger picture and Heisenberg picture. Important concrete realizations include the separable Hilbert spaces L^2(ℝ^n) of square-integrable wavefunctions used in the Schrödinger equation and finite-dimensional Hilbert spaces employed for spin systems and qubits in quantum computing. Institutions that advanced foundational research include Institute for Advanced Study, CERN, and Bell Labs.
Physical observables are represented by (typically unbounded) self-adjoint or Hermitian operators on Hilbert spaces; examples are the Hamiltonian, momentum and position operators. The spectral theorem gives a decomposition of self-adjoint operators in terms of projection-valued measures, underpinning measurement theory and functional calculus. Bounded operators form a C*-algebra and von Neumann algebras (or W*-algebra) capture algebraic properties of observables; major contributors include F. J. Murray and John von Neumann. The theory connects to Stone's theorem on one-parameter unitary groups describing unitary time evolution and to scattering theory developed by Ludwig Faddeev and Markus Fierz.
Composite quantum systems are modeled by the tensor product of Hilbert spaces, H_total = H_A ⊗ H_B. Tensor structure enables entanglement, nonlocal correlations (as in Bell's theorem and experiments by Alain Aspect), and resource theories used in quantum information theory and protocols like quantum teleportation and superdense coding. Finite tensor products appear in quantum computing hardware by companies and labs such as IBM Quantum, Google Quantum AI, and Rigetti Computing, while infinite tensor products are used in quantum field theory treatments at CERN and in algebraic quantum field theory by researchers at institutions like Perimeter Institute.
To accommodate generalized eigenvectors (Dirac kets) and continuous spectra, physicists use the theory of rigged Hilbert spaces (Gelfand triples) developed by Israel Gelfand and George W. Mackey. A rigged Hilbert space embeds a Hilbert space between a space of test functions and its dual, allowing distributions and delta-normalized eigenstates for operators like position and momentum. This formalism clarifies scattering theory, generalized spectral decompositions, and the mathematical status of the Dirac delta and bras/kets introduced by Paul Dirac.
Standard examples include finite-dimensional complex Euclidean spaces ℂ^n, sequence spaces like ℓ^2(ℕ), and function spaces such as L^2(X, μ) for a measure space (X, μ). Orthogonal polynomials (e.g., Hermite and Legendre) yield bases linked to quantum harmonic oscillator eigenfunctions and spherical harmonics from Laplace's equation on the sphere. Construction techniques involve completion of inner product spaces, direct sums, direct integrals used in decomposing representations of Lie groups such as SU(2) and Heisenberg group, and reproducing kernel Hilbert spaces used in signal processing and machine learning. Influential texts include works by Reed and Simon and John B. Conway.
The abstract theory of Hilbert space has social and ethical dimensions when applied in technology and research. Access to quantum education, computational resources, and patents influences who benefits from advances in quantum computing and quantum communication; organizations such as UNESCO and initiatives like the Quantum Flagship emphasize equitable access and capacity building. Philosophical debates about realism, measurement, and structural interpretations of quantum mechanics implicate thinkers like Niels Bohr and Albert Einstein and inform policy on responsible innovation. Advocates for justice call for diverse representation in labs (universities, national laboratories like Los Alamos National Laboratory and Lawrence Berkeley National Laboratory), open-source toolchains (e.g., Qiskit by IBM and Cirq by Google), and funding models that prioritize community benefit, transparency, and educational outreach to reduce disparities in the emerging quantum industry.
Category:Mathematical physics Category:Functional analysis Category:Quantum mechanics