En la disciplina matemática de la teoría descriptiva de conjuntos , un conjunto coanalítico es un conjunto (normalmente un conjunto de números reales o, más generalmente, un subconjunto de un espacio polaco ) que es el complemento de un conjunto analítico (Kechris 1994:87). Los conjuntos coanalíticos también se denominan conjuntos (véase jerarquía proyectiva ).
Referencias
- Kechris, Alexander S. (1994), Teoría clásica de conjuntos descriptivos , Springer-Verlag, ISBN 0-387-94374-9