Relacion d'equivaléncia
En matematicas, una relacion d'equivaléncia dins un ensemble E, relacion binària d'un tipe particular, es lo mejan de definir una classificacion completa deis elements de E segon un critèri donat.
 
Leis elements de E son agropats en classas d'equivaléncia : cada element x de E apartèn a una classa determinada sens ambigüitat, contenent totei leis elements de E que, segon lo critèri utilizat, se pòdon pas destriar de x : se ditz que son equivalents a x.
 
Es sovent interessant d'identificar (de considerar per identics) leis elements de E qu'apartènon a una meteissa classa d'equivaléncia, valent a dire de lei confondre volontariament : se definís ansin l'ensemble quocient de E per la relacion d'equivaléncia, qu'es l'ensemble dei classas d'equivaléncia.
 
Per exemple, dins l'ensemble  deis  entiers naturaus, lo critèri de paritat correspònde a la relacion binària "aver la meteissa paritat que", qu'es una relacion d'equivaléncia (coma se poirà verificar aisadament, cf. la definicion çai sota). Permete d'agropar leis entiers naturaus en doas classas, que designarem aicí per lei notacions  :
  es la classa deis entiers naturaus pars
  es la classa deis entiers naturaus impars
L'ensemble quocient de E per aquesta relacion d'equivaléncia es l'ensemble  que seis elements son lei doas classas d'equivaléncia.

Definicion
Se sòna relacion d'equivaléncia dins un ensemble E (supausat non vuege) una relacion binària  dins E qu'es au còp reflexiva, simetrica e transitiva, valent a dire :
 reflexivitat :
 
 simetria :
 
 transitivitat :
 )

Quand  es una relacion d'equivaléncia dins E  e que dos elements x, y de E son taus que  , se ditz que :
 x, y son equivalents modulo  (o "equivalents segon  ").

Remarca : es clar que l'egalitat dins un ensemble E es una relacion d'equivaléncia dins E e que per tot element x de E, x es lo solet element equivalent (valent a dire aicí : egau) a x. La nocion de relacion d'equivaléncia generaliza la nocion d'egalitat.

Notacions
 Una notacion frequenta per una relacion d'equivaléncia es "  " ; s'escriu sovent :  en plaça de :  .
 De còps que i a, s'escriu :  (onte "mod" es una abreviacion de modulo).

Classas d'equivaléncia
Siá  una relacion d'equivaléncia dins un ensemble E.

Definicion
 Per tot element x de E, se definís ansin la classa d'equivaléncia (o classa) de x modulo  (o "segon  "):
  (la classa de x es lo sosensemble de E qu'a per elements leis elements de E equivalents a x).
 S'escriu sovent (se lo contèxte es clar) :  en luòga de :  .
 Inversament, se ditz qu'un sosensemble  de E es una classa d'equivaléncia modulo  (o "segon  ") s'existís (aumens) un element x de E tau que  .

Remarca : estent dos elements x, y de E :
 
 
La proposicion (1) es ren autre que la definicion de la classa d'equivaléncia de x.
Se'n dedutz :  en intervertissent x, y, puei la proposicion (2) per simetria de  .

Proprietat
 Tota classa d'equivaléncia (modulo  ) es una partida non vueja de E
 Estent dos elements x, y de E :
 se  , alora 
 se ) , alora 
 Autrament dich, doas classas d'equivaléncia son siá egalas siá desjonchas
 Tot element de E apartèn a una classa d'equivaléncia, e apartèn ren qu'a una classa d'equivaléncia (la sieuna)

Se pòt sintetizar tot aiçò ansin : l'ensemble dei classas d'equivaléncia modulo  es una particion de l'ensemble E.

demostracion :
 Se  es una classa d'equivaléncia, existís  tau que  . Coma  (reflexivitat),  : x es element de  .

 Supausem que  , valent a dire :  . Per transitivitat de  :
 tot element z de E qu'es equivalent a x es equivalent a y ; aiçò significa que : 
 reciprocament, tot element z de E qu'es equivalent a y es equivalent a x :  
 Ansin, lei doas inclusions de sens contrari pròvan l'egalitat :  .

 Supausem que  : x, y son pas equivalents. Existiguèsse un element z comun a  e  , aquò implicariá :  e  , donc per simetria e transitivitat :  , còntradisent l'ipotèsi. Ansin lei doas classas  ,  son desjonchas.

 S'es vist supra que  ; coma doas classas non desjonchas son egalas, la classa  es la soleta que contèn x.

Ensemble quocient
Siá  una relacion d'equivaléncia dins un ensemble E.

Definicion
L'ensemble quocient de l'ensemble E per la relacion d'equivaléncia  es l'ensemble dei classas d'equivaléncia modulo  , notat :  .
 

Informalament, de passar de l'ensemble E a l'ensemble quocient  consistís a identificar, per cada classa  d'equivaléncia modulo  , totei leis elements d'aquesta classa : se considèra que leis elements de  ne fan plus qu'un. Es tipicament un procès d'abstraccion.

La nocion d'ensemble quocient es fondamentala en matematicas per la construccion d'ensembles novèus.

