Problème 1

Soit X un ensemble, on note B l’ensemble des relations binaires sur X, E l’ensemble des relations
d’équivalence sur X, et O l’ensemble des relations d’ordre sur X.
Pour R ∈ B on note GR le graphe de R.
Sur B on définit la relation ≤ par : R ≤ R ′  ∀x, y ∈ X xRy  xR ′ y 

Partie I
1) Montrer que ∀R, R ′ ∈ B R ≤ R ′  GR ⊂ GR ′ 
2) Montrer que ≤ est une relation d’ordre sur B.
3) Montrer que B possède pour cette relation un plus petit et un plus grand élément.
4) Soit un ensemble de relations R i / i ∈ I ⊂ B, montrer que cet ensemble possède, dans B, une
borne supérieure notée sup B R i  et une borne inférieure notée inf B R i , pour la relation ≤. On donnera
i∈I i∈I
Gsup B R i  et Ginf B R i .
i∈I i∈I

Partie II
On étudie maintenant la relation ≤ sur E.
1) Montrer que E possède un plus petit élément et un plus grand élément pour ≤.
2) Soit un ensemble de relations d’équivalence R j / j ∈ J ⊂ E, montrer que inf B R j  est une
j∈J
relation d’équivalence, qui est la borne inférieure de cet ensemble dans E.
3) Montrer que sup B R j  est une relation réflexive et symétrique.
j∈J
4) On pose R sup B R j  et on définit S par :
j∈J
xSy  ∃q ≥ 1 et x  x 1 , x 2 , . . . , x q , x q1  y tq ∀i  1, . . . , q x i Rx i1 .
Montrer que S est une relation d’équivalence et que S est la borne supérieure de l’ensemble R j /
j ∈ J dans E.

Partie III
On étudie enfin la relation ≤ sur O.
1) Soit un ensemble de relations d’ordre R k / k ∈ K ⊂ O, montrer que inf B R k  est une relation
k∈K
d’ordre qui est la borne inférieure de cet ensemble dans O.
2) Soit R ∈ O, on définit R ∗ par : xR ∗ y  yRx, montrer que R ∗ ∈ O, et trouver une C. N. S sur R pour
que R, R ∗  admette une borne supérieure dans O.
3) Montrer que si T est une relation d’ordre total sur X, alors T est maximal dans O pour ≤ ( càd :
∀S ∈ O T ≤ S  T  S )
P≤S
4) Soit P une relation d’ordre partiel sur X, construire S ∈ O telle que .
P≠S
5) On suppose que X contient deux éléments a et b a ≠ b.
Soient S 1 et S 2 les relations définies par :
(i) xS 1 y  x  y ou x  a
(ii) xS 2 y  x  y ou y  b
À t’on S 1 , S 2 ∈ O ? si oui, étudier S 1 , S 2  dans O.