On Baire classification of mappings with values in connected spaces (Q300500)

Given topological spaces \(X\) and \(Y\), a mapping \(f:X\to Y\) is strongly functionally \(\sigma\)-discrete if there exists a family \(\mathcal{B}=\bigcup_{n=1}^\infty \mathcal{B}_n\) of subsets of \(X\) such that for every family \(\mathcal{B}_n=(B_i:i\in I_n)\) there exists a discrete family \((U_i: i\in I_n)\) of functionally open sets in \(X\) with \(\mathrm{cl}(B_i)\subset U_i\) for all \(i\in I_n\) and, moreover, the inverse image \(f^{-1}(V)\) of any open set \(V\) in \(Y\) is the union of sets from \(\mathcal{B}\). Let \(B_1(X,Y)\) be the first Baire class (pointwise limits of continuous mappings), \(H_1(X,Y)\) be the first Lebesgue class (inverse images of open sets are \(F_\sigma\)-sets), \(K_1(X,Y)\) be the first functional Lebesgue class (inverse images of open sets are functionally \(F_\sigma\)-sets), and \(\Sigma^f(X,Y)\) be the class of strongly functionally \(\sigma\)-discrete mappings. The classical Lebesgue-Hausdorff theorem tells us that the classes \(B_1(X,Y)\) and \(H_1(X,Y)\) coincide if \(X\) is a metrizable space and \(Y=[0,1]^\alpha\), where \(1\leq \alpha\leq\omega\). This theorem is generalized for mappings with values in non-separable spaces. The author proves that for a completely metrizable space \(Y\), the following statements are equivalent: {\parindent=8mm \begin{itemize}\item[(i)] \(Y\) is connected and locally arcwise connected,\item[(ii)] \(K_1(X,Y)\cap \Sigma^f(X, Y)=B_1(X,Y)\) for any topological space \(X\),\item[(iii)] \(H_1([0,1],Y)=B_1([0,1],Y)\). \end{itemize}} Further, for a completely metrizable space \(X\) and a metrizable connected and locally arcwise connected space \(Y\), the classes \(B_1(X,Y)\) and \(H_1(X,Y)\) coincide. This is not valid if \(Y\) is not metrizable: there exists a connected and locally arcwise connected first-countable Lindelöf space \(Y\) such that \(H_1(\mathbb{R}, Y)\setminus B_1(\mathbb{R}, Y)\neq\emptyset\).