*In which we study further properties of the integral, and find a large class of functions that are integrable.*

- Lemma 50
*If is integrable, then so is .*

*If , are integrable, then so is the pointwise product .*

We proved (i) using our criterion for integrability, Theorem 48, and then we deduced (ii) from (i) (despite the fact that (i) is a special case of (ii)!).

- Lemma 51
*If is integrable, then so is defined by .*

*If is integrable, then so is , and .*

For (i), we used our criterion for integrability yet again, and then we deduced (ii) from it. This was slightly reminiscent of our proof that absolute convergence of a series implies convergence: splitting into non-negative and negative parts and then recombining to obtain the original or the absolute value of the original.

- Lemma 52
*Let be a bounded function, and take . Then is integrable on if and only if is integrable on and is integrable on . Furthermore, if is integrable on then .*The proof is an exercise. - Theorem 53
*If is increasing, then is Riemann integrable.*To prove this, we used the criterion for integrability and picked a dissection of into very narrow intervals of the same width. - Corollary 54
*If can be written as where , are increasing, then is Riemann integrable.*

*If is piecewise monotone, then is Riemann integrable.*

This was straightforward using Theorem 53 and our earlier work on the basic properties of the integral.

- I handed out the fourth examples sheet.

#### Understanding today’s lecture

Can you prove Lemma 52?

What other questions might you ask yourself?

#### Further reading

There’s an interesting Tricki article on a useful approach when trying to show that an explicit example of a function is Riemann integrable. In fact, there’s a Tricki page at a higher level with lots of interesting thoughts about integration (and an interesting problem right at the bottom of the page).

If you’re interested, then you might like to look up uniform continuity (in a book or online), but it’s not part of this course so you can wait until Analysis II if you prefer.

#### Preparation for Lecture 22

Is a continuous function necessarily integrable? Can you justify your answer?

What is the connection between differentiation and integration? How can we make this precise?

March 8, 2013 at 9:39 am

Can you give me a hint for the problem on the Tricki page?

March 8, 2013 at 12:30 pm

I think that this is a good “Go and think about it” question, so I don’t want to spoil people’s fun by giving a hint…

March 8, 2013 at 4:56 pm

People who want to have fun with the problem have either solved it already or are not going to read the comments… 😉