Resolvability of spaces having small spread or extent

From MaRDI portal
Publication:857044



Abstract: In a recent paper O. Pavlov proved the following two interesting resolvability results: (1) If a space X satisfies Delta(X)>ps(X) then X is maximally resolvable. (2) If a T3-space X satisfies Delta(X)>pe(X) then X is omega-resolvable. Here ps(X) (pe(X)) denotes the smallest successor cardinal such that X has no discrete (closed discrete) subset of that size and Delta(X) is the smallest cardinality of a non-empty open set in X. In this note we improve (1) by showing that Delta(X)> ps(X) can be relaxed to Delta(X)ge ps(X). In particular, if X is a space of countable spread with Delta(X)>omega then X is maximally resolvable. The question if an analogous improvement of (2) is valid remains open, but we present a proof of (2) that is simpler than Pavlov's.


Given a cardinal number \(\kappa > 1\), a topological space \(X\) is said to be \(\kappa\)-resolvable if it contains \(\kappa\) many pairwise disjoint dense subspaces. \(\Delta(X)\)-resolvable spaces are called maximally resolvable; \(\Delta(X)\) is the dispersion character of \(X\), the minimal cardinality of a non-empty open subset of \(X\). \textit{O. Pavlov} [Topology Appl. 126, 37--47 (2002; Zbl 1012.54004)] proved that a \(T_1\)-space \(X\) is maximally resolvable if it satisfies \(\Delta(X) > ps(X)\) and a regular space \(X\) with \(\Delta(X) > pe(X)\) is \(\omega\)-resolvable, where \(ps(X)\) (resp. \(pe(X)\)) is the minimal successor cardinal number such that \(X\) has no discrete (resp. closed discrete) subspace of that cardinality. In this paper the authors define two cardinal invariants of a space \(X\), \(rs(X) \leq ps(X)\) and \(\hat{e}(X) \leq pe(X)\), as the smallest uncountable regular (resp. infinite) cardinal such that \(X\) has no discrete (resp. closed discrete) subspace of that cardinality, and show: (1) a space \(X\) with \(\Delta(X) \geq rs(X)\) is maximally resolvable, and (2) a regular space \(X\) with \(\Delta (X) > \hat{e}(X)\) is \(\omega\)-resolvable.











This page was built for publication: Resolvability of spaces having small spread or extent

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q857044)