Jerarquía aritmética

La jerarquía aritmética, o jerarquía de Kleene clasifica ciertos conjuntos basándose en la complejidad de las fórmulas que los definen. Todo conjunto que recibe una clasificación es llamado aritmético. La jerarquía aritmética es importante en la teoría de recursión, teoría de conjunto descriptivos eficientes, y el estudio de teorías formales tales como aritmética de Peano.

El algoritmo de Tarski-Kuratowski da una forma fácil de obtener un límite superior sobre las clasificaciones que se asignan a una fórmula y al conjunto que la misma define.

La jerarquía hiperaritmética y la jerarquía analítica extienden la jerarquía aritmética clasificando fórmulas y conjuntos adicionales.

Jerarquía aritmética de fórmulasEditar

La jerarquía aritmética asigna clasificaciones a las fórmulas en el lenguaje de axiomas de Peano (aritmética de primer orden). Las clasificaciones son identificadas como   y   para números naturales n. Las letras griegas son aquí símbolos sin resaltar, que indica que las fórmulas no contienen parámetros de conjunto.

Las clasificaciones   y   se definen en forma inductiva para todo número natural n utilizando las siguientes reglas:

  • Si   es lógicamente equivalente a una fórmula del tipo  , donde   es  , entonces a   se le asigna la clasificación  .
  • Si   es lógicamente equivalente a una fórmula del tipo  , donde   es  , entonces a   se le asigna la clasificación  .

Jerarquía aritmética de conjuntos de números naturalesEditar

Sea un conjunto X definido por la fórmula φ(n) en el lenguaje de aritmética de Peano si  . Lo que significa que los elementos de X son exactamente los números que satisfacen φ. Un conjunto es definible mediante aritmética de primer orden si el mismo es definido por alguna fórmula en el lenguaje de la aritmética de Peano.

  • A cada conjunto X de números naturales que es definible mediante aritmética de primer orden se les asignan clasificaciones del tipo  ,  , y  , donde   es un número natural, según se indica a continuación. Si X es definible por una fórmula   entonces a   se le asigna la clasificación  . Si X es definible por una fórmula   entonces a   se le asigna la clasificación  . Si   es   y   entonces a   se le asigna la clasificación adicional  .
  • Notar que casi no tiene sentido referirse a fórmulas del tipo  ; el primer cuantificador de una fórmula es o bien existencial o universal. Por lo tanto un conjunto   no se encuentra definido por una fórmula del tipo  ; más bien, son las fórmulas   y   las que definen el conjunto.
  • Se utiliza una definición paralela para definir la jerarquía aritmética en potencias finitas cartesianas de números naturales. En vez de fórmulas con una variable libre, se utilizan fórmulas con k variables libres para definir la jerarquía aritmética sobre conjuntos de k-tuplos de números naturales.
  • Jerarquías aritméticas relativizadas
  • De la misma manera como se puede definir que es lo que significa que un conjunto X sea recursivo con relación a otro conjunto Y permitiendo que el cálculo que define a X consulte a Y como si fuera un oráculo, podemos extender este concepto a toda la jerarquía aritmética y definir lo que significa que X sea  ,   o   en Y, lo que se indica respectivamente como     y  . Para hacer esto fijamos un conjunto de enteros Y y sumamos un predicado de pertenencia en Y al lenguaje de la aritmética de Peano. Luego afirmamos que X se encuentra en   si está definido por una fórmula   en este lenguaje expandido. Es decir, X es   si se encuentra definido por una fórmula   que está habilitada a formular preguntas sobre pertenencia en Y. Alternativamente, se pueden interpretar los conjuntos   como aquellos conjuntos que pueden ser construidos comenzando a partir de conjuntos recursivos en Y y alternativamente proyectando y tomando complementos de estos conjuntos hasta n veces.
  • Por ejemplo sea Y un conjunto de enteros. Y sea X el conjunto de números enteros divisibles por un elemento de Y. Entonces X queda definida por la fórmula   por lo que X se encuentra en   (en realidad se encuentra también en   dado que podemos acotar ambos cuantificadores con n).

Reducibilidad y grados de la aritméticaEditar

