Is the space of piecewise continuous functions on $[0,1]$ complete in $L^2[0,1]$

functional-analysislebesgue-integral

If we consider $PC[0,1]$ as a subset of $L^2[0,1]$, is it complete when equipped with the $L^2$ norm? I have been trying to prove this for some time but did not get very far. The search for a counterexample has also proved fruitless. I would therefore be grateful for some help.

Thank you.

Best Answer

This is false. Let $C$ be a 'fat' Cantor set of positive measure. Since $C$ is closed we can find continuous functions $f_n$ with values in $[0,1]$ such that $f_n \to I_C$ pointwise. By Bounded Convergence Theorem $f_n \to I_C$ in $L^{2}[0,1]$. But $I_C$ is not piecewise continuous.

Related Question