rea de Anlisis Matemtico

Universidad de Zaragoza

Captulo 3

Sucesiones de n
umeros 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 mas conciso pero igualmente claro.

3.1.

Sucesiones de n
umeros reales

3.1.1.

Definici
on de sucesi
on. Sucesiones acotadas y sucesiones convergentes.
Lmite de una sucesi
on convergente

Informalmente, una sucesion de n

umeros reales es una lista ilimitada de n
umeros
s1 , s2 , s3 , s4 , . . . , sn , . . .
(n indica el lugar que ocupa el n
umero sn en la lista); puesto en forma de tabla
lugar
valor

1
s1

2
s2

3
s3

4
s4

5
s5

...
...

n
sn

...
...

es obvio que se trata justamente de una funcion real con dominio N. Esta es su definicion formal.
Definiciones 3.1.1. Una sucesi
on de elementos de un conjunto es una aplicaci
on con dominio N
y codominio dicho conjunto. En particular, una sucesi
on de n
umeros reales es una funci
on real
con dominio N, o sea, una aplicaci
on s : N R.
Tradicionalmente, el valor que una sucesi
on s toma en cada n N se denota por sn , en lugar
de s(n) como para las dem
as funciones. Normalmente nos referiremos a sn con el nombre de
t
ermino n-
esimo de una sucesi
on , pero no debe perderse de vista que cada termino lleva una
doble informaci
on: su valor y el lugar n que ocupa.
Como el dominio N es com
un a todas las sucesiones, en vez de utilizar la notacion s : N R
para una sucesion es mas frecuente encontrar notaciones del tipo (sn )nN o (sn )
o {sn }
n=1
n=1 o
alguna similar, poniendo mayor enfasis en los terminos. Aunque esta notacion propicie a veces la
confusion, no debera ser necesario insistir en la diferencia entre la propia sucesion y el conjunto
de valores que toma la sucesion, que es la misma que hay entre cualquier funcion y su conjunto de
valores (conjunto imagen o rango); observese, por ejemplo, que una sucesion tiene siempre infinitos
terminos incluso aunque tome un solo valor, como es el caso de las sucesiones constantes.
Ejemplos. Los ejemplos mas corrientes de sucesiones se especifican dando una formula que defina
el termino n-esimo, como en los siguientes casos:
sn = a, donde a es un n
umero real prefijado (sucesi
on constante); la sucesion consta de los
terminos
a, a, a, . . . , a, . . .
31

CAPITULO 3. SUCESIONES

32

sn = n (sucesi
on de los n
umeros naturales); la sucesion consta de los terminos
1, 2, 3, 4, 5, . . . , n, . . .
sn = n1 ; la sucesion consta de los terminos
1 1 1 1
1
1, , , , , . . . , , . . .
2 3 4 5
n
sn = (1)n ; la sucesion consta de los terminos
1, 1, 1, 1, 1, . . . , (1)n , . . .
Las formulas no tienen por que referirse solo a operaciones algebraicas sencillas. Por ejemplo,
considerese la sucesion
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 termino n-esimo sera la aproximaci
on
decimal con n cifras decimales exactas). Aunque no supiesemos escribir con todas sus cifras el
termino 1000000000000000, sabemos que tal termino esta perfectamente definido, y lo mismo
podemos decir de cualquier otro. En este caso podemos dar una formula explcita para el
termino n-esimo con ayuda de la funcion parte entera: concretamente, para cada n N,
sn = 3 +

a1
a2
ak
an
+ 2 + + k + + n,
10 10
10
10

donde ak = [10k ] 10[10k1 ] (1 k n); el hecho de que esta formula no proporcione un

algoritmo de calculo para los ak no obsta para que estos esten definidos sin ambig
uedad y sin
excepcion alguna.
Sucesiones recurrentes . Reciben este nombre las sucesiones cuyos terminos se definen en
funci
on de los anteriores (definicion inductiva o recursiva). Un ejemplo muy citado de este
tipo es la sucesi
on de Fibonacci, dada por
s1 = 1, s2 = 1, sn+2 = sn+1 + sn

(n N),

cuyos primeros terminos son

1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, . . .
Las sucesiones definidas por recurrencia aparecen con frecuencia en calculos con ordenadores:
ver comentario en [Bartle-Sherbert, pag. 85].
Otros ejemplos de sucesiones recurrentes son las progresiones aritmeticas de primer termino
x y razon h, que pueden definirse recursivamente por
s1 = x,

sn+1 = sn + h,

y las progresiones geometricas de primer termino x y razon r, dadas por

s1 = x,

sn+1 = sn r.

Se encuentran sin dificultad formulas explcitas en ambos casos: sn = x + (n 1) h para las

primeras, sn = x rn1 para las segundas.


3.1. SUCESIONES DE NUMEROS
REALES

33

La regla que define una sucesion no tiene por que ser de caracter estrictamente matematico.
Por ejemplo, puede definirse una sucesion poniendo
(
107 /3 si el nombre en castellano del n
umero n contiene la letra d
sn =

en caso contrario
(cuales seran sus primeros terminos?), o mediante cualquier otra condicion que permita
asegurar que a cada n N sin excepcion se le asocia inequvocamente un n
umero real perfectamente definido.
Existen sucesiones cuyo rango es exactamente Z. Mas difcil: existen sucesiones cuyo rango
es exactamente Q (la construccion usual se hace mediante el proceso diagonal de Cantor :
ver [Bartle-Sherbert, pags. 3637], [Spivak, pag. 609]). Las llamaremos enumeraciones de Q,
es decir: una enumeraci
on de Q es una sucesion cuyo rango es exactamente Q.
Queda definida una sucesion si para cada n N ponemos
sn = max{x R : x2 + 2nx 1 < 0}?
Y si ponemos
sn = max{x R : x2 + 2nx 1 0}?
En caso afirmativo, puede darse una expresion mas directa para sn ?
Notaci
on. Para mayor comodidad de escritura, a menudo se denotan las sucesiones simplemente
por (sn ) en vez de (sn )nN o (sn )
n=1 si esto no da lugar a imprecisiones.
Definici
on 3.1.2. Una sucesi
on (sn ) es convergente si existe un n
umero real a tal que para cada
> 0 se puede encontrar un n
umero natural N = N () de modo que siempre que n > N se verifique
|sn a| < .
Se dice entonces que el n
umero a es lmite de la sucesi
on (sn ), y se escribe a = lm sn . Tambien
n

diremos que (sn ) converge a a.

Usaremos a veces la formula sn a como expresion abreviada de la sucesi
on de termino
n-esimo sn es convergente y tiene por lmite a.
Nota. Recuerdese que la desigualdad |sn a| < es equivalente a las dos desigualdades <
sn a < , que equivalen a su vez a las desigualdades
a < sn < a + ,
lo que permite reformular la definicion anterior de manera evidente.

s4

s1

s2

a a a+

YH

Y
s5  H
H
H
s



7

H H
sN +1 , sN +2 , sN +3 , sN +4 , . . .

Ejemplos (sucesiones convergentes).

igual a todos sus terminos.

s3

s6

a) Las sucesiones constantes convergen al n

umero real

b) La sucesion (1/n) converge a 0 (consecuencia de la propiedad arquimediana).

