Abstract:We consider the question which compact metric spaces can be obtained as a Lipschitz image of the middle third Cantor set, or more generally, as a Lipschitz image of a subset of a given compact metric space. In the general case we prove that if $A$ and $B$ are compact metric spaces and the Hausdorff dimension of $A$ is bigger than the upper box dimension of $B$, then there exist a compact set $A'\subset A$ and a Lipschitz onto map $f\colon A'\to B$. As a corollary we prove that any `natural' dimension in $\mathbb{R}^n$ must be between the Hausdorff and upper box dimensions. We show that if $A$ and $B$ are self-similar sets with the strong separation condition with equal Hausdorff dimension and $A$ is homogeneous, then $A$ can be mapped onto $B$ by a Lipschitz map if and only if $A$ and $B$ are bilipschitz equivalent. For given $\alpha>0$ we also give a characterization of those compact metric spaces that can be obtained as an $\alpha$-Hölder image of a compact subset of $\mathbb{R}$. The quantity we introduce for this turns out to be closely related to the upper box dimension.

Some Remarks on Hausdorff Measurability of Lipschitz Images in Metric Spaces

Lipschitz images and dimensions

Hausdorff dimension, its properties, and its surprises

Metric Mean Dimension and Mean Hausdorff Dimension Varying the Metric

Some Remarks on the Hausdorff Measure of the Cantor Set

A Choquet theory of Lipschitz-free spaces

Bi-Lipschitz arcs in metric spaces with controlled geometry

Closed and open-closed images of submetrizable spaces

Typical Lipschitz images of rectifiable metric spaces

Metric properties of boundary maps, Hilbert entropy and non-differentiability

Local Hausdorff Measure

Lipschitz Functions on Unions and Quotients of Metric Spaces

Some Remarks on Partial Metric Spaces

Structure of measures in Lipschitz differentiability spaces

Characterizing Lipschitz images of injective metric spaces

Log-Lipschitz and Hölder regularity imply smoothness for complex analytic sets

Metric mean dimension, Hölder regularity and Assouad spectrum

Hausdorff limits of submanifolds of symplectic and contact manifolds

A note on the relationship of pointwise dimensions of an invariant measure and its natural extension

Isometries of Lipschitz-free Banach spaces