Apuntes de Matem´atica Discreta

7. Relaciones de Orden
Francisco Jos´e Gonz´alez Guti´errez
C´adiz, 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 Caracter´ısticos 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 M´ınimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
7.6.7 Unicidad del M´aximo y el M´ınimo . . . . . . . . . . . . . . . . . . . . . . . . . 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 m´as importantes que pueden definirse en un
conjunto, las relaciones de orden.
153
Universidad de C´adiz Departamento de Matem´aticas
7.1 Generalidades
Una relaci´on de orden es una relaci´on definida en un conjunto que verifica las propiedades reflexiva,
antisim´etrica y transitiva.
Cuando en un conjunto hayamos definido una relaci´on de orden, diremos que el conjunto est´a ordenado
con respecto a dicha relaci´on.
Los ret´ıculos y las ´algebras de Boole son conjuntos ordenados con caracter´ısticas especiales. Estas
estructuras algebraicas juegan un importante papel en la teor´ıa de conjuntos, as´ı como en problemas
de ordenaci´on y b´ usqueda (problemas ´estos de especial inter´es en la inform´atica), y en particular las
´algebras de Boole son importantes para la representaci´on de circuitos l´ogicos.
Antes de comenzar fijaremos ideas con un par de ejemplos sencillos.
Ejemplo 7.1 Dado el conjunto A = {a, b, c}, consideramos la relaci´on de inclusi´on en el conjunto de
las partes de A.
P(A) = {∅, {a} , {b} , {c} , {a, b} , {a, c} , {b, c} , {a, b, c}}
La inclusi´on es una relaci´on de orden ya que posee las propiedades reflexiva, antisim´etrica 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}
est´a incluido en {c} ni {c} en {a}, luego la relaci´on de inclusi´on no sirve para ordenar todos los elementos
de P(A), diremos en tal caso que este conjunto est´a parcialmente ordenado.
7.1.1 Relaci´ on de Orden
Una relaci´on binaria R sobre un conjunto A se dice que es de orden, si es reflexiva, antisim´etrica y
transitiva.
Los ´ordenes m´as comunes son las relaciones y en Z y en R. Por esta raz´on cuando nos refiramos
en general a una relaci´on de orden en un conjunto A, usaremos lo s´ımbolos y para R. Estos son
similares a los y que seguiremos utilizando cuando el conjunto sea Z o R.
Si es una relaci´on de orden sobre un conjunto A, entonces
a b se lee “a precede a b” o “a es anterior a b”.
Si a b y a = 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.
Soluci´on
Sean a y b dos enteros cualesquiera. Entonces,
a b ⇐⇒ b −a 0
154
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
o lo que es igual
a b ⇐⇒ b −a ∈ Z
+
0
es decir,
a b ⇐⇒ ∃k ∈ Z
+
0
: b −a = 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 a
Antisimetr´ıa. Sean a y b dos enteros cualesquiera. Entonces,
a b ⇐⇒ ∃k
1
∈ Z
+
0
: b −a = k
1
y
b a ⇐⇒ ∃k
2
∈ Z
+
0
: a −b = k
2
_
¸
¸
_
¸
¸
_
=⇒ k
1
= −k
2
, con k
1
y k
2
en Z
+
0
=⇒ k
1
= k
2
= 0
por lo tanto,
b −a = 0 y a −b = 0
es decir,
a = b
y, consecuentemente, la relaci´on es antisim´etrica.
Transitividad. En efecto, si a, b y c son tres n´ umeros enteros cualesquiera. Entonces
a b ⇐⇒ ∃k
1
∈ Z
+
0
: b −a = k
1
y
b c ⇐⇒ ∃k
2
∈ Z
+
0
: c −b = k
2
_
¸
¸
_
¸
¸
_
=⇒ b −a + c −b = k
1
+ k
2
k
1
, k
2
∈ Z
+
0
=⇒ c −a = k, k = k
1
+ k
2
∈ Z
+
0
=⇒ a c.
Por lo tanto, la relaci´on es transitiva.
7.1.2 Relaci´ on de Orden Estricto
Una relaci´on R sobre un conjunto A se dice que es de orden estricto si es asim´etrica y transitiva.
Ejemplo 7.3 Probar que la relaci´on “menor que” es una relaci´on de orden estricto en Z.
Soluci´on
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
Asimetr´ıa. En efecto, si a y b son dos enteros cualesquiera.
a < b ⇐⇒ ∃k ∈ Z
+
: b −a = k
⇐⇒ ∃k ∈ Z
+
: a −b = −k
⇐⇒ a −b / ∈ Z
+
⇐⇒ a −b = k; ∀k ∈ Z
+
=⇒ b ≮ a
Por lo tanto, la relaci´on propuesta es asim´etrica.
Transitividad. En efecto, si a, b y c son tres n´ umeros enteros cualesquiera. Entonces
a < b ⇐⇒ ∃k
1
∈ Z
+
: b −a = k
1
y
b < c ⇐⇒ ∃k
2
∈ Z
+
: c −b = k
2
_
¸
¸
_
¸
¸
_
=⇒ b −a + c −b = k
1
+ k
2
k
1
, k
2
∈ Z
+
=⇒ c −a = k, k = k
1
+ k
2
∈ 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
trav´es de la relaci´on de orden estricto “menor que”. En efecto, si a y b son dos enteros arbitrarios,
a b ⇐⇒ a < b ∨ a = b
y tambi´en
a b ⇐⇒ a ≮ b ∧ a = b
Teniendo en cuenta esto veamos que la antisimetr´ıa de la relaci´on “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 Jos´e Gonz´alez Guti´errez
menor o igual que b o b no es menor o igual que a. En efecto,
a = b ⇐⇒ b −a = 0
⇐⇒ b −a ∈ Z \ {0}
⇐⇒ b −a ∈ Z

∪ Z
+
⇐⇒
_
¸
¸
_
¸
¸
_
b −a ∈ Z


b −a ∈ Z
+
⇐⇒
_
¸
¸
_
¸
¸
_
b −a ∈ Z


a −b ∈ Z

⇐⇒
_
¸
¸
_
¸
¸
_
b −a = k; ∀k ∈ Z
+

a −b = k; ∀k ∈ Z
+
⇐⇒
_
¸
¸
_
¸
¸
_
b ≮ a

a ≮ b
⇐⇒
_
¸
¸
_
¸
¸
_
b a

a b

