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

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