Fatou–Lebesgue theorem

From Wikipedia, the free encyclopedia

In mathematics, the Fatou–Lebesgue theorem establishes a chain of inequalities relating the integrals (in the sense of Lebesgue) of the limit inferior and the limit superior of a sequence of functions to the limit inferior and the limit superior of integrals of these functions. The theorem is named after the French mathematicians Pierre Fatou (1878 – 1929) and Henri Léon Lebesgue (1875 – 1941).

If the sequence of functions converges pointwise, the inequalities turn into equalities and the theorem reduces to the Lebesgue's dominated convergence theorem.

1 Statement of the theorem
2 Proof
3 External links
4 References

[edit] Statement of the theorem

Let f₁, f₂, ... denote a sequence of real-valued measurable functions defined on a measure space (S,Σ,μ). If there exists a Lebesgue-integrable function g on S which dominates the sequence in absolute value, meaning that |f_n| ≤ g for all natural numbers n, then all f_n as well as the limit inferior and the limit superior of the f_n are integrable and

$\int_S \liminf_{n\to\infty} f_n\,d\mu \le \liminf_{n\to\infty} \int_S f_n\,d\mu \le \limsup_{n\to\infty} \int_S f_n\,d\mu \le \int_S \limsup_{n\to\infty} f_n\,d\mu\,.$

Here the limit inferior and the limit superior of the f_n are taken pointwise. The integral of the absolute value of these limiting functions is bounded above by the integral of g.

Since the middle inequality (for sequences of real numbers) is always true, the directions of the other inequalities are easy to remember.

[edit] Proof

All f_n as well as the limit inferior and the limit superior of the f_n are measurable and dominated in absolute value by g, hence integrable.

The first inequality follows by applying Fatou's lemma to the non-negative functions f_n + g and using the linearity of the Lebesgue integral. The last inequality is the reverse Fatou lemma.

Since g also dominates the limit superior of the |f_n|,

$0\le\biggl|\int_S \liminf_{n\to\infty} f_n\,d\mu\biggr| \le\int_S \Bigl|\liminf_{n\to\infty} f_n\Bigr|\,d\mu \le\int_S \limsup_{n\to\infty} |f_n|\,d\mu \le\int_S g\,d\mu$