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

Let $f_n : [0,1] \rightarrow \mathbf{R}$ be a sequence of measurable functions such that

$\bullet$ $f_n \rightarrow 0$ a.e. on $[0,1]$.

$\bullet$ $\int_{[0,1]} |f_n|^2 dm \leq 1$ for all $n \geq 0$.

Then I want to show that $\int_{[0,1]} |f_n| dm \rightarrow 0$ as $n \rightarrow \infty$.

I tried to combine Egorov's Theorem and Dominated Convergence Theorem but I could not find a dominating function for $|f_n|$.

share|cite|improve this question
up vote 5 down vote accepted

Egoroff's theorem is a good idea. Fix $\varepsilon>0$, $S_\varepsilon$ a set where $\sup_{x\in S_\varepsilon}|f_n(x)|\to 0$ and $\mu([0,1]\setminus S_\varepsilon)<\varepsilon$. We have \begin{align} \int_{[0,1]}|f_n|d\mu&\leqslant\int_{S_\varepsilon}|f_n|d\mu+\int_{[0,1]\setminus S_\varepsilon}|f_n|d\mu\\ &\leqslant\mu(S_{\varepsilon})\sup_{x\in S_\varepsilon}|f_n(x)|+\sqrt{\mu([0,1]\setminus S_\varepsilon)}\sqrt{\int_{[0,1]}|f_n|^2d\mu}\\ &\leqslant\sup_{x\in S_\varepsilon}|f_n(x)|+\varepsilon. \end{align} This gives $\limsup_{n\to +\infty}\int_{[0,1]}|f_n|d\mu\leqslant\varepsilon$ and we conclude as $\varepsilon$ is arbitrary.

share|cite|improve this answer
Where does the second inequality come from? Is it Cauchy-Schwarz? – HbCwiRoJDp Jan 6 '13 at 13:35
Yes, exactly, Cauchy-Schwarz. – Davide Giraudo Jan 6 '13 at 13:38

Since the sequence is $L^2$-bounded, it is uniformly integrable and therefore your result holds.

share|cite|improve this answer
A well-known weakening of the $L^2$-boundedness here is $L \log L$-boundedness, that is $$\int_{[0,1]} |f_n| \log^+ |f_n| dm \le M$$ where $\log^+ x$ is the maximum of $\log x$ and $0$. – GEdgar Jan 6 '13 at 13:50

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.