×

Compact spaces of diversity two. (English) Zbl 0854.54023

The diversity of a space is the number of homeomorphism types of its open subsets; for example the Cantor set has diversity 2 but a converging sequence has diversity \(\aleph_0\).
It was shown by J. Mioduszewski [Colloq. Math. 39, 35-40 (1978; Zbl 0401.54007)] that a compact space \(X\) of diversity 2 is homogeneous, dense-in-itself and zero-dimensional, and that each noncompact open subset of \(X\) is homeomorphic to \(\omega \times X\); this implies that such spaces are hereditarily Lindelöf. The authors concentrate on compact ordered spaces and on products of diversity 2. All compact ordered spaces of diversity 2 are seen to be obtained by splitting the points of a dense subset of either the unit interval or a connected Suslin line. This gives one a structural handle on such spaces and allows the authors to describe a variety of such spaces and characterize some of them. As to products: the authors prove that the product of spaces of diversity 2 is again of diversity 2, provided it is hereditarily Lindelöf; as a corollary it follows that only the Cantor set has a square of diversity 2. From the conjunction of \(\text{MA} (\aleph_1)\) and “all \(\aleph_1\)-dense subsets of \(\mathbb{R}\) are isomorphic” deduce “if \(X\) and \(Y\) are compact, ordered and of diversity 2 and if \(X\times Y\) is also of diversity 2 then \(X\) or \(Y\) is the Cantor set”. By contrast, from \(\diamondsuit\) the authors construct two Suslin lines of diversity 2 whose product also has diversity 2.
Reviewer: K.P.Hart (Delft)

MSC:

54D30 Compactness
54A35 Consistency and independence results in general topology
54A25 Cardinality properties (cardinal functions and inequalities, discrete subsets)
54B10 Product spaces in general topology
06A05 Total orders
54F05 Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces
03E50 Continuum hypothesis and Martin’s axiom
03E65 Other set-theoretic hypotheses and axioms
03E05 Other combinatorial set theory
03C25 Model-theoretic forcing

Citations:

Zbl 0401.54007
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Baumgartner, J. E., Applications of the Proper Forcing Axiom, (Kunen, K.; Vaughan, J. E., Handbook of Set-Theoretic Topology (1984), North-Holland: North-Holland Amsterdam), 913-959
[2] Baumgartner, J. E., All \(ℵ1- dense\) sets of reals can be isomorphic, Fund. Math., 79, 101-106 (1973) · Zbl 0274.02037
[3] Bilaniuk, S., Some results on Souslin trees, (Ph.D. thesis (1989), University of Wisconsin)
[4] Borges, C. R.J., On stratifiable spaces, Pacific J. Math., 17, 1-17 (1966) · Zbl 0175.19802
[5] Bula, W., On compact Hausdorff spaces having finitely many types of open subsets, (Colloq. Math., 41 (1979)), 211-214 · Zbl 0451.54026
[6] Bula, W., On continua having three types of open sets, (Colloq. Math., 45 (1981)), 221-225 · Zbl 0509.54032
[7] Devlin, K. J.; Johnsbraten, H., The Souslin Problem, (Lecture Notes in Math., 405 (1974), Springer-Verlag: Springer-Verlag New York) · Zbl 0289.02043
[8] van Engelen, A. J.M.; van Mill, J., A pathological homogeneous subspace of the real line, (Bennett, H. R.; Lutzer, D. J., Topology and Order Structures. Topology and Order Structures, Tract, 169 (1983), Mathematical Centre: Mathematical Centre Amsterdam), 31-36, Part II · Zbl 0528.54035
[9] Engelking, R.; Lutzer, D. J., Paracompactness in ordered spaces, Fund. Math., 94, 49-58 (1977) · Zbl 0351.54014
[10] Fedorčuk, V. V., Soviet Math. Dokl., 7, 1011-1014 (1966), (in English) · Zbl 0163.17302
[11] Franklin, S. P.; Rajagopalan, M., Spaces of diversity one, J. Ramanujan Math. Soc., 5, 7-31 (1990) · Zbl 0724.54020
[12] Gruenhage, G.; Nyikos, P. J., Normality in \(X^2\) for compact \(X\), Trans. Amer. Math. Soc., 340, 563-586 (1993) · Zbl 0817.54004
[13] Gruenhage, G.; Schoenfeld, A. H., An alternate characterization of the Cantor set, (Proc. Amer. Math. Soc., 53 (1975)), 235-236 · Zbl 0311.54041
[14] Jech, T. J., Automorphisms of \(ω_1\)-trees, Trans. Amer. Math. Soc., 173, 57-70 (1972) · Zbl 0268.02044
[15] Kunen, K., Set Theory: An Introduction to Independence Proofs (1979), North-Holland: North-Holland Amsterdam
[16] Miller, A. W., Special subsets of the real line, (Kunen, K.; Vaughan, J. E., Handbook of Set-Theoretic Topology (1984), North-Holland: North-Holland Amsterdam), 201-233
[17] Mioduszewski, J., Compact Hausdorff spaces with two open sets, (Colloq. Math., 39 (1978)), 35-40 · Zbl 0401.54007
[18] Nikiel, J.; Tymchatyn, E., On homogeneous images of compact ordered spaces, Canad. J. Math., 45, 380-393 (1993) · Zbl 0774.54022
[19] J. Pelant, personal communication.; J. Pelant, personal communication.
[20] Purisch, S., Splitting points in the Cantor set, Nigerian J. Sci., 16, 419-421 (1982)
[21] Purisch, S., Scattered compactifications and the orderability of scattered spaces II, (Proc. Amer. Math. Soc. (1985)), 636-640 · Zbl 0597.54024
[22] Purisch, S., Friendship destroys orderability via clustering pseudogaps, Topology Appl., 44, 317-324 (1992) · Zbl 0790.54038
[23] Purisch, S., Hereditarily Lindelöf products and Luzin sets, Topology Appl., 55, 127-130 (1994) · Zbl 0784.54011
[24] Purisch, S.; Wattel, E., Nonorderability of suborderable spaces with many pseudogaps, (Bennett, H. R.; Lutzer, D. J., Topology and Order Structures. Topology and Order Structures, Tract, 142 (1981), Mathematical Centre: Mathematical Centre Amsterdam), 17-25, Part I
[25] Roitman, J., Basic \(S\) and \(L\), (Kunen, K.; Vaughan, J. E., Handbook of Set-Theoretic Topology (1984), North-Holland: North-Holland Amsterdam), 295-326
[26] Rudin, M. E., Lectures in Set Theoretic Topology, (CBMS Regional Conference Series, 23 (1975), American Mathematical Society: American Mathematical Society Providence, RI) · Zbl 0318.54001
[27] Rudin, M. E., Hereditary normality and Souslin lines, Gen. Topology Appl., 10, 103-105 (1979) · Zbl 0405.54017
[28] P. Simon, personal communication.; P. Simon, personal communication.
[29] Šneider, V. E., Continuous images of Souslin and Borel sets, Metrization theorems, Dokl. Akad. Nauk SSSR, 50, 77-79 (1945) · Zbl 0061.39705
[30] Todorčević, S., Partition Problems in Topology, (Contemporary Mathematics, 84 (1989), American Mathematical Society: American Mathematical Society Providence, RI) · Zbl 0659.54001
[31] S. Todorčević, personal communication.; S. Todorčević, personal communication.
[32] Willard, S., Paracompactness in small products, Canad. Math. Bull., 14, 127 (1971) · Zbl 0211.54607
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.