## Lebesgue’s Condition

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 Riemann integrable on that interval if and only if the set of discontinuities of has measure zero. Our proof will go proceed by way of our condition in terms of Jordan content.

As in our proof of this latter condition, we define

and by our earlier condition we know that for all . In particular, it holds for for all natural numbers .

If is a point where is discontinuous, then the oscillation must be nonzero, and so for some . That is

Since , we also have , and therefore have as well.

Conversely, let’s assume that . Given an , we know that is a closed set contained in . From this, we conclude that . Since this is true for all , the Jordan content condition holds, and is Riemann integrable.

## Some Sets of Measure Zero

Here’s a useful little tool:

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

Then it turns out that as well.

To see this, pick some . For each set we can pick a Lebesgue covering of so that . We can throw *all* the intervals in each of the together into one big collection , which will be a Lebesgue covering of all of . Indeed, the union of a countable collection of countable sets is still countable. We calculate the volume of this covering:

where the final summation converges because it’s a geometric series with initial term and ratio . This implies that .

As an example, a set consisting of a single point has measure zero because we can put it into an arbitrarily small open box. The result above then says that any countable collection of points in also has measure zero. For instance, the collection of rational numbers in is countable (as Kate mentioned in passing recently), and so it has measure zero. The result is useful because otherwise it might be difficult to imagine how to come up with a Lebesgue covering of all the rationals with arbitrarily small volume.

## Outer Lebesgue Measure and Content

Before I begin, I’d like to mention something in passing about Lebesgue measure. It’s pronounced “luh-bayg”. The “e” is a long “a”, the “s” is completely silent, and the “gue” is like in “analogue”. Moving on…

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

First off, if is a bounded subset of -dimensional Euclidean space, then we have . Indeed, if it’s bounded, then we can put it into a box , and choose a partition of this box. List out the -dimensional intervals of which contain points of as for . Then by definition we have

Now given an , define the open -dimensional intervals . These form a Lebesgue covering of for which

Thus , and passing to the infimum we find . Since is arbitrary, we have .

Secondly, if is bounded, and is a compact subset, then . Start by putting into a box , and take some . We can find a Lebesgue covering of so that , and this will also cover . Since is compact, we can pick out a finite collection of open intervals which still manage to cover . Finally, we can choose a partition of so that the corners of each interval in are partition points. Given all of these choices, we find

And since is arbitrary we conclude .

Finally, putting these two results together we can see that if is a compact set, then .

## 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 .

## Jordan Content Integrability Condition

We wanted a better necessary and sufficient condition for integrability than Riemann’s condition, and now we can give a result halfway to our goal. We let be a bounded function defined on the -dimensional interval .

The condition hinges on defining a certain collection of sets. For every we define the set

of points where the oscillation exceeds the threshold value . The first thing to note about is that it’s a closed set. That is, it should contain all its accumulation points. So let be such an accumulation point and assume that is *isn’t* in , so . So there must exist a neighborhood of so that and this means that for *any* point , and so none of these points can be in . But if this is the case, then can’t be an accumulation point of , and so we must have .

And now for our condition. The function is integrable if and only if the Jordan content for every .

We start by assuming that for some , and we’ll show that Riemann’s condition can’t hold. Given a partition of we calculate the difference between the upper and lower sums

where is the part of the sum involving subintervals which contain points of and is the rest. The intervals in have total length , and in these intervals we must have

because if the difference were less then the subinterval would be a neighborhood with oscillation less than and thus couldn’t contain any points in . Thus we conclude that , and the difference between the upper and lower sums is at least as big that. This happens no matter what partition we pick, and so the upper and lower integrals must also differ by at least this much, violating Riemann’s condition. Thus if the function is integrable, we must have .

Conversely, take an arbitrary and assume that . For this to hold, there must exist a partition so that . In each of the subintervals not containing points of , we have for all in the subinterval. Then we know there exists a so that we can subdivide the subinterval into smaller subintervals each with a diameter less than , and the oscillation on each of these subintervals will be less than . We will call this refined partition .

Now, if is finer than , we can again write

where again contains the terms from subintervals containing points in and is the remainder. In all of these latter subintervals we know the difference between the maximum and minimum values of is less than , and so

For , on the other hand, we let and be the supremum and infimum of on all of , and we find

Thus we conclude that

Since this inequality is valid for any , we see that Riemann’s condition must hold.

## From Local Oscillation to Neighborhoods

