On sequential separability (Q2508729)

A space \(X\) is sequentially separable if there exists a countable subset \(A\) of \(X\) such that each \(x\in X\) is the limit of some sequence of points of \(A\). The author proves the following results. \textbf{(1) } The space \(C_p(X)\) of continuous real valued functions on \(X\) with the topology of pointwise convergence is sequentially separable iff there exists a one-to-one map from \(X\) to a separable metrizable space \(Y\) which is a first-level Baire isomorphism (i.e., the image of any cozero-set from \(X\) is an \(F_{\sigma}\) in \(Y\)). \textbf{(2) }If \(X\) is a separable metric space then the space \(B_1(X)\) of all Baire one functions with the topology of pointwise convergence is sequentially separable. \textbf{(3) }Assume that any uncountable separable metric space has a non-Borel subset. Then for a metrizable space \(X\), \(C_p(X)\) is sequentially separable iff \(X\) is separable. (It is open if the same result can be obtained in ZFC.) In particular, if \(X\) is the real line with the arrow topology, or if \(X\) is the Nemytskii space, then \(C_p(X)\) is sequentially separable.