In $C[0,1]$ prove that the subset of Lipschitz functions is dense

Polynomials are dense in $C[0,1]$ by Weierstrass. Those are Lipschitz (in $[0,1]$).


No need to pull out the heavy guns.. Suppose $f(x) \in C[0,1]$. For a given $n$ let $f_n(x)$ be the piece-wise linear function whose graph connects $(0,f(0))$ to $(1/n, f(1/n))$ to $(2/n, f(2/n))$ to ... to $(1,f(1))$. Then $f_n(x)$ is continuous, it's Lipschitz since it's piecewise linear, and $f_n \to f$ in $C[0,1]$ as $n \to \infty$.