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):=∣x−c∣ 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).

Verification

technique · direct
1.1L1

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

1.2givenalgebra

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)=x−c, and on [a,c] it would satisfy p(x)=c−x. So the polynomial p(x)−(x−c) would vanish on the interval [c,b], hence be identically zero, and similarly p(x)−(c−x) would be identically zero, forcing x−c=c−x for all x, impossible because a<b.

2.1step 1.1step 1.2L2

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.

3.1L1L2∎

Since C([a,b]) is Banach by [L2], and the natural inclusion of P[a,b] into C([a,b]) is a linear isometry with dense image by [L1], C([a,b]) is a completion of P[a,b].

Depends on

Used by

Nothing in the library uses this result yet.

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