ENCYCLOPEDIA 4U .com

 Web Encyclopedia4u.com

# Baire space

In topology, a Baire space is a 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:

1. Every intersection of countably many dense open sets is dense.
2. If X is non-empty, then every intersection of countably many dense open sets is also non-empty.
3. The interior of every union of countably many nowhere dense sets is empty.
4. 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.
5. 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.

Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.