Apuntes de Matematica Discreta

7. Relaciones de Orden

Francisco Jose Gonzalez Gutierrez

Cadiz, Octubre de 2004
Universidad de C
adiz Departamento de Matem
aticas

ii
Lecci
on 7

Relaciones de Orden

Contenido
7.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
7.1.1 Relaci
on de Orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
7.1.2 Relaci
on de Orden Estricto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
7.1.3 Proposici
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
7.1.4 Proposici
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
7.2 Conjuntos Ordenados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
7.2.1 Elementos Comparables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
7.2.2 Orden Parcial y Total . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
7.2.3 Conjuntos Ordenados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
7.3 Producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
7.3.1 Orden del Producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
7.3.2 Orden Lexicogr
afico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
7.4 Representaci
on Gr
afica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
7.4.1 Diagrama de Hasse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
7.5 Ordenaci
on Topol
ogica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
7.6 Elementos Caractersticos de un Conjunto Ordenado . . . . . . . . . . . . . 177
7.6.1 Elemento Maximal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
7.6.2 Elemento Minimal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
7.6.3 Existencia del Maximal y Minimal . . . . . . . . . . . . . . . . . . . . . . . . . 178
7.6.4 Algoritmo para la Ordenaci
on Topol
ogica . . . . . . . . . . . . . . . . . . . . . 178
7.6.5 Elemento M
aximo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
7.6.6 Elemento Mnimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
7.6.7 Unicidad del M
aximo y el Mnimo . . . . . . . . . . . . . . . . . . . . . . . . . 183
7.6.8 Cota Superior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
7.6.9 Cota Inferior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
7.6.10 Conjunto Acotado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
7.6.11 Supremo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
7.6.12 Infimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
7.6.13 Unicidad del Infimo y el Supremo . . . . . . . . . . . . . . . . . . . . . . . . . . 185

Estudiamos en esta lecci on una de las relaciones binarias mas importantes que pueden definirse en un
conjunto, las relaciones de orden.

153
Universidad de C
adiz Departamento de Matem
aticas

7.1 Generalidades

Una relacion de orden es una relaci

on definida en un conjunto que verifica las propiedades reflexiva,
antisimetrica y transitiva.

Cuando en un conjunto hayamos definido una relacion de orden, diremos que el conjunto esta ordenado
con respecto a dicha relaci
on.

Los retculos y las

algebras de Boole son conjuntos ordenados con caractersticas especiales. Estas
estructuras algebraicas juegan un importante papel en la teora de conjuntos, as como en problemas
de ordenacion y busqueda (problemas estos de especial interes en la informatica), y en particular las
algebras de Boole son importantes para la representacion de circuitos logicos.

Antes de comenzar fijaremos ideas con un par de ejemplos sencillos.

Ejemplo 7.1 Dado el conjunto A = {a, b, c}, consideramos la relacion de inclusion en el conjunto de
las partes de A.
P(A) = {, {a} , {b} , {c} , {a, b} , {a, c} , {b, c} , {a, b, c}}
La inclusion es una relaci
on de orden ya que posee las propiedades reflexiva, antisimetrica y transitiva.

Podemos, por tanto, ordenar el conjunto P(A):

{a} {a, b} {a, b, c}
{b} {a, b} {a, b, c}

y as sucesivamente. Ahora bien, considerando dos elementos de P(A), por ejemplo {a} y {c}, ni {a}
esta incluido en {c} ni {c} en {a}, luego la relacion de inclusion no sirve para ordenar todos los elementos
de P(A), diremos en tal caso que este conjunto esta parcialmente ordenado. 

7.1.1 Relaci
on de Orden

Una relacion binaria R sobre un conjunto A se dice que es de orden, si es reflexiva, antisimetrica y
transitiva.

Los ordenes m as comunes son las relaciones 6 y > en Z y en R. Por esta razon cuando nos refiramos
on de orden en un conjunto A, usaremos lo smbolos 4 y < para R. Estos son
en general a una relaci
similares a los 6 y > que seguiremos utilizando cuando el conjunto sea Z o R.

Si 4 es una relaci
on de orden sobre un conjunto A, entonces

a 4 b se lee a precede a b o a es anterior a b.

Si a 4 b y a 6= b, emplearemos a b y diremos que a precede estrictamente a b o a es
estrictamente anterior a b.
a < b se lee a sucede a b o a es posterior a b
a  b se lee a sucede estrictamente a b o a es estrictamente posterior a b . 

Ejemplo 7.2 Probar que la relaci

on menor o igual definida en el conjunto Z de los n
umeros enteros
es de orden.

Solucion

Sean a y b dos enteros cualesquiera. Entonces,

a 6 b b a > 0

154
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

o lo que es igual
a 6 b b a Z+
0

es decir,
a 6 b k Z+
0 :ba=k

Veamos si esta relaci

on cumple las condiciones exigidas.

Reflexividad. En efecto, sea a elegido arbitrariamente en el conjunto de los enteros. Entonces,

a = a = a a = 0; 0 Z+
0 = a 6 a

Antisimetra. Sean a y b dos enteros cualesquiera. Entonces,

a 6 b k1 Z+

0 : b a = k1


y = k1 = k2 , con k1 y k2 en Z+
0 = k1 = k2 = 0

b 6 a k2 Z+

0 : a b = k2

por lo tanto,
ba=0 y ab=0
es decir,
a=b
y, consecuentemente, la relaci
on es antisimetrica.

Transitividad. En efecto, si a, b y c son tres n

umeros enteros cualesquiera. Entonces

a 6 b k1 Z+

0 : b a = k1


y = b a + c b = k1 + k2 k1 , k2 Z+
0

+

b 6 c k2 Z0 : c b = k2

= c a = k, k = k1 + k2 Z+
0

= a 6 c.

Por lo tanto, la relaci

on es transitiva.

7.1.2 Relaci
on de Orden Estricto

on R sobre un conjunto A se dice que es de orden estricto si es asimetrica y transitiva.

Una relaci

Ejemplo 7.3 Probar que la relaci

on menor que es una relacion de orden estricto en Z.

Solucion

Sean a y b dos enteros cualesquiera. Entonces,

a < b b a > 0

o lo que es igual
a < b b a Z+
es decir,
a < b k Z+ : b a = k
Veamos si esta relaci
on cumple las condiciones exigidas para el orden estricto.

155
Universidad de C
adiz Departamento de Matem
aticas

Asimetra. En efecto, si a y b son dos enteros cualesquiera.

a < b k Z+ : b a = k
k Z+ : a b = k
/ Z+
ab
a b 6= k; k Z+
= ba

Por lo tanto, la relaci

on propuesta es asimetrica.

Transitividad. En efecto, si a, b y c son tres n

umeros enteros cualesquiera. Entonces

a < b k1 Z+ : b a = k1


y = b a + c b = k1 + k2 k1 , k2 Z+


b<c k2 Z+ : c b = k2

= c a = k, k = k1 + k2 Z+
= a < c.

Por lo tanto, la relaci

on es transitiva. 

Nota 7.1 Observemos que la relaci on de orden definida en Z como menor o igual puede definirse a
traves de la relaci
on de orden estricto menor que. En efecto, si a y b son dos enteros arbitrarios,

a 6 b a < b a = b

y tambien

a
b a b a 6= b

Teniendo en cuenta esto veamos que la antisimetra de la relacion menor o igual puede probarse de
otra forma, es decir, probaremos que si a y b son dos enteros distintos cualesquiera, entonces a no es

156
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

menor o igual que b o b no es menor o igual que a. En efecto,

a 6= b b a 6= 0
b a Z \ {0}
b a Z Z+
b a Z







b a Z+

b a Z






a b Z




b a 6= k; k Z+




a b 6= k; k Z+



ba




ab



b
a




a
b

A continuacion veremos que a partir de una relacion de orden puede definirse una de orden estricto y
viceversa.

7.1.3 Proposici
on

on de orden definida sobre un conjunto A y sea otra relaci

Sea 4 una relaci on sobre A definida en
la forma
a b si, y s
olo si a 4 b y a 6= b.
Entonces es una relaci
on de orden estricto sobre A.

Demostracion

a b a 4 b a 6= b, a, b A (7.1)
Asimetrica. En efecto, si no fuera asimetrica, entonces existiran dos elementos a y b en A tales que
ab ba
es decir,
(a 4 b a 6= b) (b 4 a b 6= a)
luego,
(a 4 b b 4 a) a 6= b
de donde, por la antisimetra de 4, resulta que
a = b a 6= b

157
Universidad de C
adiz Departamento de Matem
aticas

lo cual es imposible. Por lo tanto, es asimetrica.

Transitiva. En efecto, sean a, b y c tres elementos arbitrariamente elegidos en A. Pues bien, si

ab bc

