Does there exist a continuous function $f:[0,1] \to \mathbb R$ such that $0 \in Im f$ , $f^{-1}\{0\}$ does not contain any non-trivial interval and $f^{-1}\{0\}$ has positive Lebesgue measure ? If such a function exists , then what if we want such a smooth ( infinitely differentiable) function ?
1 Answer
Every closed subset of $\Bbb R$ is the zero set of a $C^\infty$ function; I think this is due to Whitney. So the question is whether there is a closed $A\subseteq[0,1]$ with positive measure, and containing no non-trivial interval. There are such $A$; for example "fat Cantor sets", which we produce by the usual construction of the Cantor set, but instead at each stage removing intervals whose length shrink fast enough to ensure that the measure of the remainder is $>0$.
-
4$\begingroup$ Perhaps simpler for $A$: Let $U$ be an open subset of $[0,1]$ containing $\mathbb Q \cap [0,1],$ with $m(U) < 1/2.$ Take $A= [0,1]\setminus U.$ $\endgroup$– zhw.Commented Jul 18, 2017 at 18:36
-
$\begingroup$ @zhw. : how to construct such an $U$ ? $\endgroup$– user456828Commented Jul 18, 2017 at 18:40
-
2$\begingroup$ @misao given $(q_n)_{n \ge 1}$ an enumeration of $\mathbb{Q}$, just take $U:= \bigcup \limits_{n \ge 1} \left ] q_n - \frac{1}{6^n}, q_n + \frac{1}{6^n} \right[$ : then $m(U) \le 2 \sum \limits_{n=1}^{+\infty} \frac{1}{6^n}=2/5<1/2$. $\endgroup$– charmdCommented Jul 18, 2017 at 18:54
-
1$\begingroup$ @misao $\mathbb Q \cap [0,1]$ is a set of measure $0$ so we can find an open $U$ containing it of arbitrarily small measure. $\endgroup$– zhw.Commented Jul 18, 2017 at 23:46