A homogeneous space whose complement is rigid (Q312296): Difference between revisions

A space is called rigid if its homeomorphism group consists precisely of the identity map. It is homogeneous if for each pair \((x,y)\) of its points, there is a self-homeomorphism carrying \(x\) to \(y\). It is called countable dense homogeneous if for each pair \((A,B)\) of its countable dense subsets, there is a self-homeomorphism carrying \(A\) to \(B\). The three notions: rigidity, homogeneity, and countable dense homogeneity have been studied over a long period of time. The authors provide background references on these topics for the reader. The current paper achieves two main results. \textbf{Theorem 6.} There exists a homogeneous subspace of \(2^\omega\) whose complement is dense in \(2^\omega\) and rigid. \textbf{Theorem 8.} Assume \(\mathrm{MA}\)(\(\sigma\)-centered). Then there exists a countable dense homogeneous subspace of \(2^\omega\) whose complement is dense in \(2^\omega\) and rigid. The term \(\mathrm{MA}\)(\(\sigma\)-centered) is the statement that Martin's Axiom for \(\sigma\)-centered posets holds. The definition of such a notion in set theory can be found in [\textit{K. Kunen}, Set theory. London: College Publications (2011; Zbl 1262.03001)].