CPGE Tétouan :MPSI2 TD 03 : Relations binaires
EX 1 Exemples de relations binaires
On définit les relations binaires suivantessur l’ensemble E
indiqué :
— E = C, ∀(z, z 0 ) ∈ C2 , z<1 z 0 ⇐⇒ |z| 6 |z 0 | .
— E = C, ∀(z, z 0 ) ∈ C2 , z<2 z 0 ⇐⇒ |z| = |z 0 | .
— E = N, ∀(a, b) ∈ N2 , a<3 b ⇐⇒ a divise b .
1- Vérifier que la relation <1 est reflexive, transitive, mais
n’est ni symétrique, ni antisymétrique.
2- Vérifier que la relation <2 est d’équivalence et la
relation <3 est d’ordre.
EX 2 Exemples de relations d’ordre sur R2
On définit sur R × R les relations binaires suivantes

2
Pour tout ((x, y), (x 0 , y 0 )) ∈ R2
— (x, y)K(x 0 , y 0 ) ⇐⇒ (x ≤ x 0 et y ≤ y 0 )
— (x, y)L(x 0 , y 0 ) ⇐⇒ [x < x 0 ou (x = x 0 et y ≤ y 0 )]
1- Vérifier que chacune des relations K et L est d’ordre.
Elles sont partielles ou totales ?(Justifications !)
Définition : L se dit l’ordre lexicographique usuel de R2 .
2 (x1 = y1 et . . . et xn−1 = yn−1 et xn = yn ) .
2- Pour chaque  élément2 (a, b) de R , on pose :
ϕK (a, b) = (x, y) ∈ R / (x, y)K(a, b) ,
”l’ensemble des éléments plus petits que (a, b) pour
la relation K”

ψK (a, b) = (x, y) ∈ R2 /(x, y)K(a, b) ou (a, b)K(x, y)
”l’ensemble des éléments comparables à (a, b) par K”.
On définit de manière analogue des parties ϕL (a, b)
et ϕL (a, b) de R2 .
Selon votre choix de (a, b), représenter dans un plan
cartésien les parties ϕK (a, b), ψK (a, b), ϕL (a, b),
ψL (a, b).
 Soit R une relation d’ordre sur un ensemble E. Soit A une
3- Soit la partie A = (x, y) ∈ R2 / x 6 3 de R2 .
Relativement à chaque relation K ou L, cette partie
est-elle majorée, minorée ? Admet-elle un plus petit
élément ou un plus grand élément ?
EX 3 Exemples de relations d’équivalence
On définit sur l’ensemble E indiqué les relations binaires :
— E = C et "zAz 0 ⇐⇒ Im(z − z 0 ) = 0 ".
— On fixe n ∈ N∗ . E = Z et " xBy ⇐⇒ n divise x − y" .
1- Vérifier que les relations A et B sont d’équivalence.
2- Déterminer et représenter géométriquement pour tout
a dans C, la classe d’équivalence de a relativement à
la relation A.
3- Interpréter géomtériquement le fait que les classes
d’équivalence de A forme une partition de C.
4- Déterminer pour tout a dans Z, la classe d’équivalence
de a relativement à la relation B. Combient y-il de
classes d’équivalence pour la relation B ?
EX 4 Caeactéristique de l’ensemble des classes d’équivalence
1- Soit R une relation d’équivalence sur un ensemble E.
Soit U un ensemble de représentants des classes pour
cette relation. Autrement dit, U est une partie de E
telle que ∀x ∈ E, ∃!u ∈ U : x ∈ u. Vérifier que la
famille (u)u∈U forme une partition de E.
2- Soit (Ci )i∈I une famille qui forme une partition d’un
ensemble E.
Définir sur E une relation d’équivalence telle que
1
18/09/2019
{Ci /i ∈ I} soit l’ensemble de toutes les classe de cette
relation sur E.
3- Vérifier que la famille F = ([n, n + 1[)n∈Z forme
une parttion de R et définir sur R une relation
d’équivalence dont les classes sont de la forme [n, n+1[,
où n ∈ Z. Redéfinir cette relation en utilisant une fonc-
tion numérique usuelle.
EX 5 L’ordre lexicographique d’une relation d’ordre
On considère un ensemble E muni d’une relation d’ordre R
et on pose pour tout (x, y) ∈ E, xRs y ⇔ xRy et x 6= y.
On fixe n ∈ N∗ . Sur l’ensemble En , on définit la relation L :
Pour tout ((x1 , . . . , xn ), (y1 , . . . , yn )) ∈ E2 ,
1 , . . . , xn )L(y1 , . . . , yn ) signifie que :
(x
 x1 Rs y1 ou



 (x1 = y1 et x2 Rs y2 ) ou



 (x1 = y1 et x2 = y2 et x3 Rs y3 ) ou
......



 ......



 (x1 = y1 et . . . et xn−1 = yn−1 et xn Rs yn ) ou

1- Vérifier que L est une relation d’ordre sur En .
2- Soit (x, y) = ((x1 , . . . , xn ), (y1 , . . . , yn )) ∈ E2 . Lorsque
x 6= y, on pose p(x, y) = Min {k ∈ J1, nK/xk 6= yk }.
Montrer que pour tout (x, y) ∈ E2 , on a :
xLy ⇐⇒ x = y ou x 6= y et xp(x,y) Rs xp(x,y) .



3- Vérifier que L est totale si et seulement si R est totale.
Définition : L s’appelle l’ordre lexicographique sur En de la
relation d’ordre R.
EX 6 Minimum/Elément minimal&Maximum/Elément maximal
partie de E et a un élément de E.
Définition(Rappel) :
(ii) a est dit un minimum(ou plus petit élément) de A si
(a ∈ A et ∀x ∈ A, aRx).
(ii) a est dit un élément minimal de A si
(a ∈ A et ∀x ∈ A, xRa ⇒ x = a).
(iii) a est dit un maximum(ou plus grand élément) de A si
(a ∈ A et ∀x ∈ A, xRa).
(iv) a est dit un élément maximal de A si
(a ∈ A et ∀x ∈ A, aRx ⇒ x = a).
1- Vérifier que si a un minimum de A, alors a est unique.
Idem pour ”maximum”.
2- Vérifier que si a est un minimum de A, alors a est
un élément minimal de A. Idem pour ”maximum et
élément maximal”.
3- Donner un exemple où on peut avoir plus d’un élément
minimal. Idem pour ”élément maximal”.
4- Montrer que si la relation d’ordre R est totale, alors les
deux notions (i) et (ii) sont équivalentes. Idem pour
les deux notions (iii) et (iv).
5- Considérons R la relation de division sur E = N :
∀(x, y) ∈ N2 : xRy ⇔ x/y, où on rappelle que x/y
signifie : ∃k ∈ N : y = kx.
a) Vérifier que A = N admet son minimum et son
maximum.
b) A = J2, +∞J admet-il son minimum ou son maxi-
mum ? Admet-il d’éléments minimals ou d’éléments
maximals ?