How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Resolvent and spectrum of an unbounded operator
Definition
Let be a complex Hilbert space and a linear operator on with domain . Write for . The resolvent set of is where is the space of bounded everywhere defined operators on (A bounded linear operator between normed spaces); the spectrum is . For the bounded operator is the resolvent of at . This is the library convention used throughout the page, matching the bounded resolvent of Spectrum and resolvent of a bounded operator: the shift is , with coefficient on .
The resolvent determines back. If and , then and for ; equivalently with , and for , for .
Nonempty resolvent set forces closedness, without the closed graph theorem. Assume and fix with . Choose a bound such that . The map is continuous, since . Its zero set is closed. Because and for every , the graph of is where is a continuous linear bijection of with continuous inverse , since and . A homeomorphism carries closed sets to closed sets, so is closed and is closed. No closed graph theorem and hence no choice principle is used here.
For the zero operator on a nonzero , : the nonzero shifts have inverse , whereas the zero shift is not bijective. If , every shift is the unique bijection of the zero space, so and .
Depends on
Used by
- Cayley transform of a self-adjoint operator Definition
- Discrete and essential spectrum of a self-adjoint operator Definition
- Norm and strong resolvent convergence Definition
- Pure point, absolutely continuous and singular continuous spectral subspaces Definition
- Relative boundedness with respect to an operator Definition
- Relative compactness with respect to an operator Definition
- Second resolvent identity for a closed perturbation Lemma
- The generator of a unitary group is closed and skew-adjoint Lemma
- The resolvent star algebra is dense in C₀(R) Lemma
- Cayley correspondence between self-adjoint operators and unitaries Theorem
- Continuous functional calculus under resolvent convergence Theorem
- Kato-Rellich theorem Theorem
- Range criterion for self-adjointness Theorem
- Resolvent of a self-adjoint operator: nonreal resolvents and the estimate Theorem
- Unbounded Borel functional calculus: domains, products, spectral mapping Theorem
- Weyl's theorem: invariance of the essential spectrum Theorem
Dependency tree · two levels
20 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Dana P. Williams, Lecture Notes on the Spectral Theorem (standard reference, not scraped)
- Gerald Teschl, Mathematical Methods in Quantum Mechanics, second edition (standard reference, not scraped)
- Theo Buehler and Dietmar A. Salamon, Functional Analysis (standard reference, not scraped)