Proposition 1.2 Si Rest une relation d’´equivalence sur Xalors X/R est une partition de X. Si
(Sa)a∈Aest une partition de l’ensemble X, alors il existe une relation d’´equivalence Rsur Xtelle que
X/R = (Sa)a∈A.
preuve Comme x∈[x], X=∪x∈X[x]. Si z∈[x]∩[y], alors, d’apr`es la proposition 1.1, [z] = [x] et
[z]=[y], donc [x] = [y]. Il s’ensuit que X/R est une partition de X.
Si (Sa)a∈Aest une partition de l’ensemble Xet on pose
R={(x, y)∈X2:∃a∈A t.q. (x, y)∈S2
a},
alors Rest une relation d’´equivalence sur Xet X/R = (Sa)a∈A.2
1.2 Ordres
Soient Xun ensemble et Run ordre sur X. Un ´el´ement s∈Xest minimal si xs=⇒x=s. Un
´el´ement t∈Xest maximal si tx=⇒t=x. Un ´el´ement m∈Xest un minimum si mx, pour tout
x∈X; un ´el´ement M∈Xest un maximum si xM, pour tout x∈X.
Si un minimum existe, alors il est unique. Si m1et m2sont des minima, alors m1m2et m2m1,
donc m1=m2. De la mˆeme fa¸con, un maximum est unique.
Un minimum (resp. maximum) est un ´el´ement minimal (resp. maximal). Soit mun minimum. Si
xm, alors nous avons xmet mx, donc x=m. On emploie un argument analogue pour un maximum.
Un ´el´ement minimal (resp. maximal) n’est pas n´ec´essairement un minimum (resp. maximum).
Exemple(s) 1.1 Soit X={{0},{1},{0,1}} et R={(S, T )∈X2:S⊂T}.Rest un ordre. Les
´el´ements {0}et {1}sont des minimaux, mais il n’y a pas de minimum. L’´el´ement {0,1}est un maximum.
Un ordre sur un ensemble Xest total si, pour tous x, y ∈X,xyou yx.
Exemple(s) 1.2 L’ordre usuel sur Z(xysi y−x≥0) est total.
Exemple(s) 1.3 Soit P(X)la collection des parties de l’ensemble X. L’ordre usuel sur P(X)est d´efini
par STsi S⊂T. Cet ordre est total si X=∅ou Xest compos´e d’un seul ´el´ement. Autrement l’ordre
n’est pas total. Si x1, x2∈Xet x16=x2, alors {x1} 6⊂ {x2}et {x2} 6⊂ {x1}.
Si Xest un ensemble muni d’une relation Ret X0⊂X, alors Rinduit une relation R0sur X0:
R0={(x, y)∈X02: (x, y)∈R}.
Si Rest une relation d’´equivalence (resp. ordre), alors R0est une relation d’´equivalence (resp. ordre). Si
Rest un ordre sur X, alors Xest bien ordonn´e par Rsi, pour chaque partie X0⊂Xnon vide, l’ordre
induit R0admet un minimum.
Exemple(s) 1.4 Zn’est par bien ordonn´e par l’ordre usuel, car Zlui-mˆeme n’admet pas de minimum.
Th´eor`eme 1.1 Nest bien ordonn´e par l’ordre usuel.
preuve Soit B⊂Nnon vide et supposons que Bn’admette pas de minimum. Posons A={n∈N:∀b∈
B, n < b}.Aest une partie de N\B. Nous allons d´emontrer par r´ecurrence que A=N.
Si 0 /∈A, alors il existe b∈Btel que 0 ≥b. Comme b∈N, 0 ≤b, donc b= 0 et 0 ∈B. Ainsi B
admet un minimum, une contradiction. Il s’ensuit que 0 ∈A.
Supposons que n∈A. Alors n+ 1 ≤b, pour tout b∈B. Si n+ 1 = b0, pour un certain b0∈B, alors
b0est un minimum de B, une contradiction. Donc n+ 1 ∈A. Par r´ecurrence A=N.
Or
A⊂N\B=⇒B⊂N\A=∅,
une contradiction. Il s’ensuit que Nest bien ordonn´e par l’ordre usuel. 2
4