UPC – Departamento de Ciencias – Matemática Discreta (MA265)

Relaciones: Definición, representación

CONTENIDO

UNIDAD Nº3: RELACIONES Y FUNCIONES

3.1 Definición y representación de relaciones.
▪ Introducción
▪ Relación
▪ Matriz de una relación
▪ Dígrafos
▪ Trayectorias
▪ Relación 𝑅 𝑛 y 𝑅 ∞

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

Relaciones: Definición, representación

Introducción
En la vida cotidiana se hace necesario clasificar y ordenar individuos (cosas, animales, personas
o números), de una u otra manera. Precisamente buscando llegar a los procesos de clasificación
y ordenación de todo aquello que posee características intrínsecas, se estudiará en este
capítulo el concepto de relación. Este capítulo tiene como finalidad estudiar las relaciones
binarias (relación entre dos elementos a y b de dos conjuntos A y B respectivamente), desde el
punto de vista discreto.
Las relaciones son de fundamental importancia en el área de computación. Una estructura
compuesta de datos, tal como un arreglo, lista, árbol, es generalmente usada para representar
simultáneamente a un conjunto de datos y a una relación que se cumple entre los miembros
del conjunto.
Definición
Si 𝐴 y 𝐵 son conjuntos no vacíos, se define el producto cartesiano 𝐴 × 𝐵 como:
𝐴 × 𝐵 = {(𝑎; 𝑏)/𝑎 ∈ 𝐴 ∧ 𝑏 ∈ 𝐵}
Ejemplo 1
Dados los conjuntos 𝐴 = {1; 2; 3; 4} y 𝐵 = {𝑎; 𝑏; 𝑐} determinar el producto cartesiano
𝐴 × 𝐵:
𝐴 × 𝐵 = {(1; 𝑎), (1; 𝑏), (1; 𝑐), (2; 𝑎), (2; 𝑏), (2; 𝑐), (3; 𝑎), (3; 𝑏), (3; 𝑐), (4; 𝑎), (4; 𝑏), (4; 𝑐)}
Se observa que: |𝐴 × 𝐵| = |𝐴||𝐵|
Definición
Sean 𝐴 y 𝐵 conjuntos no vacíos. Una relación 𝑅 de 𝐴 en 𝐵 es un subconjunto de 𝐴 × 𝐵.
Ejemplo 2
Dados los conjuntos 𝐴 = {2; 3; 4} y 𝐵 = {3; 6; 16}, hallemos la relación R “divide” de 𝐴 en
𝐵.
Primero hallemos el producto cartesiano 𝐴 × 𝐵:
𝐴 × 𝐵 = {(2; 3), (2; 6), (2; 16), (3; 3), (3; 6), (3; 16), (4; 3), (4; 6), (4; 16)}
La relación R es el conjunto de pares ordenados (𝑥; 𝑦) 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 𝑑𝑖𝑣𝑖𝑑𝑒 𝑎 𝑦, se puede decir
también que "𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 𝑦" y se representa así: 𝑥|𝑦.
𝑅 = {(2; 6), (2; 16), (3; 3), (3; 6), (4; 16)}
Se observa que 𝑅 es un subconjunto de 𝐴 × 𝐵
▪ Si 𝑅 ⊆ 𝐴 × 𝐵 y (𝑎; 𝑏) ∈ 𝑅, se dice que 𝑎 está relacionada con 𝑏 por 𝑅 y se escribe
𝑎𝑅𝑏.
▪ Si 𝐴 = 𝐵, 𝑅 ⊆ 𝐴 × 𝐴, es una relación sobre 𝐴.

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

