Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I remember being assigned the following homework problem a few years back.

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$.

I also remember how I solved it.

Fix $\epsilon > 0$. Since $f'$ is a continuous function on a compact interval, it is uniformly continuous and we can find a $\delta > 0$ such that $|x-y| < \delta$ implies $|f'(x) - f'(y)| < \epsilon$ for $x ,y \in [0,1]$. Suppose $0 < |h| < \delta$ and that $x$ is such that $x,x+h \in [0,1]$. By the Mean Value Theorem, there is an $a$ between $x$ and $x+h$ such that $f'(a) = \frac{f(x+h) - f(x)}{h} = f'(a)$. Note $|x - a| < \delta$ clearly holds. So, $\left|\frac{f(x+h) - f(x)}{h} - f'(x) \right| = |f'(a) - f'(x)| < \epsilon$ and we are finished.

What had me baffled was that this: we had not covered the MVT at the time the problem was assigned! This suggests there should be a way to prove it without using the MVT. Can anybody think of a way? I don't think I ever did. Thanks.

share|improve this question
    
Sidebar: does the statement admit reasonable generalizations to higher-dimensions where the MVT may not be available? An answer to that question could help decide whether MVT is crucial above or whether it's just a convenient device for shortening the proof. –  Mike F Nov 15 '12 at 1:46
    
What's definition of uniformly convergence you are using? The definition that I know uses sequences, but here there is no sequence. –  Pedro Sep 24 '13 at 11:54

1 Answer 1

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$.

share|improve this answer
    
I'm looking at it for 10 minutes and cannot get why $U_\delta$ is open. It would be so for any fixed $h$, but how it follows when $U_\delta$ is effectively an infinite intersection of open sets (one for each $h$)? –  ybungalobill Dec 9 '12 at 18:15
    
@ybungalobill: You're right, more needs to be said. –  Mike F Jul 18 '13 at 16:53

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.