| operators on Hilbert space | |
|---|---|
| Name | Operators on Hilbert space |
| Type | Linear operators |
| Field | Functional analysis |
| Introduced | 20th century |
| Related | Spectral theorem, Operator algebra, Quantum mechanics |
operators on Hilbert space
Operators on Hilbert space are linear mappings acting on a Hilbert space that encapsulate observables, symmetries and dynamics in Quantum mechanics. They provide the mathematical framework for representing physical quantities (through self-adjoint operators) and evolution (through unitary operators), and underpin theories such as spectral theory and operator algebra that connect mathematics to experimental predictions. Their properties determine measurement spectra, commutation relations, and the structure of quantum states.
An operator on a Hilbert space H is a linear map T: D(T) → H where D(T) ⊆ H is the operator's domain. In the bounded case D(T)=H; for unbounded operators D(T) is dense in H in physically relevant situations such as the position and momentum operators introduced by Paul Dirac and formalized by John von Neumann. Standard properties include linearity, boundedness, closedness, and continuity. Key algebraic operations are addition, scalar multiplication, composition and taking adjoints; the adjoint T* is defined by the Riesz representation theorem and relates to inner products on H. The study uses tools from Functional analysis, Operator theory, and Measure theory.
A bounded operator satisfies ||T|| < ∞ and extends uniquely to a continuous linear map on H; such operators form a Banach algebra, B(H), with operator norm and involution T ↦ T*. Bounded operators include projections, unitary and isometric maps; they are central in the formulation of C*-algebra theory by figures such as Gelfand and Naimark. Unbounded operators, by contrast, often represent differential quantities (e.g., the momentum operator of Erwin Schrödinger's formulation) and require domain consideration. Many physically relevant generators of one-parameter groups (via Stone's theorem) are unbounded.
A symmetric operator S satisfies ⟨Sψ, φ⟩ = ⟨ψ, Sφ⟩ for all ψ, φ ∈ D(S). If S = S* (i.e., S equals its adjoint with identical domain) it is self-adjoint; self-adjointness is the mathematical criterion for an operator to represent an observable in Dirac's formalism and to generate unitary dynamics via Stone's theorem. The distinction between symmetric and self-adjoint operators was clarified by John von Neumann using deficiency indices; extensions such as the Friedrichs extension produce self-adjoint operators from semibounded symmetric ones. Hermitian is often used synonymously in physics for self-adjoint, but precise mathematical usage preserves the domain-sensitive distinction.
Spectral theory generalizes eigenvalue decompositions: for a self-adjoint operator A, the spectral theorem provides a projection-valued measure E(·) on the Borel sigma-algebra such that A = ∫ λ dE(λ). This allows the Borel and continuous functional calculus f(A) for measurable functions f, which is fundamental for defining functions of observables like exponentials e^{-itH} for Hamiltonians H. Spectral measures connect to Stone–von Neumann theorem contexts and to decomposition into absolutely continuous, singular continuous and pure point spectra relevant in scattering theory by researchers at institutions such as CERN and Perimeter Institute.
Collections of operators closed under algebraic operations and topologies yield C*-algebras and von Neumann algebras; these structures organize observables and symmetries in quantum theories and quantum statistical mechanics developed by Oskar Morgenstern and others. Commutation relations, e.g., the canonical commutation relation [Q,P]=iħI for position Q and momentum P, are expressed within these algebras and lead to representation theory results like the Stone–von Neumann uniqueness theorem. Noncommutative geometry (as in work by Alain Connes) and algebraic quantum field theory (AQFT) formalize locality and causality through nets of von Neumann algebras, connecting with Haag–Kastler axioms.
Many quantum observables (momentum, position, Hamiltonian with differential operators) are unbounded; proper treatment requires specifying domains, self-adjoint extensions, and boundary conditions. von Neumann's deficiency index theory classifies possible self-adjoint extensions; physical boundary conditions in quantum wells or Sturm–Liouville theory correspond to particular extensions. The generator of time evolution in quantum mechanics is a (typically unbounded) self-adjoint Hamiltonian H and its exponential defines the unitary group U(t)=e^{-iHt/ħ} by the spectral theorem and Stone's theorem. Rigged Hilbert space (Gelfand triplet) techniques introduced by Gelfand and collaborators handle generalized eigenvectors (Dirac kets) and resonances in scattering theory.
Compact operators on an infinite-dimensional Hilbert space generalize finite-rank approximations and have discrete spectra accumulating at zero; the Fredholm theory addresses invertibility up to compact perturbations and links to index theory by Atiyah–Singer. Hilbert–Schmidt and trace-class operator ideals are important in quantum statistical mechanics: trace-class operators represent density operators (states) with finite trace, used to compute expectation values Tr(ρA). The Gibbs state in canonical ensembles and techniques in quantum information theory rely on these classes; notions like Schmidt decomposition and entanglement measures use Hilbert–Schmidt norms and singular value decompositions familiar from linear algebra.