g

Capítulo 3

RELACIONES

3.1 Relaciones
3.2 Relaciones de equivalencia
¿Una carcasa verde? ¡Por fin un color con el que me
Rincón de solución de
problemas: relaciones de puedo relacionar!
equivalencia
3.3 Matrices de relaciones
†
3.4 Bases de datos relacionales DE EL HOMBRE INCREÍBLE
Nota
Repaso del capítulo
Autoevaluación del capítulo
Las relaciones generalizan el concepto de funciones. La presencia del par ordenado (a, b)
Ejercicios para computadora
en una relación se interpreta como que existe una relación de a a b. El modelo de base de
datos relacional que ayuda a los usuarios a tener acceso a la información de una base de
datos (una colección de registros manejados por una computadora) se basa en el concepto
de relación.

3.1 ➜ Relaciones
Se puede pensar en una relación de un conjunto a otro como en una tabla que lista los ele-
mentos del primer conjunto que se relacionan con los elementos del segundo conjunto. La
tabla 3.1 .1 muestra qué estudiantes están inscritos en cuáles cursos. Por ejemplo, Guiller-
mo toma Computación y Arte, y María toma Matemáticas. En la terminología de las rela-
ciones, se dice que Guillermo está relacionado con Computación y Arte, y que María está
WWW relacionada con Matemáticas.
Por supuesto, la tabla 3.1 .1 en realidad es sólo un conjunto de pares ordenados. De
manera abstracta, se define una relación como un conjunto de pares ordenados. En este
contexto, se considera que el primer elemento del par ordenado está relacionado con el
segundo elemento del par ordenado.

TABLA 3.1.1 ■ Relación de estudiantes con cursos

Estudiante Curso

Guillermo Computación
María Matemáticas
Guillermo Arte
Beatriz Historia
Beatriz Computación
David Matemáticas

116 † Esta sección se puede omitir sin pérdida de continuidad.

 g

3.1 ◆ Relaciones 117

Definición 3.1.1 Una relación (binaria) R de un conjunto X a un conjunto Y es un subconjunto del produc-

▼
to cartesiano X × Y. Si (x, y) ∈ R, se escribe x R y, y se dice que x está relacionada con y.
Si X = Y, R se llama relación (binaria) sobre X.
El conjunto

{x ∈ X | (x, y) ∈ R para alguna y ∈ Y}

se llama dominio de R. El conjunto

{y ∈ Y | (x, y) ∈ R para alguna x ∈ X}

se llama rango de R.

▼
Una función (vea la sección 2 .2 ) es un tipo especial de relación. Una función f de X
a Y es una relación de X a Y que tiene las propiedades:
a) El dominio de f es igual X.
b) Para cada x ∈ X, existe exactamente una y ∈ Y tal que (x, y) ∈ f.

Ejemplo 3.1.2 Si
▼

X = {Guillermo, María, Beatriz, David}

Y = {Computación, Matemáticas, Arte, Historia},

la relación R de la tabla 3.1 .1 se puede escribir

R = {(Guillermo, Computación), (María, Matemáticas),

(Guillermo, Arte), (Beatriz, Historia),
(Beatriz, Computación), (David, Matemáticas)}.

Como (Beatriz, Historia) ∈ R, se puede escribir Beatriz R Historia. El dominio (primera co-
lumna) de R es el conjunto X y el rango (segunda columna) de R es el conjunto Y.

▼
El ejemplo 3.1 .2 muestra que es posible establecer una relación con sólo especificar
qué pares ordenados pertenecen a la relación. El siguiente ejemplo indica que algunas ve-
ces es posible definir una relación dando la regla para pertenecer a la relación.

Ejemplo 3.1.3 Sea

▼

X = {2 , 3, 4} y Y = {3, 4, 5, 6, 7}.
Si se define una relación R de X a Y por
(x, y) ∈ R si x divide a y,
se obtiene
R = {(2 , 4), (2 , 6), (3, 3), (3, 6), (4, 4)}
Si se rescribe R como tabla, se obtiene

X Y

2 4
2 6
3 3
3 6
4 4

El dominio de R es el conjunto {2 , 3, 4} y el rango de R es el conjunto {3, 4, 6}.

