Fuentes:

1.- Suvorov
2.- Haaser
APLICACIN DEL AXIOMA DEL SUPREMO.
Respecto de los nmeros reales

Teorema. Si a y b son nmeros reales positivos cualesquiera, existe un entero

positivo n tal que b < na. (2,425)
Prueba. Supngase que para todos los enteros positivos n, b na. Sea
S = {na / n, entero positivo cualquiera}
De acuerdo con la anterior hiptesis, S sta superiormente acotada (b es una
cota superior). Luego, por el axioma L, S tiene un supremo, llammosle c. Como
c-a es menor que c, c-a no puede ser una cota superior de S y, por tanto, hay un
elemento de S, llammosle n0a, tal que n0a > c-a. Entonces (n0+1)a > c. Pero
(n0+1)aS. Esto contradice el hecho de que c es el supremo de S. Por tanto, la
hiptesis de que para todo n, b na no se verificar. As pues, existe un n tal que
b < na. Lo que prueba el teorema.

Corolario. Para cualquier > 0, existe un entero positivo n tal que 1/n < (sea
1/n es un infinitsimo). (2,422)
Prueba. Hgase a = y b = 1 en el anterior teorema.

Teorema. Para cualquier numero real b, existe un entero m tal que m-1 b < m.
(2,426)
Prueba. Demostrando, primero, que existen enteros p y q tales que p < b < q. Si
b > 0 entonces, haciendo a = 1 en el teorema anterior, existe un entero positivo q
tal que b < q. Si b 0 haciendo q = 1, se cumple la anterior relaciona a la ultima.
As para cualquier nmero real b, existe un entero positivo q tal que b < q.
Aplicando este resultado al nmero real -b, tenemos que existe un entero
positivo al que llamamos -p tal que -b < -p. Luego existen enteros p y q tales que
p < b < q.
Parecera, pues, que b debe encontrarse entre dos nmeros consecutivos en el
conjunto {p, p+1, ... , p+(q-p)= q}. Para demostrar que ste es el caso se
procede: sea S el conjunto de todos los enteros positivos n tales que p+n > b. S
es un conjunto no nulo de enteros positivos (pues q-p S) y, por tanto, de

acuerdo con el principio de buen orden, S tiene un elemento mnimo, digamos

n0. Haciendo, entonces, m = p+n0, se tiene m-1 b < m. Lo que completa la
prueba.

Teorema. Si a y b son dos nmeros reales cualesquiera tales que a < b, entonces
existe un numero racional r tal que a < r < b. (2,426)
Prueba. Segn el colorario anterior, existe un

entero positivo n tal que

1
b a . Ahora bien, como la distancia entre racionales sucesivos de la forma
n
m
1
es b a , parece lgico que algn nmero racional de esta forma deba
n
n

encontrarse entre a y b. Segn el teorema anterior, sabiendo que existe m tal que
m 1 an m ;

es decir
m 1
m
a
n
n

As pues, a

m
m 1
a,
y, como
n
n n
m
1
a b,
n
n

Por tanto el nmero racional r

m
se encuentra entre a y b.
n

Los nmeros racionales satisfacen todos los axiomas para el sistema de los
nmeros reales, excepto el axioma del supremo, es decir no tiene supremo en el
sistema de los nmeros racionales. (2,427)

Respecto a las Funciones

Teorema. (El Teorema del valor intermedio.) Si f es continua sobre [a, b] y f(a)
< f(b) y si t es un nmero cualquiera tal que f(a) < t < f(b), entonces existe un
punto c<a,b> tal que f(c) = t. (2,430)
Prueba. Esto lo podemos observar de la prueba siguiente:
Sea S el conjunto de todos los puntos x<a,b> tales que f(x) < t. Este conjunto
S no es nulo (aS) y esta superiormente acotado (b es una cota superior). De
donde, por el axioma del supremo, S tiene un supremo, llammosle c. Como
aS y b es una cota superior de S, es claro que c[a,b]. Demostremos que f(c) =

t demostrando que la hiptesis f(c) t nos lleva a una contradiccin. Entonces, si

