Question regarding the proof of $C[0,1]$ is dense in $L^p[0,1]$

207 Views Asked by At

I was reading a proof of this fact (which can be found here https://math.stackexchange.com/a/2691177/767624). I'm not sure whether I understand the argument. How can we conclude that $\int_{[0,1]\setminus F_\varepsilon} |f(x)-g(x)|^p \to 0$ when $m([0,1]\setminus F_\varepsilon) \to 0$? Doesn't the choice of $g$ depend on $\varepsilon$?

1

There are 1 best solutions below

0
On BEST ANSWER

Do this first: Let $$f_n(x)=\begin{cases}f(x),&(|f(x)|\le n), \\0,&(|f(x)|>n).\end{cases}$$Then DCT shows $||f-f_n||_p\to0$. So

Wlog $f$ is bounded.

Say $f\in L^p$ and $|f(x)|\le M$ for all $x$. Note that $f$ and hence $M$ are fixed for the rest of the proof.

Now each time we apply Lusin's Theorem we can obtain $|g(x)|\le M$, hence we don't need Proposition 17, the first part of the proposition clearly holds with $\delta=\frac\epsilon{2M}$.