Dominio
El dominio de 𝑅 (Dom(𝑅)) es el conjunto de todos los primeros elementos de los pares
ordenados que forman 𝑅.
Rango
El rango de 𝑅 (Ran(𝑅)) es el conjunto de todos los segundos elementos de los pares
ordenados que forman 𝑅.
Ejemplo 3
Sea 𝐴 = {2; 3; 4; 8} y sea 𝑅 la relación sobre 𝐴 definida por (𝑥; 𝑦) ∈ 𝑅 si 𝑥 < 𝑦.
𝑅 = {(2; 3), (2; 4), (2; 8), (3; 4), (3; 8), (4; 8)}.
𝐷𝑜𝑚(𝑅) = {2; 3; 4}
𝑅𝑎𝑛(𝑅) = {3; 4; 8}
Matriz de una relación
Si 𝐴 y 𝐵 son conjuntos finitos con 𝑛 y 𝑝 elementos respectivamente, y 𝑅 es una relación de 𝐴
en 𝐵, se representa 𝑅 por la matriz de orden 𝑛 × 𝑝,
1, 𝑠𝑖 (𝑎𝑖 ; 𝑏𝑗 ) ∈ 𝑅
𝑀𝑅 = [𝑚𝑖𝑗 ], la cual se define por 𝑚𝑖𝑗 = {
0, 𝑠𝑖 (𝑎𝑖 ; 𝑏𝑗 ) ∉ 𝑅
Ejemplo 4
Sea 𝐴 = {4; 5; 8} y 𝑅 la relación sobre 𝐴 definida por (𝑥; 𝑦) ∈ 𝑅 si 𝑥 + 𝑦 ≥ 10.
𝑅 = {(4; 8), (5; 5), (5; 8), (8; 4), (8; 5), (8; 8)}
Entonces:
4 5 8
4 0 0 1
𝑀𝑅 = .
5 [0 1 1]
8 1 1 1

Dígrafos
Una forma de visualizar una relación en un conjunto 𝐴 es dibujar su dígrafo (palabra derivada
de gráfico dirigido). Se Traza un pequeño círculo para cada elemento de A y se rotula el círculo
con el elemento correspondiente de A. Estos círculos se denominan vértices. Luego, se traza
una flecha, a la que se llama lado, arco o arista, del vértice 𝑎𝑖 al vértice 𝑎𝑗 si y solamente si
𝑎𝑖 𝑅𝑎𝑗 . La representación gráfica resultante de 𝑅 se llama gráfica dirigida o dígrafo de 𝑅.

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

Ejemplo 5
Si 𝑅 es una relación sobre el conjunto 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒}, representada por la matriz:
𝑎 𝑏 𝑐 𝑑 𝑒
𝑎 1 1 1 0 1
1 1
𝑀𝑅 = 𝑏𝑐 1 0 0
0 0 0 0 0
𝑑 0 0 0 0 1
𝑒 [1 0 1 1 1]

entonces su dígrafo es:

𝑒 𝑏

𝑑 𝑐

Ejemplo 6
Si 𝑅 es una relación sobre el conjunto 𝐴 = {1; 2; 3; 4}, definida por 𝑥𝑅𝑦 si 𝑥 ≤ 𝑦. Entonces:
𝑅 = {(1; 1), (1; 2), (1; 3), (1; 4), (2; 2), (2; 3), (2; 4), (3; 3), (3; 4), (4; 4)}
Por lo tanto, su dígrafo es:

4 2

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

Grado interno y grado externo

Si 𝑅 es una relación sobre un conjunto 𝐴 y 𝑎 ∈ 𝐴, entonces:
• El grado interno de 𝑎 es el número de elementos 𝑏 ∈ 𝐴 tal que (𝑏; 𝑎) ∈ 𝑅.
• El grado externo de 𝑎 es el número de elementos 𝑏 ∈ 𝐴 tal que (𝑎; 𝑏) ∈ 𝑅.

Ejemplo 7
Si 𝑅 = {(𝑎; 𝑎), (𝑎; 𝑏), (𝑎; 𝑐), (𝑎; 𝑒), (𝑏; 𝑎), (𝑏; 𝑏), (𝑏; 𝑐), (𝑑; 𝑒), (𝑒; 𝑎), (𝑒; 𝑐)}, entonces:

𝒙 GI(𝒙) GE(𝒙)
𝑎 3 4
𝑏 2 3
𝑐 3 0
𝑑 0 1
𝑒 2 2

Ejemplo 8
En el siguiente dígrafo asociado a una relación 𝑅:

𝑎
𝒙 GI(𝒙) GE(𝒙)
𝑎 3 4
𝑏 2 3
𝑒 𝑏
𝑐 3 0
𝑑 1 1
𝑒 3 4
𝑑 𝑐

