La completitud de los números reales

Intuitivamente, los números reales (positivos) pueden ser definidos como aquellos
números que resultan de las mediciones “exactas”; es decir, de mediciones en las
cuales se subdivide la unidad de medida tantas veces como sea necesario, para
alcanzar la medición exacta de lo que se quiere medir. Observe que, al proceder de
esta forma, se determina una expansión decimal, posiblemente infinita. Por otro
lado, pero siempre intuitivamente, podemos representar cualquier expansión
decimal, finita o infinita, en una recta graduada, determinándose, de esta forma,
un único punto de esta recta el cual representa a esta expansión decimal.

En resumen, disponemos de dos representaciones de los números reales; una de

ellas, es la totalidad de las expansiones decimales, la otra, es la totalidad de los
puntos de la recta graduada. Cada expansión decimal determina un punto en la
recta graduada y a cada punto de esta recta le corresponde una expansión decimal.

Tomando como modelo de los reales a los puntos de la recta graduada, se observa
que el conjunto de axiomas algebraicos y de orden, no son suficientes para probar
propiedades obvias de los reales; por ejemplo, que todo real es alcanzable en un
número finito de pasos (denominada “Propiedad Arquimediana”). Se necesita un
axioma más para poder lograrlo.

Veamos algunas nociones preliminares.

Definiciones

Sea 𝑆 un conjunto no vacío de números reales; es decir, 𝑆 ≠ ∅ ; 𝑆 ⊆ ℝ.

Se dice que 𝑆 es acotado superiormente si:

∃𝑢 ∈ ℝ ∀𝑠 ∈ 𝑆; 𝑠 ≤ 𝑢

El número 𝑢 se denomina cota superior de 𝑆.

Se dice que 𝑆 es acotado inferiormente si:

∃𝑤 ∈ ℝ ∀ 𝑠 ∈ 𝑆; 𝑤 ≤ 𝑠

El número 𝑤 se denomina cota inferior de 𝑆.

La Completitud de los Números Reales. Héctor Hevia (2018)

Se dice que 𝑆 es acotado si 𝑆 es acotado superiormente e inferiormente.

Sea 𝑆 acotado superiormente y sea 𝑢 una cota superior de 𝑆. Se dice que 𝑢 es el

supremo de 𝑆 si para toda cota superior 𝑣 de 𝑆, 𝑢 ≤ 𝑣.

Observe que, por definición, el supremo de un conjunto necesariamente debe ser

una cota superior. También, la unicidad del supremo de un conjunto se concluye
inmediatamente de su definición, ya que si 𝑢 y 𝑢′ son ambos supremo de un
conjunto 𝑆 acotado superiormente, entonces, dado que 𝑢′ es cota superior de 𝑆 y 𝑢
es supremo de 𝑆, se tiene que 𝑢 ≤ 𝑢′ . Cambiando los roles, se obtiene que 𝑢′ ≤ 𝑢.
Por tanto, 𝑢 = 𝑢′ .

De la observación anterior, se concluye que si un conjunto 𝑆 tiene supremo,

entonces, el supremo de 𝑆 es la menor de las cotas superiores.

En forma similar, se define el ínfimo de un conjunto 𝑆 acotado inferiormente y se

concluye que si el ínfimo de 𝑆 existe, entonces, es la mayor de las cotas inferiores.

Sea 𝑆 acotado inferiormente y sea 𝑤 una cota inferior de 𝑆. Se dice que 𝑤 es el

ínfimo de 𝑆 si para toda cota inferior 𝑡 de 𝑆, 𝑡 ≤ 𝑤.

Observe que si un conjunto 𝑆 tiene supremo, entonces, por definición, 𝑆 es acotado

superiormente. Denotamos por sup 𝑆, al supremo de un conjunto 𝑆. Similarmente,
si un conjunto 𝑆 tiene ínfimo, entonces, por definición, 𝑆 es acotado inferiormente.
Denotamos por inf 𝑆, al ínfimo de un conjunto 𝑆.

Ejemplo 1

