Jorge Enrique Quiroz

Lectura 5: Relaciones de equivalencia y relaciones de orden

Términos clave: Par ordenado, producto cartesiano, relación binaria. relaciones de equivalencia y de orden.
Producto cartesiano R. … es el doble de … S. … es mitad de …
Los dos primeros en llegar a la meta en una carrera T. … es el triple de … U. … es divisor de …
de 100 metros planos, fueron Tim y Ben, V. … dividido por 2 da el mismo resto que …
respectivamente. Es decir que Tim llegó primero y
Ben en segundo lugar. Solución:
En matemática cuando queremos indicar que dados R = {(2, 1), (4, 2), (6, 3)}
dos elementos a y b quien es primero y quien segundo S = {(1, 2), (2, 4), (3, 6)}
utilizamos el objeto matemático: par ordenado al que
lo representamos por (a, b) y definimos por: T = {(3, 1), (6, 2)}
Par ordenado U = {(1, 1), (1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (2, 2),
(2, 4), (2, 6), (3, 3), (3, 6), (4, 4), (5, 5), (6, 6)}
El par ordenado de primer elemento a y segundo
elemento b es el conjunto: V = {(1, 1), (1, 3), (1, 5), (3, 1), (3, 3), (3, 5), (5, 1) (5, 5),
(2, 2), (2, 4), (2, 6), (4, 2), (4, 4), (4, 6), (6, 6)}
(a, b) = {{a}, {a, b}}
Notación de una relación binaria de A en B
Partes de un conjunto E: P(E)
Dado el conjunto E= {a, b, c}
R = {(x, y)  A × B/ P(x, y)}

¿Cuáles son los subconjuntos de E? Una relación binaria es un conjunto de pares

ordenados de A × B que verifica la propiedad P(x).
Recuerda que todos los conjuntos unitarios de los
elementos de E son subconjuntos de E: {a}, {b}, {c} Dominio de una relación binaria
También, si tomamos dos elementos de E: {a, b}, {a, El dominio de la relación R, definida de A en B es
c}, {b, c}. Además, E y  son subconjuntos de E. el conjunto formado por las primeras componentes
Por tanto: de los pares ordenados de la relación R.
P(E) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, E} DR = {x  A/ (x, y)  R}
Recuerda: si a  E, entonces {a}  P(E). Rango de una relación binaria
Producto cartesiano de A y B: A × B El rango de la relación R, definida de A en B es el
El producto cartesiano de los conjuntos A y B, conjunto formado por las segundas componentes
notado por: A × B es el conjunto formado por los de los pares ordenados de la relación R.
pares ordenado (a, b), tal que a  A y b  B. RR = {y  B/ (x, y)  R}
A × B = {(a, b) /a  A y b  B} Expresión gráfica de una relación binaria de A en B
Como ves hemos notado A × B por especificación.
1• 1• •1
Seguramente te preguntas ¿de qué conjunto extraes •2 2• •2
a los pares ordenados (a, b). Si a  A, entonces, 3• •5 3• •3
ocurre que {a}  P(E). Esta es una pista. Hállala. 4• •6 •4
4•
Ejemplo 5• •5
R 6• •6
Si A = {p, q r} y B = {2, 8}, ¿cuál es A × B? R
A × B = {(p, 2), (p, 8), (q, 2), (q, 8), (r, 2), (r, 8)} Damos tres formas de representación gráfica.
Relaciones binarias Cuando el número de pares ordenados es elevado: la
primera representación es la menos transparente u
Los ejemplos dados a continuación son relaciones más opaca que las otras.
que comparan elementos de pares ordenados por
los que se suele denominar relaciones binarias. Relación inversa de otra
En el conjunto E = {1, 2, 3, 4, 5, 6} se establecen las Analicemos las relaciones R y S dadas arriba:
relaciones siguientes:
R = {(2, 1), (4, 2), (6, 3)} y S = {(1, 2), (2, 4), (3, 6)}
25
Observamos que ambas tienen el mismo número de
pares y que para par (x, y) en la otra relación se tiene
el par (y, x), es decir el orden está invertido. En estos
casos se dice que una es la inversa de la otra.
Definición
Sea R una relación definida de A en B,
denominamos relación inversa de R y escribimos
R -1 a la relación de B en A definida por:
R -1 = {(y, x)  B × A/ (x, y)  R}
Vimos que R -1 es S, en los ejemplos dados.
Debemos observar también que S -1 es R.
De equivalencia
Si R es reflexiva, simétrica y transitiva.
Si R es de equivalencia y (x, y)  R escribimos:
x  y (Mod. R): se lee x es equivalente a y según R.
Clase de equivalencia
Si R es una relación de equivalencia sobre A y x
es un elemento de A, denominamos clase de
equivalencia de representante x por la relación R
al conjunto notado por [x] y formado por los
elementos de A que están relacionados con x.

