$C^1[a,b]$ is closed in $C[a,b]$ So, I have the following question: 

Let $C[a,b]$ denote the space of continuous real-valued functions on
  $[a,b]$ with the sup-metric. Let $C^1[a,b]$ denote the space of
  continuously differentiable functions on $[a,b]$. Is $C^1[a,b]$ a
  closed subset of $C[a,b]$?

So, what I've done so far. The sup metric is $d_{\infty}(f,g) = \sup \left\{|f(x) - g(x)| : a \leq x \leq b \right\}$ for $f,g\in C[a,b]$
Clearly $C^1[a,b] \subset C[a,b]$
$C^1[a,b]$ is a closed subset of $C[a,b]$ if $C[a,b]\backslash C^1[a,b]$ is open in $C[a,b]$ - i.e.
$\forall h \in C[a,b]\backslash C^1[a,b]$, $\exists \epsilon > 0$ such that $\left\{ f \in C[a,b] : d_{\infty}(f,h) < \epsilon \right\} \subseteq C[a,b]\backslash C^1[a,b]$
Which seems to be saying that, essentially, for any non-differentiable continuous function $h$ we can find an $\epsilon > 0$ such that when the supremum of the distance between $h$ and all other continuous functions on $[a,b]$ is less than $\epsilon$, then they will also not be differentiable. 
This is where I get stuck, not least because I'm not convinced whether that is true or not. Clearly, it's easily possible to create further non-differentiable functions by, for example, moving one point of $h$ less than $\epsilon$. My instinct is that you're not going to be able to turn a non-differentiable function into a differentiable one with an arbitrarily small $\epsilon$, so I think such an $\epsilon$ exists - but this obviously isn't formal (or even likely to be correct)
Thanks.
 A: Try building a sequence of differentiable functions, converging to $f(x) = |x|$ (say $[a, b] = [-1, 1]$).
A: No -- on the contrary, $C^1[a,b]$ is dense in $C[a,b]$, by the Weierstrass approximation theorem.
But that's too big a gun to bring out to show that it is simply not closed.
Instead, to follow your ansatz, Karolis' suggestion is to consider $h(x)=|x|$. That's the archetypical example of a function that's continuous but not differentiable, if $0$ is an interior point of $[a,b]$ (which we can clearly assume without loss of generality).
We're then looking for an $\epsilon$ such that no $f$ that differs from $h$ by at most $\epsilon$ can be differentiable. If we fail in that -- in other words, if for every $\epsilon$ there is a differentiable $f$ close to $h$ -- then we have proved that $C^1[a,b]$ is not closed.
Now consider $f(x)=\sqrt{x^2+\delta}$ where $\delta$ is a small positive constant that possibly depends on $\epsilon$. Is this always differentiable? Can we made it stay within a distance of $\epsilon$ from $|x|$ by choosing $\delta$ small enough?
