SUCESIONES DE NUMEROS REALES Definicin: Una sucesin numrica es una funcin cuyo dominio es N y cuyo codominio est incluido

en . f : N / f (n) = a n Ejemplos: 1) Si f (n) = n 2 ser a1 = f (1) , a 2 = f (2) , a 3 = f (3) ......... a n = f (n) Luego: f (1) = 1 , f (2) = 4 , f (3) = 9 , f (4) = 16 .......... f (n) = n 2 Es decir:
a1 a2 a3 a 4 .................. a n a n+1 .......

16 .................. n 2

( n + 1) 2 ........

A cada nmero natural le corresponde un trmino de la sucesin y solamente uno. 4

a2 1 a1
*

n 1 2 Simbolizamos ( a n ) n N = ( a1 , a 2 , a 3 , ........ , a n-1 , a n , a n+1 , ......) donde a1 es el primer trmino y a n el ensimo trmino de la sucesin. En el ejemplo: ( a n ) n N = ( n 2 ) = ( 1 , 4 , 9 , 16 , ........ , n 2 , ......)

La sucesin tiene infinitos trminos. En este caso el conjunto imagen es {1 , 4 , 9 , 16 , ....... , n 2 , ....} 2) Puede ocurrir que en una sucesin todos sus elementos tengan el mismo valor: = ( 2 , 2 , 2 , .....) (funcin constante) En este caso el conjunto imagen es {2} .
n n N

(a )

3) Tenemos dos maneras para representar grficamente a la sucesin. a) En 2 b) En

129

a)

a1

a2 2

a4 a3 3 4 a5 5

b)
0

a4

a5

a1

a2

de los elementos o puntos de la sucesin. En la representacin en hay que distinguir bien entre la sucesin (puntos en un orden de aparicin determinado) y el conjunto imagen de la sucesin. Ejercicios:
1 1) Escribir los cinco primeros trminos de la sucesin: ( a n ) n N = n 1 1 1 1 1 1 , , , , , ...., , ... n 2 3 4 5

La forma (b) tiene la ventaja de su simplicidad, pero en ella es necesario indicar el orden de los puntos para evitar confusiones. Sin peligro de confusin identificaremos la sucesin ( a n ) n N con estos puntos a n y hablaremos

n escriba los primeros trminos y el trmino ensimo: 2) Si ( n - 1) ! n 3 2 n = 1 , 2 , , ,........ , , ..... ( n - 1) ! ( n - 1) ! 2 3 3) Escriba el trmino general de: a) ( 1 , 2 , 3 , 4 , 5 , 6 , .....)

b) ( -1 , 1 , - 1 , 1 , - 1 , 1 , ......)

Rta: a n = n Rta: a n = ( -1)

n

Definicin por recurrencia de una sucesin: Es cuando la sucesin se define mediante reglas que permiten obtener cada trmino a partir de los anteriores, como por ejemplo: 1)
a1 = 1 f : N / f ( n) = a n+1 = 5 - a n

Por definicin a1 = 1 , para hallar los restantes es: a 2 = a1+1 = 5 - a1 = 5 - 1 = 4 , a 3 = a 2+1 = 5 - a 2 = 5 - 4 = 1 , etc. a n = 1 si n = 1 , n = 2 f : N / f ( n) = a n = a n- 2 + a n-1 si n > 2
130

2)

Vemos que: La sucesin es:

a 3 = a 2 + a1 = 1 + 1 = 2 (1 , 1 , 2 , 3 , 5 , 8 , 13 , .........) y se denomina sucesin de Fibonacci.

(Las sucesiones que estn dadas por un proceso recursivo son frecuentes en el clculo computacional). Igualdad de sucesiones: Dos sucesiones son iguales si sus trminos coinciden ordenadamente.

( a ) = ( b ) "n N :
n n

a n = bn

Damos algunas definiciones: Dadas las sucesiones numricas ( a n ) n N y ( bn ) n N definimos su: a) Suma s (n) = (a n + bn )nN b) Diferencia d (n) = (a n - bn )nN c) Producto p(n) = (a n .bn )nN

si k k ( a n ) = ( k . a n ) n N
nN

