Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Bounded BV data on the real line

Definition

Let u be an almost-everywhere equivalence class of measurable functions on R with u∈L∞(R)∩Lloc1(R), using the quotient convention of The space Lp(μ) as the quotient by null functions, the essentially bounded class of The space L∞(μ) of essentially bounded measurable functions, and the local integrability convention of A locally integrable function on Rn. For h>0 define Dhu(x):=u(x+h)−u(x),TV⁡tr(u):=sup⁡h>01h∫R∣Dhu(x)∣ dx, where the integral may be +∞. The bounded BV class on the line BVb(R) consists of those classes for which TV⁡tr(u)<∞; we write TV⁡(u):=TV⁡tr(u).

This translation-variation convention is the standard one-dimensional BV seminorm on bounded locally integrable classes. It is unchanged by modifying u on a null set, because each translate of a null set is null. It does not require u∈L1(R): every bounded constant function belongs to BVb(R) and has variation 0.

Depends on

Used by

Dependency tree · two levels

10 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