Spectral Measures and Observables

Spectral measures replace the finite-dimensional instruction “diagonalize the matrix” by a construction that includes continuous spectrum, spectral multiplicity, measurable functions, and unbounded operator domains.

Reading sequence

On-ramp. State Vectors supplies the Hilbert-space language. Then read Self-Adjoint Operators so that the operator domain is part of the observable. The theorem also assumes Borel sets, countably additive measures, measurable functions, and Lebesgue integration. Projectors supplies the sharp-event geometry: use it to review the projection identities before steps 2 and 3.

1. The Spectral Theorem for Bounded Self-Adjoint Operators explains the construction from continuous functional calculus, positive scalar measures, and cyclic subspaces. The multiplication representation can have continuous spectrum even for a bounded operator.

2. The Spectral Theorem for Unbounded Self-Adjoint Operators states

   $$A=\int_{\mathbb R}\lambda\,dE_A(\lambda)$$

   together with the exact domain

   $$D(A)= \left\{ \psi: \int\lambda^2\,d\langle\psi,E_A(\lambda)\psi\rangle<\infty \right\}.$$

3. Projection-Valued Measures then develops strong countable additivity, scalar state measures, discrete and continuous examples, coarse graining, and the PVM–POVM–instrument boundary.

The theorem pages introduce the PVM definition compactly. The dedicated PVM page explains countable additivity and measurement events; subsequent articles develop applications and refinements.

Use the spectral representation

Resolution of Identity explains completeness sums and continuous-ket notation, including their convergence meaning. Functions of Observables then treats outcome relabeling, kinetic-energy pushforwards, and the information lost through coarse graining.

For calculations with selected energy ranges, read Spectral Projections. It develops spectral-window estimates, reducing subspaces, and contour extraction of isolated eigenspaces. Born Rule via Spectral Measures establishes the probability and moment formulas for vectors and density operators, keeping trace and domain assumptions explicit.

Combine compatible observables

Compatible Observables relates strong commutation to compatible sharp measurements and links the sharp-marginal proof. The criterion requires commuting spectral projections, beyond a formal commutator calculation on a small domain. Joint Spectral Measures constructs the common outcome space, including correlated distributions and multivariable functions.

Complete Sets of Commuting Observables asks whether joint labels resolve all spectral multiplicity. Completeness of these labels does not mean that one commuting measurement determines every state. Finally, Continuous Spectrum Without Eigenvectors connects spectral windows to normalized approximate eigenvectors and explains the role of plane waves without treating them as Hilbert-space states.

What to carry forward

• A spectral value need not be an eigenvalue.
• An unbounded spectral integral has a domain fixed by square integrability.
• $E_A(\Delta)$ is a sharp event projector for a measurable set, not a state update map.
• Countable additivity is strong, not generally operator-norm, convergence.
• A POVM is broader than a PVM, and a Naimark dilation changes the Hilbert space.

For the dynamics branch, add Strongly Continuous Unitary Groups before Stone’s Theorem; Stone’s result needs both the spectral calculus and the unitary-group derivative domain. With the projection and spectral-measure prerequisites in place, continue instead to Gleason’s Theorem for consistent probabilities on projections.

References

• B. C. Hall, Quantum Theory for Mathematicians, Graduate Texts in Mathematics 267, Springer, 2013, doi:10.1007/978-1-4614-7116-5 — spectral theorem, multiplicity, and physical interpretation.
• K. Schmüdgen, Unbounded Self-adjoint Operators on Hilbert Space, Graduate Texts in Mathematics 265, Springer, 2012, doi:10.1007/978-94-007-4753-1 — spectral integrals and strongly commuting operators.