a d) Cociente, si bn 0,"n N : c(n) = n b n

1 1 1 Por ejemplo: Si ( a n ) n N = ( 2 , 4 , 6 , ..... , 2n , ...) y (bn )nN = 1 , , , ...... , , ... entonces: n 2 3 2 2n + 1 9 19 , ......... , , .... 1) (a n + bn )nN = 3 , , 3 n 2

2) (a n - bn )nN

7 17 2n 2 - 1 = 1 , , , .... 2 3 , ........ , n

3) ( a n . bn ) n N = ( 2 , 2 , 2 , ........ , 2 , ......) 4) 3 . ( a n ) = ( 6 , 12 , 18 , .......... , 6n , ......)

a = ( 2 , 8 , 18 , ........ , 2n 2 ,.....) 5) n bn n N

a - cn ) n N , ( a n . cn ) n N pero no est definida n porque algunos de los trminos de ( cn ) cn n N son ceros.

Nota: Si ( cn ) n N = ( 0 , 2 , 0 ,......... , 1 , + ( -1) , ......) entonces estn definidas ( a n + cn ) n N ,

n

(a

131

Sucesiones acotadas: El nmero real k es una cota superior de la sucesin ( a n ) si se cumple que "n N : a n k . Anlogamente h es cota inferior de ( a n ) si "n N : a n h . Una sucesin numrica que admite cota superior est acotada superiormente, y si admite cota inferior est acotada inferiormente. Si una sucesin admite cota inferior y cota superior, se dice que est acotada. La mayor de las cotas inferiores es el extremo inferior o nfimo, y la menor de las cotas superiores es el extremo superior o supremo, segn las definiciones ya conocidas.

Ejemplos: 1) ( a n ) = ( 1 , 2 , 3 , 4 ,........ , n , .....) es acotada inferiormente, 1 es el mnimo. 2) ( bn ) = ( -2 , - 3 , - 4 , - 5 , .... , - n , ....) es acotada superiormente, -2 es el mximo.
1 1 1 1 3) (c n ) = 1 , , , , ....., , ... est acotada, 1 es el mximo y 0 es el extremo n 2 3 4 inferior.

Punto de aglomeracin: ( a n ) = ( 1 , 0 , - 1 , 1 , 0 , - 1 , .......) En esta sucesin hay infinitos subndices n para los cuales a n = 1 . En efecto: a1 = a 4 = a 7 = ...... = 1 Anlogamente, hay infinitos subndices n para los cuales ( a n ) = 0 , a 2 = a5 = ...... = 0 y hay tambin infinitos subndices n para los cuales a n = -1 . Esta propiedad se indica diciendo que 0 , 1 y -1 son puntos de aglomeracin de la sucesin ( a n ) . En general, se dice que, un punto es de aglomeracin si prefijado cualquier entorno del mismo, hay infinitos valores de n para los cuales a n pertenece a dicho entorno. Observe que, a diferencia de lo exigido al definir punto de acumulacin de un conjunto, el entorno que se elige no es reducido. En el ejemplo, ninguno de los puntos de aglomeracin es, al mismo tiempo, punto de acumulacin de la imagen de ( a n ) . 1 1 1 1 En (bn ) = 3 , 1 , 3 , , 3 , , 3 , , 3 , , ....... hay dos puntos de aglomeracin: 3 y 0. En 5 4 3 2 este caso 0 es, adems, punto de acumulacin de la imagen. En ( cn ) = ( 1 , - 1 , 2 , - 2 , 3 , - 3 , 4 ,-4 , .......) no hay punto de aglomeracin.
Sucesiones convergentes:

Consideramos ( a n ) n1 y escribimos sus ocho primeros trminos, con a n =

1, 1 1 1 1 1 1 1 , , , , , , 2 3 4 5 6 7 8
132

1 n

Efectuemos la representacin en un diagrama cartesiano:

1
1 2 1 3

a1 a2 a3
1 2 3

Es evidente que a medida que aumenta el valor de n disminuye a n acercndose a cero. A partir de que trmino la distancia entre a n y cero es menor que 0,4 ?
a n - 0 < 0,4
1 2 1 2 5 < < n> ( es decir, a partir del tercer trmino en 2 n 5 n 5
1 1 1 1 1 ? 3 4 5 6 7

adelante, n = 3 ). En qu intervalo quedaron comprendido los trminos Evidentemente en ( 0 , 0,4) .

