Smooth function's set of critical values

Homework Statement

Assume that $$f:[a,b] \rightarrow \mathbb{R}$$ is continuously differentiable. A critical point of f is an x such that $$f'(x) = 0$$. A critical value is a number y such that for at least one critical point x, y = f(x). Prove that the set of critical values is a zero set.

Homework Equations

A set Z is said to be a zero set if for each $\epsilon$ there is a countable covering of Z by open intervals $$(a_i , b_i)$$ such that $\sum_{n=1}^\infty} b_i - a_i \leq \epsilon$

The Attempt at a Solution

I'm not even sure really where to start with this one. Normally when I start a problem, I always check to make sure that it intuitively makes sense. If we let C be the set of critical points, then the goal is to show f(C) has measure zero, but I really don't see how to approach this problem. I don't really see how to use the fact that the derivative is continuous. I'd love a hint in the right direction to start or something, as this has me pretty baffled. Thanks!

Related Calculus and Beyond Homework Help News on Phys.org
Dick
Homework Helper
Try showing that C can be covered by a set of intervals on which |f'(x)|<e for any e>0 for x in any of those intervals. Now if [c,d] is one of those intervals what can you say about |f(x)-f(y)| for x and y in [c,d]? Think mean value theorem. So what can you say about the measure of f([c,d])? Now what happens as you take e->0?

Ah! That makes perfect sense! For each e>0 we know the set of points such that |F '(x)| < e , contains our set C. Let [c,d] be a subset of the aforementioned set. Now, if we let x, y, be points in [c,d], we know by the MVT $$| f(x) - f(y)| = |f'(a) (x - y)| < \epsilon |(x-y)|$$ (for some a in (x,y) Since $\epsilon$ was arbitrary, we see this goes to zero. This shows that the distance |f(x) - f(y)| is arbitrarily small. So, now for each interval [f(x), f(y)] has a length given by the above inequality, which should go to zero as epsilon can be made arbitrarily small. So, we can make each critical value be contained in an arbitrarily small interval, which suggests that the set of critical values has measure zero.

Is that the right reasoning? Thank you so much for your help! This problem was driving me crazy, and I was approaching it previously in a far more complicated manner.

Dick