# The Unapologetic Mathematician

## The Fatou-Lebesgue Theorem

Now we turn to the Fatou-Lebesgue theorem. Let $\{f_n\}$ be a sequence of integrable functions (this time we do not assume they are non-negative) and $g$ be some other function which dominates this sequence in absolute value. That is, we have $\lvert f_n(x)\rvert\leq g(x)$ a.e. for all $n$. We define the functions

$\displaystyle\begin{aligned}f_*(x)&=\liminf\limits_{n\to\infty} f_n(x)\\f^*(x)&=\limsup\limits_{n\to\infty} f_n(x)\end{aligned}$

These two functions are integrable, and we have the sequence of inequalities

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

Again, 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 $\{f_n\}$ converges pointwise a.e., then $f_*=f^*$ a.e. and the inequality collapses and gives us exactly the dominated convergence theorem back again.

Since $g$ dominates the sequence $\{f_n\}$, the sequence $\{g+f_n\}$ will be non-negative. Fatou’s lemma then tells us that

$\displaystyle\begin{aligned}\int g\,d\mu+\int f_*\,d\mu&=\int g+f_*\,d\mu\\&=\int\liminf\limits_{n\to\infty}(g+f_n)\,d\mu\\&\leq\liminf\limits_{n\to\infty}\int g+f_n\,d\mu\\&=\int g\,d\mu+\liminf\limits_{n\to\infty}\int f_n\,d\mu\end{aligned}$

Cancelling the integral of $g$ we find the first asserted inequality. The second one is true by the definition of limits inferior and superior. The third one is essentially the same as the first, only using the non-negative sequence $\{g-f_n\}$.

### Like this:

Posted by John Armstrong | Analysis, Measure Theory

## 1 Comment	»

1. [...] 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 pretty much back where we [...]

Pingback by | June 18, 2010 | 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": 14, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "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.8970790505409241, "perplexity_flag": "head"}