A homogeneous space whose complement is rigid (Q312296): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
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)]. | |||
Property / review text: 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)]. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54F99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54H11 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6627505 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
countable dense homogeneous | |||
Property / zbMATH Keywords: countable dense homogeneous / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homogeneous | |||
Property / zbMATH Keywords: homogeneous / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Martin's axiom | |||
Property / zbMATH Keywords: Martin's axiom / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rigid | |||
Property / zbMATH Keywords: rigid / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Leonhard R. Rubin / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2964044763 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1410.0559 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigid 3-Dimensional Compacta Whose Squares are Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigid Finite Dimensional Compacta Whose Squares are Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2874855 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Countable dense homogeneous spaces under Martin's axiom / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continua which admit only the identity mapping onto non-degenerate subcontinua / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Rigid Space Whose Square is the Hilbert Space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3732559 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A compact space with a measure that knows which sets are homeomorphic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A decomposition of \({\mathbb{R}}\) into two homeomorphic rigid parts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decompositions of Rigid Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3789551 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigid continua and topological group-pictures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4323294 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2904376 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Seven characterizations of non-meager \mathsf P-filters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A rigid subspace of the real line whose square is a homogeneous subspace of the plane / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Products and countable dense homogeneity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Rigid Space X for Which X × X is Homogeneous; an Application of Infinite-Dimensional Topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3660506 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sierpiński's technique and subsets of \(\mathbb{R}{}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2721306 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partitioning spaces into homeomorphic rigid parts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decomposing topological spaces into two rigid homeomorphic subspaces / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:42, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A homogeneous space whose complement is rigid |
scientific article |
Statements
A homogeneous space whose complement is rigid (English)
0 references
15 September 2016
0 references
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)].
0 references
countable dense homogeneous
0 references
homogeneous
0 references
Martin's axiom
0 references
rigid
0 references
0 references