Lebesgue differentiation theorem

E451526

result in measure theory theorem in real analysis

The Lebesgue differentiation theorem is a fundamental result in real analysis stating that, for an integrable function, the averages over shrinking neighborhoods converge almost everywhere to the function’s pointwise value.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (4)

Label	Occurrences
Lebesgue differentiation theorem canonical	5
Lebesgue density theorem	1
Lebesgue density theorem for measurable sets	1
Lebesgue’s differentiation theorem	1

How this entity was disambiguated

This entity first appeared as the object of triple T4552412 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Lebesgue differentiation theorem
Context triple: [Hardy–Littlewood maximal function, usedFor, Lebesgue differentiation theorem]

A. Lebesgue integration
Lebesgue integration is a foundational measure-theoretic framework for defining and analyzing integrals, particularly suited to handling limits, convergence, and more general functions than those allowed by Riemann integration.
B. Hardy–Littlewood maximal function
The Hardy–Littlewood maximal function is a fundamental operator in real analysis and harmonic analysis that controls the local averages of a function and plays a key role in differentiation theorems and singular integral theory.
C. Lebesgue measure
Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
D. Singular Integrals and Differentiability Properties of Functions
"Singular Integrals and Differentiability Properties of Functions" is a landmark mathematical monograph by Elias M. Stein that developed the modern theory of singular integral operators and their role in harmonic analysis and differentiability.
E. Lebesgue spaces
Lebesgue spaces are function spaces, denoted \(L^p\), that consist of measurable functions whose absolute values raised to the \(p\)-th power are integrable, forming a fundamental framework in modern analysis and probability theory.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Lebesgue differentiation theorem
Target entity description: The Lebesgue differentiation theorem is a fundamental result in real analysis stating that, for an integrable function, the averages over shrinking neighborhoods converge almost everywhere to the function’s pointwise value.

A. Lebesgue integration
Lebesgue integration is a foundational measure-theoretic framework for defining and analyzing integrals, particularly suited to handling limits, convergence, and more general functions than those allowed by Riemann integration.
B. Hardy–Littlewood maximal function
The Hardy–Littlewood maximal function is a fundamental operator in real analysis and harmonic analysis that controls the local averages of a function and plays a key role in differentiation theorems and singular integral theory.
C. Lebesgue measure
Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
D. Singular Integrals and Differentiability Properties of Functions
"Singular Integrals and Differentiability Properties of Functions" is a landmark mathematical monograph by Elias M. Stein that developed the modern theory of singular integral operators and their role in harmonic analysis and differentiability.
E. Lebesgue spaces
Lebesgue spaces are function spaces, denoted \(L^p\), that consist of measurable functions whose absolute values raised to the \(p\)-th power are integrable, forming a fundamental framework in modern analysis and probability theory.
F. None of above. chosen

Statements (48)

Predicate	Object
instanceOf	result in measure theory ⓘ theorem in real analysis ⓘ
appliesTo	L^1 functions ⓘ L^p functions for 1 ≤ p ≤ ∞ ⓘ absolutely continuous measures with respect to Lebesgue measure ⓘ
assumption	function is locally integrable ⓘ underlying measure is a Lebesgue measure or a suitable Radon measure ⓘ
concerns	Lebesgue integrable functions ⓘ Lebesgue measure ⓘ locally integrable functions ⓘ
conclusion	failure set has measure zero ⓘ pointwise convergence of local averages almost everywhere ⓘ
domain	Euclidean space R^n ⓘ linked to: Euclidean space
field	measure theory ⓘ real analysis ⓘ
generalizationOf	Lebesgue density theorem for measurable sets ⓘ linked to: Lebesgue differentiation theorem
hasConsequence	a function is determined almost everywhere by its integrals over balls ⓘ almost everywhere existence of approximate limits of integrable functions ⓘ
hasVariant	differentiation theorem for Radon measures ⓘ differentiation theorem for metric measure spaces ⓘ
historicalPeriod	early 20th century ⓘ
implies	almost everywhere pointwise recovery of a function from its local averages ⓘ
isFundamentalIn	modern integration theory ⓘ the theory of L^p spaces ⓘ
namedAfter	Henri Lebesgue ⓘ
relatedTo	Fundamental theorem of calculus ⓘ linked to: Fundamental Theorem of Calculus Hardy–Littlewood maximal theorem ⓘ linked to: Hardy–Littlewood maximal function Radon–Nikodym theorem ⓘ linked to: Radon–Nikodym derivative martingale convergence theorem ⓘ
requires	completeness of Lebesgue measure ⓘ
robustUnder	choice of reasonable differentiation bases such as balls or cubes ⓘ
statement	For an L^1_loc function on R^n, the averages over balls shrinking to a point converge almost everywhere to the function value at that point ⓘ If f is locally integrable on R^n, then for almost every x, the limit as r→0 of (1/\|B(x,r)\|)∫_{B(x,r)} f(y) dy equals f(x) ⓘ The set of points where the differentiation formula fails has Lebesgue measure zero ⓘ
typeOfLimit	almost everywhere limit ⓘ
typicalNeighborhoods	balls in Euclidean metric ⓘ cubes in Euclidean space ⓘ
usedIn	ergodic theory ⓘ functional analysis ⓘ harmonic analysis ⓘ partial differential equations ⓘ probability theory ⓘ
usesConcept	Hardy–Littlewood maximal function ⓘ Lebesgue integral ⓘ linked to: Lebesgue integration Lebesgue measure zero set ⓘ Vitali covering theorem ⓘ linked to: Vitali covering lemma density theorem ⓘ maximal inequality ⓘ

How these facts were elicited

Referenced by (8)

Full triples — surface form annotated when it differs from this entity's canonical label.

Hardy–Littlewood maximal function → usedFor → Lebesgue differentiation theorem ⓘ

Hardy–Littlewood maximal function → relatedTo → Lebesgue differentiation theorem ⓘ

Henri Lebesgue → notableConcept → Lebesgue’s differentiation theorem ⓘ

linked to: Lebesgue differentiation theorem

Singular Integrals and Differentiability Properties of Functions → topic → Lebesgue differentiation theorem ⓘ

Steinhaus theorem → relatedTo → Lebesgue density theorem ⓘ

linked to: Lebesgue differentiation theorem

Lebesgue differentiation theorem → generalizationOf → Lebesgue density theorem for measurable sets ⓘ

linked to: Lebesgue differentiation theorem

Vitali covering lemma → relatedTo → Lebesgue differentiation theorem ⓘ

Denjoy–Young–Saks theorem → relatedTo → Lebesgue differentiation theorem ⓘ

All labels observed (4)

How this entity was disambiguated Show

Statements (48)

How these facts were elicited Show

Referenced by (8)

How this entity was disambiguated

How these facts were elicited