Hyperopération

En mathématiques, les hyperopérations (ou hyperopérateurs) constituent une suite infinie d'opérations[1]^,[2]^,[3] qui prolonge logiquement la suite des opérations arithmétiques élémentaires suivantes :

addition (n = 1) :
${{H_{1}(a,b)=a+b} \atop \,}{= \atop \,}{a\,+ \atop \,}{{\underbrace {1+1+\cdots +1} } \atop b{\text{ termes}}}$
multiplication (n = 2) :
${{H_{2}(a,b)=a\times b=\ } \atop {\ }}{{\underbrace {a+a+\cdots +a} } \atop b{\text{ termes}}}$
exponentiation (n = 3) :
${{H_{3}(a,b)=a^{b}=\ } \atop {\ }}{{\underbrace {a\times a\times \cdots \times a} } \atop b{\text{ facteurs}}}$

Reuben Goodstein[4] proposa de baptiser les opérations au-delà de l'exponentiation en utilisant des préfixes grecs : tétration (n = 4), pentation (n = 5), hexation (n = 6), etc. L'hyperopération à l'ordre n peut se noter à l'aide d'une flèche de Knuth au rang n – 2. $H_{n}(a,b)=a\uparrow ^{n-2}b$ .

La flêche de Knuth au rang m est définie récursivement par : $a\uparrow ^{-1}b=a+b\,$ et $a\uparrow ^{m}b=\underbrace {a\uparrow ^{m-1}\left(a\uparrow ^{m-1}\left[a\uparrow ^{m-1}\left(\ldots \left[a\uparrow ^{m-1}\left(a\uparrow ^{m-1}a\right)\right]\ldots \right)\right]\right)} _{\displaystyle b{\mbox{ copies de }}a},\quad m\geq 0$

Elle peut aussi se définir à l'aide de la règle : $a\uparrow ^{m}b=a\uparrow ^{m-1}\left(a\uparrow ^{m}(b-1)\right)$ . Chacune croît plus vite que la précédente.

Des suites similaires ont historiquement porté diverses appellations, telles que la fonction d'Ackermann[1] (à 3 arguments), la hiérarchie d'Ackermann[5], la hiérarchie de Grzegorczyk[6]^,[7] (plus générale), la version de Goodstein de la fonction d'Ackermann[4], hyper-n[1]^,[8]^,[9]^,[2]^,[10].

Définition

La suite d'hyperopérateurs est la suite d'opérations binaires $H_{n}:\mathbb {N} \times \mathbb {N} \to \mathbb {N}$ indexée par $n\in \mathbb {N}$ , définie récursivement comme suit :

H_{n}(a,b)={\begin{cases}b+1&{\text{si }}n=0\\a&{\text{si }}n=1,b=0\\0&{\text{si }}n=2,b=0\\1&{\text{si }}n\geq 3,b=0\\H_{n-1}(a,H_{n}(a,b-1))&{\text{sinon}}\end{cases}}

(Remarque : pour n = 0, on peut ignorer le premier argument, car alors l'hyperopérateur consiste simplement à incrémenter le second argument d'une unité : succession.)

Pour n = 0, 1, 2, 3, cette définition reproduit les opérations arithmétiques élémentaires, dans l'ordre : succession, addition, multiplication, exponentiation. Par convention donc, les opérations arithmétiques élémentaires sont également à considérer comme des hyperopérateurs.

Pour n ≥ 4, cette suite se poursuit par des nouvelles opérations.

Voici la liste des 7 premières hyperopérations :

n	$H_{n}$	Operation	Définition	Noms	Domaines de validité
0	$H_{0}(a,b)$	$b+1$	${1+{\underbrace {1+1+1+\cdots +1} _{b}}}$	successeur, « zération »	b réel
1	$H_{1}(a,b)$	$a+b$	${a+{\underbrace {1+1+1+\cdots +1} _{b}}}$	addition	a et b réels
2	$H_{2}(a,b)$	$a\cdot b$	${{\underbrace {a+a+a+\cdots +a} } \atop {b}}$	multiplication	a et b réels
3	$H_{3}(a,b)$	$a\uparrow b=a^{b}$	${{\underbrace {a\cdot a\cdot a\cdot a\cdot \ldots \cdot a} } \atop {b}}$	exponentiation	a et b réels
4	$H_{4}(a,b)$	$a\uparrow \uparrow b=\ ^{b}a$	${{\underbrace {a\uparrow a\uparrow a\uparrow \cdots \uparrow a} } \atop {b}}$	tétration	a > 0, b entier ≥ −1 (extensions proposées)
5	$H_{5}(a,b)$	$a\uparrow \uparrow \uparrow b$ ou $a\uparrow ^{3}b$	${{\underbrace {a\uparrow \uparrow a\uparrow \uparrow \cdots \uparrow \uparrow a} } \atop {b}}$	pentation	a et b entiers, a > 0, b ≥ 0
6	$H_{6}(a,b)$	$a\uparrow ^{4}b$	${{\underbrace {a\uparrow ^{3}a\uparrow ^{3}\cdots \uparrow ^{3}a} } \atop {b}}$	hexation	a et b entiers, a > 0, b ≥ 0