La subrejeccion canonica
Se definís l'aplicacion seguenta, qu'en tot element x de E, associa sa classa d'equivaléncia :
 

L'aplicacion ansin definida es subrejectiva (se  es element de  , existís aumens un element x de E tau que  , autrament dich :  . L'aplicacion  es sonada subrejeccion canonica de E vèrs l'ensemble quocient  .

Proprietat
Estent dos elements x, y de E :
 

D'efècte,  , e  , car dos elements de E an la meteissa classa se e solament se son equivalents.

La proprietat universala de l'ensemble quocient 
Sián E, F dos ensembles,  una relacion d'equivaléncia dins E, e  la subrejeccion canonica.
 Se  es una aplicacion e se  , alora per tot pareu (x, y) d'elements de E :
  implica  : se ditz que f es constanta subre cada classa d'equivaléncia.

 Reciprocament, siá  una aplicacion tala que per tot pareu (x, y) d'elements de E :
  implica  .
 Alora, existís una aplicacion unica  tala que  .

demostracion :

A) Coma  , per tot pareu (x, y) d'elements de E :  e  .

Se  , alora  : resulta de la relacion (1) que :  .

B) Recipròca.
 Demostrem premier l'unicitat de l'aplicacion g. S'existís  tala que  , e se  es un element de  , se pòt trobar (aumens) un element x de E tau que  . Alora, necessariament :
 : la soleta valor possibla de g en  es f(x), çò que pròva l'unicitat de g.
 Demostrem ara l'existéncia de l'aplicacion g. Venèm de veire que necessariament, per tot element  de  :
  , se x es un element de E chausit tau que  ;
 sufís de mostrar qu'aiçò definís  sens ambigüitat, valent a dire que lo segond membre f(x) de l'egalitat depende pas de l'element x qu'es estat chausit.
 D'efècte, se remplaçam l'element x de E tau que  per un autre element y de  E, tau que  , alora , valent a dire  , donc per ipotèsi,  . Aiçò pròva qu'una aplicacion  es estada definida.

 Enfin, còmpte tengut de la definicion de g, per tot element x de E,  , onte  , donc  (vejatz supra :  ), çò que pròva l'egalitat  , e acaba la demostracion.

Exemples
 La congruéncia modulo 3 (se pòt remplaçar 3 per tot autre entier naturau estrictament positiu). Se ditz qu'un element a de l'ensemble  deis entiers es multiple de 3 s'existís un element b de  tau que a = 3 b (per exemple, −6, 0, +15 son de multiples de 3). Se definís dins l'ensemble  una relacion binària (sonada congruéncia modulo 3): estent dos entiers n, p, escriurem :
  (legir : n es congru a p modulo 3) se e solament se  es multiple de 3, valent a dire :
  tau que  .
 Aquesta relacion binària es una relacion d'equivaléncia dins  :

 per tot  ,  , e  :
 donc  (reflexivitat)

 se  e  ,  tau que  ; alora  , e  :
 donc  (simetria)

 se  e  ,  :  tau que  ,  tau que  . Alora,  , e   :
 donc  (transitivitat)

Tot entier n se pòt escriure d'un solet biais sota la forma :  , onte q es un entier e  : se ditz que q (respectivament r) es lo quocient (respectivament la rèsta) de la division euclidiana de n per 3 ; per exemple, se n = 17 : q = 5 e r = 2.

Alora,  , donc  : estent dos entiers n, p :  se e solament se n, p an la meteissa rèsta dins la division euclidiana per 3.

Ansin, i a exactament tres possibilitats :
 se r = 0, 
 se r = 1, 
 se r = 2, 
Existisson exactament 3 classas d'equivaléncia modulo 3 dins  , aquelei de 0, 1, 2, que poirem notar respectivament  :
  (classa modulo 3 de 0 ; es tanben la classa de 3...)
  (classa modulo 3 de 1 ; es tanben la classa de 4...)
  (classa modulo 3 de 2 ; es tanben la classa de 5...)

L'ensemble quocient de  per la congruéncia modulo 3, notat abitualament  ,  es :  .

 Dins l'ensemble E dei drechas dau plan, la relacion binària "aver la meteissa direccion" es una relacion d'equivaléncia. La classa d'equivaléncia d'una drecha d es l'ensemble dei drechas que li son parallèlas (comprés d).

 Un exemple "generic". Sián dos ensembles E, F e una aplicacion  . Se definís ansin una relacion binària  dins E : per tot pareu (x, y) d'elements de E :
 

 Es de bòn veire que  es una relacion d'equivaléncia dins E ; la classa d'un element x de E es l'ensemble deis elements de E onte f a la meteissa valor qu'en x.

Lo qualificatiu de generic vòu dire que tota relacion d'equivaléncia dins E se pòt definir ansin. D'efècte, se  es una relacion d'equivaléncia dins E, e se  es la subrejeccion canonica, es estat vist que per tot pareu (x, y) d'elements de E :
  . Autrament dich :

Vejatz tanben
 Aplicacion
  Particion
 Relacion binària

Teoria deis ensembles