Trabajo Práctico N° 7: Elementos extremos. Látises.

Ejercicios para resolver

1. Para cada conjunto parcialmente ordenado:
i. Indica los Maximales y Minimales (si existen).
ii. Indica el Máximo (𝐼) y el Mínimo (𝑂) (si existen).
Para cada conjunto 𝐵𝑖 (𝑖 = 1, 2, … ) que se menciona junto al conjunto, encuentra (si existen).

iii. Las Cotas Superiores de 𝐵𝑖 (𝐶𝑆(𝐵𝑖 )).

iv. Las Cotas Inferiores de 𝐵𝑖 (𝐶𝐼(𝐵𝑖 )).
v. La Mínima Cota Superior de 𝐵𝑖 (𝑀𝑖𝐶𝑆(𝐵𝑖 )).
vi. La Máxima Cota Inferior de 𝐵𝑖 (𝑀𝑎𝐶𝐼(𝐵𝑖 )).
vii. El conjunto parcialmente ordenado, ¿es una látis? Justifica tu respuesta.
viii. ¿Es una látis acotada? Si existen, indica el máximo y el mínimo. Justifica tu respuesta.
ix. ¿Es una látis distributiva? Justifica tu respuesta.
x. ¿Es una látis complementada? Si existen, indica los complementos. Justifica tu
respuesta.
xi. ¿Es un Álgebra de Boole? Justifica tu respuesta.
xii. Si es un orden parcial, clasifique topológicamente el conjunto. Indique el orden total
generado.
a. 𝐴 = {𝑎, 𝑏, 𝑐}; ℛ1 = {(𝑎, 𝑎) , (𝑏, 𝑏) , (𝑐, 𝑐), (𝑎, 𝑏), (𝑏, 𝑐), (𝑎, 𝑐)} con 𝐵1 = {𝑎, 𝑏}; 𝐵2 = {𝑎, 𝑐} y
𝐵3 = {𝑏, 𝑐}
b. 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑}; ℛ2 = {(𝑎, 𝑎) , (𝑏, 𝑏), (𝑐, 𝑐), (𝑑, 𝑑), (𝑎, 𝑏) , (𝑎, 𝑐)} con 𝐵1 = {𝑎, 𝑏, 𝑐}; 𝐵2 =
{𝑎, 𝑐, 𝑑} y 𝐵3 = {𝑏, 𝑑}
c. 𝐴 = {∅, {𝑎}, {𝑎, 𝑏}, {𝑐}, {𝑎, 𝑐}, {𝑏}}; 𝑈 ℛ3 𝑉 ⇔ 𝑈 ⊆ 𝑉 con 𝐵1 = {{𝑎}, {𝑐}}; 𝐵2 = {{𝑎, 𝑐}, ∅} y
𝐵3 = {{𝑏}, {𝑎, 𝑐}}
d. 𝐴 = {2, 3, 5, 7, 21, 42, 105, 210}; 𝑎 ℛ4 𝑏 ⇔ 𝑎|𝑏 (𝑎 es divisor de 𝑏) con 𝐵1 = {2, 3, 5}; 𝐵2 =
{7, 21, 42, 210} y 𝐵3 = {105, 2}
e. 𝐴 = {3, 6, 9, 18, 54, 72, 108, 162}; 𝑎 ℛ5 𝑏 ⇔ 𝑎|𝑏 (𝑎 es divisor de 𝑏) con 𝐵1 = {6, 9, 18};
𝐵2 = {6, 9, 54, 162} y 𝐵3 = {3, 162}

g.
h. i.
f.
con 𝐵1 = {(1, 0), (0, 2)}; con 𝐵1 =
con 𝐵1 = {𝑎, 𝑏};
𝐵2 = {00, 01}; con 𝐵1 = {2, 4};
𝐵2 =
{(1, 0) , (1, 1), (1, 2)} y 𝐵2 = 𝐵2 = {4, 8, 12, 24}
{𝑏, 𝑒, 𝑓, 𝑐} y
𝐵3 = {11, 10, 00} y y 𝐵3 = {8, 12}
𝐵3 = {𝑎, 𝑐, 𝑒}
{(0, 0) , (0, 2), (2, 1)} 𝐵3 = {01, 10}
 k. l.
j. m.
con 𝐵1 = {𝑖, 𝑔}; con 𝐵1 = {6, 1}; con 𝐵1 = {𝑘, 𝑗}; 𝐵2 =
con 𝐵1 = {𝑎, 𝑏, 𝑑}; 𝐵2 =
𝐵2 = {𝑖, 𝑔, 𝑗} y 𝐵2 = {4, 5} y {𝑘, 𝑛, 𝑙} y 𝐵3 =
{𝑒, 𝑑} y 𝐵3 = {𝑏, 𝑑, 𝑐}
𝐵3 = {𝑙, 𝑘} 𝐵3 = {1, 3, 5} {𝑛, 𝑚 }

p.
o. q.
n.
con 𝐵1 = {𝑟, 𝑞}; con 𝐵1 = {𝑠, 𝑡, 𝑜};
con 𝐵1 = {𝑘, 𝑗}; 𝐵2 =
𝐵2 = {𝑟, 𝑠, 𝑡} y con 𝐵1 = {0, 1} 𝐵2 = {𝑡, 𝑝, 𝑜} y
{𝑘, 𝑙, 𝑗, 𝑚} y 𝐵3 = {𝑘, 𝑖}
𝐵3 = {𝑟, 𝑞, 𝑠} 𝐵3 = {𝑛, 𝑡, 𝑠, 𝑞}

s. t.
r.
con 𝐵1 =
con 𝐵1 =
{6,2, 36};
{6, 1, 2, 8};
con 𝐵1 = {6, 7}; 𝐵2 = {4, 5} 𝐵2 =
𝐵2 = {4, 5, 1}
y 𝐵3 = {4, 7, 8} {6, 12, 24} y
y 𝐵3 =
𝐵3 =
{7, 3, 5}
{2, 3, 24, 36}