Es posible que a partir de cierto trmino en adelante la distancia entre a n y 0 sea tan pequea como queramos ? Para que la tolerancia que fijamos no sea un caso particular, tomemos un nmero real e > 0 . Para responder la pregunta debemos analizar, si existe, algn N a partir del cual se 1 verifique - 0 < e . Trabajemos con esta desigualdad e intentemos despejar n: n 1 1 <e n> n e 1 Entonces la respuesta es que s es posible, a partir de un N > e Por ejemplo si el margen de tolerancia es e = 10 -1 a partir del dcimo trmino la distancia entre a n y cero ser menor que 10 -1. En el ejemplo anterior observamos que los trminos de la sucesin se acercan a cero conforme aumenta n y que podemos hacer que la distancia entre a n y 0 sea tan pequea como se quiera, a partir de un N en adelante. Decimos que esta sucesin tiene lmite cero o que converge a cero y lo indicamos: lim a n = 0
n

Definicin:
n

lim a n = l "e > 0 , $ N / n N a n - l < e

133

 La sucesin ( a n ) n1 tiene lmite finito l o converge a l si y solo si para cualquier nmero real e > 0 que elijamos, existe un nmero natural N a partir del cual se verifica que la distancia entre a n y l se mantiene menor que e . Nota: Obsrvese que el lmite finito de una sucesin corresponde al lmite funcional: lim f ( x ) = l .
x +

Grficamente, prefijado un entorno cualquiera de l de radio e , es posible determinar un nmero N tal que los trminos a n de la sucesin que verifican n N , pertenecen a dicho entorno. Podemos decir, que una sucesin tiene lmite finito l si y solo si para todo e > 0 , en el intervalo ( l - e , l + e) estn todos los trminos de la sucesin con excepcin de un nmero finito de ellos ( N trminos si N ). Es decir, el lmite es un punto de aglomeracin de la sucesin, pero adems, es el nico punto de aglomeracin. Obsrvese que la definicin de lmite es mas fuerte que la de punto de aglomeracin. En efecto, la existencia de lmite finito implica la existencia de punto de aglomeracin nico, pero el recproco es falso (el contraejemplo lo dan sucesiones numricas que tienen punto de aglomeracin nico, pero no estn acotadas, como se ver mas adelante). Ejemplo: Aplicando la definicin de lmite vamos a verificar que lim
"e > 0 , $ N /

n -1 < e n +1

n =1 n +1

1 1 1 n n- n -1 < e n +1> n > -1 -1 = < e luego n+1 e e n+1 n+1 Entonces basta considerar: N > 1 -1 e

Observacin: La definicin de lmite de una sucesin numrica se usa para comprobar que un valor propuesto l es en realidad el lmite. No proporciona ningn medio para determinar inicialmente cual podra ser ese valor. Resultados posteriores contribuirn a este fin, pero con mucha frecuencia en la prctica es necesario llegar a un valor conjeturado del lmite mediante el clculo directo de varios trminos de la sucesin. Las computadoras pueden ser de suma utilidad a este respecto, pero como solo pueden calcular un nmero finito de los trminos de la sucesin, dichos clculos de ninguna manera son una demostracin del valor del lmite, sino que son nicamente una conjetura del mismo. (Bartle R. y Sherbert D., Introduccin al Anlisis Matemtico de una variable, Limusa, 1996, pg.89)

Propiedades de las sucesiones convergentes:

134

