Tema

Sucesiones montonas
Vamos a discutir ahora una importante propiedad de ciertas sucesiones de nmeros reales: la monotona. Como primer resultado bsico, probaremos que toda sucesin montona y acotada es convergente, obteniendo un mtodo til para probar la convergencia de ciertas sucesiones. Deduciremos el Teorema de Bolzano-Weierstrass, que es sin duda el resultado ms importante sobre convergencia de sucesiones. De l se obtiene el teorema de complitud de R, que nos da una autntica caracterizacin de las sucesiones convergentes. Finalmente, las nociones de lmite superior e inferior, adems de tener utilidad en s mismas, nos permitirn precisar mejor el contenido del Teorema de Bolzano-Weierstrass.

6.1.

Monotona

Las siguientes deniciones son tan naturales e intuitivas que no requieren motivacin. Se dice que una sucesin de nmeros reales {xn } es: Creciente cuando: xn xn+1 n N Decreciente cuando: xn xn+1 n N Montona cuando es creciente o decreciente. Las sucesiones constantes son a la vez crecientes y decrecientes; recprocamente, es claro que si una sucesin es a la vez creciente y decreciente, ha de ser constante. Las sucesiones {n} y {1/n} son crecientes, mientras que {n} y {1/n} son decrecientes. La sucesin {(1)n } no es montona. Observamos tambin que una sucesin {xn } es decreciente si, y slo si {xn } es creciente. De ah que trabajemos principalmente con sucesiones crecientes. Intuitivamente es claro que, para una sucesin creciente, cada trmino es menor o igual que cualquier otro posterior. Ms concretamente: Si {xn } es una sucesin creciente: m, n N , m n = xm xn Por tanto, si {xn } es decreciente: m, n N , m n = xm xn La demostracin, por induccin, no tiene dicultad. En particular toda sucesin creciente {xn } verica que x1 xn para todo n N, luego est minorada. Anlogamente, cualquier sucesin decreciente est mayorada. 49

6. Sucesiones montonas

50

El siguiente resultado, cuya demostracin aprovecha la existencia de supremo e nmo, pone de maniesto la utilidad de la monotona para estudiar la convergencia de una sucesin: Teorema. Toda sucesin de nmeros reales montona y acotada es convergente. De forma ms concreta: Si {xn } es una sucesin creciente y mayorada, se tiene l m {xn } = sup {xn : n N} Si {xn } es decreciente y minorada, entonces l m {xn } = nf {xn : n N} Demostracin. Si {xn } es creciente y mayorada, pongamos = sup {xn : n N}, para probar que {xn } . Dado > 0, por denicin de supremo existe m N tal que < xm . Pero entonces, para n m se tendr < xm xn < + , de donde |xn | < , como queramos. Para una sucesin {xn } decreciente y minorada, se puede razonar de manera anloga, o bien aplicar lo ya demostrado a la sucesin {xn } que es creciente y mayorada. Ilustramos el teorema anterior con un ejemplo importante: Para x R, con |x| < 1, se tiene: l m x n = 0.
n

Puesto que evidentemente se tiene {|x n |} = {|x| n }, tomando y = |x|, bastar comprobar que {y n } 0. La ventaja es que tenemos 0 y < 1 y, por tanto, 0 y n+1 y n para todo n N. As pues, la sucesin {y n } es decreciente y minorada, luego convergente. Pongamos de momento L = l m {y n }, para probar que L = 0. Como {y n+1 } es una sucesin parcial de {y n }, ser tambin {y n+1 } L pero, por otra parte tenemos que {y n+1 } = {y n y} L y, luego L = L y. Siendo y = 1, no queda ms salida que L = 0, como queramos. Veamos los casos no cubiertos por el resultado anterior. Si |x| > 1, puesto que |1/x| < 1, sabemos ya que {1/x n } = {(1/x) n } 0, luego la sucesin {x n } no est siquiera acotada. Si |x| = 1, sabemos de sobra lo que le ocurre a la sucesin {x n }.

6.2.

Teorema de Bolzano-Weierstrass

Las sucesiones montonas abundan ms de lo que en principio pudiera parecer, como pone de maniesto el siguiente resultado, paso previo para obtener el principal teorema acerca de la convergencia de sucesiones de nmeros reales. Lema. Toda sucesin de nmeros reales admite una sucesin parcial montona. Demostracin. Sea {xn } una sucesin de nmeros reales y consideremos el conjunto A = {n N : xn xn+k k N}

que intuitivamente indica los trminos que son mayores o iguales que todos los que les siguen. Distinguiremos dos casos segn que el conjunto A sea innito o no.

6. Sucesiones montonas

51

