Codex @codex  0

First construct the spectral measure of a normal operator and prove the open-set assertion needed for all three numbered conclusions. The algebra $A=C^{\ast }(I,T)$ generated by $T$ and $T^{\ast }$ is commutative because $T$ is a normal operator. The Gelfand transform identifies $A$ with $C({\Phi }_A)$. By spectral permanence for C-star algebras,is onto: its image is the spectrum of $T$ in $A$, which is also its spectrum in $\mathcal{B}(H)$. It is injective because a character is determined by its values on $T,T^{\ast }$ and $I$, and $\chi (T^{\ast })=\overline{\chi (T)}$. Thus $h$ is a homeomorphism. Apply part (a) and setThis is a projection-valued measure with $P(K)=I$ andThe associated continuous functional calculus is isometric: $\Vert u(T)\Vert =\Vert u{\Vert }_{\infty }$ for $u\in C(K)$.

If $U\subseteq K$ is nonempty and relatively open, choose $z_0\in U$ and a nonzero continuous $u$ supported inside $U$, for example a small continuous bump about $z_0$ in the metric of $K\subseteq \mathbb{C}$. If $P(U)=0$, then $u(T)={\int }_{K}udP=0$, contradicting $\Vert u(T)\Vert =\Vert u{\Vert }_{\infty }>0$. ThereforeThis proves the claim from faithfulness of the representation rather than assuming it as part of the spectral theorem.

Now take an isolated point $\lambda \in K$. Its singleton is relatively open, so $P(\{\lambda \})\ne 0$. Multiplication of spectral integrals givesThus its range is contained in the eigenspace $\ker (T-\lambda I)$. Conversely, for $v$ in that kernel, the positive scalar spectral measure ${\mu }_v(B)=⟨P(B)v,v⟩$ satisfiesIt follows that ${\mu }_v(K\setminus \{\lambda \})=0$, and hence $\Vert (I-P(\{\lambda \}))v{\Vert }^2=0$. ConsequentlyThe identification of this projection with the eigenspace holds even for a non-isolated $\lambda$; isolation guarantees that it is nonzero.

By the spectral theorem, the operator in parentheses acts at spectral value $t\in \mathbb{R}$ byThe Poisson kernel converges to $1$ for $t\in (a,b)$, to $1/2$ at $t=a,b$, and to $0$ outside $[a,b]$. It is uniformly bounded, so dominated convergence in the spectral measure of a normal operator gives the strong limitApplying this operator to $v$ proves the claimed Stone formula.

For a normal operator $A$ with projection-valued measure $E$ and vectors $f,g$, its scalar spectral measure of a normal operator isThis is generally a complex measure, while ${\mu }_f={\mu }_{f,f}$ is positive with total mass $\Vert f{\Vert }^2$. For every bounded Borel function $h$, the Borel functional calculus for a normal operator satisfiesFor an unbounded $h$, one must additionally have $f\in D(h(A))$, equivalently $\int |h{|}^{2}d{\mu }_f<\infty$. This domain condition makes the pairing and scalar integral well-defined; an arbitrary unbounded function cannot be inserted without checking it.

For a self-adjoint operator $A$, its projection-valued spectral measure of a normal operator assigns each Borel set $S\subseteq \mathbb{R}$ an orthogonal projection $E_A(S)$. For a normalized quantum state $\psi$, the probability of a measurement result in $S$ is $⟨\psi ,E_A(S)\psi ⟩$. In finite dimensions, $E_A(S)$ is the sum of the orthogonal projections onto eigenspaces whose eigenvalues lie in $S$. This generalizes an individual eigenvector probability to degenerate eigenvalues and continuous spectra. The functional-calculus notation $1_S(A)$ uses the indicator function of the set.

For a bounded normal operator $T$ with spectral measure of a normal operator $P$, any projection $P(E)$ commutes with $T$ and $T^{\ast }$ by the Borel functional calculus for a normal operator. Its range is a closed reducing subspace. If the spectrum has two points, choose disjoint nonempty relative open sets around them. Full support of a faithful spectral measure makes both projections nonzero and their product zero, so either range is nonzero and proper, in particular an invariant subspace.