f(c) = t, c no puede ser ni a ni b y, por tanto, c<a,b>.
Caso 1. Si f(c) < t, entonces c[a,b> (por t <f(b)) y, segn el primer teorema de
funciones continuas, existe un > 0 tal que
f(x) < t para todo x <c-,c+> [a,b].
As pues, existe un punto x<c,b] tal que f(x) < t y esto contradice el hecho de
que c = sup S.
Caso 2. Si f(c) > t, entonces c<a,b] (por f(a) < t) y, por el primer teorema de
funciones continuas, existe un > 0 tal que
f(x) > t para todo x<c-,c+> [a,b].
As pues, no hay ningn punto de S a menos de una distancia de c y esto
contradice el hecho de que c = sup S sea un punto de acumulacin de S, es decir
que contradice el segundo teorema del capitulo de Axioma del Supremo.
As pues, el supuesto de que f(c) t conduce a una contradiccin y se concluye
que f(c) = t y c<a,b>. Esto completa la prueba. En este teorema supusimos que
f(a) < f(b). Un resultado anlogo se verifica, desde luego, si f(a) > f(b).
Respecto a los Intervalos

Teorema. Un conjunto S de nmeros reales es un intervalo si y solo si tiene la

propiedad de que para cualesquiera dos puntos x 1 y x2 en S, con x1 < x2, <x1,x2>
esta incluido en S. (2,434)
Prueba. Es fcil verificar que cada uno de los varios tipos de intervalos tiene
esta propiedad. Supngase que el conjunto S tiene esta propiedad. Si S es nulo o
consiste en un solo punto, es un intervalo. Supngase pues que S consiste de al
menos dos puntos.
Si S es acotado, sean a = nf S y b = sup S. Se demostrara que S es uno de los
intervalos <a,b>, [a,b>, <a,b], o [a,b]. Tmese x tal que a < x < b. Como a = nf
S y b = sup S, hay puntos x1 y x2 en S tales que:
a < x1 < x < x2 < b.
Por lo tanto xS y
S = <a,b> si a S, b S
S = [a,b> si a S, b S
S = <a,b] si a S, bS

S = [a,b] si a S, bS
Si S no esta acotada, la prueba es anloga. Por ejemplo, supngase que S esta
inferior, pero no superiormente acotada. Sea a = nf S. Se demostrara que S es o
<a,> o [a,>. Tmese x > a. Como a = nf S y S no esta superiormente acotada
hay puntos x1 y x2 en S tales que:
a < x1 < x < x 2
Por tanto, xS y:
S = <a,> si a S
S = [a,> si aS

Teorema. Si es un intervalo y f es una funcin continua sobre , entonces f()=

{f(x)| x } es un intervalo. (2,435)
Prueba. Si f() es el nulo o consta de un solo punto, entonces es un intervalo.
Supngase que f() consta de al menos dos puntos. Tmese f(x 1) y f(x2) en f()
con f(x1) < f(x2). Si t <f(x1),f(x2)>, por el teorema del valor intermedio existe
un punto c<x1,x2> (o <x2,x1>) tal que f(c)= t .Por tanto, t f(). Segn el
teorema anterior, dice que f() es un intervalo.

Teorema de Heine- Borel

Definicin. Una coleccin de intervalos abiertos se dice que cubre un conjunto S

si cada punto de S pertenece al menos a uno de los intervalos abiertos. (2,436)

Teorema. (Teorema de Heine-Borel) Si el intervalo cerrado [a,b] est cubierto

por una coleccin de intervalos abiertos { }, entonces puede escogerse un
numero finito de intervalos abiertos de la coleccin { } de tal forma que [a,b]
quede cubierto por la nueva coleccin finita. (2,437)
Prueba. Sea el conjunto de todos los puntos x[a,b] tales que un nmero
finito de intervalos en {} cubra a [a,x]. Como a est en algn intervalo de { },
[a,a] est cubierto por un nmero finito de intervalos (en realidad, por un
intervalo) de {}. As pues a e es, por tanto, no nulo. Adems, est
superiormente acotado (b es una cota superior de ).
Luego, por el axioma del supremo, tiene un supremo, llmese c. El punto
c[a,b] y, por tanto, pertenece a algn intervalo c de {}. Segn el segundo
teorema del capitulo de Axioma del Supremo, existe un punto x0 tal que

xoc. Como x0, una coleccin finita de intervalos de {} cubre [a, x0]. Si se
aade c a esta coleccin finita, entonces se tiene una coleccin finita de
intervalos abiertos de {} que cubre a [a,x1] donde x1c y x1 > c. Como c = sup
, x1 no puede estar en , luego no puede estar en [a,b]. Por tanto x 1 > b. As
pues, tenemos [a,b] [a,x1] y [a,x1] est cubierto por una coleccin finita de
intervalos de{}. Esto demuestra que [a,b] esta cubierto por una coleccin finita
de intervalos de {}.