Sucesiones

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Leccin5
Sucesiones
Introduccin
Las sucesiones aparecen de manera natural en muchos clculos que responden a un esque-
ma iterativo. Por ejemplo, al dividir 2 entre 3 obtenemos
2
3
=
6
10
+
2
3
1
10
, igualdad que podemos
usar ahora para obtener
2
3
=
6
10
+
_
6
10
+
2
3
1
10
_
1
10
=
6
10
+
6
10
2
+
2
3
1
10
2
y de nuevo
2
3
=
6
10
+
6
10
2
+
_
6
10
+
2
3
1
10
_
1
10
2
=
6
10
+
6
10
2
+
6
10
3
+
2
3
1
10
3
y as podemos continuar tantas veces como queramos, obteniendo para cada n Nla igualdad:
2
3
=
n
k=1
6
10
k
+
2
3
1
10
n
.
Escribiendo x
n
=
n
k=1
6
10
k
tenemos que 0 <
2
3
x
n
=
2
3
1
10
n
. Ntese que, aunque los nmeros x
n
son todos ellos distintos de 2/3, dada una cota de error arbitrariamente pequea >0 y toman-
do n
0
Nde manera que
2
3
1
10
n
0
< , deducimos que para todo nmero natural nn
0
se verica
que |x
n
2/3| < , lo que se expresa escribiendo 2/3 = lm
n
{x
n
}.
Este ejemplo est relacionado con la expresin decimal de 2/3 que, como todos sabemos, es
un decimal peridico con perodo igual a 6, lo que suele escribirse 2/3 =0,
6 igualdad en la que,
segn se dice a veces, el smbolo 0,
6 debe interpretarse como que el 6 se repite innitas veces.

Qu quiere decir esto? Lo que est claro es que, por mucho tiempo y paciencia que tengamos,
nunca podremos escribir innitos 6 uno detrs de otro... bueno, podramos escribir algo como
2
3
= 0,
6 = 0, 6666666...(innitos6)
45
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
46
lo que tampoco sirve de mucho pues seguimos sin saber cmo se interpreta esta igualdad. Pues
bien, para dar un signicado matemtico a lo que se quiere expresar con esa igualdad hay que
recurrir al concepto de lmite de una sucesin tal como hemos hecho antes.
Veamos otro ejemplo en esta misma lnea. Vamos a intentar calcular aproximaciones racio-
nales a

10. Si partimos inicialmente de un nmero x >
10, tendremos que

10
x
<
10 < x.
Pongamos y =
1
2
_
x +
10
x
_
. Entonces, en virtud de la desigualdad de las medias,

10 < y, y
como tambin y < x, deducimos que y est ms cerca de

10 que x. Podemos ahora repetir
este proceso sustituyendo x por y obteniendo una nueva aproximacin mejor de

10. Ntese
que si x es racional tambin lo ser y. Esto sugiere que, partiendo de un valor inicial, por ejem-
plo x
1
= 4, calculemos x
2
=
1
2
_
x
1
+
10
x
1
_
, y despus x
3
=
1
2
_
x
2
+
10
x
2
_
, y as podemos continuar
tantas veces como queramos, obteniendo para cada n N un nmero x
n
tal que
x
n+1
=
1
2
_
x
n
+
10
x
n
_
con x
1
= 4. Con una calculadora manual obtenemos enseguida los valores x
2
=3, 25;
x
3
=3, 1634615; x
4
=3, 1622779 con seis cifras decimales exactas:
0 < x
4
10 =
x
2
4
10
x
4
+
10
<
x
2
4
10
6
<
0, 000005
6
<
1
10
6
es decir, x
4
coincide con

10 hasta la sexta cifra decimal. De hecho, como x
n
>
10 tenemos
que:
0 < x
n+1
10 =
1
2
_
x
n
+
10
x
n
_
10 <
1
2
x
n
+
1
2
10
10 =
1
2
(x
n
10)
de donde se sigue que 0 < x
n+1
10 <
1
2
n
(x
1
10) <
1
2
n
, por tanto, dado cualquier > 0, y
tomando n
0
N tal que 2
n
0
< , deducimos que para todo nmero natural n n
0
se verica
que |x
n
10| < , lo que simblicamente se expresa escribiendo
10 = lm
n
{x
n
}.
En los ejemplos anteriores hemos dado por supuesto que ya tienes cierta familiaridad con
los conceptos de sucesin y de lmite de una sucesin de los cuales vamos a ocuparnos a
continuacin con detalle.
Sucesin de elementos de un conjunto
Sea A un conjunto no vaco. Una sucesin de elementos de A es una aplicacin del con-
junto N de los nmeros naturales en A. En particular, una sucesin de nmeros reales es una
aplicacin del conjunto N de los nmeros naturales en el conjunto R de los nmeros reales.
En todo lo que sigue solamente consideraremos sucesiones de nmeros reales por lo que
nos referiremos a ellas simplemente como sucesiones.
Dada una sucesin : N R suele emplearse una notacin especial para representarla. Pa-
ra nN suele notarse el nmero real (n) en la forma x
n
= (n) (naturalmente la letra x nada
tiene de especial y puede sustituirse por cualquier otra). La sucesin misma se representa por
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo Ing. de Telecomunicacin
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sucesiones de nmeros reales 47
= {x
n
}
nN
, es decir, el smbolo {x
n
}
nN
debe interpretarse como la aplicacin que a cada nN
hace corresponder el nmero real x
n
. Cuando no hay posibilidad de confusin escribimos sim-
plemente {x
n
} en vez de {x
n
}
nN
. Conviene insistir en que {x
n
} es, por denicin, la aplicacin
de N en R dada por n x
n
. No hay que confundir la sucesin {x
n
}, que es una aplicacin, con
su conjunto imagen, que es el subconjunto de R formado por todos los nmeros x
n
, el cual se
representa por {x
n
: n N}. Por ejemplo, {(1)
n
} y {(1)
n+1
} son sucesiones distintas con el
mismo conjunto imagen. El nmero x
n
se llama trmino n-simo de la sucesin; para n = 1, 2, 3
se habla respectivamente de primero, segundo, tercer trmino de la sucesin.
5.1. Sucesiones de nmeros reales
5.1 Denicin. Una sucesin {x
n
} se dice que converge a un nmero real x si, dado cualquier
nmero real > 0, existe un nmero natural m
tal que si n es cualquier nmero natural mayor

