Extension of continuous functions to Baire-one functions (Q416432)

Given two topological spaces \(X\) and \(Y\), let \(B_1(X,Y)\) be the collection of all functions of the first Baire class from \(X\) to \(Y\), that is \(f\in B_1(X,Y)\) if it is a pointwise limit of a sequence of continuous functions; and let \(H_1(X,Y)\) be the collection of all the functions of the first Lebesgue class from \(X\) to \(Y\), so \(f\in H_1(X,Y)\) if \(f^{-1}(F)\) is a \(G_{\delta}\)-set in \(X\) for every closed set \(F\) in \(Y\).NEWLINENEWLINERecall that a subset \(E\) of \(X\) is an \(H_1\)-retract if there exists an \(r\in H_1(X,E)\) such that \(r(x)=x\) for all \(x\in E\) (\(r\) is called a retraction). Now, analogously, the author introduces the notion of \(B_1\)-retract: a subset \(E\) of \(X\) for which there exists a retraction \(r\in B_1(X,E)\). She proves some of its properties, and connects in may cases the two notions of \(H_1\)- and \(B_1\)-retract. Finally, by constructing examples of certain subsets of the plane, she shows that the two notions are in general different.