On the cardinality of almost discretely Lindelöf spaces (Q1647821)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the cardinality of almost discretely Lindelöf spaces
scientific article

    Statements

    On the cardinality of almost discretely Lindelöf spaces (English)
    0 references
    0 references
    0 references
    27 June 2018
    0 references
    A topological space \(X\) is said to be \textit{discretely Lindelöf}, if the closure of every discrete subset is Lindelöf, and it is said to be \textit{almost discretely Lindelöf} if for every discrete subset \(D \subseteq X\) there is a Lindelöf subspace \(L\) of \(X\) such that \(D \subseteq L\), that is, almost discrete Lindelöfness means that every discrete subset can be covered by a Lindelöf subspace. It was shown by \textit{I. Juhász} et al. [Stud. Sci. Math. Hung. 54, No. 4, 523--535 (2017; Zbl 1413.54082)] that every almost discretely Lindelöf first-countable space has cardinality at most \(2^{\mathfrak c}\). It was also asked, in the paper we have just referred to, whether every almost discretely Lindelöf first-countable \textit{Hausdorff} space has its cardinality bounded by the continuum. In the paper under review, the authors prove that this is the case under \(2^{< \mathfrak c} = \mathfrak c\), which is a set theoretical hypothesis which holds, for instance, under Martin's Axiom. They also provide a \(\mathbf{ZFC}\) proof of the analogous result for \textit{Urysohn spaces} (recall that a topological space is said to be a Urysohn space if any two distinct points are separated by disjoint closed neighbourhoods). It is worthwhile remarking that this \(\mathbf{ZFC}\) result on Urysohn spaces strengthens a recently published result of \textit{I. Juhász} et al. [Topology Appl. 241, 145--149 (2018; Zbl 1396.54006)], where it has been shown that every almost discretely Lindelöf first countable \textit{regular} space has cardinality bounded by the continuum. The paper finishes by exploring further generalizations and related results.
    0 references
    cardinal inequality
    0 references
    Lindelöf space
    0 references
    Arhangel'skii theorem
    0 references
    elementary submodel
    0 references
    left-separated set
    0 references
    right-separated set
    0 references
    discrete set
    0 references
    free sequence
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references