Property of Baire

Property of Baire

A subset A of a topological space X has the property of Baire (Baire property) if it differs from an open set by a meager set; that is, if there is an open: Usubseteq Xsuch that: ADelta Uis meager (here, Δ denotes the symmetric difference).

If a subset of a Polish space has the property of Baire, then its corresponding Banach-Mazur game is determined. The converse does not hold; however, if every game in a given adequate pointclass Γ is determined, then every set in Γ has the property of Baire. Therefore it follows from projective determinacy, which in turn follows from sufficient large cardinals, that every projective set (in a Polish space) has the property of Baire.

It follows from the axiom of choice that there are sets of reals without the property of Baire. In particular, the Vitali set does not have the property of Baire. Already weaker versions of choice are sufficient: the Boolean prime ideal theorem implies that there is a nonprincipal ultrafilter on the set of natural numbers; each such ultrafilter induces, via binary representations of reals, a set of reals without the Baire property.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Baire category theorem — The Baire category theorem is an important tool in general topology and functional analysis. The theorem has two forms, each of which gives sufficient conditions for a topological space to be a Baire space. Statement of the theorem *(BCT1) Every… …   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

  • 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

  • Topological property — In topology and related areas of mathematics a topological property or topological invariant is a property of a topological space which is invariant under homeomorphisms. That is, a property of spaces is a topological property if whenever a space …   Wikipedia

  • Generic property — In mathematics, properties that hold for typical examples are called generic properties. For instance, a generic property of a class of functions is one that is true of almost all of those functions, as in the statements, A generic polynomial… …   Wikipedia

  • Determinacy — Determined redirects here. For the 2005 heavy metal song, see Determined (song). For other uses, see Indeterminacy (disambiguation). In set theory, a branch of mathematics, determinacy is the study of under what circumstances one or the other… …   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

  • Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …   Wikipedia

  • Pointclass — In the mathematical field of descriptive set theory, a pointclass is a collection of sets of points, where a point is ordinarily understood to be an element of some perfect Polish space. In practice, a pointclass is usually characterized by some… …   Wikipedia

  • Banach–Mazur game — In general topology, set theory and game theory, a Banach–Mazur game is a topological game played by two players, trying to pin down elements in a set (space). The concept of a Banach–Mazur game is closely related to the concept of Baire spaces.… …   Wikipedia

Share the article and excerpts

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