Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

So I had this question on a recent test and I wasn't able to do it.

Let $g(x)$ be integrable and let $\{f_n\}$ be a sequence of measurable functions such that $|f_n|\leq g(x)$ and $f_n\rightarrow f$ almost everywhere. I want to show that $\int |f_n-f|\rightarrow 0$.

I think the solution some how involves the Lebesgue convergence theorem, but I don't know how to apply it. I could use some help.


share|cite|improve this question
Isn't this actually the statement of the Lebesgue Dominated Convergence Theorem? – Jonas Teuwen Oct 30 '11 at 18:50
Or at most a rephrasing. – Jonas Teuwen Oct 30 '11 at 19:06
up vote 2 down vote accepted

You can argue like that

$|f_n-f|\to 0$ a.e. by hypothesis. Since $|f_n(x)|\leq g(x)$ for all $n$ and $f_n$ converges to $f$, a.e. we have that $|f(x)|\leq g(x)$ a.e. By the triangular inequality we get the bound $|(f_n-f)(x)|\leq 2 g(x)$. Now we can use the Lebesgue Dominated Convergence Theorem.

share|cite|improve this answer
Huh! really straight forward, once you establish the bounds. Thanks – Kuku Oct 30 '11 at 19:17
You are welcome Kuku. – Leandro Oct 30 '11 at 19:23
@Leandro Sorry to bother, but how can we explicitly show that $|f(x)|\leq g(x)$ from those two assertions? It seems obvious, but I'm hoping for a formal reason? thanks :) – mathmath8128 Oct 30 '11 at 20:11
@aengle: consider each $x$ for which $\lim\limits_n f_n(x) = f(x)$. Then this assertion is obvious since it is a numerical limit – Ilya Oct 30 '11 at 20:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.