Fonction successeur
En mathématiques, la fonction successeur est une fonction récursive primitive S telle que S(n) = n+1 pour tout entier naturel n. Par exemple, S(1) = 2 et S(2) = 3.
La fonction successeur apparaît dans les axiomes de Peano qui définissent les entiers naturels. Elle n'y est pas définie à partir de l'opération d'addition, mais est une opération primitive qui sert à définir les entiers naturels à partir de 0, mais aussi les autres opérations sur les entiers naturels, dont l'addition. Par exemple, 1 est S(0), et l'addition sur les entiers est définie récursivement par:
m + 0 = m m + S(n) = S(m) + n
Par exemple. 5 + 2 = 5 + S(1) = S(5) + 1 = 6 + 1 = 6 + S(0) = S(6) + 0 = 7 + 0 = 7
Pour construire les nombres entiers en théorie des ensembles, une approche classique consiste à définir le nombre 0 par l'ensemble vide {}, et le successeur S(x) par x ∪ { x }. L'axiome de l'infini garantit alors l'existence d'un ensemble ℕ qui contient 0 et qui est clos par successeur, pris comme définition de l'ensemble des nombres entiers naturels[1].
La fonction successeur est le niveau 0 de la hiérarchie infinie des hyperopérations (utilisées pour construire l'addition, la multiplication, l'exponentiation, etc.).
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Successor function » (voir la liste des auteurs).
- (en) Paul R. Halmos, Naive Set Theory, Nostrand, , « Chapitre 11 »