a repository of mathematical know-how

Bounded functions that behave almost everywhere are Riemann integrable

Quick description

This article is about a principle that often helps in proofs that functions are Riemann integrable. The idea is that if the difficulties can somehow be contained in a union of intervals of small total length, then you are OK.


Basic undergraduate real analysis.

Example 1

Let [0,1]\rightarrow\R be defined by setting f(x)=\sin(1/x) if x>0 and f(x)=0 if x=0. Then f is Riemann integrable.

To prove this we use Riemann's criterion: f is integrable if for every \epsilon>0 we can find a dissection \mathcal{D} such that the upper sum S_{\mathcal{D}}f and the lower sum s_{\mathcal{D}}f differ by at most \epsilon. We also use the fact that every continuous function on a closed bounded interval is Riemann integrable.

The second fact implies that \sin(1/x) is integrable between \delta and 1 for every \delta>0. Riemann's criterion tells us both that it is enough to find a dissection with upper and lower sums that are close and that we can find such a dissection if we just look at the interval [\delta,1]. But in that case, we can simply choose a dissection of [\delta,1] such that the upper and lower sums differ by at most \epsilon/2, and turn it into a dissection of [0,1] by adding the interval [0,\delta] to the beginning. What can this extra interval [0,\delta] contribute to the difference between the upper and lower sums? At most 2\delta, since no two values of \sin(1/x) differ by more than 2. So if we choose \delta to be \epsilon/4, then the complete dissection has upper and lower sums that differ by at most \epsilon/2+2\epsilon/4=\epsilon.

General discussion

The basic idea of the above proof was that the only point where a problem arises is 0. So we contain 0 in a very small interval and don't bother to cut that interval up in a clever way: instead we simply use the fact that it is thin and not too tall. As for the rest of [0,1], there we don't have any trouble because f is continuous, so we use known facts to find a good dissection of that part.

Example 2

Let [0,1]\rightarrow\R be defined as follows. If x is irrational, then f(x)=0. If x=p/q, where p and q are non-negative integers with highest common factor 1, then f(x)=1/q. Then f is Riemann integrable.

Here, we have infinitely many discontinuities (one at every rational), so our job is less easy. However, the discontinuity at p/q is only a jump of 1/q, and we can exploit this as follows. Suppose we are trying to find a dissection with upper and lower sums that differ by at most \epsilon. First let n be a positive integer greater than 2/\epsilon. Now if I is any interval that contains no rational with denominator less than n, then the supremum of f over all x\in I is less than 1/n, and the infimum is 0. So the contribution I makes to the difference between the upper and lower sums of a dissection that includes I is at most 1/n times the width of I. Therefore, the total contribution from all such intervals is at most 1/n<\epsilon/2. So what do we do now? Well. there are at most n^2 rationals in [0,1] with denominator less than n. Around each one put an interval of width at most \epsilon/2n^2. Call these the bad intervals. Then add in some other intervals to make up a dissection of [0,1], and call these ones the good intervals. Then the total contribution to the difference between the upper and lower sums is at most n^2\epsilon/2n^2=\epsilon/2 from the bad intervals and \epsilon/2 from the good intervals, so we are done.

General discussion

In the first example, there is only one difficult point: x=0. In the second, the situation is more subtle: there are difficulties at all rationals, but they become less and less severe as the denominators increase, and there are only finitely many rationals of any given denominator.

The method explained here is a special case of the divide and conquer trick.


Post new comment

(Note: commenting is not possible on this snapshot.)

Before posting from this form, please consider whether it would be more appropriate to make an inline comment using the Turn commenting on link near the bottom of the window. (Simply click the link, move the cursor over the article, and click on the piece of text on which you want to comment.)