Encyclopedia > Baire space

  Article Content

Baire space

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:

  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.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
List of closed London Underground stations

... Line) tube station[?] (aka White City; on what is now the Hammersmith & City Line) Uxbridge Road tube station[?] York Road tube station[?] As are these stations, all ...

 
 
 
This page was created in 38.8 ms