Matemáticas Discretas

TC1003

Relaciones entre Conjuntos: Conceptos Básicos

Departamento de Matemáticas / Centro de Sistema Inteligentes

ITESM

Relaciones entre Conjuntos Matemáticas Discretas - p. 1/14

 Relación Binaria: Definición

Definición Relación
Ejemplo 1
Sean A y B dos conjuntos. Una relación (binaria) R Ejemplo 2
de A en B es un subconjunto de A × B. Ejemplo 3
Ejemplo 4
Ejemplo 5
Ejemplo 6
Ejemplo 7
Diagrama de
Flechas
Ejemplo 8
Representación 2
Ejemplo 9
Ejemplo 10

Relaciones entre Conjuntos Matemáticas Discretas - p. 2/14

 Relación Binaria: Definición

Definición Relación
Ejemplo 1
Sean A y B dos conjuntos. Una relación (binaria) R Ejemplo 2
de A en B es un subconjunto de A × B. Si (x, y) ∈ R Ejemplo 3
Ejemplo 4
diremos que x está relacionado con y por R. Note Ejemplo 5
que en la definición R es simplemente un Ejemplo 6
Ejemplo 7
subconjunto de parejas ordenadas de A × B. Diagrama de
Notación Infija: Flechas
Ejemplo 8
Muy frecuentemente usaremos Representación 2
Ejemplo 9
xRy Ejemplo 10

para indicar que

(x, y) ∈ R

Relaciones entre Conjuntos Matemáticas Discretas - p. 2/14

 Si A = {3, 4, 8} y B = {3, 6, 10}, indica cuáles de los siguientes Relación
conjuntos son relaciones de A en B: Ejemplo 1
Ejemplo 2
1) {(3, 3) , (3, 6)} Ejemplo 3
2) {(3, 3) , (4, 6) , (8, 10) , (3, 6)} Ejemplo 4
Ejemplo 5
3) {(3, 10)} Ejemplo 6
Ejemplo 7
4) ∅
Diagrama de
5) {(3, 3) , (4, 3)} Flechas
Ejemplo 8
Solución Representación 2
Recuerde los requisitos para ser relación de A en B: ser una Ejemplo 9
colección de parejas cuya primera coordenada está en A y la Ejemplo 10
segunda coordenada en B. Por ello, deberán revisarse todos los
elementos del conjunto: ver que sean efectivamente parejas
ordenadas. Y ver que la primera coordenada está en A y la
segunda en B. De acuerdo a está definición todos los conjuntos
dados en las opciones la cumplen. Para ∅ piense en vacuidad: no
hay elemento de ∅ que no sea pareja de A × B.

Relaciones entre Conjuntos Matemáticas Discretas - p. 3/14

 Considere la siguiente relación de Z en Z: Relación
Ejemplo 1
R = {(n, m) ∈ Z × Z | 4 divide a (n − m) } Ejemplo 2
Ejemplo 3
Ejemplo 4
Indique cuáles de las siguientes parejas están en la relación:
Ejemplo 5
1) (−2, 5) Ejemplo 6
2) (11, 2) Ejemplo 7
Diagrama de
3) (−4, 3) Flechas
Ejemplo 8
4) (10, 2) Representación 2
5) (10, 4) Ejemplo 9
Ejemplo 10
Solución
Recuerde la definición de r divide a s ↔ ∃k ∈ Z, s = k · r.
1) (−2, 5) < R pues 4 no divide a − 7 = −2 − 5.
2) (11, 2) < R pues 4 no divide a 9 = 11 − 2.
3) (−4, 3) < R pues 4 no divide a − 7 = −4 − 3.
4) (−4, 3) ∈ R pues 4 divide a 8 = 10 − 2.
5) (10, 4) < R pues 4 no divide a 6 = 10 − 4.

Relaciones entre Conjuntos Matemáticas Discretas - p. 4/14

 Si Relación
Ejemplo 1
A = {2, 4, 11} B = {8, 34, 187}
Ejemplo 2
y Ejemplo 3
Ejemplo 4
R = {(x, y) ∈ A × B | x divide a y } Ejemplo 5
Ejemplo 6
Indique cuáles de las siguientes afirmaciones son ciertas: Ejemplo 7
1) 17 R 187 Diagrama de
Flechas
2) 4 R 8 Ejemplo 8
3) 17 R 68 Representación 2
Ejemplo 9
4) 11 R 22 Ejemplo 10
5) (2, 187) < R
Solución
1) 17 R 187 es falsa pues 17 < A.
2) 4 R 8 es cierta pues 4|8 (8 = 2 · 4).
3) 17 R 68 es falsa pues 17 < A.
4) 11 R 22 es falsa pues 22 < B.
5) (2, 187) < R es cierta pues 2 no divide a 187.

