On HCO spaces. An uncountable compact T2 space, different from ℵ1+1, which is homeomorphic to each of its uncountable closed subspaces, which is homeomorphic to each of its uncountable closed subspaces

Robert Bonnet*, Saharon Shelah

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

Abstract

Let X be an Hausdorff space. We say that X is a CO space, if X is compact and every closed subspace of X is homeomorphic to a clopen subspace of X, and X is a hereditarily CO space (HCO space), if every closed subspace is a CO space. It is well-known that every well-ordered chain with a last element, endowed with the interval topology, is an HCO space, and every HCO space is scattered. In this paper, we show the following theorems: Theorem (R. Bonnet): Every HCO space which is a continuous image of a compact totally disconnected interval space is homeomorphic to β+1 for some ordinal β. Every HCO space of countable Cantor-Bendixson rank is homeomorphic to α+1 for some countable ordinal α. Theorem (S. Shelah): Assume(Formula presented.). Then there is a HCO compact space X of Cantor-Bendixson rank ω1} and of cardinality ℵ1 such that: X has only countably many isolated points, Every closed subset of X is countable or co-countable, Every countable closed subspace of X is homeomorphic to a clopen subspace, and every uncountable closed subspace of X is homeomorphic to X, and X is retractive. In particular X is a thin-tall compact space of countable spread, and is not a continuous image of a compact totally disconnected interval space. The question whether it is consistent with ZFC, that every HCO space is homeomorphic to an ordinal, is open.

Original languageEnglish
Pages (from-to)289-332
Number of pages44
JournalIsrael Journal of Mathematics
Volume84
Issue number3
DOIs
StatePublished - Oct 1993

Fingerprint

Dive into the research topics of 'On HCO spaces. An uncountable compact T2 space, different from ℵ1+1, which is homeomorphic to each of its uncountable closed subspaces, which is homeomorphic to each of its uncountable closed subspaces'. Together they form a unique fingerprint.

Cite this