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 limiting average taken around the point. The theorem is named for Henri Lebesgue.
Statement For a Lebesgue integrable real or complex-valued function f on Rn, the indefinite integral is a set function which maps a measurable set A to the Lebesgue integral of f ⋅ 1 A {\displaystyle f\cdot \mathbf {1} _{A}} , where 1 A {\displaystyle \mathbf {1} _{A}} denotes the characteristic function of the set A. It is usually written
A ↦ ∫ A f d λ , {\displaystyle A\mapsto \int _{A}f\ \mathrm {d} \lambda ,} with λ the n–dimensional Lebesgue measure. The derivative of this integral at x is defined to be
lim B → x 1 | B | ∫ B f d λ , {\displaystyle \lim _{B\to x}{\frac {1}{|B|}}\int _{B}f\,\mathrm {d} \lambda ,}
where |B| denotes the volume (i.e., the Lebesgue measure) of a ball B centered at x, and B → x means that the diameter of B tends to 0. The Lebesgue differentiation theorem (Lebesgue 1910) states that this derivative exists and is equal to f(x) at almost every point x ∈ Rn. In fact a slightly stronger statement is true. Note that:
| 1 | B | ∫ B f ( y ) d λ ( y ) − f ( x ) | = | 1 | B | ∫ B ( f ( y ) − f ( x ) ) d λ ( y ) | ≤ 1 | B | ∫ B | f ( y ) − f ( x ) | d λ ( y ) . {\displaystyle \left|{\frac {1}{|B|}}\int _{B}f(y)\,\mathrm {d} \lambda (y)-f(x)\right|=\left|{\frac {1}{|B|}}\int _{B}(f(y)-f(x))\,\mathrm {d} \lambda (y)\right|\leq {\frac {1}{|B|}}\int _{B}|f(y)-f(x)|\,\mathrm {d} \lambda (y).}
The stronger assertion is that the right hand side tends to zero for almost every point x. The points x for which this is true are called the Lebesgue points of f. A more general version also holds. One may replace the balls B by a family V {\displaystyle {\mathcal {V}}} of sets U of bounded eccentricity. This means that there exists some fixed c > 0 such that each set U from the family is contained in a ball B with | U | ≥ c | B | {\displaystyle |U|\geq c\,|B|} . It is also assumed that every point x ∈ Rn is contained in arbitrarily small sets from V {\displaystyle {\mathcal {V}}} . When these sets shrink to x, the same result holds: for almost every point x,
f ( x ) = lim U → x , U ∈ V 1 | U | ∫ U f d λ . {\displaystyle f(x)=\lim _{U\to x,\,U\in {\mathcal {V}}}{\frac {1}{|U|}}\int _{U}f\,\mathrm {d} \lambda .}
… excerpt ends here. Continue reading the full article.