Ejemplos (sucesiones no convergentes).
a) La sucesion ((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 |sn a| = | 1 1| = 2 6< ; y
si a 6= 1, eligiendo ahora = |1 a| > 0, cualquiera que fuese N bastara tomar n = 2N > N
para conseguir que |sn a| = |1 a| <
6 = |1 a|).

CAPITULO 3. SUCESIONES

34

b) La sucesion (n) no puede ser convergente, pues si tuviese lmite a, tomando = 1 en la

definicion de convergencia, para alg
un N habra de ser n < a + 1 siempre que n fuese mayor
que N , lo cual es imposible (consecuencia una vez mas de la propiedad arquimediana).
Proposici
on 3.1.3. Sea a R. Dada una sucesi
on (sn ), son equivalentes entre s:
a) (sn ) es convergente con lmite a; abreviadamente, a = lm sn o sn a.
n

b) siempre que a0 < a, existe un n0 tal que para todo n > n0 es sn > a0
y
siempre que a00 > a, existe un n00 tal que para todo n > n00 es sn < a00 .
c) si a0 , a00 son n
umeros reales tales que a (a0 , a00 ), existe entonces un N tal que para todo
n > N es sn (a0 , a00 ).
Demostraci
on. a) = b) Dado a0 < a, tomando = a a0 > 0 existira por hipotesis un N tal que
si n > N entonces sn > a = a (a a0 ) = a0 . Para a < a00 se razona de manera similar.
b) = c) Basta observar que x (a0 , a00 ) significa que a0 < x < a00 . Por consiguiente, si a (a0 , a00 )
existen n0 y n00 tales que para todo n > n0 es sn > a0 y para todo n > n00 es sn < a00 . Tomando
ahora N = max{n0 , n00 }, siempre que n > N es simultaneamente n > n0 y n > n00 , luego para todo
n > N sera a0 < sn < a00 o, equivalentemente, sn (a0 , a00 ).
c) = a) Si > 0, se tendra a (a , a + ), por lo que debe existir un N tal que para todo
n > N es sn (a , a + ), o lo que es lo mismo, |sn a| < .
Corolario 3.1.4. Sea (sn ) una sucesi
on convergente con lmite a y sea c R. Se tiene:
a) Si existe m tal que para todo n > m es sn c, entonces a c.
b) Si existe m tal que para todo n > m es sn c, entonces a c.
Demostraci
on. Se prueba por reduccion al absurdo aplicando la proposicion anterior.
Es cierto el corolario con desigualdades estrictas?
Corolario 3.1.5 (unicidad del lmite de una sucesi
on convergente). Sea (sn ) una sucesi
on
convergente y sean a, b R tales que a = lm sn , b = lm sn . Entonces a = b.
n

Demostraci
on. Si no, sea, por ejemplo, a < b. Tomando c tal que a < c < b, puesto que c < b
y b es lmite de (sn ), debe existir un n0 tal que para todo n > n0 sea sn > c; igualmente, puesto
que a < c y a es lmite de (sn ), debe existir un n00 tal que para todo n > n00 es sn < c; tomando
n = max{n0 , n00 } llegamos a una contradiccion: tendra que cumplirse c < sn < c.
El lmite de una sucesion convergente es as el u
nico n
umero real al que la sucesion converge.
Las definiciones de acotacion de sucesiones se obtienen particularizando a sucesiones las que
dimos sobre acotacion de funciones.
Definici
on 3.1.6. Una sucesi
on (sn )
a acotada superiormente si existe alg
un
n=1 se dice que est
n
umero C R tal que para todo n N, sn C.
Se dice que est
a acotada inferiormente si existe alg
un n
umero K R tal que para todo n N,
K sn .
Se dice que est
a acotada si lo est
a superior e inferiormente. Esto equivale a que exista un n
umero
M 0 tal que para todo n N, |sn | M .


3.1. SUCESIONES DE NUMEROS
REALES

35

Proposici
on 3.1.7. Toda sucesi
on convergente est
a acotada.
Demostraci
on. Sea (sn ) una sucesion convergente a un n
umero a R. Por la Proposicion 3.1.3.c)
usada con los valores a 1, a + 1, existe N N de manera que si n > N se tiene sn (a 1, a + 1).
Ahora, queda por considerar el resto de los elementos de la sucesion, s1 , s2 , . . . , sN . Si escribimos
A = max{s1 , s2 , . . . , sN } y B = mn{s1 , s2 , . . . , sN }, se tiene que, para todo n N,
mn{B, a 1} sn max{A, a + 1}
luego la sucesion esta acotada.
Aplicaci
on. Dado x R tal que |x| > 1, la sucesion que tiene por termino n-esimo xn no es
convergente. En efecto: si ponemos h = |x| 1, entonces |xn | = |x|n = (1 + h)n 1 + nh, seg
un la
desigualdad de Bernoulli. De aqu se deduce que la sucesion no esta acotada.
Tampoco es convergente la sucesion de termino n-esimo sn = n.

3.1.2.

Sucesiones mon
otonas

Las definiciones sobre monotona de sucesiones se obtienen particularizando a sucesiones las que
dimos sobre monotona de funciones. Esto equivale a lo siguiente:
Definici
on 3.1.8.
a) Una sucesi
on (sn ) es mon
otona no decreciente si y solo si para todo n N
se verifica sn sn+1 .
b) Una sucesi
on (sn ) es mon
otona no creciente si y solo si para todo n N se verifica sn sn+1 .
c) Una sucesi
on (sn ) es estrictamente creciente si y solo si para todo n N se verifica sn < sn+1 .
d) Una sucesi
on (sn ) es estrictamente decreciente si y solo si para todo n N se verifica sn >
sn+1 .
e) Una sucesi
on se dice que es mon
otona si es de alguno de los tipos anteriores.
Proposici
on 3.1.9.
a) Sea (sn ) una sucesi
on mon
otona no decreciente. Entonces (sn ) es convergente si y solo si est
a acotada superiormente, en cuyo caso
lm sn = sup{sn : n N}.
n

b) Sea (sn ) una sucesi

on mon
otona no creciente. Entonces (sn ) es convergente si y solo si
est
a acotada inferiormente, en cuyo caso
lm sn = inf{sn : n N}.
n

Demostraci
on. Es consecuencia directa de las definiciones.
Graficamente, para sucesiones no decrecientes:
a
s

s s

s1

s2

s3

s4 s5

s6

s7

Y para sucesiones no crecientes:

a
s

a+
a = inf n sn
ssss s s

. . . sN +2 sN +1

a+
a = supn sn

s s ssss

sN +1 sN +2 . . .

s7

s s

s6

s5 s4

s3

s2

s1

CAPITULO 3. SUCESIONES

36
Ejemplo (el n
umero e). La sucesion de termino n-esimo


1 n
sn = 1 +
n

es estrictamente creciente y acotada superiormente por 3. Lo primero puede probarse mediante la

desigualdad de Bernoulli observando que

sn+1
=
sn
>

1+
1

n+1
1
n+1

n
+ n1

n+1
n

n+1
n+2
n+1


n+1 n+1 n
n
n+1



1 + (n + 1)

1
(n + 1)2


