Relation dquivalence, relation dordre

Z  ZZ  Z    Z Z  Z Z

Exo7

Relation dquivalence

Exercice 1 Dans C on dnit la relation R par : zRz |z| = |z |. 1. Montrer que R est une relation dquivalence. 2. Dterminer la classe dquivalence de chaque z C.
Indication Correction Vido
[000209]

Exercice 2 Montrer que la relation R dnie sur R par :

xRy xey = yex

[000212]

est une relation dquivalence. Prciser, pour x x dans R, le nombre dlments de la classe de x modulo R. Indication Correction Vido

Relation dordre
par

Exercice 3 Soit (E, ) un ensemble ordonn. On dnit sur P(E) \ {0} la relation / X Vrier que cest une relation dordre. Correction Vido Y ssi

(X = Y ou x X y Y x y).
[000217]

Retrouver cette che et dautres exercices de maths sur exo7.emath.fr

Indication pour lexercice 1 Un dessin permettra davoir une bonne ide de ce qui se passe...

Indication pour lexercice 2 1. Pour la transitivit on pourra calculer xyez . 2. Poser la fonction t
t et ,

aprs une tude de fonction on calculera le nombre dantcdents possibles.

Correction de lexercice 1 1. Soient z, z , z des complexes quelconques. Reexivit : zRz car |z| = |z|. Symtrie : zRz z Rz car |z| = |z | et donc |z | = |z|. Transitivit : zRz et z Rz alors |z| = |z | = |z | donc zRz . En fait, nous avons juste retranscrit que lgalit = est une relation dquivalence. 2. La classe dquivalence dun point z C est lensemble des complexes qui sont en relation avec z, i.e. lensemble des complexes dont le module est gal |z|. Gomtriquement la classe dquivalence de z est le cerlce C de centre 0 et de rayon |z| : C = |z|ei / R .

Correction de lexercice 2 1. Reexivit : Pour tout x R, xex = xex donc xRx. Symtrie : Pour x, y R, si xRy alors xey = yex donc yex = xey donc yRx. Transitivit : Soient x, y, z R tels que xRy et yRz, alors xey = yex et yez = zey . Calculons xyez : xyez = x(yez ) = x(zey ) = z(xey ) = z(yex ) = yzex . Donc xyez = yzex . Si y = 0 alors en divisant par y on vient de montrer que xez = zex donc xRz et cest ni. Pour le cas y = 0 alors x = 0 et z = 0 donc xRz galement. 2. Soit x R x. On note C (x) la classe dquivalence de x modulo R : C (x) := {y R | yRx} . Donc C (x) = {y R | xey = yex } . Soit la fonction f : R R dnie par f (t) = Alors C (x) = {y R | f (x) = f (y)} . Autrement dit C (x) est lensemble des y R qui par f prennent la mme valeur que f (x) ; en raccourci : C (x) = f 1 ( f (x)) . tudions maintenant la fonction f an de dterminer le nombre dantcdents : par un calcul de f on montrer que f est strictement croissante sur ] , 1] puis strictement dcroissante sur [1, +[. De plus en la limite de f est , f (1) = 1 , et e la limite en + est 0. Cest le moment de dessiner le graphe de f ! ! Pour x > 0 alors f (x) ]0, 1 ] et alors f (x) a deux antcdents. Pour x 0 alors f (x) ] , 0] et alors f (x) a un seul antcdent. e Bilan : si x > 0 alors Card C (x) = Card f 1 ( f (x)) = 2, si x 0 alors Card C (x) = Card f 1 ( f (x)) = 1. t . et

Correction de lexercice 3 Reexivit : pour tout X P(E) on a X X car X = X. Anti-symtrie : pour X,Y P(E) tels que X Y et Y X, alors par dnition de x X Comme la relation est une relation dordre alors x y Y x y et y x.

on a

y et y x X

x implique x = y. Donc y Y x = y, Z. Supposons que X = Y et

ce qui implique que X = Y (dans ce cas en fait X est vide ou un singleton). Transitivit : soit X,Y, Z P(E) tels que X Y et Y Z. Si X = Y ou Y = Z alors il est clair que X Y = Z alors x X y Y x y et y Y z Z y z. Donc on a x X alors par transitivit de la relation on obtient : x X Donc X Z. z Z x z. y Y z Z x y et y z,