Análisis Real

LA UNICIDAD DE UN CUERPO ORDENADO COMPLETO

Claudia Lorena Perdomo Pascuas
claupascuas@gmail.com
Universidad Surcolombiana, Colombia.
Gina Paola Chaves Sanchez
gina25451@gmail.com
Universidad Surcolombiana, Colombia.
Daniela Pérez
u20152139770@usco.edu.co
Universidad Surcolombiana, Colombia.

1 Introducción
El objetivo principal de éste artı́culo es demostrar que cualquier cuerpo ordenado completo
es isomorfo al cuerpo ordenado completo de los números reales. El resultado anterior surge
como una necesidad, a groso modo, de establecer la diferencia estructural que existe entre el
cuerpo ordenado arquimediano de los números racionales y el cuerpo ordenado completo de los
números reales. Para lograr lo anterior, podemos trazar la siguiente ruta: para empezar, definire-
mos las relaciones de equivalencia, pues el estudio de éstas nos va a generar un teorema que nos
mostrará un método para encontrar particiones de algún conjunto en subconjuntos disyuntos
dos a dos; éste resultdo es el llamado teorema fundamental de las relaciones de equivalencia
y nos será muy útil porque el isomorfismo que pretendemos construir estará definido sobre un
cuerpo ordenado completo escrito como una partición del subcuerpo de los números racionales.
Esta última relación también se demostrará. Desde luego, mostraremos que ésta partición será
generada por una relación de equivalencia que más adelante definiremos. Analizaremos la es-
tructura algebraica y topológica del cuerpo ordenado arquimediano de los números racionales
para mostrar que éste conjunto, como espacio métrico, no es completo, lo que intuitivamente
significa que presenta huecos viéndolo como puntos de una recta numérica. En otras palabras,
probaremos que entre dos números racionales siempre podremos encontrar números que no son
racionales. Veremos que tales huecos pueden ser generados por sucesiones que convergen a
dichos huecos. Lo curioso de estas convergencias es que pueden ser generadas por sucesiones
definidas
√ sobre el cuerpo ordenado de los números racionales. Mostraremos, por √ ejemplo, que
2 está en la lista de tales huecos. La existencia de este tipo de números como 2, e, π que no
hacen parte de la lista de los números racionales y que son los huecos o vacı́os de lo números
racionales en la recta le permitió al matemático Georg Cantor pensar en llenar esos huecos a
través de sucesiones de Cauchy. Demostraremos que al realizar la acción anterior se obtiene
el cuerpo ordenado completo de los números reales. Luego, la diferencia estructural que ex-
iste entre el cuerpo ordenado de los números racionales y el cuerpo ordenado completo de los

USCO 1 Fac. Ciencias Exactas

 Análisis Real

números reales se puede analizar construyendo ésta última estructura a partir de la primera. La
idea de construir el sistema de los números reales a partir de los números racionales, es la idea
de “completar” el cuerpo ordenado de los números racionales para obtener el cuerpo ordenado
completo de los números reales. Intuitivamente, un cuerpo incompleto se completa adicionando
los elementos necesarios para que toda sucesión de Cauchy pueda converger a un elemento del
cuerpo. Cuando presentemos la construcción de los números reales a partir de sucesiones de
Cauchy, probaremos finalmente que cualquier cuerpo ordenado completo es isomorfo a éste,
en otras palabras, probaremos que cualquier cuerpo ordenado completo tiene una estructura al-
gebraica identica a la del cuerpo ordenado completo de los números reales, lo que implilcará,
salvo isomorfismo, la unicidad de un cuerpo ordenado completo.

2 Motivación
El análisis que realizaremos a continuación constituye un primer argumento de la incompletitud
del conjunto de los números racionales. Mostraremos que el conjunto de los números racionales
presenta huecos o lagunas viéndo a todos los elementos de éste conjunto como puntos de una
recta numérica, en otras palabras, vamos a demostrar que el conjunto de los números racionales
no se puede poner en correspondencia biyectiva con la recta numérica. Para esto, vamos a
suponer que existe un x ∈ Q tal que x2 = 2, para luego mostrar que está rodeado de una
infinidad de números que también son racionales. Luego, veremos que el supuesto x ∈ Q nos
generará una contradicción, de donde concluiremos que éste número no puede ser racional, y
junto al hecho de que está rodeado de una infinidad de números racionales, que es un ejemplo
de vivo de un hueco o laguna en los racionales. En efecto:

Supongamos que existe x ∈ Q tal que x2 = 2. Por los resultados de la teorı́a de números
sabemos que x tiene una única parte entera e tal que e ≤ x < e + 1, de donde se puede obtener
su parte fraccionaria f = x − e, con 0 ≤ f < 1. De la desigualdad 1 < 2 < 4 podemos concluir
la desigualdad 1 < x < 2 = 1 + 1, lo que implica la igualdad e = 1. Luego, x ∈ [1, 2].

Además, es claro que al intervalo [0, 1] lo podemos escribir como la unión

1 1 2 9 10
[0, 1] = [0, ] ∪ [ , ] ∪ · · · ∪ [ , ].
10 10 10 10 10

Como 0 ≤ f < 1, entonces la desigualdad anterior nos garantiza la existencia de un k ∈ N

