Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: 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.

Polynomials are not complete in the supremum norm on a compact interval

Example

Let a<b be real numbers, and let P[a,b] be the real polynomial functions on [a,b] with the supremum norm. Then P[a,b] is not complete. Its completion is C([a,b]).

Facts & Assumptions

Given: Real numbers a<b, the midpoint c:=(a+b)/2, and the function h(x):=xc on [a,b].

[L1]

The real Stone-Weierstrass theorem makes the polynomial algebra dense in C([a,b]) for the supremum norm (Real Stone--Weierstrass theorem for compact metric spaces).

[L2]

The space C([a,b]) is Banach for the supremum norm (C(K) is Banach when K is compact metric).

[L3]

Any two completions of a normed space are uniquely linearly isometric (Any two completions of a normed space are uniquely linearly isometric).

Verification

technique · direct
1.1

By [L1], the polynomial algebra P[a,b] is dense in C([a,b]), so in particular the continuous function h(x)=xc lies in its supremum-norm closure.

L1
1.2

The function h is not a polynomial on [a,b]: if a polynomial p agreed with h, then on [c,b] it would satisfy p(x)=xc, and on [a,c] it would satisfy p(x)=cx. So the polynomial p(x)(xc) would vanish on the interval [c,b], hence be identically zero, and similarly p(x)(cx) would be identically zero, forcing xc=cx for all x, impossible because a<b.

givenalgebra
2.1

Steps 1.1 and 1.2 show that P[a,b] is dense and proper in the Banach space C([a,b]), so it is not complete.

step 1.1step 1.2L2
3.1

Since C([a,b]) is Banach by [L2] and contains P[a,b] densely, [L3] identifies the completion of P[a,b] with C([a,b]).

step 2.1L2L3

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

12 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