Baire space

The Baire category theorem gives sufficient conditions for a topological space to be a Baire space. It is an important tool in topology and functional analysis.

BCT2 shows that every manifold is a Baire space, even if it is not paracompact, and hence not metrizable. For example, the long line is of second category.