03 Sucesiones

Captulo 3
Sucesiones de nmeros reales

Como libros de referencia para los temas de este captulo, aunque haya algunas diferencias de
detalle entre su tratamiento y el nuestro, pueden consultarse [BARTLE-SHERBERT] (especialmente sus
comentarios sobre algunos conceptos) y [ROSS], algo ms conciso pero igualmente claro.
3.1. Sucesiones convergentes
3.1.1. Denicin de sucesin. Sucesiones acotadas y sucesiones convergentes. Lmite
de una sucesin convergente
Informalmente, una sucesin de nmeros reales es una lista ilimitada de nmeros
s
1
, s
2
, s
3
, s
4
, . . . , s
n
, . . .
(n indica el lugar que ocupa el nmero s
n
en la lista); puesto en forma de tabla
lugar 1 2 3 4 5 . . . n . . .
valor s
1
s
2
s
3
s
4
s
5
. . . s
n
. . .
es obvio que se trata justamente de una funcin real con dominio N. Esta es su denicin formal.
Denicin 3.1.1. Una sucesin de elementos de un conjunto es una aplicacin con dominio N y
codominio dicho conjunto. En particular, una sucesin de nmeros reales es una funcin real con
dominio N, o sea, una aplicacin s : N R.
Tradicionalmente, el valor que una sucesin s toma en cada n N se denota por s
n
, en lugar de
s(n) como para las dems funciones. Normalmente nos referiremos a s
n
con el nombre de trmino n-
simo de una sucesin, pero no debe perderse de vista que cada trmino lleva una doble informacin:
su valor y el lugar n que ocupa.
Como el dominio N es comn a todas las sucesiones, en vez de utilizar la notacin s : N R
para una sucesin es ms frecuente encontrar notaciones del tipo (s
n
)
nN
(s
n
)
n=1
{s
n
}
n=1
o alguna
similar, poniendo mayor nfasis en los trminos. Aunque esta notacin propicie a veces la confusin,
no debera ser necesario insistir en la diferencia entre la propia sucesin y el conjunto de valores que
toma la sucesin, que es la misma que hay entre cualquier funcin y su conjunto de valores (conjunto
imagen o rango); obsrvese, por ejemplo, que una sucesin tiene siempre innitos trminos incluso
aunque tome un solo valor, como es el caso de las sucesiones constantes.
37
38 Captulo 3. Sucesiones de nmeros reales
Ejemplos. Los ejemplos ms corrientes de sucesiones se indican dando una frmula que dena el
trmino n-simo, como en los siguientes casos:
s
n
= a, donde a es un nmero real prejado (sucesin constante); la sucesin consta de los
trminos
a, a, a, . . . , a, . . .
s
n
= n (sucesin de los nmeros naturales); la sucesin consta de los trminos
1, 2, 3, 4, 5, . . . , n, . . .
s
n
=
1
n
; la sucesin consta de los trminos
1,
1
2
,
1
3
,
1
4
,
1
5
, . . . ,
1
n
, . . .
s
n
= (1)
n
; la sucesin consta de los trminos
1, 1, 1, 1, 1, . . . , (1)
n
, . . .
Las frmulas no tienen por qu referirse solo a operaciones algebraicas sencillas. Por ejemplo,
considrese la sucesin
3, 1; 3, 14; 3, 141; 3, 1415; 3, 14159; 3, 141592; 3, 1415926; 3, 14159265; 3, 141592653; . . .
formada por las aproximaciones decimales de (el trmino n-simo sera la aproximacin
decimal con n cifras decimales exactas). Aunque no supiramos escribir con todas sus cifras
el trmino 1 000 000 000 000 000, sabemos que ese trmino est perfectamente denido, y lo
mismo podemos decir de cualquier otro. En este caso podemos dar una frmula explcita para
el trmino n-simo con ayuda de la funcin parte entera: concretamente, para cada n N,
s
n
= 3+
a
1
10
+
a
2
10
2
+ +
a
k
10
k
+ +
a
n
10
n
,
donde a
k
= [10
k
] 10[10
k1
] (1 k n); el hecho de que esta frmula no proporcione un
algoritmo de clculo para los a
k
no obsta para que estos estn denidos sin ambigedad y sin
excepcin alguna.
Sucesiones recurrentes. Reciben este nombre las sucesiones cuyos trminos se denen en fun-
cin de los anteriores (denicin inductiva o recursiva). Un ejemplo muy citado de este tipo es
la sucesin de Fibonacci, dada por
s
1
= 1, s
2
= 1, s
n+2
= s
n+1
+s
n
(n N),
cuyos primeros trminos son
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, . . .
Las sucesiones denidas por recurrencia aparecen con frecuencia en clculos con ordenadores:
ver comentario en [BARTLE-SHERBERT, pg. 85].
3.1. Sucesiones convergentes 39
Otros ejemplos de sucesiones recurrentes son las progresiones aritmticas de primer trmino x
y razn h, que pueden denirse recursivamente por
s
1
= x, s
n+1
= s
n
+h,
y las progresiones geomtricas de primer trmino x y razn r, dadas por
s
1
= x, s
n+1
= s
n
r.
Se encuentran sin dicultad frmulas explcitas en ambos casos: s
n
= x + (n 1)h para las
primeras, s
n
= x r
n1
para las segundas.
La regla que dene una sucesin no tiene por qu ser de carcter estrictamente matemtico. Por
ejemplo, puede denirse una sucesin poniendo
s
n
=
_
10
7
/3 si el nombre en castellano del nmero n contiene la letra d
en caso contrario
(cules seran sus primeros trminos?), o mediante cualquier otra condicin que permita asegu-
rar que a cada n N sin excepcin se le asocia inequvocamente un nmero real perfectamente
denido.
Existen sucesiones cuyo rango es exactamente Z. Ms difcil: existen sucesiones cuyo rango es
exactamente Q; la construccin usual se hace mediante el proceso diagonal de Cantor y puede
verse en [BARTLE-SHERBERT, pgs. 3637], [SPIVAK, pg. 609].
Queda denida una sucesin si para cada n N ponemos
s
n
= m ax{x R : x
2
+2nx 1 < 0}?
Y si ponemos
s
n
= m ax{x R : x
2
+2nx 1 0}?
En caso armativo, puede darse una expresin ms directa para s
n
?
Notacin. Por comodidad, a menudo se denotan las sucesiones simplemente por (s
n
) en vez de
(s
n
)
nN
(s
n
)
n=1
si esto no da lugar a imprecisiones.
Denicin 3.1.2. Una sucesin (s
n
) es convergente si existe un nmero real a tal que para cada
> 0 se puede encontrar un nmero natural N = N() de modo que siempre que n > N se verique
|s
n
a| < .
Se dice entonces que el nmero a es lmite de la sucesin (s
n
), y se escribe a = lm
n
s
n
. Tambin
decimos que (s
n
) converge al nmero a.
Usaremos a veces la frmula s
n
a para indicar que la sucesin de trmino n-simo s
n
es con-
vergente y tiene por lmite a.
Nota. Recurdese que la desigualdad |s
n
a| < es equivalente a las dos desigualdades <s
n
a <
, que equivalen a su vez a las desigualdades
a < s
n
< a+.
a
a a+
s
6
s
3
s
8
s
1
s
11
s
7
s
10
s
9
s
2
s
4
s
5
|s
n
a| < para n > 6
Ejemplos (sucesiones convergentes). a) Las sucesin constante s
n
= c (c R) converge al n-
mero c.
b) La sucesin (1/n) converge a 0 (consecuencia de la propiedad arquimediana, teorema 1.2.2).
Ejemplos (sucesiones no convergentes). a) La sucesin ((1)
n
) no es convergente (si tuviese
lmite a, no puede ser a = 1 puesto que entonces eligiendo = 2 > 0, cualquiera que fuese
N bastara tomar n = 2N +1 > N para conseguir que |s
n
a| = | 1 1| = 2 < ; y si a =
1, eligiendo ahora = |1 a| > 0, cualquiera que fuese N bastara tomar n = 2N > N para
conseguir que |s
n
a| = |1a| < = |1a|).
b) La sucesin (n) no puede ser convergente, pues si tuviese lmite a, tomando = 1 en la deni-
cin de convergencia, para algn N habra de ser n < a+1 siempre que n fuese mayor que N,
lo cual es imposible (consecuencia una vez ms de la propiedad arquimediana).
Proposicin 3.1.3. Sea a R. Dada una sucesin (s
n
), son equivalentes entre s:
a) (s
n
) es convergente con lmite a; abreviadamente, a = lm
n
s
n
o s
n
a.
b) siempre que a
< a, existe un n
tal que para todo n > n
es a
< s
n
y
siempre que a < a
, existe un n
es s
n
< a
.
c) si a
, a
son nmeros reales tales que a (a
, a
), existe entonces un N tal que para todo n > N