por (7.1), tendremos que

(a 4 b a 6= b) (b 4 c b 6= c)
es decir,
(a 4 b b 4 c) (a 6= b b 6= c) .
Veamos que si a 6= b b 6= c, entonces a 6= c. En efecto, si fuese a = c, tendramos

(a 4 b b 4 a) (a 6= b b 6= a)

lo cual, por la antisimetra de 4 nos llevara a la contradiccion,

a = b a 6= b.

As pues,
(a 4 b b 4 c) a 6= c
y por la transitividad de 4, resulta
a 4 c a 6= c
es decir,
ac
y, consecuentemente, es transitiva. 

7.1.4 Proposici
on

Sea una relaci on de orden estricto definida sobre un conjunto A y sea 4 otra relaci
on sobre A
definida en la forma
olo si a b
a 4 b si, y s o a = b.
Entonces 4 es una relaci
on de orden sobre A.

Demostracion

a 4 b a b a = b, a, b A (7.2)
Reflexiva. En efecto, para cada a de A, se verifica que

a = a = a a a = a a 4 a

Antisimetrica. En efecto, sean a y b cualesquiera de A. Pues bien, si

a4b b4a

entonces, por (7.2),

(a b a = b) (b a b = a)
de aqu que
(a b b a) (a = b)
pero a b y b a es falso ya que es asimetrica, luego nos queda que a = b.

Tambien podamos haber razonado en la forma siguiente: si 4 no fuera antisimetrica, entonces existiran
a y b en A tales que
a 4 b b 4 a a 6= b

158
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

entonces, por (7.2),

(a b a = b) (b a a = b) (a 6= b)
es decir,
[(a b b a) (a = b)] (a 6= b)
pero a b y b a contradice la asimetra de , luego
(a = b) (a 6= b)
lo cual es una contradicci
on, por lo tanto 4 es antisimetrica.

Transitiva. En efecto, sean a, b y c tres elementos arbitrarios de A. Pues bien, si

a4b b4c
entonces por (7.2),
(a b a = b) (b c b = c)
de aqu que
(a b b c) (a b b = c) (a = b b c) (a = b b = c)
y por ser transitiva, nos quedara que
(a c) (a c) (a c) (a = c)
es decir,
ac a=c
por lo tanto, y de nuevo por (7.2),
a 4 c.


7.2 Conjuntos Ordenados

7.2.1 Elementos Comparables

Dados dos elementos a y b de un conjunto A sobre el que se ha definido una relaci on de orden 4,
diremos que son comparables si uno de ellos es anterior al otro. En caso contrario se dice que a y b
son no comparables.

Nota 7.2 Observese que

a y b son comparables a 4 b b 4 a
luego
a y b no son comparables a 4
/b b4
/a


7.2.2 Orden Parcial y Total

Una relaci
on de orden se dice que es total cuando todos los elementos del conjunto sobre el que est a
definida son comparables por dicha relaci on. En caso contrario, es decir, si existen elementos no
comparables, diremos que la relaci
on definida es de orden parcial. As pues, dada la relaci
on de orden
4, diremos
4 es de orden total a, b A (a 4 b b 4 a)

4 es de orden parcial a, b A : (a 4
/b b4
/ a)

159
Universidad de C
adiz Departamento de Matem
aticas

Ejemplo 7.4 Probar que la relaci

on de orden menor o igual definida en el conjunto Z de los n
umeros
enteros es total.

Solucion

En efecto, sean a y b dos enteros cualesquiera, veamos que a 6 b o b 6 a, es decir, todos los n
umeros
enteros son comparables por la relaci
on.

Como a y b est
an arbitrariamente elegidos, puede ocurrir que sean iguales o distintos. Pues bien,
a = b a 6= b a = b b a 6= 0
a = b b a Z \ {0}
a = b b a Z Z+
k Z : b a = k




a=b


k Z+ : b a = k



a b = k, con k Z+

a=b


b a = k, con k Z+



b<a

a=b


a<b



a=b b<a




a=b a<b



b6a




a6b

Por tanto, la relaci

on de orden menor o igual definida en el conjunto de los n
umeros enteros es total.

Ejemplo 7.5 En el conjunto Z+ de los n umeros enteros positivos, se considera la relacion de divisibil-
idad, es decir, para cada par de enteros a y b
a 4 b a |b
Probar que es una relaci
on de orden parcial.

Solucion

Recordemos que si a y b son dos enteros no negativos cualesquiera, entonces

a |b k Z+ : b = ak
luego la relaci
on propuesta puede caracterizarse en la forma
a 4 b k Z+ : b = ak.
Veamos que esta relaci
on es de orden.

Reflexiva. Para cada elemento a de Z+ , se verifica que

a=a1

160
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

luego,
k Z+ : a = a k
de aqu que
a a Z+ = a 4 a

es decir, la relaci
on de divisibilidad es, en efecto, reflexiva.
Antisimetrica. Sean a y b dos elementos cualesquiera de Z+ , entonces

a4b k1 Z+ : b = a k1

b4a k2 Z+ : a = b k2

si ahora sustituimos la segunda ecuacion en la primera, tendremos

b = b k1 k2 k1 k2 = 1 k1 = k2 = 1

consecuentemente, a = b.
De aqu que
a, b Z (a 4 b b 4 a = a = b)
es decir, la relaci
on propuesta es antisimetrica.
Transitiva. Sean a, b y c tres n
umeros enteros arbitrarios.

a4b k1 Z+ : b = a k1

b4c k2 Z+ : c = b k2

Sustituyendo la segunda ecuaci

on en la primera, tendremos que

c = a k1 k2 : k1 k2 Z

luego,
a4c
o sea,
a, b, c Z (a 4 b b 4 c = a 4 c)
la relaci
on, por tanto, es transitiva.

Por cumplir las tres condiciones anteriores, la relacion es de orden.

Veamos que el orden es parcial. En efecto, consideremos los enteros 2 y 3, entonces

2 6= 3k; k Z y 3 6= 2k; k Z

consecuentemente,
a, b Z : a 4
/b b4
/a
es decir, existen elementos no comparables, de aqu que la relacion de orden sea parcial. 

Ejemplo 7.6 on R es un orden parcial en el conjunto A.

Determinar si la relaci

(a) A = Z y aRb a = 2b
(b) A = Z y aRb a2 |2b
(c) A = Z y aRb k Z+ : a = bk

Solucion

161
Universidad de C
adiz Departamento de Matem
aticas

(a) A = Z y aRb a = 2b

umero entero, entonces 1 6= 2 1, luego 1R

Reflexiva. Consideremos el 1, n / 1, de aqu que

a : a Z aR
/a

La relaci
on propuesta no es, por tanto, reflexiva y, consecuentemente, no es de orden.

(b) A = Z y aRb a2 |2b

Reflexiva. Consideremos el n
umero entero 3, entonces

32 no divide a 2 3

de aqu que 3R
/ 3, es decir,
a : a Z aR
/a
por tanto, al igual que en el apartado anterior, la relacion propuesta es no reflexiva y, consecuente-
mente, no es de orden.

(c) A = Z y aRb k Z : a = bk

umero entero a, se verifica que a = a1 , luego

Reflexiva. Dado cualquier n

k Z+ (k = 1) : a = ak

de aqu que
a (a Z = aRa)
consecuentemente, la relaci
on propuesta es reflexiva.
Antisimetrica. Sean a y b dos enteros cualesquiera, entonces

aRb k1 Z+ : a = bk1

bRa k2 Z+ : b = ak2

sustituyendo la segunda ecuaci

on en la primera, tendremos

k1
a = ak2 a = ak1 k2 k1 k2 = 1 k1 = k2 = 1

de aqu que a sea igual a b, por tanto,

a, b Z (aRb bRa = a = b)

es decir, R es antisimetrica.
Transitiva. Sean a, b y c tres n
umeros enteros cualesquiera, entonces

aRb k1 Z+ : a = bk1

bRc k2 Z+ : b = ck2

sustituyendo la segunda ecuaci

on en la primera, tendremos

k1
a = ck2 a = ck1 k2 : k1 k2 Z+ aRc

es decir,
a, b, c Z (aRb bRc = aRc)
luego la relaci
on propuesta es transitiva.

162
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

Por tanto, la relaci

on es de orden. Veamos de que tipo es.
Tomando los enteros 2 y 3, se verifica que

2 6= 3k , k Z+ y 3 6= 2k , k Z+

luego,
/ 3 3R
2R /2

es decir,
a, b Z : (aR
/ b aR
/ b)

es decir, existen en Z elementos no comparables con la relacion propuesta, de aqu que esta sea de
orden parcial. 

Ejemplo 7.7 Determinar si la relaci on de inclusion definida en el conjunto A = P(S), donde S es un

