Relación de equivalencia





Relación homogénea
Relación reflexiva
Relación no reflexiva
Conjunto preordenado
Relación de dependencia
Conjunto parcialmente ordenado
Relación de equivalencia
Orden total
Acotado
Orden total acotado
Relación binaria es 11.svg
Acerca de esta imagen




En teoría de conjuntos y álgebra la noción de relación de equivalencia sobre un conjunto, permite establecer una relación entre los elementos del conjunto que comparten cierta característica o propiedad. Esto permite reagrupar dichos elementos en clases de equivalencia, es decir, «paquetes» de elementos similares. Esto posibilita la construcción de nuevos conjuntos «añadiendo» todos los elementos de una misma clase como un solo elemento que los representará y que define la noción de conjunto cociente.




Índice






  • 1 Definición


    • 1.1 Clase de equivalencia o Relación de equivalencia


    • 1.2 Conjunto cociente


    • 1.3 Partición




  • 2 Ejemplos


  • 3 Véase también


  • 4 Referencias





Definición


Sea K{displaystyle K}K un conjunto dado no vacío y R{displaystyle {mathcal {R}}}mathcal{R} una relación binaria definida sobre K{displaystyle K}K. Se dice que R{displaystyle {mathcal {R}}}mathcal{R} es una relación de equivalencia si cumple las siguientes propiedades:



  • Reflexividad: Todo elemento de K{displaystyle K}K está relacionado consigo mismo. Es decir,


x∈K:xRx{displaystyle forall xin K;:quad x{mathcal {R}}x}<br />
   forall xin K<br />
   ; : quad<br />
   x mathcal{R} x<br />
.


  • Simetría: Si un elemento de K{displaystyle K}K está relacionado con otro, entonces ese otro elemento también se relaciona con el primero. Es decir,


x,y∈K:xRy⇒yRx{displaystyle forall x,yin K;:quad x{mathcal {R}}y;Rightarrow ;y{mathcal {R}}x}<br />
   forall x,yin K<br />
   ; : quad<br />
   x mathcal{R} y ; Rightarrow ; y mathcal{R} x<br />
.


  • Transitividad: Si un elemento de K{displaystyle K}K está relacionado con otro, y ese otro a su vez se relaciona con un tercero, entonces el primero estará relacionado también con este último. Es decir,


x,y,z∈K:xRy∧yRz⇒xRz{displaystyle forall x,y,zin K;:quad x{mathcal {R}}yland y{mathcal {R}}zquad Rightarrow quad x{mathcal {R}}z}<br />
   forall x,y,zin K<br />
   ; : quad<br />
   x mathcal{R} y land y mathcal{R} z<br />
   quad Rightarrow quad<br />
   x mathcal{R} z<br />
.

Notación:


En aritmética modular la relación de equivalencia entre dos elementos x{displaystyle x}x e y{displaystyle y}y se denota x≡y(modR){displaystyle xequiv y(modR)}{displaystyle xequiv y(modR)} que se lee « x{displaystyle x}x es equivalente a y{displaystyle y}y módulo R{displaystyle R}R ».

Una relación de equivalencia {displaystyle sim }sim sobre un cuerpo K{displaystyle K}K puede denotarse con el par (K,∼){displaystyle (K,sim ),}(K,sim),.


Clase de equivalencia o Relación de equivalencia


En lógica de clases y análisis matemático, la relación de equivalencia R{displaystyle {mathcal {R}}}mathcal{R} define subconjuntos disjuntos en K{displaystyle K}K llamados clases de equivalencia:


Dado un elemento a∈K{displaystyle ain K}ain K, el conjunto dado por todos los elementos relacionados con a{displaystyle a}a definen la clase:


[a]={b∈K|aRb}{displaystyle [a]={bin K,|,a{mathcal {R}}b}}{displaystyle [a]={bin K,|,a{mathcal {R}}b}}

se le llama la clase de equivalencia asociada al elemento a{displaystyle a}a.


Al elemento a{displaystyle a}a se le llama representante de la clase.


Se llama orden al número de clases que genera una relación de equivalencia; si éste es finito, se dice que la relación es de orden finito.


El concepto de clase de equivalencia tiene importancia en ciencia, dado un conjunto de objetos o entidades abstractas (potencialmente infinitas), pueden establecerse relaciones de equivalencia sobre la base de algún criterio, las clases resultantes son los "tipos" en los que se puede clasificar toda la gama de objetos.



Conjunto cociente


Al conjunto de todas las clases de equivalencia se denomina conjunto cociente y se denota como:



K/R{displaystyle K/{mathcal {R}}}K/mathcal{R} o K/∼{displaystyle K/sim }K/sim


Partición


