Documentos de Académico
Documentos de Profesional
Documentos de Cultura
5relaciones Entre Conjuntos PDF
5relaciones Entre Conjuntos PDF
- Relaciones
Producto cartesiano
Considere dos conjuntos arbitrarios A y B. El conjunto de todas las parejas ordenadas (a, b) en
donde a ∈ A y b ∈ B se llama producto o producto cartesiano de A y B.
A x B = {(a, b) / a ∈ A, b ∈ B}
EJEMPLO
A x B = {(a, 1), (a, 2), (a, 3), (a, 4), (b, 1), (b, 2), (b, 3), (b, 4), (c, 1), (c, 2), (c, 3), (c, 4)}
B
4
a b c A
Ing. Miguel Ángel Durán Jacobo 1
Unidad 4.- Relaciones
Hay otra manera de visualizar una relación y es a través de una representación gráfica, donde se
destaquen los puntos en el plano que pertenecen a A y los puntos que pertenecen a B. Se trazan
flechas que indican la relación que existe entre cada elemento del conjunto A y su
correspondiente en el conjunto B. A esta representación gráfica se le conoce como un diagrama
de flechas.
A B
a• •1
•2
b•
•3
c•
•4
Correspondencias
1
El símbolo ∇ se lee “para cada”, “para toda” o “para cualquier”
El símbolo ∃ se lee “existe” o “para alguna”
El símbolo ∴ se lee “por lo tanto” igualmente que el símbolo ├
El símbolo ≡ se lee “lógicamente equivalente” o “sencillamente iguales”
EJEMPLO
Si A = {a, b, c}, B = {1, 2, 3, 4}, y un grafo G = [(a, 2), (b, 2), (b, 3), (c, 4)}. Vemos que
G es un subconjunto de A x B, es decir, G ⊂ (A x B).
a) un diagrama cartesiano.
B
4
a b c A
b) Un diagrama de flechas.
A B
a• •1
•2
b•
•3
c•
•4
EJEMPLO
A B B A
ƒ ƒ-1
1•
•a a• •1
2•
•2
3• •b b•
•3
4•
•c c•
•4
Tipos de correspondencia
Ejemplo:
A B
ƒ
1•
•a
2•
3• •b
4•
•c
3• •b
4•
•c
3• •b
4•
•c
3• •b
4•
•c
A B B A
ƒ ƒ-1
1•
a• •1
•a
2•
•2
b•
3• •b
•3
4• c•
•c •4
Aplicaciones
Una aplicación es una correspondencia unívoca donde el conjunto original coincide con el
conjunto inicial. Es decir, de cada elemento del conjunto inicial parte una y solo una imagen al
final.
1. ∇ x ∈ A, ∃ y ∈ B / ƒ(x) = y
2. ∇ x1, x2 ∈ A, si x1 = x2 ⇒ ƒ(x1) = ƒ(x2)
♦Clases de aplicaciones
2• •b
•c
3•
•d
3• •b
4•
•c
A B
ƒ
1•
•a
2•
•b
3•
•c
Relaciones
Una relación puede pensarse como una tabla que enumera la relación de algunos elementos con
otros.
Estudiante Curso
Guillermo Ciencias de la computación
Mary Matemáticas
Guillermo Historia del arte
Beatriz Administración
Beatriz Ciencias de la computación
David Matemáticas
La tabla anterior muestra cuáles estudiantes están asistiendo a cuáles cursos. Por ejemplo,
Guillermo está cursando Ciencias de la computación e Historia del arte, y Mary está cursando
Matemáticas. En la terminología de las relaciones, podríamos decir que Guillermo está
relacionado con Ciencias de la computación e Historia del arte, y que Mary está relacionada con
Matemáticas.
Por supuesto, la tabla nos muestra tan sólo un conjunto de pares ordenados. De manera abstracta,
definimos una relación como un conjunto de pares ordenados. En este contexto, consideramos
que el primer elemento del par ordenado se relaciona con el segundo elemento del par ordenado.
Si una relación se indica mediante una tabla, el dominio está formado por los miembros de la
primera columna y el rango consta de los miembros de la segunda columna.
Relación binaria
EJEMPLO
Sea el conjunto A = {x, y, z}. El grafo de la siguiente figura representa una relación binaria
definida en A, puesto que los pares (x, z), (y, x) (y, y) constituyen un subconjunto de A x A.
z y
Se dice que dos elementos a y b están relacionados, y se escribe a R b, “a está relacionado con b
mediante la relación binaria R”, cuando el par ordenado (a, b) pertenece al subconjunto del
producto cartesiano que define la relación.
Las principales propiedades que puede presentar una relación binaria R definida en un conjunto A
se indican en la siguiente tabla, junto con sus respectivas condiciones.
Propiedad Condición
1. Reflexiva ∇ a ∈ A, a R a
2. Antireflexiva ∇ a ∈ A, a R a
3. Simétrica ∇ a, b ∈ A, a R b ⇒ b R a
4. Antisimétrica en sentido amplio ∇ a, b ∈ A, ( a R b y b R a) ⇒ a = b
6. Transitiva ∇ a, b, c ∈ A, (a R b y b R c) ⇒ a R c
Ejemplo:
Si A = {1, 2, 3, 4} y R es la relación “ser igual que”, se tiene:
R = {(1, 1), (2, 2), (3, 3), (4, 4)}
2
1
3 4
Ejemplo:
Si A = {1, 2, 3, 4} y R es la relación “ser menor que”, se tiene:
R = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)}
1 2
3 4
Ejemplo:
Si A = {-1, 2, -3, 4} y R es tal que ∇ a, b ∈ A, a R b ⇔ a ⋅ b > 0, se tiene:
R = {(-1, -1), (-1, -3), (2, 2), (2, 4), (-3, -1), (-3, -3), (4, 2), (4, 4)}
-1 2
-3
4
4. Antisimétrica en sentido amplio. Ninguna flecha de ida tiene otra de vuelta, salvo en el
caso de los bucles, que están permitidos.
Ejemplo:
Si A = {1, 2, 3, 4} y R es la relación “ser menor o igual que”, se tiene:
R = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4), (1, 1), (2, 2), (3, 3), (4, 4)}
1 2
3
4
5. Antisimétrica en sentido estricto. Ninguna flecha de ida tiene otra de vuelta, y no están
permitidos los bucles.
Ejemplo:
Si A = {5, 7, 10} y R es la relación “ser menor que”, se tiene:
R = {(5, 7), (5, 10), (7, 10)}
7 10
Ejemplo:
Si A = {1, 2, 3, 4} y R es la relación “ser mayor que”,
se tiene: 1 2
R = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}
3 4
Relación de equivalencia
Una relación binaria R es una relación de equivalencia definida en un conjunto A, si cumple las
propiedades reflexiva, simétrica y transitiva.
Así, en el plano euclídeo considerando el conjunto de todas las rectas, la relación R “ser
paralela a” es una relación de equivalencia. Comprobémoslo:
Luego por cumplir las tres propiedades anteriores es una relación de equivalencia.
[ a ] = {x / x ∈ A y x R a}
∇ [ a ] ⊂ A, a ∈ A ⇒ a ∈ [ a ]
b) Las clases de equivalencias son disjuntas de dos a dos. Lo demostraremos por reducción
al absurdo. Supongamos dos clases no disjuntas y diferentes [ a ] y [ b ], con lo que:
Y hemos llegado a que ambas clases son iguales, en contra de la hipótesis. Luego han de
ser [ a ] y [ b ] disjuntas, con [ a ] ≠ [ b ].
∇x ∈ A ⇒ x ∈ [a]
Ejemplo
a
Sea el conjunto A = {a, b, c, d, e, f} con d e
la relación de equivalencia R, dada en el
grafo de la derecha:
c
b
F
[ a ] = {a} [ d ] = {d, e, f}
[ b ] = {b, c} [ e ] = {d, e, f}
[ c ] = {b, c} [ f ] = {d, e, f}
Obsérvese que cualquier elemento de la clase puede ser elegido como representante de la misma,
lo que gráficamente se puede comprobar en la figura a continuación.
Clase3
a
Clase1 d e
c
b
F
Clase2
Relaciones de orden
Una relación binaria R es una relación de orden amplio si cumple las propiedades reflexiva,
antisimétrica en sentido amplio y transitiva.
Una relación binaria R es una relación de orden estricto si cumple las propiedades
antirreflexiva, antisimétrica en sentido estricto y transitiva.
Una relación binaria R es una relación de orden total si dos elementos cualesquiera están
relacionados en cualquier sentido.
Es decir:
∇ a, b ∈ A, a R b o b R a
Ejemplo1:
La relación R “ser menor o igual que” definida en un conjunto numérico A, es una relación de
orden amplio, y además de orden total.
Si tomamos:
A = {1, 3, 4, 8}
R = {(1, 1), (1, 3), (1, 4), (1, 8), (3, 3), (3, 4), (3, 8), (4, 4), (4, 8), (8, 8)}
1 3
4
8
Ejemplo2:
La relación R “ser divisor de” definida en un conjunto numérico A, es una relación de orden
amplio, y también de orden parcial.
Si tomamos:
A = {1, 3, 4, 8}
R = {(1, 1), (1, 3), (1, 4), (1, 8), (3, 3), (4, 4), (4, 8), (8, 8)}
1 3
4
8
Encontrar.
a) A x B.
b) (A ∪ B) x C.
c) A x B x C (como ejemplo de generalización del producto cartesiano que hemos definido).
a) A x B = {(1, a), (1, b), (1, 3), (3, a), (3, b), (3, 3)}.
b) (A ∪ B) x C = {1, 3, a, b} x {b}= {(1, b), (3, b), (a, b), (b, b)}
c) A x B x C = {(1, a), (1, b), (1, 3), (3, a), (3, b), (3, 3)} x {b} =
= {(1, a, b), (1, b, b), (1, 3, b), (3, a, b), (3, b, b), (3, 3, b)}
Ejercicio 2: Dado C = {a, b, c} y la relación R = {(a, a), (a, b), (b, a)}, se pide:
a) Dibujar su diagrama de flechas.
b) Dibujar su diagrama cartesiano.
c) Determinar qué propiedades cumple.
d) ¿Es una relación de equivalencia?
e) Encontrar el conjunto cociente.
c
b
b
a
a b c C
b c
Clase1
Clase3
a d
e
Clase2
a) Propiedades:
• Reflexiva: Sí es, ya que cualquier elemento está relacionado consigo mismo.
• Antirreflexiva: No es, puesto que a R a, por ejemplo.
• Simétrica: Sí es, pues toda flecha de ida tiene otra de vuelta.
• Antisimétrica: No es, ni en sentido amplio ni estricto, pues en el caso de b R c,
también c R b y b ≠ c.
• Transitiva: Sí es, pues dentro del triángulo b, c, d, dos flechas consecutivas de ida
tienen otra que une el punto de origen y el final.
[ a ] = {a} [ d ] = {b, c, d}
[ b ] = {b, c, d} [ e ] = {e}
[ c ] = {b, c, d}
Obsérvese que cuando una relación binaria no cumple la propiedad antisimétrica en sentido
amplio, ya no es necesario probar la antisimétrica en sentido estricto, pues si se cumpliera esta
última implicaría el cumplimiento de la primera.
2. Sea R = {(1, 2), (2, 2), (2, 4), (3,2), (3, 4), (4, 1), (4, 3)}; dibuje un grafo considerando
que el conjunto A = {1, 2, 3, 4}.
4. Sea A = {1, 2, 3} y la relación R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (3,2), (3,3)};
determinar si es una relación de equivalencia.