Suppose that $f : \mathbb{R} \rightarrow \mathbb{R}$ is such that $f$ is continuously differentiable and non-constant. Is it true that for any $c \in \mathbb{R}$, the level set $\{f=c\}$ contains only isolated points? Is at most countable? I feel like the implicit function theorem has something to say about this, but I can't seem to connect the dots. Thanks!
-
1$\begingroup$ It may be large too. Say $f(x) = x^2$ for positive $x$ and $0$ for negatives. $\endgroup$– orangeskidOct 13, 2017 at 17:07
-
1$\begingroup$ By a theorem of Whitney, any closed subset of $\Bbb R$ is the zero set of some infinitely differentiable function. $\endgroup$– Angina SengOct 13, 2017 at 17:11
-
1$\begingroup$ Thanks a lot for the comments! $\endgroup$– MarkOct 13, 2017 at 17:17
-
$\begingroup$ It can contain isolated points or be countably or uncountably infinite. See the last question of dpmms.cam.ac.uk/study/IA/AnalysisI/2008-2009/… $\endgroup$– Teddy38Oct 13, 2017 at 17:26
1 Answer
For isolated points and countably infinite ones I think you can find examples no problem. For the uncountably infinite one, try
$$f(x)=\exp(-1/x^2)\text{ if }x\geq 0\text{ and }f(x)=0\text{ if }x<0\ .$$
It shouldn't be too difficult to prove that the function is infinitely differentiable at $x=0$.