1) Unicidad del lmite finito: Una sucesin de nmeros reales puede tener a lo sumo un lmite . 2) Toda sucesin convergente de nmeros reales est acotada. Sea ( a n ) n1 tal que lim a n = l , por definicin de lmite sabemos que n N a n - l < e esto equivale a n N l - e < a n < l + e (significa que para n N todos los trminos caen en ( l - e , l + e) . Esto vale "e > 0 , luego vale para e = 1 : l - 1 < a n < l + 1 De la sucesin: a1 , a 2 , a 3 , ........ , a N -1 , a N , a N +1 ,....... todos estos trminos estn dentro del intervalo ( l - 1 , l + 1)
n

Tratemos de remediar el problema que presenta el conjunto finito A = {a1 , a 2 , a 3 , ........ , a N -1 } Sean: E 1 = minA
E 2 = maxA

tomo tomo luego

m = min{ E1 , l - 1}

"n

(a )

M = max{ E 2 , l + 1} ahora estamos seguros de que: m a n M

n n 1

est acotada.

Observacin: El recproco no es verdadero, ya que una sucesin acotada puede, o no, tener lmite finito. n Por ejemplo: -1 , 1 , - 1 , 1 , ........ , ( -1) ,...... est acotada y carece de lmite.

3.1) Si l > k ( k ) entonces n N a n > k 3.2) Si l < k ( k ) entonces n N a n < k Corolario: 1) Si a n > k para n N entonces l k 2) Si a n < k para n N entonces l k

3) Sea ( a n ) n1 convergente con lmite l .

4) Conservacin del signo: 4.1) Si lim a n = l y l > 0 entonces $ N / a n > 0 ( "n N ) 4.2) Si lim a n = l y l < 0 entonces $ N / a n < 0 ( "n N )
n n

5) Teorema de la intercalacin: Sean ( a n ) n1 y

a n cn bn ( "n ) entonces

(c )

(b )

n n 1

convergentes a l y ( cn ) n1 tal que

n n 1

converge a l.
135

6) Sean

(a )

n n 1

tal que lim a n = 0 y

n

(b )

n n 1

una sucesin acotada, entonces lim (a n . bn ) = 0

n

lgebra de lmites: Sean 1- lim( a n + bn ) = l1 + l2 2- lim( a n . bn ) = l1 . l2

n n n

(a )

n n 1

(b )

n n 1

tales que lim a n = l1 y lim bn = l2 entonces:

n n

3- lim( k . a n ) = k . l1 ( k ) 4- Si adems lim bn 0 entonces lim

n n

a n l1 = bn l2

Sucesiones divergentes: Consideremos f : / f (n) = n , obtenemos la sucesin de los nmeros naturales: ( 1 , 2 , 3 , 4 , ........ , n , .....) . Vemos que no tiene lmite finito ya que a partir de un N en adelante sus trminos superan a cualquier nmero real positivo que elijamos. Este tipo de sucesiones se denominan divergentes porque su lmite es infinito.

Definicin: 1) lim a n = + si y solo si "M > 0 $ N / n N a n > M

n

)
0 an-1 M an an+1

2) lim a n = - si y solo si "M > 0 $ N / n N a n < - M

n

(
an+1 an -M an-1 0

En ambos casos las sucesiones son divergentes. Ejemplo:

( n 2 ) n1 = (1 , 4 , 9 , ....... , n 2 , ........)
"M > 0 $ N / n N n 2 > M

lim n 2 = +

n2 > M n >

M luego N =

M +1

Se deber tener presente que en las expresiones anteriores los smbolos + y - se usan tan solo, como una notacin conveniente. Los resultados que se han demostrado para lmites finitos lim a n = l ( l ) pueden no seguir siendo vlidos cuando lim a n = .
n n

136

Sucesiones oscilantes: Una sucesin es oscilante si y solo si no tiene lmite finito ni infinito.

Por ejemplo: ( a n ) n1 tal que a n = ( -1)

a1 -2 a3 a5 -1

n +1 3 4 5 6 7 es: - 2 , , - , , - , , ...... n 2 3 4 5 6 a6 a4 a2 0 1 3/2

La sucesin no tiene lmite finito ni infinito. En efecto, prefijado cualquier entorno del nmero 1, en l hay infinitos trminos de la sucesin. Pero lo mismo ocurre con el nmero -1. 1 y -1 son dos puntos de aglomeracin de la sucesin. Ejercicio: Si existe, calcule el lmite de: 1- ( a n ) n1 = ( n + 1 - n )
n

lim( n + 1 - n ) = lim
lim 1 =0 n +1 + n 4n - 1 2 + 3n
2

n + 1 - n )( n + 1 + n )

