Relaciones de equivalencia

Jocelyn Simmonds

Departamento de Ciencias de la Computación

CC3101 (DCC) Matemáticas Discretas 1 / 27

Relaciones de Equivalencia

Una relación R en un conjunto A es una relación de equivalencia si es

reflexiva, simétrica y transitiva

Se dice que dos elementos relacionados por una relación de equivalencia

son equivalentes (con respecto a la relación). ¿Por qué?
Reflexividad: cualquier elemento es equivalente a si mismo
Simetrı́a: no importa en que orden estén relacionados dos elementos
. . . si están relacionados, son equivalentes para la relación
Transitividad: si elementos a y b son equivalentes, y además b y c
son equivalentes, entonces a y c son equivalentes para la relación

CC3101 (DCC) Matemáticas Discretas 2 / 27

Ejemplo

Sea R ⊆ Z × Z, donde R = {(a, b) | a y b tienen la misma paridad}

¿La relación de paridad es una relación de equivalencia?

Reflexividad: como a tiene la misma paridad que si mismo, para
cualquier a en Z, se sigue que R es reflexiva
Simetrı́a: (a, b) ∈ R, significa que a y b tienen la misma paridad
(ambos pares, o ambos impares). Por lo tanto, (b, a) también
pertenece a R, lo que significa que R es simétrica
Transitividad: supongamos que (a, b) ∈ R y (b, c) ∈ R. Como a y c
tienen la misma paridad que b, significa que a y c tienen la misma
paridad. Por lo tanto, (a, c) ∈ R, ası́ que R es transitiva

Para esta relación, los números pares son “equivalentes” entre si, idem los
impares. Estos subconj. son disjuntos, y su unión es el conjunto inicial.
CC3101 (DCC) Matemáticas Discretas 3 / 27
Clases de Equivalencia

Sea R una relación de equivalencia en A. El conjunto de todos los

elementos que están relacionados con un elemento a ∈ A se llama la clase
de equivalencia de a, y se denota [a]R , donde [a]R = {b ∈ A | (a, b) ∈ R}

Si b ∈ [a]R , diremos que b es un representante de la clase de eq. [a]R

Ejemplo: para la relación de paridad, tenemos las siguientes clases de

equivalencia:
[0]R = {. . . , −4, −2, 0, 2, 4, . . . } = [2]R = [16]R = . . .
[1]R = {. . . , −3, −1, 1, 3, . . . } = [−3]R = [9]R = . . .

CC3101 (DCC) Matemáticas Discretas 4 / 27

Detour: algunas definiciones

Sean a ∈ Z y d ∈ Z+ . Existen dos únicos enteros q y r (cociente y resto,

resp.) tales que a = dq + r , donde 0 ≤ r < d
q = a div d (parte entera de la división)
r = a mod d (resto de la división)

Si a, b ∈ Z y m ∈ Z+ , entonces a es congruente con b módulo m si

m divide a − b, y se denota “a ≡ b (mod m)” (o también a ≡m b)

O sea, dos números son congruentes módulo m si tienen el mismo resto

con respecto a m. Si a y b no son congruentes módulo m, escribimos
a ̸≡ b (mod m)

CC3101 (DCC) Matemáticas Discretas 5 / 27

Detour: algunas definiciones

Sean a, b ∈ Z y m ∈ Z+ . Entonces a ≡ b (mod m) si, y solo si,

a mod m = b mod m

Ejemplos:
10 ≡ 25 (mod 3), dado que 10 mod 3 = 25 mod 3 = 1
7 ̸≡ 10 (mod 4), dado que 7 mod 4 = 3 y 10 mod 4 = 2

Sea R ⊆ Z × Z, donde R = {(a, b) | a ≡ b (mod m)}. ¿Es una rel. de eq.?

CC3101 (DCC) Matemáticas Discretas 6 / 27

Ejemplo

Sea R ⊆ Z × Z, donde R = {(a, b) | a ≡ b (mod m)}. ¿Es una rel. de eq.?

Reflexividad: sea x ∈ Z. Como x − x = 0, y 0 es divisible por m, se
cumple que x ≡ x (mod m). Generalizando, tenemos que
∀a ∈ Z, a ≡ a (mod m), es decir, R es reflexiva ■
Simetrı́a: sean x, y ∈ Z
Si (x, y ) ∈ R, entonces x ≡ y (mod m)
Por la def. de congruencia, tenemos que m divide x − y , es decir,
∃k ∈ Z tal que x − y = km
Multiplicando ambos lados por -1, obtenemos que y − x = (−k)m
Como −k también es entero, significa que m también divide y − x, ası́
que se cumple que y ≡ x (mod m), es decir, (y , x) ∈ R
Generalizando, podemos concluir que R es simétrica ■

