Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The question was:

Given $\mu$ a positive measure in $(X, \Sigma)$ and $f_n, f:X\rightarrow [0,\infty)$ $\mu$-summable then show that if

$\liminf f_n\geq f$ almost everywhere and $$\limsup_n \int_X f_nd\mu \leq \int_X fd\mu$$ then $f_n\to f$ in $ L^1$.

The hint was to prove that $g_n=\inf_{k\geq n} f_k$ satisfies $g_n\to f$ in $L^1$> I have done that via Fatou's Lemma and monotone convergence theorem, but I could not infer the main result!

share|cite|improve this question

Fatou's lemma yields that $$ \int_X \liminf_n f_n d\mu \leq \liminf _n\int_X f_n d\mu $$ and since $f\leq \liminf_n f_n$ a.e. we have that $$ \int_X f d\mu \leq \liminf_n \int_X f_n d\mu $$ and hence $$ \limsup_n \int_X f_n d\mu \leq \int_X f d\mu \leq \liminf_n\int_X f_n d\mu. $$ But as $\liminf_n a_n\leq \limsup a_n$ for any sequence $(a_n)$ the limit exists and we must have equality, i.e. $$ \lim_n \int_X f_n d\mu = \limsup_n \int_X f_n d\mu = \liminf_n\int_X f_n d\mu=\int_X f d\mu. $$

share|cite|improve this answer
Oh, sorry I just realized that we want convergence in $L^1$ and not just convergence of the integrals. Nevermind my post for now. – Stefan Hansen Mar 23 '12 at 13:51
Using a similar argument we have that $g_n\to f$ in L^1 but we need convergence in L^1 for $f$. – checkmath Mar 23 '12 at 15:24

Your Answer


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.