Coanalytic set

In the mathematical discipline of descriptive set theory, a coanalytic set is a set (typically a set of real numbers or more generally a subset of a Polish space) that is the complement of an analytic set (Kechris 1994:87). Coanalytic sets are also referred to as $\scriptstyle\boldsymbol{\Pi}^1_1$ sets (see projective hierarchy).

References

Kechris, Alexander S. (1994), Classical Descriptive Set Theory, Springer-Verlag, ISBN 0-387-94374-9

This article is issued from Wikipedia - version of the Friday, September 21, 2012. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.