1) Supongamos que A es innito. Intuitivamente, seleccionando los trminos xn con n A debemos obtener una sucesin parcial decreciente. Para comprobar esto, usaremos el principal resultado obtenido al estudiar los conjuntos numerables. Por ser A un subconjunto innito de N, sabemos que existe una aplicacin biyectiva : N A, vericando adems que si m, n N y m < n, entonces (m) < (n). Podemos ver como una aplicacin estrictamente creciente de N en s mismo, luego {x(n) } es una sucesin parcial de {xn }. Adems, para cualquier n N sabemos que (n) A, luego x(n) x(n)+k para todo k N, y tomando k = (n + 1) (n) obtenemos que x(n) x(n+1) . Por tanto, la sucesin {x(n) } es decreciente. / . En todo 2) Supongamos ahora que A es un conjunto nito, incluyendo la posibilidad A = 0 caso, existe m N tal que A {n N : n < m}. Intuitivamente, podemos seleccionar trminos a partir del m-simo para conseguir una sucesin parcial creciente, y eso es precisamente lo que vamos a hacer. Para denir por induccin una aplicacin : N {n N : n m}, empezamos tomando (1) = m. Supuesto denido (n) m, sabemos que (n) / A, as que el conjunto {k N : x(n) < x(n)+k } no es vaco. Denimos entonces (n + 1) = (n) + p, donde p es el mnimo de dicho conjunto. Es claro que (n + 1) > (n) m, y tambin x(n) < x(n+1) , luego {x(n) } es una sucesin parcial creciente de {xn }. Teorema de Bolzano-Weierstrass. Toda sucesin acotada de nmeros reales admite una sucesin parcial convergente. Demostracin. Sea {xn } una sucesin acotada de nmeros reales y apliquemos el lema anterior para conseguir una sucesin parcial montona {x(n) }. Por ser {xn } acotada, tenemos K R tal que |xn | K para todo n N, pero entonces es obvio que tambin |x(n) | K para todo n N. As pues, la sucesin {x(n) } es montona y acotada, luego convergente. Merece la pena detenerse a comparar los diferentes tipos de sucesiones que han aparecido hasta ahora. Dada una sucesin {xn }, podemos considerar las siguientes armaciones: (i) (ii) (iii) (iv) {xn } es montona y acotada {xn } es convergente {xn } est acotada {xn } admite una sucesin parcial convergente

Sabemos que cada una de estas armaciones implica las que le siguen: (i) (ii) (iii) (iv). Pues bien, vamos a comprobar que ninguna de las implicaciones es reversible. Para ver que (iv) (iii) basta tomar n 1 + (1)n n N xn = 2 2 Claramente tenemos x2n+1 = 0 y x2n = n para todo n N, luego {xn } admite una sucesin parcial convergente y otra no acotada, as que {xn } tampoco est acotada. Ya se coment que existen sucesiones acotadas no convergentes, es decir, que (iii) (ii). Finalmente, es fcil ver que la sucesin {(1)n /n} converge a cero, pero no es montona, luego (ii) (i).

6. Sucesiones montonas

52

6.3.

Sucesiones de Cauchy

Comprobar que una sucesin es convergente, usando la denicin de convergencia, exige conocer a priori el posible lmite de la sucesin. Interesa tener un criterio de convergencia comprobable usando solamente los trminos de la sucesin. Hasta ahora tenemos una propiedad de este tipo (la acotacin) que es necesaria para que haya convergencia, pero no es suciente. Tambin hay una condicin suciente (monotona + acotacin) que no es necesaria. Nuestro objetivo ahora es encontrar una condicin que sea a la vez necesaria y suciente, es decir, un criterio que nos permita decidir si una sucesin es convergente o no, sin ninguna pista sobre el posible lmite. Partimos de una idea muy ingenua: los trminos de una sucesin que estn cerca del lmite deben estar cerca unos de otros. Formalmente, si {xn } es una sucesin convergente de nmeros reales, digamos {xn } x R, dado > 0 sabemos que existe m N tal que |xn x| < /2 para n m. Entonces, para p, q N con p, q m, tenemos claramente |x p xq | = |x p x + x xq | |x p x| + |x xq | < Obsrvese que hemos obtenido una propiedad de la sucesin convergente {xn } en la que no interviene su lmite. A continuacin damos nombre a las sucesiones con esta propiedad. Se dice que {xn } es una sucesin de Cauchy cuando verica la siguiente condicin: para cada > 0 puede encontrarse m N vericando que |x p xq | < para cualesquiera p, q N con p, q m. Simblicamente: > 0 m N : p, q m = |x p xq | < Hemos visto ya que toda sucesin convergente es de Cauchy. Lo importante es que el recproco tambin es cierto, con lo que tenemos el criterio de convergencia que buscbamos: Teorema (Complitud de R). Toda sucesin de Cauchy de nmeros reales es convergente. Demostracin. Sea {xn } una sucesin de Cauchy, y vamos a probar que converge, sin pista alguna sobre su lmite. Empezamos viendo que {xn } est acotada, con un razonamiento similar al usado cuando tenamos convergencia. La denicin de sucesin de Cauchy nos proporciona un m N tal que |x p xq | < 1 para cualesquiera p, q N con p, q m. Tomando q = m y p = n m tenemos claramente |xn | |xn xm | + |xm | < 1 + |xm |, luego el conjunto {xn : n m} est acotado, de donde se deduce, como ya vimos anteriormente, que la sucesin {xn } est acotada. El siguiente paso es aplicar el Teorema de Bolzano-Weierstrass, para obtener una sucesin parcial {x(n) } que converge a un x R. Obsrvese que x es el nico posible lmite de la sucesin {xn }, as que la demostracin se concluir probando que efectivamente {xn } x. Dado > 0, aplicamos de nuevo que {xn } es una sucesin de Cauchy: m1 N : p, q m1 = |x p xq | < 2 Por otra parte, usamos la convergencia de {x(n) }: m2 N : n m2 = |x(n) x| < 2 (2)

