A common extension of Lindelöf, H-closed and ccc (Q2665205)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A common extension of Lindelöf, H-closed and ccc
scientific article

    Statements

    A common extension of Lindelöf, H-closed and ccc (English)
    0 references
    0 references
    18 November 2021
    0 references
    This paper defines a new property, called \(\chi\)-net-Lindelöf, that is shared by each of the properties H-closed, Lindelöf, and ccc, and for any space \(X\) with \(\chi\)-net-Lindelöf, \(|X| \leq 2^{\chi(X)}\). For a subset \(A\) of a space \(X\) and a net \(\xi = \{x_F: F \in [\kappa]^{<\omega}\} \subseteq A\), \(x \in A\) is a \(\theta\)-cluster point of \(\xi\) relative to \(A\) if, given any open set \(U\) in \(X\) with \(x \in U\) and any \(\alpha < \kappa\), there exists \(F \in [\kappa]^{<\omega}\) such that \(\alpha \in F\) and \(x_F \in \overline{U \cap A}\). If \(A = X\), we say \(x\) is a \(\theta\)-cluster point of \(\xi\). A subset \(A\) of a space \(X\) is \(\chi\)-net-closed if for any net \(\xi = \{ x_F:F \in [\chi(X)]^{<\omega}\} \subseteq A\), if \(\xi\) has a \(\theta\)-cluster point in \(X\), then \(\xi\) has a \(\theta\)-cluster point in \(A\) relative to \(A\). A space \(X\) is \(\chi\)-net-Lindelöf if for any \(\chi\)-net-closed set \(A \subseteq X\) and any collection \(\mathcal{U} = \{\mathcal{U}_{\alpha} : \alpha < \chi(X)\}\) of subfamilies of open sets in \(X\) whose union covers \(A\) there are countable subfamilies \(\mathcal{V}_{\alpha} \subseteq \mathcal{U}_{\alpha}\) for each \(\alpha < \chi(X)\) such that \(A\subseteq \bigcup \{\overline{\bigcup \mathcal{V}_{\alpha}} :\alpha < \chi(X)\}\).
    0 references
    0 references
    0 references
    0 references
    0 references
    cardinality bounds
    0 references
    cardinal invariants
    0 references
    Lindelöf
    0 references
    \(\chi\)-net-Lindelöf
    0 references
    countable chain condition
    0 references
    H-closed
    0 references
    H-set
    0 references
    \(\kappa\)-net
    0 references
    0 references
    0 references