6.7. Principe du bon ordre.

Soit E ⊆ N un sous-ensemble non-vide de l’ensemble des

nombres naturels. On dit que l’élément m est un minimum de E si m ∈ E et m ≤ n pour
chaque n ∈ E.
Par exemple 0 est le minimum de N.
Un autre exemple : fixons n ∈ N et définissons le sous-ensemble E = {m ∈ N| m 6=
n et m ≥ n}. Son minimum est le successeur n + 1.
À la place d’induction ou directement la dernière propriété essentielle de N on peut souvent
utiliser le principe du bon ordre (souvent avec une preuve par contradiction).

Théorème 6.5 (Principe du bon ordre). Tout sous-ensemble non vide de N a un minimum.

Démonstration. Soit E ⊂ N un ensemble non-vide. On va montrer que E a un minimum,

par une preuve par contradiction : Supposons que E n’a pas un minimum.
Considérons la fonction propositionnelle P (n) = ”n 6∈ E” , où n ∈ N. On va montrer par
induction généreuse que P (n) vraie pour chaque n ∈ N.
Début : Si 0 ∈ E, alors 0 serait un minimum de E (c’est même un minimum pour tout
N). Donc 0 6∈ E et P (0) est vraie.
Étape d’induction : Soit n ∈ N et supposons que pour 0 ≤ m ≤ n on a P (m) vraie, c.-à-d.,
m 6∈ E. On va montrer que P (n + 1) est vraie.
Supposons au contraire que P (n + 1) est fausse, ou n + 1 ∈ E mais 0, 1, . . . , n ne sont pas
dans E. Soit a ∈ E. Alors a n’est pas un des 0, 1, . . . , n, qui sont les nombres naturels plus
petit que n + 1. En consèquence a ≥ n + 1. Et on conclut que n + 1 est un minimum de E.
Ce qui est une contradiction. Alors P (n + 1) est vraie.
Par le principe d’induction généreuse, on conclut que P (n) est vraie pour chaque n ∈ N :
pour chaque entier n 6∈ E. Ce qui implique que E est vide ! Une contradiction encore.
Cette fois on conclut que l’hypothèse "E n’a pas un minimum" est faux. 
Un minimum est en fait unique.

Lemme 6.6 (Unicité). Soit E ⊆ N un sous-ensemble non-vide. Alors E a un seul minimum.

Démonstration. Par le principe du bon ordre au moins un minimum existe dans E. Soient
n1 et n2 deux minima de E. Alors n1 et n2 sont dans E et pour chaque m ∈ E on a que
n1 ≤ m et n2 ≤ m. En particulier n1 ≤ n2 (car n2 ∈ E) et n2 ≤ n1 (car n1 ∈ E). Donc
n1 = n2 . 

53
54

7. Dérivation des propriétés bien-connues de N à partir des propriétés

essentielles
Cette section n’est pas obligatoire, et ne fait pas partie de la matière examinée. Mais
c’est bon de l’avoir vu une fois dans la vie.
7.1. Les propriétés essentielles de N. Rappelons que les propriétés considérées essen-
tielles de l’ensemble des nombres naturels N = {0, 1, 2, 3, . . . , n, n + 1, . . .} sont les suivantes :
(1) Chaque nombre naturel n a un unique successeur dans N, noté n + 1.
(2) Il existe un nombre naturel spécial, noté 0, et
(3) chaque nombre naturel n différent de 0 a un unique prédécesseur dans N, noté n − 1.
On a (n + 1) − 1 = n, pour tout n ∈ N et (n − 1) + 1 = n pour tout n ∈ N tel que
n 6= 0.
(4) Si E ⊆ N est un sous-ensemble de N tel que (i) 0 ∈ E et (ii) pour chaque
n ∈ E aussi n + 1 ∈ E, alors nécessairement E = N.
Le successeur de 0 s’appelle 1, le successeur de 1 s’appelle 2, et cétera. Le prédecesseur de
1 est 0, le prédécesseur de 2 est 1. Mais 0 n’a pas de prédécesseur dans N (l’entier −1 n’est
pas un nombre naturel).

Axiome 7.1. L’ensemble des nombres naturels N = {0, 1, 2, 3, . . . , n, n + 1, . . .} avec ces

propriétés essentielles existe.

Il est impossible de montrer la vérité de cet axiome (sans supposer quelque chose d’autre,
comme le principe du bon ordre, voir thm. 6.5). On l’accepte. À partir de seulement ces
propriétés essentielles nous allons déduire les autres propriétés bien connues par vous.
Comme déjà expliqué, la dernière propriété essentielle mentionnée nous permet d’utiliser
induction dans les preuves et définitions.

