Nombre epsilon
En mathématiques, les nombres epsilon sont une collection de nombres transfinis définis par la propriété d'être des points fixes d'une application exponentielle. Ils ne peuvent donc pas être atteints à partir de 0 et d'un nombre fini d'exponentiations (et d'opérations « plus faibles », comme l'addition et la multiplication). La forme de base fut introduite par Georg Cantor dans le contexte du calcul sur les ordinaux comme étant les ordinaux ε satisfaisant l'équation où ω est le plus petit ordinal infini ; une extension aux nombres surréels a été découverte par John Horton Conway.
Le plus petit de ces ordinaux est ε0 (prononcé epsilon zero), « limite » (réunion) de la suite ; on a donc .
Ordinaux
La définition standard (par récurrence[1]) de l' exponentiation ordinale de base α is:
- si est un ordinal limite.
Il résulte de cette définition, que pour tout ordinal fixé α > 1, l'application est une fonction normale (en), et possède donc des points fixes arbitrairement grands (ce résultat, connu sous le nom de lemme des fonctions normales (en), se démontre en considérant la limite des itérées de la fonction considérée). Pour , ces points fixes sont précisément les nombres epsilon. Le plus petit d'entre eux, ε0, est la borne supérieure (et donc la limite) de la suite
où chaque terme est l'image du précédent par l'application (la notation du terme général est la notation des flèches de Knuth, bien que celle-ci ne soit définie que pour les ordinaux finis) . On pourrait donc vouloir noter ε0 par , mais comme il n'est pas clair de savoir ce que signifierait , cette notation ne semble pas avoir été généralisée[2].
Le nombre epsilon suivant est
la suite étant à nouveau construite par itération de l'exponentiation de base ω, mais en partant de (et non de , puisque ) ; on a les résultats suivants :
Une autre suite ayant la même limite résulte de l'exponentiation itérée de base ε0 :
Plus généralement, le nombre epsilon indexé par un ordinal successeur α+1 est construit de même par itération de l'exponentiation de base ω partant de , ou par itération de l'exponentiation de base partant de 0 :
Les nombres epsilon indexés par des ordinaux limites sont construits différemment : si α n'est pas un successeur, est la borne supérieure de l'ensemble des (le premier nombre de ce type est ). Dans tous les cas, est un point fixe non seulement de l'exponentiation de base ω , mais aussi de l'exponentiation de base γ pour tous les ordinaux γ tels que : on a .
Une définition apparemment moins constructive est de définir (pour tout ordinal ) comme le plus petit nombre epsilon (c'est-à-dire point fixe de l'application exponentielle) non dans l'ensemble ; les deux définitions sont en fait aussi peu constructives l'une que l'autre pour limite.
Les résultats suivants ont des preuves directes très simples
- Non seulement est un ordinal dénombrable, mais est dénombrable si et seulement si est dénombrable.
- La réunion (la borne supérieure) d'un enxemble non vide de nombres epsilon est un nombre epsilon ; par exemple est un nombre epsilon. Ainsi, l'application est normale.
- Le plus petit ordinal correspondant à un cardinal non dénombrable est un nombre epsilon.
Représentation de ε0 par des arbres
Tout nombre epsilon ε a pour forme normale de Cantor ; cette forme n'est donc guère éclairante pour ces nombres, et en pratique elle n'est jamais utilisée au-delà de ε0. En revanche, la forme normale pour un ordinal inférieur à ε0 peut être codée par un arbre enraciné (fini), de la manière suivante : si a pour forme normale de Cantor , où k est un entier et sont des ordinaux, avec , et ces ordinaux sont déterminés de manière unique par . Chacun des peut (par hypothèse de récurrence) être à son tour représenté par un arbre enraciné ; l'arbre représentant α est obtenu en joignant les racines de ces arbres à un nouveau nœud, la racine de ce nouvel arbre ; la construction s'arrête nécessairement, une suite infinie décroissante d'ordinaux étant impossible. Par exemple, l'arbre représentant l'entier n est formé de la racine et de n feuilles, tandis que l'arbre représentant a la racine jointe à un nœud d'où partent 4 feuilles. On peut définir (toujours par récurrence) un ordre sur l'ensemble de ces arbres en ordonnant les sous-arbres partant de la racine par ordre décroissant, et en comparant les séquences correspondantes en ordre lexicographique ; on, démontre alors que cet ordre est un bon ordre, isomorphe à ε0.
Hiérarchie de Veblen
Les points fixes de l'application forment à leur tour une fonction normale ( le -ème point fixe de ), dont les points fixes forment à leur tour une fonction normale, et ainsi de suite ; ces fonctions (les fonctions de Veblen de base φ0(α) = ωα) sont connues sous le nom de hiérarchie de Veblen. Dans les notations usuelle de la hiérarchie, l'application est φ1, et ses points fixes sont énumérés par φ2.
Continuant ainsi, on peut définir φα pour des ordinaux α de plus en plus grands ; φα+1 énumère les points fixes de φα, et si α est limite, φα énumère les points fixes communs à tous les φβ avec . Le plus petit ordinal non atteignable par ce processus — c'est-à-dire le plus petit α fpour lequel φα(0)=α, ou encore le premier point fixe de l'application — est l'ordinal de Feferman-Schütte Γ0. Cet ordinal, bien que très grand, reste dénombrable, et son existence est aisément prouvée dans ZFC (et même dans des théories arithmétiques beaucoup plus faibles (en)) ; on peut donc définir à son tour une application Γ énumérant les points fixes Γ0, Γ1, Γ2, ... de ; tous ces points fixes sont encore des nombres epsilon. En répétant transfiniment ce processus, on aboutit au petit ordinal de Veblen (en).
Nombres surréels
Dans On Numbers and Games, le livre exposant la notion qu'il a inventé de nombre surréel, John Horton Conway fournit de nombreux exemples de concepts se généralisant naturellement des ordinaux aux surréels. Ainsi, l'application se généralise à tous les surréels, ce qui donne à son tour une forme normale de Cantor généralisée.
Conway appelle encore nombres epsilon les points fixes de cette application, et montre qu'on peut les indexer par les surréels, obtenant ainsi des nombres epsilon tels que
et
Conway généralise encore ce résultat, obtenant une classe plus vaste de nombres surréels qu'il appelle « irréductibles » : ce sont ceux pour lesquels des notations comme , bien qu'exactes, restent ambigües.
Voir aussi
Notes
- Une définition directe de est possible, en prenant l'ordre lexicographique sur les suites d'ordinaux indexées par , et en se restreignant aux suites nulles sauf pour un nombre fini d'indices, contrairement à l'exponentiation des cardinaux.
- Voir cette discussion sur math.stackexchange.com.
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Epsilon numbers (mathematics) » (voir la liste des auteurs).
- John Horton Conway, On Numbers and Games, Academic Press, 1976 (ISBN 0-12-186350-6)
- Section XIV.20 de « (en) Wacław Sierpiński, Cardinal and ordinal numbers, PWN – Polish Scientific Publishers, »