es s
n
(a
, a
).
Demostracin. a) =b) Dado a
< a, tomando = aa
> 0 existir por hiptesis un N tal que si

n > N entonces s
n
> a = a(aa
) = a
. Para a < a
se razona de manera similar.

b) =c) Basta observar que x (a
, a
) signica que a
<x <a
. Por consiguiente, si a (a
, a
)
existen n
y n
tales que para todo n > n
es s
n
> a
y para todo n > n
es s
n
< a
. Tomando ahora
N = m ax{n
, n
}, siempre que n > N es simultneamente n > n
y n > n
, luego para todo n > N ser

a
< s
n
< a
o, equivalentemente, s
n
(a
, a
).
c) = a) Si > 0, se tendr a (a , a +), por lo que debe existir un N tal que para todo
n > N es s
n
(a, a+), o lo que es lo mismo, |s
n
a| < .
Corolario 3.1.4. Sea (s
n
) una sucesin convergente con lmite a y sea c R. Se tiene:
a) Si existe m tal que para todo n > m es c s
n
, entonces c a.
b) Si existe m tal que para todo n > m es s
n
c, entonces a c.
Demostracin. Se prueba por reduccin al absurdo aplicando la proposicin 3.1.3.
El corolario 3.1.4 no es cierto con desigualdades estrictas.
Corolario 3.1.5 (unicidad del lmite de una sucesin convergente). Sea (s
n
) una sucesin conver-
gente y sean a, b R tales que a = lm
n
s
n
, b = lm
n
s
n
. Entonces a = b.
Demostracin. Si no, sea, por ejemplo, a < b. Tomando c tal que a < c < b, puesto que c < b y b es
lmite de (s
n
), debe existir un n
sea s
n
> c; igualmente, puesto que a < c y
a es lmite de (s
n
), debe existir un n
es s
n
< c; tomando n = m ax{n
, n
}
llegamos a una contradiccin: tendra que cumplirse c < s
n
< c.
El lmite de una sucesin convergente es as el nico nmero real al que la sucesin converge.
Las deniciones de acotacin de sucesiones se obtienen particularizando a sucesiones las que
dimos sobre acotacin de funciones.
n
)
n=1
se dice que est acotada superiormente si existe algn n-
mero C R tal que para todo n N, s
n
C.
Se dice que est acotada inferiormente si existe algn nmero K R tal que para todo n N,
K s
n
.
Se dice que est acotada si lo est superior e inferiormente. Esto equivale a que exista un nmero
M 0 tal que para todo n N, |s
n
| M.
Proposicin 3.1.7. Toda sucesin convergente est acotada.
Demostracin. Sea (s
n
) una sucesin convergente a un nmero a R. Tomamos, por ejemplo, = 1
en la denicin de lmite y existir algn nmero N N tal que |s
n
a| < 1 para todo n > N. Si
escribimos
B = m ax{1, |s
1
a|, |s
2
a|, . . . , |s
N
a|},
se tiene que |s
n
a| B, es decir,
aB s
n
a+B,
para todo n N. Luego la sucesin est acotada.
Aplicacin. Dado x Rtal que |x| >1, la sucesin que tiene por trmino n-simo x
n
no es convergen-
te. En efecto: si ponemos h = |x| 1, entonces |x
n
| = |x|
n
= (1+h)
n
1+nh, segn la desigualdad
de Bernoulli. De aqu se deduce que la sucesin no est acotada.
Tampoco es convergente la sucesin de trmino n-simo s
n
= n.
3.1.2. Sucesiones montonas
Las deniciones sobre monotona de sucesiones se obtienen particularizando a sucesiones las que
dimos sobre monotona de funciones. Esto equivale a lo siguiente:
Denicin 3.1.8. a) Una sucesin (s
n
) es montona no decreciente si y solo si para todo n N
se verica s
n
s
n+1
.
b) Una sucesin (s
n
) es montona no creciente si y solo si para todo n N se verica s
n
s
n+1
.
c) Una sucesin (s
n
) es estrictamente creciente si y solo si para todo n N se verica s
n
< s
n+1
.
d) Una sucesin (s
n
) es estrictamente decreciente si y solo si para todo n N se verica s
n
>
s
n+1
.
e) Una sucesin se dice que es montona si es de alguno de los tipos anteriores.
Proposicin 3.1.9. a) Sea (s
n
) una sucesin montona no decreciente. Entonces (s
n
) es conver-
gente si y solo si est acotada superiormente, en cuyo caso
lm
n
s
n
= sup{s
n
: n N}.
b) Sea (s
n
) una sucesin montona no creciente. Entonces (s
n
) es convergente si y solo si est
acotada inferiormente, en cuyo caso
lm
n
s
n
=nf{s
n
: n N}.
Demostracin. Sea (s
n
) una sucesin montona no decreciente. Segn la proposicin 3.1.7, si la su-
cesin converge entonces est acotada (superiormente); esto demuestra una implicacin del apartado
a). Supongamos ahora que la sucesin est acotada superiormente, sea a su supremo y veamos que
la sucesin converge al punto a. Sea > 0. Como a < a, el nmero a no puede ser una cota
superior de la sucesin, y por lo tanto existir algn N N tal que
a < a
N
.
Como la sucesin es no decreciente, para cada n > N se tendr
a
a
s
1
s
2
s
3
. . . s
N
. . .
toda sucesin no decreciente y acotada tiene lmite
a < a
N
a
N+1
a
n
y, por la denicin de supremo,
a
n
a < a+.
Por lo tanto, a < a
n
< a+. Esto demuestra que la sucesin converge al punto a.
La demostracin del apartado b) es anloga.
Ejemplo (el nmero e). La sucesin de trmino n-simo
s
n
=
_
1+
1
n
_
n
es estrictamente creciente y acotada superiormente por 3. Lo primero puede probarse mediante la
desigualdad de Bernoulli observando que
s
n+1
s
n
=
_
1+
1
n+1
_
n+1
_
1+
1
n
_
n
=
_
n+2
n+1
_
n+1
_
n+1
n
_
n+1
n
n+1
=
[n(n+2)]
n+1
((n+1)
2
)
n+1

n+1
n
=
n+1
n
_
1
1
(n+1)
2
_
n+1
>
n+1
n
_
1+(n+1)
1
(n+1)
2
_
=
n+1
n

n
n+1
= 1.
Que 3 acota superiormente a la sucesin puede deducirse del siguiente resultado, que a su vez se
demuestra por induccin: para cada n N, si 1 h
1
n
se tiene (1+h)
n
1+nh+n
2
h
2
(ayuda: si
nh 1, tambin n
2
h
3
nh
2
).
El lmite de esta sucesin es el nmero e, base de los logaritmos neperianos y de la funcin
exponencial ya presentados en el captulo 2.
Ejemplo. La sucesin (x
n
) es montona no decreciente y acotada si x [0, 1]; veremos que su lmite
es 0 si x [0, 1) y 1 si x = 1. Cuando x (1, +), la sucesin (x
n
) es estrictamente creciente y
no acotada (para ver esto ltimo, tmese h = x 1 > 0 y aplquese la desigualdad de Bernoulli a
x
n
= (1+h)
n
junto con la propiedad arquimediana) (teorema 1.2.2).
Ejemplo. La sucesin de trmino n-simo H
n
= 1+
1
2
+ +
1
n
es estrictamente creciente y no aco-
tada. Que es estrictamente creciente es inmediato:
H
n+1
= 1+
1
2
+
1
3
+
1
n
+
1
n+1
= H
n
+
1
n+1
> H
n
.
Veamos que no est acotada, considerando los trminos H
2
m:
H
2
m = 1+
1
2
+
_
1
3
+
1
4
_
+
_
1
5
+
1
6
+
1
7
+
1
8
_
+
_
1
9
+ +
1
16
_
+ +
_
1
2
m1
+1
+ +
1
2
m
_
1+
1
2
+
_
1
4
+
1
4
_
+
_
1
8
+
1
8
+
1
8
+
1
8
_
+
_
1
16
+ +
1
16
_
+ +
_
1
2
m
+ +
1
2
m
_
(el primer parntesis tiene 2 sumandos, el segundo 4, el tercero 8..., el ltimo tiene 2
m1
)
= 1+
1
2
+
2
4
+
4
8
+
8
16
+ +
2
m1
2
m
(aparte del 1, hay m sumandos, todos iguales a
1
2
)
= 1+
m
2
;
por lo tanto, H
2
m 1+
m
2
y la sucesin H
n
no est acotada.
Ejemplo. La sucesin de trmino n-simo s
n
=
1
n+1
+
1
n+2
+ +
1
2n
es estrictamente creciente (puesto
que s
n+1
s
n
=
1
2n+1
1
2n+2
> 0) y acotada superiormente por 1 (obsrvese que s
n
1
n
+
1
n
+
(n)
. . . +
1
n
= 1).
De su lmite, por el momento, solo podemos asegurar que est entre s
1
=
1
2
y 1 (o entre s
2
=
1
3
+
1
4
y 1, o entre s
3
=
1
4
+
1
5
+
1
6
y 1, etctera). Ms adelante podremos probar que su valor exacto es log2.
3.1.3. Operaciones con sucesiones
Proposicin 3.1.10. Sean (s
n
), (t
n
) sucesiones convergentes con lmites
a = lm
n
s
n
, b = lm
n
t
n
,
y sea c R. Entonces
a) (s
n
+t
n
) es convergente y tiene lmite a+b.
b) (c s
n
) es convergente y tiene lmite c a.
Demostracin. a) Sea >0. Usando la denicin de convergencia de (s
n
) obtenemos que existe N
1
N tal que si n >N