Cas spéciaux

H_n(0, b) =

0, où n = 2, ou n = 3, b ≥ 1, ou n ≥ 4, b impair (≥ −1)

1, où n = 3, b = 0, ou n ≥ 4, b pair (≥ 0)

b, où n = 1

b + 1, où n = 0

H_n(a, 0) =

0, où n = 2

1, où n = 0, ou n ≥ 3

a, où n = 1

H_n(a, −1) =

0, où n = 0, ou n ≥ 4

a − 1, où n = 1

−a, où n = 2

1 / a

, où n = 3

H_n(2, 2) =

3, où n = 0

4, où n ≥ 1, démontrable facilement par récurrence.

Histoire

Une des premières discussions autour des hyperopérateurs fut celle d'Albert Bennet[11] en 1914, qui développa la théorie des hypéropérations commutatives.

12 ans plus tard, Wilhelm Ackermann définit la fonction $\phi (a,b,n)$ [12] qui s'approche de la séquence d'hyperopérateurs.

Dans son article de 1947[4], Reuben Goodstein introduit la suite d'opérations maintenant appelée hyperopérations et suggéra les noms de tétration, pentation, etc. pour les opérations au-delà de l'exponentiation (car ils correspondent aux indices 4, 5, etc. de la suite). C'est une fonction à trois arguments : $G(n,a,b)=H_{n}(a,b)$ , la suite des hyperopérations peut être rapprochée de la fonction d'Ackermann $\phi (a,b,n)$ . La fonction d'Ackermann originelle $\phi$ utilise la même règle récursive que Goodstein mais diffère d'elle de deux manières : Tout d'abord $\phi (a,b,n)$ définit une suite d'opérations partant de l'addition (n = 0) plutôt que de la succession. Ensuite, les conditions initiales pour $\phi$ sont $\phi (a,b,3)=a\uparrow \uparrow (b+1)$ , différent en cela des hyperopérations au-delà de l'exponentiation[13]^,[14]^,[15]. La signification du b + 1 dans l'expression qui précède vient que $\phi (a,b,3)$ = $a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}$ , où b compte le nombre d'opérateurs plutôt que le nombre d'opérandes a, comme le fait b dans $a\uparrow \uparrow b$ , etc pour les opérations de niveau supérieur (voir la fonction d'Ackermann pour davantage de détails).

Notations

De nombreuses notations ont été développées et sont applicables aux hyperopérateurs.

Nom	Notation équivalente à $H_{n}(a,b)$	Commentaire
Notation des flèches de Knuth	$a\uparrow ^{n-2}b$	Utilisée par Knuth[16] (pour n ≥ 2), et rencontrée dans divers ouvrages[17]^,[18].
Notation de Goodstein	$G(n,a,b)$	Utilisée par Reuben Goodstein[4].
Fonction d'Ackermann originelle	${\begin{matrix}\phi (a,b,n-1)\ {\text{ pour }}1\leq n\leq 3\\\phi (a,b-1,n-1)\ {\text{ pour }}n>3\end{matrix}}$	Utilisée par Wilhelm Ackermann[12].
Fonction d'Ackermann-Péter	$A(n,b-3)+3\ {\text{pour }}a=2$	Ceci correspond aux hyperopérations en base 2 ( $H_{n}(2,b)$ ).
Notation de Nambiar	$a\otimes ^{n}b$	Utilisée par Nambiar[19]
Notation boîte	$a{\,{\begin{array}{\|c\|}\hline {\!n\!}\\\hline \end{array}}\,}b$	Utilisée par Rubtsov et Romerio[3].
Notation exposant	$a{}^{(n)}b$	Utilisée par Robert Munafo[9].
Notation indice	$a{}_{(n)}b$	Utilisée par John Donner et Alfred Tarski (pour n ≥ 1)[20].
Notation crochets	$a[n]b$	Utilisée sur des forums, pour des raisons de simplicité.
Notation des flèches chaînées de Conway	$a\rightarrow b\rightarrow (n-2)$	Utilisée par John Horton Conway (pour n ≥ 3).
Notation de Bowers	$\{a,b,n,1\}$	Utilisée par Jonathan Bowers (pour n ≥ 1).

