Borel measurability of separately continuous functions. II. (Q1412699)

This is a sequel to [ibid. 129, 29--65 (2003; Zbl 1017.54010)]. We assume that all spaces are completely regular. Let \(C_p(X)\) be the space of continuous real-valued functions on \(X\) with the topology of pointwise convergence. Considering the existence of countable covers of \(C_p(X)\) by small sets in \(C_p(X)\), two concepts, narrowness and local narrowness are introduced. A subset \(Y\) of \(C_p(X)\) is said to be narrow (locally narrow) if there are \(Y_n\) such that \(Y= \bigcup Y_n\) and for each \(f\in Y\) and \(\varepsilon> 0\) (for each \(x\in X\)), there exist \(Y_n\) (an open neighbourhood \(W\) of \(x\)) and an open neighbourhood V of \(f\) such that \(f\in Y_n\) for any \(g\in Y_n\cap V\) it holds that \(\| f-g\|< \varepsilon\) (for every \(y\in W\) and for every \(g\in Y_n\cap V\), \(| f(y)- g(y)|<\varepsilon\)). For example, the Tychonov plak \(C_p(T)\) is narrow, where \(T= (\omega_1+ 1)\times (\omega+1)- (\omega_1,\omega)\). For a metric space \(X\), it holds that \(X\) is compact \(\Leftrightarrow C_p(X)\) is narrow, and \(C_p(X)\) is locally narrow \(\Leftrightarrow\) the set of non-isolated points of \(X\) is separable. The cases of spaces \(X\) such that \(C_p(X)\) is not narrow or not locally narrow are mentioned. Let \(X\) be a product of countably compact linearly ordered spaces. Then \(C_p(X)\) is locally narrow. Moreover, if each factor is Dedekind complete, then \(C_p(X)\) is narrow. The following main results are obtained. Let \(\kappa\leq{\mathfrak c}\) and \(X= \prod_{i<\kappa} X_i\). We assume each \(X_i\) is subspace of separable linearly ordered space. Then the evaluation map \(X\times C_p(X)\to \mathbb{R}\) is \(F_\sigma\)-measurable. But if \(X\) is a nonseparable linear ordered ccc space, then the evaluation map \(X\times C_p(X)\to \mathbb{R}\) is not \(F_\sigma\)-measurable. Let \(X\) be a space which contains a homeomorphic copy of \(2^\alpha\) (\(\alpha\): uncountable cardinal), (or let \(X\) be a nonseparable ccc space). Then the evaluation map \(X\times C_p(X)\) to \(\mathbb{R}\) is not a Baire function. An appendix contains a detailed proof of a lemma mentioned in this paper.