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 éste presenta huecos o lagunas viéndo
a todos sus elementos 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, supondremos 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 vivo de un hueco o laguna en los racionales. En efecto:

Supongamos que existe x ∈ Q tal que x2 = 2. Por los resultados de 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
1
Observemos que al intervalo [0, ] también lo podemos fraccionar en 10 partes iguales
10

USCO 2 Fac. Ciencias Exactas

 Análisis Real

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 a
10 10
la desigualdad k1 ≤ 10f1 < k1 + 1, de donde e2 = k1 es la parte entera de 10f1 . Luego,
k1 f2
10f1 = k1 + f2 , con 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 fraccionar en 10 partes iguales
102
1
como lo hicimos con los intervalos [0, 1] y [0, ]. Razonando de manera análoga obtendrı́amos
10
otro k2 ∈ N tal que

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

notamos de inmediato que se están generando un par de sucesiones

(c0 , c1 , c2 , c3 , · · · , cn , cn+1 , · · · ), (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

USCO 3 Fac. Ciencias Exactas

 Análisis Real

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.

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 las mismas 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. Si x ∈ Q, entonces existen enteros m y n tales que (m, n) = 1 y
m
x = , con n distinto de cero y donde (m, n) = 1 es el máximo común divisor de m y n.
n
m m
Luego, como x2 = 2 y x = , entonces ( )2 = 2, y ası́ m2 = 2n2 . A partir de la relación
n n
anterior se puede demostrar que los enteros m y n son pares, lo que entra en contradicción con
la igualdad (m, n) = 1.

Las siguientes conclusiones del análisis anterior nos motivarán a definir de manera formal
las sucesiones, la convergencia de sucesiones 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 pueden hacer prácticamente indistinguibles. Estas
sucesiones son llamadas de Cauchy, y pueden no ser convergentes en Q.

Definicion 2.1 (Sucesión). Sea S un conjunto no vacı́o. Una sucesión s en S es una función
s : N −→ S. A la imágen del natural n mediante s, la notaremos como s(n) = sn , y cuando
n sea arbitrario, diremos que sn es el término general de la sucesión s. A la sucesión s la
notáremos con el sı́mbolo (sn )n∈N , donde sn es el término general de la sucesión.

Las siguientes son sucesiones de números racionales. Se le da más importancia a éstas

sucesiones porque la gran mayorı́a son las que nos generan los huecos en Q. Esto nos dice de
una manera intuitiva que un cuerpo ordenado se completa agregándole los elementos necesarios
para que toda sucesión de Cauchy definda en el sea convergente. Nuestros primeros√ejemplos
de sucesiones de Cauchy ya los dimos y vimos que éstas nos generaron al irracional 2.

Ejemplo 2.1. La sucesión s : N −→ Q donde su término general es s(n) = 3n . Notemos que

para n ∈ N arbitrariamente grande, los términos de ésta sucesión también se hacen arbitrari-
amente grandes. Aunque no hemos definido con presición la convergencia de sucesiones, de
manera intuitiva sabemos que s : N −→ Q no converge a nada, además de que sus términos
avanzados tienden a alejarsen en vez de acercarsen, osea, no es de Cauchy.

USCO 4 Fac. Ciencias Exactas

 Análisis Real

Ejemplo 2.2. La sucesión (xn )n∈N definida en Q, donde su término general está dado en la
1
forma xn = . Esta sucesión se acerca de manera arbitraria al racional 0 para términos avan-
n
zados. Luego, la misma es un ejemplo de sucesión definida en los racionales convergente en
ese mismo espacio. Además, es una sucesión de Cauchy, pues todos sus términos avanzados se
acercan arbitrariamente a 0, hasta hacersen casi indistinguibles de éste. Lo anterior nos sugiere
que toda sucesión convergente es de Cauchy, hecho que demostraremos más adelante.
Ejemplo 2.3. La sucesión (yn )n∈N definida en los racionales, donde su término general es
1
yn = (1 + )n . El lector puede verfificar que para términos avanzados, la sucesión (yn )n∈N se
n
hace casi indistinguible del irracional e = 2, 71828.... Luego, no converge en los racionales,
pero es de Cauchy. Esta sucesión es otro ejemplo de sucesión que determina con presición un
hueco en Q.
Ejemplo 2.4. La sucesión (ln )n∈N definda en los racionales por recurrencia en la siguiente
1
forma: para n ≥ 2, ln = , y para n = 1, l1 = 1. Esta sucesión es otro ejemplo que
1 + ln−1 √
determina un hueco en los racionales. De hecho, también determina al irracional 2.

Lo que sigue ahora es definir el concepto de lı́mite de una sucesión y definir el concepto
de sucesión de Cauchy, para luego demostrar algunos resultados que serán claves en la con-
strucción del cuerpo ordenado completo de los números reales.

Definicion 2.2 (Convergencia de sucesiones). Sea (xn )n∈N una sucesión definida en el cuerpo
ordenado arquimediano de los números racionales. La sucesión (xn )n∈N converge a l, lo que
notaremos como lim (xn ) = l, cuando para cualquier ε > 0, siempre podemos encontrar un
x→∞
N ∈ N que depende de ε > 0 tal que |xn − l| < ε, siempre que n > N .
Observemos de la definición de limite que los ε > 0 que nos interesan al momento de acotar
al limite l son arbitrariamente pequeños. Para ver esto como más claridad, observemos que
la desigualdad |xn − l| < ε implica que −ε < xn − l < ε, esto por las propiedades del valor
absoluto. Además, de la desigualdad anterior podemos obtener la desigualdad l−ε < xn < l+ε,
que es equivalete a afirmar que xn ∈ (l − ε, l + ε). Luego, lo anteriro nos dice que si ε 0
es arbitrariamente pequeño, entonces el conjunto infito {xn : n > N } está contenido en el
intervalo abierto (l − ε, l + ε), mientras que la intersección de éste intervalo con el conjunto
finito {xn : n ≤ N } es vacı́a. En otras palabras, para un n arbitrariamente grande, los términos
de la sucesión vas a estar a una distancia menor a un ε > 0 arbitrariamente pequeño, tanto
como queramos, lo que nos garantiza que los términos avanzados de la sucesión (xn )n∈N se
hagan practicamentes indistinguibles de su limite l.
Teorema 2.1 (Unicidad del limite). Si la sucesión (xn )n∈N tienen limite l, entonces l es único.
Definicion 2.3 (Sucesión de Cauchy). Sea (xn )n∈N una sucesión definida en el cuerpo ordenado
arquimediano de los números racionales. Se dice que la sucesión (xn )n∈N es de Cauchy, si y
sólo si, para todo ε > 0 podemos encontrar un N ∈ N tal que |xn − ym | < ε, siempre que
n, m > N .
Teorema 2.2. Todas las sucesiones convergentes son de Cauchy.
Definicion 2.4 (Cuerpo ordenado completo). Un cuerpo ordenado se dice que es completo, si
en el toda sucesión de Cauchy es convergente.

USCO 5 Fac. Ciencias Exactas