×

Every crowded pseudocompact ccc space is resolvable. (English) Zbl 1355.54027

E. Hewitt [Duke Math. J. 10, 309–333 (1943; Zbl 0060.39407)] posed a set-theoretic topology problem: under which conditions can a topological space be resolved into two complementary sets each of which is dense in the given space. A Tychonoff space \(X\) is \(\mathfrak{\kappa}\)-resolvable (cardinal \(\mathfrak{\kappa}\geq 2\)) if \(X\) has a family of \(\mathfrak{\kappa}\)-many pairwise disjoint dense subsets of \(X\), and \(resolvable\) if \(\mathfrak{\kappa}=2\). W. W. Comfort and S. García-Ferreira [Topology Appl. 74, No. 1–3, 149–167 (1996; Zbl 0866.54004)] showed that every countably completely regular Hausdorff space with no isolated points (i.e., crowded) is \(\mathfrak{\omega}\)-resolvable, and asked whether every Tychonoff pseudocompact crowded space is resolvable. E. G. Pytkeev [in: Algebra, topology, mathematical analysis. Transl. from the Russian. Moscow: Maik Nauka/Interperiodica. S152-S154 (2002; Zbl 1120.54304)] improved their result to: every countably compact crowded space is \(\mathfrak{\omega}_1\)-resolvable. I. Juhász et al. left open the question [Topology Appl. 154, No. 1, 144–154 (2007; Zbl 1109.54004)] whether \(\mathfrak{\omega}_1\) can be improved to \(\mathfrak{c}\). This paper proves that if \(X\) is pseudocompact, crowded, and satisfies the countable chain condition (abbreviated as ccc, i.e., any family consisting of pairwise disjoint non-empty open sets is countable), then \(X\) is \(\mathfrak{c}\)-resolvable, thus partially answering the above questions, two decades after the author’s conversations with Comfort and García-Ferreira. Very roughly, the paper uses the fact that a pseudocompact space \(X\) is \(G_\delta\)-dense in its Stone-Čech compactification \(\beta X\), and constructs a tree of non-empty sets in \(\beta X\), splitting \(X\) into \(\mathfrak{c}\)-many pairwise disjoint dense subsets. Souslin’s Theorem [K. Kunen et al., Pr. Nauk. Uniw. Śląsk. Katowicach 752, Ann. Math. Silesianae 2(14), 98–107 (1986; Zbl 0613.54018)] guarantees a Cantor set in \(X\).

MSC:

54D30 Compactness
Full Text: DOI

References:

[1] Ceder, J. G., On maximally resolvable spaces, Fundam. Math., 55, 87-93 (1964) · Zbl 0139.40401
[2] Comfort, W. W.; García-Ferreira, S., Resolvability: a selective survey and some new results, Topol. Appl., 74, 149-167 (1996) · Zbl 0866.54004
[3] Gillman, L.; Jerison, M., Rings of Continuous Functions (1960), Van Nostrand: Van Nostrand Princeton · Zbl 0093.30001
[4] Hewitt, E., A problem of set-theoretic topology, Duke Math. J., 10, 309-333 (1943) · Zbl 0060.39407
[5] Juhász, I.; Soukup, L.; Szentmiklóssy, Z., Resolvability of spaces having small spread or extent, Topol. Appl., 154, 144-154 (2007) · Zbl 1109.54004
[6] Kunen, K.; Szymański, A.; Tall, F., Baire irresolvable spaces and ideal theory, Ann. Math. Sil., 98-107 (1986) · Zbl 0613.54018
[7] Kuratowski, K.; Mostowski, A., Set theory, (With an Introduction to Descriptive Set Theory. With an Introduction to Descriptive Set Theory, Studies in Logic and the Foundations of Mathematics, vol. 86 (1976), North-Holland Publishing Co.: North-Holland Publishing Co. Amsterdam), translated from the 1966 Polish original · Zbl 0337.02034
[8] Pytkeev, E. G., Resolvability of countably compact regular spaces, (Algebra, Topology, Mathematical Analysis. Algebra, Topology, Mathematical Analysis, Proc. Steklov Inst. Math. (Suppl. 2) (2002)), S152-S154 · Zbl 1120.54304
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.