RelacionesEquivalencia Particiones

Computación y Estructuras Discretas II
Anibal Sosa
uasosa@icesi.edu.co
Facultad de Ingeniería
2023-II
Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 1 / 59

Agenda del día
1 Relaciones de Equivalencia
2 Particiones y clases de equivalencia

Ejercicios
3 Conjuntos parcialmente ordenados

Ejercicios
4 Elementos maximales y minimales

Objetivos de la sección de Relaciones de Equivalencia
Reconocer cuando una relación es de equivalencia.

Dada una relación de equivalencia, indicar cuáles son sus clases
de equivalencia y construir el conjunto cociente generado a partir
de esa relación.
Reconocer cuando una relación es de orden parcial o total.
Construir el diagrama de Hasse de una relación de orden.
Identificar elementos distinguidos en un conjunto parcialmente
ordenado.

Outline

Relaciones de equivalencia
Definición
Una relación de equivalencia sobre un conjunto A es una relación R reflexiva,
simétrica y transitiva.

Definición
Tengamos en cuenta los siguientes ejemplos y verifiquemos si son o no relaciones de

equivalencia

Definición
Tengamos en cuenta los siguientes ejemplos y verifiquemos si son o no relaciones de

equivalencia
Ejemplo
Suponga que en una Universidad la matrícula académica se hace por bloques para
cada programa, de forma tal que los estudiantes se matriculan en franjas de una hora
dependiendo del semestre que cursen. La relación R está dada por x R y si, y sólo si
x y y son estudiantes del mismo programa en el mismo semestre académico.

Solución
¿Es R reflexiva?

Solución
¿Es R reflexiva? Como x es un estudiante de un programa en un semestre dado
entonces x R x y R es reflexiva.

Solución
¿Es R simétrica?

Solución
¿Es R simétrica? Suponemos x R y entonces x y y son estudiantes del mismo
programa en el mismo semestre.

Solución
programa en el mismo semestre. Por tanto y R x y R es simétrica.

Solución
¿Es R transitiva?

Solución
¿Es R transitiva? Suponemos que x R y y y R w entonces x, y y w son estudiantes
del mismo programa en el mismo semestre.

Solución
del mismo programa en el mismo semestre. Por tanto x R w y R es transitiva.

Solución
del mismo programa en el mismo semestre. Por tanto x R w y R es transitiva.

Ejemplo
La relación R dada por a R b si y sólo si a ≡ b (mod m) en el conjunto de los enteros.

Ejemplo
Ejemplo
Como a − a = 0 y 0 es divisible por m entonces a R a y R es reflexiva.

Ejemplo
Ejemplo
Suponemos que a R b entonces a − b es divisible por m luego a − b = km donde k es
un entero. Se sigue que b − a = (−k )m y como −k es un entero b − a es divisible por
m. Por tanto R es simétrica.

Ejemplo
Ejemplo
Asumimos que a R b y b R c entonces m divide a a − b y a b − c. Por tanto existen
enteros k , l tal que a − b = km y b − c = lm. Luego, sumamos las dos ecuaciones y
tenemos que a − b + b − c = km + lm = (k + l)m por tal a − c es divisible por m y R
es transitiva.

Ejemplo
Ejemplo
Asumimos que a R b y b R c entonces m divide a a − b y a b − c. Por tanto existen
enteros k , l tal que a − b = km y b − c = lm. Luego, sumamos las dos ecuaciones y
tenemos que a − b + b − c = km + lm = (k + l)m por tal a − c es divisible por m y R
es transitiva.

Clases de equivalencia
Si dos elementos x, y están relacionados por medio de una relación de equivalencia,

se dice que x y y son equivalentes.


Definición
Sea R una relación de equivalencia en un conjunto A. El conjunto de todos los
elementos que están relacionados con un elemento a ∈ A se denomina clase de
equivalencia de a. Esta es denotada por [a]R . Esto es, [a]R = {b | a R b}


Definición
Sea R una relación de equivalencia en un conjunto A. El conjunto de todos los
elementos que están relacionados con un elemento a ∈ A se denomina clase de
equivalencia de a. Esta es denotada por [a]R . Esto es, [a]R = {b | a R b}
Si b ∈ [a]R , decimos que b es un representante de [a]R .

Ejemplo
Sea R la relación de equivalencia a R b si y sólo si a ≡ b (mod m) Determina las
clases de equivalencia para la congruencia módulo 5 .

