Hereditarily additive families in descriptive set theory and Borel measurable multimaps

Hansell, Roger W.

doi:10.1090/S0002-9947-1983-0701521-9

Hereditarily additive families in descriptive set theory and Borel measurable multimaps
HTML articles powered by AMS MathViewer

by Roger W. Hansell

Trans. Amer. Math. Soc. 278 (1983), 725-749

DOI: https://doi.org/10.1090/S0002-9947-1983-0701521-9

PDF | Request permission

Abstract:

A family $\mathcal {B}$ of Borel subsets of a space $X$ is (boundedly) Borel additive if, for some countable ordinal $\alpha$, the union of every subfamily of $\mathcal {B}$ is a Borel set of class $\alpha$ in $X$. A problem which arises frequently in nonseparable descriptive set theory is to find conditions under which this property is "hereditary" in the sense that any selection of a Borel subset from each member of $\mathcal {B}$ (of uniform bounded class) will again be a Borel additive family. Similar problems arise for other classes of projective sets; in particular, for Souslin sets and their complements. Positive solutions to the problem have previously been obtained by the author and others when $X$ is a complete metric space or under additional set-theoretic axioms. We give here a fairly general solution to the problem, without any additional axioms or completeness assumptions, for an abstract "descriptive class" in the setting of generalized metric spaces (e.g., spaces with a $\sigma$-point-finite open base). A typical corollary states that any point-finite (co-) Souslin additive family in (say) a metrizable space is hereditarily (co-) Souslin additive. (There exists a point-countable ${F_\sigma }$ additive family of subsets of the real line which has a point selection which is not even Souslin additive.) Two structure theorems for "hereditarily additive" families are proven, and these are used to obtain a nonseparable extension of the fundamental measurable selection theorem of Kuratowski and Ryll-Nardzewski, and a complete solution to the problem of Kuratowski on the Borel measurability of complex and product mappings for nonseparable metric spaces.

References

William G. Fleissner, An axiom for nonseparable Borel theory, Trans. Amer. Math. Soc. 251 (1979), 309–328. MR 531982, DOI 10.1090/S0002-9947-1979-0531982-9

Square of

sets

William G. Fleissner, Roger W. Hansell, and Heikki J. K. Junnila, PMEA implies proposition $\textrm {P}$, Topology Appl. 13 (1982), no. 3, 255–262. MR 651508, DOI 10.1016/0166-8641(82)90034-7
D. H. Fremlin, R. W. Hansell, and H. J. K. Junnila, Borel functions of bounded class, Trans. Amer. Math. Soc. 277 (1983), no. 2, 835–849. MR 694392, DOI 10.1090/S0002-9947-1983-0694392-0
Roger W. Hansell, On the non-separable theory of $k$-Borel and $k$-Souslin sets, General Topology and Appl. 3 (1973), 161–195. MR 319170, DOI 10.1016/0016-660X(73)90017-2
R. W. Hansell, On characterizing non-separable analytic and extended Borel sets as types of continuous images, Proc. London Math. Soc. (3) 28 (1974), 683–699. MR 362269, DOI 10.1112/plms/s3-28.4.683
R. W. Hansell, On the representation of nonseparable analytic sets, Proc. Amer. Math. Soc. 39 (1973), 402–408. MR 380752, DOI 10.1090/S0002-9939-1973-0380752-3
R. W. Hansell, Some consequences of $(V=L)$ in the theory of analytic sets, Proc. Amer. Math. Soc. 80 (1980), no. 2, 311–319. MR 577766, DOI 10.1090/S0002-9939-1980-0577766-0
R. W. Hansell, Borel-additive families and Borel maps in metric spaces, General topology and modern analysis (Proc. Conf., Univ. California, Riverside, Calif., 1980) Academic Press, New York-London, 1981, pp. 405–416. MR 619067
R. W. Hansell, Borel measurable mappings for nonseparable metric spaces, Trans. Amer. Math. Soc. 161 (1971), 145–169. MR 288228, DOI 10.1090/S0002-9947-1971-0288228-1
J. Kaniewski and R. Pol, Borel-measurable selectors for compact-valued mappings in the non-separable case, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 23 (1975), no. 10, 1043–1050 (English, with Russian summary). MR 410657

Quelques problèmes concernant espaces métriques nonséparables

25

Gustave Choquet, Topology, Pure and Applied Mathematics, Vol. XIX, Academic Press, New York-London, 1966. Translated from the French by Amiel Feinstein. MR 0193605
K. Kuratowski and C. Ryll-Nardzewski, A general theorem on selectors, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 13 (1965), 397–403 (English, with Russian summary). MR 188994
Kazimierz Kuratowski and Andrzej Mostowski, Set theory, Second, completely revised edition, Studies in Logic and the Foundations of Mathematics, Vol. 86, North-Holland Publishing Co., Amsterdam-New York-Oxford; PWN—Polish Scientific Publishers, Warsaw, 1976. With an introduction to descriptive set theory; Translated from the 1966 Polish original. MR 0485384
S. J. Leese, Measurable selections and the uniformization of Souslin sets, Amer. J. Math. 100 (1978), no. 1, 19–41. MR 507445, DOI 10.2307/2373874
E. Michael, On maps related to $\sigma$-locally finite and $\sigma$-discrete collections of sets, Pacific J. Math. 98 (1982), no. 1, 139–152. MR 644945, DOI 10.2140/pjm.1982.98.139
A. H. Stone, Non-separable Borel sets, Rozprawy Mat. 28 (1962), 41. MR 152457
A. H. Stone, Some problems of measurability, Topology Conference (Virginia Polytech. Inst. and State Univ., Blacksburg, Va., 1973) Lecture Notes in Math., Vol. 375, Springer, Berlin, 1974, pp. 242–248. MR 0364589