Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Construction des entiers naturels
Résumé
Il existe plusieurs méthodes classiques de construction des entiers naturels, mais on utilise aujourd’hui le plus souvent celle due à von Neumann .
Dans la théorie des ensembles, on définit les entiers par récurrence, en construisant explicitement une suite d'ensembles à partir de l'ensemble vide (la théorie des ensembles postule qu'il existe au minimum un tel ensemble vide). L'idée centrale de cette méthode est de considérer chaque entier à la fois comme un ensemble (contenant le nombre correspondant d'éléments) et comme un nouvel objet ; et de construire des ensembles de plus en plus grands, en rajoutant à chaque étape à l'ensemble précédent, l'objet qui vient juste d'être formé :
L'ensemble vide, noté , est (par définition) un entier, noté 0.
Puis on définit l'entier n[+1] (le successeur de n) comme l'ensemble n U {n} (l'ensemble n, auquel on rajoute l'élément n).
Avec cette définition, l'entier n est l'ensemble {0, 1, ... , n - 1} des entiers naturels qui le précèdent, et la cardinalité de cet ensemble est précisément n. Les premières étapes de la construction de cette suite d'entiers naturels sont :
On peut ainsi construire, de proche en proche, une série d'ensembles dont chacun a un successeur (ici noté [+1], parce qu'il ne s'agit pas de l'addition mais d'une relation de succession), et dont on peut démontrer que chacun est différent de tous ses prédécesseurs.
L'axiome de l'infini est nécessaire pour assurer l'existence d'un ensemble contenant tous les entiers naturels. L'intersection de tous les ensembles de ce type (contenant 0 et clos pour l'opération successeur) est alors l'ensemble des entiers naturels. On peut vérifier que ce dernier satisfait les axiomes de Peano.
Dès lors, on peut définir l’addition de deux entiers +, leur multiplication ⋅, et la puissance, par récurrence, en posant pour tout naturels et :
Les propriétés usuelles de ces trois lois se démontrent ensuite toutes par récurrence, en utilisant les propriétés du rang 1.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.