Baire 1 functions which are not countable unions of continuous functions (Q1804738): Difference between revisions

A real-valued function \(f\) on a space \(X\) is countably continuous provided that \(X\) can be partitioned into countably many sets \(E_1\), \(E_2, \dots\) such that for every \(i\), the restriction \(f |E_i\) is continuous. In the late 50's \textit{P. S. Novikov} and \textit{S. I. Adjan} [Moskovsk. gosudarst. ped. Inst. V. I. Lenin, Uchenye Zapiski 138, fis.-mat. Fak. No. 3, 3-10 (1958; Zbl 0087.04905)] provided an example of an upper semicontinuous function on \([0,1]\) that is not countably continuous answering this way to a question of N. N. Lusin; also W. Sierpinski provided a similar construction. Recently, \textit{S. Jackson} and \textit{R. D. Mauldin} [Fundam. Math. 141, 75-83 (1992; Zbl 0807.54013)] proved that the Lebesgue measure \(\lambda\) on the space of nonempty closed subsets of the unit interval is not countably continuous. They conjectured (ibidem) that in the Banach space of bounded Baire 1 functions and of bounded derivatives, respectively, the countably continuous functions form meager sets. Here, in this excellent article, the authors prove these conjectures. Further they establish a certain property of the map \(\lambda\), which gives, in particular, a direct proof of the result of S. Jackson and R. D. Mauldin. Reviewer's comment: Some similar (weaker) results in this direction can be obtained by combining theorems in [\textit{Roy O. Davies} and \textit{Claude Tricot}, Math. Proc. Camb. Philos. Soc. 91, 457-458 (1982; Zbl 0487.54015)] with recent results of \textit{G. Koumoullis} [Topology Appl. 50, 217-239 (1993; Zbl 0788.54036)] and \textit{P. Holický} [Bull. Pol. Acad. Sci., Math. 42, 85-95 (1994; Zbl 0835.54014)].