Variante de départ à partir de a

En 1928, Wilhelm Ackermann a défini une fonction à 3 arguments $\phi (a,b,n)$ qui a progressivement évolué vers une fonction à 2 arguments connue sous le nom de la fonction d'Ackermann. La fonction originelle d'Ackermann $\phi$ était moins similaire aux hyperopérations modernes, car ses conditions initiales commencent avec $\phi (a,0,n)=a$ pour tout n > 2. En outre, l'addition est assignée à n = 0, la multiplication à n = 1 et exponentiation à n = 2, de sorte que les conditions initiales produisent des opérations très différentes de la tétration et des hyperopérations suivantes.

n	Opération	Commentaire
0	$F_{0}(a,b)=a+b$
1	$F_{1}(a,b)=a\cdot b$
2	$F_{2}(a,b)=a^{b}$
3	$F_{3}(a,b)=a\uparrow \uparrow (b+1)$	L'itération de cette opération est différente de l'itération de la tétration.
4	$F_{4}(a,b)=(x\mapsto a\uparrow \uparrow (x+1))^{b}(a)$	À ne pas confondre avec la pentation.

Une autre condition initiale qui a été utilisée est $A(0,b)=2b+1$ (où la base est constante $a=2$ ), due à Rózsa Péter, qui ne forme pas une hiérarchie d'hyperopérations.

Variante de départ à partir de 0

En 1984, C. W. Clenshaw et F. W. J. Olver ont commencé à discuter de l'utilisation des hyperopérations pour empêcher une erreur d'un ordinateur à virgule flottante[21]. Depuis lors, de nombreux autres auteurs[22]^,[23]^,[24] ont eu un intérêt pour l'application des hyperopérations à la représentation à virgule flottante (car H_n(a, b) sont tous définis pour b = –1). Tout en discutant de tétration, Clenshaw et al. ont soutenu^[pas clair] la condition initiale $F_{n}(a,0)=0$ , et réalise^[pas clair] encore une autre hiérarchie d'hyperopérations. Tout comme dans la variante précédente, la quatrième opération est très similaire à la tétration, mais est différente de celle-ci.

n	Opération	Commentaire
0	$F_{0}(a,b)=b+1$
1	$F_{1}(a,b)=a+b$
2	$F_{2}(a,b)=a\cdot b=e^{\ln(a)+\ln(b)}$
3	$F_{3}(a,b)=a^{b}$
4	$F_{4}(a,b)=a\uparrow \uparrow (b-1)$	L'itération de cette opération est différente de l'itération de la tétration.
5	$F_{5}(a,b)=\left(x\mapsto a\uparrow \uparrow (x-1)\right)^{b}(0)=0{\text{ si }}a>0$	À ne pas confondre avec Pentation.

Voir aussi

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hyperoperation » (voir la liste des auteurs).

