World Library  
Flag as Inappropriate
Email this Article

Baire space

Article Id: WHEBN0000200550
Reproduction Date:

Title: Baire space  
Author: World Heritage Encyclopedia
Language: English
Subject: Meagre set, Baire category theorem, Takens' theorem, Banach–Mazur game, Almost disjoint sets
Publisher: World Heritage Encyclopedia

Baire space

In mathematics, a Baire space is a topological space that has "enough" points that every intersection of a countable collection of open dense sets in the space is also dense. Complete metric spaces and locally compact Hausdorff spaces are examples of Baire spaces according to the Baire category theorem. The spaces are named in honor of René-Louis Baire who introduced the concept.


  • Motivation 1
  • Definition 2
    • Modern definition 2.1
    • Historical definition 2.2
  • Examples 3
  • Baire category theorem 4
  • Properties 5
  • See also 6
  • References 7
  • Sources 8
  • External links 9


In an arbitrary topological space, the class of closed sets with empty interior consists precisely of the boundaries of dense open sets. These sets are, in a certain sense, "negligible". Some examples are finite sets in ℝ, smooth curves in the plane, and proper affine subspaces in a Euclidean space. If a topological space is a Baire space then it is "large", meaning that it is not a countable union of negligible subsets. For example, the three-dimensional Euclidean space is not a countable union of its affine planes.


The precise definition of a Baire space has undergone slight changes throughout history, mostly due to prevailing needs and viewpoints. First, we give the usual modern definition, and then we give a historical definition which is closer to the definition originally given by Baire.

Modern definition

A Baire space is a topological space in which the union of every countable collection of closed sets with empty interior has empty interior.

This definition is equivalent to each of the following conditions:

  • Every intersection of countably many dense open sets is dense.
  • The interior of every union of countably many closed 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.

Historical definition

In his original definition, Baire defined a notion of category (unrelated to category theory) as follows.

A subset of a topological space X is called

  • nowhere dense in X if the interior of its closure is empty
  • of first category or meagre in X if it is a union of countably many nowhere dense subsets
  • of second category or nonmeagre in X if it is not of first category in X

The definition for a Baire space can then be stated as follows: a topological space X is a Baire space if every non-empty open set is of second category in X. This definition is equivalent to the modern definition.

A subset A of X is comeagre if its complement X\setminus A is meagre. A topological space X is a Baire space if and only if every comeager subset of X is dense.


  • The space \mathbb{R} of real numbers with the usual topology, is a Baire space, and so is of second category in itself. The rational numbers are of first category and the irrational numbers are of second category in \mathbb{R}.
  • The Cantor set is a Baire space, and so is of second category in itself, but it is of first category in the interval [0, 1] with the usual topology.
  • Here is an example of a set of second category in \mathbb{R} with Lebesgue measure 0.
\bigcap_{m=1}^{\infty}\bigcup_{n=1}^{\infty} \left(r_{n}-{1 \over 2^{n+m} }, r_{n}+{1 \over 2^{n+m}}\right)
where \left\{r_{n}\right\}_{n=1}^{\infty} is a sequence that enumerates the rational numbers.
  • Note that the space of rational numbers with the usual topology inherited from the reals is not a Baire space, since it is the union of countably many closed sets without interior, the singletons.

Baire category theorem

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.

BCT1 shows that each of the following is a Baire space:

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.


  • Every non-empty Baire space is of second category in itself, and every intersection of countably many dense open subsets of X is non-empty, but the converse of neither of these is true, as is shown by the topological disjoint sum of the rationals and the unit interval [0, 1].
  • Given a family of continuous functions fn:XY with pointwise limit f:XY. If X is a Baire space then the points where f is not continuous is a meagre set in X and the set of points where f is continuous is dense in X. A special case of this is the uniform boundedness principle.
  • A closed subset of a Baire space is not necessarily Baire.
  • The product of two Baire spaces is not necessarily Baire. However, there exist sufficient conditions that will guarantee that a product of arbitrarily many Baire spaces is again Baire.

See also



  • Munkres, James, Topology, 2nd edition, Prentice Hall, 2000.
  • Baire, René-Louis (1899), Sur les fonctions de variables réelles, Annali di Mat. Ser. 3 3, 1–123.

External links

  • Encyclopaedia of Mathematics article on Baire space
  • Encyclopaedia of Mathematics article on Baire theorem
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.