Trayectorias

Una trayectoria de longitud 𝑛 de 𝑎 a 𝑏 es una secuencia finita:

: 𝑎, 𝑥1 , 𝑥2 , 𝑥3 … … , 𝑥𝑛−1 , 𝑏
que comienza con a y termina con b tal que:
𝑎𝑅𝑥1 , 𝑥1 𝑅𝑥2 , 𝑥2 𝑅𝑥3 … … , 𝑥𝑛−1 𝑅𝑏

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

Ejemplo 9
Dado el dígrafo asociado a una relación R, entonces:
• : a, e, a, b, c es una trayectoria de 𝑎 a 𝑐 de longitud 4.

𝑒 𝑏

𝑑 𝑐

• : 𝑏, 𝑎, 𝑎, 𝑒, 𝑒, 𝑑 es una trayectoria de 𝑏 a 𝑑 de longitud 5.

𝑒 𝑏

𝑑 𝑐

Relación 𝑹𝒏 Y 𝑹∞

Sea 𝑛 un entero positivo fijo. Se define la relación 𝑅 𝑛 sobre 𝐴 como sigue:

• 𝑥𝑅 𝑛 𝑦, significa que existe alguna trayectoria de longitud 𝑛 de 𝑥 a 𝑦 en 𝑅.
• 𝑥𝑅 ∞ 𝑦, significa que existe alguna trayectoria en 𝑅 de 𝑥 a 𝑦. A la relación 𝑅 ∞ se le
llama relación de conectividad.

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

Ejemplo 10
Dado el dígrafo asociado a una relación 𝑅.

𝑒 𝑏

𝑑 𝑐

Entonces:
• 𝑅 2 = {(𝑎, 𝑎), (𝑎, 𝑏), (𝑎, 𝑐), (𝑎, 𝑑), (𝑎, 𝑒), (𝑏, 𝑎), (𝑏, 𝑏), (𝑏, 𝑐), (𝑏, 𝑒), (𝑑, 𝑎), (𝑑, 𝑐),
(𝑑, 𝑑), (𝑑, 𝑒), (𝑒, 𝑎), (𝑒, 𝑏), (𝑒, 𝑐), (𝑒, 𝑑), (𝑒, 𝑒)}
Se observa en el dígrafo que en cada par ordenado (𝑥, 𝑦) existe una trayectoria de
longitud 2 para ir de 𝑥 a 𝑦.
• 𝑑𝑅 3 𝑏 porque existe alguna trayectoria de longitud 3 de “𝑑” a “𝑏”: 𝑑, 𝑒, 𝑎, 𝑏
• 𝑎𝑅 4 𝑐 porque existe alguna trayectoria de longitud 4 de “𝑎” a “𝑐”: 𝑎, 𝑏, 𝑎, 𝑒, 𝑐
• 𝑏𝑅 5 𝑒 porque existe alguna trayectoria de longitud 5 de “𝑏” a “𝑒”: 𝑏, 𝑎, 𝑒, 𝑒, 𝑒, 𝑒
• 𝑎𝑅 ∞ 𝑐 porque si existe alguna trayectoria de “𝑎” a “𝑐”, no importa de qué longitud.
• (𝑐, 𝑑) ∉ 𝑅 ∞ porque no existe alguna trayectoria de “𝑐” a “𝑑”.

Teorema
Sea R una relación definida sobre un conjunto 𝐴, y sea 𝑀𝑅 su matriz asociada. Se cumple que:
𝑀𝑅𝑛 = 𝑀
⏟𝑅 ⨀𝑀𝑅 … ⨀𝑀𝑅
𝑛 𝑣𝑒𝑐𝑒𝑠

Este teorema permite determinar de una manera eficiente los elementos de la relación 𝑅 𝑛 .
Por ejemplo, en el ejemplo 10, si nos piden la relación 𝑅 2 , basta con hallar 𝑀𝑅 , luego 𝑀𝑅2 =
𝑀𝑅 ⨀𝑀𝑅 y con los elementos de esta matriz identificar los elementos de la relación pedida.

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

Ejemplo 11
Dado el dígrafo asociado a una relación 𝑅.

