UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

Definición y representación de un CPO

CONTENIDO

Unidad N°4: Estructuras de orden y Diagrama de Hasse

4.1 Definición y representación de un conjunto parcialmente ordenado
 Estructuras de orden
 Relación de orden parcial
 Elementos comparables y orden lineal
 Diagrama de Hasse

Profesores MA265 1
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

Estructuras de orden
Introducción
Para obtener un grado en alguna especialidad de ingeniería en la UPC, un estudiante debe
aprobar un conjunto específico de cursos requeridos, algunos deben aprobarse antes de que
se puedan iniciar otros. Dada la estructura de los prerrequisitos del programa, uno podría
preguntarse cuál es el número mínimo de periodos que se necesita para cumplir con los
requisitos del grado, o cuál es el máximo números de cursos que se pueden llevar en el mismo
periodo, o si hay una secuencia en la que un estudiante de tiempo parcial pueda tomar uno
de los cursos por periodo. Más adelante en esta sección, mostramos cómo se representa la
estructura de los requisitos previos del programa como una relación de orden parcial lo que
hace relativamente fácil responder a dichas preguntas.
Relación de orden parcial
Una relación R en un conjunto A es un orden parcial si R es:
 Reflexiva (R)
 Antisimétrica (RR-1  ) y
 Transitiva (R2R)
Notación
Si R es una relación de orden parcial:
 (A, R) denota a un conjunto parcialmente ordenado.
 (A, R)  (A, ).
Definición
Sean (A, ) y (B, ) conjuntos parcialmente ordenados:
Se define el orden parcial en AB, denotado por , como sigue:
(a, b)  (a’, b’)  a  a’ en A y b  b’ en B.
Este orden es llamado el Orden Parcial Producto.
Ejemplo
Sea “|” la relación “divide” sobre el conjunto A de enteros positivos:
a esta relacionado con b ⟺ a|b
Es decir, b = ka para algún entero k
Demuestre que “|” es una relación de orden parcial en A.
Solución
| es reflexiva
Se debe demostrar que para todo 𝑎 ∈ 𝐴, 𝑎|𝑎
Suponga que 𝑎 ∈ 𝐴, entonces 𝑎 = 1. 𝑎, así 𝑎|𝑎 por definición de divisibilidad.

Profesores MA265 2
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

| es antisimétrica
Se debe demostrar que para todo 𝑎, 𝑏 ∈ 𝐴, si 𝑎|𝑏 y 𝑏|𝑎 entonces 𝑎 = 𝑏
Si 𝑎|𝑏 ⟹ 𝑏 = 𝑘1 𝑎, si 𝑏|𝑎 ⟹ 𝑎 = 𝑘2 𝑏 con 𝑘1 , 𝑘2 enteros
luego 𝑏 = 𝑘1 𝑎 = 𝑘1 𝑘2 𝑏 ⟹ 𝑘1 𝑘2 = 1 ⟹ 𝑘1 = 𝑘2 = 1
así 𝑎 = 𝑘2 𝑏 = 1. 𝑏 ⟹ 𝑎 = 𝑏
| es transitiva
Se debe demostrar que para todos 𝑎, 𝑏, 𝑐 ∈ 𝐴, sí 𝑎|𝑏 y 𝑏|𝑐 entonces 𝑎|𝑐
Si 𝑎|𝑏 ⟹ 𝑏 = 𝑘1 𝑎 y 𝑏|𝑐 ⟹ 𝑐 = 𝑘2 𝑏 con 𝑘1 , 𝑘2 enteros
luego 𝑐 = 𝑘2 𝑘1 𝑎 y 𝑘1 𝑘2 = 𝑘 ⟹ 𝑐 = 𝑘𝑎 así 𝑎|𝑐
Puesto que | es reflexiva, antisimétrica y transitiva, | es una relación de orden parcial
Elementos comparables
Si (A, ) es un conjunto parcialmente ordenado, los elementos a, b  A, son comparables si:
aboba
Ejemplo
Sea “|” la relación “divide” sobre el conjunto 𝐴 = {2; 3; 4; 6; 12}:
a esta relacionado con b ⟺ a|b
Entonces:
| = {(2; 2), (2; 4), (2; 6), (2; 12), (3; 3), (3; 6), (3; 12), (4; 4), (4; 12), (6; 6), (6; 12), (12; 12)}
 4 y 12 son comparables, porque (4; 12) ∈ |
 4 y 6 no son comparables, porque (4; 6) ∉ |, (6; 4) ∉ |
