Resolvability and monotone normality
Abstract
A space X is said to be -resolvable (resp. almost -resolvable) if it contains dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets). X is maximally resolvable iff it is (X)-resolvable, where (X) = \|G| : G open\. We show that every crowded monotonically normal (in short: MN) space is ω-resolvable and almost μ-resolvable, where μ = \2ω, ω2 \. On the other hand, if is a measurable cardinal then there is a MN space X with (X) = such that no subspace of X is ω1-resolvable. Any MN space of cardinality < ω is maximally resolvable. But from a supercompact cardinal we obtain the consistency of the existence of a MN space X with |X| = (X) = ω such that no subspace of X is ω2-resolvable.
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.