A continuaci´on veremos que a partir de una relaci´on de orden puede definirse una de orden estricto y
viceversa.
7.1.3 Proposici´ on
Sea una relaci´on de orden definida sobre un conjunto A y sea ≺ otra relaci´on sobre A definida en
la forma
a ≺ b si, y s´olo si a b y a = b.
Entonces ≺ es una relaci´on de orden estricto sobre A.
Demostraci´on
a ≺ b ⇐⇒ a b ∧ a = b, ∀a, b ∈ A (7.1)
Asim´etrica. En efecto, si ≺ no fuera asim´etrica, entonces existir´ıan dos elementos a y b en A tales que
a ≺ b ∧ b ≺ a
es decir,
(a b ∧ a = b) ∧ (b a ∧ b = a)
luego,
(a b ∧ b a) ∧ a = b
de donde, por la antisimetr´ıa de , resulta que
a = b ∧ a = b
157
Universidad de C´adiz Departamento de Matem´aticas
lo cual es imposible. Por lo tanto, ≺ es asim´etrica.
Transitiva. En efecto, sean a, b y c tres elementos arbitrariamente elegidos en A. Pues bien, si
a ≺ b ∧ b ≺ c
por (7.1), tendremos que
(a b ∧ a = b) ∧ (b c ∧ b = c)
es decir,
(a b ∧ b c) ∧ (a = b ∧ b = c) .
Veamos que si a = b ∧ b = c, entonces a = c. En efecto, si fuese a = c, tendr´ıamos
(a b ∧ b a) ∧ (a = b ∧ b = a)
lo cual, por la antisimetr´ıa de nos llevar´ıa a la contradicci´on,
a = b ∧ a = b.
As´ı pues,
(a b ∧ b c) ∧ a = c
y por la transitividad de , resulta
a c ∧ a = c
es decir,
a ≺ c
y, consecuentemente, ≺ es transitiva.
7.1.4 Proposici´ on
Sea ≺ una relaci´on de orden estricto definida sobre un conjunto A y sea otra relaci´on sobre A
definida en la forma
a b si, y s´olo si a ≺ b ´o a = b.
Entonces es una relaci´on de orden sobre A.
Demostraci´on
a 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 a
Antisim´etrica. En efecto, sean a y b cualesquiera de A. Pues bien, si
a b ∧ b a
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 asim´etrica, luego nos queda que a = b.
Tambi´en pod´ıamos haber razonado en la forma siguiente: si no fuera antisim´etrica, entonces existir´ıan
a y b en A tales que
a b ∧ b a ∧ a = b
158
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
entonces, por (7.2),
(a ≺ b ∨ a = b) ∧ (b ≺ a ∨ a = b) ∧ (a = b)
es decir,
[(a ≺ b ∧ b ≺ a) ∨ (a = b)] ∧ (a = b)
pero a ≺ b y b ≺ a contradice la asimetr´ıa de ≺, luego
(a = b) ∧ (a = b)
lo cual es una contradicci´on, por lo tanto es antisim´etrica.
Transitiva. En efecto, sean a, b y c tres elementos arbitrarios de A. Pues bien, si
a b ∧ b c
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 quedar´ıa que
(a ≺ c) ∨ (a ≺ c) ∨ (a ≺ c) ∨ (a = c)
es decir,
a ≺ c ∨ a = c
por lo tanto, y de nuevo por (7.2),
a 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 ,
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 Obs´ervese que
a y b son comparables ⇐⇒ a b ∨ b a
luego
a y b no son comparables ⇐⇒ a / b ∧ b / 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
, diremos
es de orden total ⇐⇒ ∀a, b ∈ A(a b ∨ b a)
es de orden parcial ⇐⇒ ∃a, b ∈ A : (a / b ∧ b / 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.
Soluci´on
En efecto, sean a y b dos enteros cualesquiera, veamos que a b o b 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 = b ⇐⇒ a = b ∨ b −a = 0
⇐⇒ a = b ∨ b −a ∈ Z \ {0}
⇐⇒ a = b ∨ b −a ∈ Z

∪ Z
+
⇐⇒ a = b ∨
_
¸
¸
_
¸
¸
_
∃k ∈ Z

: b −a = k

∃k ∈ Z
+
: b −a = k
⇐⇒ a = b ∨
_
¸
¸
_
¸
¸
_
a −b = −k, con −k ∈ Z
+

b −a = k, con k ∈ Z
+
⇐⇒ a = b ∨
_
¸
¸
_
¸
¸
_
b < a

a < b
⇐⇒
_
¸
¸
_
¸
¸
_
a = b ∨ b < a

a = b ∨ a < b
⇐⇒
_
¸
¸
_
¸
¸
_
b a

a b
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 relaci´on de divisibil-
idad, es decir, para cada par de enteros a y b
a b ⇐⇒ a |b
Probar que es una relaci´on de orden parcial.
Soluci´on
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 b ⇐⇒ ∃k ∈ Z
+
: b = ak.
Veamos que esta relaci´on es de orden.
Reflexiva. Para cada elemento a de Z
+
, se verifica que
a = a · 1
160
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
luego,
∃k ∈ Z
+
: a = a · k
de aqu´ı que
∀a
_
a ∈ Z
+
=⇒ a a
_
es decir, la relaci´on de divisibilidad es, en efecto, reflexiva.
Antisim´etrica. Sean a y b dos elementos cualesquiera de Z
+
, entonces
a b

b a
_
_
_
⇐⇒
_
_
_
∃k
1
∈ Z
+
: b = a · k
1

∃k
2
∈ Z
+
: a = b · k
2
si ahora sustituimos la segunda ecuaci´on en la primera, tendremos
b = b · k
1
· k
2
⇐⇒ k
1
· k
2
= 1 ⇐⇒ k
1
= k
2
= 1
consecuentemente, a = b.
De aqu´ı que
∀a, b ∈ Z(a b ∧ b a =⇒ a = b)
es decir, la relaci´on propuesta es antisim´etrica.
Transitiva. Sean a, b y c tres n´ umeros enteros arbitrarios.
a b

b c
_
_
_
⇐⇒
_
_
_
∃k
1
∈ Z
+
: b = a · k
1

∃k
2
∈ Z
+
: c = b · k
2
Sustituyendo la segunda ecuaci´on en la primera, tendremos que
c = a · k
1
· k
2
: k
1
· k
2
∈ Z
luego,
a c
o sea,
∀a, b, c ∈ Z(a b ∧ b c =⇒ a c)
la relaci´on, por tanto, es transitiva.
Por cumplir las tres condiciones anteriores, la relaci´on es de orden.
Veamos que el orden es parcial. En efecto, consideremos los enteros 2 y 3, entonces
2 = 3k; ∀k ∈ Z y 3 = 2k; ∀k ∈ Z
consecuentemente,
∃a, b ∈ Z : a / b ∧ b / a
es decir, existen elementos no comparables, de aqu´ı que la relaci´on de orden sea parcial.
Ejemplo 7.6 Determinar si la relaci´on R es un orden parcial en el conjunto A.
(a) A = Z y aRb ⇐⇒ a = 2b
(b) A = Z y aRb ⇐⇒ a
2
|2b
(c) A = Z y aRb ⇐⇒ ∃k ∈ Z
+
: a = b
k
Soluci´on
161
Universidad de C´adiz Departamento de Matem´aticas
(a) A = Z y aRb ⇐⇒ a = 2b
Reflexiva. Consideremos el 1, n´ umero entero, entonces 1 = 2 · 1, luego 1R/ 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 ⇐⇒ a
2
|2b
Reflexiva. Consideremos el n´ umero entero 3, entonces
3
2
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 relaci´on propuesta es no reflexiva y, consecuente-
mente, no es de orden.
(c) A = Z y aRb ⇐⇒ ∃k ∈ Z : a = b
k
Reflexiva. Dado cualquier n´ umero entero a, se verifica que a = a
1
, luego
∃k ∈ Z
+
(k = 1) : a = a
k
de aqu´ı que
∀a (a ∈ Z =⇒ aRa)
consecuentemente, la relaci´on propuesta es reflexiva.
Antisim´etrica. Sean a y b dos enteros cualesquiera, entonces
aRb ⇐⇒ ∃k
1
∈ Z
+
: a = b
k1

bRa ⇐⇒ ∃k
2
∈ Z
+
: b = a
k2
sustituyendo la segunda ecuaci´on en la primera, tendremos
a =
_
a
k2
_
k1
⇐⇒ a = a
k1k2
⇐⇒ k
1
· k
2
= 1 ⇐⇒ k
1
= k
2
= 1
de aqu´ı que a sea igual a b, por tanto,
∀a, b ∈ Z(aRb ∧ bRa =⇒ a = b)
es decir, R es antisim´etrica.
Transitiva. Sean a, b y c tres n´ umeros enteros cualesquiera, entonces
aRb ⇐⇒ ∃k
1
∈ Z
+
: a = b
k1

bRc ⇐⇒ ∃k
2
∈ Z
+
: b = c
k2
sustituyendo la segunda ecuaci´on en la primera, tendremos
a =
_
c
k2
_
k1
⇐⇒ a = c
k1k2
: k
1
· k
2
∈ Z
+
⇐⇒ aRc
es decir,
∀a, b, c ∈ Z(aRb ∧ bRc =⇒ aRc)
luego la relaci´on propuesta es transitiva.
162
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
Por tanto, la relaci´on es de orden. Veamos de que tipo es.
Tomando los enteros 2 y 3, se verifica que
2 = 3
k
, ∀k ∈ Z
+
y 3 = 2
k
, ∀k ∈ Z
+
luego,
2R/ 3 ∧ 3R/ 2
es decir,
∃a, b ∈ Z : (aR/ b ∧ aR/ b)
es decir, existen en Z elementos no comparables con la relaci´on propuesta, de aqu´ı que esta sea de
orden parcial.
Ejemplo 7.7 Determinar si la relaci´on de inclusi´on definida en el conjunto A = P(S), donde S es un
conjunto cualquiera es una relaci´on de orden total.
Soluci´on
A = P(S), donde S es un conjunto cualquiera y R la inclusi´on de conjuntos.
Esta relaci´on es claramente reflexiva, antisim´etrica y transitiva (ver lecci´on de teor´ıa 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 relaci´on, por
ejemplo {a} no est´a 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, ) al conjunto A ordenado con la relaci´on .
Ejemplo 7.8
(a) La relaci´on de inclusi´on es una relaci´on de orden parcial sobre cualquier colecci´on 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 (menor o igual que) es una relaci´on de orden total sobre el conjunto de los n´ umeros
enteros, es decir, (Z, ) 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,
1
) y (B,
2
) son dos conjuntos parcialmente ordenados, entonces {A×B, } tambi´en lo es
con el orden definido por
(a, b) (a

, b

) ⇐⇒ a
1
a

