English

Baire property of some function spaces

General Topology 2022-08-04 v2

Abstract

A compact space XX is called π\pi-monolithic if for any surjective continuous mapping f:XKf:X\rightarrow K where KK is a metrizable compact space there exists a metrizable compact space TXT\subseteq X such that f(T)=Kf(T)=K. A topological space XX is Baire if the intersection of any sequence of open dense subsets of XX is dense in XX. Let Cp(X,Y)C_p(X,Y) denote the space of all continuous YY- valued functions C(X,Y)C(X,Y) on a Tychonoff space XX with the topology of pointwise convergence. In this paper we have proved that for a totally disconnected space XX the space Cp(X,{0,1})C_p(X,\{0,1\}) is Baire if, and only if, Cp(X,K)C_p(X,K) is Baire for every π\pi-monolithic compact space KK. For a Tychonoff space XX the space Cp(X)C_p(X) is Baire if, and only if, Cp(X,L)C_p(X,L) is Baire for each Frechet space LL. We construct a totally disconnected Tychonoff space TT such that Cp(T,M)C_p(T,M) is Baire for a separable metric space MM if, and only if, MM is a Peano continuum. Moreover, Cp(T,[0,1])C_p(T,[0,1]) is Baire but Cp(T,{0,1})Cp(T,\{0,1\}) is not.

Keywords

Cite

@article{arxiv.2204.05974,
  title  = {Baire property of some function spaces},
  author = {Alexander V. Osipov and Evgenii G. Pytkeev},
  journal= {arXiv preprint arXiv:2204.05974},
  year   = {2022}
}

Comments

15 pages. arXiv admin note: text overlap with arXiv:2203.05976

R2 v1 2026-06-24T10:46:11.424Z