4
$\begingroup$

W. Rudin has the following exercise, "to convince the reader of the power of Lebesgue integration".

Let $0 \leq f_n \leq 1$ be continuous functions from $[0,1]$ to $\mathbb R$, such that they converge pointwise to $0$. Prove that their integrals converge to $0$, without using any Lebesgue theory.

How to do this?

  • 0
    Rudin cites two beautiful pape$r$s dating back to 1967 and 1970. I have them, and the bounded convergence theorem for Riemann integrals is proved in details. But it is a really technical proof, too long to be copied here.2012-09-25

1 Answers 1

6

In my opinion, the best solution is contained in a paper by Luxemburg, Arzelà's dominated convergence theorem for the Riemann integral, American Math. Monthly 78 (1971), available here but not for free.

It is very nice to read this paper, and the proof is essentially elementary. Please do not ask me to copy it in my answer, since it takes a few pages :-)

  • 0
    [relevant](http://books.google.co.cr/books?id=yJEtjnykjYEC&pg=PA18&dq=elementary+proof+of+Arzel%C3%A0's+bounded+convergence+theorem&hl=es&sa=X&ei=OHPXUNPIHYew2QXRy4DgBQ&ved=0CDcQ6AEwAQ#v=onepage&q=elementary%20proof%20of%20Arzel%C3%A0's%20bounded%20convergence%20theorem&f=false)2012-12-23