Orden lineal
Si cada par de elementos en un conjunto parcialmente ordenado A es comparable, se dirá que
A es un conjunto linealmente ordenado, y el orden parcial es un orden lineal.
Ejemplo
Sea R la relación “divide” sobre el conjunto 𝐴 = {2; 4; 8; 16}:
a esta relacionado con b ⟺ a|b
Entonces:
𝑅 = {(2; 2), (2; 4), (2; 8), (2; 16), (4; 4), (4; 8), (4; 16), (8; 8), (8; 16), (16; 16)}
 R es un orden lineal, porque cualquier par de elementos de A, están relacionados (son
comparables).

Profesores MA265 3
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

Diagrama de Hasse
Sea A un conjunto finito y (A, R) un conjunto parcialmente ordenado. El diagrama de Hasse se
obtiene del dígrafo de R de la siguiente forma:
• Eliminando las aristas que hacen reflexivo el dígrafo.
• Eliminando las aristas que hacen transitivo el dígrafo.
• Graficando nuevamente de tal manera que las flechas apunten hacia arriba.
• Eliminando la cabeza de la flecha.
Ejemplo
Determine el diagrama de Hasse a partir del siguiente dígrafo:

12 1

2
4

Solución
Eliminamos las aristas que hacen reflexivo el dígrafo:

12 1

2
4

Profesores MA265 4
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

Eliminamos las aristas que hacen transitivo el dígrafo:

12 1

2
4

Graficamos de tal manera que las flechas apuntes hacia arriba y luego eliminamos la cabeza
de la flecha:

12
4

Diagrama de Hasse desde la matriz de la relación

Dada la matriz de la relación 𝑀𝑅
 Hallamos la matriz 𝑀1 , eliminando todos los unos de la diagonal de 𝑀𝑅 (cambiamos
los unos por ceros).
 Hallamos la matriz 𝑀2 = 𝑀1 ⊙ 𝑀1
 Hallamos la matriz 𝑀3 , eliminando en 𝑀1 todos los unos de 𝑀2 .
 El diagrama de Hasse de la relación R se grafica desde esta última matriz.
Ejemplo
En el conjunto 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒} se define la relación de orden parcial R cuya matriz es:
𝑎 𝑏 𝑐 𝑑 𝑒
𝑎 1 0 1 0 0
𝑀𝑅 = 𝑏 0 1 1 0 1
𝑐 0 0 1 0 0
𝑑 1 0 1 1 1
𝑒 [0 0 1 0 1]
Trazar su diagrama de Hasse

Profesores MA265 5
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

Solución
Hallamos la matriz 𝑀1 , eliminando todos los unos de la diagonal de 𝑀𝑅 (cambiamos los unos
por ceros).
𝑎 𝑏 𝑐 𝑑 𝑒
𝑎 0 0 1 0 0
𝑀1 = 𝑏 0 0 𝟏 0 1
𝑐 0 0 0 0 0
𝑑 1 0 𝟏 0 1
𝑒 [0 0 1 0 0]
Hallamos la matriz 𝑀2 = 𝑀1 ⊙ 𝑀1
𝑎
𝑐 𝑑 𝑒𝑏
𝑎 0
0 0 00
𝑀2 = 𝑏 0
𝟏 0 00
𝑐 0
0 0 00
𝑑 0
𝟏 0 00
𝑒 [0
0 0 0]
0
Hallamos la matriz 𝑀3 , eliminando en 𝑀1 todos los unos de 𝑀2 .
𝑎 𝑏
𝑐 𝑑 𝑒
𝑎 0 0
1 0 0
𝑀3 = 𝑐 𝑏 0 0
0 0 1
0 0
0 0 0
𝑑 1 0
0 0 1
𝑒 [01 0 0]
0
El diagrama de Hasse de la relación R se grafica desde esta última matriz. Los elementos que
tienen en su columna solo ceros van en la parte inferior y desde ellos se comienza a trazar el
Hasse.

a e

d b

Profesores MA265 6
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

Ejercicios propuestos

1. Sea 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓 } y R una relación sobre el conjunto A, cuyos elementos se

