0
$\begingroup$

Let $(X,M,\mu)$ be a measure space. let $f_n$ be a Cauchy sequence in $L^\infty(X)$. I want to show that there is a mesurable $E\subset X$ such that $\mu(E^c)=0$ and $\forall \epsilon \gt 0$, $|f_n-f_m| \le \epsilon$ on $E$ for some $n,m\gt N$.

Furthermore, I want to use the above to show that $L^\infty(X)$ is complete.

So I know for $n,m\gt N$ $|f_n-f_m|\le \|f_n-f_m\|\le \epsilon $ a.e. Let $$E_k = \{x : |f_k(x) \gt \|f_k\|_\infty \}\qquad E_{n,m} = \{ x : |f_n (x) -f_m(x)|\gt \|f_n-f_m\|_\infty \}$$ Set $$E^c = \bigcup_k E_k \cup \bigcup_{n,m} E_{k,m}$$ then $\mu(E^c)=0$ and so $|f_n-f_m|\leq \epsilon$ on $E$.

For the second part, since $\mathbb R$ is complete, on $E$, $f_n \to f$ uniformly.
Also, $|f(x)|\leq |f_n(x)-f(x)|+|f_n| \lt 1+ |f_n|$, so $f\in L^\infty$. I can also say that $$|f_n-f|=\lim_{n\to\infty} |f_m-f_n|\le \epsilon$$ on $E$.

How do I get that $\|f-f_n\|_\infty\to 0$? Is my approach right?

  • 0
    From your question, it looks like you are trying to prove that $L^p$-convergence implies uniform convergence a.e. That's not true.2012-04-21
  • 0
    for $p=\infty$?2012-04-21
  • 0
    Is it the norm $||f||_\infty=\textrm{sup}_X f$ or just $||f||_\infty=\textrm{ess sup}_Xf$?2012-04-21
  • 0
    essential supremum.2012-04-21

1 Answers 1

1

You know that $f_n$ is cauchy, so choose $\epsilon>0$, and $N$ such that $||f_n-f_m|| < \epsilon$ $\forall n,m \geq N$.

You know that when $x\in E$, $|f_n(x) - f_m(x)| \leq ||f_n-f_m|| < \epsilon$, and $f_n(x) \rightarrow f(x)$. From this you can conclude that $|f_n(x) - f(x)| \leq \epsilon$ (otherwise a quick contradiction). Hence you know $\sup_{x \in E} |f_n(x) - f(x)| \leq \epsilon$.

You can define $f(x) = 0$ on $E^C$, so it is defined everywhere (not that it matters).

Consequently, $\mathbb{ess} \sup_X |f_n(x) - f(x)| \leq \epsilon$, since $\{x |\; | f_n(x) - f(x)| > \epsilon\} \subset E^C$ and $\mu E^C = 0$. In other words, $||f_n-f||_{\infty} \leq \epsilon$.

  • 0
    which part of the problem did you solve?2012-04-21
  • 0
    You asked how to get $\|f-f_n\|_\infty\to 0$.2012-04-21
  • 0
    right. Thanks . Is everything else okay?2012-04-21
  • 1
    Yes. Except your spelling of measurable.2012-04-21
  • 0
    haha...that's a good one. Thank you very much.2012-04-21