1
, entonces |s
n
a| </2. De igual manera existe N
2
N tal que si n >N
2
, entonces
|t
n
b| </2. Escribimos N = m ax{N
1
, N
2
}. Por tanto, si n > N, se verican las dos desigualdades a
la vez y as, |(s
n
+t
n
) (a+b)| |s
n
a| +|t
n
b| < /2+/2 = .
b) Si c =0 el resultado es trivial. Suponer por tanto c =0. Usamos la denicin de convergencia de
(s
n
) y as, existe N
1
Ntal que si n >N
1
, entonces |s
n
a| </|c|. Por tanto, |cs
n
ca| =|c| |s
n
a| <
|c|/|c| =
n
), (t
n
) sucesiones convergentes con lmites
a = lm
n
s
n
, b = lm
n
t
n
.
Entonces (s
n
t
n
) es convergente y tiene lmite a b.
Demostracin. Como (s
n
) es convergente, est acotada por la proposicin 3.1.7 y existe K >0 tal que
|s
n
| K, n N.
Sea > 0. Como (s
n
) converge, existe N
1
N tal que si n > N
1
entonces |s
n
a| <

2|b|+1
. Por
otra parte, como (t
n
) converge, existe N
2
N tal que si n > N
2
entonces |t
n
b| <

2K
.
Finalmente, si N = m ax{N
1
, N
2
} y n > N, se tiene
|s
n
t
n
ab| = |s
n
t
n
s
n
b+s
n
bab| |s
n
| |t
n
b| +|b| |s
n
a| K

2K
+|b|

2|b| +1
<
Ejemplo.
1
n
2
=
1
n

1
n
0.
En general, aplicando reiteradamente el mismo argumento,
1
n
p
0 cualquiera que sea p N.
Proposicin 3.1.12. Si (s
n
) es una sucesin acotada y (t
n
) es una sucesin convergente a 0, la suce-
sin (s
n
t
n
) converge a 0.
Demostracin. Sea > 0. Sea K > 0 tal que |s
n
| K, n N. Usando la denicin de convergencia
de t
n
para /K, se tiene que existe N
1
N tal que si n > N
1
entonces |t
n
| < /K. Por tanto, |s
n
t
n
|
K/K = .
Ejemplo. La sucesin de trmino n-simo
(1)
n
n
converge a 0 (tmese s
n
= (1)
n
, t
n
=
1
n
en la pro-
posicin 3.1.12)
Lema 3.1.13. Sea (t
n
) una sucesin convergente con lmite b = 0. Fijado r de modo que 0 < r < |b|,
existe m N tal que para n N se verica
|t
n
| > r siempre que n > m.
Precisando ms: si b > 0, es
t
n
> r siempre que n > m
y si b < 0,
t
n
<r siempre que n > m.
Demostracin. Es consecuencia inmediata de la proposicin 3.1.3.
Proposicin 3.1.14. Sea (s
n
) una sucesin convergente con lmite a y (t
n
) una sucesin convergente
con lmite b = 0. Si (u
n
) es una sucesin tal que
u
n
=
s
n
t
n
siempre que t
n
= 0,
entonces (u
n
) es convergente con lmite a/b.
Demostracin. Sea > 0. Relacionamos la denicin de lmite del cociente con el lmite de cada una
de las sucesiones de la forma siguiente:
s
n
t
n

a
b
s
n
bt
n
a
bt
n
=
|s
n
bt
n
a|
|b||t
n
|
=
|s
n
b+s
n
t
n
s
n
t
n
t
n
a|
|b||t
n
|

|s
n
| |t
n
b| +|t
n
| |s
n
a|
|b||t
n
|
Primeramente, usando el lema 3.1.13 con r = |b|/2, existe N
1
N tal que si n > N
1
, se tiene |t
n
| >
|b|/2. Ahora, por la proposicin 3.1.7, existen constantes K
1
, K
2
> 0 tales que |s
n
| < K
1
y |t
n
| < K
2
para todo n N. Por otra parte, aplicamos la denicin de lmite de s
n
, y as existe N
2
N tal que
si n > N
2
entonces |s
n
a| <
|b|
2
4K
2
. Anlogamente para t
n
, existe N
3
N tal que si n > N
3
entonces
|t
n
b| <
|b|
2
4K
1
. Finalmente, si n > m ax{N
1
, N
2
, N
3
} todas las acotaciones se verican y
s
n
t
n

a
b
|s
n
| |t
n
b| +|t
n
| |s
n
a|
|t
n
||b|
<
K
1
|b|
2
4K
1
+K
2
|b|
2
4K
2
|b||b|/2
=
Corolario 3.1.15. Sea (s
n
) una sucesin convergente con lmite a y (t
n
) una sucesin convergente sin
trminos nulos y con lmite b = 0. Entonces la sucesin (s
n
/t
n
) es convergente y
lm
n
s
n
t
n
=
a
b
.
Ejemplos. a) La sucesin de trmino n-simo
1+2+ +n
n
2
converge a 1/2: basta observar que
1+2+ +n
n
2
=
n(n+1)
2
n
2
=
1
2
(1+
1
n
).
b) La sucesin de trmino n-simo
1
n
_
_
a+
1
n
_
2
+
_
a+
2
n
_
2
+ +
_
a+
n1
n
_
2
_
converge al nmero a
2
+a+
1
3
(por qu?).
c) Si (s
n
) es una sucesin cuyos trminos son todos no negativos, convergente y con lmite a,
entonces la sucesin (
s
n
) es convergente con lmite

a. En el caso a = 0, esto se deduce
inmediatamente de la denicin de lmite; en el caso a = 0, se deduce de
s
n
a =
s
n
a
s
n
+
a
y de que (s
n
a) converge a 0, mientras que 1/(
s
n
+
a) est acotada:
0 <
1
s
n
+
a

1
a
.
d) La sucesin de trmino n-simo

1+n1
n
converge a 0 (por qu?).
e) La sucesin de trmino n-simo

n
2
+1+
n
4
n
3
+nn
converge (a qu lmite? por qu?).
f) La sucesin de trmino n-simo

