IV SUCESIONES MONOTONAS

Una sucesin numrica (a

n
) es creciente si y solo si
1
: ( ),
n n
n N a a
+
e s
Y es estrictamente creciente si y solo si
1
: ( ),
n n
n N a a
+
e s
Anlogamente, (a
n
) sucesin decreciente
1
: ( )
n n
n N a a
+
e s y (a
n
) estrictamente
decreciente
1
: ( )
n n
n N a a
+
e s .
Las sucesiones crecientes o decrecientes se denominan montonas.
Ejemplo 1
Verificar que la sucesin (b
n
)=
2
5
n
n
| |
|
+
\ .
es estrictamente creciente.
Escribimos algunos trminos:
(b
n
)=
1 4 9 16 5
; ; ; ; ;........
6 7 8 9 2
| |
|
\ .

1 4 9 16 5
; ; ; ; ;........
6 7 8 9 2
| |
|
\ .

b
n
=
2
5
n
n +
y b
n+1
=
2
2 1
6
n n
n
+ +
+
.
Queremos probar
1
: ( )
n n
n N b b
+
e s
Vemos que:
2 2
1
( 6) ( 2 1)( 5)
n n
b b n n n n n
+
< + < + + +
2 2 2 2 3 2
( 6) ( 2 1)( 5) 6 7 11 5 n n n n n n n n n n + < + + + + < + + +
Por lo tanto, sabiendo que:
3 3 2 2
......6 7 ..0 11 5 n n n n n = < < +
Si sumamos miembro a miembro resulta
1
:
n n
n N b b
+
e < y la sucesin es estrictamente
creciente.
Esta sucesin no esta acotada y diverge a +
Teorema fundamental
Una sucesin montona est acotada si y solo si es convergente.
Primera parte: Si una sucesin es convergente, entonces est acotada.
Demostracin
Por hiptesis lim ,
n
a l = lo cual implica que
0 0/ ..
n
a l si n o o e> - > <e >
Elijamos 1 e=
Por una propiedad del valor absoluto es:
n n
a l a l s
Luego 1.. ..
n
a l si n o < >
Y 1 .. ..
n
a l k si n o < + = > (1)
Hay, adems, un nmero finito de trminos de la sucesin:
1 1 1
; ;........;
n
a a a


