Quasisymmetrically thick generalized-Cantor sets in \(\mathbb R\) (Q2636904)

The authors prove the following theorem: Let \(E \equiv E(J_0, \{n_k\})\) be a generalized-Cantor set. If there exists a constant \(a> 1\) such that for any integer \(k \geq 1\), \(\sigma \in D_{k-1}\), holds \(\frac{|G_\sigma|}{|J_\sigma|} \leq a^{- \max \{k,n_k\}}\), then \(E\) is quasi-symmetrically thick, where \(J_0 = [0,1]\), \(\{n_k\}\) is a sequence of positive integers, and \(J= \{J_\sigma : \sigma \in D \}\) is a collection of closed subintervals of \(J_0\) with \(J_\varnothing= J_0\), \(D_k =\{\sigma_1 \cdots \sigma_k :1 \leq\sigma_i \leq n_i ,1 \leq i \leq k \}\), \(D_0 =\{\emptyset\}\), \(D = \bigcup_{k \leq 0} D_k\), the generalized-Cantor set is defined by \(E\equiv E(J_0, \{n_k\})=\bigcap_{k\geq0}\bigcup_{\sigma\in D_k}J_\sigma\) and \(G_\sigma=\bigcup_{i=0}^{n_{k+1}}I_{\sigma*i}\), where \(I_{\sigma*i}\) are the \(n_{k +1} + 1\) gaps lying in the fundamental interval \(J_\sigma\) from left to right, that is, \(J_\sigma=\bigcup_{i=0}^{n_{k+1}}I_{\sigma*i}\cup\bigcup_{j=1}^{n_{k+1}}J_{\sigma*j}\). The proof is technique based on two lemmas.