RELACIONES Y CLASES DE EQUIVALENCIA

JUNIO DE 2015
Este tipo de relaciones binarias juegan un papel importante en todas las
ciencias porque permiten clasificar los elementos del conjunto en el que estn
definidas.
Muchas veces se tratan a los elementos de un conjunto por sus propiedades
ms no como objetos individuales. En estas situaciones, se pueden ignorar
todas las propiedades que no sean de inters y tratar elementos diferentes
como equivalentes, a menos que puedan diferenciarse utilizando nicamente
las propiedades que nos interesen.
En este trabajo se pretende dar una breve explicacin de sus propiedades para
los diferentes conjuntos, teniendo en cuenta que estas propiedades se
complementan entre s.

1. LAS RELACIONES DE EQUIVALENCIA

Una Relacin en un conjunto se llama de equivalencia si cumple que es
Reflexiva, Simtrica y Transitiva.
(i)
(ii)
(iii)

Todo elemento es equivalente a s mismo. (Reflexividad).

Si a es equivalente a b, entonces b es equivalente a a. (Simetra).
Si a es equivalente a b y b es equivalente a c, entonces a es equivalente
a c. (Transitividad).

TEOREMA DE LA PROPIEDAD:
Una relacin binaria

definida sobre un conjunto A se dice que es de

equivalencia cuando es reflexiva, simtrica y transitiva.

DEMOSTRACION:

Sea un conjunto A={ a , b , c ,d } y la relacin

R= { ( a , a ) , ( a ,b ) , ( b ,a ) , ( b , b ) , ( c , d ) , ( d , c ) , ( c , c ) , ( d , d ) }
Ver si R es de equivalencia.

Reflexiva :

a R a ( a ,a )
b R b ( b ,b )
c R c ( c , c )
d R d (d , d)

Luego x A [( x , x) R]
Simtrica :

( a , b) R (b , a) R
( c , d) R ( d , c) R
Luego x , y A [(x , y ) R ( y , x ) R]
Transitiva:

( a , a ) R y (a , b) R (a , b) R
( a , b ) R y ( b , a ) R ( a ,a ) R

(a , b) R y (b . b) R (a , b ) R
( b , a ) R y ( a , a ) R ( b ,a ) R
( b , a ) R y (a , b) R (b , b) R
( b , b ) R y ( b , a ) R ( b ,a ) R

( c , d ) R y ( d , d ) R ( c ,d ) R
( c , c ) R y ( c ,d ) R ( c , d ) R

( d , c) R y ( c , c) R ( d , c ) R
( d , d ) R y ( d , c ) R ( d , c) R
Luego , x , y A [ [ x , y ) R ( y , z ) R ( x , z ) R]

Como las tres condiciones de la relacin se cumplen, podemos asegurar que el

conjunto A es una Relacin de Equivalencia

2. CLASES DE EQUIVALENCIA
La

relacin

de

equivalencia

define subconjuntos

disjuntos en

llamados clases de equivalencia.

Las clases de equivalencia generan una particin del conjunto.

a , el conjunto dado por todos los elementos

Dado un elemento
relacionados con

definen la clase

[ a ] = {b |b R a }
Se le llama la clase de equivalencia asociada al elemento
Al elemento

a .

se le llama representante de la clase.

Se llama orden al nmero de clases que genera una relacin de equivalencia;

si ste es finito, se dice que la relacin es de orden finito.

DEFINICIN

Sea R una relacin de equivalencia sobre un conjunto A . Para cada a A , llamaremos clase de equivalenciade

que estn relacionados con l .

La notaremos [ a ] , es decir : [ a ] = { x | x R a }

DEMOSTRACIN:

Sea A={ a , b , c , d } y larelacin

R= { ( a , a ) , ( a ,b ) , ( b ,a ) , ( b , b ) , ( c , c ) , ( c , d ) , ( d , c ) , ( d , d ) }

Calcular las Clasesde Equivalencia .

Decimos que laclases son :

[ a ] ={a , b }
[ b ] = { a ,b }
[ c ] ={ c , d }
[ d ] ={ c , d }
Como obtenemos que [ a ] =[ b ] y [ c ]= [ d ]
podemosconcluir que solo existen dos C lases de Equivalencia .

LEMA
Sea

una relacin de equivalencia sobre el conjunto A. Entonces,

a Rb .

(i)

[a] = [b] si, y slo si

(ii)

Si [a] [b], entonces [a] [b] =

DEMOSTRACIN
(i)

[a] = [b] si, y slo si

a Rb .

Slo si. En efecto, supongamos que [a] = [b]. Como a [a] y [a] =
[b], entonces a [b] de aqu que
Si. Supongamos que

a Rb

a Rb .

y sea x cualquiera de A, entonces

x [a] x R a
=

xRb

{Hiptesis y transitividad de R}

x [b]
Tenemos, pues, que
x A (x [a] = x [b])
Es decir, [a] [b].

x Rb

Por otra parte, x [b]

= x R a

{Simetra de la hiptesis y

transitividad de R}

[a]

Tenemos, pues, que

x A (x [b] = x [a])
Es decir, [b] [a].
De la doble inclusin hallada se encuentra el resultado.
(ii)

Si [a] [b], entonces [a] [b] =

Probaremos la contra recproca. Es decir,
[a] [b] 6= = [a] = [b]
En efecto,
[a] [b] 6= = x A : x [a] x [b]
x A :

x Ra

x Rb

= x A :

aRx

x Rb

a Rb

[a] = [b]

{Simetra}

{Transitividad}
{Apartado (ii)}

Se puede observar que de lo anterior se dice que cualquiera de los elementos

que componen una clase de equivalencia puede elegirse como representante
de la misma

3. REFERENCIAS / BIBLIOGRAFIA
Frank Ayres, J. (2003). lgebra Moderna. Mxico: Mc Graw Hill. Recuperado el
29 de 05 de 2015
Gonzlez Gutirrez, F. J. (10 de 2004). Universidad de Cadiz. Recuperado el 07
de 06 de 2015, de http://www2.uca.es/matematicas/Docencia/20052006/ESI/1710003/Apuntes/Leccion8.pdf