Let $f: \mathbb{R}^d \to \mathbb{R}$ be a continuous function. Let $t \in (\inf(f), \sup(f))$ and define $C = f^{-1} (t)$. Is it true that the Hausdorff dimension of C is $\geq d -1$? If no how does one construct a counter example?




---


I believe the following argument works for $d = 2$: 


$A = f^{-1}((-\infty, t))$ and $B= f^{-1}((t,\infty))$ are two open sets whose complement is contained in $C$. If the Hausdorff dimension of $C$ was $< 1$, then $C$ would be totally disconnected. Hence, $\mathbb{R}^2 \setminus C$ would be disconnected, which is implossible.



Hausdorff dimension of inverse images.
The boundary of $A = f^{-1}((-\infty, t))$ and $B= f^{-1}((t,\infty))$ is $C = f^{-1} (t)$. Therefore $C$ has Hausdorff dimension at least $d-1$, using [this MO entry](https://mathoverflow.net/questions/40593/hausdorff-dimension-of-the-boundary-of-an-open-set-in-the-euclidean-space-lower). I recommend Sergei Ivanov's response for a simple proof. Strictly speaking, the quoted MO entry would require that $A$ or $B$ is bounded, but read below.


Sergei Ivanov's argument can be adapted for a direct proof as follows. One can find balls $A'\subset A$ and $B'\subset B$ of equal radius. Consider the line $L$ connecting the centers of these balls, and the planes orthogonal to $L$ passing through the centers. These planes intersect $A'$ and $B'$ in two parallel disks of dimension $d-1$ and equal radius. Applying the [intermediate value theorem](http://en.wikipedia.org/wiki/Intermediate_value_theorem) to $f$ restricted to the lines parallel to $L$, one sees that the orthogonal projection of $C$ to either disk is surjective, hence $C$ has Hausdorff dimension at least $d-1$.


