Resolvability and monotone normality (Q948871)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Resolvability and monotone normality
scientific article

    Statements

    Resolvability and monotone normality (English)
    0 references
    0 references
    0 references
    0 references
    16 October 2008
    0 references
    A space is said to be \textsl{\(\kappa\)-resolvable} (respectively, \textsl{almost \(\kappa\)-resolvable}) if it contains \(\kappa\) pairwise disjoint dense subsets (respectively \(\kappa\) dense subsets such that the intersection of any two is nowhere dense). A space is maximally resolvable if it is \(\Delta(X)\)-resolvable, where \(\Delta(X)\) denotes the minimum cardinality of a non-empty open subset of \(X\). It is known that all metric and all linearly ordered spaces are maximally resolvable and the paper under review studies resolvability properties in the more general class of monotonically normal spaces. The main result of Section 1 is that every crowded monotonically normal space is \(\omega\)-resolvable, while in Section 2 it is shown that each crowded monotonically normal space is almost \(\mu\)-resolvable (where \(\mu= \min(\mathfrak c, \omega_2)\)) and hence such a space is almost \(\omega_1\)-resolvable and is almost \(\omega_2\)-resolvable under the negation of the continuum hypothesis. Possibly the two most important results of the final section are that from a supercompact cardinal it is consistent to have a monotonically normal space \(X\) with \(| X| =\Delta(X)=\aleph_\omega\) which is not maximally resolvable and that all monotonically normal spaces of size less than \(\aleph_\omega\) are maximally resolvable.
    0 references
    0 references
    0 references
    0 references
    0 references
    maximally resolvable space
    0 references
    \(\kappa\)-resolvable space
    0 references
    almost \(\kappa\)-resolvable space
    0 references
    monotone normality
    0 references
    \(\lambda\)-descendingly complete ultrafilter
    0 references
    measurable cardinal
    0 references
    supercompact cardinal
    0 references
    0 references
    0 references
    0 references