Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p.

1/23
Matemticas Discretas
TC1003
Relaciones entre Conjuntos: Propiedades
Departamento de Matemticas / Centro de Sistema Inteligentes
ITESM
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 2/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 echas del conjunto hacia si mismo:
a
b
c
a
b
c
a
b
c
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 3/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 echas de las relacin.
Soluci on
1 2
3 4
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 4/23
Relacin Reexiva
Denici on
Sean A un conjunto y R una relacin. Se dice que
s
R es reexiva si :
x, (x A (x, x) R).
Es decir, toda relacin que sea reexiva debe tener
al menos n echas (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.
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 5/23
Ejemplos
1 2
3 4
Relacin no Reexiva
1 2
3 4
Relacin Reexiva
Cada nodo debe tener un cclo.
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 6/23
Ejemplos
De acuerdo a la mtriz de adyacencia de una
relacin:
_

_
1
.
.
.
.
.
.
0
.
.
.
_

_
_

_
1
.
.
. 1
.
.
.
1
_

_
Relacin No reexiva Relacin Reexiva
En la diagonal principal debe haber slo unos
para relaciones reexivas. En las no reexivas hay
al menos un cero.
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 7/23
Relacin Simtrica
Denici on
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 echas de x a y para todo x y y: Dice
que en caso de haber una echa de x a y debemos
de tener una de y a x en las relaciones simtricas.
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 8/23
Ejemplos
1 2
3 4
Relacin no simtrica
1 2
3 4
Relacin Simtrica
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 9/23
Relacin Antisimtrica
Denici on
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).
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 10/23
Ejemplos
1 2
3 4
Relacin no Antisimtrica
1 2
3 4
Relacin Antisimtrica
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 11/23
Relacin Transitiva
Denici on
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).
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 12/23
Ejemplos
1 2
3 4
Relacin no Transitiva
1 2
3 4
Relacin Transitiva
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 13/23
Relacin de Equivalencia
Denici on
Sean A un conjunto y R una relacin. Se dice que
R es una relacin de equivalencia si R es reexiva,
simtrica y transitiva.
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 14/23
Ejemplos
1 2
3 4
Relacin no de Equivalencia
1 2
3 4
Relacin de Equivalencia
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 15/23
Relacin de Orden Parcial
Denici on
Sean A un conjunto y R una relacin. Se dice que
R es una relacin de orden parcial si R es
reexiva, antisimtrica y transitiva.
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 16/23
Ejemplos
1 2
3 4
Relacin que no es Orden Parcial
1 2
3 4
Relacin de Orden Parcial
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 17/23
Ejemplo
Considere el conjunto
A = {1, 2, 3}
y la relacin:
R =
_

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

_
Indique cules propiedades tiene la relacin.
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 18/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
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 19/23
Cerradura Transitiva de una Relacin
Denici on
Sean A un conjunto y R una relacin. La cerradura
transitiva de R es una relacin R

que cumple:
s
R

es transitiva,
s
R R

(R

contiene a R), y
s
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.
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 20/23
Ejemplos
1 2
3 4
Relacin
1 2
3 4
Cerradura Transitiva
Cuidado: A veces hace falta una segunda pasada
para revisar si ya es transitiva.
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 21/23
Considere el conjunto
A = {1, 2, 3}
y la relacin sobre A:
R =
_

_
(1, 1) , (1, 2) , (1, 3) ,
(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)
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 22/23
Particin de un Conjunto
Denici on
Sea A un conjunto no vaco. Una particin para A
es una coleccin de subconjuntos de A, A
1
,
A
2
,. . . ,A
m
tal que
s
Ningn subconjunto A
i
es vaco:
i, A
i

s
Los conjuntos no tienen elemento en comn:
i, j, (i j A
i
A
j
= )
s
La unin de los conjuntos es igual a A:
A
1
A
2
A
m
= A
Representaci on
Ejemplo 1
Reexiva
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
Partici on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades Matemticas Discretas - p. 23/23
Ejemplo
Indica cules de las siguientes son particiones del
conjunto:
{1, 3, {5, 2}, 4}
1. {, {1, 3, {5, 2}, 4}}
2. {{1}, {3, {5, 2}, 4}}
3. {{{1, 3}}, {5, 2}, {4}}
4. {{1}, {3}, {{5, 2}}, {4}}