𝑒 𝑏

𝑑 𝑐

Entonces:
• 𝑅 ∞ = {(𝑎, 𝑎), (𝑎, 𝑏), (𝑎, 𝑐), (𝑎, 𝑑), (𝑎, 𝑒), (𝑏, 𝑎), (𝑏, 𝑏), (𝑏, 𝑐), (𝑏, 𝑑), (𝑏, 𝑒),
(𝑑, 𝑐), (𝑑, 𝑑), (𝑒, 𝑎), (𝑒, 𝑏), (𝑒, 𝑐), (𝑒, 𝑑), (𝑒, 𝑒)}
• Se observa en el dígrafo que en cada par ordenado (𝑥, 𝑦) existe alguna trayectoria
para ir de 𝑥 a 𝑦.

EJERCICIOS PROPUESTOS
1. En el conjunto 𝐴 = {1; 2; 3; 4; 5} se define la siguiente relación:
𝑇 = {(1; 1), (1; 3), (1; 5), (2; 1), (2; 4), (3; 1), (3; 4), (3; 5), (4; 2), (4; 3), (5; 3)}
a) Determine el Dominio y Rango de la relación 𝑇.
b) Determine la matriz 𝑀𝑇 .
c) Trace el dígrafo asociado a la relación 𝑇.
d) Halle el grado interno y externo de cada elemento del conjunto 𝐴.
e) Determine las relaciones 𝑇 2 y 𝑇 ∞ .

2. Dado el conjunto A = {1; 2; 3; 4; 5; 6} se define la relación S en A de la siguiente manera:

𝑎𝑆𝑏 ⟺ |𝑎 − 𝑏| es divisible entre 3
a) Determine explícitamente (usando notación de conjuntos) los elementos que
componen la relación 𝑆. Indique el Dominio y Rango de 𝑆.
b) Determine la matriz 𝑀𝑆 .
c) Trace el dígrafo asociado a la relación 𝑆.
d) Halle el grado interno y externo de cada uno de sus vértices.
e) Determine las matrices 𝑀𝑆2 y 𝑀𝑆∞ .

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

3. Dado el conjunto 𝐴 = {1; 2; 3; 4; 5} se define la relación 𝑆 en 𝐴 de la siguiente manera:

𝑎𝑆𝑏 ⟺ 𝑎 + 𝑏 es divisible entre 4
a) Determine explícitamente (usando notación de conjuntos) los elementos que
componen la relación 𝑆. Indique el Dominio y Rango de 𝑆.
b) Determine la matriz 𝑀𝑆 .
c) Trace el dígrafo asociado a la relación 𝑆.
d) Halle el grado interno y externo de cada uno de sus vértices.
e) Determine las relaciones 𝑆 3 𝑦 𝑆 ∞ .

4. Dado el conjunto 𝐴 = {2; 3; 4; 6; 12} se define la relación S en A de la siguiente manera:

𝑥𝑆𝑦 ⟺ 𝑥 divide a 𝑦
a) Determine explícitamente (usando notación de conjuntos) los elementos que
componen la relación 𝑆. Indique el Dominio y Rango de 𝑆.
b) Determine la matriz 𝑀𝑆 .
c) Trace el dígrafo asociado a la relación 𝑆.
d) Halle el grado interno y externo de cada uno de sus vértices.
e) Determine las matrices 𝑀𝑆4 y 𝑀𝑆∞ .

5. El siguiente dígrafo representa la relación 𝑅 definida en el conjunto 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓 }.

a) Determine explícitamente (usando notación de conjuntos) los elementos que

componen la relación 𝑅. Indique el Dominio y Rango de 𝑅.
b) Determine la matriz 𝑀𝑅
c) Halle el grado interno y externo de cada elemento del conjunto 𝐴.
d) Determine las relaciones 𝑅 2 y 𝑅 ∞

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

6. Sea 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒} y 𝑅 una relación sobre el conjunto 𝐴, cuya representación matricial

se indica:

a) Determine explícitamente (usando notación de conjuntos) los elementos que