conjunto cualquiera es una relaci
on de orden total.

Solucion

A = P(S), donde S es un conjunto cualquiera y R la inclusion de conjuntos.

Esta relacion es claramente reflexiva, antisimetrica y transitiva (ver leccion de teora de conjuntos), luego
es de orden.

El siguiente ejemplo prueba que el orden es parcial. En efecto, sea S = {a, b, c} y

P(S) = {, {a} , {b} , {c} , {a, b} , {a, c} , {a, b, c}}

se observa con facilidad que hay elementos en este conjunto que no son comparables con la relacion, por
ejemplo {a} no esta contenido en {b} ni {b} en {a}. 

7.2.3 Conjuntos Ordenados

Dado un conjunto A diremos que est a ordenado si en el hay definida una relaci
on de orden. Dicho
conjunto estar
a parcial o totalmente ordenado seg
un que la relaci
on definida sea parcial o total.

Notaremos (A, 4) al conjunto A ordenado con la relacion 4.

Ejemplo 7.8

(a) La relaci
on de inclusi
on es una relacion de orden parcial sobre cualquier coleccion de subconjuntos
de A; es decir, es un orden parcial sobre el conjunto de las partes de A y, consecuentemente,
(P(A), ) es un conjunto parcialmente ordenado.

(b) La relaci
on 6 (menor o igual que) es una relacion de orden total sobre el conjunto de los n
umeros
enteros, es decir, (Z, 6) es un conjunto totalmente ordenado.

(c) La relaci
on menor que no es un orden sobre Z ya que no es reflexiva. 

7.3 Producto

El siguiente teorema nos muestra como construir un nuevo conjunto ordenado a partir de otros.

163
Universidad de C
adiz Departamento de Matem
aticas

7.3.1 Orden del Producto

Si (A, 41 ) y (B, 42 ) son dos conjuntos parcialmente ordenados, entonces {A B, 4} tambien lo es

con el orden definido por
(a, b) 4 (a0 , b0 ) a 41 a0 b 42 b0

Demostracion

Veamos que la relaci

on definida cumple las tres condiciones que caracterizan las relaciones de orden.

Reflexiva. Sea (a, b) un elemento arbitrario de A B. Entonces

(a, b) A B aA bB
= a 41 a b 42 b {Reflexividad en (A, 41 ) y {B, 42 }}
(a, b) 4 (a, b)

luego,
(a, b) [(a, b) A B = (a, b) 4 (a, b)]
es decir, la relaci
on propuesta es, en efecto, reflexiva.
Antisimetrica. Sean (a, b) y (a0 , b0 ) dos elementos cualesquiera de A B. Entonces,

(a, b) 4 (a0 , b0 ) a 41 a0 b 42 b0

(a0 , b0 ) 4 (a, b)
0
a 41 a b0 42 b

a 41 a0 a0 41 a en A

b 42 b0 b0 42 b en B

= a = a0 b = b0 {Por la antisimetra en (A, 41 ) y (B, 42 )}

(a, b) = (a0 , b0 )

Tendremos, por tanto,

(a, b), (a0 , b0 ) A B [(a, b) 4 (a0 , b0 ) (a0 , b0 ) 4 (a, b) = (a, b) = (a0 , b0 )]

luego la relaci
on propuesta es antisimetrica.
Transitiva. Sean ahora (a, b), (a0 , b0 ) y (a00 , b00 ) cualesquiera de A B, entonces

(a, b) 4 (a0 , b0 ) a 41 a0 b 42 b0



(a0 , b0 ) 4 (a00 , b00 )
0
a 41 a00 b0 42 b00

a 41 a0 a0 41 a00 en A

b 42 b0 b0 42 b00 en B

= a 41 a00 b 42 b00 {Transitividad en (A, 41 ) y (B, 42 )}

(a, b) 4 (a00 , b00 )

luego,

(a, b), (a0 , b0 ), (a00 , b00 ) A B [(a, b) 4 (a0 , b0 ) (a0 , b0 ) 4 (a00 , b00 ) = (a, b) 4 (a00 , b00 )]

es decir, la relaci
on es transitiva.

164
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

on 4 definida en el producto cartesiano A B es de orden. Lo llamaremos el orden

Por tanto, la relaci
del producto. 

Ejemplo 7.9 En Z+ Z+ y definimos la siguiente relacion:

(a, b) 4 (a0 , b0 ) a |a0 b 6 b0
donde 6 es el orden usual. Demuestre que es de orden.

Solucion

Recordemos que la relaci

on de divisibilidad | sobre el conjunto de los enteros positivos, es de orden
parcial.

Veamos si la relaci
on propuesta es de orden.

Reflexiva. Sea (a, b) un elemento arbitrario de A A. Entonces,

a |a , por ser | reflexiva

b 6 b, por ser 6 reflexiva
luego,
(a, b) (a, b)
es decir,
(a, b) ((a, b) A A = (a, b) (a, b))
o sea, es reflexiva.
Antisimetrica. Sean (a, b) y (a0 , b0 ) cualesquiera de A A.
(a, b) (a0 , b0 ) a |a0 b 6 b0

(a0 , b0 ) (a, b)
0
a |a b0 6 b

a |a0 a0 |a

b 6 b0 b0 6 b

= a = a0 b = b0 {Por ser | y 6 antisimetricas}

(a, b) = (a0 , b0 )
Tenemos, pues,
(a, b), (a0 , b0 ) A A ((a, b) (a0 , b0 ) (a0 , b0 ) (a, b) = (a, b) = (a0 , b0 ))
es decir, es antisimetrica.
Transitiva. Si (a, b), (a0 , b0 ) y (a00 , b00 ) son elementos arbitrarios de A A, entonces
(a, b) (a0 , b0 ) a |a0 b 6 b0



(a0 , b0 ) (a00 , b00 )
0 00
a |a b0 6 b00

a |a0 a0 |a00

b 6 b0 b0 6 b00

= a |a00 b 6 b00 {Por ser | y 6 transitivas}

(a, b) (a00 , b00 )

165
Universidad de C
adiz Departamento de Matem
aticas

As pues,

(a, b), (a0 , b0 ), (a00 , b00 ) A A ((a, b) (a0 , b0 ) (a0 , b0 ) (a00 , b00 ) = (a, b) (a00 , b00 ))

es decir, es transitiva.

Consecuentemente, la relaci
on propuesta es de orden, siendo este parcial por serlo la relacion de divisi-
bilidad. 

7.3.2 Orden Lexicogr

afico

Un orden muy u til en el producto A B, siendo (A, 41 ) y (B, 42 ) dos conjuntos parcialmente orde-
nados, es el definido de la forma siguiente:

(a, b) 4 (a0 , b0 ) a 1 a0 (a = a0 b 42 b0 )

donde a 1 a0 si a 41 a0 y a 6= a0 .

Demostracion

Veamos que esta relaci

on es, en efecto, una relacion de orden

Reflexiva. Sea (a, b) cualquiera de A B. Entonces, a A y b B y como 42 es reflexiva,

a = a b 42 b = a 1 a (a = a b 42 b) (a, b) 4 (a, b).

Antisimetrica. Sean (a, b) y (a0 , b0 ) dos elementos cualesquiera de A B. Pues bien,

(a, b) 4 (a0 , b0 ) (a 1 a0 ) (a = a0 b 42 b0 )






(a0 , b0 ) 4 (a, b)
0
(a 1 a) (a0 = a b0 42 b)

(a 1 a0 a0 1 a)


{Contradiccion}








(a 1 a0 ) (a = a0 b 42 b0 )

{Contradiccion}







(a = a0 b 42 b0 ) (a0 1 a)

{Contradiccion}












(a = a0 b 42 b0 ) (a0 = a b0 42 b)

(a = a0 b 42 b0 ) (a0 = a b0 42 b)
a = a0 (b 42 b0 b0 42 b)
a = a0 b = b0 {Antisimetra de 42 }
(a, b) = (a0 , b0 )

166
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

Transitiva. Sean (a, b), (a0 , b0 ) y (a00 , b00 ) tres elementos cualesquiera de A B. Entonces,

(a, b) 4 (a0 , b0 ) a 1 a0 (a = a0 b 42 b0 )







0 0 00 00 0
a 1 a00 (a0 = a00 b0 42 b00 )

(a , b ) 4 (a , b )

(a 1 a0 a0 1 a00 )











(a 1 a0 ) (a0 = a00 b0 42 b00 )








(a = a0 b 42 b0 ) (a0 1 a00 )













(a = a0 b 42 b0 ) (a0 = a00 b0 42 b00 )

(a 1 a0 a0 1 a00 )











a 1 a00 b0 42 b00








a 1 a00 b 42 b0













(a = a0 b 42 b0 ) (a0 = a00 b0 42 b00 )

