In
topology, a
Baire space is a particular type of
topological space in which, intuitively, there are "enough" points for certain limit processes.
A topological space X is called a Baire space if it satisfies one (and therefore all) of the following equivalent conditions:
- Every intersection of countably many dense open sets is dense.
- If X is non-empty, then every intersection of countably many dense open sets is also non-empty.
- The interior of every union of countably many nowhere dense sets is empty.
- Whenever the union of countably many closed subsets of X has an interior point, then one of the closed subsets must have an interior point.
- If X is non-empty, then X is of second category. (Unions of countably many nowhere dense sets are called sets of first category or meagre; sets which are not of first category are sets of second category. Note that this notion of "category" has nothing to do with category theory.)
In proofs, condition 4 is commonly used to show that certain interior points must exist.
Examples of Baire spaces:
Note that the space of rational numbers with their ordinary topology are not a Baire space, since they are the union of countably many nowhere dense sets, the singletons.
All Wikipedia text
is available under the
terms of the GNU Free Documentation License