componen la relación 𝑅. Indique el Dominio y Rango de 𝑅.
b) Trace el dígrafo asociado a la relación 𝑅. Indique el grado interno y externo de cada
uno de sus vértices.
c) Determine las matrices 𝑀𝑅2 y 𝑀𝑅∞

7. Se tienen las siguientes relaciones 𝑅 y 𝑆 sobre 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔} definidas mediante

su matriz y dígrafo respectivamente.

Matriz de 𝑅 Dígrafo 𝑆
a) Determine explícitamente (usando notación de conjuntos) los elementos que
componen la relación 𝑆. Indique el Dominio y Rango de 𝑆
b) Indique el grado interno y externo de cada elemento del conjunto 𝐴 para cada relación
c) El par ordenado (𝑓, 𝑔), ¿pertenece a 𝑅 3 ?
d) El par ordenado (𝑑, 𝑎), ¿pertenece a 𝑅 ∞ ?

8. En el conjunto 𝐴 = {1; 2; 3; 4; 5; 6; 7} se define la siguiente relación:

𝑇 = {(1; 2), (1; 3), (2; 2), (3; 1), (3; 3), (4; 7), (3; 2), (5; 7), (2; 7), (7; 1), (6; 3), (6; 4), (3; 5),
(6; 5), (6; 2), (6; 1), (5; 3), (7; 7), (6; 6), (5; 5)}
a) Halle el grado interno y el grado externo de cada elemento del conjunto 𝐴.
b) Determine las relaciones 𝑇 3 y 𝑇 ∞ en notación de conjuntos.

9. Sea el conjunto 𝐴 = {1; 2; 3; 4}. Se establece la relación binaria 𝑅 definida en 𝐴 por: 𝑅 =

{(1; 1), (2; 2), (2; 3), (2; 4), (3; 2), (3; 3), (3; 4), (4; 2), (4; 3), (4; 4)} y la relación 𝑆
definida en 𝐴 por el dígrafo mostrado:

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

a) Determine 𝑀𝑅 y 𝑀𝑆
b) Trace el dígrafo de 𝑅
c) Determine las matrices 𝑀𝑅2 y 𝑀𝑆∞

10. Dada la relación 𝑇 = {(1,1), (2,2), (2,3), (3,2), (4,2)} definida sobre el conjunto 𝐴 =
{1,2,3,4}.
a. Determine el dominio y el rango de la relación 𝑇.
b. Determinar la matriz 𝑀𝑇
c. Trace el dígrafo asociado a 𝑇.
d. Halle el grado interno y externo de cada elemento del conjunto 𝐴.
e. Determine las relaciones 𝑇 2 y 𝑇 ∞ .

11. Sobre el conjunto 𝑁 = {0,1,2,3,4,5,6} se define la relación 𝑅 mediante

𝑥𝑅𝑦 sí y solo si 𝑥 + 𝑦 es múltiplo de 3
a. Determine explícitamente (usando notación de conjuntos) los elementos que
conforman la relación 𝑅. Luego indique el dominio y rango de 𝑅.
b. Determine la matriz 𝑀𝑅
c. Trace el dígrafo asociado a 𝑅.
d. Determine las matrices de 𝑅 2 y 𝑅 ∞

12. El dígrafo mostrado representa una relación 𝑅 definida sobre un conjunto 𝐴 = {1,2,3,4}

a. Determine explícitamente (usando notación de conjuntos) los elementos que

conforman la relación 𝑅. Luego, indique el dominio y rango de 𝑅.

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

b. Determine la matriz 𝑀𝑅 .
c. Halle el grado interno y externo de cada elemento del conjunto 𝐴.
d. Determine las relaciones 𝑅 2 y 𝑅 ∞ .

𝑛
13. Considere la relación 𝑅 = {(𝑥, 𝑦) ∈ 𝐴 × 𝐴 / 𝑥𝑦 ≤ 2} siendo 𝐴 = { 2 ∈ 𝑍 / −3 < 𝑛 ≤ 4}.
a. Determine la relación 𝑅 y la matriz 𝑀𝑅
b. Trace el dígrafo de 𝑅.
c. Determine la matriz 𝑀𝑅2

RESPUESTAS DE LOS EJERCICIOS PROPUESTOS

