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.
Relations among the five spectral parts
Statement
Assume the Axiom of Dependent Choice (The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain). Let be a nonzero complex Banach space and let , with the point, continuous and residual spectra of Point continuous and residual spectrum and the approximate point and compression spectra of Approximate point and compression spectrum. Then
- , and are pairwise disjoint and ;
- and ;
- .
The three classical parts are a partition of the spectrum; the approximate point and compression spectra cover it as well, but may overlap it and each other.
Facts & Assumptions
Given: An assumed Axiom of Dependent Choice, a nonzero complex Banach space , a bounded and ; abbreviate .
The three classical cases are exhaustive and exclusive for : fails to be injective, or is injective with dense non-surjective range, or is injective with non-dense range (Point continuous and residual spectrum).
when is not bounded below, and when has non-dense range (Approximate point and compression spectrum).
Under Dependent Choice, is bounded below if and only if it is injective with closed range (Under Dependent Choice, a bounded operator between Banach spaces is bounded below exactly when it is injective with closed range).
exactly when is not invertible in (Spectrum and resolvent set in a Banach algebra).
The Axiom of Dependent Choice is the standing hypothesis of the statement (The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain).
Proof
If is not injective then it is not bounded below: a bounded-below satisfies for , so forces . Hence , which is the second inclusion of claim 2.
If then, by definition, is injective with non-dense range. Hence and , so . Conversely, if , then has non-dense range and is injective, which is exactly . Thus .
If then is invertible, hence bounded below and of dense range; so .
Claim 3, other inclusion: let . If is not bounded below then . If it is bounded below, then by [L3] it is injective with closed range; were the range also dense, closedness would give range , so would be bijective with bounded inverse, hence invertible, contradicting [L4]; therefore the range is not dense and .
Claim 3, one inclusion: is the contrapositive of [step 1.3].
Claim 1: for the operator is not invertible by [L4]; by [L1] it falls into exactly one of the three classical cases, so the three sets are disjoint and their union is . The covering half of claim 3 is [step 1.4] and the reverse half is [step 2.1]; claim 2 consists of [step 1.1] and [step 1.2].
Depends on
- Point continuous and residual spectrum
- Approximate point and compression spectrum
- Under Dependent Choice, a bounded operator between Banach spaces is bounded below exactly when it is injective with closed range
- The axiom of dependent choice: a relation in which every element is related to something admits an $\mathbb{N}$-indexed chain
- Spectrum and resolvent set in a Banach algebra
- A bounded operator that is bounded below
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
19 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
- Theo Bühler and Dietmar A. Salamon, Functional Analysis — §5.2.1, printed pp. 219–221 (standard reference, not scraped)
- Vahid Shirbisheh, Lectures on C-star Algebras, v2 — §2.3, printed pp. 30–33 (standard reference, not scraped)