Nombre transfini
vignette|Le mathématicien George Cantor (1918). Les nombres transfinis sont des nombres exposés et étudiés par le mathématicien Georg Cantor. Se fondant sur ses résultats, il a introduit une sorte de hiérarchie dans l'infini, en développant la théorie des ensembles. Un nombre entier naturel peut être utilisé pour décrire la taille d'un ensemble fini, ou pour désigner la position d'un élément dans une suite. Ces deux utilisations correspondent aux notions de cardinal et d'ordinal respectivement. Ces nombres ont des propriétés différentes selon que les ensembles auxquels ils s'appliquent sont finis ou infinis. Ces cardinaux et ordinaux sont dits transfinis dans le second cas. Leur existence est assurée par l'axiome de l'infini. Le premier nombre ordinal transfini est noté (oméga), dernière lettre de l'alphabet grec. Il correspond au cardinal de l'ensemble des nombres entiers naturels , ordonné « naturellement ». L'addition des ordinaux est associative mais pas commutative. On peut aussi définir une multiplication et une exponentiation, ce qui donne lieu à une arithmétique sur les nombres ordinaux transfinis. Dans ZFC, la théorie des ensembles de Zermelo-Fraenkel avec axiome du choix, à tout ensemble correspond un cardinal, et les cardinaux sont deux à deux comparables ; dans ce cadre, le plus petit cardinal transfini est noté (Aleph zéro) ; c'est le cardinal de l'ensemble des nombres entiers naturels ; dans la définition de von Neumann, , c'est le même objet noté différemment en tant que cardinal. Il y a une arithmétique des cardinaux, qui est différente de celle des ordinaux. Le cardinal de l'ensemble des nombres réels est plus grand que : il n'y a pas possibilité de faire correspondre un à un les entiers et les réels. Nombre cardinal Nombre ordinal Aleph (nombre) Ensemble bien ordonné Récurrence transfinie P. Dehornoy, Cantor et les infinis, Gazette des Mathématiciens - , pages 28-46, juillet 2009. Article de Cantor sur les nombres transfinis (1895), en ligne et analyse sur BibNum. Catégorie:Nombre Catégorie:Nomb
