Baire space

is said to be a Baire space if countable unions of closed sets with empty interior also have empty interior.

[1] According to the Baire category theorem, compact Hausdorff spaces and complete metric spaces are examples of Baire spaces.

The Baire category theorem combined with the properties of Baire spaces has numerous applications in topology, geometry, and analysis, in particular functional analysis.

[2][3] For more motivation and applications, see the article Baire category theorem.

The current article focuses more on characterizations and basic properties of Baire spaces per se.

Bourbaki introduced the term "Baire space"[4][5] in honor of René Baire, who investigated the Baire category theorem in the context of Euclidean space

is called a Baire space if it satisfies any of the following equivalent conditions:[1][7][8] The equivalence between these definitions is based on the associated properties of complementary subsets of

The Baire category theorem gives sufficient conditions for a topological space to be a Baire space.

BCT1 shows that the following are Baire spaces: BCT2 shows that the following are Baire spaces: One should note however that there are plenty of spaces that are Baire spaces without satisfying the conditions of the Baire category theorem, as shown in the Examples section below.

be a sequence of continuous functions with pointwise limit

A special case of this is the uniform boundedness principle.

The following are examples of Baire spaces for which the Baire category theorem does not apply, because these spaces are not locally compact and not completely metrizable: Algebraic varieties with the Zariski topology are Baire spaces.

of n-tuples of complex numbers, together with the topology whose closed sets are the vanishing sets of polynomials