Théorème 7.1 (Principe d’induction). Soit P (n) une fonction propositionnelle avec univers
de discours N. Supposons P (0) vraie et supposons aussi que pour chaque n ∈ N l’implication
P (n) → P (n + 1) est vrai. Alors P (n) est vrai pour chaque n ∈ N.

7.2. Définitions de l’addition et de la multiplication. Commençons par la définition

de l’addition par induction.

Définition 7.1. Fixons a ∈ N. Nous allons définir pour chaque n ∈ N l’élément a + n ∈ N.

Au début a + 0 = a et a + 1 est le successeur de a (qui existe et est unique par une des
propriétés essentielles de N). Puis supposons pour n ∈ N on a déjà défini a + n, alors on
définit a + (n + 1) comme le successeur de a + n, c.-à-d., par définition
a + (n + 1) := (a + n) + 1.
Ainsi on a défini a + n pour chaque n ∈ N.
 55

Démonstration. En effet l’addition a + n est définie pour n = 0, et si c’est définie pour n

alors c’est aussi définie pour n + 1. Par le principe d’induction, l’addition a + n a été définie
pour chaque n ∈ N. 
La définition de la multiplication par induction utilise l’addition qui est déjà définie.

Définition 7.2. Fixons a ∈ N. Nous allons définir pour chaque n ∈ N l’élément a · n ∈ N.

Au début on définit a · 0 := 0, a · 1 := a. Supposons pour n ∈ N on a déjà défini a · n, alors
on définit a · (n + 1) := (a · n) + a. Ainsi on a défini a · n pour chaque n ∈ N.

7.3. Associativité, commutativité, distributivité. Avec ces définitions ce n’est pas

évident que a + b = b + a et a · b = b · a ni que les règles de l’associativité et de la dis-
tributivité sont satisfaites. Il faut les montrer !
Commençons par montre l’associativité de l’addition.

Théorème 7.2. Pour tous les nombres naturels a, b, c on a

(a + b) + c = a + (b + c).

Démonstration. Fixons a et b. Nous allons montrer par induction que (a+b)+n = a+(b+n)
pour chaque n ∈ N.
Début : Si n = 0 c’est vrai : (a + b) + 0 = a + b = a + (b + 0), car par définition N + 0 = N
pour chaque nombre naturel N .
Étape d’induction. Supposons (a + b) + n = a + (b + n), pour n ≥ 0. Alors par définition
de l’addition (deux fois utilisée), et l’hypothèse d’induction :

