5
$\begingroup$

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!

$\endgroup$

1 Answer 1

Reset to default
5
$\begingroup$

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.

$\endgroup$
3
  • $\begingroup$ 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 $\endgroup$
    – user313212
    Commented Aug 16, 2017 at 19:41
  • 3
    $\begingroup$ @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. $$ $\endgroup$
    – John Griffin
    Commented Aug 16, 2017 at 20:47
  • $\begingroup$ Perfect! I was comsidering each set independently. Thank you very much for your help! :) $\endgroup$
    – user313212
    Commented Aug 16, 2017 at 20:56

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .