Strongly sequentially separable function spaces, via selection principles (Q2291590): Difference between revisions

In [``Cardinal \(\mathfrak{p}\) and a theorem of Pelczynski'', Preprint, \url{arXiv:math/0006197}], \textit{M. Matveev} considered the concept of strong sequential separability: a space \(X\) is called strongly sequentially separable if \(X\) is separable and every countable dense subset \(D\) of \(X\) is sequentially dense in \(X\), that is each \(x\in X\) is a limit of a sequence in \(D\). For a Tychonoff space \(X\), \(C(X)\) and \(B(X)\) are the spaces of all continuous, respectively Borel real-valued functions on \(X\) with the topology of pointwise convergence. \textit{P. Gartside} et al. [Topology Appl. 130, No. 1, 75--86 (2003; Zbl 1031.54014)] asked if there exists, consistently, a space \(X\) such that \(C(X)\) is strongly sequentially separable but not Fréchet-Urysohn, and the space \(\mathbb R^X\) is not strongly sequentially separable. The authors apply selection principles theory to answer this question and its variations. They also give necessary and sufficient conditions for strong sequential separability of the spaces \(C(X)\) and \(B(X)\). For example: the space \(C(X)\) is strongly sequentially separable if and only if \(X\) has a coarser second countable topology, and it is a projectively \(\gamma\)-set.