Self-adjoint operator

A self-adjoint operator (also called Hermitian in finite dimensions) is an operator A on a Hilbert space that satisfies A = A*, where A* is the adjoint of A. Equivalently, ⟨Ax, y⟩ = ⟨x, Ay⟩ for all x, y in the domain of A. Self-adjoint operators are the infinite-dimensional generalization of Hermitian matrices, and they are the mathematical objects that represent physical observables in quantum mechanics.

The importance of self-adjointness lies in the spectral theorem: every self-adjoint operator admits a spectral decomposition A = ∫ λ dE(λ), where E is a projection-valued measure. This guarantees that the spectrum of A is real and that the eigenvectors corresponding to distinct eigenvalues are orthogonal. In quantum mechanics, this means that every observable has real measurement outcomes and that distinct outcomes are distinguishable.

Self-adjointness is stronger than mere symmetry. A symmetric operator satisfies ⟨Ax, y⟩ = ⟨x, Ay⟩ on its domain, but may not be self-adjoint if its domain is not properly defined. The distinction is crucial in quantum field theory, where many formally symmetric operators require careful domain specification to achieve self-adjointness. The theory of self-adjoint extensions, developed by von Neumann, provides the classification of all possible self-adjoint extensions of a symmetric operator.

The requirement that physical observables be represented by self-adjoint operators is often presented as a postulate of quantum mechanics. It is better understood as a consistency condition: the spectral theorem guarantees that self-adjoint operators have real spectra, and without real spectra, the probabilities in the Born rule would not be real numbers. The self-adjointness condition is not an external imposition on the mathematics; it is the mathematical expression of the requirement that measurement outcomes be real. Any attempt to relax this condition — to allow non-self-adjoint observables — must either provide a new probability interpretation or abandon the connection between the mathematical formalism and experimental outcomes. The self-adjoint operator is not merely a useful object. It is the minimal structure that makes quantum mechanics empirically coherent.