Baire property of spaces of \([0, 1]\)-valued continuous functions (Q2681989)

Throughout this review, all spaces are assumed to be Tychonoff. A topological space \(X\) is \textit{Baire} if the intersection of any sequence of open dense subsets of \(X\) is dense in \(X\). Let \(C_p(X, [0, 1])\) denote the space of all continuous \([0, 1]\)-valued functions on a Tychonoff space \(X\) with the topology of pointwise convergence. The set \(A\) is \textit{\(C^*\)-embedded} in \(X\) if every bounded continuous real-valued function defined on \(A\) can be extended to a bounded continuous real-valued function on \(X\). A space \(X\) is called \textit{\(C^*\)-separable} if all separable closed subsets of \(X\) are \(C^*\)-embedded. Recall that two sets \(A\) and \(B\) are \textit{functionally separated} if there exists a continuous realvalued mapping \(f\) on \(X\) such that \(f [A] \subseteq \{0\}\) and \(f [B] \subseteq \{1\}\). \textbf{Definition}. We say that a space \(X\) has the \textit{\(\mathbb{B}\)-property} if for every pairwise disjoint family \(\{\Delta _n : n \in N\}\) of non-empty finite sets \(\Delta_n \subseteq X\), \(\Delta_n = A_n \cup B_n\), \(A_n \cap B_n = \emptyset\), \(n \in \mathbb{N}\), there exists a subsequence \(\{\Delta_{n_k} : k \in \mathbb{N}\}\) such that \(\bigcup \{A_{n_k} : k \in \mathbb{N}\}\) and \(\bigcup \{B_{n_k} : k \in \mathbb{N}\}\) are functionally separated. The main theorem in this article is: \textbf{Theorem}. Let \(X\) be a \(C^*\)-separable space. Then, \(C_p(X,[0,1])\) is a Baire space if and only if \(X\) has the \(\mathbb{B}\)-property. In particular, this characterization holds for normal spaces and, hence, for metrizable spaces. A second remarkable result that Osipov and Pytkeev prove in this article is: \textbf{Theorem}. Let \(X\) be a \(C^*\)-separable space and \(\mathbb{K}\) a Peano continuum. Then, \(C_p(X,[0,1])\) is Baire if and only if \(C_p(X,\mathbb{K})\) is Baire. Moreover, they establish that \(C_p(X,[0,1])\) is a Baire space if and only if \(C_p(X,[0,1])\) is a non-meager space.