## The Monotone Convergence Theorem

We want to prove a strengthening of the dominated convergence theorem. If is an a.e. increasing sequence of extended real-valued, non-negative, measurable functions, and if converges to pointwise a.e., then

If is integrable, then dominates the sequence , and so the dominated convergence theorem itself gives us the result we assert. What we have to show is that if , then the limit diverges to infinity. Or, contrapositively, if the limit doesn’t diverge then must be integrable.

But this is the limit of a sequence of real numbers, and so if it converges then it’s Cauchy. That is, we can conclude that

Our assumption that is a.e. increasing tells us that for any fixed and , the difference is either a.e. non-negative or a.e. non-positive. That is,

And thus the sequence is mean Cauchy, and thus mean convergent to some integrable function , which must be equal to almost everywhere.

One nice use of this is when talking about series of functions. If is a sequence of integrable functions so that

then I say that the series

converges a.e. to an integrable function , and further that

To see this, we let be the partial sum

which gives us a pointwise increasing sequence of non-negative measurable functions. The monotone convergence theorem tells us that these partial sums converge pointwise to some and that

But this is exactly the sum we assumed to converge before. Thus the function is integrable and the series of the is absolutely convergent. That is, since must be a.e. finite, the series

is absolutely convergent for almost all , and so it must be convergent pointwise almost everywhere. Since dominates the partial sums

the bounded convergence theorem tells us that limits commute with integrations here, and thus that

[...] means we can bring the monotone convergence theorem to bear. This tells us [...]

Pingback by Fatou’s Lemma « The Unapologetic Mathematician | June 16, 2010 |

[...] functions overall are handled by using their positive and negative parts. Then you can prove the monotone convergence theorem, followed by Fatou’s lemma, and then the Fatou-Lebesgue theorem, which leads to dominated [...]

Pingback by An Alternate Approach to Integration « The Unapologetic Mathematician | June 18, 2010 |

[...] We define to be the limit of the — is the maximum of all the — and use the monotone convergence theorem to tell us [...]

Pingback by The Radon-Nikodym Theorem (Proof) « The Unapologetic Mathematician | July 7, 2010 |

[...] let be an increasing sequence of non-negative simple functions converging pointwise to . Then monotone convergence tells us [...]

Pingback by The Radon-Nikodym Chain Rule « The Unapologetic Mathematician | July 12, 2010 |

[...] a monotone class. That is a monotone class follows from the dominated convergence theorem and the monotone convergence theorem, and so we have only to show that the assertions hold for measurable rectangles with finite-measure [...]

Pingback by Measures on Product Spaces « The Unapologetic Mathematician | July 22, 2010 |

[...] we have used the monotone convergence theorem to exchange the sum and the [...]

Pingback by Product Measures « The Unapologetic Mathematician | July 23, 2010 |

[...] function , we can find an increasing sequence of simple functions converging pointwise to . The monotone convergence theorem tells us [...]

Pingback by Fubini’s Theorem « The Unapologetic Mathematician | July 28, 2010 |

[...] for the case of for a measurable set . Linear combinations will extend it to simple functions, the monotone convergence theorem extends to non-negative measurable functions, and general functions can be decomposed into positive [...]

Pingback by Pulling Back and Pushing Forward Structure « The Unapologetic Mathematician | August 2, 2010 |

[...] monotone convergence theorem now tells us that the limiting [...]

Pingback by Some Banach Spaces « The Unapologetic Mathematician | August 31, 2010 |

[...] the monotone convergence theorem as we find that [...]

Pingback by Some Continuous Duals « The Unapologetic Mathematician | September 3, 2010 |