In the mathematical field of descriptive set theory, a subset of a Polish space is an analytic set if it is a continuous image of a Polish space. These sets were first defined by Luzin (1917) and his student Souslin (1917).[1]

Definition

edit

There are several equivalent definitions of analytic set. The following conditions on a subspace A of a Polish space X are equivalent:

  • A is analytic.
  • A is empty or a continuous image of the Baire space ωω.
  • A is a Suslin space, in other words A is the image of a Polish space under a continuous mapping.
  • A is the continuous image of a Borel set in a Polish space.
  • A is a Suslin set, the image of the Suslin operation.
  • There is a Polish space   and a Borel set   such that   is the projection of   onto  ; that is,
 

An alternative characterization, in the specific, important, case that   is Baire space ωω, is that the analytic sets are precisely the projections of trees on  . Similarly, the analytic subsets of Cantor space 2ω are precisely the projections of trees on  .

Properties

edit

Analytic subsets of Polish spaces are closed under countable unions and intersections, continuous images, and inverse images. The complement of an analytic set need not be analytic. Suslin proved that if the complement of an analytic set is analytic then the set is Borel. (Conversely any Borel set is analytic and Borel sets are closed under complements.) Luzin proved more generally that any two disjoint analytic sets are separated by a Borel set: in other words there is a Borel set including one and disjoint from the other. This is sometimes called the "Luzin separability principle" (though it was implicit in the proof of Suslin's theorem).

Analytic sets are always Lebesgue measurable (indeed, universally measurable) and have the property of Baire and the perfect set property.

Examples

edit

When   is a set of natural numbers, refer to the set   as the difference set of  . The set of difference sets of natural numbers is an analytic set, and is complete for analytic sets.[2]

Projective hierarchy

edit

Analytic sets are also called   (see projective hierarchy). Note that the bold font in this symbol is not the Wikipedia convention, but rather is used distinctively from its lightface counterpart   (see analytical hierarchy). The complements of analytic sets are called coanalytic sets, and the set of coanalytic sets is denoted by  . The intersection   is the set of Borel sets.

See also

edit

References

edit
  1. ^ Lorentz, G. G. (2001). "Who discovered analytic sets?". The Mathematical Intelligencer. 23 (4): 28–32. doi:10.1007/BF03024600. ISSN 0343-6993.
  2. ^ J. H. Schmerl, "What's the difference?". Annals of Pure and Applied Logic vol. 93 (1998), pp.255--261.