Function spaces and conditions of completeness type (Q796851): Difference between revisions

The author calls a completely regular Hausdorff space X (1) projectively- (strongly-) [almost-] Čech-complete, if every continuous-open image of X which has a countable basis (resp. countable network), is [almost-] Čech-complete, and (2) \(\aleph_ 0\)-stable, if for every continuous image Y of X the following statements are equivalent: (a) Y admits a continuous and one-to-one image with countable network, (b) Y itself has a countable network. The author first presents conditions under which subspaces X of products \(\prod_{\alpha \in A}X_{\alpha}\) which are in a certain sense ''thick'', possess the above mentioned properties. Then he investigates the spaces \(C_ p(Y)\) (of all continuous real function on Y provided with the topology of pointwise convergence) with respect to these above properties. He characterizes when a space \(C_ p(Y)\) is \(\aleph_ 0\)- stable and shows that projective Čech-completeness is a rather strong condition for spaces \(C_ p(Y)\). He proves, for instance, Theorem 3. The following are equivalent: (a) \(C_ p(Y)\) is projectively-almost- Čech-complete and \(\aleph_ 0\)-stable; (b) For every countable subset \(A\subset Y\) and every \(f\in {\mathbb{R}}^ A\) there is \(\tilde f\in C(Y)\) such that \(\tilde f| A=f\); (c) \(C_ p(Y)\) is projectively- strongly-Čech-complete and \(\aleph_ 0\)-stable. Theorem 4. If \(C_ p(Y)\) is projectively-almost-Čech-complete and \(\aleph_ 0\)-stable, and if in addition \(C_ p(Y)\) is homeomorphic to a closed subspace of \({\mathbb{R}}^{\tau}\), then Y is discrete. At the end of the article five open questions are presented.