# Thread: [SOLVED] Limit of integral on measurable sets

1. ## [SOLVED] Limit of integral on measurable sets

I'm struggling with a prelim practice problem and need some help; note that E may have infinite measure.

Claim: Let $f_n$ be a sequence of integrable functions such that $f_n \rightarrow f$ a.e. Assume that $\lim_{n \rightarrow \infty}{\int{f_n}} = \int{f} < \infty$. Prove or disprove that for any measurable set E, $\lim_{n \rightarrow \infty}{\int_{E}{f_n}} = \int_{E}{f}$.

I't's not clear that the conjecture is even true but I haven't been able to find a counter example if it's not. If $f_n$ and $f$ are non-negative, you can use Fatou's Lemma to prove the result. If we can show that $\int{f_n^+} \rightarrow \int{f^+}$ then we can use the generalized Lebesque Dom Conv Thm. but I haven't been able to prove the limit. I also tried assuming that E has finite measure and applying Egoroff's theorem to no avail. I also tried assuming that the claim is true for E of finite measure and then proving the more general case - didn't get home on that approach either. I also played a little with signed measure ideas (positive and negative sets) but that just seemed to make the problem more abstract without adding any value. The way through may be in these somewhere in these ideas but I haven't been able to pull it out.

2. For E with finite measure I think you can just use
$|\int_Ef_n-f|\le\int_E\epsilon\le\mu(E)\cdot\epsilon$.

For the general case I would look at something like

$I_Ef_n\to I_E f$ where $I_E(x)=1$ if $x\in E$, and then show that $\int I_Ef_n\to\int I_E f$

3. Originally Posted by huram2215
I'm struggling with a prelim practice problem and need some help; note that E may have infinite measure.

Claim: Let $f_n$ be a sequence of integrable functions such that $f_n \rightarrow f$ a.e. Assume that $\lim_{n \rightarrow \infty}{\int{f_n}} = \int{f} < \infty$. Prove or disprove that for any measurable set E, $\lim_{n \rightarrow \infty}{\int_{E}{f_n}} = \int_{E}{f}$.
This remind's me Scheffé's lemma. The positiveness assumption (or the absolute values) involved in Scheffé's lemma suggests that the results fails otherwise, but I can't think of a counterexample either. I will give it further thoughts...

4. Putnam120: For the case of E finite, you idea works if $f_n \rightarrow f$ uniformly. Hence the potential for using Egoroff's Theorem. However that still leaves the small set to deal with where $f_n$ may not converge to $f$ uniformly.

5. Originally Posted by Laurent
This remind's me Scheffé's lemma. The positiveness assumption (or the absolute values) involved in Scheffé's lemma suggests that the results fails otherwise, but I can't think of a counterexample either. I will give it further thoughts...
After further thoughts...

I considered the well-known counterexample to the bounded convergence theorem, namely the "traveling bump" (I don't know the English name) : define the sequence of functions $\phi_n(t)= {\bf 1}_{(n\leq t (it equals 1 if $t\in[n,n+1)$ and 0 otherwise). Any other smoother bump would do fine. We have $\int\phi_n(t) dt = 1$ for any $n$, but $\phi_n(t)\to_n 0$ for every $t$. Of course, the convergence to 0 is not uniform and can't be dominated either.

Then I defined $f_n(t)=\phi_n(t)-\phi_n(-t)$. This time, two opposite bumps travel toward $\pm\infty$. We have $f_n(t)\to_n 0$ for all $t$, and $\int f_n(t)dt = 0$. This is the situation of the question. However, $\int_{\mathbb{R}_+} f_n(t)dt = 1$ for every $n$.

6. Laurent: Very nice counter example. The deduction that you applied (including the introduction to Scheffe's Lemma) gives good incite into how you approached the problem. Thank you.

7. Originally Posted by huram2215
Putnam120: For the case of E finite, you idea works if $f_n \rightarrow f$ uniformly. Hence the potential for using Egoroff's Theorem. However that still leaves the small set to deal with where $f_n$ may not converge to $f$ uniformly.
Thanks, I only noticed that after I woke up the next day. Guess that teaches me never to do analysis when I'm tired.