Relaciones entre Conjuntos Matemáticas Discretas - p. 5/14

 Si Relación
Ejemplo 1
A = {2, 4, 7}
Ejemplo 2
B = {8, 22, 77} Ejemplo 3
Ejemplo 4
y Ejemplo 5
Ejemplo 6
R = {(x, y) ∈ A × B |x divide a y } Ejemplo 7
Diagrama de
Indique cuántas parejas están en la relación. Flechas
Solución Ejemplo 8
A × B tiene un total de 9 parejas (|A| · |B|). Revisando una por una Representación 2
Ejemplo 9
todas ellas veamos cual está en la relación: (2, 8) ∈ R pues 2|8. Ejemplo 10
(2, 22) ∈ R pues 2|22. (2, 77) < R pues 2 no divide a 77. (4, 8) ∈ R pues
4|8. (4, 22) < R pues 4 no divide a 22. (4, 77) < R pues
4 no divide a 77. (7, 8) < R pues 7 no divide a 8. (7, 22) < R pues
7 no divide a 22. (7, 77) ∈ R pues 7|77. El total de parejas de A × B
que cumplieron son 4.

Relaciones entre Conjuntos Matemáticas Discretas - p. 6/14

 Si Relación
Ejemplo 1
A = {1, 7}
Ejemplo 2
defina la relación: Ejemplo 3
Ejemplo 4
Ejemplo 5
{(x, Y) ∈ A × P (A) |x ∈ Y}
Ejemplo 6
Ejemplo 7
Indique cuántas parejas tiene tal relación. Diagrama de
Flechas
Ejemplo 8
Solución Representación 2
En este caso P (A) = {{}, {1}, {7}, {1, 7}}. El total de parejas de Ejemplo 9
A × P (A) es 8. Revisemos cada una de ellas: (1, {}) < R pues 1 < {}. Ejemplo 10
(1, {1}) ∈ R pues 1 ∈ {1}. (1, {7}) < R pues 1 < {7}. (1, {1, 7}) ∈ R pues
1 ∈ {1, 7}. (7, {}) < R pues 7 < {}. (7, {1}) < R pues 7 < {1}. (7, {7}) ∈ R
pues 7 ∈ {7}. (7, {1, 7}) ∈ R pues 7 ∈ {1, 7}. El total de parejas de
A × P (A) que cumplieron son 4.

Relaciones entre Conjuntos Matemáticas Discretas - p. 7/14

 Si Relación
Ejemplo 1
A = {6, 9}
Ejemplo 2
defina la relación: Ejemplo 3
Ejemplo 4
Ejemplo 5
{(X, Y) ∈ P (A) × P (A) |X ⊂ Y}
Ejemplo 6
Ejemplo 7
Indique cuántas parejas tiene tal relación. Diagrama de
Flechas
Ejemplo 8
Solución Representación 2
En este caso P (A) = {{}, {6}, {9}, {6, 9}}. El total de parejas de Ejemplo 9
P (A) × P (A) es 16. Las únicas parejas que cumplen son: ({}, {6}), Ejemplo 10
({}, {9}), ({}, {6, 9}), ({6}, {6, 9}), y ({9}, {6, 9}). 5 parejas en total en la
relación. Lo importante a notar es que la relación tiene que ver con
ser un subconjunto propio.

Relaciones entre Conjuntos Matemáticas Discretas - p. 8/14

 Si Relación
Ejemplo 1
A = {2}
Ejemplo 2
defina la relación: Ejemplo 3
Ejemplo 4
Ejemplo 5
{(X, Y) ∈ P (A) × P (A) |X ∪ Y = A}
Ejemplo 6
Ejemplo 7
Indique cuántas parejas tiene tal relación. Diagrama de
Flechas
Ejemplo 8
Solución Representación 2
En este caso P (A) = {{}, {2}}. El total de parejas de P (A) × P (A) Ejemplo 9
es 4. Revisando una por una tenemos: ({}, {}) < R pues {} ∪ {} , A. Ejemplo 10
({}, {2}) ∈ R pues {} ∪ {2} = A. ({2}, {}) ∈ R pues {2} ∪ {} = A.
({2}, {2}) ∈ R pues {2} ∪ {2} = A. 3 parejas en total en la relación.

Relaciones entre Conjuntos Matemáticas Discretas - p. 9/14

 Diagrama de Flechas de una Relación

