MATEMÁTICA DISCRETA

Conjuntos parcialmente ordenados

CONJUNTO PARCIALMENTE ORDENADO

Con frecuencia empleamos relaciones para ordenar algunos o todos los elementos
de un conjunto. Si lo que se quiere es ordenar un grupo de personas, se puede
pensar en la edad, la estatura o el salario mensual, entre otros valores numéricos, y
el concepto del primero y, el último, en este orden que se considere, depende de
cómo se defina la relación: una persona podría ser la primera en el grupo si se
ordena por salario, pero podría ser la última si se ordena por estatura, e incluso ni el
primero ni el último si se ordena por la edad.
Edad

Salario

Estatura
CONJUNTO PARCIALMENTE ORDENADO

Definición 1
Se dice que una relación 𝑅 en un conjunto 𝐴 es una ordenación parcial, o que es un
orden parcial, si es reflexiva, antisimétrica y transitiva. Se llama conjunto
parcialmente ordenado a cualquier conjunto 𝐴 con un orden parcial 𝑅 y se denota
por (𝐴, 𝑅)

Ejemplo 1:
Sea 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔} y 𝑅 = { 𝑎, 𝑎 , 𝑎, 𝑏 , 𝑎, 𝑐 , 𝑎, 𝑑 , 𝑎, 𝑒 , 𝑎, 𝑓 , 𝑏, 𝑏 ,
𝑏, 𝑑 , 𝑏, 𝑒 , 𝑏, 𝑓 , 𝑐, 𝑐 , 𝑐, 𝑑 , 𝑐, 𝑒 , 𝑑, 𝑑 , 𝑑, 𝑒 , 𝑒, 𝑒 , 𝑓, 𝑓 , 𝑔, 𝑔 , (𝑔, 𝑓)} una
relación definida en A. Se puede verificar que 𝑅 es una relación de orden parcial.
CONJUNTO PARCIALMENTE ORDENADO

Ejemplo 2:
La relación «mayor o igual que» (≥) es un orden parcial en el conjunto de los
números enteros.

Reflexiva: se tiene 𝑎 ≥ 𝑎 para todo número entero.

Antisimétrica: Si 𝑎 ≥ 𝑏 y 𝑏 ≥ 𝑎, entonces 𝑎 = 𝑏 .

Transitiva: Si 𝑎 ≥ 𝑏 y 𝑏 ≥ 𝑐, implica 𝑎 ≥ 𝑐 .

Por tanto ≥ es una relación de orden parcial en el conjunto de los números enteros
Y (𝑍, ≥) es un conjunto parcialmente ordenado.
 EJERCICIOS PROPUESTOS

4. Determine si la relación de divisibilidad (𝑎𝑅𝑏 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑎|𝑏) es un orden parcial

en 𝑍 + .
CONJUNTO PARCIALMENTE ORDENADO

Notación
En un conjunto parcialmente ordenado, la notación 𝑎 ≼ 𝑏 denota que (𝑎, 𝑏) ∈ 𝑅. Se
usa esta notación porque la relación «menor o igual que» es un ejemplo para las
ordenes parciales

Cuando 𝑎 y 𝑏 son elementos del conjunto parcialmente ordenado (𝐴, ≼) no tiene por
qué darse necesariamente ni 𝑎 ≼ 𝑏 ni 𝑏 ≼ 𝑎. Por ejemplo, en (𝑍, |), 2 no está
relacionado con 3 y 3 no está relacionado con 2.
CONJUNTO PARCIALMENTE ORDENADO

Definición 2
Se dice que los elementos 𝑎 y 𝑏 de un conjunto parcialmente ordenado (𝐴, ≼) son
comparables si se tiene que bien 𝑎 ≼ 𝑏 o bien 𝑏 ≼ 𝑎. Cuando 𝑎 y 𝑏 son elementos
de 𝐴 tales que ni 𝑎 ≼ 𝑏 ni 𝑏 ≼ 𝑎 se dice que 𝑎 y 𝑏 son no comparables.

Ejemplo 3:
En el conjunto parcialmente ordenado (𝑍 + , |), ¿son comparables los números 3 y 9?
¿son comparables 5 y 7?
CONJUNTO PARCIALMENTE ORDENADO

El siguiente teorema resulta útil en ciertas ocasiones, ya que muestra la forma de

construir un nuevo conjunto parcialmente ordenado a partir de dos conjuntos
parcialmente ordenados dados.

Teorema 1
Si (𝐴, ≼) y (𝐵, ≼) son conjuntos parcialmente ordenados, entonces (𝐴 × 𝐵, ≼) es un
conjunto parcialmente ordenado con el orden parcial ≼ definido por

(𝑎, 𝑏) ≼ (𝑎 ′, 𝑏′) si 𝑎 ≼ 𝑎′ en 𝐴 y 𝑏 ≼ 𝑏′ en 𝐵.

Observe que se utiliza el símbolo ≼ para denotar tres órdenes parciales distintos.
CONJUNTO TOTALMENTE ORDENADO

El adjetivo «parcial» se emplea para describir órdenes parciales, ya que puede haber
pares de elementos no comparables. Cuando dos elementos cualesquiera del
conjunto son siempre comparables, se dice que la relación es un orden total.