▼
 g

118 Capítulo 3 ◆ Relaciones

Ejemplo 3.1.4 Sea R la relación sobre X = {1 , 2 , 3, 4} definida por (x, y) ∈ R si x ≤ y, x, y ∈ X. Entonces

▼
R = {(1 , 1 ), (1 , 2 ), (1 , 3), (1 , 4), (2 , 2 ), (2 , 3), (2 , 4), (3, 3), (3, 4), (4, 4)}.
1 2 El dominio y rango de R son ambos iguales a X.

3 4
Figura 3.1.1 Digráfica de la
relación del ejemplo 3.1 .4.
▼
Una manera informativa de visualizar una relación en un conjunto es dibujar su di-
gráfica. (Las digráficas se estudiarán con más detalle en el capítulo 8. Por ahora, se men-
cionan las digráficas sólo en lo que se refiere a las relaciones). Para dibujar la digráfica de
una relación en un conjunto X, primero dibujamos puntos o vértices para representar los
elementos de X. En la figura 3.1 .1 se dibujaron cuatro vértices para representar los elemen-
tos del conjunto X del ejemplo 3.1 .4. Después, si el elemento (x, y) está en la relación, se
dibuja una flecha (llamada arista dirigida) de x a y. En la figura 3.1 .1 , se dibujaron aristas
dirigidas para representar los miembros de la relación R del ejemplo 3.1 .4. Observe que un
elemento de la forma (x, x) en una relación corresponde a una arista dirigida de x a x. Ta-
les aristas se llaman lazos. Existe un lazo en todos los vértices de la figura 3.1 .1 .

Ejemplo 3.1.5 La relación R sobre X = {a, b, c, d} dada por la digráfica de la figura 3.1 .2 es
▼

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

a
b

c
d

Figura 3.1.2 Digráfica de la relación

del ejemplo 3.1 .5.

▼
A continuación se definirán varias propiedades de las relaciones.

Definición 3.1.6 Una relación R en un conjunto X se llama reflexiva si (x, x) ∈ R para toda x ∈ X.
▼

▼
Ejemplo 3.1.7 La relación R sobre X = {1 , 2 , 3, 4} definida por (x, y) ∈ R si x ≤ y, x, y ∈ X, es reflexiva
▼

porque cada elemento x ∈ X, (x, x) ∈ R; en particular, (1 , 1 ), (2 , 2 ), (3, 3) y (4, 4) están en

R. La digráfica de una relación reflexiva tiene un lazo en cada vértice. Observe que la di-
gráfica de esta relación (figura 3.1 .1 ) tiene un lazo en cada vértice.
▼

Ejemplo 3.1.8 La relación

▼

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

sobre X = {a, b, c, d} no es reflexiva. Por ejemplo, b ∈ X, pero (b, b) ! R. El hecho de

que esta relación no sea reflexiva también se observa en su digráfica (figura 3.1 .2 ); el vér-
tice b no tiene lazo.
▼

Definición 3.1.9 Una relación R sobre un conjunto X se llama simétrica si para toda x, y ∈ X, si (x, y) ∈ R,
▼

entonces (y, x) ∈ R.
▼
 g

3.1 ◆ Relaciones 119

Ejemplo 3.1.10 La relación

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

sobre X = {a, b, c, d} es simétrica porque para toda x, y, si (x, y) ∈ R, entonces (y, x)

∈ R. Por ejemplo, (b, c) está en R y (c, b) también está en R. La digráfica de una relación
simétrica tiene la propiedad de que siempre que existe una arista dirigida de v a w, también
existe una arista dirigida de w a v. Note que la digráfica de la relación (figura 3.1 .2 ) tiene
la propiedad de que para toda arista dirigida de v a w, también existe la arista dirigida de
w a v.

▼
Ejemplo 3.1.11 La relación R sobre X = {1 , 2 , 3, 4} definida por (x, y) ∈ R si x ≤ y, x, y ∈ X, es no simé-
▼

trica. Por ejemplo, (2 , 3) ∈ R, pero (3, 2 ) ! R. La digráfica de esta relación (figura 3.1 .1 )
tiene una arista dirigida de 2 a 3, pero no de 3 a 2 .

