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.
Spectral theorem for unbounded self-adjoint operators (PVM form)
Statement
Assume the Axiom of Choice. Let be a self-adjoint operator on the nonzero complex Hilbert space . Then there is a unique regular projection valued measure on the Borel -algebra of such that
Conversely, if is a regular projection valued measure on , then the operator with that domain is self-adjoint and its spectral projection valued measure is again.
Facts & Assumptions
For a Borel function the integral of Integral of a measurable function against a projection-valued measure has domain , is closed, satisfies and , and is self-adjoint for real (The unbounded PVM integral is densely defined, closed and normal).
Every bounded normal operator has a unique regular spectral PVM with ; the support of is , and is unique among regular PVMs representing on a compact set (Spectral theorem for bounded normal operators pvm form, Support and uniqueness of the spectral measure).
is unitary with , , and on (Cayley transform of a self-adjoint operator, Cayley correspondence between self-adjoint operators and unitaries).
For a unitary one has : forces by the Neumann series, so lies in the closed unit disk, and with equivalent to (Neumann series, Spectrum and resolvent of a bounded operator).
For bounded Borel on the identity holds. If a PVM on satisfies and is a Borel isomorphism, then defines a PVM on with ; regularity is preserved by this transport (Bounded borel pvm integral, Projection valued measure, Regular Borel measure on an LCH space).
Proof
Given: A self-adjoint operator on and .
By [A3] the operator is unitary with , and by [A4] its spectrum lies in . Let be the regular spectral PVM of on supplied by [A2], and extend it to by for Borel . Then is a regular PVM on , is carried by , and .
: for a bounded normal operator the spectral projection at a point is the orthogonal projection onto . Indeed, if , then is carried by , so the bounded calculus gives Conversely, if , the same identity shows that is carried by ; hence and . Thus ; with this kernel is by [A3], so the projection is zero.
Let . Then is a homeomorphism of onto , and is a PVM on the Borel sets of with ; it is regular because is and is a homeomorphism, and .
Let be the self-adjoint operator with domain , given by [A1]; write , a bounded Borel function. Then , and because and on the natural domain; hence and , so on .
Using step 3.1 in the formula of [A3] gives ; now , so on , because .
Uniqueness: let be a regular PVM on with and for , and put for Borel . Then is a regular PVM on , , and , where is proved as in step 3.1 with in place of . By the uniqueness clause of [A2] applied to the bounded normal operator , is carried by and agrees there with , hence on . Therefore .
Conversely, if is a regular PVM on , then is self-adjoint by [A1] and represents ; by step 4.2 the representing PVM is unique, so is the spectral PVM of .
Depends on
- Integral of a measurable function against a projection-valued measure
- The unbounded PVM integral is densely defined, closed and normal
- Cayley correspondence between self-adjoint operators and unitaries
- Cayley transform of a self-adjoint operator
- Spectral theorem for bounded normal operators pvm form
- Support and uniqueness of the spectral measure
- Projection valued measure
- Regular Borel measure on an LCH space
- Spectrum and resolvent of a bounded operator
- Neumann series
- The Axiom of Choice
- Symmetric, self-adjoint and essentially self-adjoint operators
- Bounded borel pvm integral
Used by
- Unitary groups converge under strong resolvent convergence Corollary
- The minimal derivative has deficiency indices (1,1) and many self-adjoint extensions Counterexample
- Discrete and essential spectrum of a self-adjoint operator Definition
- Pure point, absolutely continuous and singular continuous spectral subspaces Definition
- Relative compactness with respect to an operator Definition
- Multiplication operators: domain, spectral measure and spectrum Example
- Position operator on L²(R) Example
- A self-adjoint operator generates a strongly continuous unitary group Lemma
- Spectral form domain and core of a semibounded operator Lemma
- Canonical decomposition into pure point, absolutely continuous and singular continuous parts Theorem
- Continuous functional calculus under resolvent convergence Theorem
- Kato-Rellich theorem Theorem
- Min-max principle below the essential spectrum Theorem
- Unbounded Borel functional calculus: domains, products, spectral mapping Theorem
- Weyl criterion for the essential spectrum Theorem
Dependency tree · two levels
71 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
- Gerald Teschl, Mathematical Methods in Quantum Mechanics, second edition (standard reference, not scraped)
- Dana P. Williams, Lecture Notes on the Spectral Theorem (standard reference, not scraped)
- Theo Buehler and Dietmar A. Salamon, Functional Analysis (standard reference, not scraped)