Ngô Quốc Anh

May 28, 2008

Lebesgue’s density theorem

Filed under: Nghiên Cứu Khoa Học — Ngô Quốc Anh @ 3:25

In mathematics, Lebesgue’s density theorem states that for any Lebesgue measurable set A, 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

 d_\varepsilon(x)=\frac{\mu(A\cap B_\varepsilon(x))}{\mu(B_\varepsilon(x))}

where Bε denotes the closed ball of radius ε centered at x.

Lebesgue’s density theorem asserts that for almost every point of A the density

 d(x)=\lim_{\varepsilon\to 0} d_{\varepsilon}(x)

exists and is equal to 1.

In other words, for every measurable set A the density of A is 0 or 1 almost everywhere in Rn. However, it is a curious fact that 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.


Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Create a free website or blog at

%d bloggers like this: