c) transitive : Soient x, y et z dans tel que :
x y c.à.d. k tel que 2x+y=3k 0.5
et y z c.à.d. k1 tel que 2y+z=3k1 0.5
(2x + y) + (2y + z)= 2x+ 3y +z = 3(k + k1) 0.5
D’où 2x + z = 3k2 avec k2 , 0.5
soit x z.
2)
A= cl(0) = {y dans / 0 y} = {y = 3k, k dans } 0.5
En effet : 2(0) + y = 3k y = 3k
ou A=cl(0)={y dans / y 0}={ y = 3p, p dans }
En effet dans ce cas : y=(3/2)k avec k=2p
B = cl(1) = {y dans / 1 y} = { y = 3k+1, k dans } 0.5
En effet : 2(1)+y = 3k y = 3k – 2 y = 3(k-1) + 1
ou B=cl(1)= )={y dans / y 1}={ y = 3p+1, p dans }
En effet : y=(3k-1)/2=(3(k-1)+2)/2 avec k = 2p+1
C = cl(2) = {y dans / 2 y} = { y = 3k+2, k dans } 0.5
En effet : 2(2)+y = 3k y = 3k – 4 y = 3(k-2) + 2
ou C=cl(2)= )={y dans / y 2}={ y = 3p+2, p dans }
En effet : y=(3k-2)/2=(3(k-2)+4)/2 avec k = 2p+2
EXERCICE 4 : On définit sur une relation par :
pour tout x, y dans , x y si et seulement si, il existe p, q de * tel que y=p.
1- Vérifier que est une relation d’ordre.
2- Peut-on classer par ordre croissant (ou décroissant) tous les éléments de ?
Justifier.
3- Soit A une partie de majorée par 10. Trouvez deux autres majorants de A.
5.5 Points
1) a) réflexive : si p = q = 1 alors x = x d’où : x x 0.5
b) antisymétrique : Supposons que pour certains p, q, p’, q’
dans * on a : y=p et =p’. 0.5
1ère Méthode (classique) : On a =p’ = p’. Ceci nous
conduit à résoudre le système: p’=1 et =1. Comme p, p’,
q et q’ sont des entiers naturels alors p= p’= q= q’ = 1.
D’où x=y. 0.5