RADIO DE CONVERGENCIA

Convergencia considera las cuatro sucesiones antes definidas. Cada una de ellas
tiene valores que se amontonan cerca de 1 (vea los diagramas de la figura 1),

Pero todas ellas convergen a 1? La respuesta correcta es que las sucesiones

{an} y {bn} convergen a 1, pero {cn} y {dn} no.

Para que una sucesin converja a 1 se requiere, en primer lugar, que los valores
de la sucesin se aproximen a 1. Pero no es suficiente con que se acerquen;
deben permanecer cerca; que es la regla que viola {cn}. Y cerca significa
arbitrariamente cerca; es decir, dentro de cualquier grado de precisin
especificado, que es la regla que viola la secuencia {dn}. A cambio de que la
sucesin {dn} no converja a 1, es correcto decir que converge a 0.999. La sucesin
{cn} no converge a nada; se dice que diverge.

Esta es una definicin formal; puede sonar vagamente familiar.

Definicin

Se dice que la sucesin {an} converge a L y se escribe

an = L
n

Se para cada nmero positivo , hay un nmero positivo N correspondiente,

tal que

n N => | an L | <

Una sucesin que no converja a algn numero finito L se dice que diverge o
que es divergente.

Para encontrar una relacin con lo estudiado antes (vea la seccin 4.6), considere
la grfica de an = 11/n y a(x) = 11 /x. la nica diferencia es que en el caso de la
sucesin el dominio est restringido a los enteros positivos. En el primer paso, se
escribe lim an = 1; en el segundo lim a(x) =1. Obsrvese la interpretacin de y N
en los diagramas de la figura 2.
EJEMPLO 1 demuestre que si p es un entero positivo, entonces

1
=0
n
Solucin nuestros primeros trabajos hacen que esto sea casi obvio, pero podemos
dar una demostracin formal. Sea >0 un nmero arbitrario dado. Escjase N que

sea cualquier nmero mayor que 1/ entonces, nN implica

1 1 1
| |=| < =

1
( )

Todos los teoremas familiares sobre lmites se cumplen para las

sucesiones. Establecemos estos sin demostracin.

Teorema A

Sean {an} y {bn} sucesiones convergentes y k una constante. Entonces:

1. lim k = k;
n
2. lim kan = k lim an;
n
3. lim ( an bn ) = lim an lim bn;
n n n
4. lim ( an bn ) = lim an lim bn;
n n n

n lim
5. = 0
n
n
n
 32
Ejemplo 2 encuentre el
n 72 +1

Solucin para saber que le sucede al cociente de dos polinomios en n cuando n

aumenta, conviene dividir numerador y denominador entre la mayor potencia de n
que aparezca en el denominador. Esto justifica nuestro primer paso siguiente; los
otros se justifican apelando a las proposiciones del teorema A, segn indica los
nmeros entre crculos.

lim 3 lim 3
32 3 n n
= = =
n 72 + 1 n 7 + ( 1 ) lim 1
[7 + ( 2 )]
lim 7
+
1
2 n n n 2
3 3 3
= = =
1 7+0 7
7+
n 2
Para este tiempo, los teoremas sobre lmites sern tan familiares que por lo
regular saltaremos directamente desde el primer paso hasta el resultado final.

EJEMPLO 3 converge la solucin {(ln n)/en} y, de ser as, a cual numero?

Solucin Aqu y en muchos problemas sobre sucesiones, es conveniente usar el

siguiente hecho casi obvio (vase figura 2).

Si lim f(x) = L, entonces lim f(n) = L.

n n

Esto es conveniente porque nos permite aplicar la regla de 1Hpital al problema

de variable contina. En particular, por la regla de 1Hpital.

ln 1/
= =0
n n
Entonces

ln
=0
n
Es decir, {(ln n)/en} converge a 0.

Este es otro teorema que hemos visto antes bajo un aspecto ligeramente diferente
(teorema 2.6C).
Teorema B

(Teorema del emperador.) Supngase que tanto {an} como {cn} convergen
a L y que an bncn para nk (siendo k un entero fijo). Entonces {bn} tambin
converge a L.

3
Ejemplo 4 demuestre que el =0
n

