Baire property of space of Baire-one functions

TL;DR

This paper characterizes when the space of Baire-one functions on a topological space is Baire, providing a complete answer for Tychonoff spaces and showing it holds for gamma-spaces, thus resolving recent open questions.

Contribution

It offers a full characterization of topological spaces for which Baire-one function spaces are Baire, including new results for gamma-spaces and addressing open problems.

Findings

B_1(X) is Baire for any gamma-space X

Characterization of spaces where B_1(X) is Baire for Tychonoff spaces

It is consistent that no uncountable separable metrizable space has a Baire B_1(X) that is countable dense homogeneous

Abstract

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space $B_1(X)$ of all Baire-one real-valued functions is characterization topological space $X$ for which the function space $B_1(X)$ is Baire. In this paper, we solve this problem, namely, we have obtained a characterization when a function space $B_1(X)$ has the Baire property for any Tychonoff space $X$. Also we proved that $B_1(X)$ is Baire for any $\gamma$-space $X$. This answers a question posed recently by T. Banakh and S. Gabriyelyan. We also conclude that, it is consistent there are no uncountable separable metrizable space $X$ such that $B_1(X)$ is countable dense homogeneous.