I have a question about a proof to a question in another discussion. This is regarding the uniform convergence of the difference quotient to the derivative of a function.
Here is a link to the discussion. The question in the discussion was:
Let $f:[0,1] \to \mathbb{R}$ be continuously differentiable. Prove that, for every $\epsilon > 0$, there exists $\delta > 0$ such that $0 < |h| < \delta$ implies $\left| \frac{f(x+h) - f(x)}{h} - f'(x) \right| < \epsilon$ for all appropriate $x$.
And the answer provided by Hagen von Eitzen was:
Let $\epsilon>0$ be given. For $\delta>0$ let $$U_\delta = \left\{a\in [0,1]\colon 0<|h|<\delta\Rightarrow \left|\frac{f(a+h)-f(a)}h-f'(a)\right|<\epsilon\right\}$$ Clearly, $\delta<\delta'$ implies $U_{\delta'}\subseteq U_\delta$. By continuity of $f$ and $f'$, $U_\delta$ is open and by definition of $f'$, $$[0,1]=\bigcup _{\delta>0}U_\delta.$$ Since $[0,1]$ is compact, there is a finite subcover, i.e. there is a single $\delta>0$ such that $[0,1]=U_\delta$.
My question is: why is $U_{\delta}$ open? I tried creating some examples and this does appear to hold for those examples, but I couldn't see how to extend it to a general proof. I do understand how all of the other parts in the proof work though.
It would also be appreciated if the use of the mean value theorem can be avoided as this was requested in the discussion when the question was asked. However, if no other reasonable approach is known to show that $U_{\delta}$ is open, then the use of the mean value theorem or other similar theorems is welcomed.