n + 1 + n)

= lim

n + 1- n n +1+ n

2- ( bn ) n1 =

1 4n 4n 2 - 1 n = lim = + lim n 2 + 3n n 2 +3 n
1 n 2n + 1 2 no tiene lmite lim n + ( -1) n 2 n+2

1 n 2n + 1 3- ( cn ) n1 = n + ( -1) 2 n+2

Sucesiones parciales o subsucesiones: La sucesin ( bn ) es una sucesin parcial de ( a n ) n1 si ( bn ) se obtiene tomando infinitos

trminos de la sucesin ( a n ) , en el mismo orden que aparecen en ella.

Ejemplo: la sucesin

(a n )n1 = 1 =1 , 1 , 1 , 1 , ........, (bn )n1

1 , .... n n 2 3 4 1 1 1 1 1 1 = = , , , , ....... , , .... es una sucesin parcial de ( a n ) n1 2n 2n 2 4 6 8

137

Es decir, ( bn ) est contenida en ( a n ) . Definicin: Dada ( a n ) decimos que a nk = a n1 , a n2 , a n3 , ............ , a nk

n1 < n2 < ...... < n k < ..... es una sucesin parcial de la dada.

( ) (

con

Propiedad: lim a n = l lim a nk = l ( l puede ser finito o infinito).

n n

Lo demostramos para l finito: H) lim a n = l ( l )

n

T) lim a nk = l ( l )
n

Por definicin de lmite finito n N

an - l < e

Por definicin de sucesin parcial n k k , a nk es coincidente o posterior a a n , luego

n k a nk - l < e lim a nk = l
n

Toda sucesin es subsucesin de si misma (trivial). Consecuencias: lim a n = l y bn = a n+1 lim a n+1 = l
n n n

lim a n = l y bn = a n+r (r ) lim bn = l

n

Sucesiones montonas:

Definiciones: Una sucesin es creciente si y solo si "n : a n a n +1 y es estrictamente creciente si y solo si "n : a n < a n +1

( a ) sucesin decreciente si y solo si

n

"n : a n a n +1 y es estrictamente decreciente si y

solo si

"n : a n > a n +1

Las sucesiones crecientes o decrecientes se denominan montonas. Una sucesin acotada puede o no tener lmite finito, ( a n ) n1 = ( 0 , 1 , 2 , 0 , 1 , 2 , 0 , 1 , 2 , .....)

est acotada y no tiene lmite. En cambio, si la sucesin acotada es adems montona, entonces puede asegurarse la existencia de lmite finito. Teorema fundamental: Una sucesin montona est acotada si y solo si es convergente. Ya se vio que una sucesin de nmeros reales que no tiene lmite, puede tener varios puntos de aglomeracin.
138

Si la sucesin est acotada puede probarse que el conjunto de sus puntos de aglomeracin tambin est acotado. Puede probarse adems, que el extremo superior de ese conjunto es su mximo y se lo llama, lmite superior de la sucesin. Anlogamente, el mnimo de los puntos de aglomeracin se denomina lmite inferior de la sucesin. Si una sucesin numrica est acotada entonces tiene lmite inferior y lmite superior. Nota: ( a n ) creciente y acotada, lim a n = Max{a n / n }

(a ) (a ) (a )
n n n

decreciente y acotada, lim a n = min{a n / n }

n

creciente y no est acotada superiormente, lim a n = +

n

decreciente y no est acotada inferiormente, lim a n = -

n n

1 El nmero e: Una sucesin importante es: ( a n ) n1 con a n = 1 + n Esta sucesin es de trminos positivos, se puede demostrar que es montona estrictamente creciente y que est acotada 2 < a n < 3 , "n , por lo tanto tiene lmite finito o sea es convergente, y dicho lmite es: n 1 lim1 + = e n n

Criterio de DAlambert: Se utiliza para analizar la convergencia de una sucesin numrica de trminos positivos. a Sea ( a n ) n1 una sucesin de trminos positivos, calculemos el lim n+1 = l n a n 1) Si l < 1 entonces lim a n = 0

2) Si l > 1 entonces lim a n = + 3) Si l = 1 este criterio no nos da informacin para analizar la convergencia.
5n Ejemplo: Analice la convergencia de: 1) ( a n ) n1 = ( n + 1) ! n1
n

