Exercice 3

On considère E ={1, 2, 3, 4, 5, 6, 7, 8, 9}.

On définit la relation binaire R dans E par son graphe
G = { (1,1), (1,2), (1,3), (1,4), (1,5), (1,6), (1,7), (1,8), (1,9), (2,2), (2,3), (2,4), (2,6), (2,8), (2,9), (3,3),
(4,3), (4,4), (4,6), (4,8), (4,9), (5,3), (5,4), (5,5), (5,6), (5,7), (5,8), (5,9), (6,6), (6,8), (6,9), (7,7), (7,8),
(7,9), (8,8), (9,9)}.
1) Montrer que cette relation est une relation d’ordre.
2) E est-il totalement ordonné par cette relation?
3) E est-il un treillis?

Corrigé 3 :

1- Comme pour l’exercice précédent, il suffit de s’assurer des trois propriétés suivantes :
a- Pour tout x dans E, on a (x, x) appartient à G.
b- Pour tout (x, y) de EXE ; si (x, y) appartient à G et (y, x) aussi appartient à G, alors x=y.
c- Pour tout triplet (x, y, z) de E X E X E ; si (x, y) appartient à G et (y, z) appartient à G,
alors (x, z) aussi appartient à G.

2- Est-ce-que pour tout (x, y) de EXE on a forcément l’un des couples (x, y) et (y, x) dans G ?
Remarquons que ni (2, 5) ni (5, 2) n’appartient à G. Donc 2 et 5 sont incomparables. Ainsi E
n’est pas totalement ordonné par cette relation.
On peut dire que cette relation est une relation d’ordre partiel sur E.

3- Pour cette question, il suffit d’étudier l’existence de l’inf et du sup pour tous les binômes
constitués des éléments incomparables.

-- Pour {2, 5} ; on a 6 est un majorant puisque 2R6 et 5R6 et c’est le plus petit des majorants.
Donc c’est le sup du binôme {2, 5}
Remarquons que 1 en est un minorant et c’est le plus grand des minorants ;
donc l’Inf {2, 5} existe et est égal à 1.

-- Pour {2, 7} ; on a : Sup{2, 7} = 8 et Inf{2, 7} = 1.

-- Le binôme {3, 6} n’admet pas de majorants, puisqu’il n’y a aucun élément M différent de 3 tel
que (3, M) appartient à G, et 3 et 6 sont incomparable. Donc le Sup{3, 6} n’existe pas.
E n’est pas un Treillis.

Exercice 4
On définit sur l’ensemble E′ = {1, 2, 3, 4, 5, 6} la relation binaire R, par son graphe
G′ = { (1,1), (1,2), (1,3), (1,4), (1,5), (1,6), (2,2), (2,4), (2,5), (2,6), (3,3), (3,4), (3,6), (4,4), (4,6),
(5,5), (5,6), (6,6)}.
Traiter les mêmes questions de l’exercice précédent.
Corrigé 4 :

1- Cette relation vérifie les propriétés a, b et c citées dans l’exercice 3. Donc c’est une relation
d’ordre.

2- Les éléments 2 et 3 sont incomparables, donc cette relation est d’ordre partiel.

3- Est-ce-que tous les binômes {2, 3} ; {3, 5} et {4, 5} admettent des Sup et des Inf ?
Pour {2, 3} on a Sup {2, 3} =4 et Inf {2, 3} =1.
Pour {3, 5} on a Sup {3, 5} =6 et Inf {3, 5} =1.
Pour {4, 5} on a Sup {4, 5} =6 et Inf {4, 5} =2.