Star and strong star-type versions of Rothberger and Menger principles for hit-and-miss topology (Q2049874)

Let \(X\) be a space and denote by \(\mathcal{D}\) the family of dense subsets in the hyperspace of nonempty closed subsets with the hit-and-miss topology. The reviewer in [\textit{Z. Li}, Topology Appl. 212, 90--104 (2016; Zbl 1355.54014)] defined the concepts of \(\pi_{F}\)-network and \(\pi_{V}\)-network, obtaining many interesting results. In this paper, the authors introduce some selection principles, which are motivated by star and strong star Rothberger and star and strong star Menger principles to characterize the star and strong star Rothberger-type properties in spaces using the family \(\mathbb{C}_{\Delta}(\Lambda)\) of \(C_{\Delta}(\Lambda)\)-covers of a space \(X\). The main results are the following: \textbf{Theorem 1.} Let \((X,\tau)\) be a topological space. Denote by \(\mathcal{D}\) the family of all the dense subsets in the hyperspace \((\Lambda,\tau_{\Delta}^{+})\). The following conditions are equivalent: (1) \((\Lambda,\tau_{\Delta}^{+})\) satisfies \(\textbf{S}_{1}(\mathcal{D}, \mathcal{D})\); (2) \((X,\tau)\) satisfies \(\textbf{S}_{1}(\mathbb{C}_{\Delta}(\Lambda), \mathbb{C}_{\Delta}(\Lambda))\). \textbf{Theorem 2.} Let \((X,\tau)\) be a topological space. Denote by \(\mathcal{D}\) the family of all the dense subsets in the hyperspace \((\Lambda,\tau_{\Delta}^{+})\). The following conditions are equivalent: (1) \((\Lambda,\tau_{\Delta}^{+})\) satisfies \(\textbf{DS}_{1}(\mathcal{D}, \mathcal{D})\); (2) \((X,\tau)\) satisfies \(\textbf{CS}_{1}(\mathbb{C}_{\Delta}(\Lambda), \mathbb{C}_{\Delta}(\Lambda))\). \textbf{Theorem 3.} Let \((X,\tau)\) be a topological space. Denote by \(\mathcal{D}\) the family of all the dense subsets in the hyperspace \((\Lambda,\tau_{\Delta}^{+})\). The following conditions are equivalent: (1) \((\Lambda,\tau_{\Delta}^{+})\) satisfies \(\textbf{SDS}_{1}(\mathcal{D}, \mathcal{D})\); (2) \((X,\tau)\) satisfies \(\textbf{SCS}_{1}(\mathbb{C}_{\Delta}(\Lambda), \mathbb{C}_{\Delta}(\Lambda))\).