23
$\begingroup$

Fatou's Lemma says the following:

If $(f_n)$ is a sequence of extended real-valued, nonnegative, measurable functions defined on a measure space $\left(\mathbf{X},\mathcal{X},\mu\right)$, then $$ \int\lim\inf f_n d\mu \leq \lim\inf \int f_n d\mu. $$

In the statement of the Reverse Fatou's Lemma there's an addtional requirement that the given sequence be dominated by an integrable function. I'm interested in understanding what breaks down if this condition is not satisfied. For the sake of clarity and notation, here's the statement of the Reverse Fatou's Lemma:

Let $(f_n)$ be a sequence of extended real-valued functions defined on a measure space $\left(\mathbf{X},\mathcal{X},\mu\right)$. If there exists an integrable function $g$ on $\mathbf{X}$ such that $f_n \leq g$ for all $n$, then $$ \lim\sup\int f_n d\mu \leq \int\lim\sup f_n d\mu. $$

Again, I'm curious to know what happens if this additional condition that the sequence be dominated is not satisfied. In the proofs that I've seen of the Reverse Fatou's Lemma they've all taken advantage of the fact that the functions are dominated, but I just don't see why there can't be a proof of the inequality that doesn't use this assumption.


My interest was further piqued by the following problem I came across in Bartle's Elements of Integration and Lebesgue Measure:

Let $(f_n)$ be a sequence of extended real-valued, nonnegative functions defined on $\left(\mathbf{X},\mathcal{X},\mu\right)$, $f_n \to f$, and let $\int f d\mu =\lim \int f_n d\mu < \infty.$ Show that for any $E \in \mathcal{X},$ $$\int_E f d\mu =\lim \int_E f_n d\mu.$$

I was able to prove this through two applications of Fatou's Lemma and use of the nice identity $\lim\sup(-f_n) =-\lim\inf(f_n)$. But there was another proof I abandoned after I failed to prove that the Reverse Fatou's Lemma held with the given hypotheses.

Any insight is much appreciated.

$\endgroup$

2 Answers 2

19
$\begingroup$

For a counter-example to reverse Fatou lemma without the domination hypothesis, take $f_n:=\chi_{(n,n+1)}$, with $X$ the real line, Borel $\sigma$-algebra and Lebesgue measure. We have $\limsup_{n\to +\infty}f_n(x)=0$ for all $x$ but $\int f_nd\mu=1$.

$\endgroup$
2
  • $\begingroup$ Nice counter-example. Thanks! $\endgroup$ Oct 22, 2012 at 22:02
  • 8
    $\begingroup$ My apologies if I'm mistaken... For convergent examples isn't this just nothing but the usual Fatou: $f_n(x):=\chi_{(n,n+1)}\to0:\quad0=\int_\mathbb{R}\lim_nf_n\mathrm{d}x\leq\lim_n\int_\mathbb{R}f_n\mathrm{d}x=1\quad(" \liminf=\lim=\limsup")$ For an honest example one needs to come up with divergent example as: $f_{1\leq k\leq n}(x):=\chi_{(\frac{k-1}{n},\frac{k}{n}]}:\quad1=\int_{[0,1]}\limsup_{n;k}f_{n;k}(x)\mathrm{d}x\nleq\limsup_{n;k}\int_{[0,1]}f_{n;k}(x)\mathrm{d}x=0\quad(" \liminf\neq\lim\neq\limsup")$ $\endgroup$ Dec 16, 2014 at 18:50
18
$\begingroup$

I'd check whether your proof didn't disregard the nonnegativity hypothesis of Fatou's lemma. Those two hypotheses are dual in a sense that's been obfuscated by a bit. If you assumed nonpositivity instead, you'd get a perfect correspondence. Nonpositivity just means being dominated by the zero function so being dominated by an integrable function is a natural generalization.

$\endgroup$
1
  • $\begingroup$ Wow, you have just blown my mind. Thanks! $\endgroup$ Oct 22, 2012 at 21:49

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.