We give an abstract version of Sierpiński's theorem which says that the closure in the uniform convergence topology of the algebra spanned by the sums of lower and upper semicontinuous functions is the class of all Baire 1 functions. Later we show that a natural generalization of Sierpiński's result for the uniform closure of the space of all sums of A and CA functions is not true. Namely we show that the uniform closure of the space of all sums of A and CA functions is a proper subclass of the space of all functions measurable with respect to the least class containing intersections of analytic and coanalytic sets and which is closed under countable unions (A and CA functions are analogues of lower and upper semicontinuous functions, respectively, when measurability with respect to open sets is replaced by that with respect to analytic sets).
@article{bwmeta1.element.bwnjournal-article-fmv142i3p263bwm,
author = {J. Cicho\'n and Micha\l\ Morayne},
title = {An abstract version of Sierpi\'nski's theorem and the algebra generated by A and CA functions},
journal = {Fundamenta Mathematicae},
volume = {142},
year = {1993},
pages = {263-268},
zbl = {0824.54009},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv142i3p263bwm}
}
Cichoń, J.; Morayne, Michał. An abstract version of Sierpiński's theorem and the algebra generated by A and CA functions. Fundamenta Mathematicae, Tome 142 (1993) pp. 263-268. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv142i3p263bwm/
[00000] [1] J. Cichoń and M. Morayne, Universal functions and generalized classes of functions, Proc. Amer. Math. Soc. 102 (1988), 83-89. | Zbl 0646.26009
[00001] [2] J. Cichoń, M. Morayne, J. Pawlikowski and S. Solecki, Decomposing Baire functions, J. Symbolic Logic 56 (1991), 1273-1283. | Zbl 0742.04003
[00002] [3] F. Hausdorff, Set Theory, Chelsea, New York 1962.
[00003] [4] K. Kuratowski, Topology I, Academic Press, New York 1966.
[00004] [5] K. Kuratowski and A. Mostowski, Set Theory, Stud. Logic Found. Math. 86, North-Holland, Amsterdam 1976.
[00005] [6] M. Morayne, Algebras of Borel measurable functions, Fund. Math. 141 (1992), 229-242. | Zbl 0812.26004
[00006] [7] W. Sierpiński, Démonstration d'un théorème sur les fonctions de première classe, ibid. 2 (1921), 37-40. | Zbl 48.0276.03