Operator theory Compact and Fredholm operators Theorem
Weyl–von Neumann theorem
Builds on Hilbert spaceSeparable spaceHilbert space adjointOrthonormal basisCompact operatorSchatten class
Statement
Let be a separable complex Hilbert space, and let . Let be a bounded operator on with , where is the adjoint of . Then there are an orthonormal basis of , real numbers and a compact operator on such that:
- and ;
- for every .
Remarks
In words, every bounded self-adjoint operator is the sum of a diagonal operator and a compact self-adjoint operator of arbitrarily small norm. Weyl proved the version with compact, and von Neumann showed that can be chosen in the Hilbert–Schmidt class, the Schatten class , with Hilbert–Schmidt norm less than . The idea of the proof is to use spectral projections of for small intervals. They give finite-dimensional subspaces that are almost invariant under , and is diagonalized up to a small error on each of them. Example: the multiplication operator on has no eigenvalues at all, yet by the theorem a compact perturbation of small norm has an orthonormal basis of eigenvectors. The theorem does not extend to trace class perturbations. By the Kato–Rosenblum theorem, if has a nonzero absolutely continuous part, then so does for every trace class self-adjoint . Then is not diagonal.
Going deeper
For a student
The theorem shows that the point spectrum and the continuous spectrum of a self-adjoint operator are not stable under compact perturbations, while the essential spectrum is, by Weyl's theorem. It is a starting point of the theory of unitary equivalence modulo compact operators, which later led to the Brown–Douglas–Fillmore theory of extensions of C*-algebras.
Reading path
To understand this page from the ground up, read these 7 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Compact operator concept
- Hilbert space concept
- Hilbert space adjoint concept
- Orthonormal basis concept
- Schatten class concept
- Separable space concept
- Weyl–von Neumann theorem statement
Further reading
About this page
| Tag | SB8PFJCJBC |
|---|---|
| URI | m2://SB8PFJCJBC |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 47A55, 47B15 |
| Status | This copy of the site has no build data. Run m2 status SB8PFJCJBC. |
| About | Compact operator |
| Uses | Hilbert space, Separable space, Hilbert space adjoint, Orthonormal basis, Compact operator, Schatten class |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.