Baire space (set theory)

Baire space (set theory)

In mathematics field of set theory, especially descriptive 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.”

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). It is often denoted B, NN, or ωω. Moschovakis denotes it mathcal{N}.

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

Properties

The Baire space has the following properties:

# 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.
# It is zero dimensional and totally disconnected.
# It is not locally compact.
# It is universal for Polish spaces in the sense that it can be mapped continuously onto any non-empty Polish space.
# The Baire space is homeomorphic to the product of any finite or countable number of copies of itself.

Relation to the real line

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.

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 often possible to prove results about arbitrary Polish spaces by showing these properties hold for Baire space and showing 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).

ee also

*Baire space

References

*
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Baire space — In mathematics, a Baire space is a topological space which, intuitively speaking, is very large and has enough points for certain limit processes. It is named in honor of René Louis Baire who introduced the concept. Motivation In an arbitrary… …   Wikipedia

  • List of set theory topics — Logic portal Set theory portal …   Wikipedia

  • Descriptive set theory — In mathematical logic, descriptive set theory is the study of certain classes of well behaved subsets of the real line and other Polish spaces. As well as being one of the primary areas of research in set theory, it has applications to other… …   Wikipedia

  • René-Louis Baire — (January 21 1874 ndash; July 5 1932), was a French mathematician. He was born in Paris, France and died in Chambéry, France.Dogged by ill health, and spending time alternating between low level teaching in lycées and work in universities, he was… …   Wikipedia

  • Space (mathematics) — This article is about mathematical structures called spaces. For space as a geometric concept, see Euclidean space. For all other uses, see space (disambiguation). A hierarchy of mathematical spaces: The inner product induces a norm. The norm… …   Wikipedia

  • Baire function — In mathematics, Baire functions refer to certain sets of functions. They are studied in several fields of mathematics, including real analysis and topology.Baire functions of class n , for any ordinal number n , are a set of real valued functions …   Wikipedia

  • Meagre set — In the mathematical fields of general topology and descriptive set theory, a meagre set (also called a meager set or a set of first category) is a set that, considered as a subset of a (usually larger) topological space, is in a precise sense… …   Wikipedia

  • Analytic set — This article is about analytic sets as defined in descriptive set theory. There is another notion in the context of analytic varieties. In descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a… …   Wikipedia

  • Universally Baire set — In the mathematical field of descriptive set theory, a set of reals (or subset of the Baire space or Cantor space) is called universally Baire if it has a certain strong regularity property. Universally Baire sets play an important role in Ω… …   Wikipedia

  • Hyperarithmetical theory — In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”