Relation d'équivalence

La notion de relation d'équivalence sur un ensemble permet de mettre en relation des éléments qui sont similaires par une certaine propriété.

On pourra ainsi regrouper ces éléments par « paquets » d'éléments qui se ressemblent, définissant ainsi la notion de classe d'équivalence, pour enfin construire de nouveaux ensembles en « assimilant » les éléments similaires à un seul et même élément. On aboutit alors à la notion d'ensemble quotient.

Sommaire

1 Définition

1.1 Définition formelle
1.2 Définition équivalente

2 Classe d'équivalence

3 Ensemble quotient

3.1 Définition
3.2 Exemple
3.3 Surjection canonique
3.4 Structure quotient

4 Exemples

5 Voir aussi

Définition

Définition formelle

Une relation d'équivalence $\mathcal R\,$ dans un ensemble E est une relation binaire dans cet ensemble , réflexive , symétrique et transitive.

C'est une relation binaire : c'est donc une somme disjointe ( E , E, G _R ), où G _R , le graphe de $\mathcal R\,$ , est une partie de E² caractérisant la relation. En pratique , sauf ambiguïté sur l'ensemble dans lequel la relation est placée, on peut confondre celle-ci avec son graphe. Si x et y sont deux éléments de E, on dit que « y est image de x par $\mathcal R\,$ » ou que « y est associé à x par $\mathcal R\,$ » ou que « y correspond à x par $\mathcal R\,$ » ssi le couple ( x , y ) appartient à G _R ; on note cela « x $\mathcal R\,$ y » .

$\mathcal R\,$ est réflexive : tout élément de E est associé à lui-même : $\forall\ x \in E , x \mathcal R x \,$

$\mathcal R\,$ est symétrique : tout élément de E est image de ses images :

$\forall\ ( x , y ) \in E^{\, 2} , ( x \mathcal R y ) \Rightarrow ( y \mathcal R x ) \,$

$\mathcal R\,$ est transitive : toute image d'une image d'un élément de E est directement image de cet élément :

$\forall\ ( x , y , z ) \in E^{\, 3} , ( x \mathcal R y \wedge y \mathcal R z ) \Rightarrow ( x \mathcal R z ) \,$

Définition équivalente

On peut aussi définir une relation d'équivalence comme une relation binaire réflexive et circulaire.

Une relation binaire est circulaire ssi toute image d'une image d'un élément de E est antécédent de cet élément, c'est-à-dire si :

$\forall\ ( x , y , z ) \in E^{\, 3} , ( x \mathcal R y \wedge y \mathcal R z ) \Rightarrow ( z \mathcal R x ) \,$

Classe d'équivalence

Considérons un ensemble E muni d'une relation d'équivalence $\mathcal R\,$ . La classe d'équivalence d'un élément x de E , notée « $\mathcal R$ ( x ) » , est alors l'ensemble des images de x par $\mathcal R\,$ :

$\mathcal R ( x ) = \{ y \in E \,|\ x \mathcal R y \} \,$ .

$\mathcal R$ ( x ) est un sous-ensemble de E.

$\mathcal R$ ( x ) n'est jamais vide, car elle contient toujours au moins x lui-même ( $\mathcal R\,$ est réflexive ).

Inversement, tout élément de E appartient à au moins une classe d'équivalence : la sienne.

$\mathcal R$ ( y ) = $\mathcal R$ ( x ) ssi y appartient à $\mathcal R$ ( x ).

Inversement, si y est un élément de E n'appartenant pas à $\mathcal R$ ( x ) , alors l'intersection de $\mathcal R$ ( x ) et de $\mathcal R$ ( y ) est vide.

On déduit de ce qui précède que l'ensemble des classes d'équivalence de E forme une partition de E. Inversement, toute partition d'un ensemble y définit une relation d'équivalence. On peut établir une bijection canonique entre les partitions d'un ensemble et les relations d'équivalence dans cet ensemble.

Enfin, la restriction d'une relation d'équivalence à l'une de ses classes d'équivalence est une relation pleine.

Ensemble quotient

Définition