=

[n (n + 2)]n+1
((n + 1)2 )n+1

n+1
n+1
=

n
n

1
1
(n + 1)2

n+1

n+1
n

= 1.
n
n+1

Que 3 acota superiormente a la sucesion puede deducirse del siguiente resultado, que a su vez se
demuestra por induccion: Para cada n N, si 1 h n1 se tiene (1 + h)n 1 + nh + n2 h2 (ayuda:
si nh 1, tambien n2 h3 nh2 ).
El lmite de esta sucesion es el n
umero e, base de los logaritmos neperianos y de la funci
on
exponencial ya presentados en el captulo anterior.
Ejemplo. La sucesion (xn ) es monotona 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 sucesion (xn ) es estrictamente creciente
y no acotada (para ver esto u
ltimo, tomese h = x 1 > 0 y aplquese la desigualdad de Bernoulli
a xn = (1 + h)n junto con la propiedad arquimediana).
Ejemplo. La sucesion de termino n-esimo Hn = 1 +
acotada (ver [Bartle-Sherbert, pag. 105]).

1
2

+ +

1
n

es estrictamente creciente y no

1
1
1
Ejemplo. La sucesion de termino n-esimo sn = n+1
+ n+2
+ + 2n
es estrictamente creciente
1
1
(puesto que sn+1 sn = 2n+1 2n+2 > 0) y acotada superiormente por 1 (observese que sn

+ n1 + .(n)
. . + n1 = 1).
De su lmite, por el momento, solo podemos asegurar que esta entre s1 = 12 y 1 (o entre s2 = 13 + 14
y 1, o entre s3 = 41 + 15 + 16 y 1, etcetera). Mas adelante podremos probar que su valor exacto es
log 2.
1
n

3.1.3.

Operaciones con sucesiones

Proposici
on 3.1.10. Sean (sn ), (tn ) sucesiones convergentes con lmites
a = lm sn ,
n

b = lm tn ,
n

y sea c R. Entonces
a) (sn + tn ) es convergente y tiene lmite a + b.
b) (c sn ) es convergente y tiene lmite c a.
Demostraci
on. a) Sea > 0. Usando la definicion de convergencia de (sn ) obtenemos que existe
N1 N tal que si n > N1 , entonces |sn a| < /2. De igual manera existe N2 N tal que si
n > N2 , entonces |tn b| < /2. Escribimos N = max{N1 , N2 }. Por tanto, si n > N , se verifican
las dos desigualdades a la vez y as, |(sn + tn ) (a + b)| |sn a| + |tn b| < /2 + /2 = .
b) Si c = 0 el resultado es trivial. Suponer por tanto c 6= 0. Usamos la definicion de convergencia
de (sn ) y as, existe N1 N tal que si n > N1 , entonces |sn a| < /|c|. Por tanto, |csn ca| =
|c| |sn a| < |c|/|c| =


3.1. SUCESIONES DE NUMEROS
REALES

37

Proposici
on 3.1.11. Sean (sn ), (tn ) sucesiones convergentes con lmites
a = lm sn ,
n

b = lm tn .
n

Entonces (sn tn ) es convergente y tiene lmite a b.

Demostraci
on. Como (sn ) es convergente, esta acotada por la Proposicion 3.1.7. y existe K > 0
tal que |sn | K, n N.

Sea > 0. Como (sn ) converge, existe N1 N tal que si n > N1 entonces |sn a| < 2|b|+1
. Por

otra parte, como (tn ) converge, existe N2 N tal que si n > N2 entonces |tn b| < 2K .
Finalmente, si N = max{N1 , N2 } y n > N , se tiene
|sn tn ab| = |sn tn sn b + sn b ab| |sn | |tn b| + |b| |sn a| K

+ |b|
<
2K
2|b| + 1

Ejemplo.
1
1 1
= 0.
2
n
n n
En general, aplicando reiteradamente el mismo argumento,

1
np

0 cualquiera que sea p N.

Proposici
on 3.1.12. Si (sn ) es una sucesi
on acotada y (tn ) es una sucesi
on convergente a 0, la
sucesi
on (sn tn ) converge a 0.
Demostraci
on. Sea > 0. Sea K > 0 tal que |sn | K, n N. Usando la definicion de convergencia
de tn para /K, se tiene que existe N1 N tal que si n > N1 entonces |tn | < /K. Por tanto,
|sn tn | K/K = .
Ejemplo. La sucesion de termino n-esimo
sn = (1)n , tn = n1 .)

(1)n
n

converge a 0 (tomese en el enunciado anterior

Lema 3.1.13. Sea (tn ) una sucesi

on convergente con lmite b 6= 0. Fijado r de modo que 0 < r < |b|,
existe m N tal que para n N se verifica
|tn | > r

siempre que n > m.

tn > r

siempre que n > m

Precisando m
as: si b > 0, es

y si b < 0,
tn < r

siempre que n > m.

Demostraci
on. Es consecuencia inmediata de la Proposicion 3.1.3.
Proposici
on 3.1.14. Sea (sn ) una sucesi
on convergente con lmite a y (tn ) una sucesi
on convergente con lmite b 6= 0. Si (un ) es una sucesi
on tal que
un =

sn
tn

entonces (un ) es convergente con lmite a/b.

siempre que tn 6= 0,

CAPITULO 3. SUCESIONES

38

Demostraci
on. Sea > 0. Relacionamos la definicion de lmite del cociente con el lmite de cada
una de las sucesiones de la forma siguiente,
 


 sn a   sn b tn a  |sn b tn a|
|sn b + sn tn sn tn tn a|
|sn | |tn b| + |tn | |sn a|
 =
=
=

 tn



b
btn
|b||tn |
|b||tn |
|b||tn |
Primeramente, usando el Lema 3.1.13. con r = |b|/2, existe N1 N tal que si n > N1 , se tiene
|tn | > |b|/2. Ahora, por la Proposicion 3.1.7., existen constantes K1 , K2 > 0 tales que |sn | < K1
y |tn | < K2 para todo n N. Por otra parte, aplicamos la definicion de lmite de sn , y as existe
|b|2
N2 N tal que si n > N2 entonces |sn a| <
. Analogamente para tn , existe N3 N tal que
4K2
|b|2
si n > N3 entonces |tn b| <
. Finalmente, si n > max{N1 , N2 , N3 } todas las acotaciones se
4K1
verifican y
2
2


 sn a  |sn | |tn b| + |tn | |sn a|
K1 |b|
+ K2 |b|
4K
4K
1
2
 
<
=
 tn
b
|tn ||b|
|b||b|/2

Corolario 3.1.15. Sea (sn ) una sucesi

on convergente con lmite a y (tn ) una sucesi
on convergente
sin t
erminos nulos y lmite b 6= 0. Entonces la sucesi
on (sn /tn ) es convergente y
lm
n

Ejemplos.

sn
a
= .
tn
b

a) La sucesion de termino n-esimo

1 + 2 + + n
n2

converge a 1/2: basta observar que

1 + 2 + + n
=
n2

n(n+1)
2
n2

1
1
(1 + ).
2
n

b) La sucesion de termino n-esimo

