Sequential density (Q1873743)

A subset \(A\) of a topological space \(X\) is said to be sequentially dense in \(X\) if every point of \(X\) is the limit of a sequence in \(A\). A space \(X\) is called sequentially separable if it has a sequentially dense countable subset, and is called strongly sequentially separable if \(X\) is separable and every countable dense subset of \(X\) is sequentially dense in \(X\). The authors investigate when the product of spaces is (strongly) sequentially separable and give necessary and sufficient conditions on \(X\) such that the space \(C_p(X)\) of real-valued continuous functions on \(X\) with the pointwise convergence topology is (strongly) sequentially separable. Some of the results are: (1) The product of \(\kappa\) many non-trivial cosmic spaces is sequentially separable iff \(\kappa<{\mathfrak q}\), where \({\mathfrak q}\) is the smallest cardinal such that for any \(\lambda<{\mathfrak q}\) there is a Q-set of cardinality \(\lambda\). (2) The product of \(\kappa\) many non-trivial separable metrizable spaces is strongly sequentially separable iff \(\kappa<{\mathfrak p}\), where \({\mathfrak p}\) is the smallest cardinal so that there is a collection of \({\mathfrak p}\) many subsets of \(\omega\) with the strong finite intersection property but with no infinite pseudo-intersection. This is a generalization of a theorem by A. Dow, M. V. Matveev and P. Nyikos for the Cantor cube \(2^\kappa\). (3) The space \(C_p(X)\) is strongly sequentially separable iff \(X\) has a coarser second countable topology, and every coarser second countable topology for \(X\) has the property \(\gamma\). (4) The space \(C_p((X,\tau))\) is sequentially separable iff \(X\) has a coarser second countable topology \(\mu\) and there exists a collection \({\mathcal C}=\{C_i:i\in\omega\}\) of \(\mu\)-closed sets such that \({\mathcal C}\) has property \(\Gamma\) on \((X,\tau)\).