Para los cuales no se verifica necesariamente la relacin anterior.
Sea a
n
, entre ellos, el que tiene mayor modulo. (Si la sucesin es creciente, de trminos
positivos, a
n
=a
n-1
)
Este teorema es anlogo al demostrar un lmite funcional y se cumple, aunque la sucesin no
sea montona, de acuerdo con la demostracin anterior
Segunda parte: Si una sucesin montona est acotada, entonces es convergente.
Consideramos el caso de una sucesin creciente acotada superiormente, (Obsrvese que si
una sucesin creciente acotada superiormente, est acotada, pues a
1
es el extremo inferior
Demostracin
Si la sucesin est acotada superiormente, como sus trminos son nmeros reales , por la
axioma de continuidad de R existe un nmero real l que es el extremo superior o supremo.
Demostraremos un entorno cualquiera de l de radio /l l l e e< < +e




Si L es el supremo de la sucesin , :
n
n a l l s < +e,
Es decir, :
n
n a l < +e.(1)
Adems : leno es cota superior, pues es menor que el supremo l;luego;existe
/ N a l o o e > e
Para una sucesin decreciente acotada inferiormente, la demostracin es anlogamente
respecto al infinito.
- El numero e
Como aplicacin del teorema anterior se deduce que la sucesin (a
n
)=
1
1 ..
n
es convergente
n
| |
| |
= +
|
|
|
\ .
\ .

Para ello basta probar que es creciente y est acotada .Para demostrar que es una
sucesin creciente se aplica la frmula del binomio de Newton para cualquier numero
natural n.
Resulta a
n
=
1
1
n
n
| |
+
|
\ .
=
2 3
1 ( 1) 1 ( 1)( 2) 1 ( 1)( 2).........1 1
1 . . . ...... .
2! 3! !
n
n n n n n n n n
n
n n n n n

+ + + + +
Efectuando operaciones, es:
1 1 1 1 2 1 1 2 1
1 1 1 1 1 ...... 1 1 ... 1
2! 3! !
n
n
a
n n n n n n n
| | | || | | || | | |
= + + + + +
| | | | | |
\ . \ .\ . \ .\ . \ .

Si m>n. en la sucesin resulta a
m
>a
n
pues cada uno de los sumandos de la expresin es
positivo.
Es decir,
1 2 3
................ ..........,
n
a a a a < < < < < y la sucesin (a
n
)es estrictamente
creciente.
Falta verificar, adems , que est acotada superiormente .
De la expresin se deduce:
2 1
1 1 1 1 1 1
1 1 ...... 1 1 ....
2! 3! ! 2 2 2
n n
a
n

s + + + + s + + + + + ,
Como S
n
=
2 1
1 1 1
1 ........
2 2 2
n
+ + + + es la suma de los trminos de una progresin
geomtrica de primer trmino 1 razn y n termino, es :
1
1
1
1
1 2
2
1. 2. 1 2
1 1
2
1
2 2
n
n
n n
S
| |

|
| |
\ .
= = = <
|
\ .

.
Por lo tanto , : 1 3,
n n
n N a S e s + < y la sucesin creciente est acotada
superiormente.
Luego, tiene lmite finito y puede darse la siguiente definicin:
1
lim 1 ( 2..718281........)
n
e e
n
| |
| |
= + =
|
|
|
\ .
\ .
.
Se ha considerado solamente la sucesin
1
1
n
n
| |
| |
+
|
|
|
\ .
\ .
con . n N e
Puede demostrarse tambin, en general , si x var . n N e ia en el campo real, que
1
lim 1
x
x
e
x
| |
+ =
|
\ .
.
D ela expresin anterior se deduce que inmediato que
lim 1
x
h
x
h
e
x

| |
+ =
|
\ .
.
Para ello basta considerar la variable auxiliar
x
u
h
=
Teorema de los intervalos encajados
Sean (a
n
)y(b
n
) dos sucesiones montonas , la primera creciente y la segunda decreciente ,
de nmeros reales . ( ) . 0 0 / ...
n n n n
Si n a b y b a si n o o < e> - > <e > ,entonces ambas
sucesiones convergen a un nico nmero real l .
Demostracin
La sucesin (a
n
)es creciente y est acotada superiormente por cualquier b
n
por el teorema
anterior la sucesin(a
n
)converge su supremo l .Es decir . lim
n
b l =


Como cualquier b
n
es cota superior de la sucesin (a
n
)y l es el supremo de esta sucesin ,es =
pues el supremo es por definicin la menor cota superior de (a
n
).
Ahora tambin, la proposicin ;
n
n l b s indica que el numero l es una cota inferior para la
sucesin (b
n
) como l es el nfimo de esta sucesin, es
n
l b s pues el nfimo es por definicin la
mayor cota inferior.
Luego, es ..
n n n
l b y l b a s s
Se ha visto tambin ( ... ... )
n n
n b l a l > . s .Restando estas desigualdades de sentido
contrario resulta:
: 0
n n
n b a l l > >
Pero , por hiptesis 0 0 / :
n n
n b a o e> - > <e
Luego 0 e> resultal
Por lo tanto, como l y L son numeros reales , es l=L, y el teorema queda demostrado

Lmite inferior y lmite superior
Ya se ha observado que una sucesin de nmeros reales que no tiene lmite puede tener varios
puntos de aglomeracin.
Si la sucesin est acotada, puede probarse que el conjunto de sus puntos de aglomeracin
tambin est acotado. Puede demostrarse que el supremo de este conjunto es, adems, su
mximo y se lo llama lmite superior de la sucesin. Anlogamente, el mnimo del conjunto de
los puntos de aglomeracin se denomina lmite inferior de la sucesin.
Por ejemplo , la sucesin acotada (a
n
)=(1,0,-1,1,0,-1,)tiene limite superior 1 y limite
inferior -1.
Se indica de la siguiente manera:
lim 1
n
a = y
1
lim 1 a =
Las propiedades mencionadas pueden demostrarse a partir de la siguiente definicin.
Definicion
El numero L es el lmite superior de la sucesin (a
1
)si y solo se verifican las dos condiciones
siguientes:
1) 0 0 / : ( )
n
n n N n a L o o e> - > e . > < +e ;
2) 0 e> existen infinitos valores de n para los cuales a
n
<L-e.
La primera condicin exige que todos los trminos de una sucesin, a partir de uno de ellos .
sean menores que L+e.
Esto indica que , elegido cualquier numero positivo ehay solamente un numero finito de
subndices n para los cuales se verifica a
n
> L-e.
La segunda condicin exige que haya , adems .infinitos subndices n para los cuales se cumple
a
n
> L-e..
Analogamente L es el limite inferior de(a
n
) si y solo si:
1) 0 0 / : ( )
n
n n N n a L o o e> - > e . > < +e
2) 0 e> existen infinitos valores de n para los cuales a
n
< L-e.
Por lo tanto , si L es el limite inferior de (a
n
) todos los trminos de la sucesin, a partir de uno
de ellos, son mayores que L-e.
Ademas solo puede haber un numero finito de subndices n para los cuales se verefica a
n
< L-e.
Hallemos el limite superior por intervalos encajados , yen forma anloga se puede encontrar
el limite inferior
Demostracion