(a 1 a0 a0 1 a00 )











(a 1 a00 ) (b0 42 b00 b 42 b0 )








(a = a0 b 42 b0 ) (a0 = a00 b0 42 b00 )

a 1 a00


{Transitividad de 1 }








a 1 a00








a = a00 b 42 b00

{Transitividad de 42 }

00 00
a 1 a (a = a b 42 b00 )
(a, b) 4 (a00 , b00 )

Este ordenamiento se llama lexicogr

afico u orden de diccionario. Domina el orden de los elementos
de la primera coordenada, exceptuando el caso de empate, en el que la atencion pasa a la segunda
coordenada.

Nota 7.3 Si (A, 41 ) y (B, 42 ) son conjuntos totalmente ordenados, entonces el orden lexicografico en
A B tambien es total.

167
Universidad de C
adiz Departamento de Matem
aticas

En efecto, sean (a, b) y (a0 , b0 ) cualesquiera de A B. Como 41 es de orden total

a 41 a0 a0 41 a

es decir,
(a 1 a0 a = a0 ) (a0 1 a a0 = a)
luego
a 1 a0 a0 1 a a = a0 .
Pues bien,

si a 1 a0 , entonces (a, b) (a0 , b0 )

si a0 1 a, entonces (a0 , b0 ) (a, b)
b 42 b0 , luego (a, b) (a0 , b0 )




si a = a0 , entonces como 42 es de orden total

0
b 42 b, luego (a0 , b0 ) (a, b)

As pues, en cualquier caso,

(a, b) 4 (a0 , b0 ) (a0 , b0 ) 4 (a, b)
es decir todos los elementos de A B son comparables mediante 4 y, por tanto, 4 es de orden total. 

Ejemplo 7.10 Sea {R, 6} donde 6 es el orden usual. Consideremos en el plano R2 = R R, el orden
lexicografico. Si p1 y p2 son dos puntos cualesquiera de R2 de coordenadas (x1 , y1 ) y (x2 , y2 ), entonces

(x1 , y1 ) 4 (x2 , y2 ) x1 < x2 (x1 = x2 y1 6 y2 )

p3

p1

p2

x = x1 x = x2

Orden lexicografico en R R

En la figura se ilustra el ordenamiento lexicografico en R2 . El plano esta totalmente ordenado y cada

recta vertical tiene el orden usual en R. Los puntos en una misma lnea son menores que los puntos de
cualquier lnea situada a su derecha. Seg
un esto, en la figura p1 4 p2 , p1 4 p3 y p2 4 p3 . 

168
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

Nota 7.4 El ordenamiento lexicogr afico puede extenderse facilmente al producto cartesiano A1 A2
An en la forma siguiente:
a1 a01







a1 = a01 a2 a02







0 0 0
(a1 , a2 , . . . , an ) 4 (a1 , a2 , . . . , an ) a1 = a01 a2 = a02 a3 a03














a1 = a01 a2 = a02 an1 = a0n1 an 4 a0n

La primera coordenada predomina excepto para la igualdad, en cuyo caso se examina la segunda coorde-
nada. Si la igualdad se mantiene nuevamente, se pasara a la siguiente coordenada y as sucesivamente.


Ejemplo 7.11 Sea A = {a, b, c, . . . , z} el alfabeto, ordenado totalmente por el orden usual, es decir,
a 6 b, b 6 c, . . . , y 6 z. El producto cartesiano An puede considerarse como el conjunto de las palabras
de longitud n.

El orden lexicografico en An tiene la propiedad que si p1 4 p2 (p1 , p2 An ), entonces la palabra p1

debera preceder a la p2 en una lista de diccionario. Este hecho justifica el nombre dado al ordenamiento.

Observese, por ejemplo,

le
nera 4 le
nero, ya que l=l, e=e, n
=
n, e=e, r=r y a 4 o
amigo 4 azar, ya que a=a y m 4 z
pajaro 4 zumbido, ya que p 4 z. 

Nota 7.5 Si es un alfabeto ordenado, el orden lexicografico puede extenderse al conjunto de

todas las palabras de longitud finita construidas con smbolos de , en la forma siguiente:

si x = a1 a2 . . . an e y = b1 b2 . . . bk

estan en con n 6 k, entonces

x 4 y (a1 , a2 , . . . , an ) 4 (b1 , b2 , . . . , bn )

afico de n .
bajo el orden lexicogr

Dicho con otras palabras: se recorta la palabra de longitud mas larga a la longitud de la mas corta y
luego se comparan. 

Ejemplo 7.12 Sea = {a, b, c, . . . , z}. Entonces, es el conjunto de todas las palabras posibles de
cualquier longitud, independientemente de que tengan o no significado.

Consecuentemente, tendremos

ama 4 amando

en ya que

ama 4 ama

en 3 . Analogamente,

169
Universidad de C
adiz Departamento de Matem
aticas

amando 4 amante

en ya que

amando 4 amante

en 6 .

Observese que

ama 4 amando

ama 4 amante

lo cual prueba que este orden incluye el orden de los prefijos; esto es, cualquier palabra es mayor que
cualquiera de sus prefijos. Tambien es esta la forma en que las palabras estan colocadas en el diccionario.

Tenemos, pues, nuevamente un ordenamiento de diccionario, en este caso de palabras de cualquier lon-
gitud finita. 

Ejemplo 7.13 Sea el conjunto ordenado {Z+ Z+ , } donde es el orden lexicografico. Diga si cada
una de las siguientes afirmaciones es verdadera o falsa.

(a) (2, 12) 4 (5, 3)

(b) (3, 6) 4 (3, 24)

(c) (4, 8) 4 (4, 6)

(d) (15, 92) 4 (12, 3)

Solucion

Recordemos que el orden lexicogr

afico se caracterizaba en la forma siguiente:

(a, b) 4 (a0 , b0 ) a < a0 (a = a0 b 6 b0 )

siendo 6 el orden usual en Z+ . Entonces,

(a) (2, 12) 4 (5, 3)

La afirmaci
on es verdadera, ya que 2 < 5.

(b) (3, 6) 4 (3, 24)

Dado que 3 = 3 y 6 < 24, la afirmacion es verdadera.

(c) (4, 8) 4 (4, 6)

4 = 4, pero 8 6, por tanto la afirmacion es falsa.

(d) (15, 92) 4 (12, 3)

Como 15 12, la afirmaci
on es falsa. 

170
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

7.4 Representaci
on Gr
afica

7.4.1 Diagrama de Hasse

Dada una relaci

on de orden, 4, sobre un conjunto A, un diagrama de Hasse es un grafo dirigido de
la misma simplificado seg
un los criterios siguientes:

1. Dado que toda relaci on de orden es reflexiva, en cada punto de su digrafo habra un bucle.
Simplificaremos el dibujo elimin
andolos todos.
2. Como toda relaci on de orden es transitiva, suprimimos todos los arcos del digrafo que se obtenga
al hallar el cierre transitivo de los restantes. De esta forma, si a 4 b y b 4 c, se sigue que a 4 c.
En este caso omitiremos la arista que va desde a hasta c y mantendremos las que van desde a
hasta b y desde b a c.
3. Al igual que en un digrafo, cada punto de A lo representamos por un punto del plano, aunque
conviniendo en que si a precede a b, dibujaremos el punto a por debajo del b. Todas las lneas
que unan puntos ser
an, por tanto, ascendentes, de aqu que se supriman las direcciones utilizadas
en los digrafos.

c c c c

b b b b

a
a a a

Paso de un grafo dirigido a un diagrama de Hasse

La figura anterior nos muestra el paso del grafo dirigido de una relacion de orden hasta la obtencion de
su diagrama de Hasse mediante la aplicacion de los criterios anteriores.

Ejemplo 7.14 Dado el conjunto A = {a, b, c} dibujar el diagrama de Hasse del conjunto parcialmente
ordenado {P(A), }

Solucion

Si A = {a, b, c}, entonces el conjunto P(A) de las partes de A, es

P(A) = {, {a} , {b} , {c} , {a, b} , {a, c} , {b, c} , {a, b, c}}

171
Universidad de C
adiz Departamento de Matem
aticas

y el diagrama de Hasse del conjunto parcialmente ordenado {P(A), } es:

{a, b, c}

{b, c} {a, c}
{a, b}
{c}

{b} {a}

Ejemplo 7.14

Ejemplo 7.15 Determinar el diagrama de Hasse del orden dado por los grafos dirigidos de la figura:

5

4
a

b 3
e

2

c d

(a) (b)
Ejemplo 7.15

Solucion

172
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

a 4
5

b e

c c 1

(a) (b)
Solucion al ejemplo 7.15

Ejemplo 7.16 Determinar el diagrama de Hasse de las relaciones siguientes:

(a) A = {1, 2, 3, 4} y