Solucin para n1, 1/n(sen3 n)/n 1/n. puesto que el lim (1/n)= 0 y lim (1/n) }
= 0, la conclusin resulta del teorema del emperador.

Para sucesiones con signo variable es til tener el siguiente resultado.

Teorema C

Sin |an|= 0, entonces an = o.
n n

Demostracin puesto que |an| an|an|, conclusin resulta del teorema del
emparedado.

Qu sucede con los nmeros de sucesin {0.999n} cuando nx? sugerimos que
calcule 0.999n para n= 10, 100, 1000, 10,000 en su computadora para obtener una
buena suposicin. Observe despus el siguiente ejemplo.

n
Ejemplo 5 demuestre que si 1<r<1, entonces el r =0
n
Solucin si r=0, el resultado es trivial, por lo que supondremos otra cosa.
Entonces, 1|r|>1, por lo que 1|r|>1+p para algn nmero p>0. Por el teorema del
binomio,

1
= (1 + ) = 1 + + ( )
||

En consecuencia,

1.
0 ||


Puesto que el (1/pn) = (1/pn) (1/n) =0, se sigue del teorema del
n n

emperador que el
n
n
|r|n=0 o, en forma equivalente, que el |rn|=0. Por el teorema C, r =0.
n n
y qu ir r>1, por ejemplo r=1.5? entonces, rn marchara directo hacia . En este
caso, escribiremos

n
r =, r>1
n
Sin embargo, decimos que la sucesin {rn} diverge. La convergencia requiere una
aproximacin a un lmite finito. La sucesin {rn} tambin diverge cuando r1.

Sucesiones montonas considere ahora una sucesin no decreciente arbitraria

{an}, con lo cual queremos decir que an an + 1rn1. Un ejemplo es la sucesin an =
n2, otro es an = 11/n. si reflexiona un poco se convencer de que dicha sucesin
solo puede hacer una de dos cosas: o bien tiende a infinito o, si no puede hacerlo
porque tenga una cota superior, deber chocar contra un tope (vase la figura 3).
La proposicin formal de este resultado muy importante es

Teorema D

(Teorema de las sucesiones montonas.) Su U es una cota superior de una

sucesin no decreciente {an}, entonces la sucesin convergente a un lmite A
igual o menor que U. en forma semejante, si L es una cota inferior de una
sucesin no creciente {bn}, la sucesin {bn} converge a un lmite B igual o
mayor que L.

La frase sucesin montona se usa para describir sucesiones no decrecientes o

no crecientes; de ah el nombre de este teorema.

El teorema D describe una propiedad muy profunda del sistema de los nmeros
reales. Es equivalente a la propiedad de completez de los nmeros reales, que en
lenguaje simple dice que el eje real no tiene agujeros (vanse los problemas 47 y
48). Es la propiedad que distingue el eje real del eje racional (que est lleno de
agujeros). Mucho se puede agregar a este tema; esperemos que el teorema D
apele a su intuicin y que lo acepte hasta que tome un curso ms avanzado.
Haremos un comentario ms en torno al teorema D. No es necesario que las
sucesiones {an} y {bn} sean montonas desde el principio; basta con que sean
montonas desde algn punto en adelante (es decir, para n k). En efecto, la
convergencia o divergencia de una sucesin no depende del carcter de los
trminos iniciales, sino de lo que sea verdad para grandes valores de n.

Ejemplo 6 mediante el teorema D, demuestre que la sucesin bn = n2/2

converge.

Solucin unos cuantos de los primeros trminos de esta sucesin son

1 9 25 36 49
, 1, , 1, , , ,
2 8 32 64 128
Para n3, la sucesin parece ser decreciente (bn>bn+1), hecho que establecemos
ahora. Cada una de las siguientes desigualdades es equivalente a las dems.

2 ( + 1)2
>
2 2+1
( + 1)2
2 >
2
22 > 2 + 2 + 1

2 2 > 1

( 2) > 1

La ultima desigualdad es evidente verdadera para n3. Dado que la sucesin es

decrecientes (una condicin ms fuerte que la de no ser creciente) y est acotada
en lo inferior por cero, el teorema de sucesiones montonas garantiza que tiene un
lmite.

La regla de 1Hpital hace fcil demostrar que el lmite es 0.