(a + b) + (n + 1) = ((a + b) + n) + 1 = ((a + (b + n)) + 1 = a + ((b + n) + 1) = a + (b + (n + 1)).

Alors le théorème est vrai par induction. 
Pour montrer la commutativité de l’addition nous aurons besoin d’un lemme.

Lemme 7.1. Pour chaque nombre naturel n on a

0 + n = n + 0 = n et 1 + n = n + 1.

Démonstration. (i) Rappel : par définition de l’addition on a n + 0 = n et 0 + (n + 1) =

(0 + n) + 1 pour chaque nombre naturel n.
On montre que 0 + n = n + 0 = n par induction.
Début : si n = 0 c’est une tautologie : 0 + 0 = 0 + 0.
Étape d’induction : Soit n ∈ N et supposons par induction que 0 + n = n + 0 = n. Donc
0 + (n + 1) = (0 + n) + 1 = n + 1 = (n + 1) + 0.
On conclut par induction.
Puis, on montre que 1 + n = n + 1 par induction.
56

Début. Si n = 0 on a : 1 + 0 = 1 = 0 + 1, car par définition 1 est le successeur de 0.

Étape d’induction : Soit n ∈ N et supposons par induction que 1 + n = n + 1. Alors par
l’hypothèse d’inducton et l’associativité (déjà montré !) :

(n + 1) + 1 = (1 + n) + 1 = 1 + (n + 1).

Et donc par induction on conclut : 1 + n = n + 1 pour chaque nombre naturel n. 

La commutativité de l’addition :

Théorème 7.3. Pour tous nombres naturels n et m on a

m + n = n + m.

Démonstration. Fixons m. Nous allons montrer le théorème par induction sur n.

Début : c’est le lemme précécent.
Étape d’induction : Supposons par induction que m + n = n + m, pour n ∈ N. Donc par
définition de l’addition, l’hypothése d’induction, le lemme (deux fois) et l’associativité de
l’addition

m + (n + 1) = (m + n) + 1 = (n + m) + 1 = 1 + (n + m) = (1 + n) + m = (n + 1) + m.

Donc par induction le théorème est vrai. 

Une règle de la distributivité :

Théorème 7.4. Pour tous nombres naturels a, b, n on a

(a + b) · n = (a · n) + (b · n).

Démonstration. Par induction sur n.

Début. Pour n = 0 on a par les définitions de la multiplication et l’addition : (a + b) · 0 =
0 = 0 + 0 = (a · 0) + (b · 0).
Étape d’induction. Soit n ∈ N et supposons (a+b)·n = (a·n)+(b·n). On a par définition de
la multiplication, l’associativité et la commutativité de l’addition, et l’hypothèse d’induction :

(a + b) · (n + 1) = ((a + b) · n) + (a + b) = ((a · n) + (b · n)) + (a + b) =

= ((a · n) + a) + ((b · n) + b) = ((a · (n + 1)) + ((b · (n + 1)).

Donc par le principe d’induction, le théorème est vrai. 

L’autre règle de la distributivité :

Théorème 7.5. Pour tous nombres naturels a, b, n on a

a · (b + n) = (a · b) + (a · n).
 57

Démonstration. Par induction sur n.

Début. Pour n = 0 on a : a · (b + 0) = (a · b) = (a · b) + 0 = (a · b) + (a · 0).
Étape d’induction. Soit n ∈ N et supposons a·(b+n) = (a·b)+(a·n). On a par définition de
l’addition, de la multiplication, l’hypothèse d’induction, l’associativité et encore l’addition :

a · (b + (n + 1)) = a · ((b + n) + 1) = a · (b + n) + a = [(a · b) + (a · n)] + a =

= (a · b) + [(a · n) + a] = (a · b) + (a · (n + 1)).
Donc par le principe d’induction, le théorème est vrai. 
L’associativité de la multiplication :

Théorème 7.6. Pour tous nombres naturels a, b, n on a

(a · b) · n = a · (b · n).

Démonstration. Par induction sur n.

Début. Pour n = 0 on a : (a · b) · 0 = 0 = a · 0 = a · (b · 0).
Étape d’induction. Soit n ∈ N et supposons (a · b) · n = a · (b · n). Alors par définition de
la multiplication, l’hypothèse d’induction et la distributivité :
(a · b) · (n + 1) = ((a · b) · n) + (a · b) = (a · (b · n)) + (a · b) =
= a · ((b · n) + b) = a · (b · (n + 1)).
Donc par le principe d’induction, le théorème est vrai. 
Pour montrer la commutativité de la multiplication nous aurons besoin d’un lemme.

Lemme 7.2. Pour chaque nombre naturel n on a

0 · n = n · 0 = 0 et 1 · n = n · 1 = n

Démonstration. Rappel : par définition de la multiplication on a n · 0 = 0 et n · 1 = n.

On montre que 0 · n = 0 par induction. Début : si n = 0 on a en effet 0 · 0 = 0. Étape
d’induction : Supposons par induction que 0 · n = 0. Alors par définition de la multiplication,
l’hypothèse d’induction, et par définition de l’addition
0 · (n + 1) = (0 · n) + 0 = 0 + 0 = 0.
Donc par le principe d’induction, c’est vrai que 0 · n pour chaque nombre naturel n.
On montre que 1 · n = n par induction. Début : si n = 0 on a en effet 1 · 0 = 0, par
définition. Supposons par induction que 1 · n = n. Alors par définition de la multiplication,
l’hypothèse d’induction,
1 · (n + 1) = (1 · n) + 1 = n + 1
Donc par le principe d’induction, c’est vrai que 1 · n = n pour chaque nombre naturel n. 
La commutativité de la multiplication :
58

Théorème 7.7. Pour tous nombres naturels a, n on a

a·n=n·a

Démonstration. Par induction sur n. Début : si n = 0 on a en effet a · 0 = 0 = 0 · a par le

lemme.
Aussi pour n = 1 on a en effet a · 1 = a = 1 · a par le lemme.
Étape d’induction : Soit n ∈ N et supposons par induction que a · n = n · a. Alors par
définition de la multiplication, l’hypothèse d’induction, le lemme, la distributivité
a · (n + 1) = (a · n) + a = (n · a) + 1 · a = (n + 1) · a.
Donc par le principe d’induction, le théorème est vrai. 
7.4. Et soustraction et division ? Soient a et b deux nombres naturels. On écrit a ≤ b
s’il existe un n ∈ N tel que a + n = b. Dans ce cas on écrit n = a − b. Mais si a 6≤ b, alors
a − b n’est pas défini comme nombre naturel. (Mais le moment qu’on a défini Z ce sera défini
comme un le nombre naturel négatif −(b − a).)
On écrit a|b s’il existe un n ∈ N tel que a · n = b. Dans ce cas on écrit n = b ÷ a (mais pas
b
a
, qui est un élément de Q ).
Comme d’habitude on a le suivant. Normalement on utiliserait soustraction pour le mon-
trer.

Théorème 7.8. Si a + n = b + n pour a, b, n ∈ N, alors nécessairement b = c.

Démonstration. Par induction sur n.

Début. Pour n = 0 : a + 0 = b + 0 implique a = b, car a + 0 = a et b + 0 = b.
Pour n = 1 : si a + 1 = b + 1 alors a et b sont deux prédécesseurs de m = a + 1 = b + 1.
Par une propriété essentielle ( !) il suit que a = b.
Étape d’induction. Soit n ∈ N et supposons a + n = b + n implique que a = b. Supposons
a + (n + 1) = b + (n + 1), alors (a + n) + 1 = (b + n) + 1, donc par le cas spécial en haut, il
suit a + n = b + n, donc par l’hypothèse d’induction on conclut a = b.
Donc le théorème est vrai. 
Aussi bien connu est le suivant.

Lemme 7.3. Soit a ∈ N.

(i) Si a 6= 0 alors pour chaque n ∈ N aussi a + n 6= 0.
(ii) Si a 6= 0 alors pour chaque non-zero n ∈ N aussi a · n 6= 0.

Démonstration. (i) Par induction sur n.

Début n = 0 : par hypothèse a + 0 = a 6= 0. Étape d’induction : Supposons a + n 6= 0. Le
nombre naturel a + (n + 1) = (a + n) + 1 est le successeur de (a + n), donc ne peut pas ètre
0, car 0 n’a pas un prédécesseur, par une propriété essentielle ( !).
Donc par induction pour chaque n ∈ N aussi a + n 6= 0.
 59

(ii) Par induction sur n ≥ 1.

Début n = 1 : par hypothèse a · 1 = a 6= 0. Étape d’induction : Supposons n ≥ 1 et
a · n 6= 0. Nous avons a · (n + 1) = (a · n) + a et (a · n) 6= 0 donc par (i) a · (n + 1) 6= 0. Donc
par induction pour chaque non-zero n ∈ N aussi a · n 6= 0. 
Comme conséquence, nous trouvons un résultat utilisé souvent :

Théorème 7.9. Pour trois nombres naturels : si a · b = a · c et a 6= 0 alors b = c.

Démonstration. Supposons a · b = a · c. Par le lemme suivant on a b ≤ c ou c ≤ b.

Dans le premier cas il existe un nombre naturel m tel que b + m = c. Donc
a · b + 0 = a · b = a · c = a · (b + m) = (a · b) + (a · m).
Donc par thm.7.8 on conclut 0 = a · m. Et puis, par lemme 7.3(ii), que m = 0 (car a 6= 0).
Donc b = b + m = c.
L’autre cas est montré d’un façon similaire. 
Pour finir cette section on va utiliser la dernière propriété essentielle de N directement
pour montrer le lemme suivant.

Lemme 7.4. Soit a, b ∈ N. Alors a ≤ b ou b ≤ a.

Démonstration. Fixons a ∈ N. Posons E := {n ∈ N| n ≤ a ou a ≤ n}. À montrer que

E = N.
Au moins 0 ∈ E, par ce que 0 + n = n et donc 0 ≤ n.
Supposons n ∈ E. Alors (i) n ≤ a ou (ii) a ≤ n.
Dans le premier cas il existe un m ∈ N tel que n + m = a. Si m = 0 alors n = a et
a = n ≤ n + 1. Si m 6= 0 alors m − 1 ∈ N et a = n + m = (n + 1) + (m − 1) donc n + 1 ≤ a
et n + 1 ∈ E.
Dans l’autre cas il existe un m ∈ N tel que n = a + m, alors n + 1 = a + (m + 1) et donc
a ≤ n + 1 et n + 1 ∈ E.
Par la dernière propriété essentielle de N il suit que E = N. 
Nous arrêtons ici notre début de retrouver des propriétés usuelles de N, à partir les pro-
priétés essentielles de N. On va supposer ces propriétés dans le suivant.
 127

Département de mathématiques et de statistique, Université de Montréal, C.P. 6128,

succursale Centre-ville, Montréal (Québec), Canada H3C 3J7
E-mail address: broera@DMS.UMontreal.CA