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.
A closed subspace is complemented exactly when it is the range of a bounded projection
Statement
Let be a normed space and let . Then is complemented if and only if there is a bounded linear operator such that
Facts & Assumptions
Given: A normed space , a linear subspace , and a bounded linear operator .
If is complemented, then for some closed subspace and the coordinate maps and are bounded linear operators (A complemented closed subspace of a normed space).
A bounded linear operator is linear and satisfies norm estimates (A bounded linear operator between normed spaces).
Proof
Assume is complemented, and write with , as in [L1]. Let . Then , so and . Thus a complemented subspace is the range of a bounded projection.
Conversely, assume and . For every ,
Here , and , so . [L2, algebra]
The kernel is a closed linear subspace of . It is linear because is linear by [L2]. If and , let be a bound for from [L2]. Then , so and .
The sum in step 1.2 is direct: if , then for some and also , so . Therefore .
The coordinate projections for the direct sum are and . The first is bounded by hypothesis, and the second is bounded because for every . Together with steps 2.1 and 1.3, this is exactly the complemented-subspace condition of [L1].
Steps 1.1 and 3.1 prove the equivalence.
Depends on
Used by
- Under Dependent Choice, a surjective bounded operator between Banach spaces has a bounded right inverse exactly when its kernel is complemented Theorem
- Under Dependent Choice, an injective bounded operator between Banach spaces has a bounded left inverse exactly when its range is closed and complemented Theorem
Dependency tree · two levels
7 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, Topics in Real and Functional Analysis (standard reference, not scraped)
- Haim Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations (standard reference, not scraped)