MATEMATICA DISCRETA

MAT-151
UNIDAD DIDACTICA IV

RELACIONES-1

Prof. Miguel Ángel Sánchez

3 2 0 0 0 0 0
1 0 0 0 0
M R2 
1 1 0 1 0
 
1 1 1 0 0 1
 Producto Cartesiano

Definición:
Un par ordenado (a, b) es una lista de objetos a y b en un orden
determinado, donde a aparece en primer término y b en segundo.

Cuándo (a1 , b1) = (a2 , b2)?

(a1 , b1) = (a2 , b2) si y sólo si

a1 = a2  b1 = b2

Definición:
Si A y B son dos conjuntos no vacíos, el producto cartesiano A × B es el
conjunto de todos los pares ordenados (a, b) con a  A y b  B.

Simbólicamente,

A × B = { (a, b) / a  A y b  B }.
 Producto Cartesiano

Generalizando la definición de producto cartesiano:

Definición:
El producto cartesiano A1 x A2 x ... x An de los conjuntos no vacíos A1 , A2 ,
... , An es el conjunto de todas las n-uplas ordenadas ( a1, a2, ..., an ) , en
donde ai  Ai , con i = 1, 2, …, n.

Simbólicamente,

A1 x A2 x ... x An = {(a1, a2, ..., an) / ai  Ai , i = 1, 2, …, n} .

Nota:
Para dos conjuntos finitos no vacíos cualesquiera A y B, el número
de elementos de A x B es igual al producto de la cantidad de
elementos de A por la cantidad de elementos de B.
 Producto Cartesiano

Ejemplos:

Sean A = {1, 2, 3}; B = {a, b}; C = {#, *} .

Determinar:

a) A x B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)}

b) B x A = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}

