8
$\begingroup$

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.

$\endgroup$
7
$\begingroup$

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}$.

$\endgroup$
  • $\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 '13 at 3:50
  • $\begingroup$ Always! Glad to be able to help. $\endgroup$ – Vishal Gupta Jun 4 '13 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$ – MathStudent1324 Oct 24 '17 at 18:07
  • $\begingroup$ @MathStudent1324 I mean infimum over the set of functions $f_{k}$ for $k \geq n$ $\endgroup$ – Vishal Gupta Oct 24 '17 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.