n+1
n
converge (a qu lmite? por qu?).
g) La sucesin (s
n
) con
s
n
=
1
1 2
+
1
2 3
+
1
3 4
+ +
1
n(n+1)
converge a 1
_
1
k(k+1)
=
1
k
1
k+1
=s
n
= 1
1
n+1
1
_
.
3.1.4. Desigualdades y lmites. Regla del sandwich
Proposicin 3.1.16. Si (s
n
) y (t
n
) son dos sucesiones convergentes y existe un m tal que
s
n
t
n
para todo n > m,
entonces
lm
n
s
n
lm
n
t
n
.
Demostracin. La sucesin t
n
s
n
cumple la desigualdad 0 t
n
s
n
para todo n > m y converge a
lm
n
t
n
lm
n
s
n
. Por el corolario 3.1.4, 0 lm
n
t
n
lm
n
s
n
, es decir, lm
n
s
n
lm
n
t
n
.
Ahora podemos enunciar cmodamente una versin del teorema de los intervalos encajados de
Cantor con una condicin sencilla para que la interseccin est formada por un solo punto.
Teorema 3.1.17 (de Cantor de los intervalos encajados). Para cada n N, sea I
n
= [a
n
, b
n
] un
intervalo cerrado (no vaco). Supongamos que para todo n se cumple I
n+1
I
n
, es decir,
a
n
a
n+1
b
n+1
b
n
,
y que adems
lm
n
(b
n
a
n
) = 0.
Entonces
nN
I
n
se reduce a un punto; en concreto,
nN
I
n
= {x},
donde
x = lm
n
a
n
= lm
n
b
n
.
Demostracin. Obsrvese que, por hiptesis, la sucesin (a
n
) es montona no decreciente y acotada
superiormente (por b
1
, por ejemplo), luego, por la proposicin 3.1.9, converge a un nmero real x.
Anlogamente, la sucesin (b
n
) converge a un nmero real r y por la proposicin 3.1.16, es a
n