k k+1
tal que ≤f < , en otras palabras, la existencia de un k ∈ N tal que k ≤ 10f < k + 1.
10 10
Sea e1 la parte entera de 10f . De la última desigualdad obtenida es claro que e1 = k. Luego,
k f1
10f = k + f1 , donde f1 es la parte fraccionaria del entero 10f . Ası́, f = + , y por lo
10 10
k f1 f1 1
tanto x = e + f = 1 + + , con 0 ≤ < . Del análisis que acabamos de hacer
10 10 10 10
k k 1 k+1
se puede ver sin mucha dificultad que 1 + ≤ x < 1+ + = 1+ , esto es,
10 10 10 10
k k+1
x ∈ [1 + , 1 + ].
10 10

USCO 2 Fac. Ciencias Exactas

 Análisis Real
1
Observemos que al intervalo [0, ] también lo podemos fraccionar en 10 partes iguales
10
escribiéndolo como la unión;

1 1 1 2 9 10
[0, ] = [0, ]∪[ , ] ∪ ··· ∪ [ , ]
10 100 100 100 100 100

f1 1
La desigualdad 0 ≤ < nos ı́ndica que debe existir un k1 ∈ N que satisfaga la
10 10
desigualdad k1 ≤ 10f1 < k1 + 1, de donde e2 = k1 es la parte entera de 10f1 . Luego,
k1 f2
10f1 = k1 + f2 , donde f2 es la parte fraccionaria de 10f1 . De está manera, f1 = + , lo
10 10
k f1 k k1 f2 f2 1
que implica que x = 1 + + = 1+ + + , con 0 ≤ 2 < 2 . La igualdad
10 10 10 102 102 10 10
k k1 k k1 + 1
anterior implica la desigualdad 1 + + ≤ x < 1+ + , lo que significa que
10 102 10 102
k k1 k k1 + 1
x ∈ [1 + + 2,1 + + ].
10 10 10 102
1
Observemos que al intervalo [0, ] también lo podemos someter al mismo proceso que
102
1
fue sometido los intervalos [0, 1] y [0, ] y obtendrı́amos otro k2 ∈ N tal que
10

k k1 k2 k k1 k2 + 1
1+ + 2 + 3 ≤x<1+ + 2+ ,
10 10 10 10 10 103

donde k2 ∈ N es la parte entera de 10f2 , f2 la parte fraccionaria de 10f1 y f3 la parte

fraccionaria de 10f2 . Luego, si hacemos las sustituciones;

k k k1 k k1 k2
c0 = 1, c1 = 1 + , c2 = 1 + + 2 , c3 = 1 + + 2+ 3
10 10 10 10 10 10

k+1 k k1 + 1 k k1 k2 + 1
d0 = 2, d1 = 1 + , d2 = 1 + + , d3 = 1 + + + ,
10 10 102 10 102 103

podemos notar que se pueden construir dos sucesiones (c0 , c1 , c2 , c3 , · · · , cn , cn+1 , · · · ) y

(d0 , d1 , d2 , d3 , · · · , dn , dn+1 , · · · ), tales que cn < cn+1 ≤ x < dn+1 < dn , para todo n ∈ N.

Estás dos sucesiones ası́ construı́das junto con la desigualdad anterior nos dicen que cada
vez que n se hace más grande, entonces los valores cn y dn se acercan cada vez más al valor
de x, o en térmnos más formales, que las sucesiones ası́ construı́das convergen al valor de
x cuando n se hace arbitrariamente grande, la primera de forma decreciente y la segunda de
forma creciente.

USCO 3 Fac. Ciencias Exactas

 Análisis Real

Por otro lado, notemos que todos los términos de las sucesiones ası́ construı́das son de
números racionales, lo que nos sugiere que el punto de convergencia de éstas sucesiones está
rodeado de una infinidad de números racionales que se hacen prácticamente indistinguibles.

Como ya lo habı́amos mencionado, la afirmación ”existe x ∈ Q tal que x2 = 2” nos va

a generar una contradicción. En efecto; si x ∈ Q, entonces existen enteros m y n tales que
m
(m, n) = 1 y x = , con n distinto de cero y donde (m, n) = 1 es el máximo común divisor
n
m m
de m y n. Luego, como x2 = 2, y x = , entonces ( )2 = 2, de donde se puede concluir que
n n
m2 = 2n2 . Observemos que la igualdad anterior nos dice que m2 es par, lo que implica que m
es par. Luego existe p en los enteros tal que m = 2p, de donde m2 = 4p2 = 2n2 . Lo anterior
implica que n2 = 2p2 , lo que es equivalente a afirmar que n2 es par, y por lo tanto n también es
par. El hecho de que m y n sean pares es un absurdo, pues se habı́a dicho que (m, n) = 1. Por
lo tanto, no existe ningún x ∈ Q tal que x2 = 2.

Las siguientes conclusiones nos motivarán a definir las sucesiones, la convergencia de suce-
siones y las sucesiones de Cauchy, conceptos que serán importantes en la complención de Q.

(i) Existen números que no son racionales, pero que están rodeados por una infinidad de
números racionales.

(ii) Existen sucesiones en el cuerpo ordenado arquimediano de los números racionales que
no convergen en dicho espacio.

(iii) Se pueden definir sucesiones en el cuerpo ordenado arquimediano de los números

racionales donde sus términos avanzados se hacen prácticamente indistinguibles. Estas suce-
siones son llamadas de Cauchy, y pueden no convergen enQ.

USCO 4 Fac. Ciencias Exactas