(en) Daniel Geisler, « What lies beyond exponentiation? », 2003 (consulté le 17 avril 2009).
(en) A. J. Robbins, « Home of Tetration », novembre 2005 (consulté le 17 avril 2009)
(en) C. A. Rubtsov et G. F. Romerio, « Ackermann's Function and New Arithmetical Operation », décembre 2005 (consulté le 17 avril 2009).
(en) R. L. Goodstein, « Transfinite ordinals in recursive number theory », Journal of Symbolic Logic, vol. 12, n^o 4,‎ 1947, p. 123-129 (DOI 10.2307/2266486, JSTOR 2266486).
(en) Harvey M. Friedman, « Long Finite Sequences », Journal of Combinatorial Theory, Series A, vol. 95, n^o 1,‎ 2001, p. 102-144 (DOI 10.1006/jcta.2000.3154, lire en ligne, consulté le 17 avril 2009).
(en) Manuel Lameiras Campagnola, Cristopher Moore et José Félix Costa, « Transfinite Ordinals in Recursive Number Theory », Journal of Complexity, vol. 18, n^o 4,‎ 2002, p. 977-1000 (lire en ligne, consulté le 17 avril 2009).
(en) Marc Wirz, « Characterizing the Grzegorczyk hierarchy by safe recursion », CiteSeer, 1999 (consulté le 21 avril 2009).
(en) Markus Müller, « Reihenalgebra », 1993 (consulté le 17 avril 2009)
(en) Robert Munafo, « Inventing New Operators and Functions », Large Numbers at MROB, novembre 1999 (consulté le 17 avril 2009).
(en) I. N. Galidakis, « Mathematics », 2003 (consulté le 17 avril 2009).
(en) Albert A. Bennett, « Note on an Operation of the Third Grade », Annals of Mathematics, 2^e série, vol. 17, n^o 2,‎ décembre 1915, p. 74-75 (JSTOR 2007124).
(de) Wilhelm Ackermann, « Zum Hilbertschen Aufbau der reellen Zahlen' », Mathematische Annalen, vol. 99,‎ 1928, p. 118-133 (DOI 10.1007/BF01459088).
(en) Paul E. Black, « Ackermann's function »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)}, Dictionary of Algorithms and Data Structures, U.S. National Institute of Standards and Technology (NIST), 16 mars 2009 (consulté le 17 avril 2009).
(en) Robert Munafo, « Versions of Ackermann's Function », Large Numbers at MROB, 3 novembre 1999 (consulté le 17 avril 2009).
(en) J. Cowles et T. Bailey, « Several Versions of Ackermann's Function », Dept. of Computer Science, University of Wyoming, Laramie, WY, 30 septembre 1988 (consulté le 17 avril 2009).
(en) Donald E. Knuth, « Mathematics and Computer Science: Coping with Finiteness », Science, vol. 194, n^o 4271,‎ décembre 1976, p. 1235-1242 (PMID 17797067, DOI 10.1126/science.194.4271.1235, lire en ligne, consulté le 21 avril 2009).
(en) Daniel Zwillinger, CRC standard mathematical tables and formulae, Boca Raton, CRC Press, 2002, 31^e éd. (ISBN 978-1-58488-291-6), p. 4.
(en) Eric W. Weisstein, CRC Concise Encyclopedia of Mathematics, Boca Raton, CRC Press, 2003, 2^e éd., 3242 p. (ISBN 978-1-58488-347-0, LCCN 2002074126), p. 127-128.
(en) K. K. Nambiar, « Ackermann Functions and Transfinite Ordinals », Applied Mathematics Letters, vol. 8, n^o 6,‎ 1995, p. 51-53 (DOI 10.1016/0893-9659(95)00084-4, lire en ligne, consulté le 21 avril 2009).
(en) John Donner et Alfred Tarski, « An extended arithmetic of ordinal numbers », Fundamenta Mathematicae, vol. 65,‎ 1969, p. 95-127.
(en) C. W. Clenshaw et F. W. J. Olver, « Beyond floating point », Journal of the ACM, vol. 31, n^o 2,‎ avril 1984, p. 319-328 (DOI 10.1145/62.322429, lire en ligne).
(en) W. N. Holmes, « Composite Arithmetic: Proposal for a New Standard », Computer, vol. 30, n^o 3,‎ mars 1997, p. 65-73 (DOI 10.1109/2.573666, lire en ligne, consulté le 21 avril 2009).
(en) R. Zimmermann, « Computer Arithmetic: Principles, Architectures, and VLSI Design », Lecture notes, Integrated Systems Laboratory, ETH Zürich, 1997 (consulté le 17 avril 2009).
(en) T. Pinkiewicz, N. Holmes et T. Jamil, « Design of a composite arithmetic unit for rational numbers », Proceedings of the IEEE, 2000 (consulté le 17 avril 2009), p. 245-252.

Portail des mathématiques
Arithmétique et théorie des nombres

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[geisler-1] (en) Daniel Geisler, « What lies beyond exponentiation? », 2003 (consulté le 17 avril 2009).

[robbins-2] (en) A. J. Robbins, « Home of Tetration », novembre 2005 (consulté le 17 avril 2009)

[romerioAck-3] (en) C. A. Rubtsov et G. F. Romerio, « Ackermann's Function and New Arithmetical Operation », décembre 2005 (consulté le 17 avril 2009).

[goodstein-4] (en) R. L. Goodstein, « Transfinite ordinals in recursive number theory », Journal of Symbolic Logic, vol. 12, n^o 4,‎ 1947, p. 123-129 (DOI 10.2307/2266486, JSTOR 2266486).