∧ b
2
b

Demostraci´on
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 ⇐⇒ a ∈ A ∧ b ∈ B
=⇒ a
1
a ∧ b
2
b {Reflexividad en (A,
1
) y {B,
2
}}
⇐⇒ (a, b) (a, b)
luego,
∀(a, b) [(a, b) ∈ A×B =⇒ (a, b) (a, b)]
es decir, la relaci´on propuesta es, en efecto, reflexiva.
Antisim´etrica. Sean (a, b) y (a

, b

) dos elementos cualesquiera de A×B. Entonces,
(a, b) (a

, b

)

(a

, b

) (a, b)
_
_
_
⇐⇒
_
_
_
a
1
a

∧ b
2
b


a

1
a ∧ b

2
b
⇐⇒
_
_
_
a
1
a

∧ a

1
a en A

b
2
b

∧ b

2
b en B
=⇒ a = a

∧ b = b

{Por la antisimetr´ıa en (A,
1
) y (B,
2
)}
⇐⇒ (a, b) = (a

, b

)
Tendremos, por tanto,
∀(a, b), (a

, b

) ∈ A×B [(a, b) (a

, b

) ∧ (a

, b

) (a, b) =⇒ (a, b) = (a

, b

)]
luego la relaci´on propuesta es antisim´etrica.
Transitiva. Sean ahora (a, b), (a

, b

) y (a

, b

) cualesquiera de A×B, entonces
(a, b) (a

, b

)

(a

, b

) (a

, b

)
_
_
_
⇐⇒
_
_
_
a
1
a

∧ b
2
b


a

1
a

∧ b

2
b

⇐⇒
_
_
_
a
1
a

∧ a

1
a

en A

b
2
b

∧ b

2
b

en B
=⇒ a
1
a

∧ b
2
b

{Transitividad en (A,
1
) y (B,
2
)}
⇐⇒ (a, b) (a

, b

)
luego,
∀(a, b), (a

, b

), (a

, b

) ∈ A×B [(a, b) (a

, b

) ∧ (a

, b

) (a

, b

) =⇒ (a, b) (a

, b

)]
es decir, la relaci´on es transitiva.
164
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
Por tanto, la relaci´on definida en el producto cartesiano A × B es de orden. Lo llamaremos el orden
del producto.
Ejemplo 7.9 En Z
+
×Z
+
y definimos la siguiente relaci´on:
(a, b) (a

, b

) ⇐⇒ a |a

∧ b b

donde es el orden usual. Demuestre que ≺ es de orden.
Soluci´on
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 b, por ser “” reflexiva
luego,
(a, b) ≺ (a, b)
es decir,
∀(a, b) ((a, b) ∈ A×A =⇒ (a, b) ≺ (a, b))
o sea, ≺ es reflexiva.
Antisim´etrica. Sean (a, b) y (a

, b

) cualesquiera de A×A.
(a, b) ≺ (a

, b

)

(a

, b

) ≺ (a, b)
_
_
_
⇐⇒
_
_
_
a |a

∧ b b


a

|a ∧ b

b
⇐⇒
_
_
_
a |a

∧ a

|a

b b

∧ b

b
=⇒ a = a

∧ b = b

