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 MX. Then M is complemented if and only if there is a bounded linear operator P:XX such that

P2=P,ran(P)=M.

Facts & Assumptions

Given: A normed space X, a linear subspace MX, and a bounded linear operator P:XX.

[L1]

If M is complemented, then X=MN 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.1

Assume M is complemented, and write x=m+n with mM, nN 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.

L1
1.2

Conversely, assume P2=P and ran(P)=M. For every xX,

x=Px+(xPx).

Here PxM, and P(xPx)=PxP2x=0, so xPxkerP. [L2, algebra]

1.3

The kernel kerP is a closed linear subspace of X. It is linear because P is linear by [L2]. If xnkerP and xnx, let C be a bound for P from [L2]. Then Px=P(xxn)Cxxn0, so Px=0 and xkerP.

L2choose
2.1

The sum in step 1.2 is direct: if zMkerP, then z=Pw for some w and also Pz=0, so z=Pz=P2w=0. Therefore X=MkerP.

step 1.2L2algebra
3.1

The coordinate projections for the direct sum X=MkerP are P and IP. The first is bounded by hypothesis, and the second is bounded because (IP)xx+Px for every x. Together with steps 2.1 and 1.3, this is exactly the complemented-subspace condition of [L1].

step 2.1step 1.3L1L2algebra
4.1

Steps 1.1 and 3.1 prove the equivalence.

step 1.1step 3.1

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