muestran abajo:
(𝑎, 𝑎), (𝑎, 𝑐 ), (𝑎, 𝑑 ), (𝑏, 𝑏), (𝑏, 𝑑 ), (𝑐, 𝑐 ), (𝑑, 𝑑 ), (𝑒, 𝑎),
𝑅={ }
(𝑒, 𝑏), (𝑒, 𝑐 ), (𝑒, 𝑑 ), (𝑒, 𝑒), (𝑓, 𝑏), (𝑓, 𝑑 ), (𝑓, 𝑓 )
a) ¿R es una relación de orden parcial? Justifique su respuesta.
b) En caso de que R sea una relación de orden parcial, trace su diagrama de Hasse
c) ¿Los elementos e y d son comparables? Justifique su respuesta.
d) ¿Los elementos a y b son comparables? Justifique su respuesta.
2. Sea A = {a, b, c, d, e} y S una relación sobre el conjunto A, cuya representación matricial
se indica:
1 0 1 0 0
1 1 1 0 0
𝑀𝑆 = 0 0 1 0 0
0 0 1 1 0
[1 0 1 0 1]
a) Verifique que S es una relación de orden parcial.
b) Trace el diagrama de Hasse del conjunto parcialmente ordenado (A, S).
3. Sea 𝐴 = {𝑎,  𝑏,  𝑐,  𝑑,  𝑒, 𝑓 } y R una relación de orden parcial definida d
sobre el conjunto A, cuyo diagrama de Hasse se muestra a la R
derecha:
a) Determinar R en notación de conjuntos. a b
b) ¿Los elementos b y e son comparables? Justifique su respuesta.
c) ¿Los elementos a y f son comparables? Justifique su respuesta. f
d) Si el diagrama de Hasse representa la relación de orden parcial
“x divisor de y” para los números 30, 15, 6, 5, 3, 1, identificar los
valores de a, b, c, d, e y f respectivamente. e

4. Sea el conjunto 𝐴 = {1, 2, 4, 8, 16}. Sea R una relación en A definida por:

𝑥𝑅𝑦 ⟺ 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 𝑦
a) Determine los elementos de la relación R.
b) ¿Es R un orden parcial? Justifique su respuesta.
c) ¿Es R un orden lineal? es decir, ¿es el conjunto A un conjunto linealmente ordenado?
Justifique su respuesta.
d) ¿Los elementos 8 y 2 son comparables?
e) Trace el Diagrama de Hasse del conjunto parcialmente ordenado (A, R).

Profesores MA265 7
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

5. El siguiente dígrafo representa la

relación R definida en el conjunto
A = {a, b, c, d, e}.
a b
a) Verifique que R es una relación
de orden parcial.
c
b) Trace el diagrama de Hasse del
conjunto parcialmente
ordenado (A, R). e d

6. Sea 𝐴 = {𝜙, {1}, {3}, {1, 2}, {1, 3}}. Sea R la relación en A definida por:
𝑥𝑅𝑦 ⟺ 𝑥 ⊆ 𝑦
a) Encuentre los elementos de la relación R.
b) ¿Es R un orden parcial? Justifique su respuesta.
c) ¿Es R es un orden lineal? es decir, ¿es el conjunto A un conjunto linealmente
ordenado? Justifique su respuesta.
d) Trace el diagrama de Hasse del conjunto parcialmente ordenado (A, R).
7. Sea 𝐴 = {𝑎;  𝑏;  𝑐;  𝑑;  𝑒;  𝑓 } y R una relación sobre el conjunto A, cuya representación
matricial es:
1 0 0 1 0 1
1 1 1 1 0 1
1 0 1 1 0 1
𝑀𝑅 =
0 0 0 1 0 0
1 0 1 1 1 1
[0 0 0 0 0 1]
a) ¿R es una relación de orden parcial? Justifique su respuesta.
b) En caso de que R sea una relación de orden parcial, trace su diagrama de Hasse.
8. Sea 𝐴 = {𝑎,  𝑏,  𝑐,  𝑑,  𝑒, 𝑓, 𝑔} y R una relación sobre el conjunto A, cuya matriz se
muestra abajo:
a) ¿R es una relación de orden parcial? Justifique su respuesta.
b) En caso de que R sea una relación de orden parcial, trace su diagrama de Hasse
c) ¿Los elementos c y b son comparables? Justifique su respuesta.
d) ¿Los elementos a y d son comparables? Justifique su respuesta.
𝑎 𝑏 𝑐 𝑑 𝑒 𝑓 𝑔
𝑎 1 0 0 0 1 0 0
𝑏 0 1 0 0 0 0 0
𝑐
𝑀𝑅 = 𝑑 1 1 1 0 1 1 0
0 1 0 1 0 0 0
𝑒 0 0 0 0 1 0 0
𝑓 0 1 0 0 1 1 0
𝑔 [0 1 0 1 1 1 1]

