The sequence selection properties of \(C_p(X)\) (Q861934): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q178038 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Tomasz Natkaniec / rank | |||
Normal rank |
Revision as of 07:20, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The sequence selection properties of \(C_p(X)\) |
scientific article |
Statements
The sequence selection properties of \(C_p(X)\) (English)
0 references
2 February 2007
0 references
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.
0 references
\(C_p(X)\)
0 references
topology of pointwise convergence
0 references
selection properties
0 references
property \(\alpha_i\)
0 references
the weak sequence selection property
0 references
the monotonic sequence selection property
0 references
countable fan tightness
0 references
the Menger property
0 references
QN-space
0 references
WQN-space
0 references
\(\sigma\)-space
0 references
\(\gamma\)-cover
0 references
\(\omega\)-cover
0 references