Operator theory Compact and Fredholm operators Theorem
Weyl's theorem on compact perturbations
Builds on Hilbert spaceHilbert space adjointCompact operatorEssential spectrumDiscrete spectrum
Statement
Let be a complex Hilbert space. Let be a bounded self-adjoint operator on , that is, with the adjoint of . Let be a compact operator on with . Then where denotes the essential spectrum.
Remarks
For a self-adjoint operator, lies in the essential spectrum if and only if there is a Weyl sequence: an orthonormal sequence in with . An orthonormal sequence tends to weakly, and a compact operator maps weakly null sequences to norm null sequences, so . Hence a Weyl sequence for at is also one for , and the symmetric argument gives the reverse inclusion. The theorem also holds for unbounded self-adjoint , with defined on the domain of . In other words, a compact perturbation of a self-adjoint operator can only change its discrete spectrum, the isolated eigenvalues of finite multiplicity. With the definition of the essential spectrum through Fredholm operators, the equality holds for every bounded operator on a Banach space and every compact . Indeed, is Fredholm exactly when is. Example: on , the zero operator has essential spectrum , and so does every compact self-adjoint operator, such as the diagonal operator with entries . Without compactness the conclusion fails: a self-adjoint projection of infinite rank and infinite corank has , while .
Going deeper
For a student
The theorem is a basic tool of mathematical physics. For a Schrödinger operator with a potential that decays at infinity, one shows that is a relatively compact perturbation of . A version of Weyl's theorem for relatively compact perturbations then gives , so the negative spectrum consists of isolated eigenvalues, the bound states.
Reading path
To understand this page from the ground up, read these 6 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Compact operator concept
- Discrete spectrum concept
- Essential spectrum concept
- Hilbert space concept
- Hilbert space adjoint concept
- Weyl's theorem on compact perturbations statement
Further reading
About this page
| Tag | X9XRGMDCQZ |
|---|---|
| URI | m2://X9XRGMDCQZ |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 47A55, 47A10, 47B25 |
| Status | This copy of the site has no build data. Run m2 status X9XRGMDCQZ. |
| About | Essential spectrum |
| Uses | Hilbert space, Hilbert space adjoint, Compact operator, Essential spectrum, Discrete spectrum |
| 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.