# Dominated a.e. convergence implies almost uniform convergence

Let $(f_n)$ be a sequence of measurable functions that converges almost everywhere to a measurable function $f$. Assume that there is an integrable function $g$ such that $|f_n|\leq g$ for all $n$ almost everywhere. Show that $(f_n)$ converges almost uniformly to $f$.

Now I don't know of any other sufficient condition for almost uniform convergence other that Ergorov's theorem. However, to apply it I need my space to be of finite measure, and somehow the existence of a dominating integrable function $g$ has to play a role. But I wouldn't know where to start, so I'd like some hint on how to start working on the problem. Thank you in advance!

Hint: Work through the proof of Egoroff's theorem. In order to apply continuity from above, one needs that one of the sets has finite measure. In the usual setting, this is given by the fact that the space has finite measure. Here, we instead use the fact that the sequence is dominated.

After you finish proving this, you can redo the proof a couple more times to prove the following results.

1) If $\sum_{n=1}^\infty \|f_n-f\|_1 < \infty$, then $f_n\to f$ almost uniformly.

2) If $\sum_{n=1}^\infty \mu[|f_n-f|>1/n] < \infty$, then $f_n\to f$ almost uniformly.

They show that, in particular, if $f_n\to f$ in $L^1$ or in measure, then there is a subsequence such that $f_{n_k}\to f$ almost uniformly.

• I'm trying to follow your hint. The sets involved are $$E_{n,k}= \bigcup_{m\geq n}\{ x : |f_m-f|\geq 1/k \}$$ But when I try to calculate the measure of one of those sets, I still can't get rid of the finite measure space hypothesis of the original version. I get $$\mu(E_{n,k}) \leq \sum_{m\geq n} \mu(\{x : |f_m-f|\geq 1/k\})$$. Now I believe triangle inequality to the $|f_m - f|$ part is needed to apply use the fact that the $f_n$'s are dominated by $g$, but I don't see how Commented Aug 16, 2017 at 19:41
• @user313212 Note that $$E_{1,k}=\bigcup_{m\geq 1}[|f_m-f|\geq 1/k] \subseteq [2g\geq 1/k]$$ and $$\mu[2g\geq 1/k] \leq 2k\|g\|_1 < \infty.$$ Commented Aug 16, 2017 at 20:47
• Perfect! I was comsidering each set independently. Thank you very much for your help! :) Commented Aug 16, 2017 at 20:56