Bornologies, selection principles and function spaces (Q409696): Difference between revisions

The starting point of the paper under review is the consideration of the notion of a bornology \(\mathcal B\) in a metric space \((X,d)\), as well as the topology of strong uniform convergence \(\tau^s_\mathcal B\) on \(\mathcal B\) for \(Y^X\) (where \(Y^X\) is the set of all functions defined on \(X\) and with values in a metric space \((Y, \rho)\)). The topology of strong uniform convergence was introduced and studied by \textit{G. Beer} and \textit{S. Levi} in [J. Math. Anal. Appl. 350, No. 2, 568--589 (2009; Zbl 1161.54003)]. \textit{A. Caserta, G. Di Maio} and \textit{L. Holá} continued this study in [ibid. 371, No. 1, 384--392 (2010; Zbl 1202.54004)] and obtained further results in the function spaces \(Y^X \) and \(C(X,Y)\), the set of all continuous functions from \(X\) to \(Y\) with the topology \(\tau^s_\mathcal B\). Here the authors investigate some closure-type properties of the function space \(C(X,\mathbb R)\), endowed with the topology of strong uniform convergence on a bornology \(\mathcal B\). Considering properties related to selection principles, they obtain characterizations for countable fan tightness, countable strong fan tightness, the strict Fréchet-Urysohn property and the selectively strict-A property of the topological space \((C(X), \tau^s_\mathcal B)\). More precisely, using the selection hypotheses \(S_1(U, V)\) and \(S_{fin} (U,V)\) (where \(U\) and \(V\) are collections of subsets of \(X\)), among other results they prove that: if \((X,d)\) is a metric space and \(\mathcal B\) a bornology on \(X\), then the following are equivalent: i) \((C(X), \tau^s_\mathcal B)\) has countable fan tightness (resp. the countable strong fan tightness), and ii) \(X\) satisfies the selection hypothesis \(S_{fin} (\mathcal O_{\mathcal B^s}, \mathcal O_{\mathcal B^s})\) (resp. \(X\) satisfies the selection hypothesis \(S_{1} (\mathcal O_{\mathcal B^s}, \mathcal O_{\mathcal B^s})\)) (where \(\mathcal O_{\mathcal B^s}\) is the collection of all strong \(B\)-covers of \(X\)). [Theorem 2.4 (resp. Theorem 2.2)]. Also, as a consequence of Theorems 2.7 and 2.8, they prove (Corollary 2.9) that the following assertions are equivalent: i) \((C(X), \tau^s_\mathcal B)\) is a Fréchet- Urysohn space; ii) \((C(X), \tau^s_\mathcal B)\) is a strictly Fréchet-Urysohn space; iii) Each strong \(\mathcal B\)-cover \(\mathcal U\) of \(X\) contains a countable set \(\{U_n:n\in \mathbb N\}\) which is a \(\gamma_{\mathcal B^s}\)-cover of \(X\); iv) \(X\) satisfies the selection hypothesis \(S_{1} (\mathcal O_{\mathcal B^s}, \Gamma_{\mathcal B^s})\). Finally in Theorem 2.10 the selectively strict A-property, a property similar to the strict Fréchet-Urysohn property, is studied for the space \((C(X), \tau^s_\mathcal B)\). This is a nice study, a continuation and improvement of the authors' earlier work.