Profesores MA265 8
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

9. Sea P el conjunto de todas las personas en el mundo y se define una relación R sobre P
como sigue:
Para todo 𝒙 𝑹 𝒚 ⟺ 𝒙 no tiene más edad que 𝒚 .
Verifique que R es una relación de orden parcial.

10. En el conjunto D6 formado por los divisores positivos de 6:

a) Verifique que (D6, |) es una relación de orden parcial.
b) Trace su diagrama Hasse.
11. Sea P la potencia de un conjunto.
a) Demuestre que (P ({a, b, c}), ⊆) es una relación de orden parcial.
b) Trace su diagrama de Hasse.
c) ¿es un orden lineal?

12. En el conjunto Dn formado por los divisores positivos de n, se define la relación | así:
𝑎|𝑏 ↔ 𝑎 es un divisor de 𝑏.
a) Justifique, de manera general (para cualquier número natural n), por qué la relación |
es una relación de orden parcial.
b) Determine los elementos de D60
c) Demuestre que (D60, |)es de orden parcial.
d) Trace el diagrama de Hasse de (D120, |)

Respuestas de los ejercicios propuestos

1.

a. 𝑅 es reflexiva, ∆⊆ 𝑅
𝑅 es antisimétrica, 𝑅 ∩ 𝑅−1 ⊆ ∆
𝑅 es transitiva, 𝑅2 ⊆ 𝑅

b.

c. Si son comparables, pues (𝑒, 𝑑 ) ∈ 𝑅

d. No son comparables, pues (𝑎, 𝑏) ∉ 𝑅

2.
a. 𝑆 es reflexiva, ∆⊆ 𝑆
𝑆 es antisimétrica, 𝑆 ∩ 𝑆 −1 ⊆ ∆

Profesores MA265 9
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

𝑆 es transitiva, 𝑆 2 ⊆ 𝑆
b.

3.

a. 𝑅 = {(𝑎, 𝑎), (𝑏, 𝑏), (𝑐, 𝑐 ), (𝑑, 𝑑 ), (𝑒, 𝑒), (𝑓, 𝑓 ), (𝑎, 𝑑 ), (𝑏, 𝑑 ), (𝑐, 𝑎), (𝑐, 𝑏), (𝑐, 𝑑 ),
(𝑒, 𝑎),(𝑒, 𝑏), (𝑒, 𝑐 ), (𝑒, 𝑑 ), , (𝑒, 𝑓 ), (𝑓, 𝑏), (𝑓, 𝑑 )}

b. Si son comparables, pues (𝑒, 𝑏) ∈ 𝑅

c. No son comparables, pues (𝑎, 𝑓 ) ∉ 𝑅

d. 𝑎 = 6, 𝑏 = 15, 𝑐 = 3, 𝑑 = 30, 𝑒 = 1, 𝑓 = 5

4.
(1,1), (1,2), (1,4), (1,8), (1,16), (2,2), (2,4), (2,8), (2,16), (4,4),
a. 𝑅 = { }
(4,8), (4,16), (8,8), (8,16), (16,16)
b.
𝑅 es reflexiva, ∆⊆ 𝑅
𝑅 es antisimétrica, 𝑅 ∩ 𝑅−1 ⊆ ∆
𝑅 es transitiva, 𝑅2 ⊆ 𝑅
c. R es un orden lineal, pues cualquier par de elementos de A están relacionados.
d. Si, pues 2 es divisor de 8
e.

5.
1 0 1 0 0 1 0 0 0 1
0 1 0 0 0 0 1 0 1 0
a. 𝑀𝑅2 = 𝑀𝑅 = 0 0 1 0 0, 𝑀𝑅−1 = 1 0 1 0 1
0 1 0 1 0 0 0 0 1 0
[1 0 1 0 1] [0 0 0 0 1]

𝑅 es reflexiva, ∆⊆ 𝑅
𝑅 es antisimétrica, 𝑅 ∩ 𝑅−1 ⊆ ∆
𝑅 es transitiva, 𝑅2 ⊆ 𝑅