R = {(1, 1), (1, 2), (2, 2), (2, 4), (1, 3), (3, 3), (3, 4), (1, 4), (4, 4)}

(b) A = {a, b, c, d, e} y

R = {(a, a), (b, b), (c, c), (a, c), (c, d), (c, e), (a, d), (d, d), (a, e), (b, c), (b, d), (b, e), (e, e)}

Solucion

4 e d

2 3 c

1 a b
(a) (b)

Ejemplo 7.16

173
Universidad de C
adiz Departamento de Matem
aticas

Ejemplo 7.17 Describir las parejas ordenadas de la relacion determinada por el siguiente diagrama
de Hasse de en el conjunto A = {1, 2, 3, 4}.

4 4

3
3
2

2 1 1
(b) (b)

Ejemplo 7.17

Solucion

(a)
R = {(1, 1), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}

(b)
R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}

Ejemplo 7.18 Determinar los diagramas de Hasse de las relaciones en el conjunto A = {1, 2, 3, 4, 5}
cuyas matrices son:

(a)

1 1 1 1 1

0 1 1 1 1


0 0 1 1 1

0 0 0 1 1
0 0 0 0 1

(b)

1 0 1 1 1

0 1 1 1 1


0 0 1 1 1

0 0 0 1 0
0 0 0 0 1

Solucion

174
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

5 5 4

3 3

1 1 2

(a) (b)

Solucion al ejemplo 7.18

Ejemplo 7.19 Dibujar los diagramas de Hasse de los siguientes conjuntos ordenados por la relacion
de divisibilidad y determinar cu
ales est
an totalmente ordenados.

(a) A = {1, 2, 3, 5, 6, 10, 15, 30}

(b) A = {2, 4, 8, 16, 32}

(c) A = {3, 6, 12, 36, 72}

(d) A = {1, 2, 3, 4, 5, 6, 10, 12, 15, 30, 60}

Solucion

175
Universidad de C
adiz Departamento de Matem
aticas

32 72 60
30

16 36 12 30

6 10
15
8 12 6 4 10
2 15

3 5
2
4 6 3 5

1
2 3
1

(a) (b) (c) (d)

z }| {
Totalmente Ordenados

Ejemplo 7.19

7.5 Ordenaci
on Topol
ogica

Si {A, 4} es un conjunto parcialmente ordenado, muchas veces sera necesario encontrar un orden total
del conjunto A que es simplemente una extension del orden parcial dado en el sentido de que a 4 b
a b.

El proceso de construcci on de un orden total tal como se llama clasificacion u ordenacion topologica.
Este problema se presenta cuando se necesita introducir un conjunto parcialmente ordenado en una
computadora. Los elementos de A deber an introducirse en un orden secuencial y la introduccion sera de
tal manera que el orden parcial se preserve. Esto es si a 4 b, entonces a se introducira antes que b. Una
ogica dar
clasificacion topol a un orden de entrada de los elementos que satisfagan esta condicion.

Ejemplo 7.20 Obtener la ordenaci on topologica del conjunto parcialmente ordenado cuyo diagrama
de Hasse es el (1) de la figura siguiente:

Solucion

176
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

f
f f f
g g

e c
d e
e
g
e d b b

c g d
d
b
b c
c

a a a
a

(1) (2) (3) (4)

Ejemplo 7.20

El orden cuyo diagrama de Hasse se muestra en la figura (2) es un orden total. Es facil ver que
a tambien en el orden , por lo cual es una ordenacion topologica del orden
cualquier par en 4 est
parcial 4. Los apartados (3) y (4) en la misma figura muestran otras dos soluciones de este problema.

7.6 Elementos Caractersticos de un Conjunto Ordenado

Ciertos elementos en un conjunto ordenado son de especial importancia para muchas de las aplicaciones
de esos conjuntos. Explicaremos quienes son estos elementos y posteriormente veremos el importante
papel que juegan.

A lo largo de este apartado {A, 4} ser

a un conjunto ordenado y B un subconjunto suyo (B A).

7.6.1 Elemento Maximal

Un elemento b de B se dice que es maximal de B, respecto de la relaci

on 4, si no hay en B elemento
alguno que sea estrictamente posterior a el. Es decir,

b es maximal @x B : b x

o lo que es igual
b es maximal @x B : b 4 x x 6= b
y una formulaci
on equivalente sera

b es maximal x B, (b 4 x) x = b
x B, b 4 x = x = b

luego b es maximal si cualquiera que sea x de B se verif ica que si x es posterior a b, entonces x es
igual a b.

177
Universidad de C
adiz Departamento de Matem
aticas

7.6.2 Elemento Minimal

Un elemento b de B se dice que es minimal de B, respecto de la relaci

on 4, si no hay en B elemento
alguno que sea estrictamente anterior a el. Es decir,

b es minimal @x B : x b

o lo que es igual
b es minimal @x B : x 4 b x 6= b
y una formulaci
on equivalente sera

b es minimal x B, (x 4 b) x = b
x B, x 4 b = x = b

luego b es minimal si cualquiera que sea x de B se verifica que si x es anterior a b, entonces x es igual
a b.

7.6.3 Existencia del Maximal y Minimal

Todo conjunto ordenado finito posee, al menos, un elemento maximal y un elemento minimal.

Demostracion

Sea {A, 4} un conjunto ordenado con n elementos, y sea a cualquier elemento de A.

Supongamos que a no fuese maximal. Entonces existira, al menos, un a1 en A que lo sucede, es decir,

a1 A : a 4 a1

si a1 no fuese maximal, razonando de la misma forma,

a2 A : a1 4 a2

Como A es un conjunto finito, este razonamiento no se puede continuar indefinidamente, luego obten-
dremos una cadena finita
a 4 a1 4 a2 4 4 an1 4 an
que ya no puede extenderse. Por lo tanto no es posible encontrar un elemento b en A tal que an 4 b,
luego an es un elemento maximal del conjunto dado.

La existencia de elemento minimal se demuestra de una forma similar. 

7.6.4 Algoritmo para la Ordenaci

on Topol
ogica

Dado un conjunto parcialmente ordenado, {A, 4}, utilizando el concepto de elemento minimal, es
posible construir un algoritmo que ordene topol
ogicamente dicho conjunto.

Recordemos que la ordenacion topol

ogica de un conjunto es un proceso mediante el cual sumergimos un
orden parcial 4 en un orden total .

Esto es, dado un orden parcial 4, queremos encontrar un orden total tal que

a 4 b = a b

Pues bien, veamos el algoritmo.

178
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

Sea (A, 4) un conjunto finito, no vaco y parcialmente ordenado. Seg

un la proposicion anterior, existira
un elemento a en A que es minimal. Situamos este elemento como el primero de (A, ).

Repetimos el proceso para el conjunto parcialmente ordenado {A \ {a}}.

Cada vez que encontremos un nuevo elemento minimal, lo situamos como el siguiente en la lista que
representa a (A, ) y el proceso se contin
ua hasta que A no tiene mas elementos.

De esta forma obtenemos el siguiente algoritmo que produce un orden total y que llamaremos ORDEN-
TOPO.

Si ORDENTOPO est
a ordenado por un ndice ascendente, es decir,

ORDENTOPO[1] ORDENTOPO[2]

on en A definida de esta forma es una ordenacion topologica de (A, 4)

entonces, la relaci

Algoritmo ORDENTOPO
I := 1
O := A
Hacer mientras (O 6= )
ORDENTOPO[I] := a
I := I + 1
O := O \ {a}
f in

Ejemplo 7.21 Sea A = {a, b, c, d, e} y el diagrama de Hasse de la figura (a) del conjunto parcialmente
ordenado (A, 4).

Obtener una lista de los elementos de A ordenados topologicamente mediante el algoritmo ORDEN-
TOPO.

Solucion

Los elementos minimales de (A, 4) son d y e. Elegimos uno de ellos, por ejemplo, el d.

ORDENTOPO[1] = d
O = O \ {d}

En el apartado (b) de la figura tenemos el diagrama de Hasse del conjunto parcialmente ordenado (O, 4)
y la ordenaci
on que produce el algoritmo.

Como O 6= y su elemento minimal es e, hacemos

ORDENTOPO[2] = e
O = O \ {e}

El apartado (c) de la figura muestra el diagrama de Hasse del conjunto parcialmente ordenado (O, 4) y
la ordenacion que produce ORDENTOPO.

Nuevamente es O 6= y su elemento minimal es c. Repitiendo el proceso,

ORDENTOPO[3] = c
O = O \ {c}

179
Universidad de C
adiz Departamento de Matem
aticas

y el diagrama de Hasse m
as la ordenaci
on que produce el algoritmo estan en (d).

O = {a, b} y los minimales de (O, 4) son a y b, elegimos b y

ORDENTOPO[4] = b
O = O \ {b}

cuya representaci
on gr
afica es el apartado (e) de la figura.

O = {a}, siendo a el minimal de (O, 4). Hacemos,

ORDENTOPO[5] = a
O = O \ {a}

a b a b a b a

c
c

a b
a
e
b
c c
e

d e d
b
(a) (f)
c c

e e e

d d d d
(b) (c) (d) (e)

Ordenacion Topologica

El orden definitivo y el diagrama de Hasse estan en el apartado (f). El ordenamiento obtenido es una
ogica de {A, 4}.
ordenacion topol 

7.6.5 Elemento M
aximo

Un elemento b perteneciente al subconjunto B se dice que es m

aximo de B, respecto de la relaci
on 4,
si es posterior a todos los elementos de B. Es decir,

aximo x, x B = x 4 b
b es m

180
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

7.6.6 Elemento Mnimo

Un elemento b perteneciente al subconjunto B se dice que es mnimo de B, respecto de la relaci

on 4,
si es anterior a todos los elementos de B. Es decir,

b es mnimo x, x B = b 4 x

Nota 7.6 Observese la diferencia que existe entre maximo y maximal y entre mnimo y minimal.

Para ser maximal solo se necesita que no haya ningun elemento que lo suceda, mientras que para ser
maximo ha de suceder y por tanto estar relacionado con todos los demas.

Un razonamiento similar explica la diferencia entre mnimo y minimal. 

Ejemplo 7.22 Sea C = {a, b, c}, consideremos el conjunto A = P(C) ordenado con la relacion de
inclusion y el subconjunto de A,

B = {{a} , {b} , {c} , {a, b} , {b, c}} .

{a, b} {b, c}

{a} {b} {c}

Ejemplo 7.22

Entonces, {a}, {b} y {c} son elementos minimales ya que no hay elemento alguno en B que sea estricta-
mente anterior (este estrictamente contenido) a ellos.

{a, b} y {b, c} ser

an maximales ya que no hay elemento en B que sea estrictamente posterior (que
contenga) a ellos.

El subconjunto B no tiene m
aximo ni mnimo ya que no hay ning
un elemento que sea posterior ni anterior
a todos los dem
as.

El diagrama de Hasse puede verse en la figura anterior.

Ejemplo 7.23 En A = Z+ ordenado por la relacion de divisibilidad consideramos el subconjunto

B = {2, 3, 4, 5, 6, 7, 8}.

181
Universidad de C
adiz Departamento de Matem
aticas

Los elementos maximales son 5, 6, 7 y 8 ya que no hay en B elementos posteriores a ellos.

2, 3, 5 y 7 son minimales ya que no existen en B elementos, distintos de ellos mismos, que los precedan.

Observese que un elemento puede ser a un tiempo maximal y minimal de un conjunto, como sucede aqu
con el 5 y el 7.

El subconjunto B no tiene m
aximo ni mnimo ya que no hay ning
un elemento que sea posterior ni anterior
a todos los dem
as.

El diagrama de Hasse puede verse en la figura siguiente:

6
4

2 3 5 7

Ejemplo 7.23

Ejemplo 7.24 Sea A = {R, 6} donde 6 es la relacion de orden usual y consideremos el subconjunto

B = {x R : x > 3} .

Entonces, 3 es minimal ya que no existe x B tal que x 6 3 y x 6= 3. Por otra parte elementos maximales
no hay ya que cualquier elemento de B tiene un elemento posterior a el.

El 3 es el mnimo de B ya que pertenece a el conjunto y no hay ninguno que lo preceda. No hay ning
un
elemento que sea posterior a todos los demas por lo tanto el conjunto no tiene maximo. 

Ejemplo 7.25 En el conjunto R de los n

umeros reales con el orden usual, el subconjunto

B = {x R : 1 < x < 3}

no tiene minimales, ni maximales, ni mnimo, ni maximo y el

B = {x R : 1 6 x 6 3}

tiene al 1 como mnimo y minimal y al 3 como maximo y maximal. 

182
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

7.6.7 Unicidad del M

aximo y el Mnimo

Todo conjunto ordenado finito posee, a lo sumo, un elemento m

aximo y uno mnimo.

Demostracion

En efecto, supongamos que un conjunto ordenado {A, 4} tiene dos elementos m1 y m2 que son maximos,
entonces

)
m1 , maximo
= m2 4 m1
m2 A

