Acotacion no implica convergencia

Juan Carlos Trujillo

juancarlos.trujillo@epn.edu.ec
11 de abril del 2008

Resumen
Si una sucesi
on es convergente, entonces es acotada. Sin embargo, el recproco no es
verdadero. En este artculo, se exhibe una sucesion acotada que no es convergente.

Introducci
on

El teorema 3 del captulo 3 de [AR-ELL 1997] establece que toda sucesion convergente esta acotada. El ejemplo 3, presentado a continuacion del teorema citado, exhibe una sucesion acotada
que no es convergente.
En el texto, no se dan los detalles de por que la sucesion es acotada, algo que haremos en
este artculo. Con respecto a la demostracion de que la sucesion exhibida no es convergente,
utiliza el teorema 2 del mismo captulo. Los detalles de esta demostracion tambien son parte del
presente artculo.
En la siguiente secci
on, se mostrara que la sucesion es acotada. En la tercera seccion, se
muestra que la sucesi
on no es convergente utilizando el metodo de reduccion al absurdo. En
la cuarta secci
on, se presentan algunas reflexiones sobre el trabajo que hay que realizar para
aprender a leer y a realizar demostraciones. Finalmente, la u
ltima seccion trata sobre un tema
A
fuera de las matem
aticas: la correcta utilizacion de L TEX para la produccion de textos.
La sucesi
on exhibida en el libro es la siguiente:


x = 1 + (1)n+1 .

La sucesi
on es acotada

Para demostrar que la sucesi

on (xn ) es acotada, debemos probar1 que existe un n
umero real
M > 0 tal que:
|xn | M
para todo n N.
Para encontrar M , analicemos el valor absoluto de xn . Por la desigualdad triangular (propiedad del valor absoluto), tenemos que:
|xn | = |1 + (1)n+1 |
|1| + |(1)n+1 |
para todo n N. Pero
|1| = 1

y |(1)n+1 | = 1

Departamento de Matem
aticas de la EPN
Una alternativa para probar que una sucesi
on est
a acotada es probando que est
a acotada superiormente e
inferiormente.
1

para todo n. Por lo tanto,

