In which we define integration.
- We focus on a bounded function on a closed interval , Definition of a dissection of the interval . Definition of the upper sum and lower sum of with respect to .
- Lemma 45 If and are dissections with , then . We proved this by adding one point at a time to .
- Lemma 46 Let and be any two dissections. Then . This was easy with the help of Lemma 45, but is crucial to making our definition of integration work.
- Definition of the upper integral and the lower integral .
- Lemma 47 We have . This was immediate from Lemma 46.
- Definition of what it means for to be Riemann integrable.
Understanding today’s lecture
It would be a good idea to work through the various definitions and results that we had today for some examples, to get a feel for what they mean. Pick a function and a dissection. (I suggest a friendly function like a constant function or to get started!) What are the upper and lower sums? Can you find the upper and lower integrals?
It would be an excellent idea to pick some examples of functions and see whether they are Riemann integrable, working directly from this definition. Next time, we’ll encounter a handy criterion that can make it easier to determine whether a function is Riemann integrable, but this doesn’t give the same insight into how the definition works. Before you start thinking about difficult functions like sine, I suggest that you start with simpler functions like constant functions, or step functions, or polynomials of small degree.
Riemann integrability is another good property that you could usefully add to your functions grid (even if you’re not yet in a position to decide whether many functions actually are Riemann integrable).
This is a good topic to look up in an introductory analysis or calculus book.
There’s a bit about the history of calculus on MacTutor.
Preparation for Lecture 20
What properties do we hope that the integral will have? Can you prove them from the definition?
Can you think of any classes of functions that might be Riemann integrable? Can you prove that they really are Riemann integrable?