## Lebesgue’s Dominated Convergence Theorem

The dominated convergence theorem provides a nice tool to make sure certain sequences of integrable functions converge (in the mean) to integrable limits. Yes, we have the definition and the characterization in terms of convergence in measure, but this theorem is often easier to apply.

If is a sequence of integrable functions converging in measure or converging a.e. to a function , and if is an integrable function which “dominates” the sequence — we have for almost all — then is integrable and the sequence converges to in the mean. It’s important to note that we do *not* assume that is integrable; that’s part of the conclusion.

If we start by assuming that converges in measure to , then yesterday’s result immediately tells us that converges in the mean to ; the uniformity assumptions from that theorem are consequences of the inequalities

Now, if we only assume that converges a.e. to , then we can reduce to convergence in measure by using . By throwing out a set of measure zero, we will assume that and are all no more than everywhere. Then for every fixed positive we can write

but the measure of this latter set is finite, and so for all . A.e. convergence tells us that the measure of the intersection of all the is . By continuity, we conclude that

That is, in the presence of a dominating function , convergence a.e. implies convergence in measure, and thus implies convergence in mean.

Incidentally, since we know that

we can use convergence in the mean to control the right hand side, and thus get control over the left hand side. That is, we find that

The dominated convergence theorem shows that the integral and the limit commute so long as the sequence is dominated by some integrable function.

It should be noted that the dominating function is essential. Indeed, let be the closed unit interval with Lebesgue measure, and let . Now we consider the sequence which converges in measure to . However, there is no integrable dominating function; we find that

and so the sequence cannot converge in the mean to .

[...] the Dominated Convergence Theorem Now that we’ve established Lebesgue’s dominated convergence theorem, we can put it to good [...]

Pingback by Using the Dominated Convergence Theorem « The Unapologetic Mathematician | June 11, 2010 |

[...] 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, [...]

Pingback by The Monotone Convergence Theorem « The Unapologetic Mathematician | June 15, 2010 |

Gosh, I passed my analysis prelim in 1986 and haven’t looked at this since then! :)

Still, it makes much more sense to me now that I have some experience to put things into context.

Comment by blueollie | June 15, 2010 |

Doesn’t it, though?

Yeah, I just scraped by my analysis quals. That’s part of why I’m using this series as an excuse to go back through and work through it all now that I might understand it better.

Comment by John Armstrong | June 15, 2010 |

[...] this is often stated for a sequence of measurable functions, but the dominated convergence theorem allows us to immediately move to the integrable case. In fact, if the sequence converges pointwise [...]

Pingback by The Fatou-Lebesgue Theorem « The Unapologetic Mathematician | June 17, 2010 |

[...] theorem, followed by Fatou’s lemma, and then the Fatou-Lebesgue theorem, which leads to dominated convergence theorem, and we’re pretty much back where we [...]

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

[...] measurable subsets of , and that is 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 [...]

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

[...] defined a.e., and that . The dominated convergence theorem can now verify that the partial sums of the series are -convergent to [...]

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

if there exist a fns say m(x) in lebesgue dominated thm. Is fns greater than the measurable sequence. Try work it out

Comment by jackson akhigbe | December 16, 2010 |