Ejemplo
Sea R la relación de equivalencia a R b si y sólo si a ≡ b (mod m) Determina las
clases de equivalencia para la congruencia módulo 5 .
Solución
[0]R = {· · · , −10, −5, 0, 5, 10, · · · }, [1]R = {· · · , −9, −4, 1, 6, 11, · · · },
[2]R = {· · · , 2, · · · }, [3]R = {· · · , 3, · · · } y [4]R = {· · · , 4, · · · }.

Clases de congruencia módulo m
Ejemplo
En general, ¿cuál es la clase [x]R si R es la relación mod m? ¿Cómo se denominan
estas clases?

Ejemplo
estas clases?
Solución
Si tenemos que x ≡ y mod m entonces x − y es divisible por m,

Ejemplo
estas clases?
Solución
Si tenemos que x ≡ y mod m entonces x − y es divisible por m, lo cual nos indica
que x − y = km, donde k es un entero,

Ejemplo
estas clases?
Solución
que x − y = km, donde k es un entero, luego y = x − km.

Ejemplo
estas clases?
Solución
que x − y = km, donde k es un entero, luego y = x − km. Como k es cualquier
entero, entonces:

Ejemplo
estas clases?
Solución
entero, entonces:
[x]R = {..., x − 2m, x − m, x + m, x + 2m, ...}

Ejemplo
estas clases?
Solución
entero, entonces:
[x]R = {..., x − 2m, x − m, x + m, x + 2m, ...}
Estas clases se denominan clases de congruencia módulo m.

Outline

Particiones y clases de equivalencia
Teorema
Sea R una relación de equivalencia en el conjunto A. Las siguientes afirmaciones son
equivalentes:
1 aRb
2 [a] = [b]
T
3 [a] [b] 6= ∅

Teorema
equivalentes:
1 aRb
2 [a] = [b]
T
3 [a] [b] 6= ∅
Probemos que 3 implica 1

T
Suponemos que [a] [b] 6= ∅, entonces existe c tal que c ∈ [a] y c ∈ [b].

Teorema
equivalentes:
1 aRb
2 [a] = [b]
T
3 [a] [b] 6= ∅
Probemos que 3 implica 1

T
Suponemos que [a] [b] 6= ∅, entonces existe c tal que c ∈ [a] y c ∈ [b]. Esto es aRc
y bRc, por simetría cRb de donde finalmente por transitividad aRb.

Teorema
equivalentes:
1 aRb
2 [a] = [b]
T
3 [a] [b] 6= ∅

Teorema
equivalentes:
1 aRb
2 [a] = [b]
T
3 [a] [b] 6= ∅
Consideraciones respecto a las clases de equivalencia

1 Una relación de equivalencia particiona (divide) a un conjunto A.

Teorema
equivalentes:
1 aRb
2 [a] = [b]
T
3 [a] [b] 6= ∅

S
2 La unión de las clases de equivalencia es A, es decir, [a]R = A.
a∈A

Teorema
equivalentes:
1 aRb
2 [a] = [b]
T
3 [a] [b] 6= ∅

S
2 La unión de las clases de equivalencia es A, es decir, [a]R = A.
a∈A
3 No existen clases que tengan elementos en comunes.

Una relación de equivalencia sobre A, determina una partición sobre A, es decir,

consiste de conjuntos disjuntos cuya unión es A. Al conjunto que contiene las clases
de equivalencia lo denominamos conjunto cociente. Es decir, A/R = {[x]R : x ∈ A}.

Una relación de equivalencia sobre A, determina una partición sobre A, es decir,

consiste de conjuntos disjuntos cuya unión es A. Al conjunto que contiene las clases
de equivalencia lo denominamos conjunto cociente. Es decir, A/R = {[x]R : x ∈ A}.
Teorema
Sea R una relación de equivalencia sobre un conjunto A. Entonces las clases de
equivalencia de R determinan una partición de A. Recíprocamente, dada una
partición del conjunto A como {Ai | i ∈ I}, hay una relación de equivalencia cuyas
clases son los conjuntos Ai .

Ejemplo
1. Sea R una relación de equivalencia sobre el conjunto A, donde A = {1, 2, 3, 4, 5, 6}
tal que R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (4, 4),
(4, 5), (5, 4), (5, 5), (6, 6)} Halle la partición definida por R.
2. Encuentre la relación de equivalencia R producida por la partición A1 = {1, 3, 4},
A2 = {2, 6} y A3 = {5, 7} .
3. ¿Cuáles son las clases de equivalencia de la congruencia módulo 3?

