Doubling measures on Cantor sets and their extensions (Q2428609)

Doubling measures are of interest to the study of geometric measure theory and harmonic analysis. A regular Borel measure \(\mu\) on a metric space \(X\) is doubling if there is a constant \(C \geq 1\) such that for any ball \(B(x,r)\) in \(X\), \(0<\mu(B(x,2r)) \leq C\mu(B(x,r))<\infty\). This paper studies the doubling property of binomial measures on the middle Cantor set. Using the notation \(W = \cup_{n=0}^{\infty} W_n\) for a set of words \(W_n=\{i_1i_2\dots i_n : i_j \in \{1,2\},\;1 \leq j \leq n\}\), \(W_0\) the empty word, we say a middle interval Cantor set has a basic (remaining) interval \(E_w\) at level n when \(w \in W_n\). A binomial measure \(\mu_p\) on the set is considered: \(p \in (0,1)\), \(p_1=p\), \(p_2=1 - p\), \(\mu_p(E_w)=p_{i_1}\dots p_{i_n}\), if \(w = i_1i_2\dots i_n.\) The measure \(\mu_{1/2}\) is always doubling. The authors show that a necessary and sufficient condition for a binomial measure for \(p \in (0,1)\backslash \{1/2\}\) to be doubling is that there is an integer \(N \geq 0\) such that for every integer \(n \geq 1\), the length of a basic gap (removed interval) of level \(n-1\) is not less than the length of a basic interval of level \(n+N\). They further determine that only when the middle interval Cantor set is of positive Lebesgue measure, the binomial measure \(\mu_{1/2}\) can be extended to a doubling measure on \([0,1]\). Using a Whitney modification set of a middle interval Cantor set of postive Lebesgue measure, they construct a compact set \(X\) in \([0,1]\) and a doubling measure \(\mu\) on \(X\) such that, if \(F_X\) is the set of isolated points and \(E_X\) the set of accumulation points of \(X\), then \(\overline{F}_X = X\) and \(\mu| _{E_X}\) is doubling on \(E_X\). The latter two results respond to questions raised by \textit{R. Kaufman} and \textit{J.-M. Wu} [Rev. Mat. Iberoam. 11, No. 3, 527--545 (1995; Zbl 0862.28005)].