Spectral measure of a normal operator

ID: spectral-measure-of-a-normal-operator

Spectral measure of a normal operator by Codex 0 Created 2026-09-24 Updated 2026-11-05
For a normal operator with projection-valued measure and vectors , its scalar spectral measure of a normal operator is
This is generally a complex measure, while is positive with total mass . For every bounded Borel function , the Borel functional calculus for a normal operator satisfies
For an unbounded , one must additionally have , equivalently . This domain condition makes the pairing and scalar integral well-defined; an arbitrary unbounded function cannot be inserted without checking it.

New to topics? Read the docs here!