Académique Documents
Professionnel Documents
Culture Documents
S. AZZI
Chapitre 4
1 Récurrence
Le raisonnement par récurrence est un mode de démonstration utilisé pour des propositions
mettant en jeu un entier naturel. Son utilisation (cf. Méthode) est justifiée par la construction
même de l’ensemble N des entiers naturels. En effet, le principe de récurrence utilise une propriété
fondamentale suivante :
2 Principe de récurrence
Voici une formulation possible du principe de récurrence :
A = {n ∈ N, Hn est vraie}.
1
3 Récurrence forte
Il arrive que cet énoncé ne soit pas suffisant pour démontrer une propriété Hn . On considère
alors la propriété auxiliaire Pn définie par
∀k ≤ n, Hk est vraie.
Exemples 6
– ≤ 1 est une relation d’ordre sur N.
Démonstration 7
Réflexivité x = x + 0, avec 0 ∈ N .
Antisymétrie si x ≤ y et y ≤ x, on a l’existence de a et b ∈ N tels que x + a = y et
x = y + b. On a donc x = a + b + x d’où a + b = 0 puis a = b = 0. On en déduit x = y.
Transitivité si x ≤ y et y ≤ z, on a l’existence de a et b ∈ N tels que x + a = y et y + b = z.
On en déduit x + a + b = z, avec a + b ∈ N , d’où x ≤ z.
– < par contre n’en est pas une : elle n’est pas réflexive (1 6< 1).
– / (relation de divisibilité) sur N est une relation d’ordre.
– / (relation de divisibilité) sur Z n’est pas une relation d’ordre car elle n’est pas antisymétrique :
−1/1 et 1/ − 1 mais 1 6= −1.
– Soit E un ensemble. ⊂ est une relation d’ordre sur P(E).
– Considérons l’ensemble R2 , et la relation définie de la façon suivante :
(x, y) (x0 , y 0 ) Ssi x ≤ x0 ou (x = x0 et y ≤ y 0 )
est alors une relation d’ordre (il s’agit d’un ordre lexicographique).
2
Définition 8 (Relation d’ordre totale)
Une relation d’ordre est dite totale si et seulement si
∀(x, y) ∈ E 2 x y ou y x
Une relation d’ordre est totale si on peut comparer tous les éléments de l’ensemble pris deux à
deux.
Un ensemble muni d’une relation d’ordre total est appelé ensemble totalement ordonné.
Exemples 9
– ≤ sur N est une relation d’ordre totale.
– Soit E un ensemble. Nous avons vu que ⊂ est une relation d’ordre sur P(E). Néanmoins, cet
ordre n’est en général pas total. Soit par exemple E = {a, b}. Considérons {a} et {b} deux
parties de E. On n’a ni {a} ⊂ {b} ni {b} ⊂ {a}.