Baire space (set theory)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For the concept in topology, see Baire space.

In set theory, the Baire space is the set of all infinite sequences of natural numbers with a certain topology. This space is commonly used in descriptive set theory, to the extent that its elements are often called “reals.” It is denoted B, NN, ωω, ωω, or \mathcal{N}.

The Baire space is defined to be the Cartesian product of countably infinitely many copies of the set of natural numbers, and is given the product topology (where each copy of the set of natural numbers is given the discrete topology). The Baire space is often represented using the tree of finite sequences of natural numbers.

The Baire space can be contrasted with Cantor space, the set of infinite sequences of binary digits.

Topology and trees[edit]

The product topology used to define the Baire space can be described more concretely in terms of trees. The basic open sets of the product topology are cylinder sets, here characterized as:

If any finite set of natural number coordinates I={i} is selected, and for each i a particular natural number value vi is selected, then the set of all infinite sequences of natural numbers that have value vi at position i is a basic open set. Every open set is a countable union of a collection of these.

Using more formal notation, one can define the individual cylinders as

C_n[v]= \{(a_1,a_2,\cdots) \in \omega^\omega : a_n = v \}

for a fixed integer location n and integer value v. The cylinders are then the generators for the cylinder sets: the cylinder sets then consist of all intersections of a finite number of cylinders. That is, given any finite set of natural number coordinates I=\{i \in \omega \} and corresponding natural number values vi, one considers the intersection of cylinders

\bigcap_{i\in I} C_i[v_i]

This intersection is called a cylinder set, and the set of all such cylinder sets provides a basis for the product topology. Every open set is a countable union of such cylinder sets.

By moving to a different basis for the same topology, an alternate characterization of open sets can be obtained:

If a sequence of natural numbers {wi : i < n} is selected, then the set of all infinite sequences of natural numbers that have value wi at position i for all i < n is a basic open set. Every open set is a countable union of a collection of these.

Thus a basic open set in the Baire space specifies a finite initial segment τ of an infinite sequence of natural numbers, and all the infinite sequences extending τ form a basic open set. This leads to a representation of the Baire space as the set of all paths through the full tree ω of finite sequences of natural numbers ordered by extension. An open set is determined by some (possibly infinite) union of nodes of the tree; a point in Baire space is in the open set if and only if its path goes through one of these nodes.

The representation of the Baire space as paths through a tree also gives a characterization of closed sets. For any closed subset C of Baire space there is a subtree T of ω such that any point x is in C if and only if x is a path through T. Conversely, the set of paths through any subtree of ω is a closed set.

Cartesian products also have an alternate topology, the box topology. This topology is much finer than the product topology as it does not limit the indicator set I=\{i \in \omega \} to be finite. Conventionally, Baire space does not refer to this topology; it only refers to the product topology.


The Baire space has the following properties:

  1. It is a perfect Polish space, which means it is a completely metrizable second countable space with no isolated points. As such, it has the same cardinality as the real line and is a Baire space in the topological sense of the term.
  2. It is zero-dimensional and totally disconnected.
  3. It is not locally compact.
  4. It is universal for Polish spaces in the sense that it can be mapped continuously onto any non-empty Polish space. Moreover, any Polish space has a dense Gδ subspace homeomorphic to a Gδ subspace of the Baire space.
  5. The Baire space is homeomorphic to the product of any finite or countable number of copies of itself.

Relation to the real line[edit]

The Baire space is homeomorphic to the set of irrational numbers when they are given the subspace topology inherited from the real line. A homeomorphism between Baire space and the irrationals can be constructed using continued fractions. That is, given a sequence (a_1,a_2, \cdots)\in \omega^\omega, one can assign a corresponding real number

x = [a_1,a_2,\cdots] = \frac{1}{a_1+\frac{1}{a_2+\cdots}}

From the point of view of descriptive set theory, the fact that the real line is connected causes technical difficulties. For this reason, it is more common to study Baire space. Because every Polish space is the continuous image of Baire space, it is often possible to prove results about arbitrary Polish spaces by showing that these properties hold for Baire space and by showing that they are preserved by continuous functions.

B is also of independent, but minor, interest in real analysis, where it is considered as a uniform space. The uniform structures of B and Ir (the irrationals) are different, however: B is complete in its usual metric while Ir is not (although these spaces are homeomorphic).

The shift operator[edit]

The shift operator on Baire space, when mapped to the unit interval of the reals, becomes the Gauss map h(x)=1/x-\lfloor 1/x \rfloor. That is, given a sequence (a_1, a_2, \cdots), the shift operator T returns T(a_1, a_2, \cdots)=(a_2, \cdots). Likewise, given the continued fraction x=[a_1, a_2, \cdots], the Gauss map returns h(x)=[a_2, \cdots]. The corresponding operator for functions from Baire space to the complex plane is the Gauss–Kuzmin–Wirsing operator; it is the transfer operator of the Gauss map.[1] That is, one considers maps \omega^\omega\to\mathbb{C} from Baire space to the complex plane \mathbb{C}. This space of maps inherits a topology from the product topology on Baire space; for example, one may consider functins having uniform convergence. The shift map, acting on this space of functions, is then the GKW operator.

The Haar measure of the shift operator, that is, a function that is invariant under shifts, is given by the Minkowski measure ?^\prime. That is, one has that T?^\prime = ?^\prime, where T is the shift.[2]


  1. ^ Linas Vepstas, "The Gauss-Kuzmin-Wirsing operator" (2004)
  2. ^ Linas Vepstas, "On the Minkowski Measure", (2008) arXiv:0810.1265