AUTOR: JOSÉ MUÑOZ.

TEORÍA DE CONJUNTOS
3.7. RELACIONES DE ORDEN 123

El prototipo de conjunto bien ordenado es N con su orden usual.

TEOREMA 17. Todo conjunto bien ordenado es totalmente ordenado, o

con más precisión: toda relación de orden que es un buen orden, es un orden
total.

Demostración. Sea ¹ un buen orden para A y sean x, y elementos cua-

lesquiera de A. Como el subconjunto {x, y} de A es no vacı́o, deberá tener
primer elemento; si éste es x, entonces x ¹ y y si es y, y ¹ x luego “¹”
es un orden total puesto que mediante él dos elementos cualesquiera son
comparables.

El recı́proco no es cierto; por ejemplo Z con su orden usual es totalmente

ordenado y no es bien ordenado, ya que si lo fuese, el mismo Z deberı́a
tener primer elemento, lo cual no es ası́.
Para no cansar al lector con más definiciones, incluiremos dentro de
los ejercicios otros conceptos adicionales que servirán además para aclarar
ideas y eliminar algunas de las dudas surgidas.

Ejercicios

1. Diga cuáles de las relaciones siguientes son de orden y de éstas últimas,

cuáles de orden total y cuáles de buen orden. Dé las razones de sus
respuestas.

(a) (x, y)R(u, v) ↔ (x2 + y 2 ≤ u2 + v 2 ), relación en R2 .

(b) {(1, 1), (1, a), (a, c), (1, b), (b, b), (a, a), (1, c), (c, c)} = R con
{1, a, b, c} = D(R).
(c) xSy ↔ (x2 − y ≤ y 2 − x), relación en R.
(d) Si A = conjunto de todos los triángulos de un plano fijo provisto
de un sistema coordenado, definimos X ¹ Y ↔ (a(X) ≤ a(Y ))
donde a(X) denota el área de X y ≤ es el orden usual de R.
p
(e) ( m
n ¹ q ) ↔ (mq ≤ np) en Q, siendo ≤ el orden usual de Z.

2. Halle todas las relaciones de orden (dándolas mediante diagramas y

mediante conjuntos de parejas ordenadas) que existen en el conjunto
{∗, ¤, 4}
124 CAPÍTULO 3. FUNCIONES Y RELACIONES

3. Si A = {(x, y) ∈ R × R | y ≥ 0}, pruebe que la siguiente es una

relación de orden en A:
(x, y) ¹ (u, v) ↔ (x < u ∨ (x = u ∧ (x2 + y 2 ≤ u2 + v 2 ))).
¿Es un orden total en A?
Si B = {(x, y) ∈ A | 1 < x2 + y 2 ≤ 4} y C = {(x, y) ∈ A : |y| ≤ 2}.
´ B, Sup C, Inf
Halle B∗ , B ∗ , C∗ , C ∗ , Sup B, Inf ´ C si existen.

4. (a) Pruebe que dado a ∈ N − {0}, existen n, m ∈ N únicos tales que

a = 2n (2m + 1).
(b) Demuestre que la siguiente es una relación de orden total en
A = N − {0}: Si a, b ∈ N − {0}, expresémoslos en la forma
a = 2n (2m + 1) y b = 2r (2s + 1).
Entonces definimos a ¹ b ↔ (n < r ∨ (n = r ∧ m ≤ s)).
¿Es un buen orden en A? ¿Tiene A primer elemento?
Si B = {12, 14, 15}, halle para el orden definido en a) B∗ , B ∗ y
Sup B, Inf B, si existen.

5. Pruebe que (x, y) ¹ (a, b) ⇔ (x ≤ a ∧ y ≤ b) es una relación de orden

en N × N, donde ≤ es el orden usual de N.
¿Es un orden total? ¿Es un buen orden? ¿Tienen N × N primer ele-
mento? ¿Tiene elementos minimales?
Si A = {(1, 1), (1, 2), (3, 4), (2, 2), (5, 9), (5, 4)}, halle A∗ , A∗ y Sup A
e Inf A si existen.
Si B = {(1, 2), (2, 3), (5, 6)}, halle B∗ , B ∗ y Sup B e Inf B si existen.

∗6. Dé un ejemplo de un conjunto parcialmente ordenado que posea un

único elemento maximal y que sin embargo éste no sea máximo.

∗7. Pruebe que todo conjunto finito no vacı́o totalmente ordenado es bien
ordenado.

8. Un conjunto ordenado se llama dirigido o filtrante a derecha si todos

sus subconjuntos con dos elementos son acotados superiormente; se
llama dirigido o filtrante a izquierda si todos sus subconjuntos con
dos elementos son acotados inferiormente.
Dé un ejemplo de un conjunto filtrante a derecha y no a izquierda y
otro que sea filtrante a izquierda y no a derecha.
Dé dos ejemplos de conjuntos filtrantes (es decir a derecha y a izquier-
da simultáneamente) y que no sean totalmente ordenados.
 3.7. RELACIONES DE ORDEN 125

9. Pruebe que si “¹” es un orden filtrante en A y A posee un único

elemento maximal, entonces éste es el último elemento de A.

10. Un conjunto ordenado por “¹” se llama un conjunto reticular o un

retı́culo si todos sus subconjuntos con dos elementos poseen Inf y
Sup.
Dé dos ejemplos de conjuntos reticulares que no sean totalmente or-
denados.
Dé un ejemplo de un conjunto ordenado que sea dirigido y no sea
reticular.
Un retı́culo se llama completo si todo subconjunto no vacı́o de él
´ y Sup. Dé un ejemplo de un retı́culo completo que no sea
tiene Inf
totalmente ordenado.