o igual que m
se cumple que |x
n
x| < . Simblicamente:
> 0 m
N : n m
|x
n
x| <
Se dice tambin que el nmero x es lmite de la sucesin {x
n
} y se escribe lm
n
{x
n
} = x o,
simplemente, lm{x
n
} = x e incluso, si no hay posibilidad de confusin, {x
n
} x.
Se comprueba fcilmente que una sucesin convergente tiene un nico lmite.
En Matemticas se dan deniciones para introducir nuevos conceptos y saber de qu es-
tamos hablando, pero las deniciones no suelen ser tiles para el clculo. Por eso no debes
preocuparte si la denicin anterior te parece difcil de aplicar en casos concretos. Debes hacer
un esfuerzo por comprenderla pero no tendrs que usarla para hacer clculos.
Estudiamos a continuacin cmo se comportan las sucesiones convergentes respecto de las
estructuras algebraica y de orden de R.
5.2 Proposicin. Supongamos que lm{x
n
} = x, lm{y
n
} = y y que existe mN tal que para todo
n m se tiene que x
n
y
n
. Entonces se verica que x y.
Respecto al resultado anterior, de muy fcil demostracin, conviene advertir que aunque las
desigualdades sean estrictas no puede asegurarse que lm{x
n
} = x sea estrictamente menor que
lm{y
n
} = y. Por ejemplo, si x
n
= 0 e y
n
=1/n, es claro que x
n
< y
n
para todo n N pero x = 0 = y.
5.3 Proposicin (Principio de las sucesiones encajadas). Supongamos que {x
n
}, {y
n
}, {z
n
} son
sucesiones tales que lm{x
n
} =lm{z
n
} = y existe un nmero natural m
0
tal que para todo n m
0
se verica que x
n
y
n
z
n
, entonces la sucesin {y
n
} es convergente y lm{y
n
} = .
Demostracin. Sea > 0. Por hiptesis existen m
1
, m
2
tales que
< x
p
< + y < z
q
<+ (5.1)
para todo p m
1
y todo q m
2
. Sea m
3
=m ax{m
0
, m
1
, m
2
}. Para todo n m
3
las desigualdades (5.1)
se cumplen para p = q = n, adems como n m
0
se tiene que x
n
y
n
z
n
. Deducimos que, para
todo n m
3
, se verica que
< x
n
y
n
z
n
< +
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
y, por tanto, < y
n
< +, es decir, lm{y
n
} = .
Una consecuencia inmediata de este resultado es que si cambiamos arbitrariamente un n-
mero nito de trminos de una sucesin la nueva sucesin as obtenida es convergente si lo era
la de partida y con su mismo lmite.
El principio de las sucesiones encajadas es de gran utilidad y se usa con mucha frecuen-
cia. Naturalmente, cuando apliquemos dicho principio a un caso concreto, la sucesin {y
n
} del
enunciado ser la que queremos estudiar y tendremos que ser capaces de inventarnos las
sucesiones {x
n
} y {z
n
} de manera que se cumplan las condiciones del enunciado.
n
} se dice que es:
Mayorada o acotada superiormente si su conjunto imagen est mayorado, es decir, si hay un
nmero R tal que x
n
para todo n N.
Minorada o acotada inferiormente si su conjunto imagen est minorado, es decir, si hay un
nmero R tal que x
n
para todo n N.
Acotada si su conjunto imagen est mayorado y minorado, equivalentemente, si hay un nme-
ro M R
+
tal que |x
n
| M para todo n N.
Creciente si x
n
x
n+1
para todo n N.
Estrictamente creciente si x
n
< x
n+1
para todo n N.
Decreciente si x
n
x
n+1
para todo n N.
Estrictamente decreciente si x
n
> x
n+1
para todo n N.
Montona si es creciente o decreciente.
Estrictamente montona si es estrictamente creciente o decreciente.
Observa que si una sucesin {x
n
} es creciente (resp. decreciente) entonces se verica que
x
m
x
n
(resp. x
m
x
n
) siempre que m n.
Conviene advertir que cuando se dice que una sucesin es montona no se excluye la posibi-
lidad de que, de hecho, sea estrictamente montona. Es por ello que, en general, suele hablarse
de sucesiones montonas y tan slo cuando tiene algn inters particular se precisa si son es-
trictamente montonas.
5.5 Proposicin. Toda sucesin convergente est acotada.
Demostracin. Supongamos que lm{x
n
} = x. Todos los trminos de {x
n
} a partir de uno en
adelante estarn en el intervalo ]x 1, x +1[, es decir, hay un nmero m N tal que para todo
n m se verica que |x
n
x| < 1, lo que implica que
|x
n
| |x
n
x| +|x| < 1 +|x| para todo n m.
Tomando M = m ax{1+|x|, |x
1
|, , |x
m
|}, tenemos que |x
n
| M para todo n N.
La proposicin anterior es til a veces para probar que una sucesin no es convergente: para
ello basta probar que no est acotada.
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
La proposicin recproca de la anterior no es cierta: la sucesin {(1)
n
} es acotada y no es
convergente. No obstante, hay un caso especial muy importante en que s es cierta la recproca.
5.6 Teorema. Toda sucesin montona y acotada es convergente. Ms concretamente, si una
sucesin {x
n
} es:
i) Creciente y mayorada, entonces lm{x
n
} = , donde = sup{x
n
: nN}.
ii) Decreciente y minorada, entonces lm{x
n
} = , donde =nf{x
n
: nN}.
Demostracin. Probaremos i) quedando la demostracin de ii) como ejercicio. La hiptesis de
que {x
n
} es mayorada garantiza, en virtud del principio del supremo, la existencia del nmero
real =sup{x
n
: n N}. Dado >0, tiene que existir un trmino x
m
de la sucesin tal que <
x
m
. Puesto que la sucesin es creciente para todo n m se vericar que x
m
x
n
, y por tanto
<x
n
. Enconsecuencia <x
n
<+ para todon m. Hemos probado as que lm{x
n
} =.
5.7 Ejemplo. La sucesin {x

n
} denida por x
n
=
2n
k=n+1
1
k
, es convergente.
En efecto, como
x
n+1
x
n
=
1
2n +2
+
1
2n +1
1
n +1
>
1
2n +2
+
1
2n +2
1
n +1
= 0
se sigue que x
n+1
> x
n
para todo n N, es decir, es una sucesin creciente. Adems
x
n
1
n +1
+
(n
+
1
n +1
=
n
n +1
< 1
por lo que tambin est mayorada. Concluimos, por el teorema anterior, que dicha sucesin es
convergente.
5.8 Ejemplo (El nmero e). En el ejercicio (8) hemos probado que la sucesin x
n
=
_
1 +
1
n
_
n
es creciente y que la sucesin y
n
=
_
1 +
1
n
_
n+1
es decreciente. Como 0 < y
n
, se sigue que {y
n
} es
convergente. Puesto que
x
n
= y
n
_
1 +
1
n
_
1
= y
n
n
n +1
se sigue que {x
n
} tambin es convergente y lm{x
n
} = lm{y
n
}. El valor comn de este lmite es
un nmero real que se representa con el smbolo e. Como consecuencia del teorema (5.6), se
verica que
e = sup
__
1 +
1
n
_
n
: nN
_
=nf
_
_
1 +
1
m
_
m+1
: mN
_
En particular, se verica que
_
1 +
1
n
_
n
< e <
_
1 +
1
m
_
m+1
(n, mN)
En los resultados anteriores han intervenido de manera esencial las propiedades de la es-
tructura de orden de R. Vamos a estudiar ahora el comportamiento de las sucesiones conver-
gentes respecto de la adicin y el producto de nmeros reales. Los resultados que vamos a
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
obtener, conocidos tradicionalmente con el nombre de lgebra de lmites, son bsicos para el
estudio de la convergencia de sucesiones.
Dadas dos sucesiones {x
n
} e {y
n
}, se dene su suma como la sucesin {x
n
+y
n
} y su producto
como la sucesin {x
n
y
n
}.
5.9 Proposicin. El producto de una sucesin convergente a cero por una sucesin acotada es
una sucesin convergente a cero.
Demostracin. Sea lm{x
n
} = 0, e {y
n
} acotada. Sea c >0 tal que |y
n
| c para todo n N. Dado
> 0, existe un nmero natural m tal que para todo nm se verica que |x
n
| < /c. Deducimos
que, para todo nm, se verica que |x
n
y
n
| = |x
n
||y
n
| <

c
c = , lo que prueba que lm{x
n
y
n
} = 0.
5.10 Proposicin (lgebra de lmites). Supongamos que lm{x
n
} = x y lm{y
n
} = y. Entonces se
verica que:
lm{x
n
+y
n
} = x +y, lm{x
n
y
n
} = xy.
Si adems suponemos que y 0, entonces lm{x
n
/y
n
} = x/y.
Demostracin. Dado > 0, por hiptesis existen m
1
, m
2
tales que
x /2 < x
p
< x +/2 y y /2 < y
q
< y +/2 (5.2)
para todo p m
1
y todo q m
2
. Sea m
0
=m ax{m
1
, m
2
}. Para todo n m
0
las desigualdades (5.2) se
cumplen para p=q=n, por lo que, sumndolas trmino a trmino, deducimos que x +y <
x
n
+y
n
< x +y + cualquiera sea n m
0
, lo que prueba que lm{x
n
+y
n
} = x +y.
Teniendo en cuenta que lm{(x
n
x)y
n
} = lm{x(y
n
y)} = 0, y la igualdad
x
n
y
n
xy = (x
n
x)y
n
+x(y
n
y)
deducimos que lm{x
n
y
n
xy} = 0, es decir, lm{x
n
y
n
} = xy.
Finalmente, para probar que lm{x
n
/y
n
} = x/y, probaremos que la sucesin
_
x
n
y
n
x
y
_
=
_
x
n
y y
n
x
y
n
y
_
converge a cero, para lo cual, teniendo en cuenta que lm{x
n
yy
n
x} =xyyx =0, bastar probar
que la sucesin {1/y
n
} est acotada. Puesto que lm{y
n
} = y, se deduce de la desigualdad ||y
n
|
|y|| |y
n
y| que lm{|y
n
|} = |y|. Existir, por tanto, un nmero m
0
N tal que para todo n
m
0
es |y
n
| > |y|/2. Pongamos K = m ax
_
1
|y
1
|
,
1
|y
2
|
, . . . ,
1
|y
m
0
|
,
2
|y|
_
. Se tiene entonces que
1
|y
n
|
K
para todo n N. Hemos probado as que la sucesin {1/y
n
} est acotada, lo que concluye la
demostracin del teorema.
Hay que leer conatencin las hiptesis del teorema anterior para no hacer unuso incorrecto
del mismo. En particular, no hay que olvidar que la suma o el producto de dos sucesiones no
convergentes puede ser una sucesin convergente.
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
5.11 Denicin. Sea {x
n
} una sucesin de nmeros reales; dada una aplicacin : NN estric-
tamente creciente, la sucesin que a cada nmero natural n hace corresponder el nmero real
x
(n)
se representa por {x
(n)
} y se dice que es una sucesin parcial de {x
n
}. Ntese que {x
(n)
}
no es otra cosa que la composicin de las aplicaciones {x
n
} y , esto es, {x
(n)
} = {x
n
} .
Se dice que un nmero real x es un valor de adherencia de la sucesin {x
n
} si hay alguna
sucesin parcial de {x
n
} que converge a x.
5.12 Ejemplo. Representemos por E(x) el mayor entero menor o igual que x. La sucesin {x
n
}
dada por x
n
= n/5 E(n/5) para todo nN, tiene a 0, 1/5, 2/5, 3/5 y 4/5, como valores de adhe-
rencia.
En efecto, basta considerar que para cada j {0, 1, 2, 3, 4}, la sucesin parcial {x
5nj
}
nN
viene
dada por x
5n
= 0, para j = 0, y x
5nj
= 1 j/5 para j = 1, 2, 3, 4.
Es fcil probar por induccin que si es una aplicacin estrictamente creciente de N en N
entonces se verica que (n) n para todo n N. Con ello se obtiene fcilmente el siguiente
resultado.
5.13 Proposicin. Si lm{x
n
} = x, toda sucesin parcial de {x
n
} tambin converge a x. En parti-
cular, una sucesin convergente tiene como nico valor de adherencia su lmite.
Observa que hay sucesiones, la de los nmeros naturales por ejemplo, que no tienenningn
valor de adherencia. Tambin puede ocurrir que una sucesin tenga un nico valor de adheren-
cia y no sea convergente. Por ejemplo, la sucesin dada para todonNpor x
n
= (1+(1)
n
)n+1/n,
no es convergente y tiene a 0 como nico valor de adherencia. Vamos a ver a continuacin que
estos comportamientos no pueden darse con sucesiones acotadas.
5.14 Lema. Toda sucesin tiene una sucesin parcial montona.
Demostracin. Sea {x
n
} una sucesin y denamos
A = {nN : x
n
x
p
para todo p > n}
Podemos visualizar el conjunto A como sigue. Consideremos en el plano los segmentos de ex-
tremos (n, x
n
) y (n +1, x
n+1
), n = 1, 2, 3, . . . . Resulta as una lnea poligonal innita y podemos
imaginar que dicha lnea es el perl de una cordillera cuyas cumbres y valles son los puntos
(n, x
n
). Imaginemos ahora que los rayos de luz del Sol, paralelos al eje de abscisas, iluminan
dicha cordillera por el lado derecho (el Sol estara, pues, situado en el innito del eje de abs-
cisas positivo). Pues bien, un nmero natural n pertenece al conjunto A si el punto (n, x
n
) est
iluminado y no pertenece a A si dicho punto est en sombra.
Supongamos que A es innito. Entonces podemos denir una aplicacin : N N estricta-
mente creciente y tal que (N) = A de la siguiente forma:
(1) = mn(A)
(n +1) = mn{pA : (n) < p} para todo n N
es decir la aplicacin va eligiendo los elementos de A de menor a mayor empezando por el
primero. Resulta ahora evidente que la sucesin parcial {x
(n)
} es decreciente (todos los pun-
tos ((n), x
(n)
) estn iluminados y, por tanto, ninguno de ellos puede hacerle sombra a uno
anterior).
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Si A es nito podemos suponer que A =. En tal caso, para todo nNhay algn p >n tal que
x
n
<x
p
(pues todopunto (n, x
n
) est ensombra). Podemos denir ahora una aplicacin : NN
estrictamente creciente de la siguiente forma:
(1) = 1
(n +1) = mn{pN : (n) < p y x
(n)
< x
p
} para todo n N
Resulta ahora evidente que la sucesinparcial {x
(n)
} es creciente (porque cada punto ((n), x
(n)
)
deja en la sombra al anterior).
5.15 Teorema (Teorema de Bolzano- Weierstrass). Toda sucesin acotada de nmeros reales
tiene alguna sucesin parcial convergente.
Demostracin. Sea {x
n
} una sucesin acotada. En virtud el lema anterior, hay una sucesin
parcial de {x
n
} que es montona, dicha sucesin parcial est acotada por estarlo {x
n
} y, por
tanto, es convergente.
Si volvemos a leer la denicin de sucesin convergente, parece que para estudiar la conver-
gencia de una sucesin {x
n
} debemos ser capaces de adivinar, de alguna manera, su posible
lmite. De hecho, una idea bastante extendida consiste en pensar que es lo mismo probar la
convergencia de una sucesin que calcular su lmite. Esto no es del todo correcto; son relativa-
mente pocas las sucesiones convergentes cuyo lmite puede efectivamente calcularse. Cuando
se estudia la convergencia de una sucesin {x
n
}, la mayora de las veces, lo que conocemos es,
justamente, la sucesin y, naturalmente, se desconoce su posible lmite el cual pudiera, incluso,
no existir. Por ello interesa tener criterios de convergencia intrnsecos a la sucesin, es decir, que
no hagan intervenir a un objeto en principio extrao a ella como es su posible lmite. Cono-
cemos ya un criterio de convergencia intrnseco para sucesiones montonas. Usando dicho
criterio hemos probado la convergencia de la sucesin x
n
=
2n
k=n+1
1
k
sin necesidad de conocer su
lmite.
A continuacin vamos a establecer un criterio intrnseco de convergencia para sucesiones
que es ms general pues puede aplicarse a cualquier sucesin. Este criterio fu formulado por
Bolzano en 1817 y tambin, independientemente, por Cauchy en 1821, y establece una condi-
cin necesaria y suciente para la convergencia de una sucesin. Dicha condicin se conoce
con el nombre de condicin de Cauchy.
5.16 Denicin. Se dice que una sucesin {x
n
} satisface la condicin de Cauchy, si para cada
nmero positivo, >0, existe un nmero natural m
, tal que para todos p, qNcon pm
y qm
se verica que |x
p
x
q
| < .
La condicin de Cauchy puede tambin expresarse de una manera equivalente, aunque for-
malmente distinta, como sigue:
Una sucesin {x
n
} satisface la condicin de Cauchy, si para cada nmero positivo, > 0,
existe un nmero natural m
, tal que para todo pm
y para todo nmero natural h, se verica

que |x
p+h
x
p
| < .
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sucesiones divergentes. Indeterminaciones en el clculo de lmites 53
5.17 Teorema (Teorema de complitud de R). Una sucesin de nmeros reales es convergente si,
y slo si, verica la condicin de Cauchy.
Demostracin. Supongamos que {x
n
} verica la condicin de Cauchy. Probemos primero que
{x
n
} est acotada. La condicin de Cauchy implica que hay m
0
Ntal que |x
p
x
m
0
| <1 para todo
p m
0
, y como |x
p
| |x
p
x
m
0
| +|x
m
0
|, deducimos que |x
p
| <1+|x
m
0
| para p m
0
. En consecuencia
si denimos M= m ax{|x
1
|, |x
2
|, . . . , |x
m
0
|, 1+|x
m
0
|}, obtenemos que |x
n
| M para todo n N.
El teorema de Bolzano-Weierstrass garantiza que hay un nmero real x y una sucesin par-
cial {x
(n)
} que converge a x. Probaremos que {x
n
} tambin converge a x. Dado > 0, existe
n
o
N tal que |x
p
x
q
| < /2 siempre que p, q n
o
. Tambin existe n
1
N tal que |x
(n)
x| < /2
siempre que n n
1
. Sea m = m ax{n
o
, n
1
}. Para todo n m se tiene que (n) n m por lo que
|x
n
x| |x
n
x
(n)
| +|x
(n)
x| <

2
+

2
=
lo que prueba que lm
n
{x
n
} = x.
Recprocamente, si {x
n
} es convergente y lm{x
n
} = x, dado > 0, hay un nmero m
N
tal que para todo nmero natural n m
se tiene que |x
n
x| < /2. Deducimos que si p, q son
nmeros naturales mayores o iguales que m
entonces |x
p
x
q
| |x
p
x| +|x x
q
| <
< /2 +/2 = . Por tanto la sucesin {x
n
} verica la condicin de Cauchy.
5.1.1. Sucesiones divergentes. Indeterminaciones en el clculo de lmites
n
} se dice que es positivamente divergente, y escribimos
{x
n
} +, si para todo nmero real K >0 existe un nmero natural m
K
N, tal que para
todo nN con nm
K
se verica que x
n
K.
Una sucesin {x
n
} se dice que es negativamente divergente, y escribimos {x
n
} , si
para todo nmero real K <0 existe un nmero natural m
K
N, tal que para todo n N con
nm
K
se verica que x
n
K.
Diremos que una sucesin es divergente para indicar que es positivamente o negativamen-
te divergente.
En la siguiente proposicin se exponen algunas propiedades elementales, pero importan-
tes, de las sucesiones divergentes. Teniendo en cuenta que {x
n
} + si, y slo si,
{x
n
} , es suciente enunciar dichas propiedades para sucesiones positivamente diver-
gentes.
5.19 Proposicin. i) {|x
n
|} +si, y slo si, {1/x
n
} 0.
ii) La suma de una sucesin positivamente divergente con una sucesin acotada es una sucesin
positivamente divergente.
iii) La suma de una sucesin positivamente divergente con una sucesin minorada es otra suce-
sin positivamente divergente. En particular, la suma de dos sucesiones positivamente divergen-
tes es otra sucesin positivamente divergente.
iv) El producto de dos sucesiones positivamente divergentes es otra sucesin positivamente diver-
gente.
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sucesiones divergentes. Indeterminaciones en el clculo de lmites 54
v) El producto de una sucesin positivamente divergente por una sucesin que converge a un
nmero positivo es otra sucesin positivamente divergente.
Sucesiones de exponenciales y logaritmos
A continuacin vamos a estudiar sucesiones de exponenciales y logaritmos. El resultado
bsico al respecto es el siguiente.
5.20 Proposicin. a) Para toda sucesin {x
n
} se verica que:
i) {x
n
} xR {e
x
n
} e
x
.
ii) {x
n
} + {e
x
n
} +.
iii) {x
n
} {e
x
n
} 0.
b) Para toda sucesin de nmeros positivos {x
n
} se verica que:
iv) {x
n
} x > 0 {log(x
n
)} logx.
v) {x
n
} + {log(x
n
)} +.
vi) {x
n
} 0 {log(x
n
)} .
Frecuentemente hay que estudiar la convergencia o divergencia de una suma o produc-
to de dos sucesiones precisamente cuando las reglas que hemos visto en secciones anteriores
no pueden aplicarse. Se trata de aquellos casos en que el comportamiento de las sucesiones
{x
n
+ y
n
}, {x
n
y
n
} no est determinado por el de {x
n
} e {y
n
}. Por ejemplo, si sabemos que
{x
n
} +y que {y
n
} , qu podemos decir del comportamientode la sucesin {x
n
+y
n
}?
Respuesta: absolutamente nada. Baste para convencerse de ello la consideracin de los si-
guientes casos:
x
n
= 2n, y
n
= n; {x
n
+y
n
} = {n} +
x
n
= n, y
n
= 2n; {x
n
+y
n
} = {n}
x
n
= n +1, y
n
= n; {x
n
+y
n
} = {1} 1
x
n
=(1)
n
+n, y
n
=(1)
n
n; {x
n
+y
n
} = {2(1)
n
}
En consecuencia, las sucesiones del tipo {x
n
+y
n
} donde {x
n
} +, {y
n
} , requieren un
estudio particular en cada caso. Tales sucesiones suele decirse que son una indeterminacin
del tipo .
Anlogamente, si sabemos que {x
n
} 0 y que {y
n
} es divergente, ello no proporciona nin-
guna informacin sobre el comportamiento de la sucesin {x
n
y
n
}; la cual se dice que es una
indeterminacin del tipo 0. Las indeterminaciones que aparecen al estudiar el cociente
de dos sucesiones divergentes o de dos sucesiones que convergen a cero, las llamadas inde-
terminaciones de los tipos /
, 0/0, pueden reducirse a una indeterminacin del tipo