Definición 3
Si (𝐴, ≼) es un conjunto parcialmente ordenado y cada dos elementos de 𝐴 son
comparables, se dice que 𝐴 es un conjunto totalmente ordenado o linealmente
ordenado. En tal caso, se dice que ≼ es un orden total u orden lineal.
CONJUNTO TOTALMENTE ORDENADO

Ejemplo 4:
El conjunto parcialmente ordenado (𝑍, ≤) está totalmente ordenado, ya que para
todo par de número 𝑎 y 𝑏 se tiene 𝑎 ≤ 𝑏 o 𝑏 ≤ 𝑎.

Ejemplo 5:
El conjunto parcialmente ordenado (𝑍 + , |) no está totalmente ordenado, ya que
contiene elementos no comparables, como 5 y 7
ORDEN LEXICOGRÁFICO

Las palabras de un diccionario aparecen en orden alfabético o lexicográfico. Este

orden se basa en el orden de las letras en el alfabeto y no es más que un caso
particular de una ordenación de las cadenas de un conjunto construida a partir de un
orden parcial definido sobre un conjunto.

¿Cómo construir un orden parcial sobre el producto cartesiano de dos conjuntos

parcialmente ordenados (𝐴, ≼) y (𝐵, ≼)?
El orden lexicográfico en 𝐴 × 𝐵 se define por

(𝑎, 𝑏) ≺ (𝑎 ′, 𝑏′) si bien 𝑎 ≺ 𝑎′ o bien 𝑎 = 𝑎′ y 𝑏 ≺ 𝑏′ en 𝐵.

ORDEN LEXICOGRÁFICO

Ejemplo 6:
Dado el conjunto parcialmente ordenado (𝑍 × 𝑍, ≼) donde ≼ es el orden
lexicográfico construido a partir de la relación usual ≤ en 𝑍. Determine si es cierto o
no que
(3,5) ≺ (4,8)
(3,8) ≺ (4,5)
(4,9) ≺ (4,11)

El orden lexicográfico en 𝐴 × 𝐵 se define por

(𝑎, 𝑏) ≺ (𝑎 ′, 𝑏′) si bien 𝑎 ≺ 𝑎′ o bien 𝑎 = 𝑎′ y 𝑏 ≺ 𝑏′ en 𝐵.

ORDEN LEXICOGRÁFICO

Ejemplo 7:
Dado el conjunto parcialmente ordenado (𝑍 × 𝑍 × 𝑍 × 𝑍, ≼) donde ≼ es el orden
lexicográfico construido a partir de la relación usual ≤ en 𝑍. Determine si es cierto o
no que
(1,2,3,5) ≺ (1,2,4,3)

El orden lexicográfico en 𝐴 × 𝐵 se define por

(𝑎, 𝑏) ≺ (𝑎 ′, 𝑏′) si bien 𝑎 ≺ 𝑎′ o bien 𝑎 = 𝑎′ y 𝑏 ≺ 𝑏′ en 𝐵.

ORDEN LEXICOGRÁFICO
Ejemplo 8:
Considere el conjunto de letras minúsculas del alfabeto, construya un orden
lexicográfico en el conjunto de cadenas de letras usando el orden de las letras en el
alfabeto.
Una cadena es menor que una segunda cadena si la letra de la primera cadena que
está en la primera posición en que difieren ambas cadenas es anterior en el alfabeto
a la letra de la segunda cadena que está en esa misma posición o si la primera y a
segunda cadena coinciden en todas las posiciones, pero la segunda contiene más
letras. Este orden es el que utilizan los diccionarios.

𝑑𝑖𝑠𝑐𝑟𝑒𝑡𝑎 ≺ 𝑑𝑖𝑠𝑐𝑟𝑒𝑡𝑜 𝑑𝑖𝑠𝑐𝑟𝑒𝑡𝑎 ≺ 𝑑𝑖𝑠𝑐𝑟𝑒𝑡𝑎𝑚𝑒𝑛𝑡𝑒

Estas cadenas difieren en la octava Ya que las ocho primeras letras

posición, y 𝑎 ≺ 𝑜. coinciden, pero la segunda cadena es
más larga
DIAGRAMA DE HASEE

Dada cualquier relación de orden parcial, definida en un conjunto finito, es posible

extraer el grafo dirigido de tal forma que se satisfacen todas sus propiedades. Esto hace
posible asociar un grafo algo más sencillo, llamado un diagrama de Hasse, con una
relación de orden parcial definida en un conjunto finito.

Para obtener un diagrama de Hasse, iniciamos con un grafo dirigido de la

relación, colocando los vértices en la página con todas las aristas (arcos)
apuntando hacia arriba. Luego eliminamos:
1. Los bucles en todos los vértices
2. Todas las aristas cuya existencia es implícita por la propiedad transitiva
3. Los indicadores de dirección de las aristas (arco)
DIAGRAMA DE HASEE

Ejemplo 8:
Sea 𝐴 = {1,2,3,9,18} y considere la relación «divide» sobre 𝐴. Para todo 𝑎, 𝑏 ∈ 𝐴

𝑎|𝑏 si y sólo si 𝑏 = 𝑘𝑎 para algún entero 𝑘

El grafo dirigido de la relación es El diagrama de Hasse es