A Baire space is a topological space in which every countable intersection of open dense sets is dense, equivalently one in which no nonempty open set is a countable union of nowhere-dense sets. Every compact Hausdorff space and every complete metric space is a Baire space.
A Baire function belongs to the smallest hierarchy of real-valued functions containing the continuous functions and closed under pointwise sequential limits.
A Baire class one function is a pointwise limit of continuous functions. On a complete metric domain, its set of discontinuities is meagre; in particular, it has a point of continuity on every nonempty perfect closed subset.
The indicator of the rational numbers in the real numbers is discontinuous everywhere because both the rationals and irrationals are dense. The discontinuity theorem for Baire class one functions therefore shows that it is not Baire class one.
Articles by others on the same topic
In topology, a **Baire space** is a topological space that satisfies a specific property relating to the completeness of the space in a certain sense.