11. Haga un diagrama para representar A = P({a, b, c}) ordenado por

inclusión.
Si B = {{a, b}, {a, d}}, halle B∗ , B ∗ y Sup B e Inf B (si existen).
¿Es filtrante? ¿Es reticulado?

12. Sea A un conjunto ordenado por ¹ y sea B un subconjunto no vacı́o

de A; pruebe que la relación ¹ ∩(B × B) es un orden de B. Se llama
el orden inducido por ¹ en B.
Si consideramos al conjunto B = N − {0, 1} con el orden inducido por
“es un divisor de” dado en A = N − {0}, ¿posee elementos minimales?
¿ Cuáles? ¿Es B reticulado?

13. Sea A = {1, 2, 3, 4, 5, 6, 7, 8} ordenado según el diagrama adjunto

1 ..................................... .........
.......
............. 2
......... .........
.........
......... .................
......... .........
......... .........
. .........

............
.........
......... 3 ............
.........
.......
.......
...... .......
....... .......
....... .......
....... .......
....... .......
. . ...
........ .......
.......
......
4 ..............
........... ................
.
5 ....................
. ... . . ...........
......... ......... ...........
......... ......... ...........
......... ......... ...........
......... ......... ...........
.........
......... . .
.... .......... ....
........
...
6..... 7
.
.........
....
...
...
...
...

8
126 CAPÍTULO 3. FUNCIONES Y RELACIONES

¿Tiene A primer elemento? ¿Tiene útimo elemento? ¿Tiene A elemen-

tos minimales o maximales? ¿Cuáles?

Si B = {4, 5, 6}, halle B∗ , B ∗ y Sup B e Inf B si existen.

14. Dé razones para respaldar la afirmación “El orden de

Q+ = {x ∈ Q | x > 0}

inducido por el orden usual de R no es un buen orden”.

Demuestre que la siguiente relación es un buen orden para Q+ : si

x ∈ Q+ , existen m, n naturales mayores que cero únicos tales que
x= m m
n con n irreductible, es decir con 1 como Max. Com. Div. de m
y n.

Si y = pq está dado en la misma forma, definimos

m p
n ¹ q ↔ (n < q ∨ (n = q ∧ m ≤ p))
donde < y ≤ son las relaciones de orden usuales de N.

¿Podrı́a extenderse la idea anterior para definir una relación que sea
un buen orden de todo Q ?

15. La relación de orden con la cual se hallan ordenadas en un diccio-

nario las palabras de una lengua se llama el orden lexicográfico. Co-
mo las palabras son énuplas ordenadas de letras, podemos copiar en
matemáticas la misma idea para ordenar productos cartesianos fini-
tos de conjuntos ordenados: Si A1 , A2 , A3 son conjunto ordenados
(notamos ≤ al orden de cada uno de ellos), pruebe que la siguiente
relación es de orden en A1 × A2 × A3 : (x1 , x2 , x3 ) ¹ (y1 , y2 , y3 ) si y
sólo si (x1 < y1 )∨(x1 = y1 ∧x2 < y2 )∨(x1 = y1 ∧x2 = y2 ∧x3 ≤ y3 ), o
sea: de dos “palabras” de tres letras, está antes la que tenga menor la
primera letra y si las primeras letras son iguales, está antes la que ten-
ga menor la segunda, y si las dos primeras letras son iguales, usamos
la tercera para decidir. El proceso se puede repetir finitas veces para
ordenar el producto cartesiano de una colección finita de conjuntos
ordenados.

Pruebe que si A1 , A2 , A3 , ..., An son totalmente ordenados, también

lo es A1 × A2 × A3 × ... × An con el orden lexicográfico. Demuestre
que si A1 , A2 , A3 , ..., An son conjuntos bien ordenados, también lo es
A1 × A2 × A3 × ... × An con el orden lexicográfico.
 3.7. RELACIONES DE ORDEN 127

16. Halle tres relaciones de orden total para el conjunto C de los comple-
jos.

17. Decimos que una relación R es de orden (a secas) si R es un relación

de orden en el campo de la relación

τ (R) = D(R) ∪ R(R).

(a) Pruebe que si O es una colección de relaciones de orden

S tales
que (∀R ∈ O)(∀S ∈ O)(R ⊆ S ∨ S ⊆ R), entonces R∈O R es
también una relación de orden.
(b) Si toda relación
S R de O ordena totalmente a su campo τ (R),
entonces R∈O R ordena totalmente a su campo
[ [
τ( R) = τ (R).
R∈O R∈O

∗18. Sea F un conjunto de funciones ordenado por inclusión; pruebe que

si C es una ⊆-cadena en F, entonces ∪C también es una función; si
todas las funciones de C son inyectivas, demuestre que ∪C también lo
es.

19. A un conjunto ordenado (A, ¹) se le llama denso para el orden dado

(u orden denso, o que ¹ es un orden denso para A), si entre todo
par de elementos distintos de A siempre existe otro elemento de A, es
decir si
(∀x)(∀y)(x ≺ y −→ (∃z)(x ≺ z ∧ z ≺ y)

(a) Pruebe que Q con el orden usual es denso.

(b) Demuestre que R con el orden usual es denso.
(c) ¿Podrá ser denso un conjunto ordenado finito?
(d) ¿Podrá ser denso un conjunto bien ordenado? ¿Y uno parcial-
mente ordenado?
Dé las razones de sus respuestas.

∗∗