Considere el espacio $B([a,b])$ de funciones acotadas de Borel. La dotaremos de topología localmente convexa. Sea $M([a,b])$ sea un espacio de Banach de medidas de Borel de valor complejo sobre $[a,b]$ . Para cada $\mu\in M([a,b])$ definimos una semi-norma $$ \Vert\cdot\Vert_\mu:B([a,b])\to\mathbb{R}_+: f\mapsto \int\limits_{[a,b]}f(t)d\mu(t). $$ La familia $\{\Vert\cdot\Vert_\mu:\mu\in M([a,b])\}$ da lugar a una topología Hausdorff localmente convexa en $B([a,b])$ . Denotaremos este espacio como $(B([a,b]),wm)$ .consideren $\mathcal{B}(H)$ con topología de operador débil y denotar este espacio $(\mathcal{B}(H),wo)$ .
Un continuo $*$ -homorfismo $\gamma_{b,T}:(B([a,b]),wm)\to(\mathcal{B}(H),wo)$ tal que $\gamma_{b,T}(id_{[a,b]})=T$ se denomina cálculo funcional de Borel del operador $T$ .
Teorema Existe un único cálculo funcional de Borel $\gamma_{b,T}:(B([a,b]),wm)\to(\mathcal{B}(H),wo)$ . Además se trata de un homomorfismo involutivo contractivo de álgebras involutivas que extiende el cálculo continuo sobre $[a,b]$ .
Denote $H=L^2(X,\mu)$ . Desde $\varphi\colon X\to\mathbb{R}$ es una función medible acotada, entonces $T$ es un operador autoadjunto acotado. Por lo tanto, $\sigma(T)\subset\mathbb{R}$ . Desde $T$ es autoadjunto entonces existe algún intervalo $[a,b]$ tal que $\sigma(T)\subset[a,b]$ . Ahora dejemos que $\gamma_{b,T}$ sea el cálculo funcional de Borel sobre $[a,b]$ entonces podemos definir la medida espectral mediante el siguiente procedimiento. Para cada conjunto de Borel $A\subset [a,b]$ definimos su medida espectral $E(A)$ por la igualdad $$ E(A)=\gamma_{b,T}(1_{A\cap[a,b]}). $$ donde $1_{A\cap[a,b]}$ es una función característica de $A\cap[a,b]$ .