Matemáticas Discretas

TC1003

Relaciones entre Conjuntos: Propiedades

Departamento de Matemáticas / Centro de Sistema Inteligentes

ITESM

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

 Representación Alternativa para Relaciones

Sea A un conjunto y R una relación de A en A. En Representación

Ejemplo 1
este caso diremos que R es una relación sobre A o Reflexiva
una relación en A. Alternativamente al diagrama Ejemplo 2
Ejemplo 3
de flechas del conjunto hacia si mismo: Simetrı́a
Ejemplo 3
Antisimetrı́a
Ejemplo 4
Transitividad
a a a Ejemplo 5
Equivalencia
Ejemplo 6
b b b Orden Parcial
Ejemplo 7
Ejemplo 8
c c c Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplo Representación
Ejemplo 1
Si A = {1, 2, 3, 4} y Reflexiva
R = {(1, 2), (1, 3), (1, 4), (2, 2), (3, 3), (4, 1)} dibuje el Ejemplo 2
Ejemplo 3
diagrama de flechas de las relación. Simetrı́a
Solución Ejemplo 3
Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
1 2 Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
4 3 Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Relación Reflexiva

Definición Representación
Ejemplo 1
Sean A un conjunto y R una relación. Se dice que Reflexiva
■ R es reflexiva si : Ejemplo 2
Ejemplo 3
Simetrı́a
∀x, (x ∈ A → (x, x) ∈ R). Ejemplo 3
Antisimetrı́a
Es decir, toda relación que sea reflexiva debe tener Ejemplo 4
al menos n flechas (suponiendo que n es el número Transitividad
Ejemplo 5
de elementos de A): deben estar todas las parejas Equivalencia
(a, a) donde a barre todos los elementos de A. Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplos Representación
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetrı́a
Ejemplo 3
1 2 1 2 Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
4 3 4 3 Orden Parcial
Ejemplo 7
Ejemplo 8
Relación no Reflexiva Relación Reflexiva Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Cada nodo debe tener un cíclo. Partición
Ejemplo 12

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

 Ejemplos Representación
Ejemplo 1
De acuerdo a la mtriz de adyacencia de una Reflexiva
relación: Ejemplo 2
Ejemplo 3
Simetrı́a
   
 1 · · ·   1 · · ·  Ejemplo 3
 .   . 
 .. . . .   .. 1  Antisimetrı́a
    Ejemplo 4
Transitividad

 0 



... 
 Ejemplo 5
 . . .    Equivalencia
1 Ejemplo 6
Orden Parcial
Relación No reflexiva Relación Reflexiva Ejemplo 7
Ejemplo 8
En la diagonal principal debe haber sólo unos Ejemplo 9
Cerradura
para relaciones reflexivas. En las no reflexivas hay Ejemplo 10
al menos un cero. Ejemplo 11
Partición
Ejemplo 12

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

 Relación Simétrica

Definición Representación
Ejemplo 1
Sean A un conjunto y R una relación. Se dice que Reflexiva
R es simétrica si Ejemplo 2
Ejemplo 3
Simetrı́a
∀x, y, ((x, y) ∈ R → (y, x) ∈ R). Ejemplo 3
Antisimetrı́a
Que no nos engañe la implicación: no dice que Ejemplo 4
tengamos flechas de x a y para todo x y y: Dice Transitividad
Ejemplo 5
que en caso de haber una flecha de x a y debemos Equivalencia
de tener una de y a x en las relaciones simétricas. Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplos Representación
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetrı́a
Ejemplo 3
1 2 1 2 Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
4 3 4 3 Orden Parcial
Ejemplo 7
Ejemplo 8
Relación no simétrica Relación Simétrica Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Relación Antisimétrica

Definición Representación
Ejemplo 1
Sean A un conjunto y R una relación. Se dice que Reflexiva
R es antisimétrica si Ejemplo 2
Ejemplo 3
Simetrı́a
∀x, y, ((x, y) ∈ R ∧ (y, x) ∈ R → x = y). Ejemplo 3
Antisimetrı́a
Cuando están las parejas (x, y) y (y, x) en la Ejemplo 4
relación, es porque las parejas son (x, x). Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplos Representación
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetrı́a
Ejemplo 3
1 2 1 2 Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
4 3 4 3 Orden Parcial
Ejemplo 7
Ejemplo 8
Relación no Antisimétrica Relación AntisimétricaEjemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Relación Transitiva

Definición Representación
Ejemplo 1
Sean A un conjunto y R una relación. Se dice que Reflexiva
R es transitiva si Ejemplo 2
Ejemplo 3
Simetrı́a
∀x, y, z, ((x, y) ∈ R ∧ (y, z) ∈ R → (x, z) ∈ R). Ejemplo 3
Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplos Representación
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetrı́a
Ejemplo 3
1 2 1 2 Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
4 3 4 3 Orden Parcial
Ejemplo 7
Ejemplo 8
Relación no Transitiva Relación Transitiva Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Relación de Equivalencia

