Matemática Discreta

Ejercicios de Relaciones de Orden Parcial

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.
Solución
𝑎 𝑏 𝑐 𝑑 𝑒 𝑓
𝑎 1 0 1 1 0 0 R es un Orden Parcial si es:
𝑏 0 1 0 1 0 0 i) Reflexiva
a) 𝑀𝑅 = 𝑐 0 0 1 0 0 0 ii) Antisimétrica
𝑑 0 0 0 1 0 0
𝑒 iii) Transitiva
1 1 1 1 1 0
𝑓 [
0 1 0 1 0 1]
i) R es reflexiva, pues 𝑚𝑖𝑖 = 1.
ii) R es antisimétrica, pues
1 0 1 1 0 0 1 0 0 0 1 0
0 1 0 1 0 0 0 1 0 0 1 1
0 0 1 0 0 0 1 0 1 0 1 0
𝑀𝑅 ∧ (𝑀𝑅 )𝑇 = ∧
0 0 0 1 0 0 1 1 0 1 1 1
1 1 1 1 1 0 0 0 0 0 1 0
[0 1 0 1 0 1] [0 0 0 0 0 1]
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 0 0
= = 𝑀∆
0 0 0 1 0 0
0 0 0 0 1 0
[0 0 0 0 0 1]
iii) R es transitiva, pues
1 0 1 1 0 0 1 0 1 1 0 0
0 1 0 1 0 0 0 1 0 1 0 0
0 0 1 0 0 0 0 0 1 0 0 0
𝑀𝑅2 = 𝑀𝑅 ⊙ 𝑀𝑅 = ⊙
0 0 0 1 0 0 0 0 0 1 0 0
1 1 1 1 1 0 1 1 1 1 1 0
[0 1 0 1 0 1 ] [ 0 1 0 1 0 1]
1 0 1 1 0 0
0 1 0 1 0 0
0 0 1 0 0 0
= = 𝑀𝑅
0 0 0 1 0 0
1 1 1 1 1 0
[0 1 0 1 0 1]

Profesores MA265
Matemática Discreta

Por lo tanto, R es una relación de orden parcial.

b) Trazando el diagrama de Hasse:

Veamos el siguiente método:
i) Eliminando los arcos que hacen reflexivo el dígrafo:
0 0 1 1 0 0
0 0 0 1 0 0 Eliminar los arcos que hacen reflexivo el
0 0 0 0 0 0 dígrafo es equivalente a poner en CERO
𝑀1 = la diagonal de la matriz de R.
0 0 0 0 0 0
1 1 1 1 0 0
[0 1 0 1 0 0]
ii) Eliminando los arcos que hacen transitivo el dígrafo:
0 0 1 1 0 0 0 0 1 1 0 0
0 0 0 1 0 0 0 0 0 1 0 0
0 0 0 0 0 0 0 0 0 0 0 0
𝑀2 = 𝑀1 ⊙ 𝑀1 = ⊙
0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 0 0 1 1 1 1 0 0
[0 1 0 1 0 0] [0 1 0 1 0 0]
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
=
0 0 0 0 0 0
0 0 1 1 0 0
[0 0 0 1 0 0]
Luego 𝑀3 resulta de eliminar de 𝑀1 los 1s que están en la misma posición en 𝑀2
𝑎 𝑏 𝑐 𝑑 𝑒 𝑓
𝑎 0 0 1 1 0 0
𝑏 0 0 0 1 0 0
𝑀3 = 𝑐 0 0 0 0 0 0
𝑑 0 0 0 0 0 0
𝑒
1 1 0 0 0 0
𝑓 [
0 1 0 0 0 0]
De 𝑀3 determinamos los vértices con G.I. igual a cero: e, f
Para trazar el diagrama de Hasse empezamos con los vértices con G.I. = 0:

c d

a b

e f

2
Profesores MA265
Matemática Discreta (A, R) CPO
x, y son comparable si (x, y)R o (y, x)R
x, y no son comparables si (x, y)R y (y, x)R

c) Los elementos e y d son comparables pues (𝑒, 𝑑) ∈ 𝑅

