Spectral theorem for bounded self-adjoint operators

Bounded self-adjoint operator A on Hilbert space H has integral representation A = ∫λ dE(λ) over spectral resolution E. Generalises diagonalisation. Foundational for QM observables.