c) A x C = {(1, #), (1, *), (2, #), (2, *), (3, #), (3, *)}

d) A x B x C = {(1, a, #), (1, a, *), {(1, b, #), (1, b, *),

(2, a, #), (2, a, *), (2, b, #), (2, b, *),
(3, a, #), (3, a, *), (3, b, #), (3, b, *) }
 Producto Cartesiano

Forma Tabular del Producto Cartesiano:

Sean A = {1, 2, 3}; B = {a, b}; C = {#, *}

Determinar:

a) A x B b) C x A
B a b
A A 1 2 3
C
1 (1, a) (1, b)
# (#, 1) (#, 2) (#, 3)
2 (2, a) (2, b)
* (*, 1) (*, 2) (*, 3)
3 (3, a) (3, b)
Ejercicio 4.1 (1-7)
 Relación Binaria

Definición:

Sean A y B conjuntos no vacíos.

Una relación R de A a B es un subconjunto de A x B que cumple cierta

regla o condición.

Si R  AxB y ( a, b)  R , se dice que a está relacionado con b

por R, y se escribe también a R b.

Ejemplos:

Sean A = {1, 2, 3}; B = {a, b} .

R1= {(1, a), (2, a), (2, b), (3, b)}
R2= {(1, b), (2, a), (2, b), (3, a)}
R3= {(1, a), (1, b), (2, a), (3, a), (3, b)}
 Relación Binaria

Otros Ejemplos:

Sean A = {1, 2, 3, 4}; B = {1, 2, 4, 6, 8}.

R1 está definida por a R b si y sólo si a = b.

R1= { (1, 1), (2, 2), (4, 4) }

R2 está definida por a R b si y sólo si a > b.

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

R3 está definida por a R b si y sólo si a es múltiplo de b.

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

R4 está definida por a R b si y sólo si b | a.

R4= {(1, 1), (2, 1), (2, 2), (3, 1), (4, 1), (4, 2), (4, 4)}
 Relación Binaria

Definición:
El Dominio de una relación R, Dom(R) definida de un conjunto A a un
conjunto B, es el conjunto formado por los elementos de A que se
relacionan con algún elemento del conjunto B.

Si R1= { (1, 1), (2, 2), (4, 4) }, entonces:

Dom(R1 ) = { 1, 2, 4 }

Si R2= {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2)}, entonces:
Dom(R2 ) = { 2, 3, 4 }

Si R3= {(1, 1), (2, 1), (2, 2), (3, 1), (4, 1), (4, 2), (4, 4)}, entonces:
Dom (R3 ) = { 1, 2, 3, 4 }

Si R4= {(1, 1), (2, 1), (2, 2), (3, 1), (4, 1), (4, 2), (4, 4)}, entonces:
Dom (R4) = { 1, 2, 3, 4 }
 Relación Binaria

Definición:
El Rango de una relación R, Ran(R) definida de un conjunto A a un
conjunto B, es el conjunto formado por los elementos de B que se
relacionan con algún elemento del conjunto A.

Si R1= { (1, 1), (2, 2), (4, 4) }, entonces:

Ran (R1 ) = { 1, 2, 4 }

Si R2= {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2)}, entonces:
Ran (R2 ) = { 1, 2 }

Si R3= {(1, 1), (2, 1), (2, 2), (3, 1), (4, 1), (4, 2), (4, 4)}, entonces:
Ran (R3 ) = { 1, 2, 4 }

Si R4= {(1, 1), (2, 1), (2, 2), (3, 1), (4, 1), (4, 2), (4, 4)}, entonces:
Ran (R4 ) = { 1, 2, 4 }
 Relación Binaria

Definición:
Matriz de una Relación R
Una relación R entre dos conjuntos finitos puede representarse a
través de una matriz.

Si A = {a1, a2, ..., am} y B = {b1, b2, ..., bn} son conjuntos finitos que
contienen m y n elementos, respectivamente, y R es una relación de A a B,
se representa R por la matriz m x n denotada MR = [mij ] , que se define por
 Relación Binaria

Ejemplos:

Sean A = {1, 2, 3, 4}; B = {1, 2, 4, 6, 8}.

R1 = { (1, 1), (2, 2), (4, 4) }

R2 = {(2, 1), (3, 1), (3, 2), (3, 6), (4, 1), (4, 2), (4, 8) }, entonces:

1 2 4 6 8 1 2 4 6 8
1 1 0 0 0 0 1 0 0 0 0 0
 0  0 0 0
2 0 1 0 0 2 1 0
M R1  M R2 
3 0 0 0 0 0 3 1 1 0 1 0
   
4 0 0 1 0 0 4 1 1 0 0 1
 Digrafo

Dígrafo

Si A es un conjunto finito y R es una relación sobre A, también se

puede representar a R gráficamente como sigue:

• trace un pequeño círculo para cada elemento de A.

• marque el círculo con el elemento correspondiente de A.
• trace una flecha del vértice ai al vértice aj si y sólo si ai R aj .

Definición: A los círculos se los llama vértices. A las flechas se las

llama arcos (o lados). A la representación gráfica resultante se la llama
grafo dirigido o dígrafo de R.
 Digrafo

Ejemplo:

Sean A = {1, 2, 3} y R la relación dada por a R b si y sólo si a b.

Entonces
R = {(1, 1), (2, 1), (2, 2), (3, 1), (3, 2), (3, 3)}.

El dígrafo correspondiente es:

3 2

1
Te propongo que antes de continuar, realices la siguiente actividad:

Ejercicio 4.2 (2 – 11) 4.2 (19 – 22)

 Propiedades de las Relaciones

Definición:
Una relación R definida sobre un conjunto no vacío A es reflexiva si se
cumple que:
a  A, aRa
En otras palabras, R es reflexiva si cada uno de los elementos del
conjunto en el que está definida, está relacionado consigo mismo.

Ejemplos:

Sea A = {1, 2, 3, 4}, entonces:

R1 = {(1, 1), (2, 2), (3, 3), (4, 4) }. Es reflexiva
R2 = {(1, 1), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}. Es reflexiva
R3 = {(1, 1), (2, 1), (2, 2), (4, 3), (4, 4)}. (3, 3)? No es reflexiva

R = { (1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (4, 3), (4, 4) }?
 Propiedades de las Relaciones

Ejercicio:
Sean A = {1, 2, 3, 4} y
R1 = { (1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (4, 3), (4, 4) }.

R2 = { (1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4) }.

(a) ¿Son R1 y R2 reflexivas?

(b) Escribir MR1 , MR2 y dibujar los digrafos correspondientes.

(c) Cómo es la matriz de R cuando es reflexiva?

 Propiedades de las Relaciones

Definición:
Una relación R definida sobre un conjunto no vacío A es simétrica si
se cumple que:
a, b  A, (aRb )  (bRa )

En otras palabras, R es simétrica si cada par ordenado que pertenezca

a la relación, tiene su inverso en la relación.

Ejemplos:

Sea A = {1, 2, 3, 4}, entonces:

R1 = {(1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3)}. Es simétrica
R2 = {(1, 1), (1, 2), (2, 1), (3, 3), (1, 4), (4, 1)}. Es simétrica
R3 = {(1, 1), (2, 1), (2, 2), (3, 4), (4, 3), (4, 4)}. (1, 2)? No es simétrica
 Propiedades de las Relaciones
Ejercicio:
Sean A = {1, 2, 3, 4} y
R1 = { (1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (4, 3), (4, 4) }.

R2 = { (1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4) }.

(a) ¿Son R1 y R2 simétricas?

(b) Cumplen MR1 y MR2 las condiciones:

(1) si mij = 1 , entonces mji = 1.

(2) si mij = 0, entonces mji = 0.

(c) Cómo es el dígrafo de una relación simétrica?

 Propiedades de las Relaciones

Definición:
Una relación R definida sobre un conjunto no vacío A es Antisimétrica
si se cumple que:
a, b  A, [( aRb )  (bRa )]  a  b

En otras palabras, R es antisimétrica, si ningún par ordenado que

pertenezca a la relación, tiene su inverso en la relación, excepto los
reflexivos.

Ejemplos:

Sea A = {1, 2, 3, 4}, entonces:

R1 = {(1, 2), (2, 3), (3, 1), (3, 4), (4, 4)}. Es antisimétrica
R2 = {(1, 1), (1, 2), (2, 2), (3, 3), (1, 4), (4, 3)}. Es antisimétrica
R3 = {(1, 1), (2, 1), (2, 2), (3, 4), (4, 3), (4, 4)}. No es antisimétrica
 Propiedades de las Relaciones

Ejercicio:
Sean A = {1, 2, 3, 4} y
R1 = { (1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (4, 3), (4, 4) }.

R2 = { (1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4) }.

(a) ¿Son R1 y R2 antisimétricas?

(b) Cumplen MR1 y MR2 las condiciones:

(1) si i ≠ j, entonces mij = 0 o mji = 0.

 Propiedades de las Relaciones

Definición:
Una relación R definida sobre un conjunto no vacío A es Transitiva si
se cumple que:
a, b, c  A, [( aRb )  (bRc )]  aRc

En otras palabras, R es transitiva, si cada vez que ocurra que a se

relaciona con b y b se relaciona con c, entonces debe de ocurrir que a
se relacione con c.

Ejemplos:

Sea A = {1, 2, 3, 4}, entonces:

R1 = {(1, 2), (2, 3), (1, 3), (3, 3), (4, 4)}. Es transitiva
R2 = {(1, 1), (1, 2), (1, 4), (2, 2), (3, 3), (4,4) }. Es transitiva
R3 = {(1, 1), (2, 1), (2, 2), (3, 4), (4, 3), (4, 4)}. (3, 3)? No es transitiva
 Propiedades de las Relaciones

Ejercicio:
Sean A = {1, 2, 3, 4} y
R1 = { (1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (4, 3), (4, 4) }.

R2 = { (1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4) }.

(a) ¿Son R1 y R2 transitivas?

Te propongo que antes de continuar, realices la siguiente actividad:

Ejercicio 4.4 (1 – 12)

 Tipos de Relaciones

Definición:
Una relación R definida en un conjunto A se dice que es una relación
de equivalencia si es reflexiva, simétrica y transitiva.

Ejercicio:
Sean A = {1, 2, 3, 4} y
R1 = { (1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (4, 3), (4, 4) }.

R2 = { (1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4) }.

R3 = A x A.

(a) ¿Son R1 , R2 y R3 relaciones de equivalencias? ¿Por qué?

(b) Determinar una matriz de una relación R de equivalencia y

dibujar el dígrafo para este caso. Considere R en el conjunto
A = {a, b, c}.
Te propongo que antes de continuar, realices la siguiente actividad:

Ejercicio 4.5 (1 – 7)
 Tipos de Relaciones

Definición:
Una relación R definida en un conjunto A se dice que es una relación
de orden parcial, si R es reflexiva, antisimétrica y transitiva.

Ejercicio:
Sean A = {1, 2, 3, 4} y
R1 = { (1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4) }.

R2 = {(1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (2, 4), (3, 3), (4, 4)}.

(a) ¿Son R1 y R2 relaciones de orden parcial? ¿Por qué?

 Tipos de Relaciones

Definición:
Si R es un orden parcial definida sobre el conjunto A, entonces diremos
que A y R forman un conjunto parcialmente ordenado, y lo denotamos
por (A, R).

Ejercicio:
Sean A = {1, 2, 3, 4} y
R1 = { (1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4) }.

R2 = {(1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (2, 4), (3, 3), (4, 4)}.

(a) ¿Son (A, R1 ) y (A, R2 ) conjuntos parcialmente ordenados?

¿Por qué?
 Tipos de Relaciones

Definición:
Una relación R definida en un conjunto A se dice que es una relación
de orden total:

1) Si R es un orden parcial, y

2) a, b  A, (aRb )  (bRa )

Ejercicio:
Sean A = {1, 2, 3, 4} y
R1 = { (1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4),
(4, 4) }.

R2 = { (1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (4, 4) }.

(a) ¿Son R1 y R2 relaciones de orden total? ¿Por qué?

 Tipos de Relaciones

Definición:
Si R es un orden total definida sobre el conjunto A, entonces A y R
forman un conjunto totalmente ordenado, y lo denotamos por (A, R).

Ejercicio:
Sean A = {1, 2, 3, 4} y
R1 = { (1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4),
(4, 4) }.

R2 = { (1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (4, 4) }.

(a) ¿Son (A, R1 ) y (A, R2 ) conjuntos totalmente ordenados?

¿Por qué?