{Por ser “|” y “” antisim´etricas}
⇐⇒ (a, b) = (a

, b

)
Tenemos, pues,
∀(a, b), (a

, b

) ∈ A×A((a, b) ≺ (a

, b

) ∧ (a

, b

) ≺ (a, b) =⇒ (a, b) = (a

, b

))
es decir, ≺ es antisim´etrica.
Transitiva. Si (a, b), (a

, b

) y (a

, b

) son elementos arbitrarios de A×A, entonces
(a, b) ≺ (a

, b

)

(a

, b

) ≺ (a

, b

)
_
_
_
⇐⇒
_
_
_
a |a

∧ b b


a

|a

∧ b

b

⇐⇒
_
_
_
a |a

∧ a

|a


b b

∧ b

b

=⇒ a |a

∧ b b

{Por ser “|” y “” transitivas}
⇐⇒ (a, b) ≺ (a

, b

)
165
Universidad de C´adiz Departamento de Matem´aticas
As´ı pues,
∀(a, b), (a

, b

), (a

, b

) ∈ A×A((a, b) ≺ (a

, b

) ∧ (a

, b

) ≺ (a

, b

) =⇒ (a, b) ≺ (a

, b

))
es decir, ≺ es transitiva.
Consecuentemente, la relaci´on propuesta es de orden, siendo ´este parcial por serlo la relaci´on de divisi-
bilidad.
7.3.2 Orden Lexicogr´afico
Un orden muy ´ util en el producto A×B, siendo (A,
1
) y (B,
2
) dos conjuntos parcialmente orde-
nados, es el definido de la forma siguiente:
(a, b) (a

, b

) ⇐⇒ a ≺
1
a

∨ (a = a

∧ b
2
b

)
donde a ≺
1
a

si a
1
a

y a = a

.
Demostraci´on
Veamos que esta relaci´on es, en efecto, una relaci´on de orden
Reflexiva. Sea (a, b) cualquiera de A×B. Entonces, a ∈ A y b ∈ B y como
2
es reflexiva,
a = a ∧ b
2
b =⇒ a ≺
1
a ∨ (a = a ∧ b
2
b) ⇐⇒ (a, b) (a, b).
Antisim´etrica. Sean (a, b) y (a

, b

) dos elementos cualesquiera de A×B. Pues bien,
(a, b) (a

, b

)

(a

, b

) (a, b)
_
¸
¸
_
¸
¸
_
⇐⇒
_
¸
¸
_
¸
¸
_
(a ≺
1
a

) ∨ (a = a

∧ b
2
b

)

(a


1
a) ∨ (a

= a ∧ b

2
b)
⇐⇒
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
(a ≺
1
a

∧ a


1
a) {Contradicci´on}

(a ≺
1
a

) ∧ (a = a

∧ b
2
b

) {Contradicci´on}

(a = a

∧ b
2
b

) ∧ (a


1
a) {Contradicci´on}

(a = a

∧ b
2
b

) ∧ (a

= a ∧ b

2
b)
⇐⇒ (a = a

∧ b
2
b

) ∧ (a

= a ∧ b

2
b)
⇐⇒ a = a

∧ (b
2
b

∧ b

2
b)
⇐⇒ a = a

∧ b = b

{Antisimetr´ıa de
2
}
⇐⇒ (a, b) = (a

, b

)
166
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
Transitiva. Sean (a, b), (a

, b

) y (a

, b

) tres elementos cualesquiera de A×B. Entonces,
(a, b) (a

, b

)

(a

, b

) (a

, b

)
_
¸
¸
_
¸
¸
_
⇐⇒
_
¸
¸
_
¸
¸
_
a ≺
1
a

∨ (a = a

∧ b
2
b

)

a


1
a

∨ (a

= a

∧ b

2
b

)
⇐⇒
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
(a ≺
1
a

∧ a


1
a

)

(a ≺
1
a

) ∧ (a

= a

∧ b

2
b

)

(a = a

∧ b
2
b

) ∧ (a


1
a

)

(a = a

∧ b
2
b

) ∧ (a

= a

∧ b

2
b

)
⇐⇒
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
(a ≺
1
a

∧ a


1
a

)

a ≺
1
a

∧ b

2
b


a ≺
1
a

∧ b
2
b


(a = a

∧ b
2
b

) ∧ (a

= a

∧ b

2
b

)
⇐⇒
_
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
_
(a ≺
1
a

∧ a


1
a

)

(a ≺
1
a

) ∧ (b

2
b

∨ b
2
b

)

(a = a

∧ b
2
b

) ∧ (a

= a

∧ b

2
b

)
⇐⇒
_
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
_
a ≺
1
a

{Transitividad de ≺
1
}

a ≺
1
a


a = a

∧ b
2
b

{Transitividad de
2
}
⇐⇒ a ≺
1
a

∨ (a = a

∧ b
2
b

)
⇐⇒ (a, b) (a

, b

)

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 atenci´on pasa a la segunda
coordenada.
Nota 7.3 Si (A,
1
) y (B,
2
) son conjuntos totalmente ordenados, entonces el orden lexicogr´afico en
A×B tambi´en es total.
167
Universidad de C´adiz Departamento de Matem´aticas
En efecto, sean (a, b) y (a

, b

) cualesquiera de A×B. Como
1
es de orden total
a
1
a

∨ a

1
a
es decir,
(a ≺
1
a

∨ a = a

) ∨ (a


1
a ∨ a

= a)
luego
a ≺
1
a

∨ a


1
a ∨ a = a

.
Pues bien,
si a ≺
1
a

, entonces (a, b) ≺ (a

, b

)
si a


1
a, entonces (a

, b

) ≺ (a, b)
si a = a

, entonces como
2
es de orden total
_
¸
¸
_
¸
¸
_
b
2
b

, luego (a, b) ≺ (a

, b

)

b

2
b, luego (a

, b

) ≺ (a, b)
As´ı pues, en cualquier caso,
(a, b) (a

, b

) ∨ (a

, b

) (a, b)
es decir todos los elementos de A×B son comparables mediante y, por tanto, es de orden total.
Ejemplo 7.10 Sea {R, } donde es el orden usual. Consideremos en el plano R
2
= R×R, el orden
lexicogr´afico. Si p
1
y p
2
son dos puntos cualesquiera de R
2
de coordenadas (x
1
, y
1
) y (x
2
, y
2
), entonces
(x
1
, y
1
) (x
2
, y
2
) ⇐⇒ x
1
< x
2
∨ (x
1
= x
2
∧ y
1
y
2
)
x = x
1

p
1
x = x
2

p
2

p
3
Orden lexicogr´afico en R ×R
En la figura se ilustra el ordenamiento lexicogr´afico en R
2
. El plano est´a totalmente ordenado y cada
recta vertical tiene el orden usual en R. Los puntos en una misma l´ınea son menores que los puntos de
cualquier l´ınea situada a su derecha. Seg´ un esto, en la figura p
1
p
2
, p
1
p
3
y p
2
p
3
.
168
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
Nota 7.4 El ordenamiento lexicogr´afico puede extenderse f´acilmente al producto cartesiano A
1
×A
2
×
· · · ×A
n
en la forma siguiente:
(a
1
, a
2
, . . . , a
n
) (a

1
, a

2
, . . . , a

n
) ⇐⇒
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
a
1
≺ a

