Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf ·...

23
Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas Discretas TC1003 Relaciones entre Conjuntos: Propiedades Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM

Transcript of Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf ·...

Page 1: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23

Matemáticas DiscretasTC1003

Relaciones entre Conjuntos: PropiedadesDepartamento de Matemáticas / Centro de Sistema Inteligentes

ITESM

Page 2: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 2/23

Representación Alternativa para Relaciones

Sea A un conjunto y R una relación de A en A. Eneste caso diremos que R es una relación sobre A ouna relación en A. Alternativamente al diagramade flechas del conjunto hacia si mismo:

a

b

c

a

b

c

a

b

c

Page 3: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 3/23

EjemploSi A = {1,2,3,4} yR = {(1,2), (1,3), (1,4), (2,2), (3,3), (4,1)} dibuje eldiagrama de flechas de las relación.Solucion

1 2

34

Page 4: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 4/23

Relación Reflexiva

DefinicionSean A un conjunto y R una relación. Se dice que■ R es reflexiva si :

∀x, (x ∈ A→ (x, x) ∈ R).

Es decir, toda relación que sea reflexiva debe teneral menosn flechas (suponiendo que n es el númerode elementos de A): deben estar todas las parejas(a, a) donde a barre todos los elementos de A.

Page 5: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 5/23

Ejemplos

1 2

34

Relación no Reflexiva

1 2

34

Relación Reflexiva

Cada nodo debe tener un cíclo.

Page 6: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 6/23

EjemplosDe acuerdo a la mtriz de adyacencia de unarelación:

1 · · ·.

.

.

...

0...

1 · · ·.

.

. 1...

1

Relación No reflexiva Relación Reflexiva

En la diagonal principal debe haber sólo unospara relaciones reflexivas. En las no reflexivas hayal menos un cero.

Page 7: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 7/23

Relación Simétrica

DefinicionSean A un conjunto y R una relación. Se dice queR es simétrica si

∀x, y, ((x, y) ∈ R→ (y, x) ∈ R).

Que no nos engañe la implicación: no dice quetengamos flechas de x a y para todo x y y: Diceque en caso de haber una flecha de x a y debemosde tener una de y a x en las relaciones simétricas.

Page 8: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 8/23

Ejemplos

1 2

34

Relación no simétrica

1 2

34

Relación Simétrica

Page 9: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 9/23

Relación Antisimétrica

DefinicionSean A un conjunto y R una relación. Se dice queR es antisimétrica si

∀x, y, ((x, y) ∈ R ∧ (y, x) ∈ R→ x = y).

Cuando están las parejas (x, y) y (y, x) en larelación, es porque las parejas son (x, x).

Page 10: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 10/23

Ejemplos

1 2

34

Relación no Antisimétrica

1 2

34

Relación Antisimétrica

Page 11: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 11/23

Relación Transitiva

DefinicionSean A un conjunto y R una relación. Se dice queR es transitiva si

∀x, y, z, ((x, y) ∈ R ∧ (y, z) ∈ R→ (x, z) ∈ R).

Page 12: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 12/23

Ejemplos

1 2

34

Relación no Transitiva

1 2

34

Relación Transitiva

Page 13: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 13/23

Relación de Equivalencia

DefinicionSean A un conjunto y R una relación. Se dice queR es una relación de equivalencia si R es reflexiva,simétrica y transitiva.

Page 14: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

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

Ejemplos

1 2

34

Relación no de Equivalencia

1 2

34

Relación de Equivalencia

Page 15: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 15/23

Relación de Orden Parcial

DefinicionSean A un conjunto y R una relación. Se dice queR es una relación de orden parcial si R esreflexiva, antisimétrica y transitiva.

Page 16: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 16/23

Ejemplos

1 2

34

Relación que no es Orden Parcial

1 2

34

Relación de Orden Parcial

Page 17: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 17/23

EjemploConsidere el conjunto

A = {1,2,3}

y la relación:

R =

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

(1,1) , (3,3)

Indique cuáles propiedades tiene la relación.

Page 18: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 18/23

EjemploIndica cuáles de las siguientes son relaciones deequivalencia:1. mod5 en los enteros2. La relación vecinosen los paises3. Primos en una familia4. ≥ en los enteros

Page 19: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 19/23

Cerradura Transitiva de una Relación

DefinicionSean A un conjunto y R una relación. La cerraduratransitiva de R es una relación R′que cumple:■ R′ es transitiva,■ R ⊆ R′ (R′ contiene a R), y■ Cualquier otra relación transitiva que contiene a

R también contiene a R′.Es decir, la cerradura transitiva de una relación Res la más pequeña relación transitiva que contienea R.

Page 20: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 20/23

Ejemplos

1 2

34

Relación

1 2

34

Cerradura Transitiva

Cuidado: A veces hace falta una segunda pasadapara revisar si ya es transitiva.

Page 21: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 21/23

Considere el conjunto

A = {1,2,3}

y la relación sobre A:

R =

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

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

Sólo de la siguiente lista indique cuáles parejasdeben aãdirse a R en la cerradura transitiva:1. (2,3)

2. (3,1)

3. (3,2)

Page 22: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 22/23

Partición de un Conjunto

DefinicionSea A un conjunto no vacío. Una partición para Aes una colección de subconjuntos de A, A1,A2,. . . ,Am tal que■ Ningún subconjunto Ai es vacío:

∀i, Ai , ∅

■ Los conjuntos no tienen elemento en común:

∀i, j, (i , j→ Ai ∩ A j = ∅)

■ La unión de los conjuntos es igual a A:

A1 ∪ A2 ∪ · · · ∪ Am = A

Page 23: Matemáticas Discretas TC1003 - cb.mty.itesm.mxcb.mty.itesm.mx/tc1003/lecturas/tc1003-102p.pdf · Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 1/23 Matemáticas

RepresentacionEjemplo 1ReflexivaEjemplo 2Ejemplo 3SimetrıaEjemplo 3AntisimetrıaEjemplo 4TransitividadEjemplo 5EquivalenciaEjemplo 6Orden ParcialEjemplo 7Ejemplo 8Ejemplo 9CerraduraEjemplo 10Ejemplo 11ParticionEjemplo 12

Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p. 23/23

EjemploIndica cuáles de las siguientes son particiones delconjunto:

{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}}