1.3. RELATIONS D’ORDRE 3
Soit n∈Z, alors ¯n={m∈Z| ∃k∈Z, m −n=kp}. Il est bien clair, par l’existence de
la division euclidienne dans Z, que chaque classe admet un unique repr´esentant dans l’intervalle
{0, .., p −1}. Ce qui signifie que le quotient Z/≡est en bijection avec {0, .., p −1}. La bijection
inverse ´etant : ∀n, 0≤n<p, ¯n→n.
Remarquons que le quotient sera ici not´e plus volontiers Z/pZet nous verrons plus loin
qu’il poss`ede une structure d’anneau, et mˆeme, si pest premier, de corps.
3) Autres exemples : (R,xRy ssi x−y= 2kπ), soit f:A→Bet xRy ssi f(x) = f(y),
. . . .
1.3 Relations d’ordre
1.3.1 D´efinitions
D´efinition 1.3.1 Une relation d’ordre sur un ensemble Eest une relation binaire r´eflexive,
antisym´etrique et transitive.
Au lieu de noter xRy, on notera en g´en´eral x < y et on dira que xest inf´erieur `a y. Mais
attention, la relation x<ysur Rn’ est pas une relation d’ordre puisqu’elle n’est ni r´eflexive,
ni antisym´etrique ; cependant la relation ≤, toujours sur Rest bien une relation d’ordre.
Exemples :
*N∗avec la relation de division a|b.
*E´etant un ensemble et P(E) ´etant l’ensemble des parties de E, la relation d’inclusion
⊆est une relation d’ordre sur P(E).
D´efinition 1.3.2 Soit (E, <)un ensemble ordonn´e. On dit que Eest totalement ordonn´e si
deux ´el´ements quelconques xet yde Esont comparables par <, i.e. ∀(x, y)∈E×E, x < y ou
y < x.
S’il existe au moins deux ´el´ements non comparables, on dit que Eest partiellement or-
donn´e.
Exercice : Dans les exemples pr´ec´edents, lesquels d´efinissent un ordre total ?
D´efinition 1.3.3 Soit (E, <)un ensemble ordonn´e et Fun sous-ensemble de E. On dit que
a∈Eest un majorant (resp. minorant) de Fsi, (∀x∈F), x < a (resp. a < x). On dira alors
que Fest major´e (resp. minor´e).
Si, dans E, existe un ´el´ement atel que (∀x∈E), x < a (resp. a < x), il est unique et appel´e le
plus grand (resp. le plus petit) ´el´ement de E.
Exercice : D´efinir les notions de borne sup´erieure (inf´erieure) d’un sous-ensemble major´e (minor´e)
de E.
Si, dans E, existe un ´el´ement atel que (x∈Eet a < x)⇒a=x, (resp. x∈Eet a > x ⇒a=
x), on dit que aest un ´el´ement maximal (resp. minimal) de E.
Remarques : Si Eadmet un plus grand ´el´ement a, alors aest maximal, et c’est bien sˆur le seul.
La r´eciproque est cependant fausse (voir exercices).
D´efinition 1.3.4 Un ensemble Eest dit inductivement ordonn´e si tout sous-ensemble totale-
ment ordonn´e admet un majorant.