On some problems of descriptive set theory in topological spaces

M. M. Choban

Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 60 (2005) no. 4, pp. 699-719

Résumé

Problems concerning the structure of Borel sets, their classification, and invariance of certain properties of sets under maps of given types arose in the first half of the previous century in the works of A. Lebesgue, R. Baire, N. N. Luzin, P. S. Alexandroff, P. S. Urysohn, P. S. Novikov, L. V. Keldysh, and A. A. Lyapunov and gave rise to many investigations. In this paper some results related to questions of F. Hausdorff, Luzin, Alexandroff, Urysohn, M. Katětov, and A. H. Stone are obtained. In 1934 Hausdorff posed the problem of invariance of the property of being an absolute $B$-set (that is, a Borel set in some complete separable metric space) under open continuous maps. By a theorem of Keldysh, the answer to this question is negative in general. The present paper gives additional conditions under which the answer to Hausdorff's question is positive. Some general problems of the theory of operations on sets are also treated.

Bibliographie

[1] P. S. Alexandroff, “Sur la puissance des ensembles mesurables $B$”, C. R. Acad. Sci. Paris, 162 (1916), 323–325 | Zbl

[2] P. S. Alexandroff, P. S. Urysohn, “Über nulldimensionale Punktmengen”, Math. Ann., 98 (1927), 89–106 | DOI | MR | Zbl

[3] V. Ya. Arsenin, “Priroda proektsii nekotorykh $B$-mnozhestv”, Izv. AN SSSR. Ser. matem., 4:4 (1940), 403–410 | MR | Zbl

[4] A. V. Arkhangelskii, “Otobrazheniya i prostranstva”, UMN, 21:4 (1966), 133–184 | MR

[5] V. Ya. Arsenin, A. A. Lyapunov, “Teoriya $A$-mnozhestv”, UMN, 5:5 (1950), 45–108 | MR | Zbl

[6] R. Baire, “Sur la représentation des fonctions discontinues”, Acta Math., 30 (1905), 34–47 | MR

[7] J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977 | MR

[8] A. V. Chernavskii, “Zamechanie k teoreme Shneidera o suschestvovanii v sovershenno-normalnykh bikompaktakh $A$-mnozhestva, ne yavlyayuschegosya $B$-mnozhestvom”, Vestnik Mosk. un-ta. Matem., 1962, no. 2, 20 | MR

[9] M. M. Choban, “O berovskikh mnozhestvakh”, Vtoroi Tiraspolskii simpozium po obschei topologii i ee prilozheniyam, Kishinev, 1969, 87–90

[10] M. M. Choban, “O $B$-izmerimykh secheniyakh”, Dokl. AN SSSR, 207:1 (1972), 48–51 | MR | Zbl

[11] M. M. Choban, “Nepreryvnye obrazy polnykh prostranstv”, Trudy MMO, 30 (1974), 23–59 | MR | Zbl

[12] M. M. Choban (C̆oban), “Algebras and some questions of the theory of maps”, General Topology and its Relations to Modern Analysis and Algebra, Proceedings of the Fifth Prague Topological Symposium (1981), Sigma Ser. Pure Math., 3, 1983, 86–97 | MR | Zbl

[13] M. M. Choban, “Deskriptivnaya teoriya mnozhestv i topologiya”, Itogi nauki i tekhniki. Sovremen. problemy matematiki. Fundament. napravleniya, VINITI, M., 1989, 173–237 | MR

[14] M. M. Choban, “The open mappings and spaces”, Rend. Circ. Mat. Palermo, serie II. Suppl., 29 (1992), 51–104 | MR | Zbl

[15] R. Ekgelking, Obschaya topologiya, Mir, M., 1986

[16] R. C. Freiwald, “Images of Borel sets and $k$-analytic sets”, Fund. Math., 75:1 (1972), 35–46 | MR

[17] Z. Frolik, “A survey of separable descriptive theory of sets and spaces”, Czechoslovak Math. J., 20 (1970), 406–467 | MR | Zbl

[18] Z. Frolik, “Topological methods in measure theory and the theory of measurable spaces”, General Topology and its Relations to Modern Analysis and Agebra, Proceedings of the Third Prague Topological Symposium, 1971, Academia, Prague, 1972, 127–139 | MR

[19] F. Hausdorff, Mengenlehre, de Gruyter, Berlin, 1927 | MR | Zbl

[20] F. Hausdorff, “Über innere Abbildungen”, Fund. Math., 23 (1934), 279–291 | Zbl

[21] J. E. Jayne, I. Namioka, C. A. Rogers, “Topological properties of Banach spaces”, Proc. London Math. Soc. (3), 66:3 (1993), 651–672 | DOI | MR | Zbl

[22] H. J. K. Junnila, “Stratifiable pre-images of topological spaces”, Colloq. Math. Soc. János. Bolyai., 23 (1980), 689–703 | MR | Zbl

[23] V. G. Kanovei, “Proektivnaya ierarkhiya N. N. Luzina: Sovremennoe sostoyanie teorii”, Spravochnaya kniga po matematicheskoi logike, ch. II, Nauka, M., 1982, 273–370

[24] L. V. Keldysh, “O gomeomorfnosti kanonicheskikh elementov tretego klassa”, Matem. sb., 41:2 (1934), 187–220 | Zbl

[25] L. V. Keldysh, “O prostykh funktsiyakh klassa $\alpha$”, Dokl. AN SSSR, 4:4 (1934), 192–197 | Zbl

