## Outer Lebesgue Measure

We’re still not quite to a very usable condition to determine integrability, so we need to further refine the idea of Jordan content. We want to get away from two restrictions in our definition of Jordan content.

First, we have some explicit box within which we make our calculations. We showed the choice of such a box is irrelevant, but it’s still inelegant to have to make the choice in the first place. It’s also annoying to have to deal with all the subintervals in the box that *aren’t* involved in the set at all. More importantly, we’re restricted to cutting the box up into a finite number of pieces. We can gain some flexibility if we allow a countably infinite number of pieces, and allow ourselves to take limits. Limits will also allow us to avoid having to take the closure of the set we’re really interested in. We can still deal with boundary points, because we can take get them in limits of open sets.

Okay, so let be a set in -dimensional space. A Lebesgue covering of is a countable collection of open -dimensional intervals so that each point of lies in at least one of the intervals. If is the -dimensional volume of the th interval, then the -dimensional volume of the cover is defined as

as long as this infinite series converges, and define it to be if the series diverges. We then define the outer Lebesgue measure as the infimum

over all Lebesgue covers of . This may seem odd, since two intervals in a Lebesgue cover may overlap, and so that volume ends up getting counted twice, but it’s supposed to be an overestimate of the “volume” of , and in practice more refined Lebesgue covers can shrink such overlaps down arbitrarily small.

We also allow for the possibility that there may be only finitely many intervals in our cover. In this case, the infinite series above is simply a finite sum. For example, if is bounded, we can put it into some large enough interval , which is then a Lebesgue cover itself. We then find that .

We’re most concerned with the case when , and we then say that is a set of measure zero. There is a corresponding notion of inner Lebesgue measure, which we will not describe (yet), and the inner measure is always less than the outer measure and greater than zero. Thus if the outer measure is zero, then the inner measure must be as well.

It should also be clear, by the way, that if then we have the inequality .

[...] is, as we might expect, a relationship between outer Lebesgue measure and Jordan content, some aspects of which we will flesh out [...]

Pingback by Outer Lebesgue Measure and Content « The Unapologetic Mathematician | December 11, 2009 |

[...] be a countable collection of sets of measure zero in . That is, for all . We define to be the [...]

Pingback by Some Sets of Measure Zero « The Unapologetic Mathematician | December 14, 2009 |

[...] At last we come to Lebesgue’s condition for Riemann-integrability in terms of Lebesgue measure. It asserts, simply enough, that a bounded function defined on an -dimensional interval is [...]

Pingback by Lebesgue’s Condition « The Unapologetic Mathematician | December 15, 2009 |

[...] whole line for some fixed ? This line can be contained in an arbitrarily thin rectangle, so it has outer Lebesgue measure zero in the rectangle . If these are the only discontinuities, then is integrable on , but we [...]

Pingback by Iterated Integrals I « The Unapologetic Mathematician | December 16, 2009 |

[...] of all, we observe that any hyperplane has measure zero, and so any finite collection of them will too. Thus the collection of all the hyperplanes [...]

Pingback by The Existence of Bases for Root Systems « The Unapologetic Mathematician | February 2, 2010 |

[...] can also tie our current measure back to the concept of outer Lebesgue measure we introduced before. Back then, we defined the “volume” of a collection of open [...]

Pingback by Borel Sets and Lebesgue Measure « The Unapologetic Mathematician | April 20, 2010 |