L' ensemble quotient de E par la relation d'équivalence $\mathcal R$ , noté « $E / \mathcal R$ » , est l'ensemble des classes d'équivalence de E suivant $\mathcal R$ :

$E / \mathcal R = \{ \mathcal R ( x ) \,|\ x \in E \} \,$

L'ensemble quotient est donc un nouvel ensemble construit à partir de E et de $\mathcal R$ . C'est un sous-ensemble de $\mathfrak P$ ( E ) , ensemble des parties de E.

Remarque : on peut munir un univers d'une relation d'équivalence. On peut même y définir des classes d'équivalence, mais elles peuvent être elles-mêmes des univers, ce qui interdit l'existence d'un ensemble quotient dans ce cas ( exemple : la relation d'équipotence dans l'univers des ensembles ).

L'ensemble quotient peut aussi être désigné comme « l'ensemble E quotienté par $\mathcal R$ » ou « l'ensemble E considéré modulo $\mathcal R$ ». L'idée derrière ces appellations est de travailler dans l'ensemble quotient comme dans E , mais sans distinguer entre eux les éléments équivalents selon ${\mathcal R}$ .

Exemple

la relation d'égalité dans un ensemble E est une relation d'équivalence. Son ensemble quotient est l'ensemble des singletons d'éléments de E.

Surjection canonique

Il existe une surjection canonique s de E dans l'ensemble quotient, qui à chaque élément de E associe sa classe d'équivalence :

s : E $\longrightarrow E / \mathcal R \,$

$x \longmapsto \ A = \mathcal R ( x ) \,$

s est une application puisque tout élément de E appartient à une et une seule classe d'équivalence; s est surjective puisqu'aucune classe d'équivalence n'est vide.

s n'est pas en général injective, mais on a :

$\forall x \in E , \forall y \in E , \, [ s ( x ) = s ( y ) ] \Leftrightarrow [ \mathcal R ( x ) = \mathcal R ( y ) ] \Leftrightarrow [ x \mathcal R y ] \,$

Cette surjection est ainsi une bijection ssi la relation d'équivalence concernée n'est autre que la relation d'égalité.

Structure quotient

Grâce à la surjection s , si E est muni d'une structure, il est possible de transférer cette dernière à l'ensemble quotient, sous réserve que la structure soit compatible avec la relation d'équivalence, c'est-à-dire que deux éléments de E se comportent de la même manière vis-à-vis de la structure s'ils appartiennent à la même classe d'équivalence. L'ensemble quotient est alors muni de la structure quotient de la structure initiale par la relation d'équivalence.

Par exemple, si E est muni d'une structure de groupe, il est possible, dans certains cas, de parler du groupe quotient $E / \mathcal R$ .

Exemples

L'égalité sur un ensemble quelconque de nombres (entiers, rationnels, réels, complexes) est une relation d'équivalence.
Le parallélisme sur un ensemble de droites (dans un plan) est une relation d'équivalence.
Si $f \,$ est une application d'un ensemble E dans un ensemble F, alors la relation $\mathcal R$ définie par :

$\forall\ ( x , y ) \in E^{\, 2} , [ x \mathcal R y ] \Leftrightarrow [ f( x) = f( y) ] \,$

est une relation d'équivalence sur E. Ainsi toute application induit une relation d'équivalence sur son ensemble de départ.

$f \,$ est une injection ssi la relation induite dans l'ensemble de départ est la relation d'égalité. Nous avons alors :

$\forall\ ( x , y ) \in E^{\, 2} , [ f( x) = f( y) ] \Leftrightarrow [ x = y ] \,$

Le fait d'être égales 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.

Relation d'équivalence

Définition

Définition formelle

Définition équivalente

Classe d'équivalence

Ensemble quotient

Définition

Exemple

Surjection canonique

Structure quotient

Exemples

Voir aussi

See also: Relation d'équivalence, Classe (mathématiques), Ensemble, Fonction (mathématique), Fonction (mathématiques), Groupe quotient, Intégrale de Lebesgue, Mesure (mathématiques), Parallélisme (géométrie), Partition