x r b
n
para todo n N. Ahora, la condicin lm
n
(b
n
a
n
) = 0 asegura que x = r y que {x} =
nN
I
n
.
Proposicin 3.1.18 (regla del sandwich o de encajamiento). Sean (s
n
), (t
n
) y (u
n
) sucesiones tales
que existe un m N de manera que
s
n
t
n
u
n
para todo n > m. Si (s
n
) y (u
n
) son sucesiones convergentes y con el mismo lmite a, es decir,
lm
n
s
n
= lm
n
u
n
= a,
entonces (t
n
) es tambin convergente y tiene el mismo lmite a, es decir,
lm
n
t
n
= a.
Demostracin. Sea >0. Por la denicin de lmite existe N
1
Ntal que si n >N
1
entonces |s
n
a| <
, es decir, a < s
n
< a+. Anlogamente, existe N
2
N tal que si n > N
2
entonces a < u
n
<
a+. Entonces si n > m ax{m, N
1
, N
2
} se tiene a < s
n
t
n
u
n
< a+, es decir, |t
n
a| <.
Ejemplos. a) Se verica
1
n
2
+1
+
1
n
2
+2
+ +
1
n
2
+n
1,
pues podemos encajar la sucesin entre
n
n
2
+n
y
n
n
2
+1
.
b) Comprobando que la sucesin de trmino n-simo
n+1
n
2
+1
+
n+2
n
2
+2
+ +
n+n
n
2
+n
est encajada entre
n+1
n
2
+n
+
n+2
n
2
+n
+ +
n+n
n
2
+n
=
n n+(1+2+ +n)
n
2
+n
=
n
2
+
1
2
n(n+1)
n
2
+n
y
n+1
n
2
+1
+
n+2
n
2
+1
+ +
n+n
n
2
+1
=
n n+(1+2+ +n)
n
2
+1
=
n
2
+
1
2
n(n+1)
n
2
+1
,
se deduce que la sucesin dada converge a
3
2
.
3.1.5. Subsucesiones. Teorema de Bolzano-Weierstrass
Eliminando trminos de una sucesin podemos extraer de ella nuevas sucesiones, cuyos trminos
aparecen en la sucesin original en el mismo orden (tal vez no en el mismo lugar) que en la nueva: es
decir, vamos tomando innitos trminos, saltando algunos quiz, pero sin volver atrs. Por ejemplo,
dada una sucesin
s
1
, s
2
, s
3
, s
4
, s
5
, s
6
, s
7
, s
8
, s
9
, . . . ,
si nos quedamos con los trminos que ocupan lugar impar (eliminando los que ocupan lugar par),
obtenemos una nueva sucesin
s
1
, s
3
, s
5
, s
7
, s
9
, . . . ,
cuyo trmino n-simo es s
2n1
; si nos quedamos con los trminos que ocupan lugar par (eliminando
los que ocupan lugar impar), obtenemos la nueva sucesin
s
2
, s
4
, s
6
, s
8
, s
10
, . . . ,
cuyo trmino n-simo es s
2n
. Podemos imaginar fcilmente otras muchas maneras de extraer suce-
siones de la sucesin inicial con este procedimiento. Se obtienen as lo que se llaman subsucesiones
de la sucesin dada; como iremos viendo a lo largo del curso, el manejo de subsucesiones facilita
habitualmente el estudio de la sucesin original, y permite demostrar varias propiedades esenciales de
la teora de funciones reales de variable real. Pasemos a formalizar este concepto.
Denicin 3.1.19. Dada una sucesin (s
n
), se dice que otra sucesin (t
n
) es una subsucesin de (s
n
)
si existe una funcin : N N estrictamente creciente, es decir,
(1) < (2) < (3) < < (n) < (n+1) <
de manera que para todo n N es t
n
= s
(n)
.
Ejemplos. ([BARTLE-SHERBERT, pg. 110], [ROSS, pgs. 4851])
a) Sea n
0
N. Tomando (n) = n+n
0
en la denicin anterior, se obtiene la subsucesin
s
n
0
+1
, s
n
0
+2
, s
n
0
+3
, s
n
0
+4
, s
n
0
+5
, s
n
0
+6
, s
n
0
+7
, . . . ,
que resulta de la original suprimiendo los n
0
primeros trminos.
b) La sucesin de trmino n-simo t
n
= 4n
2
es una subsucesin de la sucesin de trmino n-simo
s
n
= (1)
n
n
2
, como se ve tomando (n) = 2n.
c) La sucesin
_
1,
1
3
,
1
2
,
1
4
,
1
5
,
1
6
,
1
7
, . . .
_
no es una subsucesin de
_
1
n
_
n=1
. Tienen los mismos trmi-
nos, pero no en el mismo orden. La sucesin
_
1, 0,
1
3
, 0,
1
5
, 0,
1
7
, 0, . . . ,
1+(1)
n+1
2n
, . . .
_
tampoco es
una subsucesin de
_
1
n
_
n=1
.
d) Toda sucesin es una subsucesin de s misma (reexividad). Tambin hay transitividad: si (u
n
)
es una subsucesin de (t
n
) y (t
n
) es una subsucesin de (s
n
), a su vez (u
n
) es una subsucesin
de (s
n
).
Proposicin 3.1.20. Toda subsucesin de una sucesin convergente es tambin convergente y tiene el
mismo lmite.
Demostracin. Es una consecuencia inmediata de la denicin de lmite.
Aplicaciones. a) Ya vimos, con cierto esfuerzo, que ((1)
n
) no es una sucesin convergente.
Ahora es inmediato: la subsucesin de sus trminos de lugar par converge a 1, la subsucesin
de sus trminos de lugar impar converge a 1.
b) Para x [0, 1), la sucesin (x
n
) converge a 0: puesto que es convergente, segn probamos,
y si lm
n
x
n
= a, vemos que lm
n
x
n+1
= a x. Pero
_
x
n+1
_
es una subsucesin de (x
n
) (la que
corresponde a (n) = n+1 en la denicin), luego tambin lm
n
x
n+1
= a, de donde a x = a y
como x = 1, nalmente a = 0. Por qu no podemos utilizar estos clculos si x > 1?
c) La enumeracin diagonal de todos los nmeros racionales forma una sucesin que no es con-
vergente: tiene subsucesiones convergentes a cualquier nmero real (ver [ROSS, pgs. 4950]).
Proposicin 3.1.21. Una sucesin (s
n
) es convergente si y solo si la subsucesin de trminos de
lugar par (s
2n
) y la subsucesin de trminos de lugar impar (s
2n1
) son ambas convergentes y tienen
el mismo lmite.
Demostracin. Por la proposicin 3.1.20 basta con demostrar que si s
2n
a Ry s
2n1
a entonces
s
n
a. Sea > 0. Por la denicin de lmite existen N
1
, N
2
N tales que:
a) si k > N
1
es |s
2k
a| < ;
b) si k > N
2
es |s
2k1
a| < .
Ahora si n > m ax{2N
1
, 2N
2
1} se tiene, tanto si n es par como impar que |s
n
a| < .
Lema 3.1.22. Toda sucesin posee una subsucesin montona.
Demostracin. Vase [SPIVAK, pg. 622].
Con ayuda del teorema de Cantor de los intervalos encajados (teorema 3.1.17) o bien del le-
ma 3.1.22, puede demostrarse el siguiente resultado:
Teorema 3.1.23 (de Bolzano-Weierstrass). Toda sucesin acotada posee una subsucesin conver-
gente.
Demostracin. Sea (s
n
) una sucesin acotada y K > 0 de forma que K s
n
K para todo n N.
Vamos construyendo la subsucesin de la siguiente forma: bien en [0, K], bien en [K, 0], habr in-
nitos trminos de la sucesin (quiz incluso en los dos). Supongamos que en I
1
= [0, K] hay innitos
trminos y elijamos cualquier elemento s
(1)
I
1
. De nuevo repetimos la idea y, o bien en [0, K/2]
o en [K/2, K], habr innitos trminos de la sucesin. Nos quedamos uno de los intervalos que con-
tenga innitos s
n
; supongamos, por ejemplo, que es I
2
= [K/2, K]. Elegimos un elemento s
(2)
I
2
que adems cumpla (2) > (1). Observemos que I
2
I
1
. El siguiente paso es de nuevo subdividir
I
2
en dos mitades, [K/2, 3K/4] y [3K/4, K], elegir una mitad I
3
que contenga innitos trminos de
la sucesin y seleccionar un nuevo s
(3)
I
3
con (3) > (2). Construimos de esa forma una suce-
sin de intervalos cerrados encajados I
1
I
2
I
n
. . . y una subsucesin (s
(n)
) de (s
n
) con
s
(n)
I
n
para todo n N. Por comodidad escribimos I
n
= [a
n
, b
n
] con lo que a
n
s
(n)
b
n
para
todo n N y adems, como la longitud de cada I
n
es K/2
n
, se tiene b
n
a
n
= K/2
n
0. Por tanto
podemos aplicar el teorema 3.1.17 de los intervalos encajados y asegurar la existencia de x R tal que
x = lm
n
a
n
= lm
n
b
n
. Pero por la regla de sandwich (proposicin 3.1.18) tenemos que s
(n)
x.
3.1.6. Sucesiones de Cauchy
n
)
n=1
se dice que es de Cauchy si para cada > 0 existe algn
N N (que puede depender de ) de modo que
n, m > N =|s
n
s
m
| < .
Lema 3.1.25. Toda sucesin de Cauchy est acotada.
Demostracin. La denicin, usada para =1, asegura la existencia de N N de modo que si n >N,
entonces |s
n
s
N+1
| < 1, es decir, s
N+1
1 < s
n
< s
N+1
+1. La sucesin (s
n
) est acotada inferior-
mente por mn{s
1
, . . . , s
N
, s
N+1
1} y superiormente por m ax{s
1
, . . . , s
N
, s
N+1
+1}.
Proposicin 3.1.26. Una sucesin es convergente si y solo si es de Cauchy.
Demostracin. Sea s
n
a R. Sea > 0. Por denicin de lmite, existe N N de modo que si
n >N, entonces |s
n
a| </2. Por tanto, si n, m>N es |s
n
s
m
| =|s
n
a+as
m
| |s
n
a| +|s
m
a| < /2+/2 = .
Recprocamente, sea (s
n
) una sucesin de Cauchy. Puesto que est acotada (lema 3.1.25), el teo-
rema 3.1.23 de Bolzano-Weierstrass asegura la existencia de una subsucesin (s
(n)
) convergente a
un cierto a R.
Dado >0, existe N Nde modo que si n, m>N, entonces |s
n
s
m
| </2. En particular se tiene
|s
n
s
(m)
| < /2. Ahora, tomando lmite en m se llega a que, si n > N es |s
n
a| /2 < .
3.2. Lmites innitos
3.2.1. Sucesiones divergentes. Propiedades. Operaciones con sucesiones divergentes
Denicin 3.2.1. Decimos que una sucesin (s
n
) diverge a +, y escribimos lm
n
s
n
= +, si para
todo M R existe algn N N que cumpla: n > N =s
n
> M.
Decimos que una sucesin (s
n
) diverge a , y escribimos lm
n
s
n
= , si para todo M R
existe N N que cumpla: n > N =s
n
< M.
Una sucesin divergente es una sucesin que diverge a + o a . Las sucesiones que no son
convergentes ni divergentes se denominan sucesiones oscilantes.
Nota. Se sigue directamente de la denicin que una sucesin (s
n
) diverge a +si y solo si su opuesta
(s
n
) diverge a .
Observacin. En la denicin de sucesin que diverge a +, en lugar de M R se puede poner
M > 0; y en la denicin de sucesin que diverge a se puede poner M > 0:
a) Una sucesin (s
n
) diverge a + si y solo si para todo M > 0 existe N N tal que siempre que
n > N sea s
n
> M.
b) Una sucesin (s
n
) diverge a si y solo si para todo M < 0 existe N N tal que siempre que
n > N sea s
n
< M.
Notas. a) En lo sucesivo, diremos que una sucesin tiene lmite si es convergente o divergente, es
decir, si no es oscilante. Obsrvese que el lmite (en este sentido ampliado) sigue siendo nico:
si a, b R{+, } y lm
n
s
n
= a, lm
n
s
n
= b, es a = b.
A veces nos referiremos a las sucesiones convergentes como sucesiones con lmite nito y a las
divergentes como sucesiones con lmite innito.
3.2. Lmites innitos 51
b) Si una sucesin diverge, no est acotada. Pero hay sucesiones no acotadas que oscilan, no son
divergentes.
Proposicin 3.2.2. a) Sea (s
n
) una sucesin montona no decreciente. Si no est acotada supe-
riormente, (s
n
) diverge a +,
lm
n
s
n
= +.
b) Sea (s
n
) una sucesin montona no creciente. Si no est acotada inferiormente, (s
n
) diverge a
,
lm
n
s
n
=.
Demostracin. Es consecuencia directa de las deniciones.
Corolario 3.2.3. Toda sucesin montona tiene lmite (nito si est acotada, innito en caso contra-
rio).
Ejemplo. Ya vimos que la sucesin de trmino n-simo
H
n
= 1+
1
2
+
1
3
+ +
1
n
es montona estrictamente creciente y no est acotada superiormente. Luego diverge a +.
Proposicin 3.2.4. a) Toda subsucesin de una sucesin divergente a + es divergente a +.
b) Toda subsucesin de una sucesin divergente a es divergente a .
Demostracin. Es consecuencia directa de la denicin de lmite.
Proposicin 3.2.5. a) Una sucesin posee una subsucesin divergente a + si y solo si no est
acotada superiormente.
b) Una sucesin posee una subsucesin divergente a si y solo si no est acotada inferiormente.
c) Una sucesin posee una subsucesin divergente si y solo si no est acotada.
Demostracin. Es consecuencia directa de las deniciones.
Proposicin 3.2.6. a) Si (s
n
) es una sucesin divergente a + y (t
n
) es una sucesin acotada
inferiormente, la sucesin (s
n
+t
n
) diverge a +.
b) ) Si (s
n
) es una sucesin divergente a y (t
n
) es una sucesin acotada superiormente, la
sucesin (s
n
+t
n
) diverge a .
Demostracin. a) Por la denicin de acotacin inferior existe K R tal que t
n
> K para todo n N.
Ahora sea M R. Por denicin de lmite existe N N tal que si n > N se tiene s
n
> MK. Por
tanto, si n > N es s
n
+t
n
> MK+K = M. El caso b) es completamente anlogo.
Corolario 3.2.7. a) Si (s
n
n
) es una sucesin convergente o
divergente a +, la sucesin (s
n
+t
n
) diverge a +: abreviadamente,
lm
n
s
n
= +, lm
n
t
n
= a R{+} =lm
n
(s
n
+t
n
) = +.
b) Si (s
n
n
) es una sucesin convergente o divergente a ,
la sucesin (s
n
+t
n
) diverge a : abreviadamente,
lm
n
s
n
=, lm
n
t
n
= a R{} =lm
n
(s
n
+t
n
) =.
Demostracin. Observar, en el caso a), que t
n
est acotada inferiormente y podemos aplicar la propo-
sicin 3.2.6. El apartado b) es anlogo.
Nota. La suma de una sucesin divergente a + con una sucesin divergente a puede resultar
convergente, puede resultar divergente a +, puede resultar divergente a y puede resultar osci-
lante.
Proposicin 3.2.8. a) Si (s
n
n
) es una sucesin para la que
existen r > 0 y m tales que
t
n
> r siempre que n > m,
la sucesin (s
n
t
n
) diverge a +.
b) Si (s
n
n
) es una sucesin para la que existen r > 0 y m
tales que
t
n
> r siempre que n > m,
la sucesin (s
n
t
n
) diverge a .
c) Si (s
n
n
tales que
t
n
<r siempre que n > m,
la sucesin (s
n
t
n
) diverge a .
d) Si (s
n
n
tales que
t
n
<r siempre que n > m,
la sucesin (s
n
t
n
) diverge a +.
Demostracin. a) Sea M > 0. Como s
n
+ existe N N tal que si n > N es s
n
> M/r. Por tanto,
si n > m ax{m, N} se tiene s
n
t
n
> M/r r = M. Los apartados b), c) y d) se demuestran de manera
completamente anloga.
Corolario 3.2.9. a) Si (s
n
n
) es una sucesin convergente
con lmite positivo o divergente a +, la sucesin (s
n
t
n
lm
n
s
n
= +, lm
n
t
n
= a (0, +) {+} =lm
n
(s
n
t
n
) = +.
b) Si (s
n
n
) es una sucesin convergente con lmite positivo
o divergente a +, la sucesin (s
n
t
n
lm
n
s
n
=, lm
n
t
n
= a (0, +) {+} =lm
n
(s
n
t
n
) =.
c) Si (s
n
n
) es una sucesin convergente con lmite negativo
o divergente a , la sucesin (s
n
t
n
lm
n
s
n
= +, lm
n
t
n
= a {}(, 0) =lm
n
(s
n
t
n
) =.
d) Si (s
n
n
) es una sucesin convergente con lmite negativo
o divergente a , la sucesin (s
n
t
n
lm
n
s
n
=, lm
n
t
n
= a {}(, 0) =lm
n
(s
n
t
n
) = +.
Demostracin. Es consecuencia directa de la proposicin 3.2.8 y la proposicin 3.1.3.
Nota. El producto de una sucesin divergente a + o a por una sucesin convergente a 0 puede
resultar convergente, divergente a +, divergente a u oscilante.
Proposicin 3.2.10 (inversas de sucesiones divergentes). a) Una sucesin (s
n
) diverge a + si
y solo si tiene como mucho un nmero nito de trminos no positivos y su inversa converge a 0:
abreviadamente,
lm
n
s
n
= +
_
m; s
n
> 0 siempre que n > m
lm
n
1
s
n
= 0
b) Una sucesin (s
n
) diverge a si y solo si tiene como mucho un nmero nito de trminos no
negativos y su inversa converge a 0: abreviadamente,
lm
n
s
n
=
_
m; s
n
< 0 siempre que n > m
lm
n
1
s
n
= 0
c) La sucesin de valores absolutos de una sucesin (s
n
) diverge a + si y solo si tiene como
mucho un nmero nito de trminos no nulos y su inversa converge a 0: abreviadamente,
lm
n
|s
n
| = +
_
m; s
n
= 0 siempre que n > m
lm
n
1
s
n
= 0
Demostracin. a) Suponemos primeramente que s
n
+. Por denicin de lmite, si n > N
1
es
s
n
> 0, es decir, tiene como mucho un nmero nito de trminos no positivos. Ahora, para ver que
s
1
n
0, jamos > 0. De nuevo por hiptesis, existe N
2
N tal que si n > N
2
es s
n
> 1/. Luego si
n > m ax{N
1
, N
2
} se tiene s
1
n
< .
Recprocamente,supongamos que s
n
> 0 si n > N
1
y que s
1
n
0. Para ver que s
n
+ -
jamos M > 0. Por denicin de lmite, existe N
2
N tal que si n > N
2
es s
1
n
< 1/M. Luego si
n > m ax{N
1
, N
2
} se tiene s
n
> M.
Los otros apartados se demuestran anlogamente.
Es fcil comprobar que una sucesin (s
n
) converge a 0 si y solo si la sucesin (|s
n
|) de sus valores
absolutos converge a 0. En efecto, ambas propiedades equivalen a que para todo > 0 exista un N tal
que |s
n
| < para n > N. En general, sin embargo, solo puede armarse que si (s
n
) es convergente con
lmite a, entonces (|s
n
|) es convergente con lmite |a|; el recproco no siempre es cierto si a = 0. De
esto se deduce:
Corolario 3.2.11. Una sucesin (s
n
) sin trminos nulos converge a 0 si y solo si la sucesin (1/|s
n
|)
de los valores absolutos de los inversos diverge a +: en smbolos, si s
n
= 0 para todo n,
lm
n
s
n
= 0 lm
n
1
|s
n
|
= +.
Observacin. Como
s
n
t
n
= s
n
1
t
n
, el estudio de cocientes se reduce fcilmente a los casos anteriores.
Una muestra:
Corolario 3.2.12. Si (s
n
n
) es una sucesin convergente con
lmite positivo o una sucesin convergente a 0 que tiene a lo ms un nmero nito de trminos no
positivos, entonces
_
s
n
t
n
_
es una sucesin divergente a +.
Nota. Si la sucesin cociente
_
s
n
t
n
_
est denida, puede ser convergente, divergente a +, divergente
a u oscilante, si estamos en alguno de los dos casos siguientes:
a) (s
n
) y (t
n
) convergen a 0;
b) lm|s
n
| = lm|t
n
| = +.
Si (s
n
) tiene lmite no nulo (nito o innito) y (t
n
) converge a 0, su cociente es divergente salvo en el
caso de que tenga innitos trminos positivos e innitos trminos negativos.
Proposicin 3.2.13 (encajamiento de sucesiones divergentes). Dadas dos sucesiones (s
n
) y (t
n
)
para las que existe un m tal que
s
n
t
n
siempre que n > m,
se verica:
a) si (s
n
) diverge a +, tambin (t
n
) diverge a +:
lm
n
s
n
= + =lm
n
t
n
= +.
b) si (t
n
) diverge a , tambin (s
n
) diverge a :
lm
n
t
n
= =lm
n
s
n
=.
Demostracin. a) Es consecuencia directa de la denicin. Si dado M R existe N N de modo que
si n > N es s
n
> M, tambien se tiene t
n
s
n
> M. Anlogamente se comprueba el apartado b).
3.2.2. La recta ampliada
Los resultados anteriores sugieren ampliar al conjunto R =R{+, } la estructura de orden
de R, y (parcialmente) sus operaciones algebraicas. Concretamente:
a) Para todo x R,
x +.
b) Para todo x R distinto de ,
(+) +x = x +(+) = +.
c) Para todo x R distinto de +,
() +x = x +() =;
quedan sin denir (+) +() y () +(+).
d) (+) =, () = +.
e) Para x, y R,
x y = x +(y)
siempre que la suma tenga sentido; quedan sin denir (+) (+) y () ().
f) Para todo x (0, +) {+},
(+) x = x (+) = +.
g) Para todo x {}(, 0),
(+) x = x (+) =.
h) Para todo x (0, +) {+},
() x = x () =.
i) Para todo x {}(, 0),
() x = x () = +;
quedan sin denir (+) 0, 0 (+), () 0 y 0 ().
j)
1
+
=
1
= 0.
k) Para x, y R,
x
y
= x
_
1
y
_
siempre que el producto tenga sentido; quedan sin denir
1
0
y por tanto
x
0
cualquiera que sea
x R, as como
+
+
,
+
,