d) Los elementos a y b no son comparables pues (𝑎, 𝑏) ∉ 𝑅 y (𝑏, 𝑎) ∉ 𝑅.

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).
Solución
a) Veamos que S es un orden parcial:
i) S es reflexiva, pues 𝑚𝑖𝑖 = 1.
ii) S es antisimétrica, pues
1 0 1 0 0 1 1 0 0 1 1 0 0 0 0
1 1 1 0 0 0 1 0 0 0 0 1 0 0 0
𝑀𝑆 ∧ (𝑀𝑠 )𝑇 = 0 0 1 0 0 ∧ 1 1 1 1 1 = 0 0 1 0 0 = 𝑀∆
0 0 1 1 0 0 0 0 1 0 0 0 0 1 0
[1 0 1 0 1] [0 0 0 0 1] [0 0 0 0 1]
iii) S es transitiva, pues
1 0 1 0 0 1 0 1 0 0 1 0 1 0 0
1 1 1 0 0 1 1 1 0 0 1 1 1 0 0
𝑀𝑆 2 = 𝑀𝑠 ⊙ 𝑀𝑠 = 0 0 1 0 0 ⊙ 0 0 1 0 0 = 0 0 1 0 0
0 0 1 1 0 0 0 1 1 0 0 0 1 1 0
[1 0 1 0 1] [ 1 0 1 0 1 ] [ 1 0 1 0 1]
= 𝑀𝑠
Por lo tanto, S es una relación de orden parcial.

b) Trazando el diagrama de Hasse:

Veamos el siguiente método:
iii) Eliminando los arcos que hacen reflexivo el dígrafo:
0 0 1 0 0
1 0 1 0 0
𝑀1 = 0 0 0 0 0
0 0 1 0 0
[1 0 1 0 0]
iv) Eliminando los arcos que hacen transitivo el dígrafo:

3
Profesores MA265
Matemática Discreta

0 0 1 0 0 0 0 1 0 0 0 0 0 0 0
1 0 1 0 0 1 0 1 0 0 0 0 1 0 0
𝑀2 = 𝑀1 ⊙ 𝑀1 = 0 0 0 0 0 ⊙ 0 0 0 0 0 = 0 0 0 0 0
0 0 1 0 0 0 0 1 0 0 0 0 0 0 0
[1 0 1 0 0] 1 0 1 0 0 [0 0 1 0 0]
Luego 𝑀3 resulta de eliminar de 𝑀1 los 1s que están en la misma posición en 𝑀2
𝑎 𝑏 𝑐 𝑑 𝑒
𝑎 0 0 1 0 0
1 0 0 0 0
𝑀3 = 𝑏
𝑐 0 0 0 0 0
𝑑 0 0 1 0 0
𝑒 [1 0 0 0 0]
De 𝑀3 determinamos los vértices con G.I. igual a cero: b, d, e
Para trazar el diagrama de Hasse empezamos con los vértices con G.I. = 0:
c

d b e

3. Sea 𝐴 = {𝑎,  𝑏,  𝑐,  𝑑,  𝑒, 𝑓 } y R una relación de orden parcial definida
sobre el conjunto A, cuyo diagrama de Hasse se muestra a la derecha: d
a) Determinar R en notación de conjuntos. R

b) ¿Los elementos b y e son comparables? Justifique su respuesta. a b

c) ¿Los elementos a y f son comparables? Justifique su respuesta.
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 f
valores de a, b, c, d, e y f respectivamente.

e
Solución
(𝑎, 𝑎), (𝑎, 𝑑 ), (𝑏, 𝑏), (𝑏, 𝑑 ), (A, ≤) CPO
(𝑐, 𝑎), (𝑐, 𝑏), (𝑐, 𝑐 ), (𝑐, 𝑑 ), x, y son comparable si 𝑥 ≤ 𝑦 ∨ 𝑦 ≤ 𝑥
a) 𝑅 =
(𝑓, 𝑏), (𝑓, 𝑑 ), (𝑓, 𝑓 ), x, y no son comparables si 𝑥 ≰ 𝑦 ∧ 𝑦 ≰ 𝑥
{(𝑒, 𝑎), (𝑒, 𝑏), (𝑒, 𝑐 ), (𝑒, 𝑑 ), (𝑒, 𝑒), (𝑒, 𝑓) }
b) Los elementos b y e son comparables, pues 𝑒 ≤ 𝑏.
c) Los elementos a y f no son comparables, pues 𝑎 ≰ 𝑓 ∧ 𝑓 ≰ 𝑎

4
Profesores MA265
Matemática Discreta

d) Identificando los elementos:

1, 3, 5, 6, 15, 30 30
R

6 15

5
Profesores MA265