Observación: algunos autores a la relación inversa Es decir: [x] = {y  A/ x  y (Mod. R)}

la denominan relación recíproca. Conjunto cociente
Propiedades de una relación R definida de A en A Si R es de equivalencia en A, denominamos
Una relación binaria R definida de A en A es: conjunto cociente de A por R, notado por 𝑨⁄𝓡, al
conjunto formado por todas las clases de
Reflexiva
equivalencia que determina R sobre A. Es decir:
Si para todo x de A se cumple (x, x)  R. 𝑨⁄ = {[x]  P(A)/ x  A}^
𝓡
Son relaciones reflexivas las relaciones U y V
dadas anteriormente. Ejemplo: la relación V, anterior es de equivalencia
En notación matricial la diagonal principal está V 1 2 3 4 5 6 [1] = {1, 3. 5}, pues
marcada. 1 • • •
1 está en relación con 1, 3 y 5.
2 • • •
Simétrica 3 • • • [3] = {1, 3. 5} = [5]. ([1]=[3]=[5])
Si el par (x, y)  R entonces (y, x)  R. 4 • • • 2 está en relación con 2, 4 y 6.
• • •
Es simétrica la relación U dada anteriormente.
5
• • •
[2] = [4] = [6].
6
En la notación matricial todo punto tiene un punto
¡Solo hay 2 clases de equivalencia: [1], [2]!
simétrico, respecto a la diagonal principal.
Relación de orden
Antisimétrica
Si (x, y)  R y (y, x)  R entonces x = y. R es de orden, si es reflexiva, antisimétrica y transitiva.

Es antisimétrica la relación V dada anteriormente. Relación de orden total

Si R es de orden y si dos elementos arbitrarios de A
En forma equivalente decimos que R es antisimé-
siempre están relacionados.
trica, si (x, y)  R y x ≠ y entonces (y, x)  R
R es de orden total, sii R es de orden y (x, y)R  (x, y) R.
Transitiva
Si R es de orden, pero no de orden total, se dice que el
Si (x, y)  R y (y, z)  R entonces (x, z)  R.
orden es parcial.
U 1 2 3 4 5 6 V 1 2 3 4 5 6
Ejemplo de orden parcial es la relación U, anterior
1 • • • • • • 1 • • •
U = {(1, 1), (1, 2), (1, 3), (1, 4), (1, 5), 4 6
2 • • • 2 • • • (1, 6), (2, 2), (2, 4), (2, 6), (3, 3),  
3 • • 3 • • • (3, 6), (4, 4), (5, 5), (6, 6)} 5 2 3

4 • 4 • • •
1
5 • 5 • • •
Observación: algunos autores definen la relación de
6 • 6 • • •
orden como antisimétrica y transitiva y para el orden
Observa la propiedad reflexiva en U y V; la total, le adicionan la propiedad de tricotomía.
propiedad simétrica en V; la anti simétrica en U
Jeqq:04-10-2021.
y la propiedad transitiva, tanto en U como en V.
26