Heuristique
Les nombres naturels sont l’abstraction du processus de compter :
Le nombre initial est not´
e0.
`
A chaque nombre naturel non associe son successeur Sn.
Ceci permet d ´
ej`
a de nommer quelques petits exemples :
1 := S0,2 := S1,3 := S2,4 := S3,5 := S4,
6 := S5,7 := S6,8 := S7,9 := S8,10 := S9, . . .
On sous-entend tacitement :
1Le nombre 0est le point de d´
epart.
2Ce processus continue infiniment sans jamais boucler.
3Tout nombre naturel est ainsi atteint.
Toute la subtilit´
e est donc de pr´
eciser les trois petits points . . .
§3.1 5/41
D´
efinition des nombres naturels
D´
efinition (nombres naturels)
Les nombres naturels forment un ensemble Nmuni d’un ´
el´
ement initial 0∈N
(z´
ero) et d’une application S:N→N(successeur).
Ce triplet (N,0,S)satisfait aux axiomes suivants :
1Pour tout ndans Non a Sn6= 0.
Autrement dit, 0n’appartient pas `
a l’image de S.
2Pour tout n6=mdans Non a Sn6=Sm.
Autrement dit, Sest injectif.
3Si E⊂Nv´
erifie 0∈Eet S(E)⊂E, alors E=N.
C’est l’axiome de r´
ecurrence.
§3.1 6/41
La construction par r ´
ecurrence
Soient Xun ensemble, x0∈Xun ´
el´
ement, f:X→Xune fonction.
On souhaite construire la suite r ´
ecurrente
x0, x1=f(x0), x2=f(x1), x3=f(x2), . . .
On cherche donc `
a construire une application N→Xcomme suit :
N0S
7→ 1S
7→ 2S
7→ 3S
7→ 4S
7→ 5S
7→ ...
↓↓↓↓↓↓
X x0
f
7→ x1
f
7→ x2
f
7→ x3
f
7→ x4
f
7→ x5
f
7→ ...
Une telle construction est toujours possible et mˆ
eme unique :
Th´
eor`
eme (Dedekind, 1888)
Soient Xun ensemble, x0∈Xun ´
el´
ement, f:X→Xune fonction. Alors il
existe une unique fonction g:N→Xv´
erifiant g(0) = x0et g◦S=f◦g,
c’est-`
a-dire que g(Sn) = f(g(n)) pour tout n∈N.
§3.2 7/41
L’addition des nombres naturels
D´
efinition (addition)
Il existe une unique application +: N×N→Nd´
efinie par m+ 0 := mpuis
par r´
ecurrence par m+Sn:= S(m+n)pour tout m, n ∈N.
Remarquons que n+ 1 = n+S0 = S(n+ 0) = Sn.
Ceci permet de remplacer Spar la notation n7→ n+ 1.
Proposition
L’op ´
eration +, appel´
ee addition, jouit des propri ´
et´
es suivantes :
∀a, b, c ∈N: (a+b) + c=a+ (b+c)(A1 : associativit´
e)
∀a, b ∈N:a+b=b+a(A2 : commutativit´
e)
∀a∈N: 0 + a=a(A3 : ´
el´
ement neutre)
L’addition est cancellative : m+k=n+kimplique m=n.
§3.3 8/41