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

DOI10.1016/J.TOPOL.2021.107785MaRDI QIDQ2665205zbMATH OpenOpenAlexFDO

Publication date 18 November 2021

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2002.02719

\(\chi\)-net-Lindelöf \(\kappa\)-net cardinal invariants cardinality bounds countable chain condition H-closed H-set Lindelöf

Mathematics Subject Classification ID

Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Sequential spaces (54D55)

Abstract: The inequality

| X | l e q 2^{c h i (X)}

has been proved to be true for Lindel"of spaces (Arhangel'skiui, 1969),

H

-closed spaces (Dow-Porter, 1982) and ccc spaces (Hajnal-Ju'asz 1967), by quite different arguments. We present a common extension of all these properties which allows us to give a unified proof of these three theorems.

Review text

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)\}\).

Recommendations

Cites work

Cited in

(4)

This page was built for publication: A common extension of Lindelöf, H-closed and ccc

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2665205)