A quantum mechanics concept defining a model element, mathematical object, or experimental method used to predict measurable outcomes. It applies when required assumptions and definitions are specified and yields computable probabilities and expectation values. It does not ensure correctness without validation of approximations, numerical stability, and consistency of units and conventions. It materially affects interpretation of experiments and the reliability of theoretical predictions across quantum systems. The concept is generally stable, though methods and implementations evolve over time.

Principle

The spectral theorem organizes the structure of operators by decomposing Hilbert space into orthogonal spectral subspaces so that operator action is locally scalar, enabling well-defined functions of operators and linking operator algebra to measurable outcomes.

Demonstration

For a bounded self-adjoint operator on a separable Hilbert space the theorem guarantees the existence of a unique projection-valued measure P on the Borel σ-algebra of the real line with A = ∫ λ dP(λ); in finite dimensions this reduces to diagonalization by a unitary matrix.

Misapplication

Misusing the spectral theorem by assuming it applies verbatim to arbitrary non-normal operators or ignoring domain issues for unbounded operators leads to incorrect claims about diagonalizability and spectral measures.

Consequence

Applying the spectral theorem correctly yields the machinery for defining f(A) for Borel functions f, constructing time evolution via exponentials of Hamiltonians, and interpreting measurement statistics through projector measures.

Reversal

The reverse emphasis treats the projection-valued measure and measurable functional calculus as primary and views the operator as a derived object; this highlights measure-theoretic foundations over matrix intuition.

Boundary

Valid for normal operators (self-adjoint, unitary, or more generally normal); for unbounded self-adjoint operators one requires careful domain specification and functional calculus with spectral measures; non-normal operators fall outside the direct scope.

Semantic Tension

Tension exists between elementary diagonalization taught in finite-dimensional linear algebra and the full spectral theorem: the latter generalizes diagonalization but introduces projection-valued measures and subtle measure-theoretic distinctions needed for quantum observables.

Synthesis

The spectral theorem asserts that quantum observables (self-adjoint operators) admit a representation as integrals against projection-valued measures, providing the rigorous basis for diagonalization, operator functions, dynamics, and the link between operator formalism and measurement probabilities.