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.


DefinicionModificar

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.

NotacionsModificar

  • 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énciaModificar

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

DefinicionModificar

  • 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   .

ProprietatModificar

  • 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 quocientModificar

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

DefinicionModificar

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 canonicaModificar

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   .

ProprietatModificar

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 quocientModificar

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.

ExemplesModificar

  • 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 :

  1. se r = 0,  
  2. se r = 1,  
  3. 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 tanbenModificar