1 a) Dom(𝑅) = Ran(𝑅) = {1; 2; 3; 4; 5}

1 0 1 0 1
1 0 0 1 0
b) 𝑀𝑇 = 1 0 0 1 1
0 1 1 0 0
(0 0 1 0 0)
c)

5 2

4 3

d)
𝒙 GI(𝒙) GE(𝒙)
1 3 3
2 1 2
3 3 3
4 2 2
5 2 1

(1; 1), (1; 3), (1; 4), (1; 5), (2,1), (2; 2), (2,3), (2; 5), (3; 1), (3; 2),
e) 𝑇 2 = { }
(3; 3), (3; 5), (4; 1), (4; 4), (4; 5), (5; 1), (5; 4), (5; 5)

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

𝑇∞ = 𝐴 × 𝐴

(1; 1), (1; 4), (2; 2), (2; 5), (3; 3), (3; 6), (4; 1), (4; 4),
2 a) 𝑆 = { },
(5; 2), (5; 5), (6; 3), (6; 6)

Dom(𝑅) = Ran(𝑅) = {1; 2; 3; 4; 5; 6}

1 0 0 1 0 0
0 1 0 0 1 0
b) 𝑀𝑆 = 0 0 1 0 0 1
1 0 0 1 0 0
0 1 0 0 1 0
(0 0 1 0 0 1)

c)
1 4

2 5

3 6

a)
𝒙 GI(𝒙) GE(𝒙)
1 2 2
2 2 2
3 2 2
4 2 2
5 2 2
6 2 2

1 0 0 1 0 0
0 1 0 0 1 0
b) 𝑀𝑆2 = 𝑀𝑆∞ = 0 0 1 0 0 1
1 0 0 1 0 0
0 1 0 0 1 0
(0 0 1 0 0 1)

3 a) 𝑆 = {(1; 3), (2; 2), (3; 1), (3; 5), (4; 4), (5; 3)},
Dom(𝑆) = Ran(𝑆) = {1; 2; 3; 4; 5}

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

0 0 1 0 0
0 1 0 0 0
b) 𝑀𝑇 = 1 0 0 0 1
0 0 0 1 0
(0 0 1 0 0)
c)

5 2

4 3

d)
𝒙 GI(𝒙) GE(𝒙)
1 1 1
2 1 1
3 2 2
4 1 1
5 1 1

e) 𝑆 3 = 𝑆 ∞ = 𝑆 = {(1; 3), (2; 2), (3; 1), (3; 5), (4; 4), (5; 3)}

4 a) 𝑆 = {(2; 2), (2; 4), (2; 6), (2; 12), (3; 3), (3; 6), (3; 12), (4; 4), (4; 12), (6; 6), (6; 12), (12; 12)},
Dom(𝑆) = Ran(𝑆) = {2; 3; 4; 6; 12}
1 0 1 1 1
0 1 0 1 1
b) 𝑀𝑆 = 0 0 1 0 0
0 0 0 0 1
(1 0 1 1 1)
c)
2

4 6

3 12

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

d)
𝒙 GI(𝒙) GE(𝒙)
2 1 4
3 1 3
4 2 2
6 3 2
12 5 1

1 0 1 1 1
0 1 0 1 1
e) 𝑀𝑆 4 = 𝑀𝑆∞ = 0 0 1 0 0
0 0 0 0 1
(1 0 1 1 1)

5 a) 𝑅 = {(𝑎; 𝑏), (𝑎; 𝑐), (𝑏; 𝑓), (𝑐; 𝑑), (𝑐; 𝑒), (𝑑; 𝑏), (𝑑; 𝑐), (𝑒; 𝑓), (𝑓; 𝑑)},
Dom(𝑅) = {𝑎; 𝑏; 𝑐; 𝑑; 𝑒; 𝑓}, Ran(𝑅) = {𝑏; 𝑐; 𝑑; 𝑒; 𝑓}

