Wild high-dimensional Cantor fences in \(\mathbb{R}^n\). I (Q1738960)

Let $C$ denote the Cantor set. The first wild Cantor set the reviewer can trace appeared already in 1921 as Antoine's necklace and was soon followed by the set of bad points of the Alexander horned sphere. Mathematicians have found that in $\mathbb{R}^3$ there exist uncountably many inequivalent embeddings of the Cantor set (see the references in the paper) and that all embeddings of the Cantor set in $\mathbb{R}^2$ are tame. Of course wild embeddings of $C$ appear for all $n\geq 3$. \par $X, Y\subset \mathbb{R}^n$ are equivalently embedded if there is a homeomorphism $h$ of $\mathbb{R}^n$ onto itself such that $h(X)=Y$. In this paper we encounter a more general notion: $X$ can be ambiently embedded in $Y$ if there is a homeomorphism $h$ of $\mathbb{R}^n$ onto itself such that $h(X)\subset Y$. Furthermore, $X, Y\subset \mathbb{R}^n$ are ambiently comparable if at least one of them can be ambiently embedded into the other. The author constructs an embedding $f: C\times C \to \mathbb{R}^n, n\geq 3$, such that for each $x\in C$ the image $f(C\times \{x\})$ is wild. Furthermore, for $x \not= y$, and $x, y \in C$, the Cantor sets $f(C\times \{x\})$ and $f(C\times \{y\})$ are incomparable copies of $C$ in $\mathbb{R}^n$. \par This result is generalized to $X\times C$ for $X\subset \mathbb{R}^{n-1}$ being a non-empty perfect compact space.