[HOME PAGE] [STORES] [CLASSICISTRANIERI.COM] [FOTO] [YOUTUBE CHANNEL]

Jerarquia aritmètica - Viquipèdia

Jerarquia aritmètica

De Viquipèdia

En lògica matemàtica, la jerarquia aritmètica o jerarquia de Kleene és una classificació de conjunts de nombres naturals (i per extensió de qualsevol tipus d'elements que es codifiquin en nombres naturals) segons la complexitat de les fórmules que els defineixen. Els conjunts classificats s'anomenen aritmètics.

La jerarquia aritmètica és important en la teoria de la recursió, en la teoria descriptiva de conjunts efectiva, i en l'estudi de teories formals (com per exemple l'aritmètica de Peano).

L'algorisme de Tarski-Kuratowski permet obtenir fàcilment una fita superior per a la classificació dels conjunts aritmètics.

La jerarquia hiperaritmètica i la jerarquia analítica són extensions de la jerarquia aritmètica que permeten classificar més conjunts.

Taula de continguts

[edita] La jerarquia aritmètica per fórmules

La jerarquia aritmètica classifica en primer lloc les fórmules (sense paràmetres) del llenguatge de l'aritmètica de primer ordre. Les classes de fórmules es denoten \Sigma^0_n i \Pi^0_n per cada natural n.

Si una fórmula φ és lògicament equivalent a una fórmula que només té quantificadors fitats aleshores φ pertany a \Sigma^0_0 i a \Pi^0_0.

Les classes \Sigma^0_n i \Pi^0_n es defineixen inductivament per cada nombre natural n de la següent manera:

  • Si φ és lògicament equivalent a una fórmula del tipus \exists n_1 \cdots \exists n_k \psi, on ψ és \Pi^0_n, llavors φ és \Sigma^0_{n+1}.
  • Si φ és lògicament equivalent a una fórmula del tipus \forall n_l \cdots \forall n_k \psi, on ψ és \Sigma^0_n, llavors φ és \Pi^0_{n+1}.

Com que tota fórmula és equivalent a una fórmula en forma normal prennexa, tota fórmula pertany a alguna classe de la jerarquia. D'altra banda, com que a tota fórmula se li poden afegir quantificadors banals (és a dir, que no lliguin cap variable lliure), si una fórmula pertany a \Sigma^0_n o a \Pi^0_n, també pertany a \Sigma^0_m o a \Pi^0_m per cada m més gran que n. Ara bé, la classe més significativa per cada fórmula és la que té el mínim índex n.

[edita] La jerarquia aritmètica per conjunts de nombres naturals

Diem que un conjunt X de nombres naturals és definible per una fórmula φ(n) del llenguatge de l'aritmètica de Peano si n \in X \leftrightarrow \mathbb{N} \models \phi(n), és a dir, si els elements de X són exactament els nombres que verifiquen φ. Un conjunt és definible en l'aritmètica de primer ordre si és definible per alguna fórmula del llenguatge de l'aritmètica de Peano.

A cada conjunt X de nombres naturals definible en l'aritmètica de primer ordre es classifica en una classe \Sigma^0_n, \Pi^0_n, o \Delta^0_n, per algun n natural de la manera següent. Si X és definible per una fórmula \Sigma^0_n, llavors X pertany a \Sigma^0_n. Si X és definible per una fórmula \Pi^0_n, llavors X pertany a \Pi^0_n. Si X pertany a la vegada a \Sigma^0_n i a \Pi^0_n, llavors pertany a \Delta^0_n.

Observem que no tindria gaire sentit parlar de fórmules \Delta^0_n car el primer quantificador d'una fórmula prennexa és universal o bé existencial. Per tant, no diem que un conjunt de \Delta^0_n és definible per una fórmula \Delta^0_n, sinó que és definible per una fórmula \Sigma^0_n i per una fórmula \Pi^0_n. Fixem-nos que els conjunts de \Delta^0_n són exactament els conjunts recursius.

De manera anàloga es pot fer una classificació de conjunts de k-tuples de naturals. Simplement en lloc d'usar fórmules amb una variable lliure cal usar fórmules amb k variables lliures.

[edita] Jerarquies aritmètiques relativitzades

De la mateixa manera que es pot definir que un conjunt X sigui recursiu relativament a un altre conjunt Y tot permetent que la computació de X consulti Y com a oracle, podem estendre aquesta noció a tota la jerarquia aritmètica i definir què significa que un conjunt X sigui \Sigma^0_n, \Delta^0_n o \Pi^0_n relativament a Y, i ho denotem respectivament amb \Sigma^{0,Y}_n \Delta^{0,Y}_n i \Pi^{0,Y}_n. A tal efecte fixem un conjunt de naturals Y i afegim al llenguatge un predicate unari per a la pertinença a Y. Diem que X és a \Sigma^{0,Y}_n si és definible per una fórmula \Sigma^0_n d'aquest llenguatge expandit. Per dir-ho més intuïtivament, X és \Sigma^{0,Y}_n si és definible per una fórmula \Sigma^{0}_n que pot consultar Y. També podem veure els conjunts de \Sigma^{0,Y}_n com aquells que es construeixen a partir de conjunts recursius relativament a Y tot projectant-los i agafant complements fins a n vegades.

Per exemple, sigui Y un conjunt de naturals i sigui X el conjunt dels nombres divisibles per algun element de Y. Llavors X és definible per la fórmula \phi(n)=\exists m \exists t (Y(m)\and m\times t = n) i per tant X és a \Sigma^{0,Y}_1 (de fet és a \Delta^{0,Y}_0 ja que podríem fitar ambdós quantificadors per n).

[edita] Reductibilitat aritmètica i graus

La reductibilitat aritmètica és una noció intermitja entre la reductibilitat de Turing i la reductibilitat hiperarimètica.

Un conjunt és aritmètic (o aritmèticament definible) si és definible per alguna fórmula del llenguatge de l'aritmètica de Peano, és a dir, si pertany a \Sigma^0_n o a \Pi^0_n per algun natural n. Un conjunt X és aritmètic relativament a un altre conjunt Y, i es denota X \leq_A Y, si X és definible alguna fórmula del llenguatge de l'aritmètica de Peano expandit amb un predicat unari per a la pertinença a Y, és a dir, si X pertany a \Sigma^{0,Y}_n o a \Pi^{0,Y}_n per algun natural n. En aquest cas també es diu que X és aritmèticament reductible a Y.

La relació \leq_A és reflexiva i transitiva, i per tant la seva simetrització \equiv_A definida així

X \equiv_A Y \Leftrightarrow X \leq_A Y \and Y \leq_A X

és una relació d'equivalència. Les classes d'equivalència d'aquesta relació són els graus aritmètics i tenen un ordre parcial induït per \leq_A.