0.
El siguiente resultado permite resolver en muchas ocasiones indeterminaciones de la forma
/.
5.21 Teorema(Criteriode Stolz). Sea{y
n
} una sucesinpositivamente divergente y estrictamen-
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sucesiones de nmeros complejos 55
te creciente y sea {x
n
} cualquier sucesin. Supongamos que
_
x
n+1
x
n
y
n+1
y
n
_
L
donde LR, o L = +, o L = . Entonces se verica tambin que
_
x
n
y
n
_
L.
Del Criterio de Stolz se deducen dos tiles criterios para estudiar la convergencia de suce-
siones de medias aritmticas o geomtricas.
5.22 Proposicin (Criterio de la media aritmtica). Supongamos que {a
n
} L donde L es un
nmero real, o L = +, o L = . Entonces se verica que
_
a
1
+a
2
+ +a
n
n
_
L.
5.23 Proposicin (Criterio de la media geomtrica). Supongamos que {a
n
} L donde {a
n
} es
una sucesin de nmeros positivos y L es un nmero real o bien L = +. Entonces se verica que
_
n
_
a
1
a
2
. . . a
n
_
L.
5.24 Corolario. Supongamos que
_
x
n+1
x
n
_
L donde {x
n
} es una sucesin de nmeros positivos
y L es un nmero real o bien L = +. Entonces se verica que {
n
x
n
} L.
Hay otras indeterminaciones que surgen al considerar sucesiones de potencias, es decir, su-
cesiones de la forma {x
y
n
n
} donde {x
n
} es una sucesin de nmeros positivos e {y
n
} es una suce-
sin cualquiera de nmeros reales. Puesto que x
y
n
n
= exp(y
n
log(x
n
)), teniendo en cuenta la pro-
posicin (5.20), la convergencia o divergencia de la sucesin {x
y
n
n
} vendr determinada por la
de {y
n
log(x
n
)}; la cual, a su vez, est determinada en todos los casos por el comportamiento de
las sucesiones {x
n
} e {y
n
}, excepto cuando dicha sucesin {y
n
log(x
n
)} es una indeterminacin
del tipo 0, lo que ocurre en los siguientes casos.
a) {x
n
} 1, {|y
n
|} + (indeterminacin 1
)
b) {x
n
} +, {y
n
} 0 (indeterminacin
0
)
c) {x
n
} 0, {y
n
} 0 (indeterminacin 0
0
)
Cuando estudiemos las derivadas veremos algunas tcnicas que permiten resolver en mu-
chos casos estas indeterminaciones.
5.2. Sucesiones de nmeros complejos
5.25 Denicin. Una sucesin de nmeros complejos {z
n
} se dice que converge a un nmero
complejo z si, dado cualquier nmero real > 0, existe un nmero natural m
tal que si n es
cualquier nmero natural mayor o igual que m
se cumple que |z
n
z| <. Simblicamente:
> 0 m
N : n m
|z
n
z| <
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 56
Se dice que el nmero z es lmite de la sucesin {z
n
} y se escribe lm
n
{z
n
} = z o, simplemente,
lm{z
n
} = z e incluso, si no hay posibilidad de confusin, {z
n
} z.
Observa que, en virtud de la denicin dada, se verica que
{z
n
} z |z
n
z| 0
Recordemos que m ax{|Rez| , |Imz|} |z | |Rez| +|Imz|. Gracias a esta desigualdad tenemos que
|Rez
n
Rez|
|Imz
n
Imz|
_
|z
n
z| |Rez
n
Rez| +|Imz
n
Imz|
Deducimos que |z
n
z| 0 si, y slo si, |Rez
n
Rez| 0 y |Imz
n
Imz| 0. Hemos probado as
el siguiente resultado.
5.26 Proposicin. Una sucesin de nmeros complejos {z
n
} es convergente si, y slo si, las suce-
siones de nmeros reales {Rez
n
} y {Imz
n
} son convergentes. Adems, en dicho caso
lm{z
n
} = z Rez = lm{Rez
n
} y Imz = lm{Imz
n
}
Gracias a este resultado el estudio de sucesiones de nmeros complejos se reduce a estudiar
la convergencia de dos sucesiones de nmeros reales.
Los resultados obtenidos para sucesiones de nmeros reales en los que no interviene la es-
tructura de orden son tambin vlidos para sucesiones de nmeros complejos. Son vlidos, en
particular, los resultados relativos a lgebra de lmites, el teorema de BolzanoWeierstrass y el
teorema de complitud.
5.3. Ejercicios
1. a) Sea {x
n
} una sucesin y supongamos que hay nmeros ]0, 1[, pN, tales que para
todo n p es |x
n+1
| |x
n
| . Prueba que lm{x
n
} = 0.
b) Sea {x
n
} una sucesin de nmeros no nulos vericando que lm
|x
n+1
|
|x
n
|
= , donde
0 < 1. Prueba que lm{x
n
} = 0.
Aplicacin. Dados a ] 1, 1[, k N, prueba que lm
n
{n
k
a
n
} = 0.
2. Estudia la convergencia de las sucesiones siguientes.
x
n
=
2n +(1)
n
(n +2)
7n +3
x
n
= n
_
1 +(1)
n
3
_
n
x
n
= n
2
_
1 +n
3n
_
n
x
n
=
n
_
a
n
+b
n
(a > 0, b > 0) x
n
=
n
k=1
1
k +n
2
x
n
=
3
n +1
3
n
x
n
=
n
2
+3n +2 n x
n
=
_
_
n
2
+

nn
_
_
n +1+
2n
_
x
n
=
n!
n
n
Sugerencia. En algunos casos puede usarse el principio de las sucesiones encajadas o el
ejercicio anterior.
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 57
3. Utiliza la desigualdad de las medias para probar que
n
n
n 2 +2
n
n
. Deduce que
lm
n
n = 1.
4. Sea x
n
=
1 3 5 (2n 1)
2 4 6 2n
. Prueba que x
n
<
1
2n +1
. Deduce que lm{x
n
} = 0.
5. Como consecuencia inmediata de la formula del binomio de Newton, la desigualdad
(1 +x)
n
1 +nx es vlida para todo x > 0. Usa dicha desigualdad para probar que la suce-
sin n
_
n
n +1
n
n
_
converge a 0.
6. Supongamos que {a
n
} 0. Prueba que lm
1 +a
n
1
a
n
=
1
2
.
7. Sean a
0
, a
1
, . . . , a
p
nmeros reales cuya suma es igual a cero. Justica que
lm
n
_
a
0
n+a
1
n +1+a
2
n +2+ +a
p
n + p
_
= 0
Sugerencia. Saca factor comn

n, resta a
0
+a
1
+ +a
p
y usa el ejercicio anterior.
8. Dados 0 < b
1
< a
1
, denamos para todo nN:
a
n+1
=
a
n
+b
n
2
, b
n+1
=
_
a
n
b
n
.
Justica que las sucesiones as denidas son montonas y convergen al mismo nmero
(que se llama media aritmtico-geomtrica de a
1
y b
1
).
9. Estudia la convergencia de las siguientes sucesiones.
a) x
1
= 1, x
n+1
=
4 +3x
n
3 +2x
n
.
b) Dado a > 0, denimos x
1
=

