# Tricks to remember Fatou's lemma

For a sequence of non-negative measurable functions $f_n$, Fatou's lemma is a statement about the inequality

$\int \liminf_{n\rightarrow \infty} f_n \mathrm{d}\mu \leq \liminf_{n\rightarrow \infty}(\int f_n \mathrm{d} \mu)$

or alternatively (for sequences of real functions dominated by some integrable function)

$\limsup_{n\rightarrow \infty}(\int f_n \mathrm{d} \mu) \leq \int \limsup_{n\rightarrow \infty} f_n \mathrm{d}\mu$

I keep forgetting the direction of these two inequalities. I know that using the concepts repeatedly is the best way to remember it. But, I am interested about learning intuitive tricks that people use to quickly remember them. (For instance, to remember the direction of Jensen's inequality, I just picture a convex function and a line intersecting it)

-
I remember it by thinking of how it's used. We have some function that is defined as the limit (or lim inf) of a sequence of functions, and we'd like to get a bound on its integral. – Jair Taylor Nov 24 '12 at 3:55
Thanks Nate for the clarification. I corrected it in the question. – Learner Nov 24 '12 at 5:03

I like to think of the following pictures. The first two are $\int f_1$ and $\int f_2$ respectively, but even the smaller of these is larger than the area in the third picture, which is $\int \inf f_n$. Of course, Fatou's lemma is more subtle since we're talking about the limit infimum rather than just the minimum, but for the purpose of intuition this helps to make sure the inequalities go the right way.

-
+1 for graphical explanation. I think nothing like what you did here could illustrate Fatou's lemme. – Babak S. Nov 23 '12 at 17:41
awesome answer. i also kept forgetting fatou's lemma.but this illustration cleared my intuition – Koushik Dec 31 '12 at 3:48
I used to have trouble remember the direction of the inequality until I saw this post. +1 – Daniel Montealegre Oct 20 '13 at 21:34
In the third picture, you want to represent $\int min\{f_1,f_2\}$? – Groups Nov 1 '14 at 4:43
@uniquesolution This is a special case of Fatou's Lemma, where the functions $f_n$ alternate between $f_1$ and $f_2$. (That is, $f_n=f_1$ for all odd $n$ and $f_n=f_2$ for all even $n$.) Then each "lim inf" in Fatou's Lemma reduces to a simple "inf" (or "min"). Even though it's a very special case, it suffices for the OP's objective, namely remembering which way the inequality should go. – Andreas Blass Apr 24 at 0:14

I like to remember this by example; specifically let $f_n = \chi_{[n,n+1]}$. Then $\lim \inf f_n = 0$, and $\lim \inf \int f_n = 1$.

-
I do the same except let fn be an indicator that x >= n so that lim inf of the integral is infinity. – Dason Nov 23 '12 at 4:40

When you pass to the limit, you can lose mass (by pushing it off to infinity, as in Thomas Belulovich's example), but the inequality in Fatou's lemma says you cannot gain mass.

-

Write the statement of the lemma on a credit-card sized piece of paper and carry it around for a month.

-
While this is a bit extreme, I tend to keep useful information at hand if I know I'll be needing it. – Mariano Suárez-Alvarez Nov 24 '12 at 4:37
Have you actually done this for an important theorem? – Potato Mar 28 '13 at 1:54
Of course not :-) Not even for an unimportant one! – Mariano Suárez-Alvarez Mar 28 '13 at 2:06

A mnemonic which helps me to remember it is that integral behaves similarly as sum (see fore example here) and we have $$\liminf x_n + \liminf y_n \le \liminf (x_n+y_n)$$ and $$\sum\limits_{k=1}^n \liminf x^{(k)} \le \liminf \sum\limits_{k=1}^n x^{(k)},$$ where each $x^{(k)}$ is a sequence.

If we mechanically replace sequence by a function and sum by an integral, we get $$\int\liminf f_k \le \liminf \int f_k.$$

The above inequality is a part of the following chain of inequalities for $\limsup$ and $\liminf$ $$\liminf x_n+\liminf y_n \le \liminf (x_n+y_n) \le \liminf x_n + \limsup y_n \le \limsup (x_n+y_n) \le \limsup x_n+\limsup y_n$$ which I have encountered quite often, so I remember it.

See fore example this post and other questions shown there among linked questions.

I should point out that the two inequalities are of a different nature. (The inequality for the sum is not a special case of the inequality for the integral.) If I wrote the inequalities more precisely, the inequality for sums is $$\sum\limits_{k=1}^n \liminf_{j\to\infty} x^{(k)}_j \le \liminf_{j\to\infty} \sum\limits_{k=1}^n x^{(k)}_j,$$ whereas in Fatou's theorem we have $$\int\liminf_{k\to\infty} f_k \le \liminf_{k\to\infty} \int f_k.$$ So limit inferior is taken with respect to different variables. But as a mnemonic, this could still work.

-
1. The application $f \mapsto \int f$ is lower semicontinuous (for the a.e. convergence of positive functions).

2. Finding an upper bound for a $\liminf$ is not as useful as finding a lower bound for a $\liminf$.

-

Here's the worst possible way to keep straight which direction the inequality goes: In a typical programming language strings are sorts alphabetically, so that for example "cat" < "dog", since "c" < "d". Observe that $$\text{IL < LI.}$$"Integral(limit) < Limit(integral)".

This is in my opinion extremely awful, because it has nothing to do with the math, just relies on a quirk of English spelling. However I have a great deal of respect for the person who pointed this out to me some years ago. He's a very smart guy and he says with a straight face that this is how he's always remembered it - so I thought I'd mention it for the benefit of anyone out there who happens to be like him.

-