Strongly sequentially separable function spaces, via selection principles (Q2291590)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strongly sequentially separable function spaces, via selection principles |
scientific article |
Statements
Strongly sequentially separable function spaces, via selection principles (English)
0 references
31 January 2020
0 references
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.
0 references
strong sequential separability
0 references
function spaces
0 references
selection principles
0 references
\(\gamma\)-set
0 references
\(C\)-space
0 references
Borel cover
0 references
Borel function
0 references