Ejemplo
tal que R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (4, 4),
A2 = {2, 6} y A3 = {5, 7} .
Solución
1. La colección de conjuntos A1 = {1, 2, 3}, A2 = {4, 5}, A3 = {6} forma la partición
de A. Estos conjuntos son disjuntos y su unión forma A.

Ejemplo
tal que R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (4, 4),
A2 = {2, 6} y A3 = {5, 7} .
Solución
2. R = {(1, 1), (1, 3), (1, 4), (2, 2), (2, 6), (3, 1), (3, 3), (3, 4), (4, 1), (4, 3),
(4, 4), (5, 5), (5, 7), (6, 2), (6, 6), (7, 5), (7, 7)}

Ejemplo
tal que R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (4, 4),
A2 = {2, 6} y A3 = {5, 7} .
Solución
2. R = {(1, 1), (1, 3), (1, 4), (2, 2), (2, 6), (3, 1), (3, 3), (3, 4), (4, 1), (4, 3),
(4, 4), (5, 5), (5, 7), (6, 2), (6, 6), (7, 5), (7, 7)}
3. [0]3 = {. . . , −3, 0, 3, . . .} [1]3 = {. . . , −2, 1, 4, . . .}, [2]3 = {. . . , −1, 2, 5, . . .}

Ejemplo
tal que R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (4, 4),
A2 = {2, 6} y A3 = {5, 7} .
Solución
2. R = {(1, 1), (1, 3), (1, 4), (2, 2), (2, 6), (3, 1), (3, 3), (3, 4), (4, 1), (4, 3),
(4, 4), (5, 5), (5, 7), (6, 2), (6, 6), (7, 5), (7, 7)}
3. [0]3 = {. . . , −3, 0, 3, . . .} [1]3 = {. . . , −2, 1, 4, . . .}, [2]3 = {. . . , −1, 2, 5, . . .}

Agenda del día

Ejercicios

Ejercicios

Ejercicios
Ejercicio
Suponga que A es un conjunto no vacío y que f es una función cuyo dominio es A.
Sea R la relación en A que consiste en todos los pares ordenados (x, y ) con
f (x) = f (y ). Demuestre que R es una relación de equivalencia.

Ejercicios
Ejercicio
Demuestra que la relación R, que consiste en todos los pares (x, y ) en los que x e y
son cadenas de bits de longitud al menos tres, que coinciden en sus tres primeros
bits, es una relación de equivalencia en el conjunto de todas las cadenas de bits de
longitud al menos tres.

Ejercicios
Ejercicio
¿Cuáles de estas relaciones en el conjunto de todas las personas son relaciones de
equivalencia y cuáles son sus clases de equivalencia? Determine las propiedades
que les falta a las restantes para ser relación de equivalencia.
a) {(a, b) | a y b tienen la misma edad}
b) {(a, b) | a y b tienen los mismos padres}
c) {(a, b) | a y b tienen uno de los padres en común}
d) {(a, b) | a y b se conocen}
e) {(a, b) | a y b hablan un mismo idioma}

Ejercicios
Ejercicio
Sea R la relación de equivalencia en el conjunto de todas las cadenas de bits de
longitud al menos tres, que consiste en todos los pares (x, y ) en los que x e y son
cadenas de bits de longitud al menos tres, que coinciden en sus tres primeros bits,
¿cuáles son las clases de equivalencia de las siguientes cadenas de bits?
a) 010
b) 1011
c) 11111
d) 01010101

Ejercicios
Ejercicio
Sea R la relación de equivalencia en el conjunto de todas las cadenas de bits de
longitud al menos tres, que consiste en todos los pares (x, y ) en los que x e y son
cadenas de bits de longitud al menos tres, que coinciden salvo quizá en sus tres
primeros bits, ¿cuáles son las clases de equivalencia de las siguientes cadenas de
bits?
a) 010
b) 1011
c) 11111
d) 01010101

Ejercicios
Ejercicio
Sea R una relación de equivalencia en el conjunto de todas las cadenas de bits tal
que s R t si, y sólo si, s y t contienen el mismo número de unos. ¿Cuál es la clase de
equivalencia de la cadena de bits 011 para la relación de equivalencia R?

Ejercicios
Ejercicio
¿Cuál es la clase de congruencia [4]m si m es:
a) 2?
b) 3?
c) 6?
d) 8?

Ejercicios
Ejercicio
Describa cada una de las clases de congruencia módulo 6.

