Classical Descriptive Set TheoryDescriptive set theory is the area of mathematics concerned with the study of the structure of definable sets in Polish spaces. Beyond being a central part of contemporary set theory, the concepts and results of descriptive set theory are being used in diverse fields of mathematics, such as logic, combinatorics, topology, Banach space theory, real and harmonic analysis, potential theory, ergodic theory, operator algebras, and group representation theory. This book provides a basic first introduction to the subject at the beginning graduate level. It concentrates on the core classical aspects, but from a modern viewpoint, including many recent developments, like games and determinacy, and illustrates the general theory by numerous examples and applications to other areas of mathematics. The book, which is written in the style of informal lecture notes, consists of five chapters. The first contains the basic theory of Polish spaces and its standard tools, like Baire category. The second deals with the theory of Borel sets. Methods of infinite games figure prominently here as well as in subsequent chapters. The third chapter is devoted to the analytic sets and the fourth to the co-analytic sets, developing the machinery associated with ranks and scales. The final chapter gives an introduction to the projective sets, including the periodicity theorems. The book contains over four hundred exercises of varying degrees of difficulty. |
Other editions - View all
Common terms and phrases
A. S. Kechris A₁ algebra analytic sets assume B₁ Baire Banach space bijection Borel function Borel measure Borel sets C-universal Cantor set Choquet class of sets clearly clopen closed set closed under continuous comeager compact metrizable compact sets Consider contains continuous function continuous preimages converges define denote equivalence relation Exercise finite fn(x function f given homeomorphic II-complete II-rank infinite Kechris Lemma length(s Lusin meager measurable space metrizable space Moschovakis nonempty open sets notation Note open sets ordinal player plays pointwise Polish space Projective Determinacy projx Proof prove pruned tree rank recursion separable Banach space sequence set AC sets in Polish Show space and AC standard Borel space strategy in G topological space U₁ uniformization unique w₁ Wadge well-founded well-founded relation winning strategy wins iff zero-dimensional