CC3101 (DCC) Matemáticas Discretas 7 / 27

Ejemplo

Sea R ⊆ Z × Z, donde R = {(a, b) | a ≡ b (mod m)}. ¿Es una rel. de eq.?

Transitividad: sean x, y , z ∈ Z
Si (x, y ) ∈ R y (y , z) ∈ R, tenemos que x ≡ y (mod m) y
y ≡ z (mod m)
Es decir, x − y y y − z son divisibles por m:
∃k ∈ Z tal que x − y = km
∃ℓ ∈ Z tal que y − z = ℓm
Sumando estas dos ec., obtenemos que x − z = (k + ℓ)m, donde
(k + ℓ) es claramente un entero, por lo que x − z es divisible por m
Entonces, x ≡ z (mod m), por lo que (x, z) ∈ R
Generalizando, podemos concluir que R es transitiva ■
∴ Como R es reflexiva, simétrica y transitiva, es rel. de eq. ■

CC3101 (DCC) Matemáticas Discretas 8 / 27

Ejemplo

¿Cuáles son las clases de equivalencia de congruencia módulo 4?

[0]≡4 = {x ∈ Z tales que el resto de la división por 4 es 0}
= {· · · − 8, −4, 0, 4, 8, . . . }
[1]≡4 = {x ∈ Z tales que el resto de la división por 4 es 1}
= {· · · − 7, −3, 1, 5, 9, . . . }. Como quedan elementos de Z sin clase
de eq., quedan algunas clases de eq. por descubrir
[2]≡4 = {x ∈ Z tales que el resto de la división por 4 es 2}
= {· · · − 6, −2, 2, 6, 10, . . . }
[3]≡4 = {x ∈ Z tales que el resto de la división por 4 es 3}
= {· · · − 5, −1, 3, 7, 11, . . . }

Es fácil ver que Z = [0]≡4 ∪ [1]≡4 ∪ [2]≡4 ∪ [3]≡4 , y que [0]≡4 ∩ [1]≡4 = ∅,
[0]≡4 ∩ [2]≡4 = ∅ . . .

CC3101 (DCC) Matemáticas Discretas 9 / 27

Particiones

Sea R unas relación de equivalencia en A. Entonces, para dos clases de

equivalencia [a]R y [b]R cualquiera, se cumple que:
1 [a]R = [b]R si (a, b) ∈ R
2 [a]R ∩ [b]R = ∅ si (a, b) ̸∈ R

Demostrar (propuesto):
1 [a]R = [b]R si (a, b) ∈ R: como hay que demostrar equivalencia,
deben demostrar que [a]R ⊆ [b]R y que [b]R ⊆ [a]R . Recordar que
A ⊆ B si x ∈ A → x ∈ B
2 [a]R ∩ [b]R = ∅ si (a, b) ̸∈ R: demostrar por reducción al absurdo,
asumir que (a, b) ̸∈ R y [a]R ∩ [b]R ̸= ∅ y derivar una contradicción

CC3101 (DCC) Matemáticas Discretas 10 / 27

Particiones

La colección se subconjuntos {Ai }, donde i ∈ I (un conjunto de ı́ndices)

forma una partición de A sii S
1) Ai ̸= ∅ para todo i ∈ I 3) Ai = A
i∈I
2) Ai ∩ Aj = ∅ si i ̸= j

Teorema: Sea R una relación de eq. en A. Entonces, las clases de eq. de

R forman una partición de A. Recı́procamente, dada una partición
{Ai | i ∈ I } del conjunto A, hay una relación de eq. cuyas clases de eq.
son los conjuntos Ai , i ∈ I

Demostrar (propuesto) en forma directa, usando las prop. de clases de eq.

CC3101 (DCC) Matemáticas Discretas 11 / 27

Ejercicios Propuestos

1 Demostrar que si R, S son relaciones transitivas en A, entonces R ∩ S

es relación transitiva
2 Demostrar que las siguientes relaciones son relaciones de eq.:
1 R en Z, donde R = {(a, b) | a + 2b es divisible por 3}
2 R en Q, donde R = {(p, q) | p = ba , q = dc , (p, q) ∈ R sii ad = bc}
3 R en R, donde R = {(x, y ) | |x| + |y | = |x + y |}
3 Sea f : A → A una función, y R = {(a, b) | f (a) = f (b)}. ¿Es R una
relación de equivalencia? Si lo es, ¿cómo particiona el conjunto A?

CC3101 (DCC) Matemáticas Discretas 12 / 27

Cierre de Relaciones

Sea R una relación en A:

