Laurentvidal.fr vous aide à trouver des réponses précises à toutes vos questions grâce à une communauté d'experts chevronnés. Découvrez des réponses fiables à vos questions grâce à une communauté d'experts prêts à partager leurs connaissances et expériences variées. Rejoignez notre plateforme pour obtenir des réponses fiables à vos interrogations grâce à une vaste communauté d'experts.

Soit R une relation définie sur R par: Ry x²- y² = x - y.
(a) Montrer que R est une relation d'équivalence.​

Sagot :

Aliop

Réponse :

Il faut montrer que la relation est  réflexive, symétrique et transitive.

On a xRx <=> [tex]x^{2}[/tex]-[tex]x^{2}[/tex]=x-x ; la relation est réflexive

On a  [tex]x^{2}[/tex]-[tex]y^{2}[/tex]=x-y donc [tex]y^{2}[/tex]-[tex]x^{2}[/tex]=y-x

<=> xRy=>yRx ; la relation est symétrique

On a  xRy <=>  [tex]x^{2} -y^{2}[/tex]=x-y

et yRz <=> [tex]y^{2}-z^{2}[/tex]=y-z

donc xRz<=> [tex]x^{2} -z^{2}=x-z[/tex] ; la relation est transitive

La relation est réflexive, symétrique et transitive, c'est donc une relation d'équivalence.

Bonjour,

Réponse :

Pour montrer que [tex]R[/tex] définie par [tex]x \sim y \iff x^2 -y^2 = x - y[/tex] est une relation d'équivalence sur [tex]\mathbb{R}[/tex], il faut démontrer qu'elle est réflexive, symétrique et transitive.

Réflexivité

▪ Une relation [tex]R[/tex] est réflexive si [tex]x \sim x[/tex] pour tout [tex]x \in \mathbb{R}[/tex].

Pour [tex]x \in \mathbb{R}[/tex] :

[tex]x^2 - x^2 = x - x\\\\0 = 0[/tex]

Ce qui est vrai. Donc, [tex]x \sim x[/tex].

→ Donc [tex]R[/tex] est réflexive.

Symétrie

▪ Une relation [tex]R[/tex] est symétrique si [tex]x \sim y[/tex] implique [tex]y \sim x[/tex].

Supposons [tex]x \sim y[/tex], c'est-à-dire :

[tex]x^2 - y^2 = x - y[/tex]

On doit montrer que [tex]y \sim x[/tex], c'est-à-dire :

[tex]y^2 - x^2 = y - x[/tex]

Remarquons que :

[tex]x^2 - y^2 = x - y\\\\ -(y^2 - x^2) = -(y - x)\\\\y^2 - x^2 = y - x[/tex]

Donc, [tex]y \sim x[/tex].

→ Donc, [tex]R[/tex] est symétrique.

Transitivité

▪ Une relation [tex]R[/tex] est transitive si [tex]x \sim y[/tex] et [tex]y \sim z[/tex] impliquent [tex]x \sim z[/tex].

Supposons [tex]x \sim y[/tex] et [tex]y \sim z[/tex]. Cela signifie :

[tex]x^2 - y^2 = x - y\\\\y^2 - z^2 = y - z[/tex]

On veut montrer que [tex]x \sim z[/tex], c'est-à-dire :

[tex]x^2 - z^2 = x - y[/tex]

Ajoutons les deux équations :

[tex](x^2 - y^2) + (y^2 - z^2) = (x - y) + (y - z)\\\\x^2 - z^2 = x - z[/tex]

Donc, [tex]x \sim z[/tex].

→  Donc, [tex]R[/tex] est transitive.

Conclusion :

Puisque [tex]R[/tex] est réflexive, symétrique et transitive, [tex]R[/tex] est une relation d'équivalence sur [tex]\mathbb{R}[/tex].

Bonne journée !

Nous espérons que vous avez trouvé ce que vous cherchiez. Revenez nous voir pour obtenir plus de réponses et des informations à jour. Merci de votre visite. Nous nous engageons à fournir les meilleures informations disponibles. Revenez quand vous voulez pour plus. Visitez toujours Laurentvidal.fr pour obtenir de nouvelles et fiables réponses de nos experts.