Tuesday 26 January 2016

real analysis - 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!


Answer



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.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...