Sucesiones y Series

Sucesiones
Se denomina sucesin a una funcin cuyo dominio es el conjunto de los nmeros
naturales.
Para denotar el n-simo elemento de la sucesin se escribe an en lugar de f(n)
Ejemplo:
an = 1/n
a1 = 1, a2 = 1/2, a3 = 1/3, a4 = 1/4, ...
Sucesiones montonas
a) Creciente
Una sucesin es montona creciente si se cumple que para todo n natural an <=
an+1 (a1 <= a2 <= a3 <= ... <= an).
Ejemplo:
an = n es montona creciente.
a1 = 1, a2 = 2, a3 = 3, a4 = 4, ...
b) Decreciente
Una sucesin es montona decreciente si se cumple que para todo n natural an >=
an+1 (a1 >= a2 >= a3 >= ... >= an).
Ejemplo:
an = 1/n es montona decreciente.
a1 = 1, a2 = 1/2, a3 = 1/3, a4 = 1/4, ...

Limite de una sucesin

Consideremos la sucesin an = 1/n.
a1 = 1
a2 = 1/2 = 0.5

a3 = 1/3 0.33
a4 = 1/4 = 0.25
a5 = 1/5 = 0.2
a6 = 1/6 0.17
a7 = 1/7 0.14
a8 = 1/8 0.12
a9 = 1/9 0.11
a10 = 1/10 = 0.1
A medida que aumenta n, los trminos de la sucesin son cada vez ms cercanos a 0. Si
representamos los trminos como puntos en una lnea, esto significa que los puntos an se
apian cada vez ms cerca del punto 0 conforme n crece.
Se dice que an tiende a 0, o que tiene lmite 0.
Se expresa simblicamente por: lim an = 0 o bien, ocasionalmente, por la notacin
abreviada an -> 0.
lim an = a <=> para todo >0 existe N natural / para todo n > N a - < an < a + , o lo que
es lo mismo, |an - a| < .
Para cualquier nmero positivo , por pequeo que sea, podemos encontrar un natural N
suficientemente grande tal que a partir del ndice N en adelante se tiene que |an - a| < .
Es decir, si tomamos un entorno de a de cualquier radio siempre habr un subndice N tal
que desde N en adelante todos los trminos de la sucesin pertenecen a dicho entorno.

Limite infinito de una sucesin

Consideremos la sucesin an = n2.
a1 = 1
a2 = 4
a3 = 9
a4 = 16
...
a10 = 100
...
a100 = 10.000
Al crecer n, an no tiende a un lmite definido, sino que crece ms all de toda cota. Se dice
que an tiende a infinito.
lim an = +inf <=> para todo K>0 existe N natural / para todo n > N an > K.
Para cualquier nmero positivo K (tan grande como se quiera), podemos encontrar un
natural N, tal que aN y todos los trminos siguientes son mayores que K. Esto quiere decir
que an puede hacerse mayor que cualquier cota, con tal de que n sea lo suficientemente
grande.

Del mismo modo se define lim an = -inf <=> para todo K<0 existe N natural / para todo n >
N an < K.

Convergencia y divergencia
Cuando una sucesin tiene lmite finito a se dice que es convergente y converge a a.
Una sucesin que tiene lmite infinito se llama divergente.
Una sucesin que carece de lmite se llama oscilante.
La sucesin an = 1/n converge a 0.
La sucesin an = n2 es divergente.
La sucesin an = sen n es oscilante, pues sus valores varan entre 1 y -1.

Sucesiones convergentes
Si una sucesin de nmeros reales tiene por lmite a L decimos que es convergente a L.
Si no tiene lmite, decimos que es divergente.
Si una sucesin de nmeros reales converge a L entonces no puede converger a otro
lmite M distinto de L.
Si la sucesin de nmeros reales es convergente a L, entonces cualquier subsucesin es
tambin convergente a L.

Propiedades del lmite finito de sucesiones