+
, y

.
l) | +| = | | = +.
Con la estructura resultante, R suele denominarse la recta ampliada.
Observacin. En R puede hablarse tambin de cotas superiores e inferiores de un conjunto no vaco,
y de supremo, nmo, mximo y mnimo. Todo subconjunto no vaco de R tiene siempre supremo
(cota superior mnima) e nmo (cota inferior mxima) en R.
Notas. a) Dados dos elementos cualesquiera x, y R tales que x < y, se puede encontrar siempre
un nmero real z que cumple x < z < y; en otras palabras, todo intervalo (x, y) R contiene
nmeros reales.
b) Dados x, y, z R, se tiene
x y =x +z y +z
siempre que las sumas estn denidas.
c) Para todo x de R se tiene (1) x =x.
d) Se siguen vericando en R las propiedades del valor absoluto en todos los casos en que tengan
sentido.
Teorema 3.2.14. Dada una sucesin (s
n
) con lmite a (nito o innito) y una sucesin (t
n
) con lmite
b (nito o innito), se tiene:
a) si a+b est denido en R, (s
n
+t
n
) tiene lmite a+b.
b) si ab est denido en R, (s
n
t
n
) tiene lmite ab.
c) si a b est denido en R, (s
n
t
n
) tiene lmite a b.
d) si a/b est denido en R, (s
n
/t
n
) tiene lmite a/b.
3.2.3. Lmite superior y lmite inferior de una sucesin. Lmites de oscilacin
Denicin 3.2.15. Sea (s
n
) una sucesin acotada superiormente. La sucesin (x
n
) de nmeros reales
denida por
x
n
= sup{s
k
: k n}
es montona no creciente, por lo que tiene lmite (que puede ser nito o ). Dicho lmite recibe el
nombre de lmite superior de la sucesin (s
n
). Se denota por lmsup
n
s
n
, de modo que
lmsup
n
s
n
= lm
n
_
sup
kn
s
k
_
=nf
n
_
sup
kn
s
k
_
.
Si (s
n
) no est acotada superiormente, se dene
lmsup
n
s
n
= +.
Denicin 3.2.16. Sea (s
n
) una sucesin acotada inferiormente. La sucesin (y
n
) de nmeros reales
denida por
y
n
=nf{s
k
: k n}
es montona no decreciente, por lo que tiene lmite (que puede ser nito o +). Dicho lmite recibe
el nombre de lmite inferior de la sucesin (s
n
). Se denota por lminf
n
s
n
, de modo que
lminf
n
s
n
= lm
n
_
nf
kn
s
k
_
= sup
n
_
nf
kn
s
k
_
.
Si (s
n
) no est acotada inferiormente, se dene
lminf
n
s
n
=.
Nota. Una consecuencia inmediata de la denicin es que siempre
lminf
n
s
n
lmsup
n
s
n
.
Ejemplos. Pueden examinarse las siguientes sucesiones (en algunos casos no es sencillo demostrar
con rigor cules son el lmite superior y el inferior):
a) lminf
n
(1)
n
=1, lmsup
n
(1)
n
= 1.
b) lminf
n
(1)
n
n =, lmsup
n
(1)
n
n = +.
c) lminf
n
(1)
n
n
= 0, lmsup
n
(1)
n
n
= 0.
d) lminf
n
senn =1, lmsup
n
senn = 1.
e) (0, 1, 0, 1, 0, 1, . . .); el lmite inferior es 0 y el lmite superior es 1.
f) (0, 1, 0, 2, 0, 3, . . .); el lmite inferior es 0 y el lmite superior es +.
g) (0,
1
2
, 0,
1
3
, 0,
1
4
, . . .); el lmite inferior es 0 y el lmite superior es 0, tambin.
h) (a, b, c, a, b, c, . . .); el lmite inferior es mn{a, b, c} y el lmite superior es m ax{a, b, c}.
Proposicin 3.2.17. Dada una sucesin (s
n
), se tiene:
a) (s
n
) es convergente con lmite a si y solo si
lminf
n
s
n
= lmsup
n
s
n
= a.
b) (s
n
) es divergente a + si y solo si
lminf
n
s
n
= +,
y en tal caso tambin lmsup
n
s
n
= +.
c) (s
n
) es divergente a si y solo si
lmsup
n
s
n
=,
y en tal caso tambin lminf
n
s
n
=.
Demostracin. a) Pongamos, para cada n N,
x
n
= sup{s
k
: k n}, y
n
=nf{s
k
: k n}. (3.1)
Est claro que y
n
s
n
x
n
. Como lminf
n
s
n
= lm
n
y
n
y lmsup
n
s
n
= lm
n
x
n
, si lminf
n
s
n
= lmsup
n
s
n
=
a R, basta aplicar la regla del sandwich (proposicin 3.1.18) para obtener que (s
n
) es convergente
con lmite a.
Recprocamente, si (s
n
) es convergente con lmite a, dado > 0 hay un N tal que para todo n > N
es
a
2
< s
n
< a+

