measure zero in n

0.1 Measure Zero in n

In n with the Lebesgue measureMathworldPlanetmath m there is a characterizationMathworldPlanetmath of the sets that have measure zeroMathworldPlanetmath.

TheoremMathworldPlanetmath - A subset Xn has zero Lebesgue measure if and only if for every ϵ>0 there is a sequence of compact rectangles {Ri}i that cover X and such that im(Ri)<ϵ.

0.2 Measure Zero Avoiding Measure Theory

In some circumstances one may want to avoid the whole of Lebesgue measure and integration and still be interested in having a notion of measure zero, like for example when studying Riemann integrals or constructing the Lebesgue measure from an historical of view. Another interesting example where sets of measure zero arise and there is no reason to introduce measuresMathworldPlanetmath or integrals is when studying the of sets where a function of bounded variation is not differentiableMathworldPlanetmathPlanetmath (this sets have always measure zero).

Nevertheless, the notion of measure zero is not lost in this situation. Since the Lebesgue measure of compact rectangles can be easily calculated and defined from the start (see Jordan content of an n-cell ( for example), the condition stated in the previous theorem can be taken as the definition of measure zero.

Definition - A set X in n is said to have measure zero if for every ϵ>0 there is a sequence of compact rectangles {Ri}i that cover X and such that im(Ri)<ϵ, where m is the Jordan content (

Similarly, the notion of almost everywhere remains essentially the same. One just has to work with the previous definition.

Title measure zero in n
Canonical name MeasureZeroInmathbbRn
Date of creation 2013-03-22 17:57:11
Last modified on 2013-03-22 17:57:11
Owner asteroid (17536)
Last modified by asteroid (17536)
Numerical id 6
Author asteroid (17536)
Entry type Theorem
Classification msc 28A05