Unicidad del lmite
Si una sucesin tiene lmite es nico.
H) lim an = b
T) b es nico
Demostracin:
La demostracin se hace por reduccin al absurdo.
Suponemos que an tiene dos lmites distintos b y c.
Suponemos que b > c.
lim an = b => (por def. de lmite finito de una sucesin) para todo >0 existe n1 natural /
para todo n > n1 b - < an < b + ;
lim an = c => (por def. de lmite finito de una sucesin) para todo >0 existe n2 natural /
para todo n > n2 c - < an < c +

Consideremos un tal que c+ < b-, o sea < (b - c)/2

Sea N = max {n1,n2}
Para todo n > N se cumple

b - < an < b +
c - < an < c +

Absurdo, pues an no puede pertenecer a dos entornos disjuntos.

Absurdo de suponer b c.
Por lo tanto b = c.
Lmite de la sucesin comprendida
Si una sucesin est comprendida entre otras dos que tienen igual lmite, entonces tiene
el mismo lmite.
H) lim an = lim bn = p
Para todo n > n0 an <= cn <= bn
T) lim cn = p
Demostracin:
lim an = p => (por def. de lmite de una sucesin) para todo 1 > 0 existe n1 natural / para
todo n > n1 p - 1 < an < p + 1
lim bn = p => (por def. de lmite de una sucesin) para todo 2 > 0 existe n2 natural / para
todo n > n2 p - 2 < bn < p + 2
Sea N = max {n0, n1, n2}
Para todo n > N se cumple p-1 < an <= cn <= bn < p+2
p-1 < cn < p+2
Sea = min {1, 2}
Para todo n > N p- < cn < p+
=> (por def. de lmite de una sucesin) lim cn = p.

Operaciones con lmites

El lmite de la suma, producto y cociente de sucesiones se determina por las mismas
reglas que para las funciones de variable continua. Las demostraciones son iguales, basta
sustituir f(x) por an y considerar que la tendencia siempre es hacia +infinito. Aqu slo
demostraremos el lmite de una suma. Para ver las dems reglas visitar la pgina sobre
operaciones con lmites.

Lmite de la suma
Si dos sucesiones tienen lmite finito, entonces su suma tiene lmite finito y es igual a la
suma de esos lmites.
H) lim an = a, lim bn = b
T) lim an + bn = a + b
Demostracin:
Queremos probar que, dado > 0, existe N > 0 tal que para todo n > N |(an + bn) - (a+b)| <
.
Sea ' = /2
lim an = a => (por def. de lmite finito de una sucesin) para todo ' > 0 existe n0 natural /
para todo n > n0 |an - a| < '.
lim bn = b => (por def. de lmite finito de una sucesin) para todo ' > 0 existe n1 natural /
para todo n > n1 |bn - b| < '.
Sea N = max {n0, n1}
Para todo n > N se cumple:

|an - a| < '

|bn - b| < '

=> |an - a| + |bn - b| < 2' =

|(an + bn) - (a+b)| = |(an - a) + (bn - b)| <= (*) |an - a| + |bn - b| <
(*) Desigualdad triangular: |x + y| <= |x| + |y|
Resumiendo, dado >0 existe N / para todo n > N |(an + bn) - (a+b)| <
=> (por def. de lmite finito de una sucesin) lim an + bn = a + b

Sucesiones equivalentes
Dos sucesiones se dicen equivalentes cuando el lmite de su cociente es 1.

Sucesin acotada

M es cota superior de la sucesin an si an < M para todo n.

m es cota inferior de la sucesin an si an > m para todo n.
Una sucesin es acotada si tiene tanto cota superior como inferior.
Toda sucesin montona y acotada converge.
H) an montona
Existen m y M / m < an < M para todo n.
T) lim an = b
Demostracin:
Queremos probar que existe N / para todo n > N |an - b| < .
Supongamos que an es creciente (si suponemos que es decreciente, la demostracin es
anloga).
an < M para todo n
Es decir que el conjunto de todos los trminos de la sucesin S = {a1, a2, a3, ...} tiene
extremo superior (la menor de las cotas superiores), llammosle b.
Sea >0
b - no es cota superior de S pues es menor que el extremo superior
=> existe N / aN > b-.
an es creciente => para todo n > N an >= aN => an > b- => -(an - b) < (1)