▼
Definición 3.1.12 Una relación R en un conjunto X se llama antisimétrica si para toda x, y ∈ X, si (x, y) ∈ R
▼

y x ! y, entonces (y, x) ! R.

▼
Ejemplo 3.1.13 La relación R sobre X = {1 , 2 , 3, 4} definida por (x, y) ∈ R si x ≤ y, x, y ∈ X, es antisimé-
▼

trica porque para toda x, y, si (x, y) ∈ R y x ! y, entonces (y, x) ! R. Por ejemplo, (1 , 2 )

∈ R, pero (2 , 1 ) ! R. La digráfica de una relación antisimétrica tiene la propiedad de que
entre cualesquiera dos vértices existe a lo sumo una arista dirigida. Observe que la digrá-
fica de esta relación (figura 3.1 .1 ) tiene a lo sumo una arista dirigida entre cada par de
vértices.

▼
Ejemplo 3.1.14 La relación
▼

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

sobre X = {a, b, c, d} no es antisimétrica porque (b, c) y (c, b) están ambos en R. Observe

que en la digráfica de esta relación (figura 3.1 .2 ) hay dos aristas dirigidas entre b y c.

▼
Ejemplo 3.1.15 Si la relación no tiene miembros de la forma (x, y), x ! y, entonces
▼

si (x, y) ∈ R y x ! y, entonces (y, x) ! R

es vagamente cierto para toda x, y ∈ X [porque (x, y) ∈ R y x ! y es falsa para toda x,

y ∈ X]. Por lo tanto, si una relación R no tiene miembros de la forma (x, y), x ! y, enton-
ces R es antisimétrica. Por ejemplo,

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

a b
Figura 3.1.3 Digráfica de la
relación del ejemplo 3.1 .1 5.
c
sobre X = {a, b, c} es antisimétrica. La digráfica de R mostrada en la figura 3.1 .3 tiene a
lo sumo una arista dirigida entre cada par de vértices. Note que R también es reflexiva y si-
métrica. Este ejemplo muestra que “antisimétrica” no es lo mismo que “no simétrica” por-
que esta relación, de hecho, es simétrica y antisimétrica.
▼

Definición 3.1.16 Una relación R en un conjunto X se llama transitiva si para toda x, y, z ∈ X, si (x, y) y
▼

(y, z) ∈ R, entonces (x, z) ∈ R.

▼

Ejemplo 3.1.17 La relación R sobre X = {1 , 2 , 3, 4} definida por (x, y) ∈ R si x ≤ y, x, y ∈ X, es transitiva

▼

porque para todo x, y, z, si (x, y) y (y, z) ∈ R, entonces (x, z) ∈ R. Para verificar de manera
formal que esta relación satisface la definición 3.1 .1 6, se pueden listar todos los pares de la
 g

120 Capítulo 3 ◆ Relaciones

forma (x, y) y (y, z) en R y comprobar que en cada caso (x, z) ∈ R.

Pares de la forma Pares de la forma

(x, y) ( y, z) (x, z) (x, y) ( y, z) (x, z)

(1 , 1 ) (1 , 1 ) (1 , 1 ) (2 , 2 ) (2 , 2 ) (2 , 2 )
(1 , 1 ) (1 , 2 ) (1 , 2 ) (2 , 2 ) (2 , 3) (2 ,3)
(1 , 1 ) (1 , 3) (1 , 3) (2 , 2 ) (2 , 4) (2 , 4)
(1 , 1 ) (1 , 4) (1 , 4) (2 , 3) (3, 3) (2 , 3)
(1 , 2 ) (2 , 2 ) (1 , 2 ) (2 , 3) (3, 4) (2 , 4)
(1 , 2 ) (2 , 3) (1 , 3) (2 , 4) (4, 4) (2 , 4)
(1 , 2 ) (2 , 4) (1 , 4) (3, 3) (3, 3) (3, 3)
(1 , 3) (3, 3) (1 , 3) (3, 3) (3, 4) (3, 4)
(1 , 3) (3, 4) (1 , 4) (3, 4) (4, 4) (3, 4)
(1 , 4) (4, 4) (1 , 4) (4, 4) (4, 4) (4, 4)

