Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Patrici
Molins
Mata
(pmolinas@uoc.edu),
Jos
Francisco
Martnez
Bosc
(jmartinezbos@uoc.edu)
MAPA CONCEPTUAL
________________________
Definicin
SUCESIONES
DE NUMEROS
REALES
Trmino
general
Sucesiones
montonas
Sucesiones
acotadas
Aritmtica de lmites
Indeterminaciones
Simplificaciones
Criterio de Stolz
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
INTRODUCCIN
___________________
___________________________________
Conocer las propiedades fundamentales del lmite de una sucesin as como introducir la
aritmtica de los lmites.
CONOCIMIENTOS PREVIOS
___________________________________
CONCEPTOS FUNDAMENTALES
______________________________
En el lenguaje corriente las palabras serie y sucesin son sinnimas y se utilizan para designar un
conjunto de cosas o sucesos dispuestos en un orden. En Matemticas, estas palabras tienen un
significado tcnico especial. La palabra sucesin tiene un sentido anlogo al del lenguaje corriente,
pues con ella se quiere indicar un conjunto de objetos puestos en orden, pero la palabra serie se
usa en un sentido completamente distinto. Aqu se estudiar el concepto de sucesin dejando el de
serie para definirlo ms tarde en el Mathblock Series de nmeros reales.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
a1 , a 2 , K, a n , K ,
define una sucesin infinita. Cada trmino de la sucesin tiene asignado un entero positivo, de
manera que se puede hablar del primer trmino a1 , del segundo trmino a 2 y en general del trmino
n-simo a n . Cada trmino a n tiene un siguiente a n 1 y por tanto no hay un ltimo trmino.
Los ejemplos ms corrientes de sucesiones se pueden construir dando alguna regla o frmula que
defina el trmino n-simo. As, por ejemplo, la frmula a n = 1 n define la sucesin cuyos cinco
primeros trminos son:
1 1 1 1
1, , , , .
2 3 4 5
Podemos definir de manera ms formal una sucesin de nmeros reales como una aplicacin h de
los nmeros naturales N en el conjunto R de los nmeros reales: h : N R , n h( n) = x n . La
imagen de n recible en nombre de trmino n-simo o trmino general de la sucesin. Podemos
tambin definir una sucesin de nmeros reales como aquella funcin f cuyo dominio es el conjunto
infinito de todos los enteros positivos 1,2,3,4,5, K . El valor f (n) de la funcin se denomina el
trmino n-simo de la sucesin.
De alguna forma hemos readaptado el concepto de funcin continua, donde hemos fijado el dominio
de la funcin como el conjunto de los naturales, N. En lo que sigue, diremos que dos sucesiones
{a n } y {bn } son iguales si x n = y n para todo n N .
Sucesin acotada
Una sucesin {a n } se dice que est acotada si existe un nmero positivo K tal que a n K para
todo n . Entonces, K es una cota de la sucesin {a n } .
Vemos, como ejemplo, que la sucesin mencionada anteriormente a n = 1 n est acotada. Basta con
fijarse que para n 1 , 1 1 n . Por lo tanto, la sucesin est acotada y las cotas sn todos los
nmeros reales mayores o iguales a la unidad.
Una sucesin es no acotada si para cualquier valor G , arbitariamente grande, existe un nmero
natural n tal que a n > G .
que dado un valor G arbitrariamente grande, entonces existe un valor de n tal que a n > G . Para
ello, nos debemos fijar en que para cualquier G
an =
es posible encontrar un
n tal que:
n +1
1
= n + > G puesto que n puede hacerse arbitrariamente grande.
n
n
2
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Sucesin montona
Una sucesin {a n } se dice que es creciente si para todo nmero natural n se verifica que
a n +1 a n . Una sucesin {a n } se dice que es decreciente si para todo nmero natural n se verifica
que a n +1 a n . Una sucesin es montona si es creciente o decreciente.
Nos proponemos ahora demostrar que la sucesin con trmino general: a n =
n
es montona
n +1
creciente. Si queremos comprobar que la sucesin es montona creciente, tenemos que demostrar
que a n a n +1 . Vemoslo:
?
a n a n +1
substituyendo:
n ? n +1
n + 1 (n + 1) + 1
simplificando:
n ? n +1
n +1 n + 2
multiplicando en cruz:
?
n(n + 2 ) (n + 1)
desarrollando:
?
n 2 + n n 2 + 2n + 1
obtenemos finalmente:
?
0 1
que es una desigualdad cierta y, por lo tanto, todas las anteriores tambin lo son y, en particular, la
primera. Acabamos, pues de demostrar que la sucesin considerada es montona creciente.
Una sucesin {a n } tiene limite l si, para cada nmero positivo , existe otro nmero positivo N
an l <
para todo
n N.
lim a n = l
n
o que
a n l cuando n
Una sucesin que no converge, puede divergir cuando no est acotada inferiormente o superiormente
o oscilar cuando su valor varie entre dos o ms valores fijos para n .
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
A continuacin vemos una serie de resultados que nos permiten calcular lmites sin utilizar la
definicin. Supongamos las sucesiones {a n } y {bn } tales que sus lmites existen, es decir, que
existen dos nmeros reales tales que: lim a n = A y limb n = B , entonces:
n
2.
lim a n +bn = A + B
3.
lim a n bn = A B
4.
lim a n bn = A B
5. Si B 0 , entonces lim
n
6.
an A
=
bn B
lim an n = AB
Sucesiones divergentes
Una sucesin {a n } tiende a si para todo nmero real G > 0 existe un entero N tal que n > N ;
semejante, una sucesin {bn } tiende a si para todo nmero real G > 0 existe un entero N tal
que n > N ; bn < G . Lo denotaremos en un abuso de lenguaje matemtico como
lim bn = .
n
A menudo la resolucin de un lmite requiere darse cuenta que la sucesin diverge, oscila o tiende a
una valor determinado sin efectuar un clculo explcito del lmite. Este ltimo caso corresponde a la
situacin que vamos a exponer seguidamente que se resuelve aplicando la regla del bocadillo.
Veamos en que consiste.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
an =
Construyamos dos sucesiones, una mayor y una menor que {a n } de la siguiente forma:
cos n
1
1 cos1 cos 2
n 2 2 + 2 +K+ 2 n 2
n
n
n
n
n
Hacemos un paso en el lmite y tenemos:
1
cos n
cos 1 cos 2
1
lim n 2 lim 2 + 2 + K + 2 lim n 2
n
n
n
n
n
n
n
cos n
cos 1 cos 2
0 lim 2 + 2 + K + 2 0
n
n
n
n
Por la regla del bocadillo tenemos que:
cos n
cos 1 cos 2
lim 2 + 2 + K + 2 = 0
n
n
n
n
{a n }
es una
sucesin convergente tal que lim a n = 0 y {bn } es una sucesin acotada (no necesariamente
n
sin n
. Para ello podemos observar que la sucesin puede entenderse como el productor de dos
n
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
1
1
y sin n . Entonces como lim = 0 y sin n est acotada por 1, podemos asegurar
n
n
n
sin n
= 0.
n
n
que lim
Indeterminaciones
Las frmulas de la aritmtica de los lmites que hemos visto anteriormente nos conducen, en algunos
casos, a expresiones indeterminadas, es decir cuyo valor no es evidente y que sealamos, de forma
simblica, de la siguiente forma: ,
0
0
0
, , 0, , 0 y 1 .
0
No existen reglas generales que nos permitan resolver los lmites indeterminados; no obstante, se
pueden dar algunas indicaciones como presentamos en la parte prctica de este Mathblock.
Criterio de Stolz
El siguiente criterio, que recibe el nombre de criterio de Stolz, resulta especialmente til para
determinar el lmite de sucesiones en las que aparecen sumas de trminos que se incrementan con
n.
Sean {a n } y {bn } dos sucesiones donde {bn } es montona creciente o decreciente y bn 0 para
n N tales que:
lim a n = lim bn = 0
n
o bien
lim bn =
n
a n +1 a n
a
R entonces tenemos que = lim n =
n b
n b
n
n +1 bn
Si existe = lim
12 + 2 2 + K + n 2
3
, vemos que n
3
n
n
{ }
es creciente y que lim n = y, por tanto, podemos aplicar el criterio de Stolz. Dado que el
3
a n +1 a n
existe:
n b
n +1 bn
lim
(n + 1) = 1
12 + 2 2 + K + n 2 + (n + 1) 12 + 2 2 + K + n 2
= lim 2
3
3
n
n 3n + 3n + 1
3
(n + 1) n
2
lim
12 + 2 2 + K + n 2 1
=
n
3
n3
lim
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
a) 2 ln(3n) ln n + 1
c)
b) 1 + n + 1 n
n sin(n!)
n2 + 1
d)
1 n (2n )!
n
n!
a) Se trata de una indeterminacin del tipo . Utilicemos las propiedades de los logaritmos para
conseguir reducir la expresin al logaritmo de un cociente:
))
9n2
2
lim 2 ln(3n) ln n2 + 1 = lim ln(3n) ln n2 + 1 = limln 2 =
n
n
n
n +1
9
= ln 9 = 2 ln 3
= limln
2
n
1
1
n
+
))
lim
2 ln(3)
b) Demostraremos que esta indeterminacin es del tipo 1 . Basta para ello, probar que n +1 n
tiende a cero cuando n tiende a infinito. Multipliquemos y dividamos por el conjugado para
desbarazarnos de la indeterminacin en races.
n +1 + n
=
lim n + 1 n = lim n + 1 n
n
n
n +1 + n
= lim
n
n +1 n
n +1 + n
= lim
n
1
=0
n + 1 + n
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
1
lim1 + = e
n
sn
donde sn es cualquier sucesin con lm(sn ) = . En primer lugar expresemos la resta de races
n
como un cociente:
lim 1 + n + 1 n
n
= lim1 +
n
n +1 + n
=e
lim
n
n+1+ n
=e
lim
1
1+1 n +1
n+1+ n
n
n+1+ n
= lim1 +
n
n +1 + n
= e1+1 = e 2 = e
lim
n
(1 +
n + 1 n)
exp
n sin(n!)
=0
n n2 + 1
lim
porque el producto de una sucesin que tiende a cero con otra que tiende a un valor finito, o oscila
entre dos valores finitos, es cero.
lim
n
n sin(n!) 0
2
n +1
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
1 n (2n )!
=
n n
n!
lim
substituyendo n! por 2ne n (frmula de Stirling). Podemos hacer esta substitucin siempre que
el trmino substituido est multiplicando o dividiendo al resto de la expresin. Se substituyen infinitos
equivalentes con el mismo cuidado que se substituyen infinitsimos equivalentes.
n
1n
n n
= lim
2 2ne 2 n (2n )
n
2ne n (n )
2n
y, simplificando:
1n
n n
= lim
= lim n
n
2e n 2 2 n n n = lim n
n
4
4
2 = lim n
e n e
2e n 2 2 n n n
= lim n
n
nn
2e n 22 n n n
=
nn
1
4
4
4
4
2 = lim 2 n 2 = lim 2 2 n = 20 =
e
e n
e n
e
donde hemos sacado fuera del lmite la fraccin 4/e, al ser esta una constante.
lim
n n
( 2n)!
n!
4 exp( 1)
Este ltimo lmite tambin se puede resolver mediante el criterio de Stolz, ejercicio que se propone al
los lectores y lectoras de este Mathblock.
2
3
n 1
1
lim 2 + 2 + 2 + K + 2
n n
n
n
n
b)
1
1 1 1
lim + + + K + n
n 2
4 8
2
Nos preguntaremos si cabe la posibilidad de efectuar el clculo de estos lmites sin utilizar el criterio
de Stolz. Y comprobaremos ambos lmites con Mathcad.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
10
2
3
n 1
1
1+ 2 + 3 + K + n 1
lim 2 + 2 + 2 + K + 2 = lim
=
n n
n
n
n
n
n2
vemos que tanto el numerador como el denominador divergen y, por tanto, podemos resolver la
indeterminacin aplicando el criterio de Stolz:
1 + 2 + 3 + K + n 1 (1 + 2 + 3 + K + (n 2 ))
1+ 2 + 3 + K + n 1
=
lim
= lim
=
n
n2
n 2 (n 1)
simplificando:
11 n 1
n 1
=
= lim
= lim
n 2n 1
n 2 1 n
2
Tambin se puede resolver este lmite sin utilizar el criterio de Stolz. Basta con sumar la serie
A
S nA =
(a1 + an ) n
2
podemos escribir:
2
3
n 1
1+ 2 + 3 + K + n 1
1
lim 2 + 2 + 2 + K + 2 = lim
=
n n
n
n
n n
n2
n (n 1) 2
1 1 1
= lim
= lim =
2
n
n
n 2 2n 2
Recuperando el valor del lmite que habamos obtenido aplicando el criterio de Stolz.
n1
lim
n
j =1
1
2
= 0.5
b) Si tomamos comn denominador, conseguiremos expresar la sucesin como el cociente entre una
suma de trminos dividida por una potencia. Vemoslo:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
11
2 n1 + 2 n2 + 2 n3 + K + 1
1
1 1 1
=
lim + + + K + n = lim
n 2
4 8
2 n
2n
) = lim
2n 1 + 2n 2 + 2n 3 + K + 1 2n 2 + 2n 3 + K + 1
= lim
n
2n 2n 1
2 n 1
=
n 2 n 2 n 1
n 1
2 n 1 1
1
= lim
=1
n
1
n 2
2 1 n 2 1
= lim
Resolvamos este lmite sin utilizar el criterio de Stolz. Efectuemos, en primer lugar, la suma de la
G
serie geomtrica en el numerador. Dado que la suma de n trminos de una serie geomtrica, S n es
igual a:
S nG =
an r a1
r 1
donde a1 y an son el primer y ltimo trminos de la serie geomtrica, podemos reescribir el lmite
como:
2n 1 + 2n 2 + 2 n 3 + K + 1
1
1 1 1
=
lim + + + K + n = lim
n 2
4 8
2 n
2n
2n 12 1 / (2 1)
2n 1
lim
= lim
=
n 2n = 1
n
2n
Recuperando el valor del lmite que habamos obtenido aplicando el criterio de Stolz.
n1
lim
n
j =1
n
1=1
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
12
CONCLUSIONES
___________________________________
Hemos visto algunos tipos de sucesiones de nmeros reales que existen. Entre las sucesiones de
nmeros reales montonas, aquellas que son acotadas, convergen. Es decir, existe un nmero real al
que se acercan los valores de la sucesin al aumentar el ndice de trmino. El clculo de lmites
supone utilizar diversos tipos de tcnicas para conseguir determinar su valor que a menudo, no es
trivial de determinar debido a las indeterminaciones que existen.
Para eliminarlas hemos trabajado con la regla del bocadillo, simplificaciones basadas en esta regla
as como el criterio de Stolz. Con Mathcad y en lenguaje simblico, hemos mostrado con qu facilidad
se pueden generar las soluciones a los lmites buscados y comparar los resultados con los obtenidos
analticamente.
BIBLIOGRAFA
___________________________________
[1] J. Bernat Pan, correccin P.Molins (2001), Sucesiones y series, Ediuoc, Barcelona, p. 9-29.
[2] T. Apostol, (1979); Calculus. Clculo con funciones de una variable, con una introduccin al
lgebra lineal, Vol.1, Revert, Barcelona, p. 457-467.
[3] R. Calm, N. Coll, y M.R. Estela (1992): Problemas de clculo, Micromar, Barcelona, p. 20-36.
[4] R. Courant and F. John (1976): Introduccin al Clculo y al Anlisis Matemtico, Limusa,
Mxico, p. 79-140.
[5] R.G. Bartle and D.R. Sherbert (1990): Introduccin al Anlisis Matemtico de una Variable,,
Limusa, Mxico, p. 31-41.
[6] M. Ross (1980): Elementary Analysis: The Theory of Calculus, Springer, Berlin, p. 31-48.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
13
ENLACES
[W1]
___________________________________
http://www.satd.uma.es/a_valverde/aula-calculo/calculo.html
Excelente aula virtual con apuntes muy completos de sucesiones de nmeros reales.
[W2]
http://www.lafacu.com/apuntes/matematica/sucesiones/default.htm
El sitio de los estudiantes y los docentes universitarios. Es una recopilacin de apuntes, con
ejemplos, sobre sucesiones convergentes, acotadas, infinitsimos, lmites de sucesiones,
propiedades de los lmites de sucesiones, clculo de lmites y lmites indeterminados.
[W3]
http://www.unizar.es/analisis_matematico/analisis1/apuntes/
Apuntes muy completos sobre sucesiones, tipos de sucesiones y clculo del lmites.
[W4]
http://www.unizar.es/analisis_matematico/analisis1/problemas/
Problemas y ejercicios de sucesiones.
[W5]
http://www.monografias.com/trabajos11/traaprox/traaprox.shtml#termposit
Monografa sobre aproximaciones polinomiales, sucesiones y series.
[W6]
http://www.math-atlas.org
Contiene un mdulo sobre Sucesiones, series y sumabilidad (en ingls).
[W7]
http://www.math.gatech.edu/~cain/notes/cal10.pdf
Contiene apuntes muy pedaggicos sobre sucesiones y series (en ingls).
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
14