Definition
A projection-valued (or scalar) measure on the spectrum of an operator that decomposes the operator into spectral components and assigns weights to frequency or energy bands.
Principle
Principle
By the spectral theorem, a normal (or self-adjoint) operator can be represented as an integral over its spectrum with respect to a spectral measure; this measure determines functional calculus and spectral projections.
Demonstration
Demonstration
For a self-adjoint multiplication operator (M_f) on L2, the spectral measure concentrated on values of f gives projectors onto subspaces where f takes values in specified Borel sets.
Misapplication
Misapplication
Using a spectral measure constructed for a bounded self-adjoint operator to treat a non-normal or unbounded operator without domain control can produce invalid decompositions and misidentify spectral types.
Consequence
Consequence
A correctly identified spectral measure enables computation of evolution e^{itA}, resolves continuous vs. discrete spectrum, and supports probability distributions for measurement outcomes in quantum contexts.
Reversal
Reversal
Replacing a spectral measure with a mere spectrum set (points of spectrum) removes the multiplicity and weighting information; the set alone cannot reconstruct operator actions or projections.
Boundary
Boundary
Applies to operators on Hilbert spaces meeting the hypotheses of the spectral theorem; does not extend in a simple way to general non-normal operators or to operators lacking a resolution of the identity.
Semantic Tension
Semantic Tension
Tension exists with the informal notion of 'spectrum' as a set of frequencies; the spectral measure refines that set by specifying spectral type (pure point, absolutely continuous, singular) and multiplicity.
Synthesis
Synthesis
A spectral measure is the measure-theoretic object that, together with the spectrum, fully encodes how an operator decomposes into orthogonal spectral components and how functions of the operator act.