Teoría descriptiva de conjuntos
# Teoría descriptiva de conjuntos

En lógica matemática, la teoría descriptiva de conjuntos es el estudio de ciertas clases de subconjuntos de buen comportamiento de la recta real u otros espacios polacos. Además de ser una de las principales áreas de investigación en teoría de conjuntos, también tiene aplicaciones en otras áreas de las matemáticas como el análisis funcional, teoría ergódica, el estudio de álgebras de operadores y las acciones de grupo.

# Teoría descriptiva de conjuntos
## Espacios polacos

La teoría descriptiva de conjuntos comienza con el estudio de los espacios polacos y sus subconjuntos de Borel.
Un espacio polaco es un espacio topológico segundo contable que es metrizable con una métrica completa. De manera equivalente, es un espacio métrico completamente separable cuya métrica ha sido "olvidada". Algunos ejemplos son la recta real $\mathbb {R}$, el espacio de Baire ${\mathcal {N}}$, el espacio de Cantor ${\mathcal {C}}$, y el cubo de Hilbert $I^{\mathbb {N} }$.

# Teoría descriptiva de conjuntos
## Espacios polacos
### Propiedades de universalidad

La clase de los espacios polacos posee ciertas propiedades de universalidad, lo que conlleva que no hay pérdida de generalidad al considerar ciertos casos particulares de espacios polacos especialmente simples:
* Todo espacio polaco es homeomorfo a un subespacio G$_δ$ del cubo de Hilbert , y todo subespacio G$_δ$ del cubo de Hilbert es polaco.
* Todo espacio polaco se obtiene como una imagen continua del espacio de Baire; de hecho todo espacio polaco es la imagen de una biyección continua definida sobre un subconjunto cerrado del espacio de Baire. De manera similar, cada espacio polaco compacto es una imagen continua del espacio de Cantor.
Debido a estas propiedades de universalidad, y dado que el espacio de Baire ${\mathcal {N}}$ posee la conveniente propiedad de que es homeomorfo a ${\mathcal {N}}^{\omega }$, es posible probar varios resultados de la teoría descriptiva de conjuntos en el contexto solamente del espacio de Baire.

# Teoría descriptiva de conjuntos
## Subconjuntos de Borel

El álgebra de Borel de un espacio topológico X consiste en la σ-álgebra más pequeña que contiene los subconjuntos abiertos de X. Por tanto, el álgebra de Borel es la colección más pequeña de conjuntos tal que:
* Todo subconjunto abierto de X es un conjunto de Borel.
* Si A es un conjunto de Borel, también lo es $X\setminus A$. Es decir, la clase de los conjuntos de Borel es cerrada bajo complementos.
* Si A$_n$ es un conjunto de Borel para cada número natural n, entonces la unión $\bigcup A_{n}$ es un conjunto de Borel, es decir la clase de conjuntos es cerrada bajo la unión numerable de conjuntos.
Además, es conocido que dos espacios polacos no numerables cualesquiera X e Y son Borel-isomorfos; existe una biyección desde X a Y tal que la preimagen de cualquier conjunto de Borel es a su vez Borel, y a la inversa, la imagen de cualquier conjunto de Borel es Borel. Este resultado aporta una justificación adicional a la práctica de restringir la atención a los espacios de Baire y de Cantor, dado que estos y cualquier otro espacio polaco son isomorfos en lo que se refiere a sus conjuntos de Borel.

# Teoría descriptiva de conjuntos
## Subconjuntos de Borel
### Jerarquía de Borel

Cada conjunto de Borel de un espacio polaco se clasifica en la jerarquía de Borel en función de cuantas operaciones de unión y complementariedad hay que emplear para obtener dicho conjunto a partir de conjuntos abiertos. La clasificación se realiza utilizando números ordinales numerables. Para cada ordinal numerable no nulo α existen las clases $\mathbf {\Sigma } _{\alpha }^{0}$, $\mathbf {\Pi } _{\alpha }^{0}$, and $\mathbf {\Delta } _{\alpha }^{0}$.
* Todo conjunto abierto se define como $\mathbf {\Sigma } _{1}^{0}$.
* Un conjunto se define como $\mathbf {\Pi } _{\alpha }^{0}$ si y solo si su complemento es $\mathbf {\Sigma } _{\alpha }^{0}$.
* Un connjunto A se define como $\mathbf {\Sigma } _{\delta }^{0}$, δ > 1, si existe una secuencia ⟨ A$_i$ ⟩ de subconjuntos, cada uno de los cuales es $\mathbf {\Pi } _{\lambda (i)}^{0}$ para algún λ(i) < δ, tal que $A=\bigcup A_{i}$.
* Un conjunto es $\mathbf {\Delta } _{\alpha }^{0}$ si y solo si es a la vez $\mathbf {\Sigma } _{\alpha }^{0}$ y $\mathbf {\Pi } _{\alpha }^{0}$.
Existe un teorema que demuestra que si algún conjunto es $\mathbf {\Sigma } _{\alpha }^{0}$ o $\mathbf {\Pi } _{\alpha }^{0}$ entonces es $\mathbf {\Delta } _{\alpha +1}^{0}$, y cualquier conjunto $\Delta _{\beta }^{0}$ es a la vez $\mathbf {\Sigma } _{\alpha }^{0}$ y $\mathbf {\Pi } _{\alpha }^{0}$ para todo α > β.
Por tanto, la jerarquía tiene la siguiente estructura, en la que las flechas indican inclusión:
${\begin{matrix}&&\mathbf {\Sigma } _{1}^{0}&&&&\mathbf {\Sigma } _{2}^{0}&&\cdots \\&\nearrow &&\searrow &&\nearrow \\\mathbf {\Delta } _{1}^{0}&&&&\mathbf {\Delta } _{2}^{0}&&&&\cdots \\&\searrow &&\nearrow &&\searrow \\&&\mathbf {\Pi } _{1}^{0}&&&&\mathbf {\Pi } _{2}^{0}&&\cdots \end{matrix}}{\begin{matrix}&&\mathbf {\Sigma } _{\alpha }^{0}&&&\cdots \\&\nearrow &&\searrow \\\quad \mathbf {\Delta } _{\alpha }^{0}&&&&\mathbf {\Delta } _{\alpha +1}^{0}&\cdots \\&\searrow &&\nearrow \\&&\mathbf {\Pi } _{\alpha }^{0}&&&\cdots \end{matrix}}$