b+ tambin es cota superior de S

=> para todo n an < (b+) => => an - b < (2)

=> De 1) y 2) para todo n > N |an - b| <

Toda sucesin convergente es acotada.
H) an convergente
T) an acotada
Demostracin:
an es convergente, eso significa que tiene lmite finito: lim an = a

=> (por def. de lmite finito de una sucesin) para todo >0 existe N / para todo n > N a- <
an < a+
=> (por def. de sucesin acotada) an est acotada.
Nota: El recproco no es cierto. Que una sucesin est acotada no implica que sea
convergente.
Contraejemplo: an = (-1)n est acotada pero no es convergente.
-1, 1, -1, 1, -1, 1, -1, 1, ...

Series
Dada una sucesin an es posible formar una nueva sucesin Sn del siguiente modo:
S1 = a1
S2 = a1 + a2
S3 = a1 + a2 + a3
S4 = a1 + a2 + a3 + a4
...
Sn = a1 + a2 + a3 + a4 + ... + an
La sucesin Sn se llama serie y se denota por
+inf
n=1 an o simplemente an
Los elementos a1, a2, a3, ..., an, ... de la sucesin original son los trminos de la serie y S1,
S2, S3, ..., Sn, ... se denominan las sumas parciales de la serie.
Una serie es una sucesin de sumas parciales.

Clasificacin de una serie

Si la sucesin Sn tiene lmite finito S, la serie es convergente (converge a S). A S

se le llama suma de la serie.
Si lim Sn = +inf o -inf se dice que la serie es divergente.
Si Sn no tiene lmite, se dice que la serie es oscilante.

Nota: Sn es la sucesin de sumas parciales, no la sucesin an.

Propiedades de las series

Propiedad asociativa

En toda serie se pueden sustituir varios trminos por su suma efectuada, sin que vare el
caracter ni la suma de la serie.
Nota:
a. La propiedad asociativa no es vlida en series oscilantes.
b. La propiedad disociativa no es vlida para series convergentes o divergentes.

Propiedad distributiva
H) an converge y su suma es S
T) kan converge y su suma es kS
Demostracin:
Sn = an
Tn = kan
lim Sn = lim a0 + a1 + ... + an = S
lim Tn = lim ka0 + ka1 + ... + kan = lim k(a0 + a1 + ... + an) = kS
=> kan converge y su suma es kS.
De manera anloga:

Si an diverge, kan tambin diverge.

Si an es oscilante, kan tambin es oscilante.

Propiedad aditiva
H) Sean Sn = an y Tn = bn dos series convergentes con sumas S y T respectivamente.
T) La serie an+bn es convergente y su suma es S + T.
Demostracin:
El trmino n-simo de la serie an+bn es Sn + Tn
lim Sn + Tn = lim Sn + lim Tn = S + T (por lmite de una suma de sucesiones)
=> an+bn converge a S+T

Propiedad de linealidad

H) Sean Sn = an y Tn = bn dos series convergentes con sumas S y T respectivamente,

y sean h y k dos constantes.
T) La serie kan+hbn es convergente y su suma es kS + hT.
Demostracin:
an converge a S => por la propiedad distributiva, kan converge a kS
bn converge a T => por la propiedad distributiva, hbn converge a hT
=> por la propiedad aditiva kan+hbn converge a kS + hT

Condicin necesaria para la convergencia

