Fatou's Lemma: Let $\{f_n\} \rightarrow f$ pointwise a.e. on $E$, then $\int_E f \leq \liminf \int_E f_n$.

Generalization: Prove that if $\{ f_n \}$ is a sequence of nonnegative measurable functions on $E$, then $$\int_E \liminf f_n \leq \liminf \int_E f_n$$

This is from Royden 4e (pg 85).

The general form does not require pointwise convergence. Is this so simple as to observe that the $\inf$ of simple functions will be less than the integral of the same? Otherwise I need some guidance. When can I pass the limit through the integral.


1 Answer 1


If you are allowed to use monotone convergence theorem then

Observe that if $g_{n} := \inf_{k\geq n}f_{k}$ then $\int g_{n} \leq \int f_{n}$ and $g_{n}$ increases to $\lim \inf f_{n}$.

  • $\begingroup$ I can use MCT. So, we've constructed a sequence (of functions) that is guaranteed to be less than the $f$'s because of the nature of infimums. This is the trick? Thank you $\endgroup$
    – Jared
    Jun 4, 2013 at 3:50
  • $\begingroup$ Always! Glad to be able to help. $\endgroup$ Jun 4, 2013 at 3:54
  • $\begingroup$ @VishalGupta I know this is an old post, but would you mind explaining what you mean by $\inf_{k\geq n}$? Thanks! $\endgroup$ Oct 24, 2017 at 18:07
  • $\begingroup$ @MathStudent1324 I mean infimum over the set of functions $f_{k}$ for $k \geq n$ $\endgroup$ Oct 24, 2017 at 18:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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