Matemática Discreta

Ejercicios propuestos de Relaciones de Orden Parcial

1. Sea A a, b, c, d , e, f y R una relación sobre el conjunto A, cuyos elementos se muestran abajo:

R a, a , a, c , a, d , b, b , b, d , c, c , d , d , e, a , e, b , e, c , e, d , e, e , f , b , f , d , f , f

(a) ¿R es una relación de orden parcial? Justifique su respuesta.

(b) En caso 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
MS 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).

d
3. Sea A a, b, c, d , e, f y R una relación de orden parcial definida sobre el R
conjunto A, cuyo diagrama de Hasse se muestra abajo:

(a) Determinar R en notación de conjuntos.

(b) ¿Los elementos b y e son comparables? Justifique su respuesta.
(c) ¿Los elementos a y f son comparables? Justifique su respuesta. a b
(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) Encuentre 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).
Matemática Discreta

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.
(b) Trace el diagrama de Hasse del conjunto c
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 A a; b; c; d ; e; f 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
MR
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 que R sea una relación de orden parcial, trace su diagrama de Hasse.

8. Sea A a, b, c, d , e, f , g 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 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]