Parure Bollywood Pas Cher
~ 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].
En appliquant le théorème de factorisation ci-dessus, on peut donc définir la loi quotient comme l'unique application g: E /~ × E /~ → E /~ telle que f = g ∘ p. ) Exemples Sur le corps ordonné des réels, la relation « a le même signe que » (comprise au sens strict) a trois classes d'équivalence: l'ensemble des entiers strictement positifs; l'ensemble des entiers strictement négatifs; le singleton {0}. La multiplication est compatible avec cette relation d'équivalence et la règle des signes est l'expression de la loi quotient. Si E est muni d'une structure de groupe, on associe à tout sous-groupe normal une relation d'équivalence compatible, ce qui permet de définir un groupe quotient. Relation d'équivalence engendrée [ modifier | modifier le code] Sur un ensemble E, soit R une relation binaire, identifiée à son graphe. L'intersection de toutes les relations d'équivalence sur E qui contiennent R est appelée la relation d'équivalence (sur E) engendrée par R [ 5]. Elle est égale à la clôture réflexive transitive de R ∪ R −1.
Donc, on a bien x\mathcal R y \text{ et} y\mathcal R z \Rightarrow x \mathcal R z Classe d'équivalence Définition Pour les relations d'équivalence, on a une notion de classe, elle se définit comme suit. Soit E un ensemble, R une relation d'équivalence et a un élément de E. On définit la classe de a par Cl(a) = \{ x \in E, a\mathcal Rx\} Propriété On a la propriété suivante: x \mathcal R y \iff Cl(x) = Cl(y) Exemple Prenons la relation d'équivalence définie plus haut. Soit x un réel, sa classe d'équivalence est alors: Cl(x) = \{y \in \mathbb{R}, |x|=|y|\}= \{\pm x\} Exercices Pour les exercices, allez plutôt voir notre page dédiée Exercices corrigés Exercice 900 Question 1 La relation est bien réflexive: O, M, M ne représentent que deux points et sont donc nécessairement alignés Elle est symétrique: Si O, M, N sont alignés alors O, N, M aussi, l'ordre n'ayant pas d'importance Et cette relation est transitive: Si O, M, N sont alignés et O, N, P aussi alors O, M, N, P sont alignés donc O, M, P aussi Question 2 Repartons de la définition.
Lorsque cette application est injective, la relation d'équivalence qu'elle induit sur E est l' égalité, dont les classes sont les singletons. Sur l'ensemble ℤ des entiers relatifs, la congruence modulo n (pour un entier n fixé) est une relation d'équivalence, dont les classes forment le groupe cyclique ℤ/ n ℤ. Plus généralement, si G est un groupe et H un sous-groupe de G alors la relation ~ sur G définie par ( x ~ y ⇔ y −1 x ∈ H) est une relation d'équivalence, dont les classes sont appelées les classes à gauche suivant H. L'égalité presque partout, pour des fonctions sur un espace mesuré, est une relation d'équivalence qui joue un rôle important dans la théorie de l'intégration de Lebesgue. En effet, deux fonctions égales presque partout ont le même comportement dans cette théorie. On trouve d'autres exemples dans les articles suivants: Équipollence, Préordre, Action de groupe, Espace projectif, Matrices congruentes, Matrices équivalentes, Matrices semblables, Triangles isométriques, Triangles semblables, Construction des entiers relatifs, Corps des fractions, Complété d'un espace métrique, Topologie quotient, Équivalence d'homotopie, Germe.
Relation d'équivalence: Définition et exemples. - YouTube
Cette page a pour but de présenter les relations d'équivalence à l'aide d'une partie cours et d'une partie exercices corrigés.
Soit M un point du plan qui n'est pas l'origine: Cl(M) = \{N \in P \backslash O, O, M, N \text{ alignés}\} Par définition, il s'agit de la droite (OM). Exercice 901 Question 1 La relation est bien réflexive: Elle est symétrique: \text{Si} X \cap A =Y\cap A \text{ alors} Y\cap A= X \cap A Et elle est bien transitive: Si Et Alors X \cap A =Y\cap A = Z \cap A Question 2 Utilisations la définition: Cl(\emptyset) = \{ X \subset E, X \cap A = \emptyset \}=\{X \in E, X \subset X \backslash A \} C'est donc l'ensemble des sous-ensembles qui ne contiennent aucun élément de A. Passons à A: Cl(A) = \{ X \subset E, X \cap A =A\cap A= A \}=\{X \in E, A \subset X \} C'est donc l'ensemble des sous-ensembles contenant A. Et maintenant E. Comme E est inclus dans la classe de A, en utilisant la propriété sur les classes, on obtient directement: Cl(E) = \{ X \subset E, X \cap A =E\cap A= A \} = Cl(A) Question 3 Soit X un sous-ensemble de E. On sait que Cl(X) = \{Y \subset E, Y \cap A= X\cap A\} Si on pose On a C'est donc un représentant de X inclus dans A. Montrons qu'il est unique.