Acotaci´on 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 rec´ıproco no es
verdadero. En este art´ıculo, se exhibe una sucesi´on acotada que no es convergente.

1

Introducci´
on

El teorema 3 del cap´ıtulo 3 de [AR-ELL 1997] establece que toda sucesi´on convergente est´a acotada. El ejemplo 3, presentado a continuaci´on del teorema citado, exhibe una sucesi´on acotada
que no es convergente.
En el texto, no se dan los detalles de por qu´e la sucesi´on es acotada, algo que haremos en
este art´ıculo. Con respecto a la demostraci´on de que la sucesi´on exhibida no es convergente,
utiliza el teorema 2 del mismo cap´ıtulo. Los detalles de esta demostraci´on tambi´en son parte del
presente art´ıculo.
En la siguiente secci´
on, se mostrar´a que la sucesi´on es acotada. En la tercera secci´on, se
muestra que la sucesi´
on no es convergente utilizando el m´etodo de reducci´on 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 secci´on trata sobre un tema
A
fuera de las matem´
aticas: la correcta utilizaci´on de L TEX para la producci´on de textos.
La sucesi´
on exhibida en el libro es la siguiente: 

x = 1 + (−1)n+1 .

2

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

1

0.26].). efectivamente. 3 La sucesi´ on no es convergente Para la demostraci´ on de que la sucesi´ on (xn ) no es convergente. Veamos los detalles.para todo n. se debe llegar a una contradicci´ on. = 1 + (−1) = 0 si n es par. su negaci´ on tambi´en es verdadera. 0. ambas convergentes. es decir. entonces podemos escribir lo siguiente: (xn ) = (2. 3. Por lo tanto. . 0. es decir. p. la proposici´ on ¬P . Es decir. A continuaci´ on vamos a demostrar que estas dos sucesiones son. lo contrario de lo que queremos demostrar. Esta u ´ltima afirmaci´on contradice la conclusi´on obtenida mediante la aplicaci´on del teorema 2. . La raz´on de la verdad de esta igualdad est´a en que: ( 1 si n es impar.1 Dos subsucesiones de (xn ) Puesto que 1 + (−1)n+1 ( 1+1=2 si n es impar.). 2 . por la regla de doble negaci´ on. 0.) y (0. 2. es decir. Vamos a utilizar el m´etodo de reducci´on al absurdo2 para probar que la sucesi´on (xn ) no es convergente. 2. si M = 2. . . Es decir. . El teorema afirma que toda subsucesi´on de una sucesi´on convergente tambi´en es convergente y converge al mismo l´ımite que la sucesi´on. provisionalmente. inmediatamente. vamos a exhibir. por lo tanto. . esta proposici´ on no es verdadera. hemos demostrado que la sucesi´on (xn ) est´a acotada. ¿Qu´e significa rechazar esta proposici´ on? Significa que ¬P es verdadera. En resumen. Por lo tanto. suponemos que la sucesi´on (xn ) s´ı es convergente. por la ley del tercero excluido. Sin embargo. Esta forma de expresar la sucesi´ on nos permite “ver” que posee al menos dos subsucesiones: (2. por lo que. subsucesiones de la sucesi´on (xn ). ¿qu´e nos permite afirmar el teorema 2? Que todas las subsucesiones de (xn ) son convergentes y deben converger al mismo l´ımite. . se supone. (−1)n+1 = −1 si n es par. Por el principio de no contradicci´ on. ¬¬P es verdadera. dos subsucesiones de (xn ). entonces M > 0 y |xn | ≤ M para todo n ≤ N. Entonces. 2 Para demostrar que una proposici´ on P es verdadera utilizando el m´etodo de reducci´ on al absurdo. que la proposici´ on de P no es verdadera. P es verdadera. . pero a l´ımites diferentes. Bajo esta suposici´ on m´ as la ayuda de teoremas previamente demostrados (que no dependan de la proposici´ on P ). . vamos a utilizar el teorema 2 del libro [AR-ELL 1997. 2. se debe obtener una proposici´ on de la forma Q∧¬Q. ¿Cu´ al es esta proposici´ on? La negaci´ on de P . Tal vez quede la duda de por qu´e |(−1)n+1 | = 1. por lo que se debe “rechazar” la proposici´ on que la produjo. se supone que ¬P es verdadera. entonces. y que convergen a l´ımites diferentes. Suponemos. |xn | ≤ 1 + 1 = 2.

Ahora bien. 2. 2. . Para encontrar σ. . Sea  > 0. Por lo tanto. Adem´as. 2. . nos fijamos en las posiciones que ocupan los t´erminos de la subsucesi´ on (2.2 La segunda subsucesi´ on En este caso. como |a − a| = 0. 0.) es una subsucesi´on de (xn ). . la funci´on σ debe ser definida por: σ(n) = 2n − 1. ambas son funciones constantes. De manera m´as precisa. 2. . entonces σ(i) = 2i − 1 < 2j − 1 = σ(j). 2. . pues. . que una sucesi´on constante converge a esa constante. σ es estrictamente creciente. 0.) es una subsucesi´on de (xn ). Vamos a probar. si i < j. En resumen.1. 3 . 3.3. pues (x ◦ σ)(n) = x(σ(n)) = x(2n − 1) = 1 + (−1)(2n−1)+1 = 1 + (−1)2n = 1 + 1 = 2.1 La primera subsucesi´ on Debemos encontrar una funci´ on σ : N −→ N estrictamente creciente tal que la composici´on de x con σ sea igual a al subsucesi´ on de t´ermino general 2. a continuaci´on. Demostraci´ on. Para ello. . Vemos que ocupan todas las posiciones impares. 3.) en la sucesi´ on (xn ). Como puede verse. .2 Las subsucesiones convergen a l´ımites diferentes Vamos a probar que las dos subsucesiones convergen a l´ımites diferentes. la sucesi´ on (2. Debemos encontrar n0 ∈ N tal que |a − a| <  para todo n ≥ n0 . probemos el siguiente teorema: Teorema 1 (Convergencia de una sucesi´on constante). Sea a ∈ R. Por lo tanto.1. . debemos encontrar los l´ımites de cada subsucesi´ on.). . Con un procedimiento similar al realizado para la primera subsucesi´on. . 2. la funci´ on σ debe ser definida por: σ(n) = 2n. Entonces: l´ım a = a. x ◦ σ es una subsucesi´ on de x y: x ◦ σ = (2. el lector o la lectora puede constatar que la sucesi´ on (0.

¿cu´ al es la contradicci´ on? Que. porque todo lo tendr´ıan ya explicado. y luego del matem´atico profesional. Para lograr esto. 4 Las demostraciones El trabajo realizado en este art´ıculo es una ampliaci´on de las tres l´ıneas que constituyen el ejemplo 3 del cap´ıtulo 3 del libro [AR-ELL 1997]. tenemos que |a − a| <  para todo n ≥ n0 . el aprendiz debe preguntarse de manera permanente el por qu´e de cada afirmaci´on. bajo el supuesto de que la sucesi´ on (xn ) converge. Aplicando este teorema a las dos subsucesiones de (xn ) determinadas anteriormente. Con esto terminamos lo ofrecido: exhibir una sucesi´on acotada que no es convergente. en realidad. 0. desde el inicio. y le puede causar una sensaci´on de ahogo por lo mucho que le parece que no conoce. verdadero (verdadera). Al aprendiz. . que el teorema (o la afirmaci´on) que se demuestra es. ejercicios. concluir? Que la sucesi´on (xn ) no es convergente.entonces. de un ejercicio. si definimos n0 = 1.3 La sucesi´ on (xn ) no converge Acabamos de probar que la sucesi´ on (xn ) posee las subsucesiones (2. en realidad. o bien debe saber cu´ales no puede responder y d´onde buscar las respuestas a las mismas. no es tarea de los libros. Y esta es la raz´on de por qu´e no es necesario presentar en los textos muchos de los detalles de las demostraciones. 0. que tienen el mismo l´ımite. fundamental e indispensable del aprendiz. por lo tanto. este nivel de detalle le puede parecer abrumador. ni de una gran parte de las clases explicitar este nivel de detalle. si es tarea necesaria. Como resultado y evaluaci´ on del aprendizaje de las matem´aticas. etc´etera. entonces. las personas no aprender´ıan la matem´ atica porque no tendr´ıan la necesidad de entender nada por s´ı mismas. Sin embargo. Entonces. 2. nos faltar´ıa tiempo en la vida para decir las cosas. porque estos sentimientos desaparecer´ an a medida que vaya escarbando en cada lectura de un teorema. . ejemplos. . el teorema 2 del libro [AR-ELL 1997] nos garantiza. si n ≥ 1. que los l´ımites de estas dos subsucesiones deber´ıan ser iguales. si quisi´eramos escribir tanto detalle. ¿Qu´e debemos. . Entonces. por un lado se afirma que las subsucesiones tiene l´ımites diferentes y por otro. entonces. 4 . sobre-poblar´ıamos el planeta de papel o de archivos digitales con tantas demostraciones detalladas que. porque es la u ´nica manera de saber que una demostraci´ on es correcta y. Esta contradicci´on nos indica que el supuesto que caus´ o esta contradicci´ on es falso. Que esto no le asuste. ¿Cu´al es este supuesto? Que la sucesi´on (xn ) es convergente. La segunda raz´on. Esto prueba. . no son necesarias. el nivel de detalle mostrado en este art´ıculo debe llegar a producirse en pocos minutos. 3. . que la sucesi´on constante (a) converge al n´ umero a.) y (0. 2.) que convergen a l´ımites diferentes. ¿Deber´ıamos escribir los libros as´ı? De ninguna manera. En otras palabras. ¿cu´ al es el objetivo de este art´ıculo? Si bien. aunque no redacte con el nivel de detalle mostrado en este art´ıculo. tenemos que: l´ım 2 = 2 y l´ım 0 = 0. entonces. La primera. M´as a´ un. aunque no formuladas. pero presentes en teoremas. debe llegar a o bien a responder todas las preguntas. y por dos razones. debe saber lo que sabe y debe saber lo que no sabe. Esta debe ser la caracter´ıstica de la lectura y.

digo “fuera de programa”. f´ısica. sino sobre c´ omo utilizar adecuadamente LATEX para producir textos de calidad. Por ejemplo. etc´etera. antes de sentarse a escribir. se tiene ´este. Y. Esto significa que el escritor no debe preocuparse del tama˜ no de la fuente de los encabezados de las secciones y de las subsecciones. La estructura de este documento es la de un art´ıculo cient´ıfico com´ un en matem´aticas. etc´etera. espacios en blanco horizontales. Como un ejemplo de un texto con pocas modificaciones. sin esa estructura inicial. 2. Ning´ un sistema sustituye el conocimiento que un escritor debe tener para organizar lo que quiere escribir. Los componentes b´asicos de esta estructura son: 1. no es posible producir un texto que valga la pena o. si el color es parte fundamental de lo que quiere decirse. El t´ıtulo que incluye autor. es decir. Pero.5 Fuera de programa: el LATEX en este art´ıculo En la secci´on anterior. voy a exponer el segundo objetivo. 3. el escritor debe evitar introducir inesperadamente saltos de l´ınea. La clase est´ andar article es una herramienta que sin necesidad de modificaciones nos permite producir un documento de gran calidad visual. tanto experimentales como sociales. El LATEX ofrece esta estructura a trav´es de su clase est´andar article. no solo en lo visual. a su vez. porque no es sobre la matem´atica ni su aprendizaje. ni de la numeraci´ on de estos encabezados. elegir fuentes diferentes para partes diferentes del texto4 . La clase article nos provee de comandos y ambientes que hacen todo esto por el escritor quien. o hasta que deba entregar el trabajo). puede ir variando. 5 . Por ello. Esto implica concebir una primera versi´ on de la estructura del texto que. 4 Lo dicho sobre el color se aplica tambi´en a la fuentes diferentes del texto. qu´ımica y otras ciencias. cambiar el espacio entre l´ıneas. Una vez que se haya obtenido un texto satisfactorio en t´erminos de contenidos. le tomar´a mucho tiempo y esfuerzo a su autor obtener el producto deseado. cambiar el espacio entre p´arrafos. a medida que se produzca el escrito. Uno de esos libros es [lshort 2008]. 6. 5. El resumen del trabajo. Hay bastante documentaci´on en el mundo de LATEX que ayuda a aprender a utilizar este sistema correctamente para producir archivos f´aciles de leer y corregir. ni de la posici´on del t´ıtulo. Opcionalmente. el paquete xcolor ofrece herramientas para dotar al texto de cualquier elemento de color que se requiera. hay que saber sobre lo que se quiere decir —aunque a´ un no se sepa exactamente c´omo decirlo. El cuerpo del art´ıculo organizado en secciones las que pueden contener subsecciones que. La lectura de los dos primeros cap´ıtulos ayuda a tener una visi´on 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. ap´endices breves en forma de secciones adicionales antes de las referencias bibliogr´ aficas. Si no es as´ı. En todo caso. fecha y datos adicionales sobre el autor. el que el lector o la lectora tiene frente a s´ı este momento. 4. siempre y cuando estos cambios no tienen un fin dentro del contenido. el tama˜ no de la fuente. etc´etera. si quiere a˜ nadir color a partes del texto3 . Por ello. Referencias bibliogr´ aficas. debe ocuparse de pensar sobre lo que quiere escribir y luego escribir (una y otra vez hasta que quede satisfecho. pueden contener subsubsecciones. se lo debe incluir en el dise˜ no de la estructura. un ´ındice. sino tambi´en en sus estructuras. En esta secci´on. el escritor puede pasar a una etapa adicional de “dise˜ no” de la presentaci´on. Opcionalmente. expuse el primer objetivo de este art´ıculo.

sino aprovechar lo que otros ya han caminado para dar pasos adelante lo que no quita que. documentaci´on de MiKTeX 2. como ver´a. Volumen 1. G. M. Referencias [AR-ELL 1997] Lima. 2008. [lshort 2008] Oetiker. Instituto de Matem´aticas y Ciencias Afines. despu´es se recompensar´a con creces. 2007. The Not So Short Introduction to LATEX 2ε . Lo aplicado all´ı cabe en el aprendizaje de LATEX y. Per´ u. Lo que debe quedar claro es que el aprendizaje de cualquier tema requiere de una decisi´ on consciente de querer aprender del aprendiz. deberemos tambi´en probar y errar para aprender. Goossens. Elon Lages. Por lo dicho. como se puede colegir de lo dicho. Addison–Wesley. un libro m´as profundo sobre el tema de la matem´ atica con LATEX..7. [MMIL 2007] Gr¨ atzer. An´ alisis Real. 2004. esta secci´ on final est´a cerca de lo que queremos hacer en matem´aticas. USA.. la lectura y la escritura son dos herramientas sin las cuales ni matem´aticas ni LATEX se podr´an aprender. El cap´ıtulo 3 es una introducci´ on a la escritura de las matem´aticas que puede ser complementada con el cap´ıtulo 8 (Higher Mathematics) del [LC2] o con [MMIL 2007].. y otros. rec´ıprocamente. 6 . aunque al inicio eso le tome m´ as tiempo que. F. Second Edition. Springer. 1997. The LATEXCompanion.errores t´ıpicos de los usuarios de sistemas WYSIWYG como Word o Scientific Work Place. en ocasiones. Ser pr´ actico no significa aprender de la prueba y el error. Eso ya le llevar´a a encontrar modos de poder hacerlo mejor. Y. lo aplicado a este u ´ltimo cabe al aprendizaje de la matem´ atica. [LC2] Mittelbach. More Math Into LATEX. T.