Por otra parte,

)
m2 , maximo
= m1 4 m2
m1 A

luego por la antisimetra,

m1 = m2

y el maximo, si existe, es u
nico.

De una forma similar se prueba que el mnimo de un conjunto ordenado, si existe, es u

nico. 

7.6.8 Cota Superior

El elemento a de A se dice que es cota superior de B, subconjunto de A, si es posterior a todos los

elementos de B; es decir,

a es cota superior de B A x, x B = x 4 a

7.6.9 Cota Inferior

El elemento a de A se dice que es cota inferior de B, subconjunto de A, si es anterior a todos los

elementos de B; es decir,

a es cota superior de B A x, x B = a 4 x

Ejemplo 7.26

183
Universidad de C
adiz Departamento de Matem
aticas

f g

d e

a b

Ejemplo 7.26

Sea A = {a, b, c, d, e, f, g, h} y la figura anterior, el diagrama de Hasse del conjunto ordenado {A, 4}.
Encontrar todas las cotas superiores e inferiores de los subconjuntos de A,

(a) B1 = {a, b}
(b) B2 = {c, d, e}

Solucion

(a) B1 = {a, b}
No tiene cotas inferiores.
Las cotas superiores son c, d, e, f, g y h.
(b) B2 = {c, d, e}
Las cotas inferiores son a, b y c.
Las cotas superiores son f, g y h.

Observese que un subconjunto B de un conjunto ordenado A puede tener o no cotas superiores o inferiores
en A. Adem as una cota superior o inferior de B podra o no pertenecer a B. 

184
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

7.6.10 Conjunto Acotado

Cuando un conjunto tiene cota inferior se dice que est

a acotado inferiormente y acotado superiormente
cuando tiene cota superior. Cuando un conjunto posee ambas cotas se dice que est a acotado.

7.6.11 Supremo

Sea B un subconjunto de A. El elemento a A se dice que es el supremo o cota superior mnima de

B en A si se verifica

1. a es una cota superior de B en A.

2. Si a0 es otra cota superior de B en A, entonces a 4 a0 .

7.6.12 Infimo

Sea B un subconjunto de A. El elemento a A se dice que es el nfimo o cota inferior m

axima de B
en A si se verifica

1. a es una cota inferior de B en A.

2. Si a0 es otra cota inferior de B en A, entonces a0 4 a.

Ejemplo 7.27 Encontrar el supremo y el nfimo en el ejemplo 7.26 para los subconjuntos de A,

(a) B1 = {a, b}
(b) B2 = {c, d, e}

Solucion

(a) B1 = {a, b}
Infimo. Segun vimos en el citado ejemplo, B1 no tena cotas inferiores, luego tampoco tendra
cota inferior m
axima, es decir, no tiene nfimo.
El supremo es c ya que precede a todas las cotas superiores de B1 .
(b) B2 = {c, d, e}
El nfimo es c ya que sucede a todas las cotas inferiores de B2 .
Supremo no tiene ya que al no ser comparables los elementos f y g, no hay ninguna cota
superior que preceda a todas las demas. 

7.6.13 Unicidad del Infimo y el Supremo

Todo conjunto ordenado finito posee, a lo sumo, un nfimo y un supremo.

Demostracion

En efecto, supongamos que un conjunto ordenado {A, 4} tiene dos elementos s1 y s2 que son supremos,
entonces )
s1 , supremo
= s2 4 s1
s2 A

185
Universidad de C
adiz Departamento de Matem
aticas

Por otra parte, )

s2 , supremo
= s1 4 s2
s1 A
luego por la antisimetra,
s1 = s2
y el supremo, si existe, es u
nico.

De una forma similar se prueba que el nfimo de un conjunto ordenado, si existe, es u

nico. 

Nota 7.7 Sea {A, 4} un conjunto ordenado y B = {b1 , b2 , . . . , bk } un subconjunto suyo. Observemos
lo siguiente:

Si a es el supremo, entonces a es el primer vertice que puede alcanzarse siguiendo una trayectoria
ascendente desde b1 , b2 . . . , bk .
Si a es el nfimo, entonces a es el u ltimo vertice que puede alcanzarse siguiendo una trayectoria
descendente desde b1 , b2 . . . , bk . 

Ejemplo 7.28 Sea A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} un conjunto ordenado cuyo diagrama de Hasse
esta en la figura. Encontrar el supremo y el nfimo de B = {6, 7, 10}.

11

9 10

6
5 7 8

3
2 4

