Relations Enoncé Dire si les relations suivantes sont réflexives, symétriques, antisymétriques, transitives: $E=\mathbb Z$ et $x\mathcal R y\iff x=-y$; $E=\mathbb R$ et $x\mathcal R y\iff \cos^2 x+\sin^2 y=1$; $E=\mathbb N$ et $x\mathcal R y\iff \exists p, q\geq 1, \ y=px^q$ ($p$ et $q$ sont des entiers). Quelles sont parmi les exemples précédents les relations d'ordre et les relations d'équivalence? Enoncé La relation d'orthogonalité entre deux droites du plan est-elle symétrique? réflexive? transitive? Relations d'équivalence Enoncé Sur $\mathbb R^2$, on définit la relation d'équivalence $\mathcal R$ par $$(x, y)\mathcal R (x', y')\iff x=x'. $$ Démontrer que $\mathcal R$ est une relation d'équivalence, puis déterminer la classe d'équivalence d'un élément $(x_0, y_0)\in\mathbb R^2$. Enoncé On définit sur $\mathbb R$ la relation $x\mathcal R y$ si et seulement si $x^2-y^2=x-y$. Montrer que $\mathcal R$ est une relation d'équivalence. Calculer la classe d'équivalence d'un élément $x$ de $\mathbb R$.
~ est symétrique: chaque fois que deux éléments x et y de E vérifient x ~ y, ils vérifient aussi y ~ x. ~ est transitive: chaque fois que trois éléments x, y et z de E vérifient x ~ y et y ~ z, ils vérifient aussi x ~ z. Par réflexivité, E coïncide alors avec l' ensemble de définition de ~ (qui se déduit du graphe par projection). Inversement, pour qu'une relation binaire sur E symétrique et transitive soit réflexive, il suffit que son ensemble de définition soit E tout entier [ 1]. Définition équivalente [ modifier | modifier le code] On peut aussi définir une relation d'équivalence comme une relation binaire réflexive et circulaire [ 2]. Une relation binaire ~ est dite circulaire si chaque fois qu'on a x ~ y et y ~ z, on a aussi z ~ x. Classe d'équivalence [ modifier | modifier le code] Classes d'équivalence de la relation illustrée précédemment. « Classe d'équivalence » redirige ici. Pour la notion de classe d'équivalence en mécanique, voir Liaison (mécanique). Fixons un ensemble E et une relation d'équivalence ~ sur E. On définit la classe d'équivalence [ x] d'un élément x de E comme l'ensemble des y de E tels que x ~ y: On appelle représentant de [ x] n'importe quel élément de [ x], et système de représentants des classes toute partie de E qui contient exactement un représentant par classe [ 3].
Sommaire Montrer que c'est une relation d'équivalence Classes d'équivalence Montrer que c'est une relation d'ordre Ordre partiel et total L'exercice consiste à montrer que les relations suivantes sont des relations d'équivalence: Haut de page Dans la première vidéo, il faut montrer que la relation suivante est une relation d'équivalence, et trouver les classes d'équivalence: Dans la deuxième vidéo, même énoncé avec la relation suivante: Idem pour la troisième vidéo, avec une relation un peu plus difficile: Deuxième question: La question est de trouver la classe d'équivalence de (p;q). Dans la 4ème vidéo, il faut également montrer dans un premier temps que la relation suivante est une relation d'équivalence. Il faudra ensuite donner la classe d'équivalence de (1; 0), (0; -1) et (1; 1), puis en déduire les classes d'équivalence de la relation R. L'exercice consiste à montrer que la relation suivante est une relation d'ordre: L'exercice est le même que précédemment (montrer que c'est une relation d'ordre) mais on demande en plus si c'est un ordre partiel ou total: Même question avec Z à la place de Z. Retour au sommaire des exercices Remonter en haut de la page Cours, exercices, vidéos, et conseils méthodologiques en Mathématiques
Dans ce cas 2 éléments en relation on a: 1R4 et 2R5 par exemple Posté par Edison re: Relation d'équivalence et d'ordre 17-02-18 à 17:11 Autant pour moi je voulais faire un R barré obliquement, je reprends: 1) Deux éléments en relation: 1R4 et 2R5 Deux éléments qui ne sont pas en relation: 3Ꞧ2 et 6Ꞧ5 Posté par carpediem re: Relation d'équivalence et d'ordre 17-02-18 à 17:13 pourquoi abuser inutilement de symboles et ne pas le dire en français correctement?
Définition: On dit qu'une relation est une relation d'équivalence si elle est: symétrique [ 1]: \(\forall x\in E, ~\forall y\in E, ~ x \color{red}R\color{black} y\Rightarrow y \color{red}R\color{black} x, \) réflexive [ 2]: \(\forall x\in E, ~x \color{red}R\color{black} x, \) transitive [ 3]: \(\forall x\in E, ~\forall y\in E, ~\forall z\in E, ~ (x \color{red}R\color{black} y ~\textrm{et}~ y \color{red}R\color{black} z)\Rightarrow x \color{red}R\color{black} z. \) Dans le cas d'une relation d'équivalence, deux éléments en relation sont aussi dits équivalents. Exemple: Sur tout ensemble, l'égalité de deux éléments. Sur l'ensemble des droites (du plan ou de l'espace), la relation " droites parallèles ou confondues ". Sur l'ensemble des bipoints du plan (ou de l'espace), la relation d'équipollence. Pour les angles du plan, la relation de congruence modulo \(2\pi. \) Dans \(\mathbb Z, \) la relation \(x \equiv y \mod (n), \) si \(x - y\) est divisible par l'entier \(n. \) Dans \(E = \mathbb N \times \mathbb N, \) \((a, b) \color{red}R\color{black} (a', b')\Leftrightarrow a + b' = a' + b. \) Dans \(E = \mathbb Z \times \mathbb Z^*, \) \((p, q) \color{red}R\color{black} (p', q')\Leftrightarrow pq' = p'q.
Relation d'ordre suivant: Dénombrement monter: Relation d'équivalence, relation d'ordre précédent: Relation d'équivalence Exercice 213 La relation ``divise'' est-elle une relation d'ordre sur? sur? Si oui, est-ce une relation d'ordre total? Exercice 214 Étudier les propriétés des relations suivantes. Dans le cas d'une relation d'équivalence, préciser les classes; dans le cas d'une relation d'ordre, préciser si elle est totale, si l'ensemble admet un plus petit ou plus grand élément. Dans:. Dans: et ont la même parité est divisible par. Exercice 215 Soient et deux ensembles ordonnés (on note abusivement les deux ordres de la même façon). On définit sur la relation ssi ou et. Montrer que c'est un ordre et qu'il est total ssi et sont totalement ordonnés. Exercice 216 Un ensemble est dit bien ordonné si toute partie non vide admet un plus petit élément. Donner un exemple d'ensemble bien ordonné et un exemple d'ensemble qui ne l'est pas. Montrer que bien ordonné implique totalement ordonné.
J'étais parti pour montrer la relation d'équivalence pour toutes les valeurs de x et y possibles Posté par Edison re: Relation d'équivalence et d'ordre 17-02-18 à 18:35 Pour la question 4: j'ai du mal à comprendre la notion de "classe d'équivalence" même après avoir consulté Wikipédia. Mais d'après ce que je pense avoir compris, il y a 3 classes d'équivalences non? Je ne sais pas comment les définir... On les définit comme des ensembles?