1
2
2
2
n 1
2 i
1h
a+
+ a+
+ + a +
n
n
n
n
converge a a2 + a + 13 . (Por que?)
c) Si (sn ) es una sucesion cuyos terminos son todos no negativos, convergente y con lmite a,

entonces la sucesion ( sn ) es convergente con lmite a. En el caso a = 0, esto se deduce

inmediatamente de la definicion de lmite; en el caso a 6= 0, se deduce de

sn a

sn + a

y de que (sn a) converge a 0, mientras que 1/( sn + a) esta acotada:

sn

0<
d) La sucesion de termino n-esimo

converge a 0 (Por que?).

a=

1
1
.
sn + a
a

1+n1
n


3.1. SUCESIONES DE NUMEROS
REALES
e) La sucesion de termino n-esimo

39

n2 + 1 + n

4
n3 + n n

converge (a que lmite? por que?).

f) La sucesion de termino n-esimo

n+1

converge (a que lmite? por que?).

g) La sucesion (sn ) con
1
1
1
1
+
+
+ +
12 23 34
n(n + 1)

1
1
k+1
= sn = 1 n+1
1

sn =
converge a 1

3.1.4.

1
k(k+1)

1
k

Desigualdades y lmites. Regla del sandwich

Proposici
on 3.1.16. Dadas dos sucesiones convergentes (sn ) y (tn ) para las que existe un m
tal que
sn tn siempre que n > m,
se verifica
lm sn lm tn .
n

Demostraci
on. Procederemos por reduccion al absurdo suponiendo que lmn sn > lmn tn . Sean
a0 , a00 R tales que lmn tn < a0 < a00 < lmn sn . Ahora, la Proposicion 3.1.3. asegura la existencia
de n0 N tal que si n > n0 es tn < a0 y de n00 N tal que si n > n00 es sn > a00 lo que contradice la
hipotesis de que sn tn siempre que n > m.
Ahora podemos enunciar comodamente una version del teorema de los intervalos encajados de
Cantor con una condicion sencilla para que la interseccion este formada por un solo punto.
Teorema 3.1.17 (de Cantor de los intervalos encajados). Para cada n N, sea In = [an , bn ]
un intervalo cerrado (no vaco). Supongamos que para todo n se cumple In+1 In , es decir,
an an+1 bn+1 bn ,
y que adem
as
lm(bn an ) = 0.
n

Entonces nN In se reduce a un punto; en concreto,

nN In = {x},
donde
x = lm an = lm bn .
n

Demostraci
on. Observar que, por hipotesis, la sucesion (an ) es monotona no decreciente y acotada
superiormente (por b1 , por ejemplo), luego, por la Proposicion 3.1.9. converge a un n
umero real
x1 . Analogamente, la sucesion (bn ) converge a x2 y por la Proposicion 3.1.16, es an x1 x2
bn n N. Ahora, la condicion lmn (bn an ) = 0 asegura que x1 = x2 y que {x1 } = nN In .

CAPITULO 3. SUCESIONES

40

Proposici
on 3.1.18 (regla del sandwich o de encajamiento). Sean (sn ), (tn ) y (un ) sucesiones tales que existe un m N de manera que
sn tn un
para todo n > m. Si (sn ) y (un ) son sucesiones convergentes con el mismo lmite a,
lm sn = lm un = a,
n

entonces (tn ) es tambien convergente con el mismo lmite a,

lm tn = a.
n

Demostraci
on. Sea > 0. Por definicion de lmite existe N1 N tal que si n > N1 entonces
|sn a| < , es decir, a < sn < a + . Analogamente, existe N2 N tal que si n > N2 entonces
a < un < a + . Entonces si n > max{m, N1 , N2 } se tiene a < sn tn un < a + , es
decir, |tn a| < .
Ejemplos.

a) Se verifica

1
n2

+1

1
n2

+2

+ +

1
1,
+n

n2

pues podemos encajar la sucesion entre

n
+n

n2

n
.
+1

n2

b) Encajando la sucesion de termino n-esimo

n+1
n+2
n+n
+ 2
+ + 2
2
n +1 n +2
n +n
entre
n2 + 12 n(n + 1)
n+2
n+n
n n + (1 + 2 + + n)
n+1
+
+

+
=
=
n2 + n
n2 + n n2 + n
n2 + n
n2 + n
y
n2 + 12 n(n + 1)
n+1
n+2
n+n
n n + (1 + 2 + + n)
,
+
+

+
=
=
n2 + 1
n2 + 1 n2 + 1
n2 + 1
n2 + 1
podemos obtener que la sucesion dada converge a 23 .

3.1.5.

Subsucesiones. Teorema de Bolzano-Weierstrass

Eliminando terminos de una sucesion podemos extraer de ella nuevas sucesiones, cuyos terminos aparecen en la sucesion madre en el mismo orden (tal vez no en el mismo lugar!) que en la
nueva: es decir, vamos tomando infinitos terminos, saltando algunos quiza, pero sin volver atr
as.
Por ejemplo, dada una sucesion
s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , . . . ,
si nos quedamos con los terminos que ocupan lugar impar (eliminando los que ocupan lugar par),
obtenemos una nueva sucesion
s1 , s3 , s5 , s7 , s9 , . . . ,


3.1. SUCESIONES DE NUMEROS
REALES

41

cuyo termino n-esimo es s2n1 ; si nos quedamos con los terminos que ocupan lugar par (eliminando
los que ocupan lugar impar), obtenemos la nueva sucesion
s2 , s4 , s6 , s8 , s10 , . . . ,
cuyo termino n-esimo es s2n . Podemos imaginar facilmente otras muchas maneras de extraer sucesiones de la sucesion inicial con este procedimiento. Se obtienen as lo que denominaremos subsucesiones de la sucesion dada; como iremos viendo a lo largo del curso, el manejo de subsucesiones
facilita habitualmente el estudio de la sucesion original, y permite demostrar varias propiedades
esenciales de la teora de funciones reales de variable real. Pasemos a formalizar este concepto.
Definici
on 3.1.19. Dada una sucesi
on (sn ), diremos que una sucesi
on (tn ) es una subsucesi
on
de (sn ) si existe una funci
on : N N estrictamente creciente, es decir,
(1) < (2) < (3) < < (n) < (n + 1) <
de manera que para todo n N es tn = s(n) .
Ejemplos. ([Bartle-Sherbert, pag. 110], [Ross, pags. 48, 4951])
a) Sea n0 N. Tomando (n) = n + n0 en la definicion anterior, se obtiene la subsucesion
sn0 +1 , sn0 +2 , sn0 +3 , sn0 +4 , sn0 +5 , sn0 +6 , sn0 +7 , . . . ,
que resulta de la original suprimiendo los n0 primeros terminos. En [Bartle-Sherbert,
pag. 110], se da el nombre de colas de la sucesion (sn ) a las subsucesiones as obtenidas.
b) La sucesion de termino n-esimo tn = 4n2 es una subsucesion de la sucesion de termino n-esimo
sn = (1)n n2 , como se ve tomando (n) = 2n.




c) La sucesion 1, 13 , 12 , 14 , 15 , 16 , 17 , . . . no es una subsucesion de n1 n=1 . Tienen los mismos termi

