Fic 00004

Z
ZZ
Exo7
Z

Z
Z
Z
Relation d’équivalence, relation d’ordre
Z
1 Relation d’équivalence
Exercice 1
Dans C on définit la relation R par :
zRz0 ⇔ |z| = |z0 |.
1. Montrer que R est une relation d’équivalence.
2. Déterminer la classe d’équivalence de chaque z ∈ C.
Indication H Correction H [000209]
Exercice 2
Montrer que la relation R définie sur R par :
xRy ⇐⇒ xey = yex
est une relation d’équivalence. Préciser, pour x fixé dans R, le nombre d’éléments de la classe de x modulo R.
Indication H Correction H [000212]
2 Relation d’ordre
Exercice 3
Soit (E, ≤) un ensemble ordonné. On définit sur P(E) \ {0}
/ la relation ≺ par
X ≺Y ssi (X = Y ou ∀x ∈ X ∀y ∈ Y x ≤ y).
Vérifier que c’est une relation d’ordre.

Correction H [000217]
Retrouver cette fiche et d’autres exercices de maths sur exo7.emath.fr
1
Indication pour l’exercice 1 N
Un dessin permettra d’avoir une bonne idée de ce qui se passe...
Indication pour l’exercice 2 N

1. Pour la transitivité on pourra calculer xyez .
2. Poser la fonction t 7→ ett , après une étude de fonction on calculera le nombre d’antécédents possibles.
2
Correction de l’exercice 1 N
1. Soient z, z0 , z00 des complexes quelconques.
• Reflexivité : zRz car |z| = |z|.
• Symétrie : zRz0 ⇒ z0 Rz car |z| = |z0 | et donc |z0 | = |z|.
• Transitivité : zRz0 et z0 Rz00 alors |z| = |z0 | = |z00 | donc zRz00 .
En fait, nous avons juste retranscrit que l’égalité “=” est une relation d’équivalence.
2. La classe d’équivalence d’un point z ∈ C est l’ensemble des complexes qui sont en relation avec z, i.e.
l’ensemble des complexes dont le module est égal à |z|. Géométriquement la classe d’équivalence de z
est le cerlce C de centre 0 et de rayon |z| :
n o
C = |z|eiθ / θ ∈ R .
1. – Reflexivité : Pour tout x ∈ R, xex = xex donc xRx.
– Symétrie : 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 6= 0 alors en divisant par y on vient de montrer que xez = zex donc xRz et c’est
fini. Pour le cas y = 0 alors x = 0 et z = 0 donc xRz également.
2. Soit x ∈ R fixé. On note C (x) la classe d’équivalence de x modulo R :
C (x) := {y ∈ R | yRx} .
Donc
C (x) = {y ∈ R | xey = yex } .
Soit la fonction f : R → R définie par
t
f (t) = .
et
Alors
C (x) = {y ∈ R | f (x) = f (y)} .
Autrement dit C (x) est l’ensemble des y ∈ R qui par f prennent la même valeur que f (x) ; en raccourci :
C (x) = f −1 ( f (x)) .
Étudions maintenant la fonction f afin de déterminer le nombre d’antécédents : par un calcul de f 0 on

montrer que f est strictement croissante sur ] − ∞, 1] puis strictement décroissante sur [1, +∞[. De plus
en −∞ la limite de f est −∞, f (1) = 1e , et la limite en +∞ est 0.
C’est le moment de dessiner le graphe de f ! !
Pour x > 0 alors f (x) ∈]0, 1e ] et alors f (x) a deux antécédents. Pour x 6 0 alors f (x) ∈] − ∞, 0] et alors
f (x) a un seul antécédent.
Bilan : si x > 0 alors Card C (x) = Card f −1 ( f (x)) = 2, si x 6 0 alors Card C (x) = Card f −1 ( f (x)) = 1.
– Reflexivité : pour tout X ∈ P(E) on a X ≺ X car X = X.
– Anti-symétrie : pour X,Y ∈ P(E) tels que X ≺ Y et Y ≺ X, alors par définition de ≺ on a
∀x ∈ X ∀y ∈ Y x 6 y et y 6 x.
Comme la relation ≤ est une relation d’ordre alors x 6 y et y 6 x implique x = y. Donc
∀x ∈ X ∀y ∈ Y x = y,
ce qui implique que X = Y (dans ce cas en fait X est vide ou un singleton).
3
– 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 ≺ Z.
Supposons que X 6= Y et Y 6= Z alors
∀x ∈ X ∀y ∈ Y x6y et ∀y ∈ Y ∀z ∈ Z y 6 z.
Donc on a
∀x ∈ X ∀y ∈ Y ∀z ∈ Z x 6 y et y 6 z,
alors par transitivité de la relation ≤ on obtient :
∀x ∈ X ∀z ∈ Z x 6 z.
Donc X ≺ Z.

Fic 00004

Transféré par

Droits d'auteur :

Formats disponibles

Fic 00004

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Fic 00004

Transféré par

Droits d'auteur :

Formats disponibles

Z

xRy ⇐⇒ xey = yex

Vérifier que c’est une relation d’ordre.

Retrouver cette fiche et d’autres exercices de maths sur exo7.emath.fr

Indication pour l’exercice 2 N

Étudions maintenant la fonction f afin de déterminer le nombre d’antécédents : par un calcul de f 0 on

Vous aimerez peut-être aussi