Interactive Real Analysis - part of

Next | Previous | Glossary | Map | Discussion

Lemma 7.1.10: Riemann Lemma

Suppose f is a bounded function defined on the closed, bounded interval [a, b]. Then f is Riemann integrable if and only if for every > 0 there exists at least one partition P such that
| U(f,P) - L(f,P) | <


One direction is simple: If f is Riemann integrable, then I*(f) = I*(f) = L. By the properties of sup and inf we know: Take the partition P' that is the common refinement of P and Q. Then we know that: Taking this together we have: Multiplying the second inequality by -1 and adding it to the first gives:
0 > U(f,P') - L(f,P') -
or equivalently:
> U(f,P') - L(f,P') = | U(f, P') - L(f, P')|
Therefore we found a particular partition (namely P') such that
| U(f, P') - L(f, P')| <
for any given .

The other direction is a little bit harder: Assume that for every > 0 we can find one partition P such that

| U(f, P) - L(f, P)| <
We then need to show that I*(f) - I*(f)| <

We will do that later.

Next | Previous | Glossary | Map | Discussion