Property Of Baire Article Index for
Property
Website Links For
Property
 

Information About

Property Of Baire




: U\subseteq X
such that
: A\Delta U
is 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.