Ejercicios
Ejercicio
¿Cuáles de estas colecciones de subconjuntos son particiones del conjunto de cadenas de bits
de longitud 8?
a) El conjunto de cadenas de bits que empiezan por 1, el conjunto de cadenas de bits que
empiezan por 00 y el conjunto de cadenas que empiezan por 01.
b) El conjunto de cadenas de bits que contienen la cadena 00, el conjunto de cadenas de
bits que contienen la cadena 01, el conjunto de cadenas de bits que contienen la cadena
10 y el conjunto de cadenas de bits que contienen la cadena 11.
c) El conjunto de cadenas de bits que terminan en 00, el conjunto de cadenas de bits que
terminan en 01, el conjunto de cadenas de bits que terminan en 10 y el conjunto de
cadenas de bits que terminan en 11.
d) El conjunto de cadenas de bits que tienen 3k unos, donde k es un entero no negativo; el
conjunto de cadenas de bits que tienen 3k + 1 unos, donde k es un entero no negativo, y
el conjunto de cadenas de bits que tienen 3k + 2 unos, donde k es un entero positivo.

Ejercicios
Ejercicio
¿Cuáles de las siguientes colecciones de subconjuntos son particiones del conjunto Z × Z de
pares ordenados de enteros?
a) El conjunto de pares (x, y ) con x o y impar, el conjunto de pares (x, y ) con x par y el
conjunto de pares (x, y ) con y par.
b) El conjunto de pares (x, y ) con x e y ambos impares, el conjunto de pares (x, y ) en los
que exactamente uno de entre x e y es impar y el conjunto de pares (x, y ) con x e y
ambos pares.
c) El conjunto de pares (x, y ) con x positivo, el conjunto de pares (x, y ) con y positivo y el
conjunto de pares (x, y ) con x e y ambos negativos.

Ejercicios
Ejercicio
¿Cuáles de las siguientes colecciones de subconjuntos son particiones de los
números reales?
a) Los números reales negativos, {0}, los números reales positivos.
b) El conjunto de los números irracionales, el conjunto de los números racionales.
c) El conjunto de intervalos [k , k + 1], k = ..., −2, −1, 0, 1, 2, ...
d) Los conjuntos {x + n : n ∈ Z} para todo x ∈ [0, 1).

Ejercicios
Ejercicio
Enumere los pares ordenados de las relaciones de equivalencia producidas por las
siguientes particiones de {a, b, c, d, e, f , g}.
a) {a, b}, {c, d}, {e, f , g}
b) {a}, {b}, {c, d}, {e, f }, {g}
c) {a, b, c, d}, {e, f , g}
d) {a, c, e, g}, {b, d}, {f }

Ejercicios
Ejercicio
Se dice que una partición P1 es un refinamiento de la partición P2 si cada conjunto de
P1 es subconjunto de alguno de los conjuntos de P2 . Demuestre que la partición
formada por las clases de congruencia módulo 6 es un refinamiento de la partición
formada por las clases de congruencia módulo 3.

Outline

Conjuntos parcialmente ordenados
Definición
Se dice que una relación R en un conjunto S es un orden parcial, si es reflexiva,
antisimétrica y transitiva.

Definición
Se dice que una relación R en un conjunto S es un orden parcial, si es reflexiva,
antisimétrica y transitiva.
Definición
Se llama conjunto parcialmente ordenado a cualquier conjunto S con un orden parcial
R y se denota por (S, R).

Ejemplo
Demuestre que la relación “mayor o igual que” (≥) es un orden parcial en el conjunto
de los enteros.

Ejemplo
de los enteros.
Solución
Como a ≥ a para cada entero a, ≥ es reflexiva.

Ejemplo
de los enteros.
Solución
Como a ≥ a para cada entero a, ≥ es reflexiva. Si a ≥ b y b ≥ a, entonces a = b.

Ejemplo
de los enteros.
Solución
Como a ≥ a para cada entero a, ≥ es reflexiva. Si a ≥ b y b ≥ a, entonces a = b. Por
tanto, ≥ es antisimétrica. Finalmente, ≥ es transitiva,

Ejemplo
de los enteros.
Solución
tanto, ≥ es antisimétrica. Finalmente, ≥ es transitiva, ya que a ≥ b y b ≥ c implican
que a ≥ c.

Ejemplo
de los enteros.
Solución
tanto, ≥ es antisimétrica. Finalmente, ≥ es transitiva, ya que a ≥ b y b ≥ c implican
que a ≥ c. Se sigue que ≥ es un orden parcial en el conjunto de los enteros y (Z, ≥)
es un conjunto parcialmente ordenado.