n+1
nos, pero no en el mismo orden. La sucesion 1, 0, 13 , 0, 15 , 0, 17 , 0, . . . , 1+(1)
,
.
.
.
tampoco
2n


1
es una subsucesion de n n=1 .
d) Toda sucesion es una subsucesion de s misma (reflexividad). Tambien hay transitividad: si
(un ) es una subsucesion de (tn ) y (tn ) es una subsucesion de (sn ), a su vez (un ) es una
subsucesion de (sn ).






1
1
1
n ) una subsucesi
Ejercicio.
Para
qu
e
valores
de
a

R
es
(a
o
n
de
?
Y
de
?
n ? Y de
n
2
2n


1
Y de 2n1 ? Por que?
Proposici
on 3.1.20. Toda subsucesi
on de una sucesi
on convergente con lmite a es convergente
con lmite a.
Demostraci
on. Es consecuencia inmediata de la definicion de lmite.
Aplicaciones.
a) Ya vimos, con cierto esfuerzo, que ((1)n ) no es una sucesion convergente.
Ahora es inmediato: la subsucesi
on de sus terminos de lugar par converge a 1, la subsucesi
on
de sus terminos de lugar impar converge a 1.
b) Para x [0, 1), la sucesion (xn ) converge a 0: puesto que
un probamos, y

es convergente, seg
si lm xn = a, vemos que lm xn+1 = a x. Pero xn+1 es una subsucesion de (xn ) (la que
n

corresponde a (n) = n + 1 en la definicion), luego tambien lm xn+1 = a, de donde a x = a

n

y como x 6= 1, finalmente a = 0. (Por que no podemos utilizar estos calculos si x > 1?)

CAPITULO 3. SUCESIONES

42

c) La enumeracion diagonal de todos los n

umeros racionales forma una sucesion que no es
convergente: tiene subsucesiones convergentes a cualquier n
umero real (ver [Ross, pags. 49
50]).
Proposici
on 3.1.21. Una sucesi
on (sn ) es convergente si y solo si la subsucesi
on de terminos
de lugar par (s2n ) y la subsucesi
on de terminos de lugar impar (s2n1 ) son ambas convergentes y
tienen el mismo lmite.
Demostraci
on. Por la Proposicion 3.1.20. basta con demostrar que si s2n a R y s2n1 a
entonces sn a. Sea > 0. Por la definicion de lmite existen N1 , N2 N tales que, i) si n > N1
es |s2n a| < y ii) si n > N2 es |s2n1 a| < . Ahora si n > max{2N1 , 2N2 1} se tiene, tanto
si n es par como impar que |sn a| < .
Lema 3.1.22. Toda sucesi
on posee una subsucesi
on mon
otona.
Demostraci
on. Vease [Spivak, pag. 622].
Con ayuda del lema anterior, o bien del teorema de Cantor de los intervalos encajados, puede
demostrase el siguiente resultado:
Teorema 3.1.23 (de Bolzano-Weierstrass). Toda sucesi
on acotada posee una subsucesi
on convergente.
Demostraci
on. Sea (sn ) una sucesion acotada y K > 0 de forma que K sn K, n N. Iremos
construyendo la subsucesion de la siguiente forma. Bien en [0, K], bien en [K, 0] habra infinitos
terminos de la sucesion (quiza incluso en los dos). Supongamos que en I1 = [0, K] hay infinitos
terminos y elijamos cualquier elemento s(1) I1 . De nuevo repetimos la idea y, bien en [0, K/2]
o en [K/2, K], habra infinitos terminos de la sucesion. Nos quedamos con aquel intervalo que
contenga infinitos s0n s, por ejemplo, I2 = [K/2, K] y elegimos un elemento s(2) I2 que adem
as
cumpla (2) > (1). Observar que I2 I1 . El siguiente paso sera de nuevo subdividir I2 en dos
mitades [K/2, 3K/4] y [3K/4, K] y seleccionar un nuevo s(3) I3 con (3) > (2). Construimos
de esa forma una sucesion de intervalos cerrados encajados I1 I2 In . . . y (s(n) ) una
subsucesion de (sn ) con s(n) In , n N. Por comodidad escribimos In = [an , bn ] con lo que an
s(n) bn , n N y ademas, como la longitud de cada In es K/2n , se tiene bn an = K/2n 0.
Por tanto podemos aplicar el teorema de los intervalos encajados y asegurar la existencia de x R
tal que x = lm an = lm bn . Pero por la regla de sandwich tenemos que s(n) x.
n

3.1.6.

Sucesiones de Cauchy

Definici
on 3.1.24. Una sucesi
on (sn )
n=1 se dice que es de Cauchy si para cada > 0 existe
alg
un N N (que puede depender de ) de modo que
n, m N = |sn sm | < .
Lema 3.1.25. Toda sucesi
on de Cauchy est
a acotada.
Demostraci
on. La definicion, usada para = 1 asegura la existencia de N N de modo que si
n N , entonces |sn sN | < 1, es decir, sN 1 < sn < sN + 1. La sucesion (sn ) esta acotada
inferiormente por mn{s1 , . . . , sN , sN 1} y superiormente por max{s1 , . . . , sN , sN + 1}
Proposici
on 3.1.26. Una sucesi
on es convergente si y solo si es de Cauchy.

3.2. LIMITES INFINITOS

43

Demostraci
on. Sea sn a R. Sea > 0. Por definicion de lmite, existe N N de modo que
si n N , entonces |sn a| < /2. Por tanto, si n, m N es |sn sm | = |sn a + a sm |
|sn a| + |sm a| < /2 + /2 = .
Recprocamente, sea (sn ) una sucesion de Cauchy. Puesto que esta acotada (Lema 3.1.25), el
teorema de Bolzano-Weierstrass asegura la existencia de una subsucesion (s(n) ) convergente a un
cierto a R.
Dado > 0, existe N N de modo que si n, m N , entonces |sn sm | < /2. En particular se
tiene |sn s(m) | < /2. Ahora, tomando lmite en m se llega a que, si n N es |sn a| /2 <

3.2.

Lmites infinitos

3.2.1.

Sucesiones divergentes. Propiedades. Operaciones con sucesiones divergentes

Definici
on 3.2.1. Diremos que una sucesi
on (sn ) diverge a +, y escribiremos lm sn = +, si
n
para todo M R existe alg
un N N que cumpla: n > N = sn > M .
Diremos que una sucesi
on (sn ) diverge a , y escribiremos lm sn = , si para todo M R
n
existe N N que cumpla: n > N = sn < M .
Una sucesion divergente es una sucesion que diverge a + o a . Las sucesiones que no son
convergentes ni divergentes se denominan sucesiones oscilantes.
Nota. Se sigue directamente de la definicion que una sucesion (sn ) diverge a + si y solo si su
opuesta (sn ) diverge a .
Proposici
on 3.2.2.
a) Una sucesi
on (sn ) diverge a + si y solo si para todo M > 0 existe
N N tal que siempre que n > N sea sn > M .
b) Una sucesi
on (sn ) diverge a si y solo si para todo M < 0 existe N N tal que siempre
que n > N sea sn < M .
Demostraci
on. La demostracion es consecuencia directa de la definicion 3.2.1.
Notas.
1) En lo sucesivo, diremos que una sucesion tiene lmite si es convergente o divergente,
es decir, si no es oscilante. Observese que el lmite (en este sentido ampliado) sigue siendo
u
nico: si a, b R {+, } y lmn sn = a, lmn sn = b, es a = b.
A veces nos referiremos a las sucesiones convergentes como sucesiones con lmite finito y a
las divergentes como sucesiones con lmite infinito.
2) Si una sucesion diverge, no esta acotada. Pero hay sucesiones no acotadas que oscilan, no son
divergentes.
Proposici
on 3.2.3.
a) Sea (sn ) una sucesi
on mon
otona no decreciente. Si no est
a acotada
superiormente, (sn ) diverge a +,
lm sn = +.
n

