The sequence selection properties of \(C_p(X)\) (Q861934): Difference between revisions

Local properties of topological spaces, namely the \(\alpha_i\) property for \(i=1,2,3,4\), introduced by Arkhangel'skii, the weak sequence selection property and the monotonic sequence selection property introduced by Scheepers, are investigated for spaces \(C_p(X)\) (the space of all real valued continuous functions on \(X\) with the topology of pointwise convergence). Recall that a space \(X\) has the weak sequence selection property if for every countable family \(\{ S_n\}_{n\in\omega}\) of sequences converging to a point \(x\in X\), there is \(x_n\in S_n\), \(n\in\omega\), such that \(x\in\overline{\{ x_n\}}_n\), and \(C_p(X)\) has the monotonic sequence selection property if for each family \(\{f_{n,m}\}_{m\in\omega}\) of real-valued continuous functions on \(X\) such that for each \(n\), \(f_{n,m}\to_m 0\), and \(f_{n,m}(x)\geq f_{n,m+1}(x)\) for \(m\in\omega\), \(x\in X\), there is a sequence \(\{ k_n\}_n\) such that \(f_{n,k_n}\to_n 0\). Those properties for \(C_p(X)\) are characterized in terms of covering properties of \(X\). For example, \(C_p(X)\) has the weak sequence selection property iff it satisfies the following two conditions: (a) for every pair \(A,B\) of disjoint zero-sets of \(X\) there is a clopen set \(U\) in \(X\) such that \(A\subset U\) and \(B\cap U=\emptyset\); (b) for each sequence \(\{ {\mathcal U}_n\}_{n\in\omega}\) of clopen \(\gamma\)-covers of \(X\), there is a sequence \(\{ U_n\}_n\) such that \(U_n\in {\mathcal U}_n\), \(n\in\omega\), and \(\{ U_n\}_n\) is an \(\omega\)-cover of \(X\). In particular, if \(C_p(X)\) has the weak sequence selection property, then \(X\) is zero-dimensional. Thus \(C_p([0,1])\) does not have the weak sequence selection property. This solves some problems of Scheepers.