Nmeros Reales

Alejandra Beatriz Canto Maza

Anlisis Matemtico
Maestra en Ciencias Matemticas
Facultad de Matemticas, Universidad Autnoma de Yucatn

16 de enero de 2017

Problema 1 Todo conjunto no vaco de nmeros reales acotado por arriba tiene
una mnima cota superior.
Referencia bibliogrfica: [1], Teorema 3.15

Solucion:
Sea A un conjunto no vaco que es acotado por arriba.
Para probar que tiene una mnima cota superior primero vamos a construir de
forma inductiva una sucesin de intervalos cerrados aninados con un punto en
comn. Posteriormente probaremos que dicho punto en comn es nico, es cota
superior y ms an es la mnima cota superior de A.

Sea v1 una cota superior de A, existe por que A es acotado por arriba.
Sea a0 un elemento arbitrario de A, existe por que A 6= .
A continuacin elijamos un nmero arbitrario u1 < a0 , entonces u1 no es una
cota superior de A y u1 < v1 por transitividad, es decir se cumple u1 < a0 < v1
por ser v1 cota superior de A.

Sea n 1, entero. Vamos a construir de forma inductiva una sucesin de

intervalos que cumplan que un < vn donde un no es una cota superior mientras
vn es cota superior de A.

Nuestro caso base es el caso ya expuesto con u1 < v1 donde u1 no es cota

superior y v1 es cota superior.

Supongamos que se cumple que un < vn para toda n 1 hasta cierta n

donde un no es una cota superior mientras vn es cota superior de A.

Probemos que se cumple para n + 1. Distingamos ahora dos casos:

1
 un + vn un + vn
1. Si no es cota superior de A entonces un+1 = y vn+1 = vn .
2 2
u n + vn u n + vn
2. Si es cota superior de A entonces un+1 = un y vn+1 = .
2 2
En ambos casos un+1 < vn+1 y un+1 no es cota superior de A mientras vn+1
si lo es. Notemos adems que, por la forma de la construccin, [un+1 , vn+1 ]
[un , vn ] ya que un+1 un y vn+1 vn .

De esta forma hemos definido un y vn para toda n. De aqu se sigue que la

sucesin de intervalos [un , vn ] forman una sucesin de intervalos cerrados anida-
dos y por el axioma de Cantor tiene un punto en comn.

Probemos ahora que este punto en comn es nico. Recordemos el Teorema

3.5 que nos dice: La sucesin de intervalos cerrados aninados I1 , 12 , ... tiene
exactamente un punto en comn si y solo si existe un nmero no positivo que
es ms pequeo que cada bn an , es decir, si para toda > 0 existe una n para
la cual bn an < .
Entonces en nuestro caso basta probar que para toda > 0 existe una n para
la cual vn un < .

Notemos que, por la forma como construimos los intervalos cada intervalo
nuevo es la mitad del intervalo anterior:
vn1 un1 vn2 un2 (v1 u1 )
vn un = = = ... =
2 22 2n1
(v1 u1 )
vn un = para toda n.
2n1
(v1 u1 )
Entonces para una n lo suficientemente grande: < (esta n existe
2n1
por el axioma de Arqumides). Entonces vn un < .

Por lo tanto esta sucesin de intervalos tiene exactamente un punto en co-

mn. Denotemos este punto por b.
Veremos a continuacin que b es una cota superior de A.

Sea a A un elemento arbitrario, supongamos que b < a, entonces un

b < a vn para cada n, por que vn es una cota superior, esto querra decir que
a es un segundo punto en comn de la sucesin [un , vn ], lo cual contradice el
Teorema 3.5. Por lo tanto, a b para toda a A, y esto es la definicin de cota
superior.

Finalmente probemos que b es la mnima cota superior. Sea c alguna otra

cota superior de A y supongamos que c < b, entonces un < c < b vn para cada
n (por que un no es cota superior, si un > c como c es cota superior un tambin
lo sera) entonces c es un segundo punto en comn en la sucesin [un , vn ], lo
cual nuevamente contradicira el Teorema 3.5, por lo tanto, b c para cualquier
cota superior c, es decir, b es la mnima cota superior de A.

2
Referencias
[1] M. Lackzovich, V. S
os, Real Analysis, Foundations and Functions of One
Variable, Quinta Edicion,