[26] L. V. Keldysh, “Schetnye izmerimye $B$-resheta, opredelyayuschie mnozhestva izmerimye $B$”, Izv. AN SSSR. Ser. matem., 1937, no. 3, 403–418

[27] L. V. Keldysh, “Ob odnom svoistve reshet izmerimykh $B$”, Izv. AN SSSR. Ser. matem., 1938, no. 1, 125–135 | Zbl

[28] L. V. Keldysh, “Resheta, opredelyayuschie mnozhestva izmerimye $B$”, Dokl. AN SSSR, 19:1–2 (1938), 11–14

[29] L. V. Keldysh, “Struktura minimalnykh reshet, opredelyayuschikh mnozhestva izmerimye $B$”, Izv. AN SSSR. Ser. matem., 1938, no. 2, 221–248

[30] L. V. Keldysh, “Odnorodnye mnozhestva izmerimye $B$”, Dokl. AN SSSR, 26:6 (1940), 531–534 | MR

[31] L. V. Keldysh, “Struktura $B$-mnozhestv”, Dokl. AN SSSR, 31:7 (1941), 651–653 | MR | Zbl

[32] L. V. Keldysh, Struktura $B$-mnozhestv, Tr. MIAN, 17, 1945 | MR | Zbl

[33] L. V. Keldysh, “Ob otkrytykh otobrazheniyakh $A$-mnozhestv”, Dokl. AN SSSR, 49:9 (1945), 646–648

[34] K. Kuratovskii, Topologiya, 1, Mir, M., 1966 | MR

[35] H. Lebesgue, “Sur les fonctions représentables analytiquement”, J. Math. (6), 1 (1905), 139–216 | Zbl

[36] N. N. Lusin, Leçons sur les ensembles analytiques et leurs applications, Gauthier-Villars, Paris, 1930 | Zbl

[37] N. N. Luzin, Sobranie sochinenii. T. 2. Deskriptivnaya teoriya mnozhestv, Izd-vo AN SSSR, M., 1958 | MR

[38] A. A. Lyapunov, Voprosy teorii mnozhestv i teorii funktsii, Nauka, M., 1979 | MR | Zbl

[39] E. Michael, “A theorem on semi-continuous set-valued functions”, Duke Math. J., 26 (1959), 647–651 | DOI | MR | Zbl

[40] E. Michael, “$G_\delta$-sections and compact-covering maps”, Duke Math. J., 36 (1969), 125–127 | DOI | MR | Zbl

[41] P. S. Novikoff, “Sur les fonctions implicites mesurables $B$”, Fund. Math., 17 (1931), 8–25 | Zbl

[42] P. S. Novikov, Teoriya mnozhestv. Matematicheskaya logika i algebra. Izbrannye trudy, Nauka, M., 1979 | MR

[43] Yu. S. Ochan, “Obobschennaya $A$-operatsiya”, Dokl. AN SSSR, 33:6 (1941), 393–395

[44] Yu. S. Ochan, “Teoriya operatsii nad mnozhestvami”, UMN, 10:3 (1955), 71–128 | MR | Zbl

[45] A. V. Ostrovskii, “K voprosu L. V. Keldysh o strukture borelevskikh mnozhestv”, Matem. sb., 131:3 (1986), 323–346 | MR

[46] B. A. Pasynkov, “Ob otkrytykh otobrazheniyakh”, Dokl. AN SSSR, 175:2 (1967), 292–295 | MR | Zbl

[47] R. Pol, “On category-raising and dimension-raising open mappings with discrete fibers”, Colloq. Math., 44:1 (1981), 65–76 | MR | Zbl

[48] V. I. Ponomarev, “O borelevskikh mnozhestvakh v sovershenno-normalnykh bikompaktakh”, Dokl. AN SSSR, 170:3 (1966), 520–523 | MR | Zbl

[49] C. A. Rogers, J. E. Jayne, C. Dellacherie, F. Topsoe, J. Hoffmann-Jørgensen, D. A. Martin, A. S. Kechris, A. H. Stone, Analytic Sets, Academic Press, London, 1980

[50] J. Saint-Raymond, “Fonctions boreliennes sur un quotient”, Bull. Sci. Math. (2), 100:2 (1976), 141–147 | MR | Zbl

[51] A. H. Stone, “Non-separable Borel sets”, Rozprawy Math., 28 (1962) | MR | Zbl

[52] A. D. Taimanov, “Ob otkrytykh obrazakh borelevskikh mnozhestv”, Matem. sb., 37:2 (1955), 293–300 | MR | Zbl

[53] A. D. Taimanov, “O zamknutykh otobrazheniyakh. I”, Matem. sb., 36:2 (1955), 349–352 | MR | Zbl

[54] A. D. Taimanov, “O zamknutykh otobrazheniyakh. II”, Matem. sb., 52:1 (1960), 579–588 | MR | Zbl

[55] A. D. Taimanov, “O nekotorykh rabotakh, svyazannykh s deskriptivnoi teoriei mnozhestv i topologiei”, Tr. MIAN, 133, 1973, 203–213 | MR

[56] H. H. Wicke, J. M. Worrell, Jr, “Open continuous images of certain kinds of $M$-spaces and completeness of mappings and spaces”, General Topology and Appl., 1:1 (1971), 85–100 | DOI | MR | Zbl