MATEMÁTICA DISCRETA

Elementos maximales y minimales -

Retículos
ELEMENTOS MAXIMALES Y MINIMALES

Definición 1
Se dice que un elemento de un conjunto parcialmente ordenado es maximal si no es
menor que ninguno de los elementos del conjunto. Análogamente, 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, sea 𝑎 ∈ (𝐴, ≼)
• 𝑎 es maximal si no hay ningún 𝑏 ∈ 𝐴 tal que 𝑎 ≺ 𝑏.
• 𝑎 es minimal si no hay ningún 𝑏 ∈ 𝐴 tal que 𝑏 ≺ 𝑎.

Observación!!!!
Los elementos maximales y minimales son fáciles de descubrir usando el diagrama de
Hasse. Son los elementos «más altos» y «más bajos» en el diagrama
ELEMENTOS MAXIMALES Y MINIMALES

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

Observar!
Definición 1
Un conjunto parcialmente ordenado
Sea 𝑎 ∈ (𝐴, ≼) ;
puede tener más de un elemento
• 𝑎 es maximal si no hay ningún 𝑏 ∈ 𝐴 tal que 𝑎 ≺ 𝑏.
maximal y más de un elemento minimal.
• 𝑎 es minimal si no hay ningún 𝑏 ∈ 𝐴 tal que 𝑏 ≺ 𝑎.
MÁXIMO Y MÍNIMO

Definición 2
Se dice que un elemento de un conjunto parcialmente ordenado es máximo si es
mayor que cualquier otro elemento. Análogamente, se dice que un elemento de un
conjunto parcialmente ordenado es mínimo si es menor que cualquier otro elemento
del conjunto. Esto es, sea 𝑎 ∈ (𝐴, ≼)
• 𝑎 es máximo si 𝑏 ≼ 𝑎 para todo 𝑏 ∈ 𝐴.
• 𝑎 es mínimo si 𝑎 ≼ 𝑏 para todo 𝑏 ∈ 𝐴.

Observación!!!!
• El máximo es único cuando existe
• El mínimo, si existe, es único.
MÁXIMO Y MÍNIMO

Ejemplo 2:
Determinar cuáles de los conjuntos parcialmente ordenados representados por sus
diagramas de Hasse tiene máximo y mínimo
d
c d e d e d

c c b c
b

a a b a b a
COTA SUPERIOR Y COTA INFERIOR

Definición 3
Considere un conjunto parcialmente ordenado (𝐴, ≼) y un subconjunto 𝐵 de 𝐴.
• Un elemento 𝑎 ∈ 𝐴 es una cota superior de 𝐵 si 𝑏 ≼ 𝑎 para toda 𝑏 ∈ 𝐵 .
• Un elemento 𝑎 ∈ 𝐴 es una cota inferior de 𝐵 si 𝑎 ≼ 𝑏 para toda 𝑏 ∈ 𝐵 ..

h j

Ejemplo 3: g f
Determina las cotas superiores e inferiores de los
subconjuntos 𝑎, 𝑏, 𝑐 , 𝑗, ℎ y {𝑎, 𝑐, 𝑑, 𝑓} del conjunto d e
parcialmente ordenado cuyo diagrama de Hasse se
muestra en la figura b c

a
 COTA SUPERIOR Y COTA INFERIOR