a, x
n+1
=

a +x
n
c) Dado a > 0, a 1, denimos x
1
= a, x
n+1
=
1
2
_
x
n
+
a
x
n
_
.
Sugerencia. Estudia en cada caso monotona y acotacin.
10. a) Para cada nN sea x
n
=1+
1
2
+ +
1
n
log(n), y
n
= x
n
1
n
. Prueba que {x
n
} es estricta-
mente decreciente e {y
n
} es estrictamente creciente. Deduce que ambas sucesiones
convergen a un mismo nmero. Dicho nmero se llama la constante de Euler, se re-
presenta por la letra griega . No se sabe si dicho nmero es racional o irracional.
b) Deduce que lm
n
1 +1/2 + +1/n
log(n)
= 1.
c) Justica que
lm
n
_
1
n +1
+
1
n +2
+ +
1
2n
_
= log2.
11. Puede existir alguna sucesin acotada, {x
n
}, vericando que |x
n
x
m
| 10
75
siempre que
n m? Razona tu respuesta.
12. Sea {x
n
} una sucesin de nmeros reales y supongamos que existen ]0, 1[, pN, tales
que |x
n+2
x
n+1
| |x
n+1
x
n
| para todo n p. Prueba que {x
n
} es convergente.
Prof. Javier Prez
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ejercicios 58
Sugerencia. Deduce primero que |x
n+2
x
n+1
|
n
|x
2
x
1
|. Teniendo ahora en cuenta que
para todos n, hN se verica que:
n+h
+
n+h1
+
n+h2
+ +
n
<

n
1
deduce que {x
n
} verica la condicin de Cauchy.
13. Sea I un intervalo cerrado (puede ser I =R); f : I R una funcin, y supongamos que hay
un nmero ]0, 1[ tal que
| f (x) f (y)| |x y|, para todos x, y en I.
Supongamos adems que f (x) I para todo x I. Dado un punto a I, denamos {x
n
} por
x
1
= a, y x
n+1
= f (x
n
) para todo nN. Prueba que {x
n
} converge a un punto x I que es el
nico punto jo de f , es decir, f (x) = x.
14. Sea k un nmero natural. Calcula el lmite de la sucesin
1
k
+2
k
+3
k
+ +n
k
n
k+1
.
15. Dadas dos funciones polinmicas P, Q, tales que el grado de Q es mayor o igual que el
grado de P y Q(n) 0 para todo n N, justica que la sucesin
_
P(n)
Q(n)
_
es convergente y
calcula su lmite.
Prof. Javier Prez

Sucesiones

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Sucesiones

Загружено:

Авторское право:

Доступные форматы

w

6 debe interpretarse como que el 6 se repite innitas veces.

10, tendremos que

10| < , lo que simblicamente se expresa escribiendo

tal que si n es cualquier nmero natural mayor

5.7 Ejemplo. La sucesin {x

, tal que para todos p, qNcon pm

, tal que para todo pm

y para todo nmero natural h, se verica

, 0/0, pueden reducirse a una indeterminacin del tipo

Вам также может понравиться