En un conjunto parcialmente ordenado, la notación a 4 b denota que (a, b) ∈ R. Se

usa esta notación porque la relación “menor o igual que” es un paradigma para los
órdenes parciales.


órdenes parciales. La notación a ≺ b quiere decir que a 4 b, pero a 6= b También se
dice que “a es menor que b” o que “b es mayor que a” sí a ≺ b.


¿Qué son elementos comparables en un conjunto parcialmente ordenado?


¿Qué son elementos comparables en un conjunto parcialmente ordenado?
Definición
Se dice que los elementos a y b de un conjunto parcialmente ordenado (S, 4) son
comparables si se tiene o bien a 4 b o bien b 4 a. Cuando a y b son elementos de S
tales que ni a 4 b ni b 4 a se dice que a y b son no comparables.

Ejemplo
En el conjunto parcialmente ordenado (Z+ , |), ¿son comparables los números enteros
3 y 9? ¿Son comparables 5 y 7?

Ejemplo
En el conjunto parcialmente ordenado (Z+ , |), ¿son comparables los números enteros
3 y 9? ¿Son comparables 5 y 7?
Solución
Los enteros 3 y 9 son comparables, ya que 3|9. Los enteros 5 y 7 son no
comparables, ya que 5 6 | 7 y 7 6 | 5.

Conjuntos totalmente ordenados
Definición
Si (S, 4) es un conjunto parcialmente ordenado y cada dos elementos de S
son comparables, se dice que S es un conjunto totalmente ordenado o
linealmente ordenado. En tal caso, se dice que 4 es un orden total u orden
lineal. A un conjunto totalmente ordenado también se le llama cadena.

Conjuntos totalmente ordenados
Definición
Si (S, 4) es un conjunto parcialmente ordenado y cada dos elementos de S
son comparables, se dice que S es un conjunto totalmente ordenado o
linealmente ordenado. En tal caso, se dice que 4 es un orden total u orden
lineal. A un conjunto totalmente ordenado también se le llama cadena.
Ejemplo
El conjunto parcialmente ordenado (Z, ≤) está totalmente ordenado, ya que
a ≤ b o b ≤ a para todo par de números enteros a y b.

Conjuntos bien ordenados
Definición
(S, 4) es un conjunto bien ordenado si 4 es un orden total y cualquier
subconjunto no vacío de S tiene un elemento mínimo.

Definición
Ejemplo
El conjunto de pares ordenados de enteros positivos Z+ × Z+ , con
(a1 , a2 ) 4 (b1 , b2 ) si a1 < b1 o si a1 = b1 y a2 ≤ b2 (el orden lexicográfico), es
un conjunto bien ordenado.

Definición
Ejemplo
El conjunto de pares ordenados de enteros positivos Z+ × Z+ , con
(a1 , a2 ) 4 (b1 , b2 ) si a1 < b1 o si a1 = b1 y a2 ≤ b2 (el orden lexicográfico), es
un conjunto bien ordenado.
Pruébelo!

Principio del buen ordenamiento
Teorema
Supongamos que S es un conjunto bien ordenado. Entonces P(x) es
verdadera para todo x ∈ S si:

Teorema
Paso base: P(x0 ) es verdadera para el elemento mínimo x0 de S, y

Teorema
Paso base: P(x0 ) es verdadera para el elemento mínimo x0 de S, y
Paso de inducción: Para cada y ∈ S se tiene que si P(x) es verdadera
para todo x ≺ y , entonces P(y ) es verdadera.

Las palabras de un diccionario aparecen en orden alfabético, o lexicográfico. Este

orden se basa en el orden de las letras en el alfabeto y no es más que un caso
particular de una ordenación de las cadenas de un conjunto construida a partir de un
orden parcial definido sobre el conjunto.




Sean (A1 , 4) y (A2 , 4) dos conjuntos parcialmente ordenados, el orden

lexicográfico 4 en A1 × A2 se define de la siguiente forma. (a1 , a2 ) es menor que
(b1 , b2 ), esto es,



(a1, a2 ) ≺ (b1 , b2 ),



(a1, a2 ) ≺ (b1 , b2 ),
si bien a1 ≺1 b1 o bien a1 = b1 y a2 ≺2 b2 .



