Unicidad del lmite: si una sucesin tiene lmite ste es nico.

Demostracin (reduccin al absurdo): supongamos que existieran dos lmites, a y a, distintos para una misma sucesin { a n } , necesariamente podremos encontrar dos entornos, uno de a y otro de a, disjuntos, es decir, sin puntos o elementos comunes, en trminos de conjuntos, en ( a, ) y ( a ', ' ) / ( a, ) ( a ', ' ) = , del siguiente modo !ea = a a ' , es decir, la distancia entre los dos lmites, tomemos entonces = y ' = , de este modo los entornos ya no solapan. " " a a

#or otro lado, de la de$inicin de lmite tenemos

a n = a n& % / p > n& , a p a, !i lm " n a n = a ' n ' % / p > n ' , a p a, !i lm " n !ea a(ora n = m)x ( n& , n ' ) , existir) entonces p / p > n , de modo que

por ser p > n ' y al mismo tiempo ser p > n& , entonces ap estar) o pertenecer) simult)neamente a ambos entornos, con lo que ( a, ) ( a ', ' ) en contradiccin a como (emos construido stos, luego no puede ser y el lmite (a de ser *nico.

+as sucesiones que tienen por lmite un n*mero real $inito se llaman convergentes. Si una sucesin tiene lmite entonces est acotada superior e inferiormente. Lo
contrario no es cierto necesariamente #or de$inicin de lmite ( a,&) dentro del cual se encuentran todos los trminos de la sucesin a partir de un cierto trmino p,simo. !ea entonces - = m)x { a& , a ' , a " L a p , a + &} , ste ser) una cota superior para la sucesin,

y del mismo modo m = mn { a& , a ' , a " L a p , a + &} ser) una cota in$erior para la misma.

Toda sucesin montona y acotada es convergente.

#or ser montona ser) creciente o decreciente, luego una de las dos de las siguientes a$irmaciones y demostraciones ser) su$iciente.

Toda sucesin decreciente y acotada inferiormente tiene lmite y ste coincide

con su e!tremo inferior. !e demuestra que si { a n } es una sucesin montona decreciente y acotada in$eriormente, tendr) un extremo in$erior m, el cual ser) a su .e/ el lmite

de la sucesin, ya que m ser) la mayor de todas las cotas in$eriores y si es un n*mero positi.o, m 0 no puede ser una cota in$erior. +o cual nos lle.a a que debe existir un trmino ap de la sucesin para el que se .eri$ique que m 0 1 ap 1 m. #or otro lado, por ser una sucesin montona decreciente n > p m + > a p > a n > m a n ( m, ) , es decir, m es el lmite de la sucesin.

Toda sucesin creciente y acotada superiormente tiene lmite y ste coincide

con su e!tremo superior. !i { a n } es una sucesin montona creciente y acotada superiormente, tendr) un extremo superior -, el cual ser) a su .e/ el lmite de la sucesin, ya que - ser) la menor de todas las cotas superiores y si es un n*mero positi.o, - 2 no puede ser una cota superior. +o cual nos lle.a a que debe existir un trmino ap de la sucesin para el que se .eri$ique que - 2 3 ap 3 -. #or otro lado, por ser una sucesin montona creciente n > p - < a p < a n < - a n ( -, ) , es decir, - es el lmite de la sucesin. "peraciones con lmites:

Lmite de una suma:

lm ( a n b n
n

= lm a n lm b n = a b
n n

, siendo a y # los

lmites respecti.os de { a n } y { b n } +o mismo sera si se tratara de una resta.

Lmite de un producto:

lm ( a n bn
n

= lm a n lm b n = a b
n n

, siendo a y # los

lmites respecti.os de { a n } y { b n }

Lmite de un cociente:

a lm n n bn

lm a n a = n = , siendo a y # los lmites res, lm b n n b

pecti.os de { a n } y { b n } , siempre que b 4

Lmite de una potencia:

respecti.os de { a n } y { b n }

lm ( a n bn
n

) = ( lm a
n

lm bn

= ab

, siendo a y # los lmites

Lmite de una constante por una sucesin:

siendo # el lmite de { b n }

lm ( - bn ) = - lm b n = - b
n n

Lmite de la potencia de una sucesin:

lmite de { a n }

lm ( a n - ) = lm a n
n n

= a-

, siendo a el