Definición Representación
Ejemplo 1
Sean A un conjunto y R una relación. Se dice que Reflexiva
R es una relación de equivalencia si R es reflexiva, Ejemplo 2
Ejemplo 3
simétrica y transitiva. Simetrı́a
Ejemplo 3
Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplos Representación
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetrı́a
Ejemplo 3
1 2 1 2 Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
4 3 4 3 Orden Parcial
Ejemplo 7
Ejemplo 8
Relación no de Equivalencia Relación de Equivalencia
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Relación de Orden Parcial

Definición Representación
Ejemplo 1
Sean A un conjunto y R una relación. Se dice que Reflexiva
R es una relación de orden parcial si R es Ejemplo 2
Ejemplo 3
reflexiva, antisimétrica y transitiva. Simetrı́a
Ejemplo 3
Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplos Representación
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetrı́a
Ejemplo 3
1 2 1 2 Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
4 3 4 3 Orden Parcial
Ejemplo 7
Ejemplo 8
Relación que no es Orden Parcial Relación de Orden Parcial
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplo Representación
Ejemplo 1
Considere el conjunto Reflexiva
Ejemplo 2
A = {1, 2, 3} Ejemplo 3
Simetrı́a
Ejemplo 3
y la relación: Antisimetrı́a
  Ejemplo 4
 (2, 2) , (2, 3) , (1, 2) ,

 
 Transitividad
R=

Ejemplo 5
 (1, 1) , (3, 3)
 

 Equivalencia
Ejemplo 6
Orden Parcial
Indique cuáles propiedades tiene la relación. Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplo Representación
Ejemplo 1
Indica cuáles de las siguientes son relaciones de Reflexiva
equivalencia: Ejemplo 2
Ejemplo 3
1. mod5 en los enteros Simetrı́a
Ejemplo 3
2. La relación vecinos en los paises Antisimetrı́a
Ejemplo 4
3. Primos en una familia Transitividad
Ejemplo 5
4. ≥ en los enteros Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Cerradura Transitiva de una Relación

Definición Representación
Ejemplo 1
Sean A un conjunto y R una relación. La cerradura Reflexiva
transitiva de R es una relación R′ que cumple: Ejemplo 2
Ejemplo 3
■ R′ es transitiva,
Simetrı́a
■ R ⊆ R′ (R′ contiene a R), y
Ejemplo 3
Antisimetrı́a
■ Cualquier otra relación transitiva que contiene a Ejemplo 4
Transitividad
R también contiene a R′ . Ejemplo 5
Es decir, la cerradura transitiva de una relación R Equivalencia
Ejemplo 6
es la más pequeña relación transitiva que contiene Orden Parcial
Ejemplo 7
a R. Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplos Representación
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetrı́a
Ejemplo 3
1 2 1 2 Antisimetrı́a
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
4 3 4 3 Orden Parcial
Ejemplo 7
Ejemplo 8
Relación Cerradura Transitiva Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Cuidado: A veces hace falta una segunda pasada Partición
Ejemplo 12
para revisar si ya es transitiva.

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

 Considere el conjunto Representación
Ejemplo 1
Reflexiva
A = {1, 2, 3} Ejemplo 2
Ejemplo 3
y la relación sobre A: Simetrı́a
  Ejemplo 3
Antisimetrı́a
 (1, 1) , (1, 2) , (1, 3) , 

 
Ejemplo 4
R=

 (2, 1) , (2, 2) , (3, 3) 
 
 Transitividad
Ejemplo 5
Equivalencia
Sólo de la siguiente lista indique cuáles parejas Ejemplo 6
deben aãdirse a R en la cerradura transitiva: Orden Parcial
Ejemplo 7
1. (2, 3) Ejemplo 8
Ejemplo 9
2. (3, 1) Cerradura
Ejemplo 10
3. (3, 2) Ejemplo 11
Partición
Ejemplo 12

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

 Partición de un Conjunto

Definición Representación
Ejemplo 1
Sea A un conjunto no vacío. Una partición para A Reflexiva
es una colección de subconjuntos de A, A1 , Ejemplo 2
Ejemplo 3
A2 ,. . . ,Am tal que Simetrı́a
■ Ningún subconjunto Ai es vacío: Ejemplo 3
Antisimetrı́a
Ejemplo 4
∀i, Ai , ∅ Transitividad
Ejemplo 5
■ Los conjuntos no tienen elemento en común: Equivalencia
Ejemplo 6
∀i, j, (i , j → Ai ∩ A j = ∅) Orden Parcial
Ejemplo 7
Ejemplo 8
■ La unión de los conjuntos es igual a A: Ejemplo 9
Cerradura
A1 ∪ A2 ∪ · · · ∪ Am = A Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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

 Ejemplo Representación
Ejemplo 1
Indica cuáles de las siguientes son particiones del Reflexiva
conjunto: Ejemplo 2
Ejemplo 3
{1, 3, {5, 2}, 4} Simetrı́a
Ejemplo 3
1. {∅, {1, 3, {5, 2}, 4}} Antisimetrı́a
Ejemplo 4
2. {{1}, {3, {5, 2}, 4}} Transitividad
Ejemplo 5
3. {{{1, 3}}, {5, 2}, {4}} Equivalencia
Ejemplo 6
4. {{1}, {3}, {{5, 2}}, {4}} Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partición
Ejemplo 12

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