Metrizable DH-spaces of the first category (Q465858)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Metrizable DH-spaces of the first category
scientific article

    Statements

    Metrizable DH-spaces of the first category (English)
    0 references
    0 references
    24 October 2014
    0 references
    A metrizable space \(X\) is densely homogeneous provided that whenever \(A\) and \(B\) are two \(\sigma\)-discrete dense subsets of \(X\), then there is a homeomorphism \(h:X\to X\) such that \(h(A)=B\). A space in which every \(\sigma\)-discrete set is \(G_\delta\) is called a \(\Lambda\)-space. This is a strengthening of the notion of a \(\lambda\)-space. A space \(X\) is called \(h\)-homogeneous, if Ind\((X)=0\) and every non-empty clopen subset of \(X\) is homeomorphic to \(X\). Kunen, Medini and Zdomskyy have proved that a separable metrizable non-Baire space with the perfect set property for open sets has \(\mathfrak c\) types of countable dense subsets. In the paper under the review the author proves that if a separable metrizable space has an open set which is of the first category in itself and is not a \(\lambda\)-space, then \(X\) has \(\mathfrak c\) types of countable dense subsets. He is interested in properties of \(\Lambda\)-spaces and in particular he proves that if \(X\) is a non-\(\sigma\)-discrete \(h\)-homogeneous \(\Lambda\)-space, then \(X\) is densely homogeneous and \(X\setminus A\) is homeomorphic to \(X\) for every \(\sigma\)-discrete set \(A\subseteq X\).
    0 references
    0 references
    0 references
    0 references
    0 references
    \(h\)-homogeneous space
    0 references
    set of the first category
    0 references
    densely homogeneous
    0 references
    countable dense homogeneous
    0 references
    \(\Lambda\)-space
    0 references
    0 references
    0 references