(a1, a2 ) ≺ (b1 , b2 ),
si bien a1 ≺1 b1 o bien a1 = b1 y a2 ≺2 b2 .
Obtenemos un orden parcial añadiendo la igualdad al orden 4 en A1 × A2 .

Ejemplo
Determine si es cierto o no que (3, 5) ≺ (4, 8), que (3, 8) ≺ (4, 5) y que (4, 9) ≺ (4, 11) en el conjunto parcialmente
ordenado (Z × Z, 4), donde 4 es el orden lexicográfico construido a partir de la relación usual ≤ en Z.

Ejemplo
Solución
Como 3 < 4, se sigue que (3, 5) ≺ (4, 8) y que (3, 8) ≺ (4, 5). Se tiene que (4, 9) ≺ (4, 11), ya que las primeras
componentes de (4, 9) y (4, 11) son iguales, pero 9 < 11.

Ejemplo
Solución
En la siguiente figura aparecen en azul los pares de (Z+ × Z+ , 4) que son menores que (3, 4).

Ejemplo
Solución
En la siguiente figura aparecen en azul los pares de (Z+ × Z+ , 4) que son menores que (3, 4).

Diagrama de Hasse
Es el diagrama que representa un orden parcial. Este diagrama se llama así
en honor del matemático alemán del siglo XX Helmut Hasse.

Diagrama de Hasse
En general, se puede representar un orden parcial en un conjunto finito

utilizando el siguiente procedimiento:

Diagrama de Hasse

Se comienza con el grafo dirigido de dicha relación.

Diagrama de Hasse

Puesto que un orden parcial es reflexivo, hay un bucle en cada vértice.
Esos bucles se eliminan.

Diagrama de Hasse

Se eliminan todas las aristas que tienen que estar presentes debido a la
transitividad, ya que todo orden parcial es transitivo.

Diagrama de Hasse

Se dispone cada arista de manera que su vértice inicial quede por
debajo de su vértice final.

Diagrama de Hasse

Se dispone cada arista de manera que su vértice inicial quede por
debajo de su vértice final.
Finalmente, se eliminan todas las flechas de las aristas dirigidas.

Ejemplo
Dibuja el diagrama de Hasse que representa al orden parcial {(a, b) : a divide a b} en {1, 2, 3, 4, 6, 8, 12}.

Ejemplo
Solución
Se comienza con el grafo dirigido de este orden parcial.

Ejemplo
Solución
Se eliminan todos los bucles.

Ejemplo
Solución
Se eliminan todas las aristas que aparecen debido a la propiedad transitiva, éstas son
(1, 4), (1, 6), (1, 8), (1, 12), (2, 8), (2, 12) y (3, 12).

Ejemplo
Solución
Se eliminan todas las flechas para obtener el diagrama de Hasse.

Agenda del día

Ejercicios

Ejercicios

Ejercicios
Ejercicio
¿Cuáles de las siguientes relaciones son conjuntos parcialmente ordenados?
a) (Z, =)
b) (Z, 6=)
c) (Z, ≥)
d) (Z, 6 |)

Ejercicios
Ejercicio
Determine si la relación cuyo grafo dirigido se muestra a continuación es o no una
relación de orden.

Ejercicios
Ejercicio
¿Cuáles de estos pares de elementos son comparables en el conjunto parcialmente
ordenado (Z+ , |)?
a) 5, 15
b) 6, 9
c) 8, 16
d) 7, 7

Ejercicios
Ejercicio
Sea S = {1, 2, 3, 4}. Con respecto al orden lexicográfico basado en la relación
“menor que” usual,
a) halle todos los pares de S × S menores que (2, 3).
b) determine todos los pares de S × S mayores que (3, 1).
c) dibuje el diagrama de Hasse del conjunto parcialmente ordenado (S × S, 4).

Ejercicios
Ejercicio
Ordene estas cadenas de letras minúsculas de acuerdo con el orden lexicográfico
a) can, con, consuegro, convivir, canica
b) abrir, abridor, abril, abrigo, abrid
c) zoo, zeta, zoom, zoología, zoológico

Ejercicios
Ejercicio
Dibuja el diagrama de Hasse de la relación “mayor o igual que” en el conjunto
{0, 1, 2, 3, 4, 5}.

Outline

Conjuntos parcialmente ordenados: elementos maximales y
minimales
Se dice que un elemento de un conjunto parcialmente ordenado es maximal si no es

menor que ninguno de los elementos del conjunto. Esto es, a es maximal en el
conjunto parcialmente ordenado (S, 4) si no hay ningún b ∈ S tal que a ≺ b.

