Hiérarchie de Grzegorczyk

Modèle:Voir homonymes La hiérarchie de Grzegorczyk – du nom du logicien polonais Andrzej Grzegorczyk – est une hiérarchie de fonctions utilisée en théorie de la calculabilité. Toutes les fonctions de la hiérarchie de Grzegorczyk sont primitives récursives et toute fonction primitive récursive apparait dans cette hiérarchie. Cette hiérarchie classe les fonctions selon leur croissance. Intuitivement, les fonctions d'un niveau croissent moins vite que les fonctions des niveaux supérieurs.

Définition

Tout d'abord on introduit un ensemble infini de fonctions notées $E_i$ pour tout entier naturel $i$.

On pose $E_0:(x,y)\mapsto x+y$ et $E_1:x\mapsto x^2+2$. En d'autre terme, $E_0$ est la fonction d'addition et $E_1$ est une fonction unaire qui élève au carré son argument et ajoute $2$.

Ensuite, pour tout entier $n⩾2$, on définit

$E_n:x\mapsto \{\begin{array}{cc}2& \text{si }x=0\\ E_{n-1}(E_n(x-1))& \text{sinon}\end{array}$

On peut alors définir la hiérarchie de Grzegorczyk. ${ℰ}^n$, la n-ième classe (ou niveau) de la hiérarchie de Grzegorczyk est le plus petit ensemble qui contient

1. $E_k$ pour $k<n$,
2. la fonction nulle,
3. la fonction successeur ($S(x)=x+1$),
4. les projections ($p_i^m(t_1,t_2,\dots ,t_m)=t_i$),

et stable par

1. composition de fonction (si $f$, $g_1$, $g_2$,... ,$g_m$ sont des fonctions de ${ℰ}^n$, alors $f(\overline{u})=h(g_1(\overline{u}),g_2(\overline{u}),\dots ,g_m(\overline{u}))$ l'est aussi),
2. récursion bornée, (si $g$, $h$ et $j$ sont des fonctions de ${ℰ}^n$ et que $f$ est telle que $\mathrm{\forall }t,\mathrm{\forall }\overline{u},f(t,\overline{u})⩽j(t,\overline{u})$, $f(0,\overline{u})=g(\overline{u})$ et $f(t+1,\overline{u})=h(t,\overline{u},f(t,\overline{u}))$, alors $f$ est aussi une fonction de ${ℰ}^n$).

Propriétés

On a

${ℰ}^0\subseteq {ℰ}^1\subseteq {ℰ}^2\subseteq \cdots$

puisque $\{E_k\mid k<0\}\subseteq \{E_k\mid k<1\}\subseteq \{E_k\mid k<2\}\subseteq \cdots$.

En fait, l'inclusion est stricte (Rose 1984; Gakwaya 1997)

${ℰ}^0⊊{ℰ}^1⊊{ℰ}^2⊊\cdots$

parce que l'hyperopération $H_n$ appartient à ${ℰ}^n$ mais pas à ${ℰ}^{n-1}$.

• ${ℰ}^0$ contient des fonctions comme $x\mapsto x$, $x\mapsto x+1$, $x\mapsto x+2$,
• ${ℰ}^1$ contient toutes les fonctions d'addition telles que $x\mapsto 4x$, $(x,y)\mapsto x+y$,
• ${ℰ}^2$ contient les fonctions de multiplication, telles que $(x,y)\mapsto xy$, $x\mapsto x^4$ ,
• ${ℰ}^3$ contient les fonctions exponentiation, comme $(x,y)\mapsto x^y$, $x\mapsto 2^{2^{2^x}}$. Cet ensemble est égal à celui des fonctions élémentaires,
• ${ℰ}^4$ contient la tétration.

Relation avec les fonctions primitives récursives

La définition de ${ℰ}^n$ est la même que celle des fonctions primitives récursives, $PR$, sauf que la construction récursive est bornée ($f(t,\overline{u})\le j(t,\overline{u})$ pour une certaine fonction $j\in {ℰ}^n$) et les fonctions $(E_k{)}_{k<n}$ sont clairement comprises dans ${ℰ}^n$. Par conséquent, la hiérarchie de Grzegorczyk peut être vue comme une façon de limiter la puissance de la récursion primitive.

Il est clair que les fonctions de chaque niveau sont primitives récursives (i.e. ${ℰ}^n\subseteq PR$) et par conséquent

$\bigcup _n{ℰ}^n\subseteq PR$

On peut aussi montrer que toute fonction primitive récursive est présente dans la hiérarchie de Grzegorczyk (Rose 1984; Gakwaya 1997) soit

$\bigcup _n{ℰ}^n=PR$

et les ensembles ${ℰ}^0,{ℰ}^1\setminus {ℰ}^0,{ℰ}^2\setminus {ℰ}^1,\dots ,{ℰ}^n\setminus {ℰ}^{n-1},\dots$ forment une partition de l'ensemble des fonctions primitives récursives $PR$.

Extensions

La hiérarchie de Grzegorczyk peut être étendue aux ordinaux transfinis. On définit alors la hiérarchie de croissance rapide. Pour cela, la définition des $E_{\alpha }$ doit être étendue pour les ordinaux limites, ils sont en effet déjà définis pour les ordinaux successeurs par $E_{\alpha +1}(n)=E_{\alpha }^n(2)$. S'il y a une méthode standard de définir une suite fondamentale ${\lambda }_m$ dont l'ordinal limite est $\lambda$ alors la génération de ces fonctions peut se définir comme $E_{\lambda }(n)=E_{{\lambda }_n}(n)$. Cependant, cette définition dépend de la suite fondamentale. Rose (1984) propose une méthode standard pour tout ordinal $\alpha <{\epsilon }_0$.

L'extension originale est due à Martin Löb et Stan S. Wainer (1970) et est parfois appelée hiérarchie de Löb–Wainer.

Bibliographie

• Brainerd, W.S., Landweber, L.H. (1974), Theory of Computation, Wiley, Modèle:ISBN
• Gakwaya, J.–S. (1997), A survey on the Grzegorczyk Hierarchy and its Extension through the BSS Model of Computability
• Grzegorczyk, A. (1953), Some classes of recursive functions, Rozprawy matematyczne, Vol 4, Modèle:P..
• Löb, M.H. and Wainer, S.S., "Hierarchies of Number Theoretic Functions I, II: A Correction," Arch. Math. Logik Grundlagenforschung 14, 1970 Modèle:P..
• Rose, H.E., "Subrecursion: Functions and hierarchies", Oxford University Press, New York, USA, 1984. Modèle:ISBN
• Wagner, K. and Wechsung, G. (1986), Computational Complexity, Mathematics and its Applications v. 21. Modèle:ISBN

Modèle:Portail