Profesores MA265 10
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

b.

6.
(∅, {1}), (∅, {3}), (∅, {1,2}), (∅, {1,3}), ({1}, {1,2}), ({1}, {1,2}), ({1}, {1,3}),
a. 𝑨 = { }
({3}, {1,3}), (∅, ∅), ({1}, {1}), ({3}, {3}), ({1,2}, {1,2}), ({1,3}, {1,3})

b. 𝑅 es reflexiva, ∆⊆ 𝑅
𝑅 es antisimétrica, 𝑅 ∩ 𝑅−1 ⊆ ∆
𝑅 es transitiva, 𝑅 2 ⊆ 𝑅
c. 𝑅 no es un orden lineal, pues ({3}, {1,2}) ∉ 𝑅

d. {𝟏, 𝟐} {𝟏, 𝟑}

{𝟏} {𝟑}

∅
7.
a. 𝑅 es reflexiva, ∆⊆ 𝑅
𝑅 es antisimétrica, 𝑅 ∩ 𝑅−1 ⊆ ∆
𝑅 es transitiva, 𝑅 2 ⊆ 𝑅

b.

8.
a. 𝑅 es reflexiva, ∆⊆ 𝑅
𝑅 es antisimétrica, 𝑅 ∩ 𝑅−1 ⊆ ∆
𝑅 es transitiva, 𝑅 2 ⊆ 𝑅

b.

Profesores MA265 11
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

c. Si son comparables, pues (𝑐, 𝑏) ∈ 𝑅

d. No son comparables, pues (𝑎, 𝑑 ) ∉ 𝑅

9.
𝑥𝑅𝑦 ⇔ 𝑥 ≤ 𝑦
𝑅 es reflexiva, 𝑥 ≤ 𝑥
𝑅 es antisimétrica, 𝑥 ≤ 𝑦 ∧ 𝑦 ≤ 𝑥 ⇒ 𝑥 = 𝑦
𝑅 es transitiva, 𝑥 ≤ 𝑦 ∧ 𝑦 ≤ 𝑧 ⇒ 𝑥 ≤ 𝑧

10.

a.
1 1 1 1
1
𝑀𝑅 = [0 0 1]
0 0 1 0
0 0 0 1

𝑅 es reflexiva, ∆⊆ 𝑅
𝑅 es antisimétrica, 𝑅 ∩ 𝑅 −1 ⊆ ∆
𝑅 es transitiva, 𝑅2 ⊆ 𝑅

b.

11.
a. 𝐴𝑅𝐵 ⇔ 𝐴 ⊆ 𝐵
𝑅 es reflexiva, 𝐴 ⊆ 𝐴
𝑅 es antisimétrica, 𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐴 ⇒ 𝐴 = 𝐵
𝑅 es transitiva, 𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐶 ⇒ 𝐴 ⊆ 𝐶

b.

c. No es de orden lineal, pues {𝑎} no es comparable con {𝑏}

Profesores MA265 12
UPC – Departamento de Ciencias – MATEMATICA DISCRETA (MA265)

12.
a. |: es reflexiva, pues 𝑎|𝑎
|: es antisimétrica
Si 𝑎 ≠ 𝑏 ⟹ (𝑎|𝑏 ⟹ 𝑏 ∤ 𝑎)
|: es transitiva,
𝑎|𝑏 ⇒ 𝑏 = 𝑎𝑞1 y
𝑏|𝑐 ⇒ 𝑐 = 𝑏𝑞2
⇒ 𝑐 = (𝑎𝑞1 )𝑞2 = 𝑎(𝑞1 𝑞2 )
⇒ 𝑎|𝑐

b.
𝐷60 = {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60}

d. 120
24 60
12
30
40
6 15
8 20 3
4 10
2 5
1

BIBLIOGRAFÍA

 Kolman B.; Busby R. & Ross S. (1997). Estructuras de matemáticas discretas para la
computación. Prentice Hall. Tercera Edición. México. Revisar páginas desde 225 hasta
238. https://catalogo.upc.edu.pe/permalink/f/4e1kr1/51UPC_alma2111324280003391

 Epp S. (2012). Matemáticas discretas con aplicaciones. México, D.F. Cengage Learning.
(https://n9.cl/uqq6) Revisar páginas desde 498 hasta 515.

Profesores MA265 13