liteqz.com
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?
Merci d'avance pour votre aide! Posté par Edison re: Relation d'équivalence et d'ordre 17-02-18 à 16:32 Mince ils me demandent le graphe et j'ai fait un diagramme de Venn bon de toute façon si mon diagramme et juste alors mon graphe le sera aussi ce qui m'intéresse c'est juste de savoir si les relations sont correctes Posté par Edison re: Relation d'équivalence et d'ordre 17-02-18 à 16:44 2) J'ai mal recopié désolé... 5R2, 5R5 7R7 7R4, 7R1 3) On voit bien qu'il y a une relation d'équivalence car on remarque chaque fois que (par exemple) 7R4 <=> 4R7, 2R5 <=> 5R2... mais comment le montrer formellement? Posté par carpediem re: Relation d'équivalence et d'ordre 17-02-18 à 17:03 Citation: 1) 2 éléments en relation par R: 3R3 et 6R6 2 éléments qui ne sont pas en relation par 3: 3Ɍ2 6Ɍ5 n'importe quoi... on veut évidemment deux éléments distincts en relation si 2 et 3 ne sont pas en relation comment peux-tu écrire 3 R 2? Posté par Edison re: Relation d'équivalence et d'ordre 17-02-18 à 17:07 C'est un R "barré" pour dire "pas en relation" justement.
\) Définition: Classe d'équivalence Étant donné un ensemble \(E\) muni d'une relation d'équivalence \(\color{red}R\color{black}, \) on appelle classe d'un élément \(x\) l'ensemble: \(\boxed{C_x = \{y\in E ~|~ x \color{red}R\color{black} y\}}. \) Propriété: Toute classe d'équivalence contient au moins un élément. En effet, puisque tout élément \(x\) est équivalent à lui-même, la classe \(C_x\) de \(x\) contient au moins l'élément \(x. \) Théorème: Soient les classes \(C_x\) et \(C_y\) de deux éléments \(x\) et \(y. \) Ces classes sont disjointes ou sont confondues. Démonstration: \(1^{er}\) cas: \(C_x\cap C_y = \emptyset. \) Les deux classes sont disjointes. \(2^e\) cas: \(C_x\cap C_y \neq\emptyset. \) Soit \(z\in C_x\cap C_y. \) On a \(x \color{red}R\color{black} z\) et \(y \color{red}R\color{black} z, \) donc on a \(x \color{red}R\color{black} z\) et \(z \color{red}R\color{black} y, \) et par transitivité \(x \color{red}R\color{black} y. \) On en conclut que \(y\) est dans la classe de \(x\): \(y\in C_x.