When we defined oscillation, we took a limit to find the oscillation “at a point”. This is how much the function changes due to its behavior within every neighborhood of a point, no matter how small. If the function has a jump discontinuity at , for instance, it shows up as an oscillation in . We now want to investigate to what extent such localized oscillations contribute to the oscillation of over a spread-out neighborhood of a point.

To this end, let be some bounded function on a compact region . Given an , assume that for every point . Then there exists a so that for every closed neighborhood we have whenever the diameter of is less than . The diameter, incidentally, is defined by

in a metric space with distance function . That is, it’s the supremum of the distance between any two points in .

Anyhow, for each we have some metric ball so that

because by picking a small enough neighborhood of we can bring the oscillation over the neighborhood within any positive distance of . This is where we use the assumption that .

The collection of all the half-size balls forms an open cover of . Thus, since is compact, we have a finite subcover. That is, the half-size balls at some finite collection of points still covers . We let be the smallest of these radii .

Now if is some closed neighborhood with diameter less than , it will be partially covered by at least one of these half-size balls, say . The corresponding full-size ball then fully covers . Further, we chose this ball so that the , and so we have

and we’re done.

## Oscillation

Oscillation in a function is sort of a local and non-directional version of variation. If is a bounded function on some region , and if is a nonempty subset of , then we define the oscillation of on by the formula

measuring the greatest difference in values of on .

We also want a version that’s localized to a single point . To do this, we first note that the collection of all subsets of which contain form a poset as usual by inclusion. But we want to reverse this order and say that if and only if .

Now for any two subsets and , their intersection is another such subset containing . And since it’s contained in both and , it’s above both of them in our partial order, which makes this poset a directed set, and the oscillation of is a net.

In fact, it’s easy to see that if then , so this net is monotonically decreasing as the subset gets smaller and smaller. Further, we can see that , since if we can always consider the difference , the supremum must be at least this big.

Anyhow, now we know that the net has a limit, and we define

where is a subset of containing , and we take the limit as gets smaller and smaller.

In fact, this is slightly overdoing it. Our domain is a topological subspace of , and is thus a metric space. If we want we can just work with metric balls and define

where is the ball of radius around . These definitions are exactly equivalent in metric spaces, but the net definition works in more general topological spaces, and it’s extremely useful in its own right later, so it’s worth thinking about now.

Oscillation provides a nice way to restate our condition for continuity, and it works either using the metric space definition or the neighborhood definition of continuity. I’ll work it out in the latter case for generality, but it’s worth writing out the parallel proof for the - definition.

Our assertion is that is continuous at a point if and only if . If is continuous, then for every there is some neighborhood of so that for all . Then we can check that

for all and in , and so . Further, any smaller neighborhood of will also satisfy this inequality, so the net is eventually within of . Since this holds for any , we find that the net has limit .

Conversely, let’s assume that the oscillation of at is zero. That is, for any we have some neighborhood of so that , and the same will automatically hold for smaller neighborhoods. This tells us that for all , and also . Together, these tell us that , and so is continuous at .

## Jordan Content and Boundaries

As a first exercise working with Jordan content, let’s consider how it behaves at the boundary of a region.

I’ve used this term a few times when it’s been pretty clear from context, but let me be clear. We know about the interior and closure of a set, and particularly of a subset of . The boundary of such a set will consist of all the points in the closure of the set, but not in its interior. That is, we have

That is, a point is in if , but any neighborhood of contains points not in .

So let’s put inside a box and partition the box with a partition . When we calculate , we include all the subintervals that we do when we calculate , along with some other subintervals which contain both points within and points not in . I say that each of these are exactly the subintervals which contain points in . Indeed, if a subinterval contains a point of it cannot be included when calculating , but must be included when calculating . Inversely, if a subinterval contains no point of then it is either contained completely within — and is included in both calculations — or it is contained completely within the complement of — and is contained in neither computation. Thus we have the relation

which we rewrite

We can then pass to infima to find

Check this carefully to see how the equality is weakened to an inequality.

On the other hand, given any we can pick partitions so that and so that . We let be a common refinement of and , which will then satisfy both of these inequalities. We find

since is arbitrary, we find .

Together with the previous result, we conclude that . In particular, we find that is Jordan measurable if and only if .

## Jordan Content

We’ve got Riemann’s condition, which is necessary and sufficient to say that a given function is integrable on a given interval. In one dimension, this really served us well, because it let us say that continuous functions were integrable. We could break a piecewise continuous function up into intervals on which it was continuous, and thus integrable, and this got us almost every function we ever cared about.

