Measurable functions and covering properties (Q2665207)

The present paper analyses some relations between covering properties of topological spaces and closure properties of real functions defined on those spaces, in the context of selection principles. However, the notion of measurability used by the author yields interesting generalizations in this already standard topic. More precisely, for a family \(\mathcal{A}\) of subsets of \(X\), the author considers a function \(f\colon X\to\mathbb{R}\) to be \(\mathcal{A}\)-measurable if \(f^{-1}(I)\in\mathcal{A}\) for every open interval \(I\subseteq \mathbb{R}\). With this definition, the set \(M_p(X,\mathcal{A})\) of \(\mathcal{A}\)-measurable functions with the pointwise convergence replaces the familiar space \(C_p(X)\) in the study of relations between covering properties of \(X\) and closure properties of real functions of \(X\). For instance, let \(\Omega(\mathcal{A})\) be the family of all \(\omega\)-covers of \(X\) contained in \(\mathcal{A}\) and \(\Omega_{0}:=\{F\subseteq M_p(X,\mathcal{A}):0\not\in F\) and \(0\in \overline{F}\}\). Then the following is a corollary of the main theorem in the paper (Theorem 4.1): if \(\mathcal{A}\) is closed under finite unions and closed under complements, then \(X\) possesses the property \(\mathsf{S_1}(\Omega(\mathcal{A}),\Omega(\mathcal{A}))\) if and only if \(M_p(X,\mathcal{A})\) satisfies \(\mathsf{S_1}(\Omega_0,\Omega_0)\). Note that by putting \(\mathcal{A}\) equal to the topology of \(X\) results in a well known equivalence due to [\textit{M. Sakai}, Proc. Am. Math. Soc. 104, No. 3, 917--919 (1988; Zbl 0691.54007)]. The author also works with typical covering properties related to \(\gamma\)-covers and \(\lambda\)-covers, as well as a slight generalization of \(\mathcal{A}\)-measurability, called semi-measurability. Selection principles of the form \(\mathsf{U_1}\) and \(\mathsf{U_{fin}}\) are also considered.