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

Suppose that $f_n$ is a sequence of measurable functions that are all bounded by M, supported on a set E of finite measure, and $f_n(x)\to f(x)$ a.e. x as $n\to \infty$. Then f is measurable, bounded, supported on E for a.e. x, and $\int |f_n-f|\to 0 $ as $n\to\infty$

At here, I understand the restriction of E to be finite measure is because we need to use Egorov theroem. But what is the reason to assume $f_n$ to be bounded? I check the Egorov theorem, it does not require the squence that converge to $f$ to be bounded in order to find a smaller set differs from E by $\epsilon$ and converges uniformly to $f$ on that set.

share|cite|improve this question
In my opinion, it is needed to assume that to ensure that $f$ is a bounded measurable function and hence we can conclude that $\int_{E}f$ exist. In fact, $|f(x)|\le M$ for all $x\in E$. – juniven Dec 17 '12 at 4:26
That make sense! – Zhixia Zhang Dec 17 '12 at 4:33
up vote 8 down vote accepted

Take $X = [0,1]$ with Lebesgue measure. Then let $$f_n = n 1_{[0,\frac{1}{n})}.$$ Then $f_n \rightarrow 0$ a.e. However for all $n$, $$ \int \lvert f_n - 0\rvert = \int \lvert f_n\rvert = 1$$

share|cite|improve this answer
Also note that if $f_n \leq M$ for all $n$ and $E$ is of finite measure, then $M1_{E}$ is a dominating function for $f_n$. – Deven Ware Dec 17 '12 at 4:41
Nice post! I like it. – juniven Dec 17 '12 at 5:09

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.