Ejemplo 7.28

Solucion

Siguiendo una trayectoria ascendente desde los vertices 6, 7 y 10, el primer vertice que se encuentra es
el 10, luego el supremo es el 10.

De la misma forma, explorando todas las trayectorias descendentes desde 6, 7 y 10, encontramos que el
nfimo es el 4. 

Ejemplo 7.29 En el conjunto Z+ se define la relacion aRb a divide a b.

186
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

(a) Demostrar que es de orden. Es de orden total?

(b) Encontrar los elementos caractersticos de los conjuntos

A = {1, 2, 3, 4, 5, 6, 7, 8, 9} y B = {1, 2, 3, 4, 6, 9, 12, 18, 36}

ordenados por esta relaci

on.

(c) Dibujar un diagrama de Hasse para ambos conjuntos.

Solucion

La relacion de divisibilidad se expresa en los siguientes terminos.

aRb a divide a b (a|b) k Z+ /b = a k

Observese que a|b equivale a decir que a es un divisor de b o que b es un m

ultiplo de a.

(a) Veamos que es de orden.

Reflexiva. Dado cualquier a Z+ , se verifica que a = a 1, luego a|a, es decir aRa.

etrica. Dados a y b, cualesquiera de Z+ , tendremos
Antisim

aRb a|b k1 Z+ : b = a k1
= b = b k2 k1 = k2 k1 = 1 k1 = k2 = 1
bRa b|a k2 Z+ : a = b k2

luego, a = b.
Transitiva. Dados tres elementos arbitrarios de Z+ , a, b y c, tenemos:

aRb a|b k1 Z+ : b = a k1
= c = a k1 k2 : k1 k2 Z+ = a|c aRc
+
bRc b|c k2 Z : c = b k2

La relaci
on es de orden, pero no es total como prueba la existencia de elementos no comparables
por la relaci
on. En efecto, el 3 y el 5 no son comparables ya que ni 3 divide a 5 ni 5 divide a 3.

(b) Determinemos los elementos caractersticos de A y B.

A = {1, 2, 3, 4, 5, 6, 7, 8, 9}

Elementos maximales.
Recordemos que a A es maximal si no existe en A ningun elemento que lo suceda. En este caso
podemos decir, por tanto, que a A es maximal si no es divisor de ning
un elemento de A, luego
los maximales son 5, 6, 7, 8 y 9.
Elementos minimales.
El elemento a A es minimal si no existe en A ning un elemento que lo preceda. En este caso
podemos decir, por tanto, que a A es minimal si no es m
ultiplo de ning
un elemento de A, luego
el u
nico minimal es el 1.
M aximo.
Un elemento a A es m aximo si sucede a todos los elementos de A. Por tanto, en este caso a A
es maximo si es m
ultiplo de todos los elementos de A. En el conjunto propuesto, obviamente, no
hay maximo.
Mnimo.
Un elemento a A es mnimo si precede a todos los elementos de A. Por tanto, en este caso, a A
es mnimo si es divisor de todos los elementos de A. El mnimo es, consecuentemente, el 1.

187
Universidad de C
adiz Departamento de Matem
aticas

Cotas superiores.
Un elemento a Z+ es cota superior del conjunto A si sucede a todos los elementos de A. Con-
secuentemente, en este caso, a Z+ es cota superior si es m
ultiplo de todos los elementos de A.
Por lo tanto, son cotas superiores de A el mnimo comun multiplo de 5, 6, 7, 8 y 9 y todos sus
multiplos. Es decir,

Cotas superiores = x Z+ : x = 2520 k, k Z+



Cotas inferiores.
Un elemento a Z+ es cota inferior del conjunto A si precede a todos los elementos de A. Conse-
cuentemente, en este caso, a Z+ es cota inferior si es divisor de todos los elementos de A. Por
lo tanto, la u
nica cota inferior del conjunto A es el 1.

Supremo.
El elemento a Z+ es el supremo del conjunto A si es cota superior y precede a todas las demas
cotas superiores. En este caso, podemos decir que a Z+ es el supremo de A si divide a todas las
cotas superiores, luego es el mnimo com
un m
ultiplo de 5, 6, 7, 8 y 9, es decir, 2520.

Infimo.
El elemento a Z+ es el nfimo del conjunto A si es cota inferior y sucede a todas las demas cotas
inferiores. En este caso, podemos decir que a Z+ es el nfimo de A si es m ultiplo de todas las
cotas inferiores. Dado que solo hay una cota inferior, ella sera el nfimo, es decir, el 1.

Veamos ahora los elementos caractersticos de

B = {1, 2, 3, 4, 6, 9, 12, 18, 36}

Elementos maximales. El 36.

Elementos minimales. El 1.

M
aximo. El 36.

Mnimo. El 1.

Cotas superiores. {x Z+ : x = 36 k, k Z+ }

Cotas inferior . El 1.

Supremo.El 36.

Infimo. El 1.

(c) Los diagramas de Hasse se muestran en la figura.

188
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

8 6 9 5 7 36

12 18

4

4 6 9

3
2
2 3

1 1
A = {1, 2, 3, 4, 5, 6, 7, 8, 9} B = {1, 2, 3, 4, 6, 9, 12, 18, 36}

Ejemplo 7.29

Ejemplo 7.30 Dado el conjunto B = {2, 4, 6, 10, 12, 30}, se define en el la siguiente relacion:

xRy x divide a y

(a) Demostrar que es una relaci

on de orden. Es total o parcial?

(b) Dibujar el diagrama de Hasse y hallar la matriz asociada a la relacion.

(c) Dado C = {4, 6}, subconjunto de B, hallar sus elementos caractersticos.

Solucion

(a) La relaci
on es de orden parcial. Ver ejemplo 7.29.

(b) El diagrama de Hasse y la matriz de la relacion se muestra en la figura siguiente:

189
Universidad de C
adiz Departamento de Matem
aticas

12 30

1 1 1 1 1 1

0 1 0 0 1 0

0 0 1 0 1 1
4 6 10 MR =

0 0 0 1 0 1

0 0 0 0 1 0
0 0 0 0 0 1

Ejemplo 7.30

(c) Veamos los elementos caractersticos de C = {4, 6}.

Razonando igual que en el ejemplo 7.29,

Elementos maximales. El 4 y el 6.

Elementos minimales. El 4 y el 6.

M
aximo. No tiene.

Mnimo. No tiene.

Cotas superiores. El 12.

Cotas inferiores. El 2.

Supremo. El 12

Infimo. El 2. 

Ejemplo 7.31 Determinar los elementos maximales y minimales de los siguientes conjuntos ordenados.

(a) Figura siguiente.

190
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

3 5 f g

2 4

d e

1 6 a b c
(a.1) (a.2)

e f 4 7

3
6

d 5
2 8
c

a 1 9
(a.3) (a.4)

Ejemplo 7.31(a)

(b) R con el orden usual, 6.

(c) A = {x : x R y 0 6 x < 1} con el orden usual 6.

(d) A = {x : x R y 0 < x 6 1} con el orden usual 6.

(e) A = {2, 3, 4, 6, 8, 24, 48} con el orden de divisibilidad.

Solucion

Recordemos que si {A, 4} es un conjunto ordenado, entonces

a A es maximal @x A : a 4 x
b A es minimal @x A : x 4 b

(a) Seg
un la figura,

(a.1) Los maximales son el 3 y el 5 y los minimales el 1 y el 6.

191
Universidad de C
adiz Departamento de Matem
aticas

(a.2) f y g son los maximales y a, b, c los minimales.

(a.3) Los maximales son el e y f y minimal el a.
(a.4) Los maximales son el 4 y el 7, siendo los minimales 1,9 y 8.

(b) Todo numero real est umero real, luego el conjunto ordenado {R, 6}
a precedido y seguido por otro n
no tiene maximal ni minimal.

(c) A = {x : x R y 0 6 x < 1} con el orden usual 6.

Sea x R, entonces
x A 0 6 x < 1 x [0, 1)
es decir, A = [0, 1) y este conjunto no tiene maximal ya que el 1 no pertenece al mismo. El cero es
minimal ya que no existe en A ning un numero que lo preceda.

(d) A = {x : x R y 0 < x 6 1} con el orden usual 6.

Razonando igual que en el apartado anterior, A = (0, 1] y en este caso ocurre todo lo contrario, es
decir, el 1 es maximal de {A, 6} y no tiene minimal.

(e) A = {2, 3, 4, 6, 8, 24, 48} con el orden de divisibilidad.

El maximal es el 48 y los minimales 2 y 3. 

Ejemplo 7.32 Determinar los elementos maximo y mnimo, si existen, de los siguientes conjuntos
ordenados.

f e 4 5 5

d e d
4
3

b c c
2 3

