RELACIONES DE EQUIVALENCIAS

DEFINICIÓN:

Las relaciones de equivalencias son usadas con bastante frecuencia en todas

las ramas de las matemáticas, ellas se originan cuando uno desea considerar
todos aquellos miembros de un conjunto que posee alguna característica pre-
asignada como una sola entidad. Esto es, una relación de equivalencia busca
identificar que elementos de un cierto conjunto poseen una cierta característica
común.
Veremos las propiedades que tienen que cumplir el último tipo y como
comprobar que realmente son relaciones de equivalencia. Además veremos
dos nuevos conceptos que se obtienen a partir de las relaciones de
equivalencia.

Diremos que una relación es de equivalencia cuando cumple las propiedades

reflexiva, simétrica y transitiva.

Una relación binaria es una relación de equivalencia si y solo si es reflexiva,

simétrica y transitiva.

Ejemplo 1: Dada la relación de equivalencia siguiente: “dos números están

relacionados siempre y cuando su diferencia sea un número par” (es decir, aRb
↔ a-b es par), sobre el conjunto de los números enteros; demostrar que es una
relación de equivalencia.

Para ello, tenemos que demostrar que se cumplen las tres propiedades que
hemos mencionado en la definición:

1- Es reflexiva: para todo elemento de los números enteros aRa, ya que a-

a=0, que se considera un número par.

2- Es simétrica: para cualesquiera dos elementos de los números enteros, se

tiene que si aRb→bRa, ya que si a-b es un número par, entonces b-a también
es un número par (aunque con signo distinto). Por ejemplo: 3R5 porque 3-5= -2
(número par), y 5R3 porque 5-3=2 (número par).

3- Es transitiva: Si se cumple que aRb y bRc → aRc, ya que si a-b es un

número par y b-c es un número par entonces a-c que también se puede escribir
como a-c=a-b+b-c=(a-b)+(b-c) es un número par por ser suma de dos números
pares. Por ejemplo: 5R9 (5-9=-4 par) y 9R15 (9-15=-6 par), entonces 5R15 (5-
15=-10 par).

Ejemplo 2: Comprobar que la relación ser menor que en los números enteros
no es una relación de equivalencia.

Es decir tenemos que comprobar que la relación aRb↔a<b cumple las

propiedades de la realción de equivalencia.

1- No es reflexiva: aRa↔a<a, lo cual no se cumple.Ya podríamos decir que la

relación no es de equivalencia, pero vamos a comprobar que pasa con el resto
de las propiedades.

2- No es simétrica: Ya que si aRb →bnoRa, por ejemplo, 3R7 (3<7) pero 7 no

R 3 (7<3 es mentira).

3- Es transitiva: Si aRb y bRc → aRc, ya que si a<b, y b<c, entonces a<b<c.

Gráficamente lo podemos representar de la siguiente manera:

Las flechas de color verde indican que la relación es reflexiva, es decir, se

relaciona con su reflejo, consigo mismo.

La flecha de color rosa indica que la relación es simétrica. Como esta imagen:

Y las flechas de color celeste indican que la relación es transitiva. Que le

transfiere las propiedades de una cosa a la otra.

CLASE DE EQUIVALENCIA Y CONJUNTO COCIENTE

Clases de Equivalencia

Definición: Sea R una relación de equivalencia sobre un conjunto A. Para cada

a ∈ A, llamaremos clase de equivalencia de a, al conjunto formado por todos
los elementos de A que estén relacionados con el. La notaremos [a], es decir,
[a] = {x ∈ A: xRa} Obsérvese que la clase de equivalencia de un elemento a
nunca es vacía, ya que la reflexividad de R implica que a ∈ [a].

Ejemplo: Sea A = {a, b, c, d} y R el conjunto R = {(a, a),(a, b),(b, a),(b, b),(c,

c),(c, d),(d, c),(d, d)} Representar el dígrafo de R y calcular las clases de
equivalencia.

Solución:
Obsérvese que [a] = [b] y [c] = [d], es decir, existen sólo dos clases de
equivalencia.

Lema: Sea R una relación de equivalencia sobre el conjunto A. Entonces,

a) [a] = [b] si, y sólo si aRb.
b) Si [a] 6= [b], entonces [a] ∩ [b] = ∅
Demostración
a) [a] = [b] si, y sólo si aRb.
“Solo si”. En efecto, supongamos que [a] = [b]. Como a ∈ [a] y [a] = [b],
entonces a ∈ [b] de aquí que aRb.

“Si”. Supongamos que aRb y sea x cualquiera de A, entonces

x ∈ [a] ⇐⇒ xRa
=⇒ xRb {Hipótesis y transitividad de R}
⇐⇒ x ∈ [b]
tenemos, pues, que
∀x ∈ A (x ∈ [a] =⇒ x ∈ [b])
es decir, [a] ⊆ [b].

Por otra parte,

x ∈ [b] ⇐⇒ xRb
=⇒ xRa {Simetría de la hipótesis y transitividad de R}
⇐⇒ x ∈ [a]
tenemos, pues, que
∀x ∈ A (x ∈ [b] =⇒ x ∈ [a])
es decir, [b] ⊆ [a].

De la doble inclusión hallada se sigue el resultado.

b) Si [a] 6= [b], entonces [a] ∩ [b] = ∅
Probaremos la contra-recíproca. Es decir,
[a] ∩ [b] 6= ∅ =⇒ [a] = [b]

En efecto,
[a] ∩ [b] 6= ∅ =⇒ ∃x ∈ A: x ∈ [a] ∧ x ∈ [b]
⇐⇒ ∃x ∈ A: xRa ∧ xRb
=⇒ ∃x ∈ A: aRx ∧ xRb {Simetría}
=⇒ aRb {Transitividad}
⇐⇒ [a] = [b] {Apartado (b)}