But in higher dimensions it’s not quite so nice. The region on which a function is continuous may well be irregular, and it often is for many functions we’re going to be interested. We need a more robust necessary and sufficient condition than Riemann’s. And towards this end we need to introduce a few concepts from measure theory. I want to say at the outset, though, that this will not be a remotely exhaustive coverage of measure theory (yet). Mostly we need to build up the concept of a set in a Euclidean space having Lebesgue measure zero, and the related notion of Jordan content.

So let’s say we’ve got a set bounded . Put it inside an -dimensional box — an interval . Then partition this interval with some partition like we did when we set up higher-dimensional Riemann sums. Then we just count up all the subintervals in the partition that are completely contained in the interior and add their volumes together. This is the volume of some collection of boxes which is completely contained within , and we call this volume .

Any reasonable definition of “volume” would have to say that since contains this collection of boxes, the volume of must be greater than the volume . Further, as we refine any box which was previously contained in will still have all of its subdivisions contained in , but boxes which were only partially contained in may now have subdivisions completely contained in . And so if is a refinement of , then . That is, we have a monotonically increasing net. We then define the “lower Jordan content” of by taking the supremum

sort of like how the lower integral is the supremum of all the lower Riemann sums. In fact, this is the lower integral of the characteristic function , which is defined to be on elements of and elsewhere. If a subinterval contains any points not in the lowest sample will be , but otherwise the sample must be , and the lower Riemann sum for the subdivision is .

It should be clear, by the way, that this doesn’t really depend on the interval we start with. Indeed, if we started with a different interval that also contains , then we can immediately partition each one so that one subinterval is the intersection with the other one, and this intersection contains all of anyway. Then we can throw away all the other subintervals in these initial partitions because they don’t touch at all, and the rest of the calculations proceed exactly as before, and we get the same answer in either case.

Similarly, given a partition of an interval containing a set we could count up the volumes of all the subintervals that contain any point of the closure at all. This gives the volume of a collection of boxes that together contains all of , and we call this total volume . Again, since the whole of is contained in this collection of boxes, the volume of will be less than . And this time as we refine the partition we may throw out subdivisions which no longer touch any point of , so this net is monotonically decreasing. We define the “upper Jordan content” of by taking the infimum

Again, this doesn’t depend on the original interval containing , and for the same reason. As before, we find that an upper Riemann sum for the characteristic function of is , so the upper Jordan content is the upper integral of .

If is well-behaved, we will find . In this case we say that is “Jordan measurable”, and we define the Jordan content to be this common value. By Riemann’s condition, we find that

## Upper and Lower Integrals and Riemann’s Condition

Yesterday we defined the Riemann integral of a multivariable function defined on an interval . We want to move towards some understanding of when a given function is integrable on a given interval .

First off, we remember how we set up Darboux sums. These were given by prescribing specific methods of tagging a given partition . In one, we always picked the point in the subinterval where attained its maximum within that subinterval, and in the other we always picked the point where attained its minimum. We even extended these to the Riemann-Stieltjes case and built up upper and lower integrals. And we can do the same thing again.

Given a partition of and a function defined on , we define the upper Riemann sum by

In each subinterval we pick a sample point which gives the largest possible sample function value in that subinterval. We similarly define a lower Riemann sum by

As before, any Riemann sum must fall between these upper and lower sums, since the value of the function on each subinterval is somewhere between its maximum and minimum.

Just like when we did this for single-variable Riemann-Stieltjes integrals, we find that these nets are monotonic. That is, if is a refinement of , then and . As we refine the partition, the upper sum can only get smaller and smaller, while the lower sum can only get larger and larger. And so we define

The upper integral is the infimum of the upper sums, while the lower integral is the supremum of the lower sums.

Again, as before we find that the upper integral is convex over its integrand, while the lower integral is concave

and if we break up an interval into a collection of nonoverlapping subintervals, the upper and lower integrals over the large interval are the sums of the upper and lower integrals over each of the subintervals, respectively.

And, finally, we have Riemann’s condition. The function satisfies Riemann’s condition on we can make upper and lower sums arbitrarily close. That is, if for every there is some partition so that . In this case, the upper and lower integrals will coincide, and we can show that is actually integrable over . The proof is almost exactly the same one we gave before, and so I’ll just refer you back there.