b) Sea (sn ) una sucesi

on mon
otona no creciente. Si no est
a acotada inferiormente, (sn ) diverge
a ,
lm sn = .
n

Demostraci
on. Es consecuencia directa de las definiciones.
Corolario 3.2.4. Toda sucesi
on mon
otona tiene lmite (finito si est
a acotada, infinito en caso
contrario).

CAPITULO 3. SUCESIONES

44
Ejemplo. La sucesion de termino n-esimo
Hn = 1 +

1 1
1
+ + +
2 3
n

es monotona estrictamente creciente y no esta acotada superiormente (vease [Bartle-Sherbert,

pag. 105]), luego diverge a +.
Proposici
on 3.2.5.

a) Toda subsucesi
on de una sucesi
on divergente a + es divergente a +.

b) Toda subsucesi
on de una sucesi
on divergente a es divergente a .
Demostraci
on. Es consecuencia directa de la definicion de lmite.
Proposici
on 3.2.6.
a) Una sucesi
on posee una subsucesi
on divergente a + si y solo si no
est
a acotada superiormente.
b) Una sucesi
on posee una subsucesi
on divergente a si y solo si no est
a acotada inferiormente.
c) Una sucesi
on posee una subsucesi
on divergente si y solo si no est
a acotada.
Demostraci
on. Es consecuencia directa de las definiciones.
Proposici
on 3.2.7.
a) Si (sn ) es una sucesi
on divergente a + y (tn ) es una sucesi
on acotada
inferiormente, la sucesi
on (sn + tn ) diverge a +.
b) ) Si (sn ) es una sucesi
on divergente a y (tn ) es una sucesi
on acotada superiormente, la
sucesi
on (sn + tn ) diverge a .
Demostraci
on. a) Por definicion de acotacion inferior existe K R tal que tn > K, n N. Ahora
sea M R. Por definicion de lmite existe N N tal que si n > N se tiene sn > M K. Por tanto,
si n > N es sn + tn > M K + K = M . El caso b) es completamente analogo.
Corolario 3.2.8.
a) Si (sn ) es una sucesi
on divergente a + y (tn ) es una sucesi
on convergente
o divergente a +, la sucesi
on (sn + tn ) diverge a +: abreviadamente,
lm sn = +, lm tn = a R {+} = lm(sn + tn ) = +.
n

b) Si (sn ) es una sucesi

on divergente a y (tn ) es una sucesi
on convergente o divergente a
, la sucesi
on (sn + tn ) diverge a : abreviadamente,
lm sn = , lm tn = a R {} = lm(sn + tn ) = .
n

Demostraci
on. Observar, en el caso a), que tn esta acotada inferiormente y podemos aplicar el
resultado anterior. El apartado b) es analogo.
Nota. La suma de una sucesion divergente a + con una sucesion divergente a puede resultar
convergente, puede resultar divergente a +, puede resultar divergente a y puede resultar
oscilante. (Ejemplos?)
Proposici
on 3.2.9.
a) Si (sn ) es una sucesi
on divergente a + y (tn ) es una sucesi
on para la
que existen r > 0 y m tales que
tn > r
la sucesi
on (sn tn ) diverge a +.

siempre que n > m,

3.2. LIMITES INFINITOS

45

b) Si (sn ) es una sucesi

on divergente a y (tn ) es una sucesi
on para la que existen r > 0 y
m tales que
tn > r
siempre que n > m,
la sucesi
on (sn tn ) diverge a .
c) Si (sn ) es una sucesi
on divergente a + y (tn ) es una sucesi
on para la que existen r > 0 y
m tales que
tn < r
siempre que n > m,
la sucesi
on (sn tn ) diverge a .
d) Si (sn ) es una sucesi
on divergente a y (tn ) es una sucesi
on para la que existen r > 0 y
m tales que
tn < r
siempre que n > m,
la sucesi
on (sn tn ) diverge a +.
Demostraci
on. a) Sea M > 0. Como sn + existe N N tal que si n > N es sn > M/r. Por
tanto, si n > max{m, N } se tiene sn tn > M/r r = M . Los apartados b), c), d) se realizan de
manera completamente analoga.
Corolario 3.2.10.
a) Si (sn ) es una sucesi
on divergente a + y (tn ) es una sucesi
on convergente con lmite positivo o divergente a +, la sucesi
on (sn tn ) diverge a +: abreviadamente,
lm sn = +, lm tn = a (0, +) {+} = lm(sn tn ) = +.
n

b) Si (sn ) es una sucesi

on divergente a y (tn ) es una sucesi
on convergente con lmite positivo
o divergente a +, la sucesi
on (sn tn ) diverge a : abreviadamente,
lm sn = , lm tn = a (0, +) {+} = lm(sn tn ) = .
n

c) Si (sn ) es una sucesi

on divergente a + y (tn ) es una sucesi
on convergente con lmite negativo
o divergente a , la sucesi
on (sn tn ) diverge a : abreviadamente,
lm sn = +, lm tn = a {} (, 0) = lm(sn tn ) = .
n

d) Si (sn ) es una sucesi

on divergente a y (tn ) es una sucesi
on convergente con lmite negativo
o divergente a , la sucesi
on (sn tn ) diverge a +: abreviadamente,
lm sn = , lm tn = a {} (, 0) = lm(sn tn ) = +.
n

Demostraci
on. Es consecuencia directa de la Proposicion anterior y la Proposicion 3.1.3.
Nota. El producto de una sucesion divergente a + o a por una sucesion convergente a 0
puede resultar convergente, divergente a +, divergente a u oscilante.
Proposici
on 3.2.11 (inversas de sucesiones divergentes).
a) Una sucesi
on (sn ) diverge a
+ si y solo si tiene como mucho un n
umero finito de terminos no positivos y su inversa
converge a 0: abreviadamente,
(
m; sn > 0 siempre que n > m
lm sn = +
n
lmn s1n = 0

CAPITULO 3. SUCESIONES

46

b) Una sucesi
on (sn ) diverge a si y solo si tiene como mucho un n
umero finito de terminos
no negativos y su inversa converge a 0: abreviadamente,
(
m; sn < 0
lm sn =
n
lmn s1n = 0

siempre que n > m

c) La sucesi
on de valores absolutos de una sucesi
on (sn ) diverge a + si y solo si tiene como
mucho un n
umero finito de terminos no nulos y su inversa converge a 0: abreviadamente,
(
m; sn 6= 0
lm |sn | = +
n
lmn s1n = 0

siempre que n > m

Demostraci
on. a) Suponer primeramente que sn +. Por definicion de lmite, si n > N1 es
sn > 0, es decir, tiene como mucho un n
umero finito de terminos no positivos. Ahora, para ver que
s1

