In which we study some basic properties of the integral.
- Theorem 48 (Criterion for Riemann integrability) A bounded function is Riemann integrable if and only if given any there is a dissection with . We proved this from the definition of Riemann integration.
- Lemma 49
- The function defined by for all is integrable, and .
- If , are integrable, then so is , and .
- If is integrable, then so is , and .
- If is integrable, then so is for any , and .
- If , are integrable and for all , then .
Theorem 48 was rather useful for this.
- Lemma 50
- If is integrable then so is .
- If , are integrable, then so is the pointwise product .
We’ll prove this next time.
Understanding today’s lecture
Hopefully you’ve tried to use the definition of Riemann integration to show that certain functions are or are not Riemann integrable. What happens if you try to use Theorem 48? Are there functions for which it’s easier to use the definition? Are there functions for which it’s easier to use Theorem 48?
We’re in the midst of doing stuff with the Riemann integral, so the same comments apply here as in the last post. Inevitably Wikipedia has a page about Riemann integration.
Preparation for Lecture 21
Can you prove the first part of Lemma 50 (using our criterion for integrability or in any other way)? Can you deduce the second part from the first?
Is an increasing function necessarily Riemann integrable?
Is a continuous function necessarily Riemann integrable?