|xn | 1 + 1 = 2.
Es decir, si M = 2, entonces M > 0 y
|xn | M
para todo n N.
Tal vez quede la duda de por que |(1)n+1 | = 1. La razon de la verdad de esta igualdad
esta en que:
(
1
si n es impar,
(1)n+1 =
1 si n es par.
En resumen, hemos demostrado que la sucesion (xn ) esta acotada.

La sucesi
on no es convergente

Para la demostraci
on de que la sucesi
on (xn ) no es convergente, vamos a utilizar el teorema 2 del
libro [AR-ELL 1997, p.26]. El teorema afirma que toda subsucesion de una sucesion convergente
tambien es convergente y converge al mismo lmite que la sucesion.
Vamos a utilizar el metodo de reduccion al absurdo2 para probar que la sucesion (xn ) no es
convergente.
Suponemos, entonces, lo contrario de lo que queremos demostrar. Es decir, suponemos que
la sucesion (xn ) s es convergente. Por lo tanto, que nos permite afirmar el teorema 2? Que
todas las subsucesiones de (xn ) son convergentes y deben converger al mismo lmite.
Sin embargo, vamos a exhibir, inmediatamente, dos subsucesiones de (xn ), ambas convergentes, pero a lmites diferentes. Esta u
ltima afirmacion contradice la conclusion obtenida mediante
la aplicacion del teorema 2. Veamos los detalles.

3.1

Dos subsucesiones de (xn )

Puesto que
1 + (1)n+1

(
1+1=2
si n es impar,
=
1 + (1) = 0 si n es par,

entonces podemos escribir lo siguiente:

(xn ) = (2, 0, 2, 0, . . .).
Esta forma de expresar la sucesi
on nos permite ver que posee al menos dos subsucesiones:
(2, 2, 2, . . .)

(0, 0, 0, . . .).

A continuaci
on vamos a demostrar que estas dos sucesiones son, efectivamente, subsucesiones
de la sucesion (xn ), y que convergen a lmites diferentes.
2

Para demostrar que una proposici

on P es verdadera utilizando el metodo de reducci
on al absurdo, se supone,
provisionalmente, que la proposici
on de P no es verdadera; es decir, por la ley del tercero excluido, se supone que
P es verdadera. Bajo esta suposici
on m
as la ayuda de teoremas previamente demostrados (que no dependan de
la proposici
on P ), se debe llegar a una contradicci
on; es decir, se debe obtener una proposici
on de la forma QQ.
Por el principio de no contradicci
on, esta proposici
on no es verdadera, por lo que se debe rechazar la proposici
on
que la produjo. Cu
al es esta proposici
on? La negaci
on de P , es decir, la proposici
on P . Que significa rechazar
esta proposici
on? Significa que P es verdadera; por lo tanto, su negaci
on tambien es verdadera. Entonces, P
es verdadera, por lo que, por la regla de doble negaci
on, P es verdadera.

3.1.1

La primera subsucesi
on

Debemos encontrar una funci

on : N N estrictamente creciente tal que la composicion de x
con sea igual a al subsucesi
on de termino general 2.
Para encontrar , nos fijamos en las posiciones que ocupan los terminos de la subsucesi
on
(2, 2, 2, . . .) en la sucesi
on (xn ). Vemos que ocupan todas las posiciones impares. Por lo tanto, la
funcion debe ser definida por:
(n) = 2n 1,
pues
(x )(n) = x((n))
= x(2n 1)
= 1 + (1)(2n1)+1
= 1 + (1)2n = 1 + 1 = 2.
Ademas, es estrictamente creciente, pues, si i < j, entonces
(i) = 2i 1
< 2j 1 = (j).
Por lo tanto, x es una subsucesi
on de x y:
x = (2, 2, 2, . . .).
En resumen, la sucesi
on (2, 2, 2, . . .) es una subsucesion de (xn ).
3.1.2

La segunda subsucesi
on

En este caso, la funci

on debe ser definida por:
(n) = 2n.
Con un procedimiento similar al realizado para la primera subsucesion, el lector o la lectora
puede constatar que la sucesi
on (0, 0, 0, . . .) es una subsucesion de (xn ).

3.2

Las subsucesiones convergen a lmites diferentes

Vamos a probar que las dos subsucesiones convergen a lmites diferentes. Para ello, debemos
encontrar los lmites de cada subsucesi
on.
Como puede verse, ambas son funciones constantes. Vamos a probar, a continuacion, que
una sucesion constante converge a esa constante. De manera mas precisa, probemos el siguiente
teorema:
Teorema 1 (Convergencia de una sucesion constante). Sea a R. Entonces:
lm a = a.
Demostraci
on. Sea  > 0. Debemos encontrar n0 N tal que
|a a| < 
para todo n n0 .
Ahora bien, como
|a a| = 0,
3

entonces, si n 1, entonces, si definimos n0 = 1, tenemos que

|a a| < 
para todo n n0 .
Esto prueba, entonces, que la sucesion constante (a) converge al n
umero a.
Aplicando este teorema a las dos subsucesiones de (xn ) determinadas anteriormente, tenemos
que:
lm 2 = 2 y lm 0 = 0.

3.3

La sucesi
on (xn ) no converge

Acabamos de probar que la sucesi

on (xn ) posee las subsucesiones (2, 2, 2, . . .) y (0, 0, 0, . . .) que
convergen a lmites diferentes. Sin embargo, el teorema 2 del libro [AR-ELL 1997] nos garantiza,
bajo el supuesto de que la sucesi
on (xn ) converge, que los lmites de estas dos subsucesiones
deberan ser iguales.
Entonces, cu
al es la contradicci
on? Que, por un lado se afirma que las subsucesiones tiene
lmites diferentes y por otro, que tienen el mismo lmite. Esta contradiccion nos indica que el
supuesto que caus
o esta contradicci
on es falso. Cual es este supuesto? Que la sucesion (xn ) es
convergente. Que debemos, entonces, concluir? Que la sucesion (xn ) no es convergente.
Con esto terminamos lo ofrecido: exhibir una sucesion acotada que no es convergente.

Las demostraciones

El trabajo realizado en este artculo es una ampliacion de las tres lneas que constituyen el
ejemplo 3 del captulo 3 del libro [AR-ELL 1997]. Deberamos escribir los libros as? De ninguna
manera, y por dos razones.
La primera, sobre-poblaramos el planeta de papel o de archivos digitales con tantas demostraciones detalladas que, en realidad, no son necesarias. La segunda razon, las personas no
aprenderan la matem
atica porque no tendran la necesidad de entender nada por s mismas,
porque todo lo tendran ya explicado. Y esta es la razon de por que no es necesario presentar en
los textos muchos de los detalles de las demostraciones.
Mas a
un, si quisieramos escribir tanto detalle, nos faltara tiempo en la vida para decir las
cosas.
Entonces, cu
al es el objetivo de este artculo? Si bien, no es tarea de los libros, ni de una
gran parte de las clases explicitar este nivel de detalle, si es tarea necesaria, fundamental e
indispensable del aprendiz, y luego del matematico profesional, porque es la u
nica manera de
saber que una demostraci
on es correcta y, por lo tanto, que el teorema (o la afirmacion) que se
demuestra es, en realidad, verdadero (verdadera).
Como resultado y evaluaci
on del aprendizaje de las matematicas, el nivel de detalle mostrado
en este artculo debe llegar a producirse en pocos minutos. Para lograr esto, desde el inicio, el
aprendiz debe preguntarse de manera permanente el por que de cada afirmacion. Esta debe ser la
caracterstica de la lectura y, aunque no redacte con el nivel de detalle mostrado en este artculo,
debe llegar a o bien a responder todas las preguntas, aunque no formuladas, pero presentes en
teoremas, ejemplos, ejercicios, o bien debe saber cuales no puede responder y donde buscar las
respuestas a las mismas. En otras palabras, debe saber lo que sabe y debe saber lo que no sabe.
Al aprendiz, este nivel de detalle le puede parecer abrumador, y le puede causar una sensacion de ahogo por lo mucho que le parece que no conoce. Que esto no le asuste, porque estos
sentimientos desaparecer
an a medida que vaya escarbando en cada lectura de un teorema, de un
ejercicio, etcetera.

Fuera de programa: el LATEX en este artculo

En la seccion anterior, expuse el primer objetivo de este artculo. En esta seccion, voy a exponer
el segundo objetivo. Y, digo fuera de programa, porque no es sobre la matematica ni su
aprendizaje, sino sobre c
omo utilizar adecuadamente LATEX para producir textos de calidad, no
solo en lo visual, sino tambien en sus estructuras.
Ning
un sistema sustituye el conocimiento que un escritor debe tener para organizar lo que
quiere escribir. Por ello, antes de sentarse a escribir, hay que saber sobre lo que se quiere decir
aunque a
un no se sepa exactamente como decirlo. Esto implica concebir una primera versi
on
de la estructura del texto que, a medida que se produzca el escrito, puede ir variando. Pero,
sin esa estructura inicial, no es posible producir un texto que valga la pena o, le tomara mucho
tiempo y esfuerzo a su autor obtener el producto deseado.
La estructura de este documento es la de un artculo cientfico com
un en matematicas, fsica,
qumica y otras ciencias, tanto experimentales como sociales. Los componentes basicos de esta
estructura son:
1. El ttulo que incluye autor, fecha y datos adicionales sobre el autor.
2. El resumen del trabajo.
3. Opcionalmente, un ndice.
4. El cuerpo del artculo organizado en secciones las que pueden contener subsecciones que,
a su vez, pueden contener subsubsecciones.
5. Opcionalmente, apendices breves en forma de secciones adicionales antes de las referencias
bibliogr
aficas.
6. Referencias bibliogr
aficas.
El LATEX ofrece esta estructura a traves de su clase estandar article. Esto significa que el
escritor no debe preocuparse del tama
no de la fuente de los encabezados de las secciones y de las
subsecciones; ni de la numeraci
on de estos encabezados, ni de la posicion del ttulo, el tama
no
de la fuente, etcetera. La clase article nos provee de comandos y ambientes que hacen todo esto
por el escritor quien, debe ocuparse de pensar sobre lo que quiere escribir y luego escribir (una
y otra vez hasta que quede satisfecho, o hasta que deba entregar el trabajo).
Una vez que se haya obtenido un texto satisfactorio en terminos de contenidos, el escritor
puede pasar a una etapa adicional de dise
no de la presentacion. Por ejemplo, si quiere a
nadir
color a partes del texto3 , cambiar el espacio entre lneas, cambiar el espacio entre parrafos, elegir
fuentes diferentes para partes diferentes del texto4 , etcetera.
La clase est
andar article es una herramienta que sin necesidad de modificaciones nos permite
producir un documento de gran calidad visual. Por ello, el escritor debe evitar introducir inesperadamente saltos de lnea, espacios en blanco horizontales, etcetera, siempre y cuando estos
cambios no tienen un fin dentro del contenido.
Como un ejemplo de un texto con pocas modificaciones, se tiene este, el que el lector o la
lectora tiene frente a s este momento. Hay bastante documentacion en el mundo de LATEX que
ayuda a aprender a utilizar este sistema correctamente para producir archivos faciles de leer y
corregir.
Uno de esos libros es [lshort 2008]. La lectura de los dos primeros captulos ayuda a tener
una vision general y breve para empezar a escribir documentos con LATEX evitando caer en los
3

Esto en el caso de que el color sea solo un accesorio. Si no es as, es decir, si el color es parte fundamental
de lo que quiere decirse, se lo debe incluir en el dise
no de la estructura. En todo caso, el paquete xcolor ofrece
herramientas para dotar al texto de cualquier elemento de color que se requiera.
4
Lo dicho sobre el color se aplica tambien a la fuentes diferentes del texto.

errores tpicos de los usuarios de sistemas WYSIWYG como Word o Scientific Work Place. El
captulo 3 es una introducci
on a la escritura de las matematicas que puede ser complementada
con el captulo 8 (Higher Mathematics) del [LC2] o con [MMIL 2007], un libro mas profundo
sobre el tema de la matem
atica con LATEX.
Lo que debe quedar claro es que el aprendizaje de cualquier tema requiere de una decisi
on
consciente de querer aprender del aprendiz. Eso ya le llevara a encontrar modos de poder hacerlo
mejor, aunque al inicio eso le tome m
as tiempo que, como vera, despues se recompensara con
creces. Ser pr
actico no significa aprender de la prueba y el error, sino aprovechar lo que otros
ya han caminado para dar pasos adelante lo que no quita que, en ocasiones, deberemos tambien
probar y errar para aprender.
Por lo dicho, esta secci
on final esta cerca de lo que queremos hacer en matematicas. Lo
aplicado all cabe en el aprendizaje de LATEX y, recprocamente, lo aplicado a este u
ltimo cabe
al aprendizaje de la matem
atica. Y, como se puede colegir de lo dicho, la lectura y la escritura
son dos herramientas sin las cuales ni matematicas ni LATEX se podran aprender.

Referencias
[AR-ELL 1997] Lima, Elon Lages, An
alisis Real, Volumen 1, Instituto de Matematicas y Ciencias Afines, Per
u, 1997.
[lshort 2008] Oetiker, T. y otros, The Not So Short Introduction to LATEX 2 , documentacion de
MiKTeX 2.7, 2008.
[LC2] Mittelbach, F., Goossens, M., The LATEXCompanion, Second Edition, AddisonWesley,
USA, 2004.
[MMIL 2007] Gr
atzer, G., More Math Into LATEX, Springer, 2007.