Lebesgue's density theorem
In mathematics, Lebesgue's density theorem states that for any Lebesgue measurable set , the "density" of A is 0 or 1 at almost every point in . Additionally, the "density" of A is 1 at almost every point in A. Intuitively, this means that the "edge" of A, the set of points in A whose "neighborhood" is partially in A and partially outside of A, is negligible.
Let μ be the Lebesgue measure on the Euclidean space Rn and A be a Lebesgue measurable subset of Rn. Define the approximate density of A in a ε-neighborhood of a point x in Rn as
where Bε denotes the closed ball of radius ε centered at x.
Lebesgue's density theorem asserts that for almost every point x of A the density
exists and is equal to 0 or 1.
In other words, for every measurable set A, the density of A is 0 or 1 almost everywhere in Rn.[1] However, if μ(A) > 0 and μ(Rn \ A) > 0, then there are always points of Rn where the density is neither 0 nor 1.
For example, given a square in the plane, the density at every point inside the square is 1, on the edges is 1/2, and at the corners is 1/4. The set of points in the plane at which the density is neither 0 nor 1 is non-empty (the square boundary), but it is negligible.
The Lebesgue density theorem is a particular case of the Lebesgue differentiation theorem.
Thus, this theorem is also true for every finite Borel measure on Rn instead of Lebesgue measure, see Discussion.
See also
- Lebesgue differentiation theorem – Mathematical theorem in real analysis
References
- ^ Mattila, Pertti (1999). Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability. ISBN 978-0-521-65595-8.
- Hallard T. Croft. Three lattice-point problems of Steinhaus. Quart. J. Math. Oxford (2), 33:71-83, 1982.
This article incorporates material from Lebesgue density theorem on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
- v
- t
- e
- Absolute continuity of measures
- Lebesgue integration
- Lp spaces
- Measure
- Measure space
- Probability space
- Measurable space/function
- Almost everywhere
- Atom
- Baire set
- Borel set
- Borel space
- Carathéodory's criterion
- Cylindrical σ-algebra
- 𝜆-system
- Essential range
- Locally measurable
- π-system
- σ-algebra
- Non-measurable set
- Null set
- Support
- Transverse measure
- Universally measurable
- Atomic
- Baire
- Banach
- Besov
- Borel
- Brown
- Complex
- Complete
- Content
- (Logarithmically) Convex
- Decomposable
- Discrete
- Equivalent
- Finite
- Inner
- (Quasi-) Invariant
- Locally finite
- Maximising
- Metric outer
- Outer
- Perfect
- Pre-measure
- (Sub-) Probability
- Projection-valued
- Radon
- Random
- Regular
- Saturated
- Set function
- σ-finite
- s-finite
- Signed
- Singular
- Spectral
- Strictly positive
- Tight
- Vector
- Carathéodory's extension theorem
- Convergence theorems
- Decomposition theorems
- Egorov's
- Fatou's lemma
- Fubini's
- Hölder's inequality
- Minkowski inequality
- Radon–Nikodym
- Riesz–Markov–Kakutani representation theorem
| |
For Lebesgue measure |
---|