1

a
1
= a

1
∧ a
2
≺ a

2

a
1
= a

1
∧ a
2
= a

2
∧ a
3
≺ a

3

· · · · · · · · · · · ·

a
1
= a

1
∧ a
2
= a

2
∧ · · · ∧ a
n−1
= a

n−1
∧ a
n
a

n
La primera coordenada predomina excepto para la igualdad, en cuyo caso se examina la segunda coorde-
nada. Si la igualdad se mantiene nuevamente, se pasar´a 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 b, b c, . . . , y z. El producto cartesiano A
n
puede considerarse como el conjunto de las palabras
de longitud n.
El orden lexicogr´afico en A
n
tiene la propiedad que si p
1
p
2
(p
1
, p
2
∈ A
n
), entonces la palabra p
1
deber´a preceder a la p
2
en una lista de diccionario. Este hecho justifica el nombre dado al ordenamiento.
Obs´ervese, por ejemplo,
le˜ nera le˜ nero, ya que l=l, e=e, ˜ n=˜ n, e=e, r=r y a o
amigo azar, ya que a=a y m z
p´ajaro zumbido, ya que p z.
Nota 7.5 Si Σ es un alfabeto ordenado, el orden lexicogr´afico puede extenderse al conjunto Σ

de
todas las palabras de longitud finita construidas con s´ımbolos de Σ, en la forma siguiente:
si x = a
1
a
2
. . . a
n
e y = b
1
b
2
. . . b
k
est´an en Σ

con n k, entonces
x y ⇐⇒ (a
1
, a
2
, . . . , a
n
) (b
1
, b
2
, . . . , b
n
)
bajo el orden lexicogr´afico de Σ
n
.
Dicho con otras palabras: se recorta la palabra de longitud m´as larga a la longitud de la m´as 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 amando
en Σ

ya que
ama ama
en Σ
3
. An´alogamente,
169
Universidad de C´adiz Departamento de Matem´aticas
amando amante
en Σ

ya que
amando amante
en Σ
6
.
Obs´ervese que
ama amando
y
ama amante
lo cual prueba que este orden incluye el “orden de los prefijos”; esto es, cualquier palabra es mayor que
cualquiera de sus prefijos. Tambi´en es ´esta la forma en que las palabras est´an 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 lexicogr´afico. Diga si cada
una de las siguientes afirmaciones es verdadera o falsa.
(a) (2, 12) (5, 3)
(b) (3, 6) (3, 24)
(c) (4, 8) (4, 6)
(d) (15, 92) (12, 3)
Soluci´on
Recordemos que el orden lexicogr´afico se caracterizaba en la forma siguiente:
(a, b) (a

, b

) ⇐⇒ a < a

∨ (a = a

∧ b b

)
siendo el orden usual en Z
+
. Entonces,
(a) (2, 12) (5, 3)
La afirmaci´on es verdadera, ya que 2 < 5.
(b) (3, 6) (3, 24)
Dado que 3 = 3 y 6 < 24, la afirmaci´on es verdadera.
(c) (4, 8) (4, 6)
4 = 4, pero 8 ≮ 6, por tanto la afirmaci´on es falsa.
(d) (15, 92) (12, 3)
Como 15 ≮ 12, la afirmaci´on es falsa.
170
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
7.4 Representaci´ on Gr´afica
7.4.1 Diagrama de Hasse
Dada una relaci´on de orden, , 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 habr´a 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 b y b c, se sigue que a 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 l´ıneas
que unan puntos ser´an, por tanto, ascendentes, de aqu´ı que se supriman las direcciones utilizadas
en los digrafos.
• a

b

c

a

b

c

a

b

c

a

b

c
Paso de un grafo dirigido a un diagrama de Hasse
La figura anterior nos muestra el paso del grafo dirigido de una relaci´on de orden hasta la obtenci´on de
su diagrama de Hasse mediante la aplicaci´on 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), ⊆}
Soluci´on
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:


• {b} •{a}

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

{a, b}

{a, b, c}
Ejemplo 7.14
Ejemplo 7.15 Determinar el diagrama de Hasse del orden dado por los grafos dirigidos de la figura:
• c •
d

b
• e

a

1

2
• 3

4

5
(a) (b)
Ejemplo 7.15
Soluci´on
172
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez

c

c

b
• e

a

1
• 2
• 3

4
• 5
(a) (b)
Soluci´on 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)}
Soluci´on

1
(a)

4
• 2 • 3

a

b
• c

e

d
(b)
Ejemplo 7.16
173
Universidad de C´adiz Departamento de Matem´aticas

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

2

1


4
3
(b)

1
• 2
• 3

4
(b)
Ejemplo 7.17
Soluci´on
(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
_
_
_
_
_
_
Soluci´on
174
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez

1
• 2
• 3
• 4

5

1

2
• 3

5

4
(a) (b)
Soluci´on al ejemplo 7.18

Ejemplo 7.19 Dibujar los diagramas de Hasse de los siguientes conjuntos ordenados por la relaci´on
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}
Soluci´on
175
Universidad de C´adiz Departamento de Matem´aticas

1
• 3 • 5

2
• 10 • 6

15

30
• 2
• 4
• 8
• 16
• 32
• 3
• 6
• 12
• 36
• 72

1
• 3 • 5
• 2
• 10

4 • 6

12

15

30

60
(a) (b) (c) (d)
¸ .. ¸
Totalmente Ordenados
Ejemplo 7.19

7.5 Ordenaci´ on Topol´ ogica
Si {A, } es un conjunto parcialmente ordenado, muchas veces ser´a necesario encontrar un orden total ≺
del conjunto A que es simplemente una extensi´on del orden parcial dado en el sentido de que a b ⇐⇒
a ≺ b.
El proceso de construcci´on de un orden total tal como ≺ se llama clasificaci´on u ordenaci´on topol´ogica.
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 introducci´on ser´a de
tal manera que el orden parcial se preserve. Esto es si a b, entonces a se introducir´a antes que b. Una
clasificaci´on topol´ogica ≺ dar´a un orden de entrada de los elementos que satisfagan esta condici´on.
Ejemplo 7.20 Obtener la ordenaci´on topol´ogica del conjunto parcialmente ordenado cuyo diagrama
de Hasse es el (1) de la figura siguiente:
Soluci´on
176
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez

a

b

d
• e
• c

g

f
• a

b
• c

d
• e

g
• f
• a
• c

g

b

d
• e
• f
• a

d

b
• e
• c

