Matemticas Discretas

TC1003
Relaciones entre Conjuntos: Propiedades
Departamento de Matemticas / Centro de Sistema Inteligentes

ITESM

Relaciones entre Conjuntos: Propiedades

Matemticas Discretas - p. 1/23

Representacin Alternativa para Relaciones

Sea A un conjunto y R una relacin de A en A. En
este caso diremos que R es una relacin sobre A o
una relacin en A. Alternativamente al diagrama
de flechas del conjunto hacia si mismo:

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 2/23

Ejemplo
Si A = {1, 2, 3, 4} y
R = {(1, 2), (1, 3), (1, 4), (2, 2), (3, 3), (4, 1)} dibuje el
diagrama de flechas de las relacin.
Solucion
1

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 3/23

Relacin Reflexiva
Definicion
Sean A un conjunto y R una relacin. Se dice que
R es reflexiva si :
x, (x A (x, x) R).
Es decir, toda relacin que sea reflexiva debe tener
al menos n flechas (suponiendo que n es el nmero
de elementos de A): deben estar todas las parejas
(a, a) donde a barre todos los elementos de A.

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 4/23

Ejemplos

Relacin no Reflexiva

Relacin Reflexiva

Cada nodo debe tener un cclo.

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 5/23

Ejemplos
De acuerdo a la mtriz de adyacencia de una
relacin:

.
.. . .

.. 1

...
0

. . .
1
Relacin No reflexiva Relacin Reflexiva
En la diagonal principal debe haber slo unos
para relaciones reflexivas. En las no reflexivas hay
al menos un cero.

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 6/23

Relacin Simtrica
Definicion
Sean A un conjunto y R una relacin. Se dice que
R es simtrica si
x, y, ((x, y) R (y, x) R).
Que no nos engae la implicacin: no dice que
tengamos flechas de x a y para todo x y y: Dice
que en caso de haber una flecha de x a y debemos
de tener una de y a x en las relaciones simtricas.

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 7/23

Ejemplos

Relacin no simtrica

Relaciones entre Conjuntos: Propiedades

Relacin Simtrica

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 8/23

Relacin Antisimtrica
Definicion
Sean A un conjunto y R una relacin. Se dice que
R es antisimtrica si
x, y, ((x, y) R (y, x) R x = y).
Cuando estn las parejas (x, y) y (y, x) en la
relacin, es porque las parejas son (x, x).

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 9/23

Ejemplos

Relacin no Antisimtrica

Relaciones entre Conjuntos: Propiedades

Relacin

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
2
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
3
Orden Parcial
Ejemplo 7
Ejemplo 8
AntisimtricaEjemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 10/23

Relacin Transitiva
Definicion
Sean A un conjunto y R una relacin. Se dice que
R es transitiva si
x, y, z, ((x, y) R (y, z) R (x, z) R).

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 11/23

Ejemplos

Relacin no Transitiva

Relaciones entre Conjuntos: Propiedades

Relacin Transitiva

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 12/23

Relacin de Equivalencia
Definicion
Sean A un conjunto y R una relacin. Se dice que
R es una relacin de equivalencia si R es reflexiva,
simtrica y transitiva.

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 13/23

Ejemplos

Relacin no de Equivalencia

Relaciones entre Conjuntos: Propiedades

Relacin

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
2
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
3
Orden Parcial
Ejemplo 7
Ejemplo 8
de Equivalencia
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 14/23

Relacin de Orden Parcial

Definicion
Sean A un conjunto y R una relacin. Se dice que
R es una relacin de orden parcial si R es
reflexiva, antisimtrica y transitiva.

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 15/23

Ejemplos

Relacin que no es Orden Parcial Relacin de Orden

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Parcial
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 16/23

Ejemplo
Considere el conjunto
A = {1, 2, 3}
y la relacin:

(2, 2) , (2, 3) , (1, 2) ,

R=

(1, 1) , (3, 3)

Indique cules propiedades tiene la relacin.

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 17/23

Ejemplo
Indica cules de las siguientes son relaciones de
equivalencia:
1. mod5 en los enteros
2. La relacin vecinos en los paises
3. Primos en una familia
4. en los enteros

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 18/23

Cerradura Transitiva de una Relacin

Definicion
Sean A un conjunto y R una relacin. La cerradura
transitiva de R es una relacin R que cumple:
R es transitiva,
R R (R contiene a R), y
Cualquier otra relacin transitiva que contiene a
R tambin contiene a R .
Es decir, la cerradura transitiva de una relacin R
es la ms pequea relacin transitiva que contiene
a R.

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 19/23

Ejemplos

Relacin

Cerradura Transitiva

Cuidado: A veces hace falta una segunda pasada

para revisar si ya es transitiva.
Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 20/23

Considere el conjunto
A = {1, 2, 3}
y la relacin sobre A:

(1, 1) , (1, 2) , (1, 3) ,

R=

(2, 1) , (2, 2) , (3, 3)

Slo de la siguiente lista indique cules parejas
deben adirse a R en la cerradura transitiva:
1. (2, 3)
2. (3, 1)
3. (3, 2)

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 21/23

Particin de un Conjunto
Definicion
Sea A un conjunto no vaco. Una particin para A
es una coleccin de subconjuntos de A, A1 ,
A2 ,. . . ,Am tal que
Ningn subconjunto Ai es vaco:
i, Ai ,

Los conjuntos no tienen elemento en comn:

i, j, (i , j Ai A j = )

La unin de los conjuntos es igual a A:

A1 A2 Am = A

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 22/23

Ejemplo
Indica cules de las siguientes son particiones del
conjunto:
{1, 3, {5, 2}, 4}
1.
2.
3.
4.

{, {1, 3, {5, 2}, 4}}

{{1}, {3, {5, 2}, 4}}
{{{1, 3}}, {5, 2}, {4}}
{{1}, {3}, {{5, 2}}, {4}}

Relaciones entre Conjuntos: Propiedades

Representacion
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetra
Ejemplo 3
Antisimetra
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Particion
Ejemplo 12

Matemticas Discretas - p. 23/23