a a b 1 2 1
(a.1) (a.2) (a.3) (a.4)

Ejemplo 7.32(a)

(a) Figura anterior.

(b) A = {x R : 0 < x < 1} con el orden usual 6.

(c) A = {x R : 0 6 x 6 1} con el orden usual 6.

(d) A = {2, 4, 6, 8, 12, 18, 24, 36, 72} con el orden parcial de divisibilidad.

192
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

(e) A = {2, 3, 4, 6, 12, 18, 24, 36} con el orden parcial de divisibilidad.

Solucion

Recordemos que si {A, 4} es un conjunto ordenado, entonces

a A es maximo x A, x 4 a
b A es mnimo x A, b 4 x

(a) Seg
un la figura,
(a.1) El maximo es f y el mnimo, a.
(a.2) e es el m
aximo y mnimo no tiene.
(a.3) No tiene maximo ni mnimo.
(a.4) El maximo es el cinco y no tiene mnimo.
(b) A = {x R : 0 < x < 1} con el orden usual 6.
A = (0, 1), luego {A, 6} no tiene maximo ni mnimo ya que ni el cero ni el uno pertenecen al
conjunto.
(c) A = {x R : 0 6 x 6 1} con el orden usual 6.
aximo y el mnimo de {A, 6} son, respectivamente, 0 y 1.
A = [0, 1], luego el m
(d) A = {2, 4, 6, 8, 12, 18, 24, 36, 72} con el orden parcial de divisibilidad.
El maximo de {A, 4} es 72 ya que sucede a todos los elementos de A y el mnimo el 2.
(e) A = {2, 3, 4, 6, 12, 18, 24, 36} con el orden parcial de divisibilidad.
El conjunto ordenado {A, 4} siendo 4 la relacion de divisibilidad no tiene maximo ni mnimo. 

Ejemplo 7.33

g h 4 5 f 5 8

e
f
4 6 9
d
d e 3
c
3
c 7
b

a b 1 2 a 1 2
B = {c, d, e} B = {1, 2, 3, 4, 5} B = {b, c, d} B = {3, 4, 6}

(a.1) (a.2) (a.3) (a.4)

Ejemplo 7.33(a)

193
Universidad de C
adiz Departamento de Matem
aticas

Encontrar en los siguientes conjuntos ordenados las cotas superiores, las cotas inferiores, el nfimo y el
supremo del subconjunto B que se indica.

(a) Figura anterior.

(b) {A, 4} es el conjunto ordenado del apartado (a.1) y B = {b, g, h}.
(c) {A, 4} es el conjunto ordenado del apartado (a.4) y B = {4, 6, 9}.
(d) {A, 4} es el conjunto ordenado del apartado (a.4) y B = {3, 4, 8}.
(e) {R, 6}, donde 6 denota el orden usual y B = {x : x R y 1 < x < 2}
(f) {R, 6}, donde 6 denota el orden usual y B = {x : x R y 1 6 x < 2}
(g) {P ({a, b, c}) , } y B = P ({a, b})
(h) A = {2, 3, 4, 6, 8, 12, 24, 48} ordenado por la relacion de divisibilidad y B = {4, 6, 12}.

Solucion

(a) Seg
un la figura,
(a.1) B = {c, d, e}
Cotas superiores de B: f, g y h.
Cotas inferiores de B: c, a y b.
Supremo: f .
Infimo: c.
(a.2) B = {1, 2, 3, 4, 5}
Cotas superiores de B: 4 y 5.
Cotas inferiores de B: 1 y 2.
Supremo: no tiene.
Infimo: no tiene.
(a.3) B = {b, c, d}
Cotas superiores de B: d, e y f .
Cotas inferiores de B: a y b.
Supremo: d.
Infimo: b.
(a.4) B = {3, 4, 6}
Cotas superiores de B: 5 y 8.
Cotas inferiores de B: 1, 2 y 3.
Supremo: no existe.
Infimo: 3.

(b) {A, 4} es el conjunto ordenado del apartado (a.1) y B = {b, g, h}.

Cotas superiores de B: g y h.
Cota inferior de B: b.
Supremo: no existe.
Infimo: b.

(c) {A, 4} es el conjunto ordenado del apartado (a.4) y B = {4, 6, 9}.

Cotas superiores de B: 5 y 8.

194
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

Cotas inferiores de B: 1, 2 3 y 7.
Supremo: no existe.
Infimo: no existe.

(d) {A, 4} es el conjunto ordenado del apartado (a.4) y B = {3, 4, 8}.

Cotas superior de B: 8.
Cotas inferiores de B: 3,1 y 2.
Supremo: 8.
Infimo: no existe.

(e) {R, 6}, donde 6 denota el orden usual y B = {x : x R y 1 < x < 2}

Cotas superiores de B: x R : x > 2, es decir, [2, ).

Cotas inferiores de B: x R : x 6 1, es decir, (, 1].
Supremo: el 2.
Infimo: el 1.

(f) {R, 6}, donde 6 denota el orden usual y B = {x : x R y 1 6 x < 2}

Cotas superiores de B: x R : x > 2, es decir, [2, ).

Cotas inferiores de B: x R : x 6 1, es decir, (, 1].
Supremo: el 2.
Infimo: el 1.

(g) {P ({a, b, c}) , } y B = P ({a, b})

Cotas superiores de B: {a, b} y {a, b, c}.

Cota inferior de B: el conjunto vaco, .
Supremo: {a, b}.
Infimo: el conjunto vaco, .

(h) A = {2, 3, 4, 6, 8, 12, 24, 48} ordenado por la relacion de divisibilidad y B = {4, 6, 12}.

Cotas superior de B: 12, 24 y 48.

Cota inferior de B: 2.
Supremo: 12.
Infimo: 2. 

Ejemplo 7.34 Dada la siguiente matriz de una relacion R en el conjunto A = {a, b, c, d, e}

1 1 1 1 0
0 1 1 1 0

MR = 0 0 1 1 0
0 0 0 1 0
0 0 1 1 1

Hallar el diagrama de Hasse y los elementos caractersticos.

Solucion

El diagrama de Hasse se muestra en la figura siguiente.

195
Universidad de C
adiz Departamento de Matem
aticas

a e

Ejemplo 7.34

Veamos los elementos caractersticos.

Elementos maximales. d.
Elementos minimales. a y e.
M
aximo. d
Mnimo. No tiene.
Cotas superiores. d.
Cotas inferiores. No hay.
Supremo. d.

Infimo. No tiene. 

Ejemplo 7.35 En el conjunto C de los n

umeros complejos se define la relacion:

a<c
(a + bi)R(c + di) o
a=cyb6d

(a) Demostrar que es de orden.

(b) Dibujar el diagrama de Hasse para el siguiente conjunto ordenado por la relacion anterior

A = {1, 1 + i, 3 4i, 1 i, 4i}

y hallar dos cotas superiores y dos inferiores de este conjunto, as como los restantes elementos
caractersticos del mismo.

Solucion

196
Matem
atica Discreta Francisco Jose Gonz
alez Gutierrez

(a) Veamos que es de orden.

Reflexiva. Para todo n

umero complejo a + bi se verifica que a = a y b = b, luego (a + bi)R(a + bi).
Antisim
etrica. Sean a + bi y c + di dos n
umeros complejos cualesquiera, entonces:


a<c
Imposible




c<a













a<c


a<c


Imposible



(a + bi)R(c + di)



c=a d6b



a=c b6d




=
c<a



a=c b6d



(c + di)R(a + bi)



= Imposible



c=a d6b


c<a













a=c b6d




= a = c b = d




c=a d6b

de donde se sigue que a = c y b = d, luego a + bi = c + di.

Transitiva. Sean a + bi, c + di y e + f i tres n
umeros complejos cualesquiera, entonces


a<c
a < e {Orden estricto}




c<e













a<c


a<c


a < e d 6 f



(a + bi)R(c + di)



c=e d6f



a=c b6d




=
c<e



a=c b6d



(c + di)R(e + f i)



a < e b 6 d



c=e d6f


c<e













a=c b6d




a = e b 6 f




c=e d6f

y de aqu se sigue que

a<e

a=e b6f

luego (a + bi)R(e + f i).

(b) Diagrama de Hasse y elementos caractersticos pedidos.

197
Universidad de C
adiz Departamento de Matem
aticas

3 4i Dos cotas superiores de A: 4 4i y 3 3i.

Dos cotas inferiores de A: 1 + 4i y 3i.
1+i Maximal: 3 4i.
Minimal: 4i.
Maximo: 3 4i.
1
Mnimo: 4i.
Cotas superiores: {(a + bi) C : a > 3 y b > 4}
1i
Cotas inferiores: {(a + bi) C : a 6 0 y b 6 4}
Supremo: 3 4i
4i
Infimo: 4i

198