Analytic set

Analytic set
Name	Analytic set
Field	Set theory; Descriptive set theory; Real analysis
Notable for	Projections of Borel sets; Suslin operation; Separation and reduction principles
Introduced	Early 20th century
Related	Borel set; Polish space; Projective set

Analytic set Analytic sets are a central class of pointsets studied in descriptive set theory, arising as continuous images or projections of Borel sets in Polish spaces. They bridge classical results involving Émile Borel, Nikolai Luzin, Mikhail Suslin, Andrey Kolmogorov, and modern developments linked to Kurt Gödel, Paul Cohen, Donald A. Martin, and W. Hugh Woodin. Analytic sets interact with measure, category, and definability notions appearing in work by Henri Lebesgue, Emmy Noether, John von Neumann, and Solomon Lefschetz.

Definition and basic properties

An analytic set in a Polish space X is a set that is the continuous image of a closed subset of the Baire space or equivalently the projection of a Borel subset of X × Y for some Polish Y; this notion was clarified in contributions by Mikhail Suslin, Nikolai Luzin, Andrey Kolmogorov, Émile Borel, and Henri Lebesgue. Basic properties include closure under continuous images and countable unions, and every Borel set (studied by Émile Borel and Nikolai Luzin) is analytic. Analytic sets need not be Borel: classical counterexamples relate to results of Mikhail Suslin and later constructions by Kurt Gödel and independence phenomena established by Paul Cohen.

Examples and non-examples

Standard examples include projections of Borel relations such as graphs studied by Georg Cantor and images of closed subsets of the Baire space associated to work by Émile Borel and Nikolai Luzin. Concrete instances arise from definable subsets of Real number^n that were considered by Henri Lebesgue in measure theory and by John von Neumann in functional analysis. Non-examples are constructed using pathologies related to the Axiom of Choice explored by Ernst Zermelo and independence results due to Paul Cohen and consistency analyses by Kurt Gödel and W. Hugh Woodin.

Descriptive set-theoretic characterization

Analytic sets occupy the first level of the projective hierarchy examined by Mikhail Suslin and later axiomatized by Nikolai Luzin and Henri Lebesgue. They can be characterized via the Suslin operation (A-operation) introduced by Mikhail Suslin and developed further in texts by Kurt Gödel and John von Neumann. Their relationship to Borel sets and higher projective classes is central to results by Donald A. Martin on determinacy and by W. Hugh Woodin on large cardinals, with deep consequences influenced by work of Paul Cohen on independence and Georg Cantor on sets of reals.

Operations and closure properties

Analytic sets are closed under continuous images, countable unions, and countable intersections under certain circumstances, with closure properties studied by Émile Borel, Nikolai Luzin, and Mikhail Suslin. They need not be closed under complementation; complements yield the coanalytic class investigated by Andrey Kolmogorov and Nikolai Luzin. Operations like projection and preimage under Borel measurable maps preserve analyticity; these invariances were instrumental in analyses by John von Neumann and Paul Halmos in ergodic theory and measure-preserving transformations.

Regularity properties and measurability

Analytic sets often satisfy regularity properties such as the property of Baire, Lebesgue measurability, and the perfect set property under additional axioms; foundational work by Henri Lebesgue, Émile Borel, Nikolai Luzin, Kurt Gödel, and Donald A. Martin established many related theorems. Determinacy hypotheses studied by Donald A. Martin and large cardinal principles explored by W. Hugh Woodin influence whether all analytic sets have the perfect set property or are Lebesgue measurable, connecting to research by Paul Cohen on independence results and John von Neumann on measurable selection.

Applications and significance in analysis and logic

Analytic sets appear in functional analysis in the study of operator ranges and spectra examined by John von Neumann and Stefan Banach, in probability theory in the description of analytic measurable sets studied by Andrey Kolmogorov and William Feller, and in recursion theory and effective descriptive set theory influenced by Alan Turing, Emil Post, and Stephen Kleene. They play a role in model theory and admissible set theory connected to Kurt Gödel and Gerald Sacks, and in proofs of structural results in Polish groups and ergodic theory developed by George Mackey, Hillel Furstenberg, and Paul Halmos. Analytic sets thus form a bridge between classical analysis, set-theoretic independence results of Paul Cohen and Kurt Gödel, and contemporary research on determinacy and large cardinals by Donald A. Martin and W. Hugh Woodin.

Category:Descriptive set theory