En realidad, algunos elementos de la tabla anterior eran innecesarios. Si x = y o

y = z, no se necesita una verificación explícita de que la condición

si (x, y) y (y, z) ∈ R, entonces (x, z) ∈ R

se satisface, ya que será verdadera de modo automático. Suponga, por ejemplo, que x = y,
y (x, y) y (y, z) están en R. Como x = y, (x, z) = (y, z) está en R y la condición se cumple.
Al eliminar los casos x = y y y = z sólo los siguientes deben comprobarse de manera ex-
plícita para verificar que la relación es transitiva:

Pares de la forma
(x, y) ( y, z) (x, z)

(1 , 2 ) (2 , 3) (1 , 3)
(1 , 2 ) (2 , 4) (1 , 4)
(1 , 3) (3, 4) (1 , 4)
(2 , 3) (3, 4) (2 , 4)

La digráfica de una relación transitiva tiene la propiedad de que siempre que haya
aristas dirigidas de x a y y de y a z, también habrá una arista dirigida de x a z. Observe que
la digráfica de esta relación (figura 3.1 .1 ) tiene esta propiedad.

▼
Ejemplo 3.1.18 La relación
▼

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

sobre X = {a, b, c, d} no es transitiva. Por ejemplo, (b, c) y (c, b) están en R, pero (b, b)
no está en R. Observe que en la digráfica de esta relación (figura 3.1 .2 ) hay aristas dirigi-
das de b a c y de c a b, pero no hay una arista dirigida de b a b.
▼

Las relaciones resultan útiles para ordenar los elementos de un conjunto. Por ejem-
plo, la relación R definida en el conjunto de enteros por

(x, y) ∈ R si x ≤ y

ordena los enteros. Advierta que la relación R es reflexiva, antisimétrica y transitiva. Este
tipo de relación se llama orden parcial.

Definición 3.1.19 Una relación R en un conjunto X se llama orden parcial si R es reflexiva, antisimétrica y
▼

transitiva.
▼
 g

3.1 ◆ Relaciones 121

Ejemplo 3.1.20 Como la relación R definida en los enteros positivos por

▼
(x, y) ∈ R si x divide a y

es reflexiva, antisimétrica y transitiva, R es un orden parcial.

▼
Si R es un orden parcial en un conjunto X, la notación x ≼ y i se usa algunas veces
para indicar que (x, y) ∈ R. Esta notación sugiere que estamos interpretando la relación co-
mo una ordenación de los elementos de X.
Suponga que R es una relación de orden parcial en un conjunto X. Si x, y ∈ X y ya
sea x ≼ y i o y ≼ x, , se dice que x y y son comparables. Si x, y ∈ X y x ̸≼ y y y ̸≼ x,
se dice que x y y son incomparables. Si todo par de elementos de X es comparable, se lla-
ma a R de orden total. La relación menor o igual que en los enteros positivos es de orden
total, puesto que si x y y son enteros, x ≤ y o bien y ≤ x. La razón para el término “orden
parcial” es que, en general, algunos elementos de X pueden ser incomparables. La relación
“divide” en los enteros positivos (vea el ejemplo 3.1 .2 0) tiene elementos comparables e in-
comparables. Por ejemplo, 2 y 3 son incomparables (porque 2 no divide a 3 y 3 no divide
a 2 ), pero 3 y 6 son comparables (ya que 3 divide a 6).
Una aplicación de orden parcial es la programación de tareas.

Ejemplo 3.1.21 Programación de tareas

▼

Considere un conjunto T de tareas que deben realizarse para tomar fotos de interiores con
flash con una cámara específica.
1 . Retire la tapa del lente.
2 . Enfoque la cámara.
3. Quite el seguro.
4. Encienda la unidad de flash.
5. Oprima el botón de disparo.
Algunas tareas deben realizarse antes que otras. Por ejemplo, la tarea 1 debe efectuarse an-
tes que la tarea 2 . Por otro lado, otras tareas se pueden realizar en cualquier orden, como
por ejemplo, las tareas número 2 y 3.
La relación R definida en T por

iRj si i = j o la tarea i debe hacerse antes que la j