Sea 𝑆 = {𝑥 ∈ ℝ | 𝑥 < 1}. Entonces, 𝑆 es acotado superiormente y sup 𝑆 = 1.

2
La Completitud de los Números Reales. Héctor Hevia (2018)

Ejemplo 2

El conjunto ℝ+ de los reales positivos no es acotado superiormente.

Supongamos, por el contrario, que ℝ+ está acotado superiormente. Sea 𝑢 una cota
superior de ℝ+ . Entonces, 1 ≤ 𝑢. Por tanto, 𝑢 ∈ ℝ+ . Pero, debido a la clausura de
ℝ+ , se tiene que 𝑢 + 1 ∈ ℝ+ , y en consecuencia, dado que 𝑢 es cota superior de ℝ+ ,
𝑢 + 1 ≤ 𝑢; lo que es una contradicción.

Por lo tanto, ℝ+ no es acotado superiormente y tampoco puede haber supremo

para ℝ+ .

Ejemplo 3

El conjunto ℝ+ es acotado inferiormente. Aún más, inf ℝ+ = 0.

Obviamente 0 es cota inferior, ya que, ℝ+ = {𝑠 ∈ ℝ|0 ≤ 𝑠}.

Sea 𝑤 una cota inferior de ℝ+ . Por demostrar que 𝑤 ≤ 0. Supongamos, por el

𝑤 𝑤
contrario, que 𝑤 > 0. Entonces, 2 > 0, y por tanto, 2 ∈ ℝ+ . Dado que 𝑤 es cota
𝑤
inferior de ℝ+ , se tiene que 𝑤 ≤ 2 ; lo que es una contradicción.

Por tanto, toda cota inferior 𝑤 de ℝ+ es menor o igual que la cota inferior 0; lo que
implica que inf ℝ+ = 0.

La siguiente propiedad es una caracterización del supremo, también del ínfimo, de

gran poder conceptual y de frecuente aplicación.

Propiedad 1

Sea 𝑆 un conjunto no vacío de números reales, acotado superiormente. Sea 𝑢 una

cota superior de 𝑆.

𝑢 es el supremo de 𝑆 sí y solo sí ∀𝜀 > 0 ∃𝑠𝜀 ∈ 𝑆; 𝑢 − 𝜀 < 𝑠𝜀

3
La Completitud de los Números Reales. Héctor Hevia (2018)

Demostración

⟹) Sea 𝑢 = sup 𝑆 y supongamos, por el contrario, que existe un 𝜀 > 0 para el cual,
no existe 𝑠 ∈ 𝑆 tal que 𝑢 − 𝜀 < 𝑠. Entonces,

∀𝑠 ∈ 𝑆, 𝑢 − 𝜀 ≥ 𝑠.

Por tanto, 𝑢 − 𝜀 es cota superior de 𝑆, y dado que 𝑢 es la menor de las cotas

superiores, entonces 𝑢 ≤ 𝑢 − 𝜀; lo que es un contradicción.

⟸) Sea 𝑢 una cota superior de 𝑆 tal que

∀𝜀 > 0 ∃𝑠𝜀 ∈ 𝑆; 𝑢 − 𝜀 < 𝑠𝜀

Probemos, por absurdo, que 𝑢 es la menor de las cotas superiores. Supongamos

que 𝑢 no es la menor de las cotas superiores. Entonces, 𝑢 > sup 𝑆, y por tanto,
𝜀 = 𝑢 − sup 𝑆 > 0. Entonces, existe 𝑠𝜀 ∈ 𝑆 tal que: 𝑢 − 𝜀 < 𝑠𝜀 .

En consecuencia,

𝑢 − (𝑢 − sup 𝑆) < 𝑠𝜀

Lo que implica que sup 𝑆 < 𝑠𝜀 , donde 𝑠𝜀 ∈ 𝑆; lo que es una contradicción.

Una propiedad similar a la anterior se establece para el ínfimo en la siguiente

propiedad.

Propiedad 2

Sea 𝑆 un conjunto no vacío de números reales, acotado inferiormente. Sea 𝑤 una

cota inferior de 𝑆.