La reducibilidad aritmética es un concepto intermedio entre la reducibilidad de Turing y la reducibilidad hiperaritmética. Un conjunto es aritmético (o definible aritméticamente) si es definido por alguna fórmula en el lenguaje de aritmética de Peano. En forma equivalente se dice que X es aritmético si X es   o   para algún entero n. Un conjunto X es aritmético en un conjunto Y, lo que se expresa como  , si X es definible por alguna fórmula en el lenguaje de aritmética de Peano extendido por un predicado de pertenencia en Y. En forma equivalente, X es aritmético en Y si X se encuentra en   o   para algún entero n. Un sinónimo de  es: X es aritméticamente reducible a Y

La relación   es reflexiva y transitiva, y por lo tanto la relación   definida por la regla

 

es una relación de equivalencia. Las clases de equivalencia de esta relación son llamadas los grados aritméticos; los mismos se encuentran parcialmente ordenados en  .

La jerarquía aritmética de los subconjuntos de espacios de Cantor y BaireEditar

El espacio de Cantor, expresado por  , es el conjunto de todas las infinitas sucesiones de ceros (0) y unos (1); el espacio de Baire, expresado por   or  , es el conjunto de todas las infinitas sucesiones de números naturales. Notar que elementos del espacio de Cantor pueden ser identificados con conjuntos de enteros y elementos del espacio de Baire con funciones de enteros en enteros.

La axiomatización ordinaria de aritmética de segundo orden utiliza un lenguaje basado en conjuntos en el cual los cuantificadores de conjunto pueden ser interpretados como cuantificando sobre el espacio de Cantor. A un subconjunto del espacio de Cantor se le asigna la clasificación   si es definible por una fórmula del tipo  . Al conjunto se le asigna la clasificación   si es definible por una fórmula del tipo  . Si el conjunto satisface simultáneamente   y   entonces se le da la clasificación adicional  . Por ejemplo sea   el conjunto de todas las cadenas binarias que no son todos 0 (o en forma equivalente el conjunto de todos los conjuntos de enteros no vacíos). Como   se observa que   es definido por una fórmula   y por lo tanto es un conjunto  .

Es de destacar que si bien ambos elementos del espacio de Cantor (que son conjuntos de enteros) y subconjuntos del espacio de Cantor son clasificados en jerarquías aritméticas, estas no poseen la misma jerarquía. De hecho las relaciones entre estas dos jerarquías son interesantes y no triviales. Por ejemplo los elementos   del espacio de Cantor en general no son los mismos elementos   del espacio de Cantor, de forma tal que   es un subconjunto   del espacio de Cantor. Sin embargo, numerosos resultados interesantes relacionan estas dos jerarquías.

Existen dos maneras en que se puede clasificar en la jerarquía aritmética un subconjunto del espacio de Baire.

  • Un subconjunto del espacio de Baire tiene un subconjunto correspondiente del espacio de Cantor según el mapa que va desde cada función de   a   a la función característica de su grafo. A un subconjunto del espacio de Baire se le da la clasificación  ,  , o   si y solo si el correspondiente subconjunto del espacio de Cantor posee la misma clasificación.
  • Una definición equivalente de la jerarquía analítica en un espacio de Baire es si se define la jerarquía analítica de las fórmulas usando una versión funcional de aritmética de segundo orden; entonces la jerarquía analítica en subconjuntos del espacio de Cantor puede ser definida a partir de la jerarquía en el espacio de Baire. Esta definición alternativa arroja exactamente las mismas clasificaciones que la primera definición.

Una definición similar se utiliza para definir la jerarquía aritmética en potencias cartesianas finitas del espacio de Baire o espacio de Cantor, utilizando fórmulas con varias variables libres. La jerarquía aritmética puede ser definida en todo espacio polaco efectivo; la definición es particularmente simple para espacios de Cantor y de Baire porque ellos se ajustan al lenguaje de la ordinario de la aritmética de segundo orden.

Notar que también podemos definir la jerarquía aritmética de subconjuntos de espacios de Cantor y Baire en forma relativa a algunos conjuntos de enteros. De hecho   en letras negritas es la unión de   para todos los conjuntos de enteros Y. Notar que la jerarquía en negritas es la jerarquía estándar de los conjuntos de Borel.

Véase tambiénEditar

ReferenciasEditar