Teorema:

El campo real R es complete

En el texto de principals de analisis matematico hace la demostracion que un cuerpo

ordenado es completo por sucesiones fundamentales, es decir, muestra que toda sucesion
fundamental de elementos de R converge en un element de R.

Empezando con la demostracion:

Sea {𝑥𝑛 } una sucesion de Cauchy de numeros racionales. Para cada entero 𝑛 tomamos un
racional 𝑎𝑛 tal que 𝑥𝑛 < {𝑎𝑛 } < 𝑥𝑛 + 1⁄𝑛.

Para demostrar que la sucesion 𝑎𝑛 ∈ Ω, sea 𝜀 cualquieer numero racional positivo,

entonces se puede encontrar un numero entero positivo 𝑛𝑜 > 3⁄𝜀 , tal que:
𝜀
|𝑥𝑛 − 𝑥𝑚 | < siempre que 𝑚, 𝑛 > 𝑛𝑜 , entonces,
3

|𝑎𝑛 − 𝑎𝑚 | ≤ |𝑎𝑛 − 𝑥𝑛 | + |𝑥𝑛 − 𝑥𝑚 | + |𝑥𝑚 − 𝑎𝑚 | < 𝜀 siempre que 𝑚, 𝑛 ≤ 𝑛𝑜 y por lo

tanto |𝑎𝑛 − 𝑎𝑚 | < 𝜀.

Si se supone que 𝑋 = {𝑥𝑛 }, se puede ver que 𝑙𝑖𝑚{𝑥𝑛 } = 𝑥, como existe una sucesion de
𝛿
numeros racionales {𝑎𝑛 }, tal que lim⁡{𝑎𝑛 } = 𝑥, entonces |𝑎𝑛 − 𝑥| < siempre que
2

𝑛 ≥ 𝑚𝑜 , entonces |𝑥𝑛 − 𝑥| ≤ |𝑥𝑛 − 𝑎𝑛 | + |𝑎𝑛 − 𝑥| < 𝛿, siempre que 𝑛 ≥ 𝑚𝑜 y, por

consiguiente 𝑙𝑖𝑚{𝑥𝑛 } = 𝑥

De igual manera es equivalente, que en el cuerpo R de los nemros reales, todo conjunto
acotado superiormente tiene supremo o minima cota superior nombrada como (𝑠𝑢𝑝) y
que todo conjunto acotado inferiormente tiene infimo o maxima cota superior llamada
(𝑖𝑛𝑓).

Con ello concluimos que el Sistema de numeros reales construidos a partir de sucesiones
de Cauchy de numeros racionales, cumple todas las propiedades que el conjunto delos
numeros reales definidos axiomaticamente.