Sean A = {a, b, c}, B = {1, 2, 3} y R la relación de A Relación

Ejemplo 1
en B: Ejemplo 2
R = {(a, 1), (b, 2), (b, 3), (c, 1)} Ejemplo 3
Ejemplo 4
El diagrama de fechas de R es: Ejemplo 5
Ejemplo 6
Ejemplo 7
Diagrama de
Flechas
c 3 Ejemplo 8
Representación 2
Ejemplo 9
b 2 Ejemplo 10

a 1

Un nodo para cada elemento de A y de B. Una

flecha de a a b si la pareja (a, b) está en R.
Relaciones entre Conjuntos Matemáticas Discretas - p. 10/14
 Si A = {a, b, c} y B = {1, 2, 3}, identifique en orden cada relación: Relación
a) {(a, 2) , (a, 1) , (c, 3) , (b, 2) , (b, 1)} Ejemplo 1
Ejemplo 2
b) {(a, 2) , (a, 3) , (c, 3) , (c, 1) , (b, 1)} Ejemplo 3
Ejemplo 4
c) {(a, 2) , (a, 3) , (c, 2) , (c, 1) , (b, 1)} Ejemplo 5
Con su diagrama de flechas: Ejemplo 6
Ejemplo 7
Diagrama de
Flechas
c s s3 c s s3 Ejemplo 8
b s s2 b s s2 Representación 2
Ejemplo 9
1 a s s1
2 a s s1
Ejemplo 10

c s s3 c s s3
b s s2 b s s2
3 a s s1
4 a s s1
Solución
a) con 3), b) con 4), y c) con 1)

Relaciones entre Conjuntos Matemáticas Discretas - p. 11/14

 Representación Matricial

Sean A = {a1 , a2 , . . . , an } y B = {b1 , b2 , . . . , bm } Relación

Ejemplo 1
conjuntos y R una relación de A en B. La Ejemplo 2
representación matricial de R consiste de una Ejemplo 3
Ejemplo 4
matriz n × m (observe que A tiene n elementos y B Ejemplo 5
tiene m) de ceros y unos. Habrá un 1 en la Ejemplo 6
Ejemplo 7
posición (i, j) si y sólo si la pareja (ai , b j ) está en R, Diagrama de
cero en caso contrario. La matriz se conoce como Flechas
Ejemplo 8
matriz de adyacencia. Representación 2
Ejemplo 9
Ejemplo 10

Relaciones entre Conjuntos Matemáticas Discretas - p. 12/14

 Si A = {a, b, c} y B = {1, 2, 3} y si se mantiene el orden mostrado en Relación
ambos conjuntos, identifique en orden cada relación: Ejemplo 1
Ejemplo 2
a) {(c, 2) , (a, 1) , (a, 2) , (b, 2) , (c, 3)} Ejemplo 3
b) {(b, 1) , (a, 1) , (c, 3) , (b, 3) , (b, 2)} Ejemplo 4
Ejemplo 5
c) {(a, 1) , (b, 2) , (c, 3) , (b, 3) , (a, 2)} Ejemplo 6
Con su matriz de adyacencia: Ejemplo 7
Diagrama de

 1
   Flechas
 1 0   1
 0 0  Ejemplo 8
 
1)

2)
 Representación 2
 0 1 0   1 1 1 
    Ejemplo 9
0 1 1 0 0 1 Ejemplo 10
 
   
 1 1 0   0 1 0 
   
3) 4)
 
 0 1 1 
  1 1 1 

 
0 0 1 0 0 1
 

Solución
a) con 1), b) con 2), y c) con 3)

Relaciones entre Conjuntos Matemáticas Discretas - p. 13/14

 Identifique en orden cada relación: Relación
Ejemplo 1
n o
2
a) (x, y) ∈ R | y ≤ |x|
n o Ejemplo 2
2 Ejemplo 3
b) (x, y) ∈ R | y ≤ x
n o Ejemplo 4
2
c) (x, y) ∈ R | x ≤ y Ejemplo 5
Con su diagrama: Ejemplo 6
Ejemplo 7
y
-3 -2 -1 0 1 2 3
y
-3 -2 -1 0 1 2 3
Diagrama de
1 2 Flechas
3 3
Ejemplo 8
Representación 2
x x Ejemplo 9
Ejemplo 10

y
-3 -2 -1 0 1 2 3
y
-3 -2 -1 0 1 2 3
3 4
3 3

x x

Relaciones entre Conjuntos Matemáticas Discretas - p. 14/14