Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-generatedprecheck passaudited 2026-09-01
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 X be a normed space and let M≤X. Then M is complemented if and only if there is a bounded linear operator P:X→X such that

P2=P,ran⁡(P)=M.

Facts & Assumptions

Given: A normed space X, a linear subspace M≤X, and a bounded linear operator P:X→X.

[L1]

If M is complemented, then X=M⊕N for some closed subspace N and the coordinate maps PM and PN are bounded linear operators (A complemented closed subspace of a normed space).

[L2]

A bounded linear operator is linear and satisfies norm estimates (A bounded linear operator between normed spaces).

Proof

technique · direct
1.1L1

Assume M is complemented, and write x=m+n with m∈M, n∈N as in [L1]. Let P:=PM. Then P(x)=m, so P2(x)=P(m)=m=P(x) and ran⁡(P)=M. Thus a complemented subspace is the range of a bounded projection.

1.2

Conversely, assume P2=P and ran⁡(P)=M. For every x∈X,

x=Px+(x−Px).

Here Px∈M, and P(x−Px)=Px−P2x=0, so x−Px∈ker⁡P. [L2, algebra]

1.3L2choose

The kernel ker⁡P is a closed linear subspace of X. It is linear because P is linear by [L2]. If xn∈ker⁡P and xn→x, let C be a bound for P from [L2]. Then ∥Px∥=∥P(x−xn)∥≤C∥x−xn∥→0, so Px=0 and x∈ker⁡P.

2.1step 1.2L2algebra

The sum in step 1.2 is direct: if z∈M∩ker⁡P, then z=Pw for some w and also Pz=0, so z=Pz=P2w=0. Therefore X=M⊕ker⁡P.

3.1step 2.1step 1.3L1L2algebra

The coordinate projections for the direct sum X=M⊕ker⁡P are P and I−P. The first is bounded by hypothesis, and the second is bounded because ∥(I−P)x∥≤∥x∥+∥Px∥ for every x. Together with steps 2.1 and 1.3, this is exactly the complemented-subspace condition of [L1].

4.1step 1.1step 3.1∎

Steps 1.1 and 3.1 prove the equivalence.

Depends on

Used by

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