On the space of Cantor subsets of \(\mathbb R^3\) (Q387904)

In this paper the authors consider the hyperspace of Cantor subsets, \(\mathcal C(\mathbb R^3)\), with the Hausdorff metric (equivalently, with the Vietoris topology). Let Aut(\(\mathbb R^3\)) denote the set of homeomorphisms of the Euclidean space \(\mathbb R^3\). It is known that Aut(\(\mathbb R^3\)) is a Polish group that acts continuously on the hyperspace of all compact subsets, \(\mathcal K(\mathbb R^3)\) (taking a compact subset to its image under the given homeomorphism) of \(\mathbb R^3\) and \(\mathcal C(\mathbb R^3)\) is an invariant subset of \(\mathcal K(\mathbb R^3)\). This defines a natural conjugancy relation on \(\mathcal C(\mathbb R^3)\). In the paper under review, the authors study the invariant subsets of \(\mathcal C(\mathbb R^3)\) under the action of Aut(\(\mathbb R^3\)). They prove that the classification problem of Cantor sets arising from this action is at least as complicated as the classification of countable linear orders. They also study some topological properties of \(\mathcal C(\mathbb R^3)\). In particular, they show that \(\mathcal C(\mathbb R^3)\) is a Polish space, it is path connected and locally path connected. They ask the following questions.NEWLINENEWLINEQuestion. Are Cantor sets classifiable by countable structures?NEWLINENEWLINEQuestion. Is \(\mathcal C(\mathbb R^3)\) homeomorphic to a Hilbert space?