Does it hold that $\{a\}'' = \{f(a) : f$ bounded, Borel measurable$\}$?

53 Views Asked by At

Let $H$ be an Hilbertspace. Let $a\in\mathcal{B}(H)$ be a self-adjoint operator. Does it hold that $\{a\}^{\prime\prime}=\{f(a):f\in L^{\infty}(\sigma(a))~\text{Borel measureable}\}$?