The Lebesgue Differentiation Theorem states that for almost every point in the domain of a locally integrable function, the average of the function over small balls shrinking to that point converges to the function's value there. Named for Henri Lebesgue, it is a foundational result of real analysis showing that the fundamental theorem of calculus continues to hold, in an averaged almost-everywhere sense, for functions far more general than continuous ones.
Facts
StatementFor a locally integrable function f on R^n, at almost every point x the average of f over a ball B shrinking to x converges to f(x) as the diameter of B tends to zero. Proved by Henri Lebesgue in 1910, extending his own 1904 one-dimensional result. 1 Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
In Branch
Source Lebesgue Differentiation Theorem (Wikipedia)
Proved By
Source Lebesgue Differentiation Theorem (Wikipedia)
Sources
1. Lebesgue Differentiation Theorem (Wikipedia)
Wikimedia FoundationStatement section, first paragraph
The Lebesgue differentiation theorem (Lebesgue 1910) states that this derivative exists and is equal to f(x) at almost every point x in Rn.
In Branch: Real Analysis, Lead sentence
Lebesgue differentiation theorem is a theorem of real analysis, which states that for almost every point, the value of an integra
Proved By: Henri Lebesgue, Lead paragraph
In mathematics, the Lebesgue differentiation theorem is a theorem of real analysis, which states that for almost every point, the value of an integrable
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.