0,
fijamos

>
0.
De
nuevo
por
hip
otesis, existe N2 N tal que si n > N2 es sn > 1/. Luego
n
si n > max{N1 , N2 } se tiene s1
<
.
n
Recprocamente,supongamos que sn > 0 si n > N1 y que s1
n 0. Para ver que sn +
fijamos M > 0. Por definicion de lmite, existe N2 N tal que si n > N2 es s1
n < 1/M . Luego si
n > max{N1 , N2 } se tiene sn > M .
El resto de apartados se demuestra analogamente.
Es facil comprobar que una sucesion (sn ) converge a 0 si y solo si la sucesion (|sn |) de sus
valores absolutos converge a 0. En efecto, ambas propiedades equivalen a que para todo > 0
exista un N tal que |sn | < para n > N . En general, sin embargo, solo puede afirmarse que si (sn )
es convergente con lmite a, entonces (|sn |) es convergente con lmite |a|; el recproco no siempre es
cierto si a 6= 0. De esto se deduce:
Corolario 3.2.12. Una sucesi
on (sn ) sin terminos nulos converge a 0 si y solo si la sucesi
on
(1/|sn |) de los valores absolutos de los inversos diverge a +: en smbolos, si sn 6= 0 para todo n,
lm sn = 0 lm
n

Observaci
on. Como
Una muestra:

sn
tn

1
= +.
|sn |

= sn t1n , el estudio de cocientes se reduce facilmente a los casos anteriores.

Corolario 3.2.13. Si (sn ) es una sucesi

on divergente a + y (tn ) es una sucesi
on convergente
con lmite positivo o una
sucesi
o
n
convergente
a
0
que
tiene
a
lo
m
a
s
un
n
u
mero
finito
de terminos
 
sn
no positivos, entonces tn es una sucesi
on divergente a +.
 
Nota. Supuesto que la sucesion cociente stnn este definida, tal sucesion puede resultar convergente,
puede resultar divergente a +, puede resultar divergente a y puede resultar oscilante si
estamos en alguno de los siguientes casos:
a) (sn ) y (tn ) convergen a 0;
b) lm |sn | = lm |tn | = +.
Si (sn ) tiene lmite no nulo (finito o infinito) y (tn ) converge a 0, su cociente es divergente salvo
en el caso de que tenga infinitos terminos positivos e infinitos terminos negativos.

3.2. LIMITES INFINITOS

47

Proposici
on 3.2.14 (encajamiento de sucesiones divergentes). Dadas dos sucesiones (sn )
y (tn ) para las que existe un m tal que
sn tn

siempre que n > m,

se verifica:
(a) si (sn ) diverge a +, tambien (tn ) diverge a +:
lm sn = + = lm tn = +.
n

(b) si (tn ) diverge a , tambien (sn ) diverge a :

lm tn = = lm sn = .
n

Demostraci
on. (a) Es consecuencia directa de la definicion. Si dado M R existe N N de modo
que si n > N es sn > M , tambien se tiene tn sn > M . Analogamente 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, haremos
1) Para todo x R,
x +;
2) Para todo x R distinto de ,
(+) + x = x + (+) = +;
3) Para todo x R distinto de +,
() + x = x + () = ,

quedando sin definir (+) + () y () + (+);

4) (+) = , () = +;
5) Para x, y R,
x y = x + (y)
siempre que la suma tenga sentido; quedan sin definir (+) (+) y () ();
6) Para todo x (0, +) {+},
(+) x = x (+) = +;
7) Para todo x {} (, 0),
(+) x = x (+) = ;
8) Para todo x (0, +) {+},
() x = x () = ,

CAPITULO 3. SUCESIONES

48
9) Para todo x {} (, 0),
() x = x () = +,

quedando sin definir (+) 0, 0 (+), () 0 y 0 ();

10)

1
+

= 0;

11) Para x, y R,
x
=x
y

 
1
y

siempre que el producto tenga sentido; quedan sin definir

+

sea x R, as como +
+ , , + , y ;

1
0

y por tanto

x
0

cualquiera que

12) | + | = | | = +.
Con la estructura resultante, R suele denominarse la recta ampliada .
Observaci
on. Todo subconjunto de R tiene siempre extremo superior (= cota superior mnima)
y extremo inferior (= cota inferior maxima) en R.
Notas.
a) Dados dos elementos cualesquiera x, y R tales que x < y, se puede encontrar
siempre un n
umero real z que cumple x < z < y; en otras palabras, todo intervalo (x, y) R
contiene n
umeros reales.
b) Dados x, y, z R, se tiene
x y = x + z y + z
siempre que las sumas esten definidas.
c) Para todo x de R se tiene (1) x = x.
d) Se siguen verificando en R las propiedades del valor absoluto en todos los casos en que tengan
sentido.
Ejercicio. Hallar el extremo superior y el extremo inferior de los siguientes conjuntos: R, R, N,
y un intervalo de extremos a y b (a, b R, a b).
Teorema 3.2.15. Dada una sucesi
on (sn ) con lmite a (finito o infinito) y una sucesi
on (tn ) con
lmite b (finito o infinito), se tiene:
a) si a + b est
a definido (en R), (sn + tn ) tiene lmite a + b.
b) si a b est
a definido (en R), (sn tn ) tiene lmite a b.
c) si a b est
a definido (en R), (sn tn ) tiene lmite a b.
d) si a/b est
a definido (en R), (sn /tn ) tiene lmite a/b.

3.2.3.

Lmite superior y lmite inferior de una sucesi

on. Lmites de oscilaci
on

Definici
on 3.2.16. Sea (sn ) una sucesi
on acotada superiormente. La sucesi
on (xn ) de n
umeros
reales definida por
xn = sup{sk : k n}

3.2. LIMITES INFINITOS

49

es mon
otona no creciente, por lo que tiene lmite (que puede ser finito o ). Dicho lmite recibe
el nombre de lmite superior de la sucesi
on (sn ). Se denota por lm sup sn , de modo que
n

lm sup sn = lm sup sk
n

= inf

sup sk

kn

kn

Si (sn ) no est
a acotada superiormente, se define
lm sup sn = +.
n

Definici
on 3.2.17. Sea (sn ) una sucesi
on acotada inferiormente. La sucesi
on (yn ) de n
umeros
reales definida por
yn = inf{sk : k n}
es mon
otona no decreciente, por lo que tiene lmite (que puede ser finito o +). Dicho lmite recibe
el nombre de lmite inferior de la sucesi
on (sn ). Se denota por lm inf sn , de modo que
n


lm inf sn = lm
n


inf sk

kn


= sup
n


inf sk .

kn

Si (sn ) no est
a acotada inferiormente, se define
lm inf sn = .
n

Nota. Una consecuencia inmediata de la definicion es que siempre

lm inf sn lm sup sn .
n

Ejemplos. Pueden examinarse las siguientes sucesiones (no es sencillo demostrar en todos casos
cual es el lmite superior e inferior):
a) lm inf (1)n = 1, lm sup(1)n = 1.
n

