Let be a Hilbert Space, the set of Bounded linear operators from to itself, and theSpectrum of . Then if and is normal, there exists aunique resolution of the identity on the Borel subsets of which satisfies
Furthermore, every projection Commutes with every which Commutes with .
References
Rudin, W. Theorem 12.23 in Functional Analysis, 2nd ed. New York: McGraw-Hill, 1991.