𝑤 es el ínfimo de 𝑆 sí y solo sí ∀𝜀 > 0 ∃𝑠𝜀 ∈ 𝑆; 𝑠𝜀 < 𝑤 + 𝜀

La demostración de Propiedad 2 es similar a la demostración de Propiedad 1.

4
La Completitud de los Números Reales. Héctor Hevia (2018)

A continuación, enunciamos el último axioma de caracterización de los números

reales.

Axioma de Completitud (Ax. 14)

Todo subconjunto no vacío de ℝ, acotado superiormente, tiene supremo.

La existencia de ínfimo para conjuntos acotados inferiormente, puede ser

demostrada utilizando el axioma de completitud.

Propiedad 3

Todo subconjunto no vacío de ℝ, acotado inferiormente, tiene ínfimo.

Demostración

Sea 𝑆 un conjunto no vacío de reales, acotado inferiormente. Sea 𝑆̅ ∶= {−𝑠 | 𝑠 𝑒 𝑆}.

Obviamente, 𝑆̅ es no vacío, también. Demostraremos que inf 𝑆 = −sup 𝑆̅
relacionando los roles de las correspondientes cotas en 𝑆 y en 𝑆̅.

5
La Completitud de los Números Reales. Héctor Hevia (2018)

𝑆 𝑆̅
𝑤 cota inferior de 𝑆

∀𝑠 ∈ 𝑆, 𝑤 ≤ 𝑠 ∀𝑠 ∈ 𝑆, − 𝑤 ≥ −𝑠

−𝑤 es cota superior de 𝑆̅

En consecuencia:
𝑆 acotado inferiormente 𝑆̅ acotado superiormente

−sup 𝑆̅ es cota inferior de 𝑆 Existe sup 𝑆̅

Si 𝑤 es una cota inferior de 𝑆 Entonces, −𝑤 es cota superior de 𝑆̅

−sup ̅
𝑆≥𝑤 sup ̅
𝑆 ≤ −𝑤
En consecuencia, −sup ̅
𝑆 es la mayor de las cotas inferiores; es decir:
̅
inf 𝑆 = −sup 𝑆

6
La Completitud de los Números Reales. Héctor Hevia (2018)

Algunas importantes aplicaciones del Axioma del Supremo, se presentan a

continuación.

Propiedad 4 (La propiedad Arquimediana)

Para todo 𝑥 ∈ ℝ, existe 𝑛 ∈ ℕ, tal que 𝑥 ≤ 𝑛.

Demostración
Supongamos, por el contrario, que existe 𝑥 ∈ ℝ, tal que ∀ 𝑛 ∈ ℕ, 𝑥 > 𝑛.
Entonces, ℕ es acotado superiormente. Todavía más, por el axioma del supremo, ℕ
tiene supremo. Sea 𝑢 = sup ℕ y sea 0 < 𝜀 < 1. Entonces, por propiedad anterior,
existe 𝑚 ∈ ℕ tal que,
𝑢−𝜀 < 𝑚

En consecuencia,
𝑢 <𝑚+𝜀 <𝑚+1

Lo que es una contradicción ya que 𝑚 + 1 ∈ ℕ. ∎

𝑚∈ℕ

𝑢−𝜀 𝑢

Una conclusión inmediata es la siguiente.

Corolario 5
Para todo 𝑥 ∈ ℝ, existe 𝑛 ∈ ℕ, tal que 𝑥 < 𝑛.

7
La Completitud de los Números Reales. Héctor Hevia (2018)

Las siguientes dos propiedades pueden ser demostradas utilizando propiedades

de los números naturales; en particular, el denominado “Lema del Buen Orden”.

Propiedad 6

Si 𝑦 > 0 , entonces existe 𝑛 ∈ ℕ tal que 𝑛 − 1 < 𝑦 < 𝑛

Propiedad 7 (Densidad de los racionales)

Si 𝑥, 𝑦 ∈ ℝ , 𝑥 < 𝑦, entonces existe 𝑟 ∈ ℚ tal que 𝑥 < 𝑟 < 𝑦