g
• f
(1) (2) (3) (4)
Ejemplo 7.20
El orden ≺ cuyo diagrama de Hasse se muestra en la figura (2) es un orden total. Es f´acil ver que
cualquier par en est´a tambi´en en el orden ≺, por lo cual ≺ es una ordenaci´on topol´ogica del orden
parcial . Los apartados (3) y (4) en la misma figura muestran otras dos soluciones de este problema.
7.6 Elementos Caracter´ısticos 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, } 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 , 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 x ∧ x = b
y una formulaci´on equivalente ser´ıa
b es maximal ⇐⇒ ∀x ∈ B, ¬(b x) ∨ x = b
⇐⇒ ∀x ∈ B, b 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 , 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 b ∧ x = b
y una formulaci´on equivalente ser´ıa
b es minimal ⇐⇒ ∀x ∈ B, ¬(x b) ∨ x = b
⇐⇒ ∀x ∈ B, x 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.
Demostraci´on
Sea {A, } un conjunto ordenado con n elementos, y sea a cualquier elemento de A.
Supongamos que a no fuese maximal. Entonces existir´a, al menos, un a
1
en A que lo sucede, es decir,
∃a
1
∈ A : a a
1
si a
1
no fuese maximal, razonando de la misma forma,
∃a
2
∈ A : a
1
a
2
Como A es un conjunto finito, este razonamiento no se puede continuar indefinidamente, luego obten-
dremos una cadena finita
a a
1
a
2
· · · a
n−1
a
n
que ya no puede extenderse. Por lo tanto no es posible encontrar un elemento b en A tal que a
n
b,
luego a
n
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, }, utilizando el concepto de elemento minimal, es
posible construir un algoritmo que ordene topol´ogicamente dicho conjunto.
Recordemos que la ordenaci´on topol´ogica de un conjunto es un proceso mediante el cual sumergimos un
orden parcial en un orden total ≺.
Esto es, dado un orden parcial , queremos encontrar un orden total ≺ tal que
a b =⇒ a ≺ b
Pues bien, veamos el algoritmo.
178
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
Sea (A, ) un conjunto finito, no vac´ıo y parcialmente ordenado. Seg´ un la proposici´on anterior, existir´a
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 m´as 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] ≺ · · · · · ·
entonces, la relaci´on ≺ en A definida de esta forma es una ordenaci´on topol´ogica de (A, )
Algoritmo ORDENTOPO
I := 1
O := A
Hacer mientras (O = ∅)
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, ).
Obtener una lista de los elementos de A ordenados topol´ogicamente mediante el algoritmo ORDEN-
TOPO.
Soluci´on
Los elementos minimales de (A, ) 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, )
y la ordenaci´on que produce el algoritmo.
Como O = ∅ 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, ) y
la ordenaci´on que produce ORDENTOPO.
Nuevamente es O = ∅ 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 est´an en (d).
O = {a, b} y los minimales de (O, ) 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, ). Hacemos,
ORDENTOPO[5] = a
O = O \ {a}
• c

d

e

a

b
(a)

d
(b)

e
• c

a

b


d
e
(c)

c

a

b
(d)

d
• e
• c

a

b

d
(e)
• e
• c

b

a

d
(f)
• e
• c

b
• a
Ordenaci´on Topol´ogica
El orden definitivo y el diagrama de Hasse est´an en el apartado (f). El ordenamiento obtenido es una
ordenaci´on topol´ogica de {A, }.
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 ,
si es posterior a todos los elementos de B. Es decir,
b es m´aximo ⇐⇒ ∀x, x ∈ B =⇒ x b
180
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
7.6.6 Elemento M´ınimo
Un elemento b perteneciente al subconjunto B se dice que es m´ınimo de B, respecto de la relaci´on ,
si es anterior a todos los elementos de B. Es decir,
b es m´ınimo ⇐⇒ ∀x, x ∈ B =⇒ b x
Nota 7.6 Obs´ervese la diferencia que existe entre m´aximo y maximal y entre m´ınimo y minimal.
Para ser maximal s´olo se necesita que no haya ning´ un elemento que lo suceda, mientras que para ser
m´aximo ha de suceder y por tanto estar relacionado con todos los dem´as.
Un razonamiento similar explica la diferencia entre m´ınimo y minimal.
Ejemplo 7.22 Sea C = {a, b, c}, consideremos el conjunto A = P(C) ordenado con la relaci´on de
inclusi´on y el subconjunto de A,
B = {{a} , {b} , {c} , {a, b} , {b, c}} .

{a}

{b}

{c}

{a, b}

{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 (est´e 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 m´ınimo 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 relaci´on 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.
Obs´ervese 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 m´ınimo 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:

2

3

5

7
• 4

8

6
Ejemplo 7.23
Ejemplo 7.24 Sea A = {R, } donde es la relaci´on 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 3 y x = 3. Por otra parte elementos maximales
no hay ya que cualquier elemento de B tiene un elemento posterior a ´el.
El 3 es el m´ınimo 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 dem´as por lo tanto el conjunto no tiene m´aximo.
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 m´ınimo, ni m´aximo y el
B = {x ∈ R : 1 x 3}
tiene al 1 como m´ınimo y minimal y al 3 como m´aximo y maximal.
182
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
7.6.7 Unicidad del M´aximo y el M´ınimo
Todo conjunto ordenado finito posee, a lo sumo, un elemento m´aximo y uno m´ınimo.
Demostraci´on
En efecto, supongamos que un conjunto ordenado {A, } tiene dos elementos m
1
y m
2
que son m´aximos,
entonces
m
1
, m´aximo
m
2
∈ A
_
=⇒ m
2
m
1
Por otra parte,
m
2
, m´aximo
m
1
∈ A
_
=⇒ m
1
m
2
luego por la antisimetr´ıa,
m
1
= m
2
y el m´aximo, si existe, es ´ unico.
De una forma similar se prueba que el m´ınimo de un conjunto ordenado, si existe, es ´ unico.
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 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 x
Ejemplo 7.26
183
Universidad de C´adiz Departamento de Matem´aticas

a

b

c

d

e

f

g

h
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, }.
Encontrar todas las cotas superiores e inferiores de los subconjuntos de A,
(a) B
1
= {a, b}
(b) B
2
= {c, d, e}
Soluci´on
(a) B
1
= {a, b}
No tiene cotas inferiores.
Las cotas superiores son c, d, e, f, g y h.
(b) B
2
= {c, d, e}
Las cotas inferiores son a, b y c.
Las cotas superiores son f, g y h.
Obs´ervese 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 podr´a o no pertenecer a B.
184
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
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 m´ınima de
B en A si se verifica
1. a es una cota superior de B en A.
2. Si a

es otra cota superior de B en A, entonces a a

.
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 a

es otra cota inferior de B en A, entonces a

a.
Ejemplo 7.27 Encontrar el supremo y el ´ınfimo en el ejemplo 7.26 para los subconjuntos de A,
(a) B
1
= {a, b}
(b) B
2
= {c, d, e}
Soluci´on
(a) B
1
= {a, b}
´
Infimo. Seg´ un vimos en el citado ejemplo, B
1
no ten´ıa cotas inferiores, luego tampoco tendr´a
cota inferior m´axima, es decir, no tiene ´ınfimo.
El supremo es c ya que precede a todas las cotas superiores de B
1
.
(b) B
2
= {c, d, e}
El ´ınfimo es c ya que sucede a todas las cotas inferiores de B
2
.
Supremo no tiene ya que al no ser comparables los elementos f y g, no hay ninguna cota
superior que preceda a todas las dem´as.
7.6.13 Unicidad del
´
Infimo y el Supremo
Todo conjunto ordenado finito posee, a lo sumo, un ´ınfimo y un supremo.
Demostraci´on
En efecto, supongamos que un conjunto ordenado {A, } tiene dos elementos s
1
y s
2
que son supremos,
entonces
s
1
, supremo
s
2
∈ A
_
=⇒ s
2
s
1
185
Universidad de C´adiz Departamento de Matem´aticas
Por otra parte,
s
2
, supremo
s
1
∈ A
_
=⇒ s
1
s
2
luego por la antisimetr´ıa,
s
1
= s
2
y el supremo, si existe, es ´ unico.
De una forma similar se prueba que el ´ınfimo de un conjunto ordenado, si existe, es ´ unico.
Nota 7.7 Sea {A, } un conjunto ordenado y B = {b
1
, b
2
, . . . , b
k
} un subconjunto suyo. Observemos
lo siguiente:
− Si a es el supremo, entonces a es el primer v´ertice que puede alcanzarse siguiendo una trayectoria
ascendente desde b
1
, b
2
. . . , b
k
.
− Si a es el ´ınfimo, entonces a es el ´ ultimo v´ertice que puede alcanzarse siguiendo una trayectoria
descendente desde b
1
, b
2
. . . , b
k
.
Ejemplo 7.28 Sea A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} un conjunto ordenado cuyo diagrama de Hasse
est´a en la figura. Encontrar el supremo y el ´ınfimo de B = {6, 7, 10}.

