Continuous images of function spaces (Q1072129)

Let X be a completely regular Hausdorff space and \(S\subset X\) a dense subset. The author calls a set \({\mathcal R}\) of pairwise commuting continuous retractions of X \(''\aleph_ 0\)-retracting w.r. to S'' if (1) all the ranges r(X) (r\(\in {\mathcal R})\) have countable net weight; (2) the ranges cover X; (3) every countable subset of \({\mathcal R}\) is dominated by some \(r\in {\mathcal R}\); (4) every continuous function on S factors by some \(r\in {\mathcal R}\). By \({\mathcal R}_{\aleph_ 0}\) the author denotes the class of all spaces X admitting a set \({\mathcal R}\) which is \(\aleph_ 0\)- retracting w.r. to X. He first proves Theorem. 1. Let \(S\subset X\) be as above, let \({\mathcal R}\) be \(\aleph_ 0\)-retracting w.r. to S and let Y be a continuous image of S. Then every nonempty compact subset of Y contains a point of countable character. Then the author applies his techniques to dense subsets \(S\subset C_ p(X)\) and proves Theorems. 2, 3. Let \(X\in {\mathcal R}_{\aleph_ 0}\), let \(S\subset C_ p(X)\) be dense, and let Y be a continuous image of S. Then (a) Every nonempty compact subset of Y contains a point of countable character. (b) If Y is of pointwise-countable type, then Y has countable net weight and countable character. Theorem. 4. Let \(S\subset X\) be dense and let \({\mathcal R}\) be an \(\aleph_ 0\)-retracting set w.r. to X, satisfying property (4) of S-factorization. Then in every continuous image of S all compact subsets have density \(\leq \aleph_ 1\). Some open questions concerning Eberlein compacts X are mentioned at the end of the article.