Function spaces of low Borel complexity

Proceedings of the American Mathematical Society - Tập 94 Số 4 - Trang 703-710
J. Dijkstra1,2,3,4, Thomas J. Grilliot1,2,3,4, David Lutzer1,2,3,4, Jan van Mill1,2,3,4
1Department of Mathematics and Statistics, Miami University, Oxford, Ohio, 45056
2Department of Mathematics, University of Amsterdam, Amsterdam, The Netherlands
3Department of Mathematics, Vrue Universiteit, Amsterdam, The Netherlands
4dress of Jan van Mill)

Tóm tắt

In this paper we investigate situations in which the space C π ( X ) {C_\pi }(X) of continuous, real-valued functions on X X is a Borel subset of the product space R X {{\mathbf {R}}^X} . We show that for completely regular, nondiscrete spaces, C π ( X ) {C_\pi }(X) cannot be a G δ {G_\delta } , an F σ {F_\sigma } , or a G δ σ {G_{\delta \sigma }} subset of R X {{\mathbf {R}}^X} , but it can be an F σ δ {F_{\sigma \delta }} or G δ σ δ {G_{\delta \sigma \delta }} subset.

Từ khóa


Tài liệu tham khảo

Engelking, Ryszard, 1975, Topologia og\'{o}lna

de Groot, J., 1963, Subcompactness and the Baire category theorem, Nederl. Akad. Wetensch. Proc. Ser. A 66=Indag. Math., 25, 761, 10.1016/S1385-7258(63)50076-6

Lutzer, D., 1985, Descriptive complexity of function spaces, Trans. Amer. Math. Soc., 291, 121, 10.2307/1999898

Lutzer, D. J., 1980, Category in function spaces. I, Pacific J. Math., 90, 145, 10.2140/pjm.1980.90.145

Willard, Stephen, 1970, General topology