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

If $E\subset R^n$ be a Lebesgue measurable set and let $(f_k)$ be a sequence of non-negative Lebesgue measurable function on E such that $\lim f_k=f$ a.e. I want to prove that if $\int_E fd\lambda<\infty$,and$$\lim_k \int_E f_kd\lambda=\int_E fd\lambda,$$then$$\lim_k \int_A f_kd\lambda=\int_A fd\lambda$$ for every Lebesgue measurable set $A\subset E$.

Does it hold if $\displaystyle\int_E fd\lambda=\infty$?

share|cite|improve this question

Here is a counter example in the case when $\int f = \infty$:

Take $E = \mathbb{R}$ and set $$f_k = 1_{(-\infty, 0)} + 1_{(k,k+1)} \rightarrow 1_{(-\infty, 0)}$$ And take $A = [0,\infty)$.

share|cite|improve this answer

For the first question, use Fatou's lemma and the sequence $g_k:=f_k+f-|f-f_k|\geqslant 0$.

For the second part, take $f_n:=\chi_{(n,n+1)}+\chi_{(-1,0)}\frac 1x$ and $f:=\chi_{(-1,0)}\frac 1x$, $A:=[0,+\infty)$.

share|cite|improve this answer
I don't understand the counterexample. – 89085731 Dec 8 '12 at 18:02
It seems doesn't work. Since f=1 $\lim_k \int_A f_kd\lambda=\int_A fd\lambda=1$ – 89085731 Dec 8 '12 at 18:08
I've edited, the first attempt didn't worked. – Davide Giraudo Dec 8 '12 at 18:35

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.