Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicableSession-authored (Fable 5 assisted)audited 2026-08-02
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.

Equicontinuity, pointwise boundedness, and uniform boundedness for families in C(K,R)C(K,\mathbb R)

Definition

Let (K,d)(K,d) be a nonempty compact metric space and let FC(K,R)\mathcal F\subseteq C(K,\mathbb R) in the sense of The space C(K,R)C(K,\mathbb{R}) of continuous real-valued functions on a nonempty compact metric space. The family F\mathcal F is equicontinuous at aKa\in K when, for every ε>0\varepsilon>0, there is δ>0\delta>0 such that for every fFf\in\mathcal F and every xKx\in K, d(x,a)<δd(x,a)<\delta implies f(x)f(a)<ε|f(x)-f(a)|<\varepsilon. It is equicontinuous when this holds at every aKa\in K.

It is pointwise bounded when, for every aKa\in K, the set {f(a):fF}\{f(a):f\in\mathcal F\} is bounded in R\mathbb R. It is uniformly bounded when a real M0M\ge0 satisfies f(x)M|f(x)|\le M for every fFf\in\mathcal F and xKx\in K.

Depends on

Used by

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 26 results over 9 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources