# The Unapologetic Mathematician

## Fatou’s Lemma

Today we prove Fatou’s Lemma, which is a precursor to the Fatou-Lebesgue theorem, and an important result in its own right.

If $\{f_n\}$ is a sequence of non-negative integrable functions then the function defined pointwise as

$\displaystyle f_*(x)=\liminf\limits_{n\to\infty} f_n(x)$

is also integrable, and we have the inequality

$\displaystyle\int f_*\,d\mu\leq\liminf\limits_{n\to\infty}\int f_n\,d\mu$

In fact, the lemma is often stated for a sequence of measurable functions and concludes that $f_*$ is measurable (along with the inequality), but we already know that the limit inferior of a sequence of measurable functions is measurable, and so the integrable case is the most interesting part for us.

So, we define the functions

$\displaystyle g_n(x)=\inf\limits_{i\geq n}f_i(x)$

so that each $g_n$ is integrable, each $g_n\leq f_n$ and the sequence $\{g_n\}$ is pointwise increasing. Monotonicity tells us that for each $n$ we have

$\displaystyle\int g_n\,d\mu\leq\int f_n\,d\mu$

and it follows that

$\displaystyle\lim\limits_{n\to\infty}\int g_n\,d\mu\leq\liminf\limits_{n\to\infty}\int f_n\,d\mu<\infty$

We also know that

$\displaystyle\lim\limits_{n\to\infty}g_n(x)=\liminf\limits_{n\to\infty}f_n(x)=f_*(x)$

which means we can bring the monotone convergence theorem to bear. This tells us that

$\displaystyle\int f_*\,d\mu=\lim\limits_{n\to\infty}\int g_n\,d\mu\leq\liminf\limits_{n\to\infty}\int f_n\,d\mu$

as asserted.

If it happened that $f_*$ were not integrable, then some of the $f_n$ would have to be only measurable — not integrable — themselves. And it couldn’t just be a finite number of them, or we could just drop them from the sequence. No, there would have to be an infinite subsequence of non-integrable $f_n$, which would mean an infinite subsequence of their integrals would diverge to $\infty$. Thus when we take the limit inferior of the integrals we get $\infty$, as we do for the integral of $f$ itself, and the inequality still holds.

### Like this:

Posted by John Armstrong | Analysis, Measure Theory

## 6 Comments	»

1. [...] dominates the sequence , the sequence will be non-negative. Fatou’s lemma then tells us [...]

Pingback by | June 17, 2010 | Reply

2. [...] 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 convergence theorem, and we’re [...]

Pingback by | June 18, 2010 | Reply

3. [...] every , and since we find that . Then Fatou’s lemma shows us that . Thus the -finite case is true as [...]

Pingback by | September 3, 2010 | Reply

4. Would you mind explaining why each g_n is integrable? Many thanks!

Comment by rich | December 7, 2012 | Reply

5. Sorry, rich, I don’t have a solid answer off the top of my head (I was never really an analyst). My intuition is that the infimum of any (countable?) collection of integrable functions is integrable.

Comment by | December 9, 2012 | Reply

• Thanks for the reply! I think your intuition is correct – I’ll poke around in my copy of Apostol to see if I can find a substantiating theorem.

Comment by rich | December 10, 2012 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 19, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9423145055770874, "perplexity_flag": "middle"}