Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Descriptive Set Theory

Field: Set Theory

The study of descriptive set theory.

Sequence of Expressions

The class of Polish spaces has several universality properties, which show that there is no loss of generality in considering Polish spaces of certain restricted forms. - Every Polish space is homeomorphic to a G_{δ} subspace of the Hilbert cube, and every G_{δ} subspace of the Hilbert cube is Polish. - Every Polish space is obtained as a continuous image of Baire space; in fact every Polish space is the image of a continuous bijection defined on a closed subset of Baire space. Similarly, every compact Polish space is a continuous image of Cantor space. Because of these universality properties, and because the Baire space N{\mathcal {N}} has the convenient property that it is homeomorphic to Nω{\mathcal {N}}^{\omega } , many results in descriptive set theory are proved in the context of Baire space alone.
Classical descriptive set theory includes the study of regularity properties of Borel sets. For example, all Borel sets of a Polish space have the property of Baire and the perfect set property. Modern descriptive set theory includes the study of the ways in which these results generalize, or fail to generalize, to other classes of subsets of Polish spaces.