[friedman-5] (en) Harvey M. Friedman, « Long Finite Sequences », Journal of Combinatorial Theory, Series A, vol. 95, n^o 1,‎ 2001, p. 102-144 (DOI 10.1006/jcta.2000.3154, lire en ligne, consulté le 17 avril 2009).

[campagnola-6] (en) Manuel Lameiras Campagnola, Cristopher Moore et José Félix Costa, « Transfinite Ordinals in Recursive Number Theory », Journal of Complexity, vol. 18, n^o 4,‎ 2002, p. 977-1000 (lire en ligne, consulté le 17 avril 2009).

[wirz-7] (en) Marc Wirz, « Characterizing the Grzegorczyk hierarchy by safe recursion », CiteSeer, 1999 (consulté le 21 avril 2009).

[mueller-8] (en) Markus Müller, « Reihenalgebra », 1993 (consulté le 17 avril 2009)

[munafo-9] (en) Robert Munafo, « Inventing New Operators and Functions », Large Numbers at MROB, novembre 1999 (consulté le 17 avril 2009).

[galidakis-10] (en) I. N. Galidakis, « Mathematics », 2003 (consulté le 17 avril 2009).

[bennett-11] (en) Albert A. Bennett, « Note on an Operation of the Third Grade », Annals of Mathematics, 2^e série, vol. 17, n^o 2,‎ décembre 1915, p. 74-75 (JSTOR 2007124).

[ackOrig-12] (de) Wilhelm Ackermann, « Zum Hilbertschen Aufbau der reellen Zahlen' », Mathematische Annalen, vol. 99,‎ 1928, p. 118-133 (DOI 10.1007/BF01459088).

[black-13] (en) Paul E. Black, « Ackermann's function »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)}, Dictionary of Algorithms and Data Structures, U.S. National Institute of Standards and Technology (NIST), 16 mars 2009 (consulté le 17 avril 2009).

[14] (en) Robert Munafo, « Versions of Ackermann's Function », Large Numbers at MROB, 3 novembre 1999 (consulté le 17 avril 2009).

[15] (en) J. Cowles et T. Bailey, « Several Versions of Ackermann's Function », Dept. of Computer Science, University of Wyoming, Laramie, WY, 30 septembre 1988 (consulté le 17 avril 2009).

[knuth-16] (en) Donald E. Knuth, « Mathematics and Computer Science: Coping with Finiteness », Science, vol. 194, n^o 4271,‎ décembre 1976, p. 1235-1242 (PMID 17797067, DOI 10.1126/science.194.4271.1235, lire en ligne, consulté le 21 avril 2009).

[17] (en) Daniel Zwillinger, CRC standard mathematical tables and formulae, Boca Raton, CRC Press, 2002, 31^e éd. (ISBN 978-1-58488-291-6), p. 4.

[18] (en) Eric W. Weisstein, CRC Concise Encyclopedia of Mathematics, Boca Raton, CRC Press, 2003, 2^e éd., 3242 p. (ISBN 978-1-58488-347-0, LCCN 2002074126), p. 127-128.

[19] (en) K. K. Nambiar, « Ackermann Functions and Transfinite Ordinals », Applied Mathematics Letters, vol. 8, n^o 6,‎ 1995, p. 51-53 (DOI 10.1016/0893-9659(95)00084-4, lire en ligne, consulté le 21 avril 2009).

[Donner-Tarski-20] (en) John Donner et Alfred Tarski, « An extended arithmetic of ordinal numbers », Fundamenta Mathematicae, vol. 65,‎ 1969, p. 95-127.

[clenshawolver-21] (en) C. W. Clenshaw et F. W. J. Olver, « Beyond floating point », Journal of the ACM, vol. 31, n^o 2,‎ avril 1984, p. 319-328 (DOI 10.1145/62.322429, lire en ligne).

[holmes-22] (en) W. N. Holmes, « Composite Arithmetic: Proposal for a New Standard », Computer, vol. 30, n^o 3,‎ mars 1997, p. 65-73 (DOI 10.1109/2.573666, lire en ligne, consulté le 21 avril 2009).

[23] (en) R. Zimmermann, « Computer Arithmetic: Principles, Architectures, and VLSI Design », Lecture notes, Integrated Systems Laboratory, ETH Zürich, 1997 (consulté le 17 avril 2009).

[24] (en) T. Pinkiewicz, N. Holmes et T. Jamil, « Design of a composite arithmetic unit for rational numbers », Proceedings of the IEEE, 2000 (consulté le 17 avril 2009), p. 245-252.