0 1 1 0 0 0
0 0 0 0 0 1
c) 𝑀𝑆 = 0 0 0 1 1 0
0 1 1 0 0 0
0 0 0 0 0 1
(0 0 0 1 0 0)
d)
𝒙 GI(𝒙) GE(𝒙)
𝑎 0 2
𝑏 2 1
𝑐 2 2
𝑑 2 2
𝑒 1 1
𝑓 2 1
e) 𝑅 2 = {(𝑎; 𝑑), (𝑎; 𝑒), (𝑎; 𝑓), (𝑏; 𝑑), (𝑐, 𝑏), (𝑐; 𝑐), (𝑐, 𝑓), (𝑑; 𝑑), (𝑑; 𝑒), (𝑑; 𝑓), (𝑒; 𝑓), (𝑓; 𝑏), (𝑓; 𝑐)}
𝑅 ∞ = 𝐴 × 𝐴 − {(𝑎; 𝑎), (𝑏; 𝑎), (𝑐; 𝑎), (𝑑; 𝑎), (𝑒; 𝑎), (𝑓; 𝑎)}

6 a) 𝑅 = {(𝑎; 𝑎), (𝑎; 𝑏), (𝑎; 𝑐), (𝑎; 𝑒), (𝑏; 𝑐), (𝑐; 𝑐), (𝑑; 𝑏), (𝑑; 𝑐), (𝑑; 𝑑), (𝑑; 𝑒), (𝑒; 𝑐)}
Dom(𝑅) = Ran(𝑅) = {𝑎; 𝑏; 𝑐; 𝑑; 𝑒}

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

𝑏 e

𝑐 d
b)
𝒙 GI(𝒙) GE(𝒙)
𝑎 1 4
𝑏 2 1
𝑐 5 1
𝑑 1 4
𝑒 2 1

1 1 1 0 1
0 0 1 0 0
c) 𝑀𝑅2 = 𝑀𝑅∞ = 0 0 1 0 0
0 1 1 1 1
(0 0 1 0 0)

7 a) 𝑆 = {(𝑎; 𝑏), (𝑎; 𝑓), (𝑏; 𝑒), (𝑐; 𝑒), (𝑑; 𝑐), (𝑑; 𝑓), (𝑒; 𝑔), (𝑓; 𝑐), (𝑓; 𝑔), (𝑔; 𝑑)}
Dom(𝑆) = {𝑎; 𝑏; 𝑐; 𝑑; 𝑒; 𝑓; 𝑔}, Ran(𝑆) = {𝑏; 𝑐; 𝑑; 𝑒; 𝑓; 𝑔}

b)
Relación 𝑅 Relación 𝑆
𝒙 GI(𝒙) GE(𝒙) 𝒙 GI(𝒙) GE(𝒙)
𝑎 3 7 𝑎 0 2
𝑏 6 3 𝑏 1 1
𝑐 3 3 𝑐 2 1
𝑑 2 1 𝑑 1 2
𝑒 4 4 𝑒 2 1
𝑓 4 4 𝑓 2 2
𝑔 4 4 𝑔 2 1

c) El par ordenado (𝑓, 𝑔) sí pertenece a 𝑅 3

d) El par ordenado (𝑑, 𝑎) no pertenece a 𝑅 ∞

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

8 a)
𝒙 GI(𝒙) GE(𝒙)
1 3 2
2 4 2
3 4 4
4 1 1
5 3 3
6 1 6
7 4 2

(1; 1), (1; 2), (1; 3), (1; 5), (1; 7), (2; 1), (2; 2), (2; 3), (2; 7), (3; 1),
(3; 2), (3; 7), (4; 1), (4; 2), (4; 3), (4; 7), (5; 1), (5; 2),
b) 𝑇 3 = { }
(5; 3), (5; 7), (6; 1), (6; 2), (6; 3), (6; 4), (6; 5), (6; 6)(6; 7),
(7; 1), (7; 2), (7; 3), (7; 5), (7; 7)

(1; 1), (1; 2), (1; 3), (1; 5), (1; 7), (2; 1), (2; 2), (2; 3), (2; 5), (2; 7),
(3; 1), (3; 2), (3; 3), (3; 5), (3; 7), (4; 1), (4; 2), (4; 3), (4; 5), (4; 7), (5; 1),
y 𝑇∞ ={ }
(5; 2), (5; 3), (5; 7), (6; 1), (6; 2), (6; 3), (6; 4), (6; 5), (6; 6)(6; 7),
(7; 1), (7; 2), (7; 3), (7; 5), (7; 7)

