is an open interval. Let be a function of class and compact. If all critical points of in are nondegenerate then there exists only finitely many of them in .
I've proven that if is a nondegenerate critical point of the differentiable function then there exists such that is the only critical point of in . This should be helpful.
Actually, maybe a different approach would be better, come to think of it. How about this:
You've essentially prove that every nondegenerate critical point is isolated. Since K is compact, it is closed and bounded. If there were an infinite number of nondegenerate critical points, they would have to accumulate somewhere. But they can't, because they're isolated.
How does that work?
Yeah, I think you're right in post # 5. Your set P is compact since it's a subset of the reals, closed, and bounded. You could probably come up with a function for which your set P (minus 0) is the set of nondegenerate critical points, even. So, it looks like my post # 4 isn't going to work. I think this is a job for Plato or Opalg. I'm quite certain one of them can help you better than I.
Example: The function (with f(0)=0) is of class , but it has infinitely many critical points in the interval [–1,1]. All of them are nondegenerate except possibly for the one at the origin. The function is not twice differentiable at the origin, so how are you going to define the critical point there to be degenerate?
Hmm, I don't seem to have mentioned the second derivative at all in that argument, having previously fretted over it. I think it must implicitly come somewhere in the proof that critical points are isolated.