Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
I read in Kolmgorov-Fomin's Элементы теории функций и функционального анализа (p. 408 here) that the set of continuously differentiable functions are dense everywhere in space $L^1[a,b]$ of Lebesgue integrable functions on $[a,b]$ endowed with distance $d(f,g)=\int_{[a,b]}|f-g|d\mu$.
I know that the set of continuous functions is dense everywhere in $L^1[a,b]$, but how to prove that the set of continuously differentiable functions is dense everywhere too? I thank you all very much!!!
It is a direct consequence of Stone-Weierstrass' theorem. Let $f\in L_1[a,b]$, and $\epsilon>0$. You know that there is some $g\in C[a,b]$ such that $\int_a^b|f-g|d\mu<\epsilon/2$. Now, let $p$ a polynomial such that $\|p-g\|_\infty<\epsilon/[2(b-a)]$.
Then $$\int_a^b|f-p|d\mu\le\int_a^b|f-g|d\mu+\int_a^b|g-p|d\mu<\epsilon$$