Una relación de equivalencia sobre un conjunto induce una partición del mismo, es decir, un conjunto en el que se ha definido una relación de equivalencia puede ser dividido en varios subconjuntos de elementos equivalentes entre sí y tales que la reunión de esos subconjuntos coincide con el conjunto entero. El siguiente teorema expresa en términos más formales esa misma idea:



Proposición: Una relación de equivalencia en el conjunto no vacío K determina una partición de este, y toda partición de K determina una relación de equivalencia en este.





Demostración
Dada una relación de equivalencia R{displaystyle {mathcal {R}}} mathcal{R} en K:
Para ver que la intersección es vacía, supongamos que no lo es, es decir, dados [a] y [b] dos clases distintas y c∈[a]∩[b]{displaystyle cin [a]cap [b]}c in [a] cap [b] entonces se tiene:

Por simetría cRb⇒bRc.{displaystyle c{mathcal {R}}bRightarrow b{mathcal {R}}c.}cmathcal{R}b Rightarrow bmathcal{R}c.

Por transitividad bRc{displaystyle b{mathcal {R}}c}bmathcal{R}c y cRa⇒bRa.{displaystyle c{mathcal {R}}aRightarrow b{mathcal {R}}a.} cmathcal{R}a Rightarrow bmathcal{R}a.

Por tanto [a]=[b] que es una contradicción, por tanto, dos clases distintas no tienen elementos en común, así como todo elemento de K pertenece a una clase, queda bien definida una partición.

Dada una partición de K, {Ai}i∈I{displaystyle {A_{i}}_{iin I}}{A_i}_{iin I}, podemos definir la siguiente clase de equivalencia:


Dados dos elementos a y b de K están relacionados si pertenecen al mismo conjunto Ai.{displaystyle A_{i}.}A_i.


La partición tiene como elementos las clases de equivalencia. Estas son disjuntas dos a dos y la unión de ellas es igual al conjunto K.



  • para cualquiera dos ai,aj{displaystyle a_{i},a_{j}}a_i,a_j no relacionados tenemos: [ai]∩[aj]=∅{displaystyle [a_{i}]cap [a_{j}]=emptyset }[a_i]cap[a_j]=emptyset;

  • la unión de todos integra al total: s[as]=K{displaystyle bigcup _{s}[a_{s}]=K}bigcup_s[a_s]=K



Ejemplos


  • Sea N= {0,1,2, 3...}. Se define una relación de equivalencia en NxN, como sigue: (a;b)~ (c;d) si y sólo si a+d = b +c. Esta es una relación de equivalencia en NxN y cada clase de equivalencia es un número entero. [(2;0)]= { (x;y)/ 2+y = 0 + x } a (2;0) se llama representante canónico y se denota, simplificadamente, 2.

  • La igualdad matemática.

  • La relación de congruencia módulo M en el conjunto de los números enteros (i. e. M∈Z{displaystyle Min mathbb {Z} }Minmathbb{Z}), donde se define: a∼b{displaystyle asim b}a sim b si y sólo si a−b{displaystyle a-b,} a - b, es múltiplo de M.

Esta relación es de equivalencia porque:

  • Es reflexiva: a - a = 0, que es múltiplo de M.

  • Es simétrica: si a - b es múltiplo de M, entonces b - a = -(a - b) también es múltiplo de M.

  • Es transitiva: sean k y l números enteros tales que a - b = M k y b - c = M l. Entonces, a - c = (a - b) + (b - c) = M k + M l = M(k + l) y por tanto un múltiplo de M. En particular, si M = 2 tenemos la tradicional clasificación de los números enteros en pares e impares.



  • Sea H un subgrupo de un grupo G. Definiendo para elementos del grupo a∼b{displaystyle asim b}a sim b si y sólo si ab−1∈H{displaystyle ab^{-1}in H}ab^{-1}in H, tendremos la relación de equivalencia llamada congruencia módulo H .

  • Definiendo, para elementos del grupo, a∼b{displaystyle asim b}a sim b si y sólo si existe g en G talque gag−1=b{displaystyle gag^{-1}=b}gag^{-1}=b, se llama relación de conjugación. Sus clases: clases de conjugación. Las clases de equivalencia reciben el nombre de órbita o clase de conjugación.

  • Sean los números reales a y b, diremos que a∼b{displaystyle asim b}a sim b s.s.s. sus máximos enteros son iguales. La clase de equivalencia son los intervalos [n; n+1) donde n es un número entero. Así 3,56 y 3,875 son equivalentes pues tienen el mismo máximo entero = 3.


Véase también



  • Teoría del orden

  • Topología cociente

  • Espacio vectorial cociente

  • Equivalencia lógica



Referencias


Weisstein, Eric W. «Relación de equivalencia». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research. 


  • James R.Munkres,Topología, (2002),Prentice Hall.



Popular posts from this blog

Plaza Victoria

Puebla de Zaragoza

Musa