English

Resolvability and monotone normality

General Topology 2007-05-23 v1 Logic

Abstract

A space XX is said to be κ\kappa-resolvable (resp. almost κ\kappa-resolvable) if it contains κ\kappa dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets). XX is maximally resolvable iff it is Δ(X)\Delta(X)-resolvable, where Δ(X)=min{G:Gopen}.\Delta(X) = \min\{|G| : G \ne \emptyset {open}\}. We show that every crowded monotonically normal (in short: MN) space is ω\omega-resolvable and almost μ\mu-resolvable, where μ=min{2ω,ω2}\mu = \min\{2^{\omega}, \omega_2 \}. On the other hand, if κ\kappa is a measurable cardinal then there is a MN space XX with Δ(X)=κ\Delta(X) = \kappa such that no subspace of XX is ω1\omega_1-resolvable. Any MN space of cardinality <ω< \aleph_\omega is maximally resolvable. But from a supercompact cardinal we obtain the consistency of the existence of a MN space XX with X=Δ(X)=ω|X| = \Delta(X) = \aleph_{\omega} such that no subspace of XX is ω2\omega_2-resolvable.

Keywords

Cite

@article{arxiv.math/0609092,
  title  = {Resolvability and monotone normality},
  author = {Istvan Juhasz and Lajos Soukup and Zoltan Szentmiklossy},
  journal= {arXiv preprint arXiv:math/0609092},
  year   = {2007}
}