(New page: We are given that <math>f_n \rightarrow f, g_n \rightarrow g, g_n \in L^1, g \in L^1, |f_n| \leq g_n, \int_X g_n \rightarrow \int g</math> We are to show that <math>\int_X f_n \rightarr...)
 
 
Line 38: Line 38:
  
 
The proof is not difficult, since any subsequence of the <math>\left\{ a_n \right\}</math> converges to a, but equality is not true in general.
 
The proof is not difficult, since any subsequence of the <math>\left\{ a_n \right\}</math> converges to a, but equality is not true in general.
 +
 +
----
 +
Great job, I proved the "flippantly" assumed result and added it to the problem set 6 page as "#1 lemma" for those interested in the proof.

Latest revision as of 15:43, 3 July 2008

We are given that

$ f_n \rightarrow f, g_n \rightarrow g, g_n \in L^1, g \in L^1, |f_n| \leq g_n, \int_X g_n \rightarrow \int g $

We are to show that $ \int_X f_n \rightarrow \int_X f $.

We note that $ |f_n| \leq g_n $ implies that $ g_n + f_n \geq 0, g_n - f_n \geq 0 $.

By an application of Fatou,

$ \liminf_n \int_X (g_n - f_n) \geq \int_X \liminf_n (g_n - f_n) = \int_X (g-f) $,

and since $ g_n \in L^1 \Rightarrow f_n \in L^1, \liminf_n \int_X (g_n - f_n) = \liminf_n (\int_X g_n - \int_X f_n) = \int_X g \ - \ \limsup_n \int_X f_n $.

Now, since g is integrable, we can subtract $ \int_X g $ from both sides (this is why the assumption that $ g \in L^1 $ is necessary), yielding

$ \limsup_n \int_X f_n \leq \int_X f $

Another application of Fatou yields

$ \liminf_n \int_X (g_n + f_n) \geq \int_X \liminf_n (g_n + f_n) = \int_X (g+f) $, yielding


$ \liminf_n \int_X f_n \geq \int_X f $


Combining inequalities gives the result. We remark that the integrability requirement on g is necessary, as

$ g_n = g = 1, f_n = \chi_{[n,\infty)} $ shows.



Note: In the above, we have used (somewhat flippantly) the result

$ - \infty < \lim_n a_n = a < \infty \Rightarrow \liminf_n (a_n+b_n) = \liminf_n a_n + \liminf_n b_n $

The proof is not difficult, since any subsequence of the $ \left\{ a_n \right\} $ converges to a, but equality is not true in general.


Great job, I proved the "flippantly" assumed result and added it to the problem set 6 page as "#1 lemma" for those interested in the proof.

Alumni Liaison

ECE462 Survivor

Seraj Dosenbach