Decomposing Borel sets and functions and the structure of Baire class 1 functions

Solecki, Sławomir¹

¹ Department of Mathematics, Indiana University, Bloomington, Indiana 47405

Journal of the American Mathematical Society, Tome 11 (1998) no. 3, pp. 521-550

Résumé

We establish dichotomy results concerning the structure of Baire class 1 functions. We consider decompositions of Baire class 1 functions into continuous functions and into continuous functions with closed domains. Dichotomy results for both of them are proved: a Baire class 1 function decomposes into countably many countinuous functions, or else contains a function which turns out to be as complicated with respect to the decomposition as any other Baire class 1 function; similarly for decompositions into continuous functions with closed domains. These results strengthen a theorem of Jayne and Rogers and answer some questions of Steprāns. Their proofs use effective descriptive set theory as well as infinite Borel games on the integers. An important role in the proofs is played by what we call, in analogy with being Wadge complete, complete semicontinuous functions. As another application of our study of complete semicontinuous functions, we generalize some recent theorems of Jackson and Mauldin, and van Mill and Pol concerning measures viewed as examples of complicated semicontinuous functions. We also prove that a Borel set $A$ is either $\boldsymbol \Sigma ^{0}_{\alpha }$ or there is a continuous injection $\phi :\; \omega ^{\omega }\to A$ such that for any $\boldsymbol \Sigma ^{0}_{\alpha }$ set $B\subset A$, $\phi ^{-1}(B)$ is meager. We show analogous results for Borel functions. These theorems give a new proof of a result of Stern, strengthen some results of Laczkovich, and improve the estimates for cardinal coefficients studied by Cichoń, Morayne, Pawlikowski, and the author.

Détail

DOI : 10.1090/S0894-0347-98-00269-0

Bibliographie

[1] Novikov, P. S., Adyan, S. I. On a semicontinuous function Moskov. Gos. Ped. Inst. Uč. Zap. 1958 3 10

[2] Cichoå„, J., Morayne, M. Universal functions and generalized classes of functions Proc. Amer. Math. Soc. 1988 83 89

[3] Cichoå„, J., Morayne, M., Pawlikowski, J., Solecki, S. Decomposing Baire functions J. Symbolic Logic 1991 1273 1283

[4] Engelking, Ryszard Teoria wymiaru 1977 256

[5] Harrington, L. A., Kechris, A. S., Louveau, A. A Glimm-Effros dichotomy for Borel equivalence relations J. Amer. Math. Soc. 1990 903 928

[6] Haydon, R., Odell, E., Rosenthal, H. On certain classes of Baire-1 functions with applications to Banach space theory 1991 1 35

[7] Jackson, Steve, Mauldin, R. Daniel Some complexity results in topology and analysis Fund. Math. 1992 75 83

[8] Jayne, J. E., Rogers, C. A. First level Borel functions and isomorphisms J. Math. Pures Appl. (9) 1982 177 205

[9] Kechris, A. S., Louveau, A. A classification of Baire class 1 functions Trans. Amer. Math. Soc. 1990 209 236

[10] Louveau, Alain A separation theorem for Σ¹₁ sets Trans. Amer. Math. Soc. 1980 363 378

[11] Cabal seminar 79–81 1983

[12] Analytic sets 1980

[13] Van Mill, J., Pol, R. Baire 1 functions which are not countable unions of continuous functions Acta Math. Hungar. 1995 289 300

[14] Morayne, Michaå‚ Algebras of Borel measurable functions Fund. Math. 1992 229 242

[15] Rosenthal, Haskell P. Some recent discoveries in the isomorphic theory of Banach spaces Bull. Amer. Math. Soc. 1978 803 831

[16] Rosenthal, Haskell A characterization of Banach spaces containing 𝑐₀ J. Amer. Math. Soc. 1994 707 748

[17] Solecki, Så‚Awomir Covering analytic sets by families of closed sets J. Symbolic Logic 1994 1022 1031

[18] Shelah, Saharon, StepräNs, Juris Decomposing Baire class 1 functions into continuous functions Fund. Math. 1994 171 180

[19] StepräNs, Juris A very discontinuous Borel function J. Symbolic Logic 1993 1268 1283

[20] Stern, Jacques Évaluation du rang de Borel de certains ensembles C. R. Acad. Sci. Paris Sér. A-B 1978