Separability and sequential separability of the space \(C(X)\) (Q1991772)

For any Tychonoff space \(X\), the expression \(C(X)\) stands for the set of all real-valued continuous functions on \(X\). If \(A\subset X\) and \(O\) is an open subset of \(\mathbb R\), then \([A,O]=\{f\in C(X): f(A) \subset O\}\). Given a family \(\lambda\) of subsets of \(X\), the \textit{\(\lambda\)-open topology} on the set \(C(X)\) is generated by the collection \(\{[A,O]: A\in \lambda\) and \(O\) is an open subset of \(\mathbb R\}\) as a subbase. The set \(C(X)\) with the \(\lambda\)-open topology is denoted by \(C_\lambda(X)\). A set \(A\subset X\) is \textit{\(C\)-compact} if \(f(A)\subset \mathbb R\) is compact for any \(f\in C(X)\). Furthermore, \([A]^{<\omega}\) is the family of all finite subsets of \(A\) while \([A]^{rc}\) is the collection of all \(C\)-compact subsets of \(A\). A family \(\mathcal U\) of subsets of \(X\) is said to \textit{\(T_0\)-separate the points} of \(A \subset X\) if for any distinct \(x,y\in A\), there exists \(U\in \mathcal U\) such that \(U\cap \{x,y\}\) is a singleton. A space \(Z\) is \textit{sequentially separable} if there exists a countable set \(A\subset X\) such that every point of \(X\) is a limit of a sequence from \(A\). Assume that \(\lambda\) is a family of closed \(C\)-compact subsets of a Tychonoff space \(X\) with \([\bigcup\lambda]^{<\omega} \subset \lambda\) and \(\mu\) is a family of subsets of the space \(X\) such that \([\bigcup\lambda]^{<\omega} \subset \mu \subset [\bigcup\lambda]^{rc}\). One of the main results of the paper states that the space \(C_\mu(X)\) is separable if and only if \(X\) contains a countable family of cozero sets \(T_0\)-separating the points of \(\bigcup \mu\). The author also proves that, for any Tychonoff space \(X\) and \(A\subset X\), the space \(\{f|A: f\in C_p(X)\}\subset C_p(A)\) is sequentially separable if and only if there exists a continuous map \(\varphi:X\to M\) of \(X\) onto a separable metric space \(M\) such that \(\varphi|A\) is injective and \(\varphi(U\cap A)\) is an \(F_\sigma\)-subset of \(\varphi(A)\) for each cozero set \(U\) of the space \(X\).