b) lm inf (1)n n = , lm sup(1)n n = +.

n

c) lm inf
n

(1)n
(1)n
= 0, lm sup
= 0.
n
n
n

d) lm inf sen n = 1, lm sup sen n = 1.

n

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, 12 , 0, 13 , 0, 14 , . . .); el lmite inferior es 0 y el lmite superior es 0, tambien.
h) (a, b, c, a, b, c, . . .); el lmite inferior es mn{a, b, c} y el lmite superior es max{a, b, c}.
Proposici
on 3.2.18. Dada una sucesi
on (sn ), se tiene:
a) (sn ) es convergente con lmite a si y solo si
lm inf sn = lm sup sn = a.
n

CAPITULO 3. SUCESIONES

50
b) (sn ) es divergente a + si y solo si
lm inf sn = +,
n

y en tal caso tambien lm sup sn = +.

n

c) (sn ) es divergente a si y solo si

lm sup sn = ,
n

y en tal caso tambien lm inf sn = .

n

Demostraci
on. a) Pongamos, para cada n N,
xn = sup{sk : k n},

yn = inf{sk : k n}.

Es claro que yn sn xn . Como lm inf sn = lm yn y lm sup sn = lm xn , si lm inf sn =

n

lm sup sn = a R, basta aplicar la regla del sandwich para obtener que (sn ) es convergente
n

con lmite a.
Recprocamente, si (sn ) es convergente con lmite a,
n > N es

a < sn < a +
2
con lo que para todo n > N el conjunto {sk : k n}
inferiormente por a 2 , y as para todo n > N es
a<a

dado > 0 hay un N tal que para todo

,
2
esta acotado superiormente por a +

yn xn a + < a + ,
2
2

y en definitiva,
lm inf sn = lm yn = a = lm xn = lm sup sn .
n

b) Para que lm inf sn = +, la sucesion (sn ) debe estar acotada inferiormente y, usando la notaci
on
n

anterior, debe ser lm yn = +. Como yn sn , esto obliga a que (sn ) sea tambien divergente a
n
+.
Recprocamente: si (sn ) diverge a +, no esta acotada superiormente y por definici
on es
lm sup sn = +. Tambien es lm inf sn = +, puesto que dado M R existe un N tal que
n

para todo n > N se verifica sn > M + 1, con lo que yn yN M + 1 > M , es decir, lm yn = +.

n

c) Razonamiento analogo al anterior.

Corolario 3.2.19. Una sucesi
on (sn ) tiene lmite (en R) si y solo si
lm inf sn = lm sup sn .
n

Y en este caso, el lmite es igual al lmite superior y al lmite inferior.

La sucesi
on (sn ) es oscilante si y solo si
lm inf sn < lm sup sn .
n

Demostraci
on. Consecuencia inmediata de lo anterior.
Una descripcion interesante de los lmites superior e inferior se expresa mediante el siguiente
concepto.

3.2. LIMITES INFINITOS

51

Definici
on 3.2.20. Diremos que a R es un lmite de oscilaci
on de una sucesi
on (sn ) si a es
lmite de alguna subsucesi
on de (sn ).
Corolario 3.2.21. Toda sucesi
on tiene al menos un lmite de oscilaci
on.
Demostraci
on. Toda sucesion tiene una subsucesion monotona, y esta tiene lmite (finito o infinito).
Proposici
on 3.2.22. El lmite superior de una sucesi
on es el m
aximo (en R) de sus lmites de
oscilaci
on. El lmite inferior de una sucesi
on es el mnimo (en R) de sus lmites de oscilaci
on.
Demostraci
on. Sea (sn ) sucesion. Veamos primeramente que el lmite superior (y analogamente se
vera el lmite inferior) es lmite de oscilacion.
Caso 1. lm sup sn := s R. Denotamos yn := sup sk con lo que s = inf yn . Ahora, por definici
on
n

kn

de nfimo, existe N1 N tal que si n > N1 es s 1 < yn < s + 1, y por definicion 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 subsucesion s(n) converge a s.
Caso 2. lm sup sn := +. Con la notacion anterior, y puesto que (yn ) es no decreciente, se tiene
yn = +, n N. Como consecuencia, para cada n N existe s(n) tal que s(n) > n. Adem
as,
puedo suponer (n) > . . . > (1). Por tanto s(n) .
Observar que el caso lm sup sn := queda cubierto por la Proposicion 3.2.18.
Para finalizar basta demostrar que cualquier otro lmite de oscilacion de (sn ) esta entre el lmite
superior y el inferior. Sea (s(n) ) subsucesion convergente a un lmite de oscilacion. Claramente, con
la notacion de la definicion, yn s(n) xn y tomando lmites se tiene la tesis del enunciado.
Otras propiedades de los lmites superior e inferior se recogen en el siguiente enunciado.
Proposici
on 3.2.23. Sean (sn ), (tn ) sucesiones de n
umeros reales y c R.
a) si lm sup sn < c, existe un n0 tal que sn < c para todo n n0 (es decir, solo hay un n
umero
n

finito de terminos de la sucesi

on mayores o iguales que c)
b) si lm sup sn > c, existen infinitos n para los que sn > c
n

c) si lm inf sn > c, existe un n0 tal que sn > c para todo n n0 (es decir, solo hay un n
umero
n

finito de terminos de la sucesi

on menores o iguales que c)
d) si lm inf sn < c, existen infinitos n para los que sn < c
n

e) si para alg
un m es sn tn siempre que n > m, entonces
lm inf sn lm inf tn ;
n

lm sup sn lm sup tn .
n

f)
lm inf sn + lm inf tn lm inf (sn + tn ) lm inf sn + lm sup tn
n

lm sup(sn + tn ) lm sup sn + lm sup tn .

n

g) si c 0,
lm inf (c sn ) = c lm inf sn ;
n

lm sup(c sn ) = c lm sup sn .
n

CAPITULO 3. SUCESIONES

52
h) si c < 0,
lm inf (c sn ) = c lm sup sn ;
n

lm sup(c sn ) = c lm inf sn .
n

i) si sn 0, tn 0,
lm inf sn lm inf tn
n

lm inf n (sn tn ) lm inf n sn lm supn tn

lm supn (sn tn ) lm supn sn lm supn tn .

j) si sn > 0 para todo n,

lm inf
n

sn+1
sn+1
lm inf n sn lm sup n sn lm sup
.
n
sn
sn
n
n

Bibliografa
[Bartle-Sherbert] Bartle, R. G. - Sherbert, D. R.: Introducci
on al An
alisis Matem
atico de una
Variable. Limusa, Mexico, 1990. Citado en la(s) pagina(s) 31, 32, 33, 36, 41, 44
[Ross]

Ross, K.A.: Elementary Analysis: The Theory of Calculus. Springer, Berln,

1980. Citado en la(s) pagina(s) 31, 41, 42

[Spivak]

Spivak, M.: Calculus. C

alculo Infinitesimal (segunda edicion). Reverte, Barcelona, 1990. Citado en la(s) pagina(s) 33, 42

53

rea de Anlisis Matemtico

Universidad de Zaragoza
analisis@unizar.es