Classe d'équivalence

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
mehdi-128
Membre Irrationnel
Messages: 1987
Enregistré le: 10 Déc 2006, 14:57

Classe d'équivalence

par mehdi-128 » 13 Juil 2018, 18:46

Bonjour,

Soit une relation d'équivalence sur un ensemble E.
Alors les classes d'équivalences forment une partition de E.

Je bloque sur le début de la démo.

Chaque élément x de E appartient à sa classe d'équivalence (par réflexivité de donc l'union des classes d'équivalence est bien l'ensemble E tout entier.

Je comprends pas pourquoi si tous les x appartenant à E appartient à leur classe d'équivalence, l'union des classes d'équivalence donne E :?:



hdci
Membre Rationnel
Messages: 525
Enregistré le: 23 Juin 2018, 17:13

Re: Classe d'équivalence

par hdci » 13 Juil 2018, 19:54

Il faut revenir à la définition des classes d'équivalence :
  • Réflexive
  • Symétrique
  • Transitive

Puisqu'elle est réflexive, chaque élément appartient à sa propre classe d'équivalence, donc la réunion des classes d'équivalence fait bien l'ensemble tout entier (pour tout , il existe une classe d'équivalence qui contient , c'est la classe de )

Il ne reste plus qu'à vérifier que les classes sont disjointes, et on utilise pour cela la symétrie et la transitivité :
  • la classe d'équivalence de est l'ensemble des en relation avec
  • soit un autre élément qui n'est pas en relation avec (donc qui forme une autre classe d'équivalence).
  • Si appartenait aux deux classes, on aurait et
  • alors avec la symétrie puis la transitivité, on aboutit à contradiction avec l'hypothèse
Il n'y a que 10 types de personne au monde : ceux qui comprennent le binaire et ceux qui ne le comprennent pas.

mehdi-128
Membre Irrationnel
Messages: 1987
Enregistré le: 10 Déc 2006, 14:57

Re: Classe d'équivalence

par mehdi-128 » 14 Juil 2018, 13:02

Pour la suite de votre raisonemment j'ai compris.

Par contre j'arrive pas à comprendre ce passage :

Puisqu'elle est réflexive, chaque élément appartient à sa propre classe d'équivalence, donc la réunion des classes d'équivalence fait bien l'ensemble tout entier (pour tout , il existe une classe d'équivalence qui contient , c'est la classe de )

Pourquoi si la classe d'équivalence de de x contient x, alors la réunion des classes d'équivalence fait l'ensemble E ?

pascal16
Membre Transcendant
Messages: 4886
Enregistré le: 01 Mar 2017, 13:58
Localisation: Angoulème : Ville de la BD et du FFA. gare TGV

Re: Classe d'équivalence

par pascal16 » 14 Juil 2018, 14:49

On est en théorie de ensembles, il faut faire attention.

dans N
xRy ssi x et y sont pairs est bien symétrique et transitive, mais pas réflexive, on a pas 3R3.

le "réflexive" impose que chaque élément x fasse partie d'une classe d'équivalence, qu'on peut appeler "x barre"

xRy ssi x et y sont de même parité est bien une relation d'équivalence
au passage, on voit que :
on atteint touts les nombres
un nombre est soit pair, soit impair
-> on a un partition en 2 de N

hdci
Membre Rationnel
Messages: 525
Enregistré le: 23 Juin 2018, 17:13

Re: Classe d'équivalence

par hdci » 14 Juil 2018, 15:53

mehdi-128 a écrit:Par contre j'arrive pas à comprendre ce passage :

Puisqu'elle est réflexive, chaque élément appartient à sa propre classe d'équivalence, donc la réunion des classes d'équivalence fait bien l'ensemble tout entier (pour tout , il existe une classe d'équivalence qui contient , c'est la classe de )

Pourquoi si la classe d'équivalence de de x contient x, alors la réunion des classes d'équivalence fait l'ensemble E ?


Ce n'est pas "si la classe d'équivalence de contient ", mais "pour tout , la classe d'équivalence de contient ". Le quantificateur "pour tout" est indispensable sinon on ne prouve rien.

Si on veut s'en convaincre différemment on peut faire un raisonnement par l'absurde : on note l'ensemble des classes d'équivalence, et on suppose que . Il existe donc tel que

Donc n'appartient à aucune classe d'équivalence. Or , donc appartient à sa propre classe d'équivalence, contradiction.
Il n'y a que 10 types de personne au monde : ceux qui comprennent le binaire et ceux qui ne le comprennent pas.

mehdi-128
Membre Irrationnel
Messages: 1987
Enregistré le: 10 Déc 2006, 14:57

Re: Classe d'équivalence

par mehdi-128 » 15 Juil 2018, 19:30

hdci a écrit:
mehdi-128 a écrit:Par contre j'arrive pas à comprendre ce passage :

Puisqu'elle est réflexive, chaque élément appartient à sa propre classe d'équivalence, donc la réunion des classes d'équivalence fait bien l'ensemble tout entier (pour tout , il existe une classe d'équivalence qui contient , c'est la classe de )

Pourquoi si la classe d'équivalence de de x contient x, alors la réunion des classes d'équivalence fait l'ensemble E ?


