Discrete reflexivity in function spaces (Q2340440)

A topological property \({\mathcal P}\) is called discretely reflexive in a class \({\mathcal A}\) if a space \(X\) from the class \({\mathcal A}\) has \({\mathcal P}\) if and only if the closure of every discrete subspace of \(X\) has \({\mathcal P}\). In 2011, [\textit{V. V. Tkachuk}, A \(C_p\)-theory problem book. Topological and function spaces. Problem Books in Mathematics. Berlin: Springer (2011; Zbl 1222.54002)] asked the question whether the Lindelöf property is discretely reflexive in the spaces \(C_p(X)\). The main results of this paper are the following: { Theorem A.} Assume that \(\kappa\) is an infinite cardinal and \(D\subset X\times X\) is a discrete subset of cardinality \(\kappa\). Then for any set \(A\subset C_p(X, [-1,1])\) with \(|A| \leq \kappa\), there exists a discrete set \(\Omega\subset C_p(X, [-2,2])\) such that \(|\Omega| \leq \kappa\) and \(A \subset \bar\Omega\setminus \Omega\). { Theorem B.} \(MA\)+\(\rceil CH\) implies that metrizability, first countability, second countability, and countable network weight are discretely reflexive in \(C_p(X)\) for any compact space \(X\). { Theorem C.} Countable pseudocharacter is reflexive in \(C_p(X)\) for compact \(\omega\)-monolithic spaces \(X\). { Theorem D.} If \(X\) is compact then both Lindelöfness and the Fréchet-Urysohn property are discretely reflexive in \(C_p(X)\). { Theorem E.} The following are true: (1) If \(C_p(X)\) is discretely \(\check{C}\)ech-complete then it is \(\check{C}\)ech-complete. (2) The space \(C_p(X)\) is discretely \(\sigma\)-compact if and only if \(X\) is finite.