R puede o no cumplir una cierta propiedad, e.g., reflexividad
Si R no cumple una cierta propiedad: ¿cuáles elementos de A × A hay
que agregar a R para que R cumpla la propiedad?
Queremos agregar lo justo y necesario para que la propiedad se
cumpla – o sea, la extensión mı́nima de la relación R
Esta nueva relación es el cierre de R con respecto a la propiedad dada

CC3101 (DCC) Matemáticas Discretas 13 / 27

Cierre de Relaciones

Más formalmente:

Sea R una rel. en A que no cumple una prop. P. Sea S una rel. tal que:
1 R ⊆ S,
2 S cumple la prop. P, y
3 si T es otra rel. que cumple la prop. P y R ⊆ T , entonces S ⊆ T
Entonces, S es el cierre de R con respecto a P

Nos interesa el cierre con respecto a la reflexividad, simetrı́a y transitividad

CC3101 (DCC) Matemáticas Discretas 14 / 27

Reflexividad

Ejemplo: sea A = {1, 2, 3} y R = {(1, 1), (1, 2), (2, 1), (3, 2)}
Claramente, esta relación no es reflexiva
Para cerrarla con respecto a reflexividad, debemos agregar al menos
dos pares ordenados: (2, 2) y (3, 3)
Podemos agregar más pares ordenados a R, pero basta con estos dos
para que la relación sea reflexiva
Entonces, si S es el cierre reflexivo de R,
S = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 2), (3, 3)}

Sea R una relación en A, y S su cierre reflexivo. Entonces, S = R ∪ ∆,

donde ∆ = {(a, a) | a ∈ A}

CC3101 (DCC) Matemáticas Discretas 15 / 27

Ejemplos de cierre reflexivo

¿Cuál es el cierre reflexivo de las siguientes relaciones?

1 Sea R en Z, donde R = {(a, b) | a > b}
Podemos definir ∆ = {(a, a) | a ∈ Z} = {(a, b) | a = b}
Entonces, S = R ∪ ∆ = {(a, b) | a > b} ∪ {(a, b) | a = b}
Por def. de unión, S = {(a, b) | a > b ∨ a = b} = {(a, b) | a ≥ b}
2 Sea R en Z, donde R = {(a, b) | a = b ∨ a = −b}
Como (a, a) ya es elemento de R, el cierre reflexivo de R es R

CC3101 (DCC) Matemáticas Discretas 16 / 27

Simetrı́a

Ejemplo: sea A = {1, 2, 3} y R = {(1, 2), (1, 3), (2, 3), (3, 2)}
Claramente, esta relación no es simétrica
Para cerrarla con respecto a simetrı́a, debemos agregar al menos dos
tuplas: (2, 1) y (3, 1)
Ambas tuplas pertenecen a R −1 = {(b, a) | (a, b) ∈ R}, la rel.
inversa de R
Entonces, si S es el cierre simétrico de R,
S = {(1, 2), (1, 3), (2, 1), (2, 3), (3, 1), (3, 2)}

Sea R una relación en A, y S su cierre simétrico. Entonces, S = R ∪ R −1 ,

donde R −1 es la relación inversa de R

CC3101 (DCC) Matemáticas Discretas 17 / 27

Ejemplos de cierre simétrico

¿Cuál es el cierre simétrico de las siguientes relaciones?

1 Sea R en Z, donde R = {(a, b) | a > b}

R −1 = {(b, a) | (a, b) ∈ R} = {(b, a) | a > b}

Cambio de variables: R −1 = {(b, a) | a > b} = {(c, a) | a > c} =
{(c, b) | b > c} = {(a, b) | b > a}
Ası́ que S = R ∪ R −1 = {(a, b) | a > b} ∪ {(a, b) | b > a}
= {(a, b) | a > b ∨ b > a} = {(a, b) | a ̸= b}
2 Sea R en Z, donde R = {(a, b) | a + b ≤ 3}
Como a + b = b + a, tenemos entonces que si a + b ≤ 3 es V,
entonces b + a ≤ 3 también lo es, por lo que esta relación es simétrica
Ası́ que el cierre simetrico de R es R

CC3101 (DCC) Matemáticas Discretas 18 / 27

Transitividad

Ejemplo: sea A = {1, 2, 3, 4} y R = {(1, 3), (1, 4), (2, 1), (3, 2)}
Esta relación no es transitiva: (1, 3), (3, 2) ∈ R, pero (1, 2) ̸∈ R
Por la definición de transitividad, habrı́a que agregar al menos los
siguientes pares a R: T = {(1, 2), (2, 3), (2, 4), (3, 1)}
Definamos R ′ = R ∪ T . . . ¿es R ′ transitiva?
No, porque (1, 2), (2, 1) ∈ R ′ , pero (1, 1) ̸∈ R ′
Construir el cierre transitivo de R no es tan fácil como construir el
cierre reflexivo o simétrico
Analicemos un ejemplo más simple

