Borel functional calculus for a normal operator (source code)

= Borel functional calculus for a normal operator

For a normal operator $T$ with spectrum $K$, there is a contractive unital star-homomorphism
$$
\Psi:L^\infty(K)\longrightarrow\mathcal B(H),
\qquad
\Psi(z)=T,
$$
where $L^\infty(K)$ denotes the bounded Borel functions. It is obtained by integrating against the projection-valued spectral measure of $T$.