2
,
con lo que para todo n > N el conjunto {s
k
: k n} est acotado superiormente por a+

2
e inferior-
mente por a
2
, y as para todo n > N es
a < a
2
y
n
x
n
a+

2
< a+,
y en denitiva,
lminf
n
s
n
= lm
n
y
n
= a = lm
n
x
n
= lmsup
n
s
n
.
b) Para que lminf
n
s
n
= +, la sucesin (s
n
) debe estar acotada inferiormente y, usando la no-
tacin (3.1), debe ser lm
n
y
n
= +. Como y
n
s
n
, esto obliga a que (s
n
) sea tambin divergente a
+.
Recprocamente, si (s
n
) diverge a + entonces no est acotada superiormente y por denicin es
lmsup
n
s
n
= +. Tambin es lminf
n
s
n
= +, ya que dado M R existe un N tal que para todo n > N
se verica s
n
> M+1, con lo que y
n
y
N
M+1 > M, es decir, lm
n
y
n
= +.
c) Razonamiento anlogo al anterior.
Corolario 3.2.18. Una sucesin (s
n
) tiene lmite (en R) si y solo si
lminf
n
s
n
= lmsup
n
s
n
.
Y en este caso, el lmite es igual al lmite superior y al lmite inferior. La sucesin (s
n
) es oscilante si
y solo si
lminf
n
s
n
< lmsup
n
s
n
.
Demostracin. Consecuencia inmediata de la proposicin 3.2.17.
Una descripcin interesante de los lmites superior e inferior se expresa mediante el siguiente
concepto.
Denicin 3.2.19. Se dice que un nmero a R es un lmite de oscilacin de una sucesin (s
n
) si a
es lmite de alguna subsucesin de (s
n
).
Corolario 3.2.20. Toda sucesin tiene al menos un lmite de oscilacin.
Demostracin. Toda sucesin tiene una subsucesin montona, y esta tiene lmite (nito o innito).
Proposicin 3.2.21. El lmite superior de una sucesin es el mximo (en R) de sus lmites de oscila-
cin. El lmite inferior de una sucesin es el mnimo (en R) de sus lmites de oscilacin.
Demostracin. Sea (s
n
) sucesin. Veamos primeramente que el lmite superior (y anlogamente se
vera el lmite inferior) es lmite de oscilacin.
Caso 1: supongamos que lmsups
n
= s R. Sea y
n
= sup
kn
s
k
con lo que s = nf
n
y
n
. Ahora, por la
denicin de nmo, existe N
1
N tal que si n > N
1
es s 1 < y
n
< s +1, y por la denicin de
supremo, existe (1) N tal que s 1 < s
(1)
< s +1. Repitiendo la misma idea, existe (2) >(1)
tal que s 1/2 < s
(2)
< s +1/2, y en general existe (n) > . . . > (1) tal que s 1/n < s
(n)
<
s +1/n. Claramente, por la regla del sandwich, la subsucesin s
(n)
converge a s.
Caso 2: ahora supongamos que lmsups
n
= +. Con la notacin anterior, y puesto que (y
n
) es no
decreciente, se tiene y
n
= + para todo n N. Como consecuencia, para cada n N existe s
(n)
tal
que s
(n)
> n. Adems, se puede suponer que (n) > . . . > (1). Por lo tanto, s
(n)
+.
Obsrvese que el caso lmsups
n
= queda cubierto por la proposicin 3.2.17.
Para nalizar basta demostrar que cualquier otro lmite de oscilacin de (s
n
) est entre el lmite
superior y el inferior. Sea (s
(n)
) subsucesin convergente a un lmite de oscilacin. Claramente, con
la notacin de la denicin, y
n
s
(n)
x
n
y tomando lmites se tiene la tesis del enunciado.
Otras propiedades de los lmites superior e inferior se recogen en el siguiente enunciado.
n
), (t
n
) sucesiones de nmeros reales y c R.
a) si lmsup
n
s
n
<c, existe un n
0
tal que s
n
<c para todo n n
0
(es decir, solo hay un nmero nito
de trminos de la sucesin mayores o iguales que c).
b) si lmsup
n
s
n
> c, existen innitos n para los que s
n
> c.
c) si lminf
n
s
n
> c, existe un n
0
tal que s
n
> c para todo n n
0
(es decir, solo hay un nmero nito
de trminos de la sucesin menores o iguales que c).
d) si lminf
n
s
n
< c, existen innitos n para los que s
n
< c.
e) si para algn m es s
n
t
n
siempre que n > m, entonces
lminf
n
s
n
lminf
n
t
n
; lmsup
n
s
n
lmsup
n
t
n
.
f)
lminf
n
s
n
+lminf
n
t
n
lminf
n
(s
n
+t
n
) lminf
n
s
n
+lmsup
n
t
n
lmsup
n
(s
n
+t
n
) lmsup
n
s
n
+lmsup
n
t
n
.
g) si c 0,
lminf
n
(cs
n
) = clminf
n
s
n
; lmsup
n
(cs
n
) = clmsup
n
s
n
.
h) si c < 0,
lminf
n
(cs
n
) = clmsup
n
s
n
; lmsup
n
(cs
n
) = clminf
n
s
n
.
i) si s
n
0, t
n
0,
lminf
n
s
n
lminf
n
t
n
lminf
n
(s
n
t
n
) lminf
n
s
n
lmsup
n
t
n
lmsup
n
(s
n
t
n
) lmsup
n
s
n
lmsup
n
t
n
.
j) si s
n
> 0 para todo n,
lminf
n
s
n+1
s
n
lminf
n
n
s
n
lmsup
n
n
s
n
lmsup
n
s
n+1
s
n
.
3.3. Lmites de sucesiones y funciones elementales
Si f (x) representa una cualquiera de las funciones e
x
, logx, senx, cosx, tgx, arcsenx, arccosx,
arctgx, x
r
, entonces
lm
n
s
n
= a =lm
n
f (s
n
) = f (a)
para cualquier punto a del dominio de la funcin y cualquier sucesin s
n
contenida en el dominio de
la funcin. Otros lmites son los siguientes:
lm
n
s
n
= =lm
n
e
s
n
= 0
lm
n
s
n
= + =lm
n
e
s
n
= +
lm
n
s
n
= 0, s
n
> 0 para todo n =lm
n
logs
n
=
lm
n
s
n
= + =lm
n
logs
n
= +
lm
n
s
n
= =lm
n
arctgs
n
=
2
lm
n
s
n
= + =lm
n
arctgs
n
=

