Conformal dimension does not assume values between zero and one (Q2500441)

The conformal dimension \({\mathcal G}\dim X\) of a metric space \(X\) has been introduced by Pansu in 1989 by the following relation: \[ {\mathcal G}\dim X := \inf\left\{{\mathcal H}\dim Y: Y \text{ is quasi-symmetrically homeomorphic to }X \right\}, \] where \({\mathcal H}\dim Y\) is the Hausdorff dimension of \(Y\) and the injective mapping \(f : X \rightarrow Y\) is called quasi-symmetric if there is a homeomorphism \(\eta : [0, \infty) \rightarrow [0, \infty)\) such that \[ \frac{d_Y(f(x_1),f(x_3))} {d_Y(f(x_2),f(x_3))} \leq \eta\left( \frac{d_X(x_1,x_3)} {d_X(x_2,x_3)} \right). \] It is proved the following Theorem 1: The conformal dimension of any metric space is either zero or at least one. It is a consequence of the next more general Theorem 2: Let \(V\) be a real Banach space, and let \(E \subset V\) be a set such that the Hausdorff dimension \({\mathcal H}\dim E < 1\). For any \(\varepsilon > 0\), there exists a quasi-symmetric homeomorphism \(f : V \rightarrow V\) such that \({\mathcal H}\dim f(E) \leq \varepsilon\). This statement remains true if the Hausdorff dimension \({\mathcal H}\dim\) is replaced by by the upper Minkowski dimension, lower Minkowski dimension, upper packing dimension or lower packing dimension. The proofs are based on the study of properties of nonlinear accretive operators.