Space of Somewhere Differentiable Continuous Functions on Closed Interval is Meager in Space of Continuous Functions on Closed Interval/Corollary

Theorem
There exists a function $f \in \map \CC I$ that is not differentiable anywhere.

Proof
By Space of Continuous on Closed Interval Real-Valued Functions with Supremum Norm form Banach Space:


 * $\struct {\map \CC I, d}$ is a complete metric space.

By Baire Space is Non-Meager:


 * $\struct {\map \CC I, d}$ is non-meager.

By User:Caliburn/s/1:


 * $\struct {\map {\mathcal D} I, d}$ is meager in $\struct {\map \CC I, d}$.

So:


 * $\map {\mathcal D} I \ne \map \CC I$.

That is, there exists a continuous function that is not differentiable anywhere.

An explicit example is given in Weierstrass's Theorem.