(1)

6. Sucesiones montonas

53

Finalmente tomamos m = m ax {m1 , m2 } y concluiremos probando que |xn x| < para n m. En efecto, si n m tenemos por una parte n m2 lo que nos permite aplicar (2), pero tambin tenemos (n) n m1 luego podemos aplicar (1) con p = n y q = (n), obteniendo |xn x| |xn x(n) | + |x(n) x| < + = 2 2

6.4.

Lmites superior e inferior

El hecho de que toda sucesin montona y acotada es convergente nos va a permitir ahora claricar an ms la relacin entre sucesiones acotadas y sucesiones convergentes, consiguiendo una nueva demostracin del teorema de Bolzano-Weierstrass. Sea {xn } una sucesin acotada de nmeros reales. Para cada n N podemos entonces denir n = nf {xk : k n} y n = sup {xk : k n}

De esta forma, a la sucesin {xn } hemos asociado dos sucesiones {n } y {n }. Es evidente que 1 n n+1 n+1 n 1 n N

Por tanto, {n } es creciente y mayorada, mientras que {n } es decreciente y minorada, luego ambas sucesiones son convergentes. Al lmite de la sucesin {n } se le llama lmite inferior de la sucesin {xn } y se le denota por l m inf {xn }. Anlogamente, al lmite de {n } se le llama lmite superior de {xn } y se le denota por l m sup {xn }: l m inf {xn } = l m nf {xk : k
n

n}

l m sup {xn } = l m sup {xk : k

n

n}

Se tiene siempre l m inf {xn } l m sup {xn }, desigualdad que puede ser estricta, como le ocurre a la sucesin {(1)n }: es claro que l m inf {(1)n } = 1 < 1 = l m sup {(1)n }. Pues bien, vamos a demostrar enseguida que la coincidencia del lmite superior con el inferior caracteriza a las sucesiones convergentes: Para una sucesin acotada {xn }, las siguientes armaciones son equivalentes: (i) {xn } es convergente (ii) l m inf {xn } = l m sup {xn } Caso de que se cumplan (i) y (ii), se tiene: l m {xn } = l m inf {xn } = l m sup {xn }. (i) (ii). Suponiendo que {xn } x vamos a ver que el lmite superior e inferior de {xn } coinciden con x, con lo que habremos probado tambin la ltima igualdad del enunciado. Dado > 0, encontramos m N tal que x /2 < xk < x + /2 para k m. Entonces, para n m, puesto que las anteriores desigualdades son vlidas para cualquier k n deducimos que x 2 n = nf {xk : k n} sup {xk : k n} = n x+ 2

de donde, claramente |n x| < y |n x| < . (ii) (i). Puesto que n que {xn } es convergente. xn n para todo n N, de ser l m {n } = l m {n } deducimos

6. Sucesiones montonas

54

As pues, los lmites superior e inferior de una sucesin acotada nos proporcionan un criterio til para decidir si la sucesin es convergente o no. Pero volviendo al caso general, veamos la relacin entre los lmites superior e inferior de una sucesin acotada y los de cualquier sucesin parcial suya. k Sea pues {x(n) } una sucesin parcial de una sucesin acotada {xn }. Fijado n N, para n tenemos claramente que (k) k n, de donde deducimos claramente que nf {xh : h n} nf {x(k) : k n} sup {x(k) : k n} sup{xh : h n}

Cada uno de los miembros de la desigualdad anterior es el n-simo trmino de una sucesin convergente, pero la desigualdad es vlida para todo n N, de donde obtenemos que l m inf {xn } l m inf {x(n) } l m sup {x(n) } l m sup {xn }