# Teoría descriptiva de conjuntos
## Subconjuntos de Borel
### Regularidad de los conjuntos de Borel

La teoría descriptiva de conjuntos clásica incluye el estudio de las propiedades de regularidad de los conjuntos de Borel. Por ejemplo, todos los conjuntos de Borel de un espacio polaco tienen la propiedad de Baire y la propiedad de conjunto perfecto. Más recientemente se ha extendido la teoría para incluir la forma en que estos resultados se pueden o no generalizar a otras clases de subconjuntos de los espacios polacos.

# Teoría descriptiva de conjuntos
## Conjuntos analíticos y coanalíticos

Un subconjunto A de un espacio polaco X es analítico si es la imagen continua de un subconjunto de Borel de algún otro espacio polaco. A pesar de que cualquier preimagen continua de un conjunto de Borel es Borel, no todos los conjuntos analíticos son conjuntos de Borel. Un subconjunto es coanalítico si su complemento es analítico.

# Teoría descriptiva de conjuntos
## Conjuntos proyectivos y grados de Wadge

Varias cuestiones en teoría descriptiva de conjuntos dependen en última instancia de consideraciones teóricas de conjuntos y de las propiedades de los números ordinales y cardinales. Este fenómeno es particularmente evidente en los conjuntos proyectivos. Estos se definen mediante la jerarquía proyectiva de un espacio polaco X:
* Un conjunto se define como $\mathbf {\Sigma } _{1}^{1}$ si es analítico.
* Un conjunto es $\mathbf {\Pi } _{1}^{1}$ si es coanalítico.
* Un conjunto A es $\mathbf {\Sigma } _{n+1}^{1}$ si existe un $\mathbf {\Pi } _{n}^{1}$ subconjunto B de $X\times X$ tal que A es la proyección de B.
* Un conjunto A es $\mathbf {\Pi } _{n+1}^{1}$ si existe un $\mathbf {\Sigma } _{n}^{1}$ sunconjunto B de $X\times X$ tal que A es la proyección de B.
* Un conjunto es $\mathbf {\Delta } _{n}^{1}$ si es a la vez $\mathbf {\Pi } _{n}^{1}$ y $\mathbf {\Sigma } _{n}^{1}$ .
Al igual que con la jerarquía de Borel, para cada n, cualquier conjunto $\mathbf {\Delta } _{n}^{1}$ es a la vez $\mathbf {\Sigma } _{n+1}^{1}$ y $\mathbf {\Pi } _{n+1}^{1}$.
Las propiedades de los conjuntos proyectivos no están completamente determinadas por los axiomas ZFC. Asumiendo el axioma de constructibilidad, no todos los conjuntos proyectivos tienen la propiedad de conjunto perfecto o la propiedad de Baire. Sin embargo, considerando el axioma de determinación proyectiva, todos los conjuntos proyectivos poseen ambas propiedades. Esto se debe a que los axiomas ZFC implican la determinación de Borel, pero no la determinación proyectiva.
De modo más general, la colección completa de conjuntos de elementos de un espacio polaco X pueden agruparse en clases de equivalencia conocidas como grados de Wadge, que generalizan la jerarquía proyectiva. Estos grados está ordenados en la jerarquía de Wadge. El axioma de determinación implica que la jerarquía de Wadge de cualquier espacio polaco es bien fundada y de longitud Θ (el sucesor de la cardinalidad del continuo), cuya estructura extiende la jerarquía proyectiva.

# Teoría descriptiva de conjuntos
## Relaciones de equivalencia de Borel

Un área de investigación contemporánea en teoría descriptiva de conjuntos estudia las relaciones de equivalencia de Borel. Una relación de equivalencia de Borel en un espacio polaco X es un subconjunto de Borel de $X\times X$ que es una relación de equivalencia en X.

# Teoría descriptiva de conjuntos
## Teoría descriptiva de conjuntos efectiva

El área de la teoría descriptiva de conjuntos efectiva combina los métodos de la teoría descriptiva con aquellos de la teoría de la recursión generalizada, especialmente la teoría hiperaritmética. En particular, se centra en las variantes efectivas de las jerarquías de la teoría descriptiva de conjuntos clásica. Por ello, se estudia la jerarquía hiperaritmética en lugar de la jerarquía de Borel, y la jerarquía analítica en lugar de la jerarquía proyectiva. Esta área de estudio está relacionada con versiones débiles de la teoría de conjuntos como la teoría de conjuntos de Kripke-Platek y la aritmética de segundo orden.