2
lm
n
s
n
= 0, s
n
> 0 para todo n =lm
n
s
r
n
=
_
0, si r > 0
+, si r < 0
lm
n
s
n
= + =lm
n
s
r
n
=
_
+, si r > 0
0, si r < 0
Si f (x) = a
r
x
r
+a
r1
x
r1
+ +a
0
es un polinomio (con r N y a
r
= 0), entonces
lm
n
s
n
= + =lm
n
f (s
n
) = + (si a
r
> 0),
lm
n
s
n
= + =lm
n
f (s
n
) = (si a
r
< 0).
Denicin 3.3.1. Sean (s
n
) y (t
n
) dos sucesiones. Decimos que las dos sucesiones son equivalentes
y escribimos
s
n
t
n
si se verica
lm
n
s
n
t
n
= 1.
Las principales equivalencias de sucesiones son:
Si s
n
0,
e
s
n
1 s
n
log(1+s
n
) s
n
sens
n
s
n
1coss
n
1
2
s
2
n
Sea f (x) = a
r
x
r
+a
r1
x
r1
+ +a
0
, con a
r
= 0; si s
n
+,
f (s
n
) a
r
s
r
n
,
log f (s
n
) r logs
n
(si a
r
> 0).
Frmula de Stirling: n! n
n
e
n
2n.
3.4. Ejercicios 61
3.4. Ejercicios
Ejercicio 3.1. Para qu valores de a R es (a
n
) una subsucesin de
_
1
n
_
? Y de
_
1
2
n
_
? Y de
_
1
2n
_
?
Y de
_
1
2n1
_
?
Ejercicio 3.2. Estudiar el lmite de la sucesin
4+3
1 3
,
94
2 4
,
16+5
3 5
,
256
4 6
, . . .
Ejercicio 3.3. Calcular el lmite de las sucesiones de trmino general:
a)
1
n
_
_
a+
1
n
_
2
+
_
a+
2
n
_
2
+ +
_
a+
n1
n
_
2
_
b)
(1
2
+2
2
+ +n
2
)
2
(1+2+ +n)
3
c)
1+2
2
+3
2
+ +n
2
1+n+n
2
+n
3
d)
3
3
n4
5
n
2
3
n3(4
5
n)
e)

n
_
n+
_
n+
n
f)

4n
2
1(2n1) g)
3
n
3
+an
2
n
3
an
2
h) n
_
3
_
1+
a
n
1
_
i)
_
n
2
+
n
_
n
2
n
n(
3
_
n
3
+
n
3
_
n
3
n)
j)

n
2
+n+1
3n
2
13n k)

9n
2
n
3
27n
3
5n
2
l) (4n+3)log
n+1
n2
m)
_
n
2
+3n2
n
2
+n
_
n
3
+2
2n
2
+1
n)
_
n+1
n1
_
n
2
+2
n3
)
_
1+log
3n
2
+2n+1
3n
2
+5n
_
4n+1
o)
_
1
n
_
1
log(3/n)
p) (2+3n
4
)
1
3+2log(n+1)
q)
_
log(n
2
+1)
log(n
2
1)
_
n
2
logn
r)
3
_
(n+a)(n+b)(n+c) n
s)
2
2n
(n!)
2
n
(2n+1)!
t) n
_
2 4 6 (2n2)
1 3 5 (2n1)
_
2
u)
n
_
(n+1)(n+2) (n+n)
n
v)
1
n
n
_
(3n+1)(3n+2) (4n)
w)
1
p
+2
p
+ +n
p
n
p

n
p+1
(p N) x)
cos1+cos
1
2
+ +cos
1
n
n
log(n
3
+1)
y)
1 2 3+
2 3 4+ +
_
n(n+1)(n+2)
n
2
n
z)
log1log2+log3 +log(2n1) log2n
logn
A)
2! tg
1
2
+
3
3! tg
1
3
+ +
n
n! tg
1
n
n
2
+1
B)
n
_
n
_
_
n
1
__
n
2
_

_
n
n
_
C)
1
n
2
+
1
(n+1)
2
+ +
1
(n+n)
2
D) (2
n
+3
n
)
1/n
E) sen
n
2
2(n
2
+1)
+sen
n
2
2(n
2
+2)
+ +sen
n
2
2(n
2
+n)
Ejercicio 3.4. Hallar una relacin entre a, b y c para que
lm
n
n
a
(n+1)
b
n
b
(n+1)
c
n
c
sea real y distinto de cero. En ese caso, hallar dicho lmite.
Ejercicio 3.5. Discutir, segn el valor de a R, la existencia y el valor de lm
n
a
n
+n
a
n1
+2n
.
Ejercicio 3.6. Sea u
n
=
1
1+n
+
1
2+n
+
1
3+n
+ +
1
n+n
; probar que existe lm
n
u
n
y est compren-
dido entre 1/2 y 1.
Ejercicio 3.7. Hallar, si existe, el lmite de la sucesin dada por u
n+1
=
n
2n+1
u
n
.
Ejercicio 3.8. Sea (x
n
)
n=1
una sucesin. Probar que si existen lm
k
x
2k
, lm
k
x
2k1
y lm
k
x
3k
, entonces
existe lm
n
x
n
y coincide con los anteriores.
Ejercicio 3.9. Demostrar que si x
n
a, entonces
x
1
+x
2
+ +x
n
n
a.
Ejercicio 3.10. Calcular el lmite superior y el inferior de las sucesiones de trmino general:
a) a+
(1)
n
n
b) (1)
n
+
1
n
c)
(1)
n
n
+1+(1)
n
d)
_
1+
(1)
n
n
_
n
e)
(1)
n
n
2n+1
f)
2n+(1)
n
(n+2)
3n+3
g) (1)
n
_
3+
2n+1
3n+2
_
h) an
(1)
n
i)
(1)
n
(n+1)
2n+1
j) s
n
=
_
_
2, si n es mltiplo de 4
0, si n es par y no es mltiplo de 4
1, si n es impar

03 Sucesiones

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

03 Sucesiones

Hochgeladen von

Copyright:

Verfügbare Formate

Captulo 3

Sucesiones de nmeros reales

tal que para todo n > n

tal que para todo n > n

son nmeros reales tales que a (a

), existe entonces un N tal que para todo n > N

> 0 existir por hiptesis un N tal que si

se razona de manera similar.

tales que para todo n > n

y para todo n > n

}, siempre que n > N es simultneamente n > n

, luego para todo n > N ser

tal que para todo n > n

tal que para todo n > n

N tal que si n >N

Das könnte Ihnen auch gefallen