The Hausdorff dimension of the hyperspace of compact sets (Q1979039)

The author investigates the relation between the Hausdorff dimension of a separable metric \(X\) space and that of its hyperspace \(\mathcal K(X)\) (= the space of all compact subsets of \(X\) provided with the Hausdorff metric). The results apply mainly to self-similar sets. The main result is as follows: Suppose that \(E\subset \mathbb R^n\) is a self-similar set satisfying the open set condition. Let \(s_0\) be the Hausdorff dimension of \(E\) and let \(\phi _s(t)=2^{-(1/t)^s}\). Then \(\mathcal H^{\phi _s}(\mathcal K(E))=\infty \) for \(s<s_0\) and \(\mathcal H^{\phi _s}(\mathcal K(E))=0\) for \(s>s_0\). (\(\mathcal H^{\phi _s}\) denotes the Hausdorff measure obtained from \(\phi _s\).) The results are obtained by establishing bi-Lipschitz correspondence between self-similar sets and so-called sequence spaces and application of rather fine techniques akin to classical techniques of geometric measure theory. This interesting paper relates to an earlier paper by the author [\textit{M. McClure}, Real Anal. Exch. 21, No.~1, 194-202 (1996; Zbl 0860.54011)].