Es condicin necesaria para que la serie an sea convergente, que lim an = 0.
H) Sn = an convergente
T) lim an = 0
Demostracin:
Sn = a1 + a2 + ... + an-1 + an
Sn-1 = a1 + a2 + ... + an-1
an = Sn - Sn-1
Sn es convergente => lim Sn = lim Sn-1 = S
lim an = lim Sn - Sn-1 = S - S = 0
Nota: Este criterio es necesario pero no suficiente, es decir que, si el trmino n-simo
tiende a 0, no se puede afirmar que la serie sea convergente.
Contraejemplo: 1/n es divergente aunque lim an=0

Series de trminos positivos

Serie de trminos positivos (STP)
Es una serie an tal que an>=0 para todo n.
(La serie es siempre una sucesin creciente).
Ejemplo: 1/2n
Criterios de convergencia para STP

Una serie de trminos positivos an converge si y slo si la sucesin de sus sumas

parciales est acotada superiormente.
Demostracin:
Directo:
an converge => lim Sn = S => (por def. de lmite finito de una sucesin) para todo > 0
existe N / para todo n>N S - < Sn < S +
=> Sn est acotada superiormente.
Recproco:

n es montona creciente por ser de trminos positivos.

< M para todo n

Toda sucesin montona y acotada converge (ver teorema) => Sn converge

Ejemplo: 1/n!
1/n! <= 1/2n-1 para todo n>=1 pues n! >= 2n-1 ya que n! es el producto de (n-1) factores
mayores o iguales que 2.
Por lo tanto 1/n! <= 1/2n-1 = (1/2)n-1 = 2 por ser una serie geomtrica (a=1, k=1/2).
Por el teorema anterior 1/n! converge y su suma es menor que 2.
Criterio de comparacin
Sean an y bn dos series de trminos positivos.
Si existe una constante c > 0 tal que an <= cbn para todo n, entonces la convergencia de
bn implica la de abn.
Demostracin:
Sn = an = a1 + a2 + ... + an
Tn = bn = b1 + b2 + ... + bn
an <= cbn para todo n
=> Sn <= c.Tn
Por hiptesis Tn = bn converge => (teorema) la sucesin de sus sumas parciales est
acotada superiormente: Tn < M
=> Sn <= cTn < cM
=> an es convergente pues la sucesin de sus sumas parciales est acotada
superiormente (teorema).

Nota: El teorema tambin es valido si an <= cbn para todo n >= N.

Sean an y bn dos series de trminos positivos.
Si existe una constante c > 0 tal que an >= cbn para todo n, entonces si bn diverge, an
tambin diverge.
Demostracin:
Sn = an
Tn = bn
bn diverge => lim Tn = +inf => lim cTn = c.lim Tn = +inf
Sn >= cTn => lim Sn = +inf => an diverge.
Ampliacin del criterio
Sean an y cn dos series de trminos positivos.
an y cnan convergen o divergen simultneamente.
Criterio de comparacin por paso al lmite
Sean an y bn dos series de trminos positivos.
Si lim an/bn = k > 0, entonces an converge si y slo si bn converge. ( an y bn son de
la misma clase).
Demostracin:
lim an/bn = k > 0 => (por def. de lmite finito de una sucesin) para todo > 0 existe N /
para todo n > N |an/bn - k| < o sea k - < an/bn < k +
Directo:
bn < (1/(k-))an
=> por el criterio anterior, si an converge, bn converge .
Recproco:
an < (k+)bn
=> por el criterio anterior, si bn converge, an converge.
Si an y bn son sucesiones equivalentes (lim an/bn = 1) => por el teorema anterior, an y
bn son de la misma clase. Por lo tanto, para clasificar una serie de trminos positivos an,
se puede sustituir an por su equivalente bn.
Ejemplo:

1
----n(n+1)
1
1
----- es equiv. a --n(n+1)
n2
1
1
=> ----- converge pues --- converge
n(n+1)
n2
Criterio de D'Alembert
H) Sea an una serie de trminos positivos.
an+1/an <= k < 1 para todo n >= N
T) an converge.
Demostracin:
an+1 <= kan (k<1) para todo n>=N.
aN+1 <= kaN
aN+2 <= kaN+1
...
an+1 <= kan
Multiplicamos: aN+1.aN+2.....an+1 <= kn-N+1.aN.aN+1.....an
an+1 <= knaN/kN-1
an+1 <= Hkn donde H = aN/KN-1
k<1 => kn converge (es una serie geomtrica) => por la propiedad distributiva Hk n
converge => por el criterio de comparacin an converge
H) Sea an una serie de trminos positivos.
an+1/an >= 1 para todo n >= N
T) an diverge.
Demostracin:
an+1 >= an >= an-1 >= ... >= aN > 0
an es creciente
n >= 0 para todo n
=> an no tiende a 0 => (por Condicin necesaria para la convergencia) an diverge.

Corolario de D'Alembert
H) Sea an una serie de trminos positivos.
lim an+1/an = L < 1
T) an converge.
Demostracin:
lim an+1/an = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para
todo n > N |an+1/an - L| < o sea L - < an+1/an < L +
Para que L + < 1 basta elegir < 1 - L
Para todo n>N an+1/an < L+ < 1 => por el teorema anterior an converge.
H) Sea an una serie de trminos positivos.
lim an+1/an = L > 1
T) an diverge.
Demostracin:
lim an+1/an = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para
todo n > N |an+1/an - L| < o sea L - < an+1/an < L +
Para que L - > 1 basta elegir < L - 1
Para todo n>N an+1/an > 1 => por el teorema anterior an diverge.

Cuando el lim an+1/an = 1+ la serie an diverge.

lim an+1/an = 1+ => an+1 >= an => el trmino general an no tiende a 0 => an diverge.
Cuando lim an+1/an = 1- D'Alembert no se aplica.
1/n
lim an+1/an = lim (1/n+1)/(1/n) = lim n/n+1 = 1- y 1/n diverge.
1/n2
lim an+1/an = lim (1/(n+1)2)/(1/n2) = lim n2/(n+1)2 = 1- y 1/n2 converge.

Serie geomtrica

Aquella cuyos trminos forman una progresin geomtrica. (Cada trmino es igual al
anterior multiplicado por una constante).
Si llamamos a al primer trmino y k a la constante,
Sn = a + ak + ak2 + ak3 + ... + akn-1 = akn-1
Multipliquemos ambos miembros por k:
kSn = ak +ak2 + ak3 + ak4 + ... + akn = akn
Restamos ambas ecuaciones:
Sn - kSn = a - akn
(a-akn)
Sn = ------(1-k)
a
akn
Sn = --- - --1-k
1-k

Para |k| < 1 lim Sn = a/(1-k) pues kn -> 0, la serie geomtrica converge.
Para |k| > 1 la serie diverge pues kn -> inf.
Para k = 1 la serie diverge pues Sn = na.
Para k = -1 la serie es oscilante.
D Osc C D
D
------|------|------1
1

Serie telescpica
Serie tal que cada trmino se expresa como una diferencia de la forma an = bn - bn+1.
Suma de una serie telescpica
Sean an y bn dos sucesiones tales que an = bn - bn+1.
La serie telescpica an converge si y slo si la sucesin bn converge y se cumple que an
= b1 - L donde L = lim bn+1.
Demostracin:
Sn = an = (bn - bn+1) = (b1 - b2) + (b2 - b3) + ... + (bn - bn+1) = b1 - bn+1
lim Sn = lim b1 - lim bn+1
Por lo tanto an converge si y slo si bn converge, y en ese caso su suma es b1 - L, donde L
= lim bn+1. (Si bn diverge, an tambin).

Ejemplo: Sn = 1/(n2 + n)
an = 1/(n2 + n) = 1/n - 1/n+1
bn = 1/n converge a 0
=> 1/(n2 + n) converge a 1 - lim 1/n+1 = 1