1

2
• 3 •
4
• 5 •
6
• 7 • 8

9

10

11
Ejemplo 7.28
Soluci´on
Siguiendo una trayectoria ascendente desde los v´ertices 6, 7 y 10, el primer v´ertice 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 relaci´on aRb ⇐⇒ a divide a b.
186
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
(a) Demostrar que es de orden. ¿Es de orden total?
(b) Encontrar los elementos caracter´ısticos 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.
Soluci´on
La relaci´on de divisibilidad se expresa en los siguientes t´erminos.
aRb ⇐⇒ a divide a b (a|b) ⇐⇒ ∃k ∈ Z
+
/b = a · k
Obs´ervese 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.
Antisim´etrica. Dados a y b, cualesquiera de Z
+
, tendremos
aRb ⇐⇒ a|b ⇐⇒ ∃k
1
∈ Z
+
: b = a · k
1

bRa ⇐⇒ b|a ⇐⇒ ∃k
2
∈ Z
+
: a = b · k
2
_
_
_
=⇒ b = b · k
2
· k
1
=⇒ k
2
· k
1
= 1 ⇐⇒ k
1
= k
2
= 1
luego, a = b.
Transitiva. Dados tres elementos arbitrarios de Z
+
, a, b y c, tenemos:
aRb ⇐⇒ a|b ⇐⇒ ∃k
1
∈ Z
+
: b = a · k
1

bRc ⇐⇒ b|c ⇐⇒ ∃k
2
∈ Z
+
: c = b · k
2
_
_
_
=⇒ c = a · k
1
· k
2
: k
1
· k
2
∈ Z
+
=⇒ a|c ⇐⇒ aRc
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 caracter´ısticos 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 ning´ un 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 ´ unico 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 m´aximo si es m´ ultiplo de todos los elementos de A. En el conjunto propuesto, obviamente, no
hay m´aximo.
M´ınimo.
Un elemento a ∈ A es m´ınimo si precede a todos los elementos de A. Por tanto, en este caso, a ∈ A
es m´ınimo si es divisor de todos los elementos de A. El m´ınimo 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 m´ınimo com´ un m´ ultiplo de 5, 6, 7, 8 y 9 y todos sus
m´ ultiplos. 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 ´ unica 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 dem´as
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 m´ınimo 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 dem´as 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 s´olo hay una cota inferior, ella ser´a el ´ınfimo, es decir, el 1.
Veamos ahora los elementos caracter´ısticos de
B = {1, 2, 3, 4, 6, 9, 12, 18, 36}
Elementos maximales. El 36.
Elementos minimales. El 1.
M´aximo. El 36.
M´ınimo. 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 Jos´e Gonz´alez Guti´errez

1

2
• 3
• 4

8

6

9

5

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

1

2

3
• 4 • 6 • 9

12

18

36
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 relaci´on:
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 relaci´on.
(c) Dado C = {4, 6}, subconjunto de B, hallar sus elementos caracter´ısticos.
Soluci´on
(a) La relaci´on es de orden parcial. Ver ejemplo 7.29.
(b) El diagrama de Hasse y la matriz de la relaci´on se muestra en la figura siguiente:
189
Universidad de C´adiz Departamento de Matem´aticas

2
• 4 • 6 • 10

12

30
M
R
=
_
_
_
_
_
_
_
_
1 1 1 1 1 1
0 1 0 0 1 0
0 0 1 0 1 1
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 caracter´ısticos 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.
M´ınimo. 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 Jos´e Gonz´alez Guti´errez

1
• 2 • 4

3

5

6

a

b

c

d
• e

f

g
(a.1) (a.2)

a

b
• c

d

e

f

1

9
• 2 •
5
• 8

3
• 6

4

7
(a.3) (a.4)
Ejemplo 7.31(a)
(b) R con el orden usual, .
(c) A = {x : x ∈ R y 0 x < 1} con el orden usual .
(d) A = {x : x ∈ R y 0 < x 1} con el orden usual .
(e) A = {2, 3, 4, 6, 8, 24, 48} con el orden de divisibilidad.
Soluci´on
Recordemos que si {A, } es un conjunto ordenado, entonces
a ∈ A es maximal ⇐⇒x ∈ A : a x
b ∈ A es minimal ⇐⇒x ∈ A : x 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 n´ umero real est´a precedido y seguido por otro n´ umero real, luego el conjunto ordenado {R, }
no tiene maximal ni minimal.
(c) A = {x : x ∈ R y 0 x < 1} con el orden usual .
Sea x ∈ R, entonces
x ∈ A ⇐⇒ 0 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 n´ umero que lo preceda.
(d) A = {x : x ∈ R y 0 < x 1} con el orden usual .
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, } 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 m´aximo y m´ınimo, si existen, de los siguientes conjuntos
ordenados.