Ce n'est pas "si la classe d'équivalence de contient ", mais "pour tout , la classe d'équivalence de contient ". Le quantificateur "pour tout" est indispensable sinon on ne prouve rien.

Si on veut s'en convaincre différemment on peut faire un raisonnement par l'absurde : on note l'ensemble des classes d'équivalence, et on suppose que . Il existe donc tel que

Donc n'appartient à aucune classe d'équivalence. Or , donc appartient à sa propre classe d'équivalence, contradiction.


Joli raisonnement 8-)

En ne raisonnant pas par l'absurde c'est pas possible de le montrer ?

hdci
Membre Rationnel
Messages: 525
Enregistré le: 23 Juin 2018, 17:13

Re: Classe d'équivalence

par hdci » 15 Juil 2018, 20:14

mehdi-128 a écrit:En ne raisonnant pas par l'absurde c'est pas possible de le montrer ?

Si : tout appartient à sa propre classe d'équivalence, donc tout appartient à au moins une classe d'équivalence, donc tout appartient à la réunion de toutes les classes d'équivalence : la réunion des classes recouvre l'ensemble

Mais comme vous aviez du mal avec
mehdi-128 a écrit:Pourquoi si la classe d'équivalence de de x contient x, alors la réunion des classes d'équivalence fait l'ensemble E ?

le passage par l'absurde me semblait un bon moyen de convaincre.
Il n'y a que 10 types de personne au monde : ceux qui comprennent le binaire et ceux qui ne le comprennent pas.

pascal16
Membre Transcendant
Messages: 4886
Enregistré le: 01 Mar 2017, 13:58
Localisation: Angoulème : Ville de la BD et du FFA. gare TGV

Re: Classe d'équivalence

par pascal16 » 16 Juil 2018, 11:35

cheminement par l'absurde :

c'est pas une partition
-> un élément n'a pas de classe -> impossible (réflexivité)
-> un élément x est dans plusieurs classes d'équivalences à la fois
soit y et z des éléments dans 2 de ces classes .
on a xRy et xRz donc yRz, donc y et z sont dans la même classe (transitivité*)
donc ils sont tous dans la même classe
donc x n'est pas dans plusieurs classes à la fois, impossible.


(transitivité*) : dans le cas où on a pas la symétrie, la transitivité ne peut être écrite que dans un sens, il faudrait travailler un peu différemment. La symétrie, bien que non citée est bien obligatoire

mehdi-128
Membre Irrationnel
Messages: 1987
Enregistré le: 10 Déc 2006, 14:57

Re: Classe d'équivalence

par mehdi-128 » 16 Juil 2018, 15:30

hdci a écrit:
mehdi-128 a écrit:En ne raisonnant pas par l'absurde c'est pas possible de le montrer ?

Si : tout appartient à sa propre classe d'équivalence, donc tout appartient à au moins une classe d'équivalence, donc tout appartient à la réunion de toutes les classes d'équivalence : la réunion des classes recouvre l'ensemble

Mais comme vous aviez du mal avec
mehdi-128 a écrit:Pourquoi si la classe d'équivalence de de x contient x, alors la réunion des classes d'équivalence fait l'ensemble E ?

le passage par l'absurde me semblait un bon moyen de convaincre.


Sur le premier raisonnement sans raisonner par l'absurde c'est juste ce petit détail qui me troublait :
Qui nous dit que l'ensemble des classes d'équivalence de x n'est pas plus grand que E au sens de l'inclusion ? Comment on est sûr que c'est égal à E ?

Mimosa
Membre Relatif
Messages: 273
Enregistré le: 19 Aoû 2016, 17:31

Re: Classe d'équivalence

par Mimosa » 16 Juil 2018, 15:36

Bonjour

Par définition une classe d'équivalence est une partie de E.

mehdi-128
Membre Irrationnel
Messages: 1987
Enregistré le: 10 Déc 2006, 14:57

Re: Classe d'équivalence

par mehdi-128 » 16 Juil 2018, 15:50

Mimosa a écrit:Bonjour

Par définition une classe d'équivalence est une partie de E.


Ah j'avais loupé ce détail merci :)

hdci
Membre Rationnel
Messages: 525
Enregistré le: 23 Juin 2018, 17:13

Re: Classe d'équivalence

par hdci » 16 Juil 2018, 15:50

mehdi-128 a écrit:Qui nous dit que l'ensemble des classes d'équivalence de x n'est pas plus grand que E au sens de l'inclusion ? Comment on est sûr que c'est égal à E ?


Effectivement ce que j'ai écrit montre que est inclus dans la réunion des classes d'équivalence.
Pour être rigourux jusqu'au bout des ongles il faut montrer l'inclusion inverse, mais comme le dit mimosa, une classe d'équivalence est une partie de : la classe d'équivalence de sont les éléments de qui sont en relation avec . Donc la réunion des classes ne contient que des éléments de , ce qui fait que la réunion est incluse dans

On a donc l'inclusion et l'inclusion réciproque, donc l'égalité.

J'avais omis cette dernière partie car elle est évidente par définition même de la classe d'équivalence.
Il n'y a que 10 types de personne au monde : ceux qui comprennent le binaire et ceux qui ne le comprennent pas.

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 14 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite