The well-known spectral theorem in finite dimensions states
that any normal operator is unitarily equivalent to a diagonal operator.
We consider how to extend this idea in a separable, infinite dimensional
Hilbert space and prove a generalized spectral theorem due to von Neumann.
This makes sense even for operators having continuous spectrum with no
eigenvalues at all.