A stronger form of countable dense homogeneity of the plane (Q725655)

A separable topological space \(X\) is \textit{countable dense homogeneous} (CDH) if for every pair \((D,E)\) of countable dense subsets of \(X\) there exists a homeomorphism \(h:X\longrightarrow X\) such that \(h[D]=E\). This notion can be traced back to \textit{G. Cantor} [Math. Ann. 46, 481--512 (1895; JFM 26.0081.01)], who essentially showed that \(\mathbb{R}\) is CDH. In fact, by Theorem 5.2 in [\textit{R. D. Anderson} et al., Trans. Am. Math. Soc. 272, 311--321 (1982; Zbl 0508.54013)], every strongly locally homogeneous Polish space is CDH. In particular, all the Euclidean spaces \(\mathbb{R}^n\) are CDH. The main result of this article is the following strengthening of the fact that \(\mathbb{R}^2\) is CDH. Let \(\mathcal{C}=\{C_i:i\in\omega\}\) and \(\mathcal{K}=\{K_i:i\in\omega\}\) be collections consisting of subsets of \(\mathbb{R}^2\). Assume that the following conditions are satisfied: (1) \(\mathsf{cl}(C_i)\) and \(\mathsf{cl}(K_i)\) are both continua for every \(i\in\omega\), (2) \(\mathsf{diam}(C_i)\to 0\) and \(\mathsf{diam}(K_i)\to 0\) as \(i\to\infty\), (3) \(\bigcup\mathcal{C}\) and \(\bigcup\mathcal{K}\) are both dense in \(\mathbb{R}^2\), (4) \(\mathsf{cl}(C_i)\cap\mathsf{cl}(C_j)=\varnothing\) and \(\mathsf{cl}(K_i)\cap\mathsf{cl}(K_j)=\varnothing\) whenever \(i,j\in\omega\) and \(i\neq j\), (5) for all \(i,j\in\omega\) there exists an orientation-preserving homeomorphism \(h:\mathbb{R}^2\longrightarrow\mathbb{R}^2\) such that \(h[C_i]=K_j\). Then there exists a homeomorphism \(h:\mathbb{R}^2\longrightarrow\mathbb{R}^2\) such that \(\{h[C_i]:i\in\omega\}=\mathcal{K}\). Whether it is possible to obtain higher-dimensional versions of this result is an open problem. The authors also point out that the requirement ``orientation-preserving'' in Condition (5) cannot be dropped (see Remark 13.8 in [\textit{T. Banakh} and \textit{D. Repovš}, Algebr. Geom. Topol. 13, No. 6, 3687--3731 (2013; Zbl 1281.57014)]).