Utilizamos DAlambert

a n+1 an

5n+1 5n 5 ( n + 1) ! 5 ( n + 1) ! ( n + 2) ! 5 = = = = n n ( n + 2)( n + 1) ! n + 2 ( n + 2) ! 5 5 ( n + 1) !
a n+1 5 = lim = 0 < 1 lim a n = 0 (converge a cero) n n + 2 n an
139

lim

2) ( bn ) n1

n! = n 3 n 1

bn+1 = bn

( n + 1) !
3n+1 n! 3n
=

( n + 1) n! 3n
3 3
n

n!

1 ( n + 1) 3
n! = n es divergente 3 n 1

bn+1 1 = lim ( n + 1) = + , entonces n b n 3 n lim

(b )

n n 1

Criterio de Cauchy para convergencia de sucesiones: Se aplica a sucesiones numricas de trminos positivos. Sea ( a n ) n1 una sucesin de trminos positivos, entonces calculemos el lim n a n = l

1) Si l < 1 entonces lim a n = 0 2) Si l > 1 entonces lim a n = +

n n

3) Si l = 1 este criterio no nos da informacin para analizar la convergencia. Ejemplos: 1)

(a )

n n 1

3n n = n + 1 n1
n n

3n 3n = lim = 3>1 lim a n = lim n n n + 1 n n + 1

n

lim a n = + es divergente
n

2) ( bn ) n1

3n + 2 n2 = 4n + 1 n1
n2

3n + 2 lim n bn = lim n n n 4n + 1

3n + 2 = 0 < 1 lim bn = 0 es convergente = lim n 4n + 1 n

Se puede probar que: Teorema de DAlambert Teorema de Cauchy (Teorema fundamental de convergencia de sucesiones numricas). Sea ( a n ) n1 una sucesin de nmeros reales positivos tal que:
a 4 < n+1 - 2 < n 2 , "n > 3 , demuestre que: lim n a n = 3 n an
140
n

Ejercicio:

Solucin:

"n > 3 :

a 4 < n+1 - 2 < n 2 entonces podemos escribir an

a n +1 - 2 < n n 2 an
a n+1 n 2 < n +2 an
n n
n

4<

4<

a n+1 - 2 < n n2 an

4 +2<

Si consideramos cn = n 4 + 2 vemos que lim cn = lim ( n 4 + 2) = 3 pues

n

lim n k = 1 con k > 0

bn = n n 2 + 2 entonces lim bn = lim

n

n 2 + 2 = 3 pues lim n n = 1
n

Tenemos entonces que cn <

a n+1 <b n y por otro lado que lim cn = lim bn = 3 n n an

Luego por el teorema de intercalacin es: lim

a n+1 = 3 ( DAlambert ) n a n Como DAlambert implica Cauchy (teorema fundamental de convergencia de sucesiones), se cumple que: lim n a n = 3
n

Nota: Dadas dos sucesiones numricas de trminos positivos ( a n ) n1 y que ( bn ) n1 es minorante de ( a n ) n1 .

"n : a n bn y adems ( bn ) es divergente entonces ( a n ) n1 tambin es divergente. Se dice

(b )

n n 1

tal que

Ejercicio: Sea ( a n ) n1 una sucesin real tal que Solucin:

2 n n 5n a n , "n . Calcule lim - - 6 n n a 6 n

n n 5n n n 5n a n , llamamos bn = n por criterio de convergencia de DAlambert para 6n 6 sucesiones es: (n + 1)n+1 5 n+1 bn +1 (n + 1)n+1 5 n+1 6 n = lim n + 1 n (n + 1) 5 6 n +1 = lim = lim lim n n n b n 6 n n 5n n n 5 n 6 n+1 n n n 6
141

5 1 lim 1 + ( n + 1) = + 6 n n
n n

(b )

n n 1

es divergente

Luego, si lim bn = + lim a n = + porque ( bn ) n1 es una sucesin minorante de ( a n ) n1 por lo tanto lim
2 1 = 0 . En consecuencia lim - - 6 = -6 n a an n

142