Spectral Theorem

Lemma

Suppose is a bounded self-adjoint linear operator on a Hilbert space \H. Then any eigenvalue of is real, and if and are eigenvectors corresponding to two distinct eigenvalues, then and are orthogonal.

Spectral Theorem for Compact Self-Adjoint Operator

Suppose is a compact self-adjoint operator on a separable Hilbert space \H. Then there exits an orthonormal basis of \H, that consists of eigenvectors of . Moreover, if then and as . Conversely, every operator of the above form is compact and self-adjoint. The collection is called the spectrum of .

Spectral Theorem for Compact Normal Operator

A linear operator on is normal if . If is normal and compact, then can be diagonalized.

Proof

If and are two linear symmetric and compact operators on that commute (that is, ), show that they can be diagonalized simultaneously. In other words, there exists an orthonormal basis for which consists of eigenvectors for both and .

Corollary

If is unitary, and , where is compact, then can be diagonalized.