Polish cofinality in spaces of bounded functions (Q6098396): Difference between revisions

A space \(X\) is cofinally Polish if for any continuous surjective mapping \(f:X\rightarrow M\), where \(w(M)\leq\omega\), there exist continuous surjective mappings \(g:X\rightarrow P\) and \(h:P\rightarrow M\) such that \(P\) is a Polish space and \(h\circ g=f\). In this paper, the author proves that \(C_{p}(X,[0,1])\) is pseudocompact if and only if it has a dense cofinally Polish subspace and also establishes that \(C_{p}(X,[0,1])\) is pseudocomplete if and only if it is pseudocompact and gives a consistent example of a locally compact hereditarily separable space which is not cofinally Polish. In particular, the author proves the following results. \textbf{Theorem 3.9.} Given a space \(X\), if \(A\subset X\) is a countable set and \(C_p(A|X, \mathbb{I})\) has a dense Čech-complete subspace, then \(A\) is discrete and \(C^{\ast}\)-embedded in \(X\). \textbf{Theorem 3.10.} For any space \(X\), the following conditions are equivalent: (a) \(C_p(X, \mathbb{I})\) is pseudocompact; (b) \(C_p(X, \mathbb{I})\) is pseudocomplete; (c) \(C_p(X, \mathbb{I})\) is cofinally Polish; (d) \(C_p(X, \mathbb{I})\) has a dense cofinally Polish subspace. \textbf{Theorem 3.13.} There exists a dense subspace \(X\) of the Tychonoff cube \(\mathbb{I}^{c}\) with the following properties: (a) \(X\) is pseudocompact and all countable subsets of \(X\) are closed in \(X\); (b) the space \(C_p(X,\mathbb{I})\) is not pseudocompact and hence it has no dense cofinally Polish subspace. \textbf{Theorem 4.10.} Suppose that \(X\) is a space in which the set of points of local pseudocompactness is dense. Then \(X\) is cofinally Baire. \textbf{Theorem 4.14.} Suppose that \(X\) is a Baire space which is locally second countable on a dense set. Then \(X\) is cofinally Baire. In particular, any locally Polish space is cofinally Baire.