2. RELATIONS D’ ´
EQUIVALENCES 51
Th´eor`eme 1.5 - Principe de r´
ecurrence (faible) - Supposons qu’une propri´et´e Hn
(d´ependant de n∈N) v´erifie :
(1) - il existe n0∈Ntel que Hn0est vraie,
(2) - pour tout n∈Ntel que n≥n0, on a Hn=⇒ Hn+1.
Alors la propri´et´e Hnest vraie pour tout entier naturel n≥n0.
Preuve - Soit P={k∈N/Hn0+kest vraie}. On a P⊂Net 0 ∈P(d’apr`es (1)).
Par ailleurs, si k∈P, l’entier n=n0+kv´erifie n≥n0et Hnest vraie. Il r´esulte
de (2) que Hn+1 est vraie ´egalement, c’est-`a-dire (puisque (n0+k) + 1 = n0+ (k+ 1)),
k+ 1 ∈P.
Finalement l’axiome d’induction permet d’affirmer que P=N, et donc que Hnest
vraie pour tout n≥n0(puisque n≥n0si et seulement si n=n0+kavec k∈N). 2
Remarques - Dans un raisonnement par r´ecurrence, la propri´et´e Hnest appel´ee l’hypoth`ese
de r´ecurrence, la preuve de (1) est appel´ee l’initialisation du raisonnement et on traduit
la propri´et´e (2) en disant que Hnest h´er´editaire.
On d´eduit de ce th´eor`eme les trois corollaires suivants (d´emontr´es en TD).
Corollaire 1.6 - Principe de r´
ecurrence (forte) - Supposons qu’une propri´et´e Hn
(d´ependant de n∈N) v´erifie :
(1) - il existe n0∈Ntel que Hn0est vraie,
(2) - pour tout n∈Ntel que n≥n0, on a (Hn0∧ ··· ∧ Hn) =⇒ Hn+1.
Alors la propri´et´e Hnest vraie pour tout entier naturel n≥n0.
Corollaire 1.7 - Principe de r´
ecurrence (`
a deux termes) - Supposons qu’une
propri´et´e Hn(d´ependant de n∈N) v´erifie :
(1) - il existe n0∈Ntel que Hn0et Hn0+1 sont vraies,
(2) - pour tout n∈Ntel que n≥n0+ 1, on a (Hn−1∧ Hn) =⇒ Hn+1.
Alors la propri´et´e Hnest vraie pour tout entier naturel n≥n0.
Corollaire 1.8 - Principe de r´
ecurrence (finie) - Supposons qu’une propri´et´e Hn
(d´ependant de n∈N) v´erifie :
(1) - il existe n0∈Ntel que Hn0est vraie,
(2) - il existe un entier N > n0tel que : ∀n∈ {n0, . . . , N −1},Hn=⇒ Hn+1.
Alors la propri´et´e Hnest vraie pour tout entier naturel n∈ {n0, . . . , N}.
2 Relations d’´equivalences
2.1 D´efinition
D´efinitions - a) Un ensemble E´etant donn´e, une relation binaire Rsur E×Eest
appel´ee une relation d’´equivalence si et seulement si elle est
r´eflexive : ∀x∈E, xRx,
sym´etrique : ∀x∈E, ∀y∈E, xRy=⇒yRx,
transitive : ∀x∈E, ∀y∈E, ∀z∈E, (xRy)∧(yRz) =⇒(xRz).
b) Soient Rune relation d’´equivalence sur un ensemble Eet x∈E. On appelle classe
d’´equivalence de xsuivant Rl’ensemble CR(x) = {y∈E / xRy}.