ordena las tareas. Se tiene

R = {(1 , 1 ), (2 , 2 ), (3, 3), (4, 4), (5, 5), (1 , 2 ), (1 , 5), (2 , 5), (3, 5), (4, 5)}.

Como R es reflexiva, antisimétrica y transitiva, es una de orden parcial. Una solución al

problema de programar tareas con el fin de tomar una foto es una ordenación total de las
tareas congruente con un orden parcial. De manera más precisa, se requiere un orden total
de las tareas
t1 , t2 , t3 , t4 , t5
tal que si ti R tj, entonces i = j o ti precede a tj en la lista. Entre las soluciones se tiene
1 , 2 , 3, 4, 5
y
3, 4, 1 , 2 , 5.
▼

Dada una relación R de X a Y, es posible definir una relación de Y a X invirtiendo el

orden de cada par ordenado en R. La relación inversa generaliza la función inversa. La de-
finición formal es la siguiente.
 g

122 Capítulo 3 ◆ Relaciones

Definición 3.1.22 Sea R una relación de X a Y. La inversa de R, denotada por R−1 , es la relación de Y a X de-

▼
finida por

R −1 = {( y, x) | (x, y) ∈ R}.

▼
Ejemplo 3.1.23 Si se define una relación R de X = {2 , 3, 4} a Y = {3, 4, 5, 6, 7} por

▼ (x, y) ∈ R si x divide a y,

se obtiene

R = {(2 , 4), (2 , 6), (3, 3), (3, 6), (4, 4)}.

El inverso de esta relación es

R−1 = {(4, 2 ), (6, 2 ), (3, 3), (6, 3), (4, 4)}.

En palabras, esta relación se describe como “es divisible entre”.

▼
Si se tiene una relación R1 de X a Y y una relación R2 de Y a Z, se puede formar la
composición de las relaciones aplicando primero la relación R1 y después la relación R2 . La
composición de las relaciones generaliza la composición de funciones. La definición for-
mal es la siguiente.

Definición 3.1.24 Sea R1 una relación de X a Y y R2 una relación de Y a Z. La composición de R1 y R2 , deno-

▼

tada por R2 % R1 , es la relación de X a Z definida por

R2 % R1 = {(x, z) | (x, y) ∈ R1 y ( y, z) ∈ R2 para alguna y ∈ Y}.

▼
Ejemplo 3.1.25 La composición de las relaciones
▼

R1 = {(1 , 2 ), (1 , 6), (2 , 4), (3, 4), (3, 6), (3, 8)}

y
R2 = {(2 , u), (4, s), (4, t), (6, t), (8, u)}

es

R2 % R1 = {(1 , u), (1 , t), (2 , s), (2 , t), (3, s), (3, t), (3, u)}.

Por ejemplo, (1 , u) ∈ R2 % R1 porque (1 , 2 ) ∈ R1 y (2 , u) ∈ R2 .

▼

Sugerencias para resolver problemas

Una relación R en un conjunto X es reflexiva si (x, x) ∈ R para toda x ∈ X. En palabras, una
relación es reflexiva si cada elemento en su dominio está relacionado consigo mismo. Para
verificar si una relación es reflexiva, sólo se comprueba si (x, x) está presente en R para to-
da x. Dado un diagrama de flechas, la relación es reflexiva si tiene un lazo en cada vértice.
Una relación R en un conjunto X es simétrica si para toda x, y ∈ X, si (x, y) ∈ R, en-
tonces (y, x) ∈ R. En palabras, una relación es simétrica si siempre que x está relacionada
con y, ocurre que y está relacionada con x. Para verificar si una relación es simétrica, se ve
si para cada miembro (x, y) en R, (y, x) también está presente. Dado un diagrama de fle-
chas, la relación es simétrica si siempre que haya una arista dirigida de x a y, también hay
una arista dirigida de y a x.
Una relación R en un conjunto X es antisimétrica si para toda x, y ∈ X, si (x, y) ∈
R y x ! y, entonces (y, x) ! R. En palabras, una relación es antisimétrica si siempre que x
 g

3.1 ◆ Relaciones 123