minimales

Se dice que un elemento de un conjunto parcialmente ordenado es minimal si no es

mayor que ninguno de los elementos del conjunto. Esto es, a es minimal si no hay
ningún b ∈ S tal que b ≺ a.

minimales


¿Cómo se descubren los elementos maximales y minimales de un orden parcial

utilizando el diagrama de Hasse?

minimales


¿Cómo se descubren los elementos maximales y minimales de un orden parcial

utilizando el diagrama de Hasse?
Son los elementos más altos y más bajos en el diagrama.

Ejemplo
¿Qué elementos del conjunto parcialmente ordenado ({2, 4, 5, 10, 12, 20, 25}, |), son
maximales y cuáles son minimales?

Ejemplo
Solución
El diagrama de Hasse de este orden parcial es:

Ejemplo
Solución
El diagrama de Hasse de este orden parcial es:
Este diagrama nos dice que los elementos maximales son 12, 20 y 25 y los elementos
minimales son 2 y 5.

Conjuntos parcialmente ordenados: elemento maximo y mínimo
A veces hay un elemento en un conjunto parcialmente ordenado que es mayor que

cualquier otro elemento. A ese elemento se le llama el máximo. Esto es, a es el
máximo (o último elemento) del conjunto parcialmente ordenado (S, 4), si b 4 a para
todo b ∈ S. El máximo es único cuando existe.

Conjuntos parcialmente ordenados: elemento maximo y mínimo
A veces hay un elemento en un conjunto parcialmente ordenado que es mayor que

cualquier otro elemento. A ese elemento se le llama el máximo. Esto es, a es el
máximo (o último elemento) del conjunto parcialmente ordenado (S, 4), si b 4 a para
todo b ∈ S. El máximo es único cuando existe.
Se dice que un elemento es el mínimo si es menor que cualquier otro elemento del
conjunto. Esto es, a es el mínimo (o primer elemento) de (S, 4), si a 4 b para todo
b ∈ S. El mínimo, si existe, es único.

Ejemplo
¿Determina cuáles de los conjuntos parcialmente ordenados representados por sus diagramas
de Hasse, en la siguiente figura, tienen un máximo y un mínimo?

Ejemplo
Solución
El mínimo del conjunto parcialmente ordenado representado por el diagrama de Hasse (a)
es a. Este conjunto no tiene máximo.

Ejemplo
Solución
El conjunto parcialmente ordenado representado por el diagrama de Hasse (b) no tiene ni
mínimo ni máximo.

Ejemplo
Solución
mínimo ni máximo.
El conjunto parcialmente ordenado representado por el diagrama de Hasse (c) no tiene
mínimo. El máximo es d.

Ejemplo
Solución
mínimo ni máximo.
El conjunto parcialmente ordenado representado por el diagrama de Hasse (c) no tiene
mínimo. El máximo es d.
El conjunto parcialmente ordenado representado por el diagrama de Hasse (d) tiene
mínimo y es a y su máximo es d.

Ejemplo
Sea S un conjunto. Explique por qué el conjunto P(S) con la relación ⊆ es parcialmente
ordenado y determine si tiene un máximo y un mínimo.

Conjuntos parcialmente ordenados: Cotas
Si es posible encontrar un elemento mayor que todos los elementos de un

subconjunto A del conjunto parcialmente ordenado (S, 4)., es decir, si s es un
elemento de S tal que a 4 s para todos los elementos a ∈ A. entonces s es una cota
superior de A.

Conjuntos parcialmente ordenados: Cotas
Si es posible encontrar un elemento mayor que todos los elementos de un

subconjunto A del conjunto parcialmente ordenado (S, 4)., es decir, si s es un
elemento de S tal que a 4 s para todos los elementos a ∈ A. entonces s es una cota
superior de A.
Puede haber elementos menores que todos los elementos de A. Si i es un elemento

de S tal que i 4 a para todos los elementos a ∈ A, entonces se dice que i es una cota
inferior de A.
Ejemplo
Encuentre las cotas superiores e inferiores de los subconjuntos {a, b, c}, {j, h}, y
{a, c, d, f } en el conjunto parcialmente ordenado con el siguiente diagrama de Hasse.

Se dice que el elemento x es el supremo del subconjunto A si x es cota superior y es

menor que cualquier otra cota superior de A. En caso de existir, sólo puede haber un
elemento como éste, tiene sentido llamar a este elemento el supremo de A Esto es, x
es el supremo de A si a 4 x para todo a ∈ A y x 4 z para cualquier cota superior z de
A.

