Hausdorff measure of infinitely generated self-similar sets (Q1126395)

Let \(\mathbb{X}\) be a complete metric space and \({\mathfrak R} (\mathbb{X})\) the space of contractions on \(\mathbb{X}\) with the topology of uniform convergence over bounded sets. For a subset \(\Psi \subset {\mathfrak R} (\mathbb{X})\) let \(\Psi^\infty = \{(\psi_n)_{n\in\mathbb{N}} |\psi_n\in \Psi\) for all \(n\in\mathbb{N}\}\). If \(\Psi\) is relatively compact, \(\overline\Psi\) its closure, then the set mapping \[ S\overline \Psi(X)= \bigcup_{\psi\in \overline\Psi} \psi(X) \quad \text{for} \quad X \subseteq \mathbb{X} \] has an invariant set denoted by \(\overline \Psi^{\circ\infty}\). The author is concerned with the measure theoretic behavior of the set \[ \Psi^{\circ\infty} = \left\{\bigcap_{j= 1}^\infty \psi_1 \circ \psi_2 \circ \cdots \circ \psi_j(\overline \Psi^{\circ\infty}) \mid (\psi_n)_{n\in \mathbb{N}} \in\Psi^\infty \right\}. \] It is \(S\Psi\)-invariant (note that the set mapping is defined now by \(\Psi\) instead of the larger set \(\overline\Psi\) as above). If \(\Psi= \{\psi_n \mid n\in \mathbb{N}\}\) is a relatively compact and contractive set of similitudes of \(\mathbb{X}= \mathbb{R}^p\) fulfilling the open set condition for \(\Psi\) to prevent too much overlapping then the classic results follow. This part has some intersection to other known papers. For the overlapping case provided that no constants occur in the compact contractive subset \(\Psi\) the author uses a Vitali procedure to generate a countable set of contractions \(\Phi\) from the set \(\Psi^{\circ *}\) of finite composition from \(\Psi\) such that \(\varphi_i (\Psi^{\circ\infty}) \cap\varphi_j (\Psi^{\circ \infty}) = \emptyset\) for \(\varphi_i\), \(\varphi_j \in\Phi\) and the sets \(\Psi^{\circ \infty}\) and \(\Phi^{\circ \infty}\) satisfy \(H^s (\Psi^{\circ \infty}) =H^s (\Phi^{\circ \infty})\) for any Hausdorff measure \(H^s\) provided that for the contraction ratios \(r_i\) belonging to \(\Phi\quad\sum_i r^s_i <\infty\), moreover for similitudes in \(\Phi\) the Hausdorff dimension \(s\) of \(\Psi^{\circ \infty}\) is equal to \(s= \inf \{t\mid \sum_ir^t_i \leq 1\}\). In the non-compact, but relatively compact, case of \(\Psi\) under some extra condition, which prevent the occurrence of a large number of constant contractions in \(\overline\Psi\), a similar result is possible. For example, a bounded open set in a Euclidean space contains a self-similar subset generated by a disjoint countable system of similitudes and the same measure as the open set. If \(\Psi\) is finite then the authors's method gives an interesting alternative for computing Hausdorff dimension for overlapping self-similar sets, for example, the overlapping Sierpiński gasket with equal ratios 0.55 has approximately Hausdorff dimension 1.74 and similarity dimension, which is used in the classical case to compute Hausdorff dimension, equal to 1.83.