Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How can I proof the general Fatou's Lemma without using the Monotone convergence Theorem.

Lemma:

Let $(X,\mathcal{M},\mu)$ be a measure space and $\{f_n\}$ a non-negative measurable sequence. Then

$$ \int_X \liminf_{n\to\infty}f_n~d\mu \leq \liminf_{n\to\infty}\int_X f_n~d\mu.$$

share|improve this question
    
By truncation in concert with the bounded convergence theorem (assuming $\mu$ is $\sigma$-finite). –  cardinal Mar 31 '12 at 21:10
    
Also, the $\liminf$ should be on the inside of the integral on the left. :) –  cardinal Mar 31 '12 at 21:12
    
thanks...it's fixed :) –  Kuku Mar 31 '12 at 21:19
    
Why would you want to avoid the use of the monotone convergence theorem? It follows very directly from the definition of the integral. It isn't as if you would avoid a lot of complexity by not using it. –  Nate Eldredge Mar 31 '12 at 21:58
    
@NateEldredge: I wouldn't avoid using MCT. But I was taught Fatou's lemma first, and that was used to prove the MCT and I was wondering if there was another way. Obviously, using the MCT to prove the general Fatou is quite easy...:) –  Kuku Mar 31 '12 at 22:11

1 Answer 1

up vote 3 down vote accepted

Here is one proof based on the bounded convergence theorem, adapted from Durrett.

Define $g_n(x) = \inf_{m\geq n} f_m(x)$. So, $f_n \geq g_n$ and $g_n \uparrow g(x) := \liminf_n f_n(x)$ as $n \to \infty$.

By monotonicity of the integral, we know that $\newcommand{\du}{\,\mathrm d \mu} \int f_n \du \geq \int g_n \du$, whence $$\liminf_n \int f_n \du \geq \liminf_n \int g_n \du \>.$$

Suppose $X_n \uparrow X$ where $\mu(X_n) < \infty$. By the bounded convergence theorem, for fixed $m$, we have $$ \liminf_n \int g_n \du \geq \int_{X_m} g_n \wedge m \du \to \int_{X_m} g \wedge m \du \>, $$ since the integrand in the middle is bounded and converges to the integrand on the right.

But, then $$ \liminf_n \int g_n \du \geq \sup_m \int_{X_m} g \wedge m \du = \int \liminf_n f_n \du \>. $$

Since $\liminf_n \int f_n \du \geq \liminf_n \int g_n \du$, we are done.

share|improve this answer
    
Thanks for your answer. I'm not familiar with $\wedge$. –  Kuku Mar 31 '12 at 21:40
    
$x \wedge y = \min(x,y)$. –  cardinal Mar 31 '12 at 21:40
    
oh ok. thanks very much. –  Kuku Mar 31 '12 at 21:44

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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