Propiedad 8 (Densidad de los irracionales)

Si 𝑥, 𝑦 ∈ ℝ , 𝑥 < 𝑦, entonces existe 𝑧 ∈ 𝕀 tal que 𝑥 < 𝑧 < 𝑦

8
La Completitud de los Números Reales. Héctor Hevia (2018)

Existencia de √𝟐

Intuitivamente, √2 se construye trazando la diagonal de un cuadrado de lado 1; la

constatación de este hecho es muy simple. Ver Figura 1b).

a) b)
Figura 1

Alternativamente, podemos proceder a encajonar, entre expansiones decimales

finitas cada vez más próximas, a un número que satisface la condición que elevado
al cuadrado es igual a 2. La expansión decimal de este número puede tener tantas
cifras decimales como se quiera; es decir, el error de aproximación puede ser tan
pequeño como se quiera. Es otra manera intuitiva de reconocer la existencia de √2.

A continuación, demostraremos que los axiomas de los números reales también

permiten probar la existencia de √2.

Sea 𝑆 = {𝑠 ∈ ℝ+ | 𝑠 2 < 2}. El eje de la demostración consiste en probar las

siguientes dos afirmaciones relativas a 𝑆.

A) 𝑆 es no vacío y acotado superiormente; y, por tanto, tiene supremo,

B) sup 𝑆 = √2.

A) Claramente, 𝑆 ≠ ∅; por ejemplo, 1 ∈ 𝑆. Por otro lado,

∀ 𝑠 ∈ 𝑆, 𝑠 2 < 2 < 4;
por tanto,
𝑠 < 2 lo que implica que 𝑆 es acotado superiormente.
Aplicando Axioma de Supremo, se concluye que existe sup 𝑆.

9
La Completitud de los Números Reales. Héctor Hevia (2018)

B) A continuación, probamos por el absurdo, que a) (sup 𝑆)2 no puede ser

menor que 2 y que b) tampoco puede ser mayor 2. Necesariamente,
entonces, se concluye que (sup 𝑆)2 = 2.

a) Supongamos, por el contrario, (sup 𝑆)2 < 2 y, por conveniencia de notación,

sea 𝑥 = sup 𝑆.
Entonces, 𝑥 2 < 2, y por tanto, 0 < 2 − 𝑥 2
A continuación, buscamos un real 𝛿 > 0 tal que (𝑥 + 𝛿)2 < 2. Si tal 𝛿 existe,
entonces (𝑥 + 𝛿) ∈ 𝑆, por tanto, 𝑥 + 𝛿 ≤ 𝑥; obteniéndose, de esta forma,
contradicción.

En consecuencia, la clave es la elección de 𝛿.

Supongamos que
1
𝛿=
𝑛
para algún natural 𝑛 > 1.
Entonces,

1 2 2𝑥 1 2𝑥 + 1
(𝑥 + 𝛿) = (𝑥 + ) = 𝑥 2 +
2
+ 2 < 𝑥2 +
𝑛 𝑛 𝑛 𝑛

Busquemos 𝑛 tal que

2𝑥 + 1
𝑥2 + <2
𝑛

Resolviendo para 𝑛, se tiene que

2𝑥 + 1
𝑛>
2 − 𝑥2

Este 𝑛 existe debido a la propiedad arquimediana de los números reales.

Por tanto, para este 𝑛, se tiene que

1 2
(𝑥 + ) < 2,
𝑛

lo que implica que

1
𝑥+ ∈ 𝑆.
𝑛

10
La Completitud de los Números Reales. Héctor Hevia (2018)

En consecuencia, dado que 𝑥 = sup 𝑆, se tiene que

1
𝑥+ ≤ 𝑥,
𝑛
lo que es una contradicción.

b) En forma similar, se concluye que si (sup 𝑆)2 > 2, entonces, también se

obtiene una contradicción.

Necesariamente, entonces, (sup 𝑆)2 = 2

x = sup S

Nota: El autor desea agradecer a Karina Fernández y Richard Cavieres por el

trabajo de digitación y confección de figuras que realizaron para lograr este
documento.

11