Aplicando el Axioma del Supremo

Manuel Ibarra Contreras, Armando Martnez Garca

Benemerita Universidad Aut
onoma de Puebla
Puebla , Mexico

El objetivo de este artculo es aplicar el Axioma del Supremo para demostrar los siguientes resultados
Para todo x R existe a Z tal que x [a, a + 1).

(1)

Para cada 0 existe x0 R tal que x20 = .

(2)

La intencion de esta presentaci

on es que sirva de apoyo a los estudiantes
de primer ingreso de una Facultad de Ciencias y que se inician en el estudio
axiomatico de los n
umeros reales. Tambien es importante destacar que el
primer resultado se puede obtener usando solamente la Propiedad Arquimediana de los n
umeros reales sin usar el axioma del supremo, no obstante
aqu quisimos verlo como una aplicacion de este u
ltimo.
Para probar el segundo resultado, s necesitamos de la completez de los
n
umeros reales, es decir, el axioma del supremo es necesario para probar su
validez y para ello basta se
nalar que sin este axioma es imposible probar (2)
para = 2.
Comenzaremos dando las definiciones y resultados que usaremos para
obtener (1).
Denotaremos con R, Z y N a los conjuntos de n
umeros reales, enteros y
naturales, respectivamente.
Es conocido (ver Teorema 6.1 de [2005]) que si a Z entonces
(a, a + 1) Z = .

(3)

Ahora, si a, b Z con a < b son tales que (a, b) Z = entonces

b = a + 1.

(4)

En efecto. Si b < a + 1, como a < b entonces b (a, a + 1), de donde

(a, a + 1) Z 6= lo cual contradice (3).
Si a+1 < b, como a < a+1 entonces a+1 (a, b), de donde (a, b)Z 6=
lo cual contradice nuestra suposicion.
Como consecuencia, por tricotoma se tiene que b = a + 1.
Con lo anterior tenemos demostrado el siguiente resultado.
1

Teorema 1. Sean a, b Z con a < b. Entonces

(a, b) Z = si y s
olo si b = a + 1.
Enunciemos ahora el Axioma del Supremo y algunos resultados obtenidos
a partir de el.
Recordemos antes la siguiente definicion.
Definici
on 2. Sean A R y a0 R.
i) a0 es cota superior de A si para todo a A, a a0 .est
a
ii) a0 es cota inferior de A si para todo a A, a0 a.
En caso de que se de el inciso (i), diremos que A est
a acotado superiormente y si esto no se satisface diremos que A no esta acotado superiormente.
En forma analoga, en caso de que se de el inciso (ii), diremos que A est
a
acotado inferiormente y si esto no se satisface diremos que A no esta acotado
inferiormente.
Definici
on 3. Sean A R y a0 R. a0 es el supremo de A si:
i) Para todo a A, a a0 y
ii) Si para todo a A, a c, entonces a0 c.

Axioma del Supremo. Si A R con A 6= y A esta acotado

superiormente entonces A tiene supremo, es decir, existe a0 R tal que a0
es el supremo de A.
Los siguientes resultados se siguen del Axioma del Supremo.
Teorema 4. N no est
a acotado superiormente.
n. Supongamos que N est
Demostracio
a acotado superiormente. Como
N 6= , aplicando el Axioma del Supremo existe R tal que
= sup N.
Como 1 < existe n0 N tal que 1 < n0 de donde < n0 + 1 lo
cual contradice la definicion de .
Corolario 5. Z no est
a acotado superiormente.
n. Para esto es suficiente observar que N Z.
Demostracio
Corolario 6. Z no est
a acotado inferiormente.
n. Es suficiente observar que N = {n : n N} Z y N
Demostracio
no esta acotado inferiormente, lo cual se sigue del Corolario 5.
Definamos ahora el maximo y mnimo de un conjunto.
Definici
on 7. Sean A R y a0 A.
i) a0 es el m
aximo de A si para todo a A, a a0
ii) a0 es el mnimo de A si para todo a A, a0 a.
2

Notemos que si A R tiene maximo, digamos a0 , entonces A tiene

supremo, a saber, a0 = sup A; pero si A tiene supremo, no necesariamente
tiene maximo, por ejemplo, A = (0, 1) tiene al 1 como supremo pero no tiene
maximo.
Teorema 8. Sean A Z con A 6= y A acotado superiormente. Entonces
A tiene m
aximo.
n. Como A Z, entonces A R y, dado que A 6= y A
Demostracio
esta acotado superiormente, existe R tal que = sup A. As, 1 no
es cota superior de A, es decir, existe n0 A tal que 1 < n0 .
Si n0 < , existe m A tal que n0 < m. Por lo tanto, m n0 > 0 y
m, n0 Z, es decir, m n0 N lo cual implica que existe r N tal que
m n0 = r o, lo que es lo mismo, existe r N tal que m r = n0 . Ahora,
como r N, r 1 y as, r 1, obtenemos que r 1 < m r, es
decir, < m que es una contradicci
on. Por lo tanto, concluimos que n0 =
lo que nos dice que n0 es el maximo de A.