Tenemos as la relacin que buscbamos entre los lmites superiores e inferiores de {x(n) } y {xn }. Destacamos la siguiente consecuencia: Si {x(n) } es una sucesin parcial convergente de una sucesin acotada {xn }, entonces: l m inf {xn } l m {x(n) } l m sup {xn }

Vamos a demostrar ahora que, si elegimos convenientemente la sucesin parcial {x(n) }, podemos hacer que cualquiera de las desigualdades anteriores sea una igualdad. De hecho, ello nos da una nueva demostracin del principal teorema estudiado en este tema. Teorema de Bolzano-Weierstrass (revisitado). Si {xn } es una sucesin acotada de nmeros reales, entonces {xn } admite dos sucesiones parciales {x(n) } y {x(n) }, tales que {x(n) } l m inf {xn } y {x(n) } l m sup {xn }

Demostracin. Sea = l m inf {xn } = l m {n }, con n = nf {xk : k n} para todo n N, y vamos a ver cmo se consigue una sucesin parcial {x(n) } que converja a . La sucesin {x(n) } se construye de manera anloga. Deniremos por induccin la aplicacin estrictamente creciente : N N que necesitamos, empezando con (1) = 1 y suponiendo conocido (n) para denir (n + 1). Para simplicar la notacin, escribimos p = (n) + 1 y la denicin de p nos dice que existe k p, tal que xk < p + p1 . Denimos entonces (n + 1) = m n {k N : k p , xk < p + p1 } Es evidente que es estrictamente creciente, luego {x(n) } es una sucesin parcial de {xn }. Adems, para cualquier n N, la denicin de (n + 1) nos dice tambin que (n)+1 x(n+1) (n)+1 + ((n) + 1)1 (3)

Puesto que {(n)+1 } es una sucesin parcial de {n }, tenemos que {(n)+1 } . Por otra parte, {((n) + 1)1 } 0, pues se trata de una sucesin parcial de {n1 }, luego tambin {(n)+1 + ((n) + 1)1 } . De la desigualdad (3), vlida para todo n N, deducimos que {x(n+1) } o, lo que es lo mismo, {x(n) } , como queramos.

6. Sucesiones montonas

55

Esta segunda versin del Teorema de Bolzano-Weierstrass nos da una informacin que no apareca explcitamente en la primera: si una sucesin acotada no es convergente, admite dos sucesiones parciales que convergen a lmites diferentes. Concluimos este tema con un ejemplo que puede resultar sorprendente: los lmites de las sucesiones parciales convergentes de una misma sucesin, pueden ser una autntica multitud. Consideremos el conjunto A = Q [0, 1], que es innito y numerable, luego existe una aplicacin biyectiva : N A. Tomando rn = (n) para todo n N, tenemos una sucesin {rn } de nmeros racionales tal que {rn : n N} = A. Pues bien, vamos a ver que, para cada x [0, 1], la sucesin {rn } admite una sucesin parcial {r(n) } que converge a x. En efecto, empezamos viendo que, para cada > 0, el conjunto A = {r A : |r x| < } es innito y, puesto que es biyectiva, el conjunto 1 (A ) = {n N : |rn x| < } tambin ser innito. La construccin de se adivina ya fcilmente: Tomando = 1, elegimos (1) de forma que |r(1) x| < 1; suponiendo denido (n) de forma que |r(n) x| < 1/n, podemos usar = 1/(n + 1) para encontrar (n + 1) > (n) de forma que |r(n+1) x| < 1/(n + 1). Por induccin, hemos denido una aplicacin estrictamente creciente : N N, vericando que |r(n) x| < 1/n para todo n N. Por tanto, {r(n) } es una sucesin parcial de {rn } que claramente verica {r(n) } x.

6.5.

Ejercicios de revisin

1. Dar un ejemplo de una sucesin de nmeros reales positivos, convergente a cero, que no sea decreciente. 2. Sea A un conjunto de nmeros reales, no vaco y mayorado. Demostrar que existe una sucesin creciente de elementos de A que converge a sup A. 3. Demostrar que toda sucesin montona, que admita una sucesin parcial convergente, es convergente. 4. Sea {xn } una sucesin vericando que x1 > 0 y xn+1 (1 + xn ) = xn para todo n N. Probar que {xn } es convergente y calcular su lmite. 5. Sea {xn } una sucesin y supongamos que existe una sucesin {yn } de nmeros reales positivos tal que {yn } 0 y |xn+k xn | yn para cualesquiera n, k N. Probar que {xn } es convergente. 6. Probar que, si {xn } e {yn } son sucesiones acotadas, se tiene l m inf {xn + yn } l m sup {xn + yn } l m inf {xn } + l m inf {yn } l m sup {xn } + l m sup {yn }

7. Sean {xn } e {yn } sucesiones acotadas vericando que xn yn para todo n N. Probar que l m inf {xn } l m inf {yn } y que l m sup {xn } l m sup {yn }.