1

Let $f \colon [0,1]^2 \to \mathbb{R}$ be an arbitrary continuous function. I was wondering the following:

  1. Does there exist a point $a \in \mathbb{R}$ such that $f^{-1} \{a\}$ has Hausdorff dimension $1$?
  2. If the answer is yes, how small can one make $\sup_{a \in \mathbb{R}} H^1(f^{-1} \{a\})$? Specifically, can you find $f$ for which this is strictly less than $1$?
  3. If the answer is no, can you construct a counter example? What is the maximal Hausdorff dimension that is guaranteed to exist?

(These questions came to my mind from the discrete result that in any $n \times n$ integer matrix where adjacent entries differ by at most $1$ some number is repeated at least $n$ times.)

J. J.
  • 9,432

1 Answers1

1

(1). No, there are functions $[0,1]^2\to R$ such that every point preimage has Hausdorff dimension $>1$.

Recall that there exist functions $g: R\to R$ such that the graph of $g$ has Hausdorff dimension (at every point) $>1$, for instance, Weierstrass nowhere differentiable function has this property (see here). Now, consider the foliation of $R^2$ by the curves $C_t=\{(x, g(x)+t): x\in R\}$. Then define the function $$ f: R^2\to R $$ sending each $p\in R^2$ to $t\in R$ such that $p\in C_t$. This function is clearly continuous. Thus, we obtained a continuous function $f: R^2\to R$ such that for every $t\in R$, $f^{-1}(t)$ has Hausdorff dimension $>1$.

(2). Edit. Now, to your second questions. An easy estimate is that $$ \sup_a H^1(f^{-1}(a))\ge \sqrt{2\pi}-2 \approx 0.506. $$ The obvious conjecture, of course, is that this supremum is $\ge 1$, but I do not know how to prove it; you may have to play with quantities like Cheeger constant and lowest eigenvalue of the Laplacian to see if you can improve on my bound. Here is a proof of the $0.5$ estimate. Set $Q=[0,1]^2$.

For each $t\in {\mathbb R}$, define subsets $$ E_t=\{p\in Q: f(p)\le t\}, E^c_t=Q\setminus E_t. $$ Let $A_t$ denote the area of $E_t$. Let $L_t$ denote the 1-dimensional measure of the boundary of $E_t$. It equals the sum of $\ell_t=H^1(f^{-1}(a)$ and the length $m_t$ of $E_t\cap \partial Q$. Similarly, define $$ L_t^c= H^1(\partial E_a^c)= \ell_t + (4-m_t). $$ From the Euclidean isoperimetric inequality we obtain $$ L_t\ge \sqrt{4\pi A_t}, L_t^c\ge \sqrt{4\pi (1-A_t)}. $$ By adding the inequalities together, we get: $$ \ell_t\ge \sqrt{\pi}(\sqrt{A_t} + \sqrt{1-A_t}) -2. $$ Since $A_t$ is a continuous function of $t$, there exists $t$ such that $A_t=1/2$; for this $t$ we obtain $$ \ell_t \ge \sqrt{2\pi}-2. $$

(3) As for your last question:

Lemma. If $f: [0,1]^2\to R$, then there exists $t\in R$ such that $f^{-1}(t)$ has Hausdorff dimension $\ge 1$.

Proof. Indeed, suppose that there exists $f$ such that $f^{-1}(t)$ has Hausdorff dimension $< 1$ for all $t\in R$. Then, since Hausdorff dimension is always $\ge $ Lebesgue covering dimension (see e.g. "Dimension theory" by Hurewicz and Wallman) it follows that all subsets $f^{-1}(t)$ have covering dimension $0$. However, every point separates ${\mathbb R}$. Therefore, by taking point preimages, we see that there will be zero-dimensional subsets separating the unit square. This is impossible (a proof can be found again in "Dimension theory", by Hurewicz and Wallman, page 48). qed

Moishe Kohan
  • 97,719
  • Thanks a lot! This answers everything except the question whether some fiber $f^{-1}(t)$ has 1-dimensional Hausdorff measure at least $1$. I was thinking that one might be able to prove that via some coarea formula, but all the versions that I found assumed more than just continuity from the map $f$. – J. J. May 22 '14 at 07:30
  • @J.J.: If you read my answer carefully, it resolves this question as well. Namely, if the image of $f$ is an interval $[a,b]$ then for every $t\in (a,b)$, the set $f^{-1}(t)$ has Hausdorff dimension $\ge 1$. (The proof is by the separation argument given in my answer.) – Moishe Kohan May 22 '14 at 14:48
  • I feel like I'm missing something obvious. An arbitrary separating set (I assume a separating set here is a set $S$ such that $[0,1]^2 \setminus S$ is not connected.) does not need to have length ($H^1$-measure) at least $1$. – J. J. May 22 '14 at 14:58
  • @J.J.: Oh, I see, I misunderstood the question. I thought you are asking about Hausdorff dimension of the preimage and you are asking about the 1-dimensional Hausdorff measure. This I have to think about. The coarea formula indeed does not apply here since you do not have enough regularity. – Moishe Kohan May 22 '14 at 15:07