a

b
• c

d
• e

f
(a.1)

a

b
• c

d

e
(a.2)

1

2
• 3

4

5
(a.3)

1
• 2 • 3
• 4

5
(a.4)
Ejemplo 7.32(a)
(a) Figura anterior.
(b) A = {x ∈ R : 0 < x < 1} con el orden usual .
(c) A = {x ∈ R : 0 x 1} con el orden usual .
(d) A = {2, 4, 6, 8, 12, 18, 24, 36, 72} con el orden parcial de divisibilidad.
192
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
(e) A = {2, 3, 4, 6, 12, 18, 24, 36} con el orden parcial de divisibilidad.
Soluci´on
Recordemos que si {A, } es un conjunto ordenado, entonces
a ∈ A es m´aximo ⇐⇒ ∀x ∈ A, x a
b ∈ A es m´ınimo ⇐⇒ ∀x ∈ A, b x
(a) Seg´ un la figura,
(a.1) El m´aximo es f y el m´ınimo, a.
(a.2) e es el m´aximo y m´ınimo no tiene.
(a.3) No tiene m´aximo ni m´ınimo.
(a.4) El m´aximo es el cinco y no tiene m´ınimo.
(b) A = {x ∈ R : 0 < x < 1} con el orden usual .
A = (0, 1), luego {A, } no tiene m´aximo ni m´ınimo ya que ni el cero ni el uno pertenecen al
conjunto.
(c) A = {x ∈ R : 0 x 1} con el orden usual .
A = [0, 1], luego el m´aximo y el m´ınimo de {A, } son, respectivamente, 0 y 1.
(d) A = {2, 4, 6, 8, 12, 18, 24, 36, 72} con el orden parcial de divisibilidad.
El m´aximo de {A, } es 72 ya que sucede a todos los elementos de A y el m´ınimo el 2.
(e) A = {2, 3, 4, 6, 12, 18, 24, 36} con el orden parcial de divisibilidad.
El conjunto ordenado {A, } siendo la relaci´on de divisibilidad no tiene m´aximo ni m´ınimo.
Ejemplo 7.33

a

b
• c

d
•e
• f

g

h
B = {c, d, e}
(a.1)

1

2
• 3

4

5
B = {1, 2, 3, 4, 5}
(a.2)

a

b
• c

d
• e

f
B = {b, c, d}
(a.3)

1

2
• 3 •
7
• 4 • 6 • 9

5

8
B = {3, 4, 6}
(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, } es el conjunto ordenado del apartado (a.1) y B = {b, g, h}.
(c) {A, } es el conjunto ordenado del apartado (a.4) y B = {4, 6, 9}.
(d) {A, } es el conjunto ordenado del apartado (a.4) y B = {3, 4, 8}.
(e) {R, }, donde denota el orden usual y B = {x : x ∈ R y 1 < x < 2}
(f) {R, }, donde denota el orden usual y B = {x : x ∈ R y 1 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 relaci´on de divisibilidad y B = {4, 6, 12}.
Soluci´on
(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, } 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, } 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 Jos´e Gonz´alez Guti´errez
Cotas inferiores de B: 1, 2 3 y 7.
Supremo: no existe.
´
Infimo: no existe.
(d) {A, } 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, }, donde 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 1, es decir, (−∞, 1].
Supremo: el 2.
´
Infimo: el 1.
(f) {R, }, donde 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 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 vac´ıo, ∅.
Supremo: {a, b}.
´
Infimo: el conjunto vac´ıo, ∅.
(h) A = {2, 3, 4, 6, 8, 12, 24, 48} ordenado por la relaci´on 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 relaci´on R en el conjunto A = {a, b, c, d, e}
M
R
=
_
_
_
_
_
_
1 1 1 1 0
0 1 1 1 0
0 0 1 1 0
0 0 0 1 0
0 0 1 1 1
_
_
_
_
_
_
Hallar el diagrama de Hasse y los elementos caracter´ısticos.
Soluci´on
El diagrama de Hasse se muestra en la figura siguiente.
195
Universidad de C´adiz Departamento de Matem´aticas

a

e

b

c

d
Ejemplo 7.34
Veamos los elementos caracter´ısticos.
Elementos maximales. d.
Elementos minimales. a y e.
M´aximo. d
M´ınimo. 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 relaci´on:
(a + bi)R(c + di) ⇐⇒
_
_
_
a < c
´o
a = c y b d
(a) Demostrar que es de orden.
(b) Dibujar el diagrama de Hasse para el siguiente conjunto ordenado por la relaci´on 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
caracter´ısticos del mismo.
Soluci´on
196
Matem´atica Discreta Francisco Jos´e Gonz´alez Guti´errez
(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 + bi)R(c + di) ⇐⇒
_
_
_
a < c

a = c ∧ b d

(c + di)R(a + bi) ⇐⇒
_
_
_
c < a

c = a ∧ d b
_
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
_
=⇒
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
a < c

c < a
_
_
_
Imposible

a < c

c = a ∧ d b
_
_
_
Imposible

a = c ∧ b d

c < a
_
_
_
=⇒ Imposible

a = c ∧ b d

c = a ∧ d b
_
_
_
=⇒ a = c ∧ b = d
de donde se sigue que a = c y b = d, luego a + bi = c + di.
Transitiva. Sean a + bi, c + di y e + fi tres n´ umeros complejos cualesquiera, entonces
(a + bi)R(c + di) ⇐⇒
_
_
_
a < c

a = c ∧ b d

(c + di)R(e + fi) ⇐⇒
_
_
_
c < e

c = e ∧ d f
_
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
_
=⇒
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
¸
_
a < c

c < e
_
_
_
⇐⇒ a < e {Orden estricto}

a < c

c = e ∧ d f
_
_
_
⇐⇒ a < e ∧ d f

a = c ∧ b d

c < e
_
_
_
⇐⇒ a < e ∧ b d

a = c ∧ b d

c = e ∧ d f
_
_
_
⇐⇒ a = e ∧ b f
y de aqu´ı se sigue que
_
_
_
a < e

a = e ∧ b f
luego (a + bi)R(e + fi).
(b) Diagrama de Hasse y elementos caracter´ısticos pedidos.
197
Universidad de C´adiz Departamento de Matem´aticas

4i
• 1 −i
• 1
• 1 + i
• 3 −4i
Dos cotas superiores de A: 4 −4i y 3 −3i.
Dos cotas inferiores de A: −1 + 4i y 3i.
Maximal: 3 −4i.
Minimal: 4i.
M´aximo: 3 −4i.
M´ınimo: 4i.
Cotas superiores: {(a + bi) ∈ C : a 3 y b −4}
Cotas inferiores: {(a + bi) ∈ C : a 0 y b 4}
Supremo: 3 −4i
´
Infimo: 4i

198

Sign up to vote on this title
UsefulNot useful