Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FACULTAD DE INGENIERÍA
MATEMÁTICAS DISCRETAS
UNIDAD III: RELACIONES ENTRE CONUNTOS
Por MS.c Alvaro Espinosa Pérez
3.1. INTRODUCCIÓN
El concepto de relación es una herramienta básica que, en particular en las matemáticaas permite
analizar y estudiar conjuntos de diferentes tipos; Nos concentrándonos en las formas de
representar relaciones y explorando las diversas propiedades que puedan tener.
Tanto las relaciones definidas en un conjunto, como una clase particular de relaciones entre
conjuntos y sus aplicaciones, constituyen prácticamente toda la matemática; esto es, en casi
todas las áreas de las matemáticas, los problemas que se plantean tiene que ver con el estudio
de relaciones definidas entre conjuntos y, en particular, en el análisis de aplicaciones definidas
entre ellos.
DEFINICIÓN. El conjunto {{𝑎}, {𝑎, 𝑏}} se designará en adelante por (𝑎, 𝑏) y se llamará la pareja
ordenada con primera componente 𝑎 y segunda componente 𝑏.
Curiosidad: La definición anterior fue dada por N. Wiener y K. Kuratowski y con ella se redujo
la teoría de relaciones a la teoría de conjuntos.
𝐴 𝑥 𝐵 = {(1, 𝑎), (1, 𝑏), (2, 𝑎), (2, 𝑏), (3, 𝑎), (3, 𝑏) }
Considere ahora el caso que se tiene 𝐴1 , 𝐴2 , . . . , 𝐴𝑛 son conjuntos, se llama producto cartesiano
de 𝐴1 , 𝐴2 , . . . , 𝐴𝑛 y se escribe 𝐴1 𝑥𝐴2 𝑥. . . 𝑥𝐴𝑛 al conjunto de las n-eada (𝑎1 , 𝑎2 , . . . , 𝑎𝑛 ) donde
𝑎𝑖 ∈ 𝐴𝑖 , 𝑖 = 1, 2, . . . , 𝑛, esto es:
𝐴1 𝑥𝐴2 𝑥. . . 𝑥𝐴𝑛 = {(𝑎1 , 𝑎2 , . . . , 𝑎𝑛 )/ 𝑎𝑖 ∈ 𝐴𝑖 , 𝑖 = 1, 2, . . . , 𝑛}
𝐴 𝑥 𝐵 𝑥 𝐶 = { (1, 𝑎, 𝑥), (1, 𝑎, 𝑦), (1, 𝑏, 𝑥), (1, 𝑏, 𝑦), (2, 𝑎, 𝑥), (2, 𝑎, 𝑦), (2, 𝑏, 𝑥),
(2, 𝑏, 𝑦), (3, 𝑎, 𝑥), (3, 𝑎, 𝑦), (3, 𝑎, 𝑦), (3, 𝑏, 𝑦) }
TEOREMA: 𝐴 × 𝐵 = ∅ ⟺ (𝐴 = ∅ ∨ 𝐵 = ∅)
3.3.RELACIÓN
DEFINICIÓN: Una relación 𝑅 (binaria) entre dos conjuntos 𝐴 y 𝐵 es un subconjunto del
producto cartesiano 𝐴 𝑥 𝐵.
Algunas veces se puede dar una regla para indicar cómo se relacionan los elementos de 𝐴 con los
de 𝐵.
Si 𝑹 𝑨 𝒙 𝑩 es una relación que se denota con 𝑅: 𝐴 𝐵, y si (a, b)R, se dice entonces que a
esta relacionado con b mediante la relación 𝑅 y se escribe 𝑎 𝑅 𝑏, Esto es: 𝑎 𝑅 𝑏 (𝑎, 𝑏)𝑅. Si
(𝑎, 𝑏) 𝑅 se dice que a no está relacionado con b y se escribe a ~ Rb
Ejemplo: Sea R la relación “mayor que” definida en el conjunto Z de los números enteros.
Escribiremos 6 > 5 para indicar que (6, 5) ∈ 𝑅.
Ejemplo: Se define una relación 𝐿 de 𝑅 a 𝑅 como sigue: Para todos los números reales 𝑥 y 𝑦,
𝑥 𝐿 𝑦 ⟺ 𝑥 < 𝑦.
Ejemplo: Sea R la relación “es un múltiplo de” en el conjunto de los enteros positivos. Entonces,
6 R 3 pero 2 ~R 3.
DEFINICIÓN:
1. Si 𝑅 = ∅, llamaremos a 𝑅, la relación vacía.
Ejemplo: En la relación R = { (1,1), (1,4), (1,8), (1,10), (2,4), (2,8), (2,10), (4,4), (4,8)} se
tiene que:
𝐷𝑜𝑚(𝑅) = {1, 2, 4 } 𝑦 𝐼𝑚(𝑅) = {1, 4, 8, 10 }
La ecuación representa una parábola cuya ecuación es de la forma (𝑥 − ℎ)2 = 4𝑝(𝑦 − 𝑘).
Llevaremos nuestra ecuación a esa forma:
𝑦 = 𝑥 2 + 2𝑥 − 4
𝑥 2 + 2𝑥 = 𝑦 + 4
𝑥 2 + 2𝑥 + 1 = 𝑦 + 4 + 1
(𝑥 + 1)2 = 𝑦 + 5
A partir de la ecuación se observa que el vértice de la parábola es: V(-1,-5).
Luego el Dominio y la imagen se definen así:
Ejemplo: Cuando los dominios son numéricos se pueden mostrar en un plano cartesiano, la
relación 𝑅 = {(𝑥, 𝑦)𝜖 ℝ 𝑥ℝ: 𝑥 + 𝑦 > 1} se puede representar con la gráfica:
Ejemplo: Para las relaciones 𝑅 = {(1,2), (3,5), (2,7), (9, −1)} se tiene que:
𝑅 −1 = {(2,1), (5,3), (7,2), (−1,9, )}
A menudo MR proporciona una manera fácil de verificar si 𝑅 tiene una propiedad dada.
Obsérvese que la matriz de una relación caracteriza a la misma, o sea, si se conoce la relación se
conoce la matriz y si se conoce la matriz sabremos de qué relación trata. Obsérvese también lo
siguiente: si MR es la matriz de una relación R de A a B, cada fila se corresponde con un elemento
de A y cada columna con un elemento de B. Para calcular el dominio de R bastará ver en que filas
hay, al menos, un uno y para calcular la imagen bastará con ver en que columnas hay, al menos,
un uno.
Ejemplo: Sea 𝐴 = {3, 4, 5, 6, 7, 8} y se define una relación 𝑅 sobre 𝐴 como sigue: Para toda 𝑥, 𝑦 ∈
𝐴,
𝑥 𝑅 𝑦 ⟺ 2 |(𝑥 − 𝑦).
Algunas parejas de la relación son:
𝑅 = {(3,3), (3,5), (3,7), … , (8,8), (8,4), (8,6)}
Es claro entonces que si tomamos los elementos de A como puntos del plano y cuando dos
elementos 𝑥 e 𝑦 de A estén relacionados, es decir, 𝑥𝑹𝒚, trazaremos un arco dirigido desde 𝑥 hasta
𝑦. Tenga presente que:
1. A 𝒙 lo llamaremos vértice inicial y al 𝑦, vértice final de la arista (𝒙, 𝒚).
2. A una arista que una un punto consigo mismo, la
llamaremos bucle o lazo.
3. A un vértice que no sea inicial ni final de ninguna arista,
lo llamaremos aislado.
4. Grado de entrada de un vértice es el número de aristas
que llegan hasta él. Representaremos por 𝑔𝑟𝑒 (𝒂) al del
vértice a.
5. Grado de salida de un vértice es el número de aristas que
salen de él. Representaremos por 𝑔𝑟𝑠 (𝒂)al del vértice a.
Ejercicio: ¿Cómo serán los dígrafos y las matrices de relaciones reflexivas, irreflexivas,
simétricas, antisimétrica, asimétricas y transitivas?
DEFINICIÓN: Sea R una relación de Equivalencia sobre A. Para cada aA, se tiene que:
[𝒂] = { 𝒙𝑨/(𝒙, 𝒂)𝑹}
Ejemplo: Sea 𝐴 = {1, 2,3, . . . ,10} y sea R una relación sobre A definida así:
𝑅 = {(𝑥, 𝑦 𝐴𝑥𝐴/ 3 𝑑𝑖𝑣𝑖𝑑𝑒 𝑎 𝑥 − 𝑦}
Determine los elementos de las clases de equivalencia de A inducidas por R.
3.9. PARTICIÓN
DEFINICIÓN: Sea A un conjunto no vacío. UNA PARTICIÓN DE A es una colección de
subconjuntos𝐴𝑖 no vacíos de A tales que cada elemento de 𝐴 es un elemento de
exactamente uno de estos conjuntos.
En general, si los 𝐴𝑖 constituye una partición para 𝐴 se cumple lo siguiente:
1. 𝐴𝑖 , 𝑖
2. 𝐴𝑖 𝐴𝑗 = , 𝑝𝑎𝑟𝑎 𝑖 𝑗
3. ⋃𝑛𝑖=1 𝐴𝑖 = 𝐴
Nota: Hay una interrelación muy estrecha entre particiones y relaciones de equivalencia. En
efecto, dada una relación de equivalencia en un conjunto se puede generar una partición y dada
una partición se puede generar una relación de equivalencia.
DEFINICIÓN: Sea 𝑅 una relación de Equivalencia sobre 𝐴. Al conjunto formado por todas las
clases de equivalencia de A inducida por R se le llama CONJUNTO COCIENTE y se denota por
A/R. En general:
𝐴/𝑅 = { [𝑎] / 𝑎𝐴 }
Ejemplo: El conjunto cociente del ejemplo anterior es: 𝐴/𝑅 = { [1], [2], [3] }
TALLER: RELACIONES:
1. Sea 𝐴 = {1, 2} y 𝐵 = {𝑎, 𝑏, 𝑐}. Halle:
a. 𝐴 𝑥 𝐵
b. 𝐴 𝑥 𝐴
2. Haga un esquema de cada uno de los siguientes casos en el plano cartesiano:
a. [1, 4] × [2, 7]
b. 𝑅 × ((−∞, −1) ∪ (1, ∞)).
3. Demostrar:
a. Si 𝐴 𝐶 y 𝐵 𝐷, demuestre que 𝐴 𝑥 𝐵 𝐶 𝑥 𝐷
b. 𝐴 × ∅ = ∅ × 𝐴 = ∅.
c. Si 𝐴 y 𝐵 son no vacíos, 𝐴 × 𝐵 = 𝐵 × 𝐴 ⟺ 𝐴 = 𝐵.
4. Utilice los conjuntos A = {1, 2, 4}, B = {2, 5, 7} y C = {1, 3, 7} para investigar si:
𝐴 𝑥 (𝐵 𝐶) = (𝐴 𝑥 𝐵) (𝐴 𝑋 𝐶).
5. Sea S el conjunto producto {1, 2, 3} 𝑥 {𝑎, 𝑏}. ¿Cuantas relaciones hay en S?
6. Si 𝐴 tiene 𝑛 elementos y 𝐵 tiene 𝑚 elementos. ¿Cuántas relaciones diferentes hay de 𝐴 a 𝐵?
7. Halle los elementos de cada una de las siguientes relaciones:
a. A = {1, 2, 3, 4, 8} y B = {1, 4, 6, 9}, si 𝑅 = {(𝑎, 𝑏) 𝐴 𝑥 𝐵 / 𝑎|𝑏}
b. A = {1, 2, 3, 4, 6}, si 𝑅 = {(𝑎, 𝑏) 𝐴 𝑥 𝐴 / 𝑎 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 𝑏}
c. A = {1, 2, 3, 4, 8}, si 𝑅 = {(𝑎, 𝑏) 𝐴 𝑥 𝐴 / 𝑎 + 𝑏 9}
8. Obtener su dominio, rango y su gráfica de cada una de las siguientes relaciones:
11. Sea 𝐴 = {1, 2, 3, 4}, determine si la relación R cuya matriz MR es reflexiva, irreflexiva,
simétrica, asimétrica, antisimétrica y transitiva
.
12. Demuestre que si una relación sobre un conjunto A es transitiva e irreflexiva, entonces es
asimétrica.
13. Determine si la relación R siguiente es una relación de equivalencia.
a. 𝐴 = 𝑍; 𝑎𝑅𝑏 si y sólo si 𝑎 𝑏 + 1
b. 𝐴 = 𝑍 + ; 𝑎𝑅𝑏 si y sólo si |𝑎 – 𝑏| 2
c. 𝐴 = ; 𝑎𝑅𝑏 si y sólo si 𝑎 2 + 𝑏 2 = 4
d. La relación que representa el siguiente dígrafo: