Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedaudited 2026-09-22
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 T be a self-adjoint operator on the nonzero complex Hilbert space H. Then there is a unique regular projection valued measure E on the Borel σ-algebra of R such that

D(T)={x∈H:∫Rλ2 dEx(λ)<∞},Tx=∫Rλ dE(λ)x(x∈D(T)).

Conversely, if E is a regular projection valued measure on R, then the operator ∫λ dE with that domain is self-adjoint and its spectral projection valued measure is E again.

Facts & Assumptions

[A1]

For a Borel function f the integral f(E) of Integral of a measurable function against a projection-valued measure has domain {x:∫∣f∣2dEx<∞}, is closed, satisfies (f(E))∗=f‾(E) and ∥f(E)x∥2=∫∣f∣2dEx, and is self-adjoint for real f (The unbounded PVM integral is densely defined, closed and normal).

[A2]

Every bounded normal operator C has a unique regular spectral PVM F with C=∫z dF; the support of F is σ(C), and F is unique among regular PVMs representing C on a compact set (Spectral theorem for bounded normal operators pvm form, Support and uniqueness of the spectral measure).

[A3]

CT=(T−i)(T+i)−1 is unitary with ker⁡(I−CT)={0}, ran⁡(I−CT)=D(T), and T=i(I+CT)(I−CT)−1 on D(T) (Cayley transform of a self-adjoint operator, Cayley correspondence between self-adjoint operators and unitaries).

[A4]

For a unitary C one has σ(C)⊆S1={z:∣z∣=1}: ∣z∣>∥C∥ forces z∈ρ(C) by the Neumann series, so σ(C) lies in the closed unit disk, and 0∉σ(C) with z∈σ(C) equivalent to z−1∈σ(C−1) (Neumann series, Spectrum and resolvent of a bounded operator).

[A5]

For bounded Borel h on S1 the identity ∫h dF=ΦF(h) holds. If a PVM F on S1 satisfies F({1})=0 and ψ:R→S1∖{1} is a Borel isomorphism, then E(B):=F(ψ(B)) defines a PVM on R with ∫(h∘ψ) dE=∫h dF; regularity is preserved by this transport (Bounded borel pvm integral, Projection valued measure, Regular Borel measure on an LCH space).

Proof

technique · direct

Given: A self-adjoint operator T on H and C:=CT.

1.1A3A4A2

By [A3] the operator C is unitary with ker⁡(I−C)={0}, and by [A4] its spectrum lies in S1. Let F0 be the regular spectral PVM of C on σ(C) supplied by [A2], and extend it to S1 by F(B):=F0(B∩σ(C)) for Borel B⊆S1. Then F is a regular PVM on S1, is carried by σ(C), and C=∫S1z dF(z). [A2, A3, A4].

2.1A3A2A5step 1.1

F({1})=0: for a bounded normal operator the spectral projection at a point λ is the orthogonal projection onto ker⁡(C−λ). Indeed, if F({λ})x=x, then Fx is carried by {λ}, so the bounded calculus gives ∥(C−λ)x∥2=∫S1∣z−λ∣2 dFx(z)=0. Conversely, if Cx=λx, the same identity shows that Fx is carried by {λ}; hence ∥(I−F({λ}))x∥2=Fx(S1∖{λ})=0 and F({λ})x=x. Thus ran⁡F({λ})=ker⁡(C−λ); with λ=1 this kernel is {0} by [A3], so the projection F({1}) is zero. [A2, A3, A5, step 1.1].

3.1A5step 2.1

Let ψ(λ)=(λ−i)(λ+i)−1. Then ψ is a homeomorphism of R onto S1∖{1}, and E(B):=F(ψ(B)) is a PVM on the Borel sets of R with E(R)=F(S1∖{1})=I−F({1})=I; it is regular because F is and ψ is a homeomorphism, and C=∫z dF=∫ψ(λ) dE(λ). [A5, step 2.1].

4.1A1A3A5step 3.1

Let A be the self-adjoint operator ∫λ dE with domain D(A)={x:∫λ2dEx<∞}, given by [A1]; write h(λ)=(λ+i)−1, a bounded Borel function. Then 1−C=∫(1−ψ)dE=∫2ih dE=2i h(E), and (A+i)h(E)=I because (λ+i)h(λ)=1 and Ah(E)=(λh)(E) on the natural domain; hence h(E)=(A+i)−1 and (A+i)(1−C)=2iI, so A+i=2i(1−C)−1 on ran⁡(1−C)=D(A). [A1, A3, A5, step 3.1].

5.1A3A1step 4.1

Using step 4.1 in the formula T=i(I+C)(I−C)−1 of [A3] gives T=(1/2)(I+C)(A+i); now I+C=∫(1+ψ)dE=∫2λh(λ) dE=2λh(λ)(E), so T=(λh)(E)(A+i)=(λ2h)(E)+i(λh)(E)=(λ)(E)=A on D(A), because λ2h+iλh=λh(λ+i)=λ. [A1, A3, step 4.1].

5.2A2A5step 3.1step 4.1

Uniqueness: let E′ be a regular PVM on R with D(T)={x:∫λ2dEx′<∞} and Tx=∫λ dE′x for x∈D(T), and put F′(B):=E′(ψ−1(B∖{1})) for Borel B⊆S1. Then F′ is a regular PVM on S1, F′({1})=0, and ∫z dF′=∫ψ dE′=I−2i h(E′)=I−2i(T+i)−1=C, where (T+i)−1=h(E′) is proved as in step 4.1 with E′ in place of E. By the uniqueness clause of [A2] applied to the bounded normal operator C, F′ is carried by σ(C) and agrees there with F0, hence F′=F on S1. Therefore E′(B)=F′(ψ(B))=F(ψ(B))=E(B). [A2, A5, step 3.1, step 4.1].

6.1A1step 5.2∎

Conversely, if E is a regular PVM on R, then A=∫λ dE is self-adjoint by [A1] and E represents A; by step 5.2 the representing PVM is unique, so E is the spectral PVM of A. [A1, step 5.2].

Depends on

Used by

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