Ejemplo 3:
Determina las cotas superiores e inferiores de los subconjuntos 𝑎, 𝑏, 𝑐 , 𝑗, ℎ y
{𝑎, 𝑐, 𝑑, 𝑓} del conjunto parcialmente ordenado cuyo diagrama de Hasse se muestra en
la figura
Solución
h j
(a) 𝐵1 = {𝑎, 𝑏, 𝑐} (c) 𝐵3 = {𝑎, 𝑐, 𝑑, 𝑓}
g f
cotas inferiores: 𝑎
cotas inferiores:
cotas superiores: 𝑒, 𝑓, 𝑗, ℎ d e 𝑎
(b) 𝐵2 = {𝑗, ℎ} cotas superiores:
b c
cotas inferiores: 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓 𝑓, ℎ, 𝑗
cotas superiores: No hay
a
Ejemplo 4:
Dado el conjunto parcialmente ordenado 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔, ℎ}, determina todas las
cotas superior e inferior de los siguientes subconjuntos.
(a) 𝐵1 = {𝑎, 𝑏} (b) 𝐵2 = {𝑐, 𝑑, 𝑒}
Solución h
(a) 𝐵1 = {𝑎, 𝑏} f g
cotas inferiores: No tiene
cotas superiores: 𝑐, 𝑑, 𝑒, 𝑓, 𝑔, ℎ
d e
(b) 𝐵2 = {𝑐, 𝑑, 𝑒}
c
cotas inferiores: 𝑎, 𝑏, 𝑐
cotas superiores: 𝑓, 𝑔, ℎ
a b
SUPREMO E ÍNFIMO

Definición 4
Considere un conjunto parcialmente ordenado (𝐴, ≼) y un subconjunto 𝐵 de 𝐴.
• Se dice que el elemento 𝑥 es el supremo del subconjunto 𝐵 si 𝑥 es una cota
superior y es menor que cualquier otra cota superior de 𝐵. (en caso de existir,
sólo puede haber un elemento cómo este). Análogamente se dice que el
elemento 𝑦 es el ínfimo de 𝐵 si "𝑦" es una cota inferior de 𝐵 y 𝑧 ≼ 𝑦 para toda
cota inferior 𝑧 de 𝐵.

Observación!!!
• En caso de existir el supremo o ínfimo, son únicos.
• El ínfimo y supremo de un subconjunto 𝐵 se denota por inf(𝐵) y sup(𝐵)
respectivamente.
Ejemplo 5:
Determina el ínfimo y supremo, si es que existen, de 𝑏, 𝑑, 𝑔 en el conjunto
parcialmente ordenado que se muestra en la figura.

Solución
Las cotas superiores Las cotas inferiores h j
de 𝑏, 𝑑, 𝑔 son: de 𝑏, 𝑑, 𝑔 son:
g f
𝑔yℎ 𝑎y𝑏
d e
Como 𝑔 ≺ ℎ, 𝑔 es la Como 𝑎 ≺ 𝑏, 𝑏 es la
menor de las cotas mayor de las cotas
b c
superiores, por tanto inferiores, por tanto
𝑔 es el supremo. 𝑏 es el ínfimo.
a
sup 𝑏, 𝑑, 𝑔 =𝑔 𝑖𝑛𝑓 𝑏, 𝑑, 𝑔 =𝑏
 RETÍCULOS

Definición 5
A un conjunto parcialmente ordenado (𝐴, ≼) en el que cada par de elementos tiene
tanto supremo como un ínfimo se le llama retículo.

Ejemplo 6
• Determina si los conjuntos parcialmente ordenados representados por los
diagramas de Hasse son o no retículos.
Ejemplo 6
Determina si los conjuntos parcialmente ordenados representados por los diagramas
de Hasse son o no retículos.

Solución

Los conjuntos parcialmente ordenados

que se muestran en los diagramas de
Hasse (A) y (C) son retículo ya que en
cada uno de los dos conjuntos, cada par
de elementos tiene tanto un supremo
como un ínfimo.
Ejemplo 6
Determina si los conjuntos parcialmente ordenados representados por los diagramas
de Hasse son o no retículos.

Solución

El conjunto parcialmente ordenado con diagrama de

Hasse (B) no es un retículo ya que los elementos 𝑏 y
𝑐 no tienen supremo.

Observe que cada uno de los elementos 𝑑, 𝑒 y 𝑓 es

una cota superior, pero ninguno de estos tres
elementos precede a los dos restantes en el orden
de este conjunto.