Skip to main content
2 of 5
added 107 characters in body
john mangual
  • 22.8k
  • 4
  • 63
  • 172

Can the image of a disk have nontrivial Hausdorff measure for $1 < d < 2$?

I am reading a blog which talks about a $C^1$ diffeomorphism $f: \mathbb{D}\{ x^2 + y^2 < 1\} \to \mathbb{R}^2$ and estimates the Hausdorff dimension of its image $\mathcal{H}_\sqrt{2}^d (f(\mathbb{D}))$.

My question is how can the diffeomorphic image of a disk have Hausdorff dimension between 1 and 2?

To remind myself, I read up on Hausdorff measure. The Hausdorff measure of $\mathbb{D}$ is zero in dimensions bigger than 2 and infinite in dimensions less than 2.

So how can the diffeomorphic image of a disk have $\mathcal{H}_\sqrt{2}^d (f(\mathbb{D}))$ which is neither $0$ nor $\infty$?


Related What is the Point of a Horseshoe Map ? and some more discussion where the authors announce finding Hausdorff dimension of the (un)stable set to be less than 2. Fractal Geometry of non-Uniformly Hyperbolic Horseshoes

john mangual
  • 22.8k
  • 4
  • 63
  • 172