On quasisymmetric minimality of Cantor sets (Q471471): Difference between revisions
From MaRDI portal
Revision as of 06:50, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On quasisymmetric minimality of Cantor sets |
scientific article |
Statements
On quasisymmetric minimality of Cantor sets (English)
0 references
14 November 2014
0 references
A topological homeomorphism \(f:\mathbb R^n\to \mathbb R^n\) is called quasisymmetric if there is a homeomorphism \(\eta:[0,\infty) \to [0,\infty)\) such that \[ \frac {|f(x)-f(a)|}{|f(x)-f(b)|} \leq \eta \left( \frac {|x-a|}{|x-b|}\right) \] for all triples of distinct \(a,b,x\) in \(\mathbb R^n\). A subset \(E\) of \(\mathbb R^n\) is called quasisymmetrically minimal for Hausdorff dimension (minimal, for short) if \[ \dim_Hf(E) \geq \dim_HE \] for every quasisymmetric homeomorphism \(f: \mathbb R^n\to \mathbb R^n\). After [\textit{F. W. Gehring}, Acta Math. 130, 265--277 (1973; Zbl 0258.30021)], if \(n\geq 2\) then every subset \(E\) of \(\mathbb R^n\) with \(\dim_HE=n\) is minimal. Interestingly, as shown by \textit{P. Tukia} [Math. Scand. 65, No. 1, 152--160 (1989; Zbl 0677.30016)] this is false when \(n=1\), in general. This leads naturally to the question: which subsets of the line with Hausdorff dimension one are minimal? It is known that this is the case for certain Moran sets, or quasisymmetrically thick sets, or middle interval Cantor sets. In this paper it is shown that uniform Cantor sets of Hausdorff dimension one are all minimal (see Theorem 1.1). In addition, an analog of this result for packing dimension is obtained (Theorem 1.2), and general sufficient conditions for minimal Cantor sets in the sense of Hausdorff dimension and in the sense of packing dimension are formulated (Theorem 5.1 and Theorem 5.2).
0 references
uniform Cantor sets
0 references
quasisymmetrically minimal sets
0 references
Hausdorff dimension
0 references
packing dimension
0 references