CC3101 (DCC) Matemáticas Discretas 19 / 27

Transitividad

Sea A = {1, 2, 3, 4} y R = {(1, 2), (2, 3), (3, 4)}. R no es transitiva.

1 2 3 4

Faltan los arcos (1, 3) y (2, 4) (def. de transitividad)

Estos son los arcos entre los nodos alcanzables en dos pasos, es decir,
son elementos de R 2 . ¿Faltan más arcos?
Si: como ahora (1, 2), (2, 4) ∈ R, falta agregar (1, 4)
(1, 4) ∈ R 3 , o sea, agregamos arcos entre los nodos alcanzables en
tres pasos
Ahora R es transitiva

CC3101 (DCC) Matemáticas Discretas 20 / 27

Transitividad

En este ejemplo, el “camino” más largo sin ciclos entre nodos es de largo
3, dado que |A| = 4. Entonces, no hace falta considerar R 4 , R 5 . . . para
construir el cierre transitivo de R.

1 2 3 4

Regla para generar el cierre transitivo de una relación:

Si existe algún camino entre nodos a y b en R, entonces debemos
agregar el arco (a, b) al cierre transitivo de R

CC3101 (DCC) Matemáticas Discretas 21 / 27

Caminos

Un camino de nodo a a nodo b en un grafo dirigido G es una sucesión de

aristas (x0 , x1 ), (x1 , x2 ), . . . (xn−1 , xn ) donde n ≥ 1, x0 = a y xn = b. Este
camino se denota como x0 , x1 , . . . xn−1 , xn , y es de largo n

Relación entre la existencia de un camino y la composición de relaciones:

Sea R una relación en A. Hay un camino de largo n ≥ 1 de nodo a a
nodo b si, y solo si (a, b) ∈ R n .

Ahora podemos definir el cierre transitivo de una relación: necesitamos

agregar un arco entre cada par de nodos conectados por algún camino.

CC3101 (DCC) Matemáticas Discretas 22 / 27

Cierre Transitivo

Sea R una relación en A. La relación de conexión R ∗ consta de las tuplas

(a, b) tales que hay un camino en R de largo al menos 1 de a a b.
Como R n esta formado por los pares (a, b) tales que hay un camino
de largo n de a a b . . .
∞
. . . se sigue que R ∗ = Rn
S
n=1

El cierre transitivo de una relación R es la relación de conexión R ∗

Si |A| = n y R es una relación en A, entonces el cierre transitivo de R en

A es R ∗ = R ∪ R 2 ∪ · · · ∪ R n

CC3101 (DCC) Matemáticas Discretas 23 / 27

Ejemplo de cierre transitivo

Sea R en el conjunto de personas tal que R = {(a, b) | a conoce a b}

¿Cuál es la relación R n , para n > 1?
R n consta de los pares (a, b) tales que hay personas x1 , x2 . . . xn−1 tal
que a conoce a x1 , x1 conoce a x2 , . . . y xn−1 conoce a b
¿Cuál es la relación R ∗ ?
R ∗ consta de los pares (a, b) tales que existe alguna sucesión de
personas tal que:
1 a conoce a la primera persona de la sucesión
2 cada persona de la sucesión conoce a la siguiente de la sucesión,
3 y la ultima persona de la sucesión conoce a b

CC3101 (DCC) Matemáticas Discretas 24 / 27

Funciones: un caso especial de relaciones

CC3101 (DCC) Matemáticas Discretas 25 / 27

Funciones

Sean A, B conjuntos. Una función f de A en B es una asignación de

exactamente un elemento de B a cada elemento de A, denotado f : A → B

Escribimos f (a) = b si b es el elemento de B asignado por la función f al

elemento a. Además, diremos que:
A es el dominio de f
B es el codominio de f
b es la imagen de a y a es la preimagen de b
rango (o imagen) de f : el conjunto de todas las imágenes de los
elementos de A, es decir, I = {b | a ∈ A, b ∈ B, f (a) = b} ⊆ B

CC3101 (DCC) Matemáticas Discretas 26 / 27

Propiedades de funciones

Una función f : A → B es inyectiva sii ∀x, y ∈ A (f (x) = f (y ) → x = y )

Esta expresión será falsa si podemos encontrar dos elementos
distintos que tengan la misma imagen
De forma equivalente, una función es inyectiva si, y solo si,
∀x, y ∈ A (x ̸= y → f (x) ̸= f (y ))

Una función f : A → B es sobreyectiva sii ∀y ∈ B, ∃x ∈ A (f (x) = y )

Una función f : A → B es biyectiva si es tanto inyectiva como sobreyectiva

CC3101 (DCC) Matemáticas Discretas 27 / 27