Devoir maison 5
Exercice 1 :
Soient une relation définie sur par :
1°) Montrer que est une relation d’équivalence.
2°) soit , avec , décrire la classe d’équivalence de .
Correction
1°) donc , est réflexive.
donc est symétrique.
Si et alors alors car
Donc , on multiplie par et on simplifie par , on a alors , c’est-à-dire
, donc est transitive.
est une relation d’équivalence.
2°) Si , donc divise et d’après le théorème de Gauss divise , il
existe tel que , cela que l’on remplace dans , ce qui donne , donc
, l’ensemble des couples de sont les couples de la forme .
Exercice 2 :
Soit un ensemble.
On pose
On définit dans l'ensemble des parties de , la relation , en posant, pour tout couple de parties de
:
est un ensemble fini ayant un nombre fini pair d’élément.
Montrer que est une relation d'équivalence dans .
Correction
a zéro élément. Donc on a . est réflexive.
Si , est un ensemble fini qui a un nombre pair d’éléments.
Alors est un ensemble fini qui a un nombre pair
d’éléments. Donc est réflexive.
Si et alors est un ensemble fini qui a un nombre pair d’éléments et
est un ensemble fini qui a un nombre pair d’éléments.
Comme ,
Donc et
Donc
C’est un nombre fini et pair donc , est transitive.
Finalement est une relation d’équivalence.
Exercice 3 :
Soit , la relation définie sur par :
1°) Montrer que est une relation d'équivalence.
2°) Déterminer la classe d'équivalence de pour tout réel .
3°) Déterminer l'ensemble quotient.
Correction
1°) donc
est réflexive.
Si alors alors alors donc est symétrique.
Si et alors et , en additionnant ces deux égalités on trouve
. est transitive.
Finalement est une relation d’équivalence.
2°) soit si c’est-à-dire si autrement dit si est solution
de l’équation du second degré , évidemment est solution, le produit des solutions est
donc l’autre solution est . Donc sauf si alors .
3°) L’ensemble quotient est l’ensemble des classes d’équivalence :
On est obligé de considérer (ou car pour , donc si on considère , on écrirait
deux fois chaque classe.
Exercice 4 :
Soit la relation définie sur par :
Montrer que est une relation d’ordre total.
Correction
Première méthode
donc , est réflexive.
Si et alors et donc
car et entraine en particulier . Donc est antisymétrique.
Si et alors et donc , d’où . est transitive.
Finalement est une relation d’ordre.
Soit et alors , soit et alors , il s’agit d’une relation d’ordre total.
Deuxième méthode
Soit définie par , donc est décroissante sur
Donc , est une relation d’ordre total donc est une relation d’ordre total.