Se dice que el elemento x es el supremo del subconjunto A si x es cota superior y es

menor que cualquier otra cota superior de A. En caso de existir, sólo puede haber un
elemento como éste, tiene sentido llamar a este elemento el supremo de A Esto es, x
es el supremo de A si a 4 x para todo a ∈ A y x 4 z para cualquier cota superior z de
A.
Se dice que el elemento y es el ínfimo de A si y es una cota inferior de A y z 4 y para

toda cota inferior z de A. El ínfimo de A es único, en caso de existir.
Ejemplo
Encuentre el supremo y el ínfimo, si existen, para los los subconjuntos {a, b, c},
{j, h}, y {a, c, d, f }.

Conjuntos parcialmente ordenados: Retículos
A un conjunto parcialmente ordenado en el que cada par de elementos tiene tanto un

supremo como un ínfimo se le llama retículo.
Ejemplo
¿Es el conjunto (Z + , |) un retículo?


Ejemplo
Dado cualquier par de enteros positivos a y b, ¿quiénes son el supremo y el ínfimo de

dichos números?
Ejemplo
Sea S un conjunto. ¿Es el conjunto (P(S), ⊆) un retículo?


Ejemplo
Dado cualquier par de enteros positivos a y b, ¿quiénes son el supremo y el ínfimo de

dichos números?
Ejemplo
Sea S un conjunto. ¿Es el conjunto (P(S), ⊆) un retículo?
El conjunto A ∩ B es el ínfimo de A y B para cualquier par de conjuntos, similarmente

A ∪ B es el supremo.

Ejercicios
Ejercicio
Responda a las siguientes cuestiones acerca del orden parcial representado por el diagrama de Hasse.
a) Halle los elementos maximales.
b) Halle los elementos minimales.
c) ¿Hay máximo?
d) ¿Hay mínimo?
e) Halle todas las cotas superiores de {a, b, c}.
f) Halle el supremo de {a, b, c}, si existe.
g) Halle todas las cotas inferiores de {f , g, h}.
h) Halle el ínfimo de {f , g, h}, si existe.

Ejercicios sugeridos
Ejercicios y sección
Ejercicios sugeridos sección 7.5: 4, 12, 14.
Ejercicios sugeridos sección 7.6: 12c), 13, 16b)d), 34, 36, 41, 42, 48.

RelacionesEquivalencia Particiones

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

RelacionesEquivalencia Particiones

Cargado por

Copyright:

Formatos disponibles

Computación y Estructuras Discretas II

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 1 / 59

2 Particiones y clases de equivalencia

3 Conjuntos parcialmente ordenados

4 Elementos maximales y minimales

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 2 / 59

Reconocer cuando una relación es de equivalencia.

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 3 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 4 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 5 / 59

Tengamos en cuenta los siguientes ejemplos y verifiquemos si son o no relaciones de

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 5 / 59

Tengamos en cuenta los siguientes ejemplos y verifiquemos si son o no relaciones de

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 5 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 6 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 6 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 6 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 6 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 6 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 6 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 6 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 6 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 6 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 7 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 7 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 7 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 7 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 7 / 59

Si dos elementos x, y están relacionados por medio de una relación de equivalencia,

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 8 / 59

Si dos elementos x, y están relacionados por medio de una relación de equivalencia,

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 8 / 59

Si dos elementos x, y están relacionados por medio de una relación de equivalencia,

Si b ∈ [a]R , decimos que b es un representante de [a]R .

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 8 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 9 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 9 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 10 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 10 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 10 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 10 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 10 / 59

[x]R = {..., x − 2m, x − m, x + m, x + 2m, ...}

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 10 / 59

[x]R = {..., x − 2m, x − m, x + m, x + 2m, ...}

Estas clases se denominan clases de congruencia módulo m.

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 10 / 59

2 Particiones y clases de equivalencia

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 11 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 12 / 59

Probemos que 3 implica 1

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 12 / 59

Probemos que 3 implica 1

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 12 / 59

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 13 / 59

Consideraciones respecto a las clases de equivalencia

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 13 / 59

Consideraciones respecto a las clases de equivalencia

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 13 / 59

Consideraciones respecto a las clases de equivalencia

3 No existen clases que tengan elementos en comunes.

Anibal Sosa. (Universidad ICESI) Computación y Estructuras Discretas II 13 / 59

Una relación de equivalencia sobre A, determina una partición sobre A, es decir,