Spectral theorem for normal operators on a separable Hilbert space
= Spectral theorem for normal operators on a separable Hilbert space
A normal operator on a separable Hilbert space has a unique projection-valued spectral measure $E$ such that $A=\int z\,dE(z)$, with the natural square-integrability domain in the unbounded case.