Lebesgue Measure - Null Sets

Null Sets

A subset of Rn is a null set if, for every ε > 0, it can be covered with countably many products of n intervals whose total volume is at most ε. All countable sets are null sets.

If a subset of Rn has Hausdorff dimension less than n then it is a null set with respect to n-dimensional Lebesgue measure. Here Hausdorff dimension is relative to the Euclidean metric on Rn (or any metric Lipschitz equivalent to it). On the other hand a set may have topological dimension less than n and have positive n-dimensional Lebesgue measure. An example of this is the Smith–Volterra–Cantor set which has topological dimension 0 yet has positive 1-dimensional Lebesgue measure.

In order to show that a given set A is Lebesgue measurable, one usually tries to find a "nicer" set B which differs from A only by a null set (in the sense that the symmetric difference (AB) (BA) is a null set) and then show that B can be generated using countable unions and intersections from open or closed sets.

Read more about this topic:  Lebesgue Measure

Famous quotes containing the words null and/or sets:

    A strong person makes the law and custom null before his own will.
    Ralph Waldo Emerson (1803–1882)

    Nothing sets a person up more than having something turn out just the way it’s supposed to be, like falling into a Swiss snowdrift and seeing a big dog come up with a little cask of brandy round its neck.
    Claud Cockburn (1904–1981)