Resolvability of spaces having small spread or extent
Abstract
In a recent paper O. Pavlov proved the following two interesting resolvability results: (1) If a space X satisfies (X) > (X) then X is maximally resolvable. (2) If a T3-space X satisfies (X) > (X) then X is ω-resolvable. Here (X) ((X)) denotes the smallest successor cardinal such that X has no discrete (closed discrete) subset of that size and (X) is the smallest cardinality of a non-empty open set in X. In this note we improve (1) by showing that (X) > (X) can be relaxed to (X) (X). In particular, if X is a space of countable spread with (X) > ω 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.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.