Property of Baire explained

A of a topological space X has the property of Baire (Baire property, named after René-Louis Baire), or is called an almost open set, if it differs from an open set by a meager set; that is, if there is an open set U\subseteq X such that A t riangleup U is meager (where t riangleup denotes the symmetric difference).^[1]

Definitions

A subset

A \subseteq X of a topological space X is called almost open and is said to have the property of Baire or the Baire property if there is an open set U\subseteq X such that A t riangleup U is a meager subset, where t riangleup denotes the symmetric difference. Further, A has the Baire property in the restricted sense if for every subset E of X the intersection A\cap E has the Baire property relative to E .^[2]

Properties

The family of sets with the property of Baire forms a σ-algebra. That is, the complement of an almost open set is almost open, and any countable union or intersection of almost open sets is again almost open.^[1] Since every open set is almost open (the empty set is meager), it follows that every Borel set is almost open.

\Gamma is determined, then every set in \Gamma 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.^[3]

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.^[4] 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.^[5]

External links

• Springer Encyclopaedia of Mathematics article on Baire property

Notes and References

1. .
2. .
3. .
4. , p. 22.
5. . See in particular p. 64.