Il en résulte en particulier que (x,y)=(x0,y0). Ce qui contredit notre supposition d’absurde et
confirme que Rest antisymétrique.
Transitivité : Soient (x,y),(x0,y0),(x00,y00)∈Etels que (x,y)R(x0,y0) et (x0,y0)R(x00,y00) et mon-
trons que (x,y)R(x00,y00). On distingue les 3 cas suivants :
1er cas : ¡si (x,y)=(x0,y0)¢.
Dans ce cas, on a bien (x,y)R(x00,y00) puisque (x,y)=(x0,y0) et (x0,y0)R(x00,y00).
2ème cas : ¡si (x0,y0)=(x00,y00)¢.
Dans ce cas, on a bien (x,y)R(x00,y00) puisque (x,y)R(x0,y0) et (x0,y0)=(x00,y00).
3ème cas : ¡si (x,y)6= (x0,y0) et (x0,y0)6= (x00,y00)¢.
Dans ce cas, puisque (x,y)R(x0,y0) et (x0,y0)R(x00,y00), on a (par définition même de R) :
y≤x0et y0≤x00.
Il s’ensuit (puisque (x0,y0)∈E) que :
y≤x0≤y0≤x00.
D’où :
y≤x00.
Ce qui entraîne que (x,y)R(x00,y00).
Dans tous les cas, on a (x,y)R(x00,y00). La relation Rest donc transitive.
Conclusion : La relation Rest une relation d’ordre.
— L’ordre défini par Rest partiel car par exemple les deux couples (0,2) et (1,3) de Esont incom-
parable par R; c’est à dire que (0,2)
R(1,3) et (1,3)
R(0,2).
2. Soit A={(2,3),(2,5),(−1,−1)}
(a) Déterminer l’ensemble M de tous les majorants de Aet l’ensemble m de tous les minorants
de A.
Un couple (x,y) de Eest un majorant de Asi et seulement si : ∀(a,b)∈A: (a,b)R(x,y) ; c’est à
dire, si et seulement si :
(2,3) R(x,y) , (2,5) R(x,y) et (−1,−1) R(x,y).
Ce qui équivaut à :
3≤x, 5 ≤xet −1≤x.
Ce qui équivaut encore à :
x≥5.
D’où :
M=©(x,y)∈E:x≥5ª=©(x,y)∈R2: 5 ≤x≤yª.
— De même, un couple (x,y) de Eest un minorant de Asi et seulement si : ∀(a,b)∈A: (x,y)R(a,b) ;
c’est à dire, si et seulement si :
(x,y)R(2,3) , (x,y)R(2, 5) et (x,y)R(−1,−1).
Ce qui équivaut à :
y≤2 et y≤ −1.
Ce qui équivaut encore à :
y≤ −1.
D’où :
m=©(x,y)∈E:y≤ −1ª=©(x,y)∈R2:x≤y≤ −1ª.
3