Spectral measure of a normal operator
ID: spectral-measure-of-a-normal-operator
For a normal operator with projection-valued measure and vectors , its scalar spectral measure of a normal operator isThis is generally a complex measure, while is positive with total mass . For every bounded Borel function , the Borel functional calculus for a normal operator satisfiesFor 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!