Corolario 9. Sea A Z con A 6= y A acotado inferiormente. Entonces

A tiene mnimo.
Ahora s, podemos dar la demostracion del primer resultado enunciado
al inicio de este escrito.
Teorema 10. Sea x R. Entonces existe a Z tal que
x [a, a + 1).
n. Sea x R. Entonces x Z o x R Z.
Demostracio
Si x Z entonces x [x, x + 1).
Si x R Z, del Corolario 5, se sigue que existe n0 Z tal que x < n0 .
Sea
B = { n Z : x < n}
es claro que n0 B Z y, en consecuencia, B 6= y B es acotado inferiormente. De donde aplicando el Corolario 9, B tiene mnimo. Sea b = min B.
Analogamente, del Corolario 6, se sigue que existe n1 Z tal que n1 < x.
Sea
A = { n Z : n < x}

es claro que n1 A Z, es decir, A 6= y A esta acotado superiormente,

de donde, aplicando el Teorema 8, A tiene maximo. Sea a = max A.
Es claro que x (a, b). Afirmamos que (a, b) Z = .
En efecto, si (a, b) Z 6= podemos considerar r (a, b) Z de donde
obtenemos que r (a, b) y r Z lo cual implica que a < r < x o x < r < b.
Si a < r < x entonces r A lo cual contradice la definicion de a.
Si x < r < b entonces r B lo cual contradice la definicion de b.
Por lo tanto (a, b) Z = de donde, aplicando el Teorema 1, tenemos
el resultado deseado.
El siguiente teorema nos permitira obtener el segundo resultado enunciado al inicio de esta exposicion. Este es equivalente a uno de los resultados
fundamentales del Calculo, el Teorema del valor intermedio, el cual no se
puede probar sin el axioma del supremo.
Teorema 11. (Ver teorema II.7 de [2005]) Sea f : [a, b] R continua en
[a, b], con f (a) < 0 < f (b)
o f (b) < 0 < f (a). Entonces
existe x0 (a, b) tal que f (x0 ) = 0.
Corolario 12. Sea 0. Entonces
existe x0 R tal que = x20 .
n. Observemos que = x20 si y solo si x20 = 0, por lo
Demostracio
tanto, si definimos la funcion
f (x) = x2
tenemos que la existencia de x0 se convierte en el problema de encontrar
una raz para f .
Es claro que f es una funcion continua en R y que f (0) 0. Si f (0) = 0
ya terminamos y si > 0, del Teorema 4, se sigue que existe n0 N tal que
n0 > . Sin perdida de generalidad podemos suponer que n0 > 1, de donde
se sigue que n20 > n0 > . Ahora, n20 > si y solo si n20 > 0, as que
f (n0 ) > 0.
Por lo tanto, si consideramos la funcion
f : [0, n0 ] R
dada por f (x) = x2 , esta satisface las hipotesis del Teorema 11.
Entonces existe x0 (0, n0 ) tal que f (x0 ) = 0, es decir, existe x0 R
tal que = x20 .
Notemos que el Corolario 12 enuncia la existencia de las races cuadradas
de n
umeros reales no negativos. Con un argumento similar, cambiando las
potencias al cuadrado por potencias n-esimas en la demostracion anterior,
se obtiene la existencia de races n-esimas de n
umeros reales no negativos.
4

Agradecimientos
Agradecemos la cuidadosa revision de los arbitros anonimos. Sus comentarios y sugerencias permitieron mejorar la presentaci
on final de este
trabajo. Por supuesto, reclamamos como nuestra, la responsabilidad de los
errores u omisiones que, de manera involuntaria, a
un permanecen en el.

Referencias
[2004] J. Juan Angoa Amador, Agustn Contreras Carreto, Manuel Ibarra
Contreras, Ra
ul Linares Gracia, Armando Martnez Garca. Matem
aticas
Elementales. Textos Cientficos, Benemerita Universidad Autonoma de
Puebla, 2004.
[2005] J. Juan Angoa Amador, Jaime Arroyo Garca, Agustn Contreras
Carreto, David Herrera Carrasco, Manuel Ibarra Contreras, Ra
ul Linares
Gracia, Fernando Macas Romero, Armando Martnez Garca, Celestino
Soriano Soriano, Fernando Velasquez Castillo. C
alculo diferencial en
una variable. Textos Cientficos, Benemerita Universidad Autonoma de
Puebla, 2005.