1 0 0 0 1 1 1 0
9.. a) 𝑀𝑅 = (0 1 1 1) 𝑀𝑆 = (0 1 1 1)
0 1 1 1 0 0 0 1
0 1 1 1 1 0 0 0
b)

1 0 0 0 1 0 0 0
c) 𝑀𝑅2 = (0 1 1 1) 𝑀𝑅∞ = (0 1 1 1)
0 1 1 1 0 1 1 1
0 1 1 1 0 1 1 1
10..

a. 𝐷𝑜𝑚(𝑇) = {1,2,3,4} y 𝑅𝑎𝑛(𝑇) = {1,2,3}

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

1 0 0 0
0 1 1 0
b. 𝑀𝑇 = [ ]
0 1 0 0
0 1 0 0

c.

d.

𝒙 GI(𝒙) GE(𝒙)
1 1 1
2 3 2
3 1 1
4 0 1

e.

𝑇 2 = {(1,1), (2,2), (2,3), (3,2), (3,3), (4,2), (4,2)}

𝑇 ∞ = {(1,1), (2,2), (2,3), (3,2), (3,3), (4,2), (4,3)}

11
a.
(0,3), (0,6), (1,2), (1,5), (2,1), (2,4), (3,0), (3,3), (3,6), (4,2),
𝑅= { }
(4,5), (5,1), (5,4), (6,0), (6,3), (6,6)
𝐷𝑜𝑚(𝑅) = {0,1,2,3,4,5,6} y 𝑅𝑎𝑛(𝑇) = {0,1,2,3,4,5,6}

b.
0 0 0 1 0 0 1
0 0 1 0 0 1 0
0 1 0 0 1 0 0
𝑀𝑅 = 1 0 0 1 0 0 1
0 0 1 0 0 1 0
0 1 0 0 1 0 0
(1 0 0 1 0 0 1)

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

c.

d.

(0,0), (0,3), (0,6), (1,1), (1,4), (2,2), (2,5), (3,0), (3,3), (3,6), (4,1), (4,4), (5,2),
𝑅2 = { }
(5,5), (6,0), (6,3), (6,6)

(0,0), (0,3), (0,6), (1,1), (1,2), (1,4), (1,5), (2,1), (2,2), (2,4), (2,5), (3,0), (3,3),
∞
𝑅 = { (3,6), (4,1), (4,2), (4,4), (4,5), (5,1), (5,2), (5,4), (5,5), (6,0), (6,3), (6,6) }

12

a.

𝑅 = {(1,1), (1,2), (2,1), (2,2), (2,3), (2,4), (3,4), (4,1)}

𝐷𝑜𝑚(𝑅) = {1,2,3,4} y 𝑅𝑎𝑛(𝑇) = {1,2,3,4}

b.

1 1 0 0
1 1 1 1
𝑀𝑅 = [ ]
0 0 0 1
1 0 0 0
c.

𝒙 GI(𝒙) GE(𝒙)
1 3 2
2 2 4
3 1 1
4 2 1

d.

Profesores MA265
UPC – Departamento de Ciencias – Matemática Discreta (MA265)

𝑅 2 = {(1,1), (1,2), (1,3), (1,4), (2,1), (2,2), (2,3), (2,4), (3,1), (4,1), (4,2)}
(1,1), (1,2), (1,3), (1,4), (2,1), (2,2), (2,3), (2,4), (3,1),
𝑅∞ = { }
(3,2), (3,3), (3,4), (4,1), (4,2), (4,3), (4,4)

13..

a.

1 1 1 1
1 1 1 1
𝑀𝑅 = [ ]
1 1 1 1
1 1 1 0
b.

c.

1 1 1 1
1 1 1 1
𝑀𝑅2 =[ ]
1 1 1 1
1 1 1 1

BIBLIOGRAFÍA
• Richard Johnsonbaugh (2005). Matemáticas Discretas, sexta edición. Editorial Pearson,
México.
• Susanna S. Epp (2012). Matemáticas Discretas con aplicaciones, cuarta edición.
Editorial Cengage, México.

Profesores MA265