![](http://image.absoluteastronomy.com/images//topicimages/noimage.gif)
Lebesgue point
Encyclopedia
In mathematics
, given a Lebesgue integrable function
, a point
in the domain of
is a Lebesgue point if
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-4.gif)
Here,
is the ball centered at
with radius
, and
is the Lebesgue measure
of that ball. The Lebesgue points of
are thus points where
does not oscillate too much, in an average sense.
The Lebesgue differentiation theorem
states that, given any
, almost every
is a Lebesgue point.
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
, given a Lebesgue integrable function
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-1.gif)
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-2.gif)
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-3.gif)
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-4.gif)
Here,
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-5.gif)
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-6.gif)
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-7.gif)
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-8.gif)
Lebesgue measure
In measure theory, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of n-dimensional Euclidean space. For n = 1, 2, or 3, it coincides with the standard measure of length, area, or volume. In general, it is also called...
of that ball. The Lebesgue points of
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-9.gif)
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-10.gif)
The Lebesgue differentiation theorem
Lebesgue differentiation theorem
In mathematics, the Lebesgue differentiation theorem is a theorem of real analysis, which states that for almost every point, the value of an integrable function is the limit of infinitesimal averages taken about the point...
states that, given any
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-11.gif)
Almost everywhere
In measure theory , a property holds almost everywhere if the set of elements for which the property does not hold is a null set, that is, a set of measure zero . In cases where the measure is not complete, it is sufficient that the set is contained within a set of measure zero...
![](http://image.absoluteastronomy.com/images/formulas/1/1/2119783-12.gif)