Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

$\sum_{n \in \mathbb{N}} ||f_{n}-f||_{1} < \infty$ implies $f_{n}$ converges almost uniformly to $f$, how to show this?

EDIT: Egorov's theorem is available. I have been able to show pointwise a.e. convergence using Chebyshev and Borel-Cantelli, I am having trouble trying to pass to almost uniform convergence using the absolute summability condition...

share|improve this question
1  
Do you have Egorov's theorem available, or are you being asked to show this directly? It might help if you provided some more background context about where this question comes from, what you already know, and so forth. –  user16299 Jan 16 '12 at 9:13
    
Let $F:=\sum_{n \in \mathbb{N}} (f_n -f)$. The assumption implies that $F$ is defined almost everywhere and is integrable. If $\mu$ is your original measure, consider now the measure $dF=Fd\mu$ and apply Egorov's theorem to an appropriate function in this new (finite!) measure space. –  Mark Jan 16 '12 at 12:37
    

1 Answer 1

up vote 6 down vote accepted

Put $g_n:=|f_n-f|$, and fix $\delta>0$. We have $\sum_{n\in\mathbb N}\lVert g_n\rVert_{L^1}<\infty$ so we can find a strictly increasing sequence $N_k$ of integers such that $\sum_{n\geq N_k}\lVert g_n\rVert_1\leq \delta 4^{-k}$. Put $A_k:=\left\{x\in X:\sup_{n\geq N_k}g_n(x)>2^{1-k}\right\}$. Then $A_k\subset\bigcup_{n\geq N_k}\left\{x\in X: g_n(x)\geq 2^{-k}\right\}$ so $$2^{-k}\mu(A_k)\leq \sum_{n\geq N_k}2^{-k}\mu\left\{x\in X: g_n(x)\geq 2^{-k}\right\}\leq \sum_{n\geq N_k}\lVert g_n\rVert_1\leq \delta 4^{-k},$$ so $\mu(A_k)\leq \delta 2^{-k}$. Put $A:=\bigcup_{k\geq 1}A_k$. Then $\mu(A)\leq \sum_{k\geq 1}\mu(A_k)\leq \delta\sum_{k\geq 1}2^{-k}=\delta$, and if $x\notin A$ we have for all $k$: $\sup_{n\geq N_k}g_n(x)\leq 2^{1-k}$ so $\sup_{n\geq N_k}\sup_{x\notin A}g_n(x)\leq 2^{1-k}$. It proves that $g_n\to 0$ uniformly on $A^c$, since for a fixed $\varepsilon>0$, we take $k$ such that $2^{1-k}$, so for $n\geq N_k$ we have $\sup_{x\notin A}g_n(x)\leq\varepsilon$.

share|improve this answer

Your Answer

 
discard

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.