0
$\begingroup$

I'm not sure how to start this, but I know the definitions needed.

$f_n$ converges in measure to $f$, so:

lim $\mu^*(\{x \in X: |f_n(x) - f(x)| \ge \epsilon\})=0$

So the outer measure of the set of $\{x \in X\}$ where $f_n(x)$ does not converge to $f(x)$ is 0.

But the definition my book gives for a measurable function is that $f^{-1}(O)$ is a measurable set $\forall O \subseteq \mathbb R$. I'm not seeing a route I can take to get from point A to point B. Can anyone point me in the right direction?

$\endgroup$
1
$\begingroup$

For each $k\in{\bf{N}}$, find strictly increasing $(n_{k})$ such that $A_{k}:=\{x\in X:|f_{n_{k}}(x)-f(x)|\geq 1/k\}$, $\mu^{\ast}(A_{k})<1/2^{k}$. Let $N=\displaystyle\bigcap_{n}\displaystyle\bigcup_{k\geq n}A_{k}$, one can show $\mu^{\ast}(N)=0$ and $f_{n_{k}}(x)\rightarrow f(x)$ for all $x\in X-N$. Now $(f_{n_{k}})$ is a sequence of measurable functions, so is the a.e. limit function $f$.

$\endgroup$
  • $\begingroup$ Thank you so much, this helped me bridge the gap! $\endgroup$ – Lo12 Nov 16 '17 at 22:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.