SUBCESIONES O SUCESIONES PARCIALES
En la sucesin (a
n
)=(a
1
,a
2
,a
3
,a
n
) pueden considerarse infinitos trminos
a
h
,a
r
,a
s
y formar con ellos una nueva sucesin .
Por ejemplo, si (n)=(1,2,3,4,5,..),
La sucesin (2n)=(2,4,6,8,10..) esta contenida en la primera o es una sucesin de la
primera.
Si se considera la sucesin (a
n
)= (a
1
,a
2
,a
3
,a
n
) y un subconjunto del conjunto de los
nmeros naturales
{ }
1 2 3 .......,
, , ............
n
k k k k donde
1 2 3 .
............ ............
n
k k k k < < y
1
1 k > , se
obtiene la siguiente sucesin de (a
n
);
1 2 ..........
( ) ( ) ( , ,.......... )
n kn k k kn
b a a a a = =
Donde
1
1 k >
2 1 2 2
1 2 k k k k > > >
3 2 2 3
2 3 k k k k > > >
En general, resulta
.
:
n
n N k n e > .
Hay , por supuesto , infinitas subsecciones de la misma sucesion.
Ejemplo
1 1 1 1 1
( ) 1; ; ; ; ;..............; ;.......
2 3 4 5
n
a
n
| |
=
|
\ .

1 1 1 1 1
( ) ; ; ; ;..............; ;.......
2 4 6 8 2
n
b
n
| |
=
|
\ .

1 1 1 1 1
( ) 1; ; ; ; ;..............; ;.......
3 5 7 9 2 1
n
c
n
| |
=
|

\ .

2
1 1 1 1 1
( ) 1; ; ; ; ;..............; ;.......
4 9 16 25
n
d
n
| |
=
|
\ .

En este caso (b
n
),(c
n
)y(d
n
) son subsecciones de (a
n
).
Consideremos en especial (b
n
)
E s
1 1 2 2 2 4 3 3 5 2
; ; ................. ....
k k k n nk n
b a a b a a b a a b a a = = = = = = = =
Nota, Las subsucesiones pueden definirse como funciones compuestas. Consideremos el
ejemplo anterior, con la sucesin (a
n
)=(1/n) y la sucesin (b
n
)-=(1/2n)
Recordemos , en primer lugar , que una sucesin es una funcin cuyo dominio es N y cuyo
recorrido es una parte de R.
Definimos ahora una funcin k de N tal que ; ( ) 2 . n k n n
Obsrvese que k es una funcin estrictamente creciente.
Aplicamos despus una restriccin de a al recorrido de k al cual llamamos N
1
.
Es decir , consideramos ahora una restriccin de
A:
1 1
1
/ : ( ) N R n N a n
n
e = .
La funcin compuesta a ( )
1 1
1
; / : ( .. .. )( )
2
ak N R n N a o k n a k n
n
e = = (


Es una subsucesion de a.

SUCESIONES DE CAUCHY
Al considerar una sucesin de nmeros reales interesa conocer si es convergente o no. En
algunos casos puede aplicarse el teorema el teorema fundamental de convergencia para
sucesiones montonas acotadas .Si una sucesin est acotada y adems es montona. El lmite
coincide con el supremo si la sucesin es creciente. O con el nfimo si es decreciente, pero su
aplicacin requiere conocer
Puede suceder, en cambio, que la sucesin est acotada pero no sea montona. En este caso
es posible recurrir a la definicin de sucesin convergente, pero su aplicacin requiere conocer
de antemano cual es el lmite supuesto y luego demostrar que efectivamente lo es. Esta
situacin presenta dificultades, pues exige, en cierta forma, conocer por anticipado el nmero
que se quiere hallar.
Este inconveniente desaparece si se encuentra una condicin necesaria y suficiente para
determinar la convergencia de una sucesin, que no est referida directamente al valor del
lmite.
Esta condicin se conoce con el nombre de condicin de Cauchy y las sucesiones numricas
que la verifican se denominan sucesiones convergentes segn Cauchy , sucesiones de Cauchy o
sucesiones fundamentales
Definicin
Una sucesin numrica (a
n
) es una sucesin de Cauchy si y solo si, prefijado cualquier numero
positivo e, existe un numero positivo ( ) o e tal que para cualquier par de enteros positivos m
y n ambos mayores que o , se verifica;
n
a <e
Es decir,
(a
r
) sucesin de cauchy
{ } 0 0/ m n o o o e> - > > . >
El teorema siguiente asegura que cualquier sucesin convergente de nmeros reales es una
sucesin de Cauchy y recprocamente, que cualquier sucesin de cauchy es convergente