está relacionada con y y x y y son diferentes, entonces y no está relacionada con x. Para
comprobar si una relación es antisimétrica, se verifica cada miembro (x, y), x ! y, y se ve
si (y, x) no está presente. Dado un diagrama de flechas, la relación es antisimétrica si cuan-
do hay una arista dirigida de x a y , x ! y, no hay una arista dirigida de y a x. Advierta que
“no simétrica” no necesariamente es lo mismo que “antisimétrica”.
Una relación R en un conjunto X es transitiva si para toda x , y, z ∈ X, si (x, y) y
(y, z) ∈ R, entonces (x, z) ∈ R. En palabras, una relación es transitiva si siempre que x está
relacionada con y y y está relacionada con z, entonces x está relacionada con z. Para com-
probar si una relación es transitiva, se verifican todos los pares de la forma (x, y), (y, z) con
x ! y y y ! z, después se ve si (x, z) también está presente. Dado un diagrama de flechas,
las relación es transitiva si cuando hay aristas dirigidas de x a y y de y a z, también hay una
arista dirigida de x a z.
Un orden parcial está en una relación reflexiva, antisimétrica y transitiva.
La inversa R−1 de la relación R consiste en los elementos (y, x), donde (x, y) ∈ R. En
palabras, x está relacionada con y en R si y sólo si y está relacionada con x en R−1 .
Si R1 es una relación de X a Y y R2 es una relación de Y a Z, la composición de
R1 y R2 , denotada por R2 % R1 , es la relación de X a Z definida por

R2 ◦ R1 = {(x, z) | (x, y) ∈ R1 y ( y, z) ∈ R2 para alguna y ∈ Y}.

Para calcular la composición, se encuentran todos los pares de la forma (x, y) ∈ R1 y (y, z)
∈ R2 ; después se encuentran (x, z) en R2 % R1 .

Sección de ejercicios de repaso

1. ¿Qué es una relación binaria de X a Y?
2. ¿Qué es el dominio de una relación binaria?
3. ¿Qué es el rango de una relación binaria?
4. ¿Qué es la digráfica de una relación binaria?
5. Defina relación reflexiva. Dé un ejemplo de una relación reflexi-
va. Dé un ejemplo de una relación que no sea reflexiva.
6. Defina relación simétrica. Dé un ejemplo de una relación simétri-
ca. Dé un ejemplo de una relación no simétrica.
7. Defina relación antisimétrica. Dé un ejemplo de una relación anti-
simétrica. Dé un ejemplo de una relación que no sea antisimétrica.
8. Defina relación transitiva. Dé un ejemplo de una relación transi-
tiva. Dé un ejemplo de una relación que no sea transitiva.
9. Defina orden parcial y dé un ejemplo de orden parcial.
10. Defina una relación inversa y dé un ejemplo de una relación inversa.
11. Defina composición de relaciones y dé un ejemplo de composi-
ción de relaciones.

Ejercicios
En los ejercicios 1 al 4, escriba la relación como un conjunto de pares 4. a a
ordenados. b b
1.
8840 Martillo
En los ejercicio 5 al 8, escriba la relación como tabla.
992 1 Tenazas
5. R = {(a, 6), (b, 2 ), (a, 1 ), (c, 1 )}
452 Pintura
2 2 07 Alfombra 6. R = {{Rogelio, Música}, (Patricia, Historia), (Benjamín, Mate-
máticas), (Patricia, Ciencias Políticas)}
7. La relación R en {1 , 2 , 3, 4} definida por(x, y) ∈ R if x 2 ≥ y
2.
a 3 8. La relación R del conjunto X de planetas al conjunto Y de enteros
b 1 definida por (x, y) ∈ R si x está en la posición y respecto al sol (el
b 4 más cercano al sol está en la posición 1 , el segundo más cercano
c 1 al sol está en la posición 2 , y así sucesivamente).

3. En los ejercicios 9 al 12 dibuje la digráfica de la relación.

Susana Matemáticas
9. La relación del ejercicio 4 en {a, b, c}
Ruth Física
10. La relación R = {(1 , 2 ), (2 , 1 ), (3, 3), (1 , 1 ), (2 , 2 )} sobre X = {1 , 2 , 3}
Samuel Economía