03 Sucesiones

Capítulo 3
Sucesiones de números reales
Como libros de referencia para los temas de este capítulo, aunque haya algunas diferencias de
detalle entre su tratamiento y el nuestro, pueden consultarse [BARTLE -S HERBERT] (especialmente sus
comentarios sobre algunos conceptos) y [ROSS], algo más conciso pero igualmente claro.
3.1. Sucesiones convergentes

3.1.1. Definición de sucesión. Sucesiones acotadas y sucesiones convergentes. Límite
de una sucesión convergente
Informalmente, una sucesión de números reales es una lista ilimitada de números
s1 , s2 , s3 , s4 , . . . , sn , . . .
(n indica el lugar que ocupa el número sn en la lista); puesto en forma de tabla
lugar 1 2 3 4 5 ... n ...

valor s1 s2 s3 s4 s5 ... sn ...
es obvio que se trata justamente de una función real con dominio N. Esta es su definición formal.
Definición 3.1.1. Una sucesión de elementos de un conjunto es una aplicación con dominio N y
codominio dicho conjunto. En particular, una sucesión de números reales es una función real con
dominio N, o sea, una aplicación s : N → R.
Tradicionalmente, el valor que una sucesión s toma en cada n ∈ N se denota por sn , en lugar de
s(n) como para las demás funciones. Normalmente nos referiremos a sn con el nombre de término n-
ésimo de una sucesión, pero no debe perderse de vista que cada término lleva una doble información:
su valor y el lugar n que ocupa.
Como el dominio N es común a todas las sucesiones, en vez de utilizar la notación s : N → R

para una sucesión es más frecuente encontrar notaciones del tipo (sn )n∈N ó (sn )∞ ∞
n=1 ó {sn }n=1 o alguna
similar, poniendo mayor énfasis en los términos. Aunque esta notación propicie a veces la confusión,
no debería ser necesario insistir en la diferencia entre la propia sucesión y el conjunto de valores que
toma la sucesión, que es la misma que hay entre cualquier función y su conjunto de valores (conjunto
imagen o rango); obsérvese, por ejemplo, que una sucesión tiene siempre infinitos términos incluso
aunque tome un solo valor, como es el caso de las sucesiones constantes.
37
38 Capítulo 3. Sucesiones de números reales
Ejemplos. Los ejemplos más corrientes de sucesiones se indican dando una fórmula que defina el
término n-ésimo, como en los siguientes casos:
• sn = a, donde a es un número real prefijado (sucesión constante); la sucesión consta de los

términos
a, a, a, . . . , a, . . .
• sn = n (sucesión de los números naturales); la sucesión consta de los términos
1, 2, 3, 4, 5, . . . , n, . . .
• sn = 1n ; la sucesión consta de los términos
1 1 1 1 1
1, , , , , . . . , , . . .
2 3 4 5 n
• sn = (−1)n ; la sucesión consta de los términos
−1, 1, −1, 1, −1, . . . , (−1)n , . . .
• Las fórmulas no tienen por qué referirse solo a operaciones algebraicas sencillas. Por ejemplo,
considérese la sucesión
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 término n-ésimo sería la aproximación
decimal con n cifras decimales exactas). Aunque no supiéramos escribir con todas sus cifras
el término 1 000 000 000 000 000, sabemos que ese término está perfectamente definido, y lo
mismo podemos decir de cualquier otro. En este caso podemos dar una fórmula explícita para
el término n-ésimo con ayuda de la función parte entera: concretamente, para cada n ∈ N,
a1 a2 ak an
sn = 3 + + +···+ k +···+ n ,
10 102 10 10
donde ak = [10k π] − 10[10k−1 π] (1 ≤ k ≤ n); el hecho de que esta fórmula no proporcione un
algoritmo de cálculo para los ak no obsta para que estos estén definidos sin ambigüedad y sin
excepción alguna.
• Sucesiones recurrentes. Reciben este nombre las sucesiones cuyos términos se definen en fun-
ción de los anteriores (definición inductiva o recursiva). Un ejemplo muy citado de este tipo es
la sucesión de Fibonacci, dada por
s1 = 1, s2 = 1, sn+2 = sn+1 + sn (n ∈ N),
cuyos primeros términos son
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, . . .
Las sucesiones definidas por recurrencia aparecen con frecuencia en cálculos con ordenadores:
ver comentario en [BARTLE -S HERBERT, pág. 85].
3.1. Sucesiones convergentes 39
Otros ejemplos de sucesiones recurrentes son las progresiones aritméticas de primer término x
y razón h, que pueden definirse recursivamente por
s1 = x, sn+1 = sn + h,
y las progresiones geométricas de primer término x y razón r, dadas por
s1 = x, sn+1 = sn · r.
Se encuentran sin dificultad fórmulas explícitas en ambos casos: sn = x + (n − 1)h para las
primeras, sn = x · rn−1 para las segundas.
• La regla que define una sucesión no tiene por qué ser de carácter estrictamente matemático. Por
ejemplo, puede definirse una sucesión poniendo
!
107 /3 si el nombre en castellano del número n contiene la letra d
sn = √
π en caso contrario
(¿cuáles serían sus primeros términos?), o mediante cualquier otra condición que permita asegu-
rar que a cada n ∈ N sin excepción se le asocia inequívocamente un número real perfectamente
definido.
• Existen sucesiones cuyo rango es exactamente Z. Más difícil: existen sucesiones cuyo rango es
exactamente Q; la construcción usual se hace mediante el proceso diagonal de Cantor y puede
verse en [BARTLE -S HERBERT, págs. 36–37], [S PIVAK, pág. 609].
• ¿Queda definida una sucesión si para cada n ∈ N ponemos
sn = máx{x ∈ R : x2 + 2nx − 1 < 0}?
¿Y si ponemos
sn = máx{x ∈ R : x2 + 2nx − 1 ≤ 0}?
En caso afirmativo, ¿puede darse una expresión más directa para sn ?
Notación. Por comodidad, a menudo se denotan las sucesiones simplemente por (sn ) en vez de
(sn )n∈N ó (sn )∞
n=1 si esto no da lugar a imprecisiones.
Definición 3.1.2. Una sucesión (sn ) es convergente si existe un número real a tal que para cada
ε > 0 se puede encontrar un número natural N = N(ε) de modo que siempre que n > N se verifique
|sn − a| < ε.
Se dice entonces que el número a es límite de la sucesión (sn ), y se escribe a = lı́m sn . También
n
decimos que (sn ) converge al número a.
Usaremos a veces la fórmula sn → a para indicar que la sucesión de término n-ésimo sn es con-
vergente y tiene por límite a.
Nota. Recuérdese que la desigualdad |sn −a| < ε es equivalente a las dos desigualdades −ε < sn −a <
ε, que equivalen a su vez a las desigualdades
a − ε < sn < a + ε.
a−ε a a+ε
s6 s3 s8 s1 s11 s7 s10 s9 s2 s4 s5
|sn − a| < ε para n > 6
Ejemplos (sucesiones convergentes). a) Las sucesión constante sn = c (c ∈ R) converge al nú-

mero c.
b) La sucesión (1/n) converge a 0 (consecuencia de la propiedad arquimediana, teorema 1.2.2).
Ejemplos (sucesiones no convergentes). a) La sucesión ((−1)n ) no es convergente (si tuviese

límite a, no puede ser a = 1 puesto que entonces eligiendo ε = 2 > 0, cualquiera que fuese
N bastaría tomar n = 2N + 1 > N para conseguir que |sn − a| = | − 1 − 1| = 2 &< ε; y si a &=
1, eligiendo ahora ε = |1 − a| > 0, cualquiera que fuese N bastaría tomar n = 2N > N para
conseguir que |sn − a| = |1 − a| &< ε = |1 − a|).
b) La sucesión (n) no puede ser convergente, pues si tuviese límite a, tomando ε = 1 en la defini-
ción de convergencia, para algún N habría de ser n < a + 1 siempre que n fuese mayor que N,
lo cual es imposible (consecuencia una vez más de la propiedad arquimediana).
Proposición 3.1.3. Sea a ∈ R. Dada una sucesión (sn ), son equivalentes entre sí:
a) (sn ) es convergente con límite a; abreviadamente, a = lı́m sn o sn → a.

n
b) siempre que a' < a, existe un n' tal que para todo n > n' es a' < sn
y
siempre que a < a'' , existe un n'' tal que para todo n > n'' es sn < a'' .
c) si a' , a'' son números reales tales que a ∈ (a' , a'' ), existe entonces un N tal que para todo n > N
es sn ∈ (a' , a'' ).
Demostración. a) =⇒ b) Dado a' < a, tomando ε = a − a' > 0 existirá por hipótesis un N tal que si
n > N entonces sn > a − ε = a − (a − a' ) = a' . Para a < a'' se razona de manera similar.
b) =⇒ c) Basta observar que x ∈ (a' , a'' ) significa que a' < x < a'' . Por consiguiente, si a ∈ (a' , a'' )
existen n' y n'' tales que para todo n > n' es sn > a' y para todo n > n'' es sn < a'' . Tomando ahora
N = máx{n' , n'' }, siempre que n > N es simultáneamente n > n' y n > n'' , luego para todo n > N será
a' < sn < a'' o, equivalentemente, sn ∈ (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 sn ∈ (a − ε, a + ε), o lo que es lo mismo, |sn − a| < ε.
Corolario 3.1.4. Sea (sn ) una sucesión convergente con límite a y sea c ∈ R. Se tiene:
a) Si existe m tal que para todo n > m es c ≤ sn , entonces c ≤ a.
b) Si existe m tal que para todo n > m es sn ≤ c, entonces a ≤ c.
Demostración. Se prueba por reducción al absurdo aplicando la proposición 3.1.3.

El corolario 3.1.4 no es cierto con desigualdades estrictas.
Corolario 3.1.5 (unicidad del límite de una sucesión convergente). Sea (sn ) una sucesión conver-
gente y sean a, b ∈ R tales que a = lı́m sn , b = lı́m sn . Entonces a = b.
n n
Demostración. Si no, sea, por ejemplo, a < b. Tomando c tal que a < c < b, puesto que c < b y b es
límite de (sn ), debe existir un n' tal que para todo n > n' sea sn > c; igualmente, puesto que a < c y
a es límite de (sn ), debe existir un n'' tal que para todo n > n'' es sn < c; tomando n = máx{n' , n'' }
llegamos a una contradicción: tendría que cumplirse c < sn < c.
El límite de una sucesión convergente es así el único número real al que la sucesión converge.
Las definiciones de acotación de sucesiones se obtienen particularizando a sucesiones las que
dimos sobre acotación de funciones.
Definición 3.1.6. Una sucesión (sn )∞n=1 se dice que está acotada superiormente si existe algún nú-
mero C ∈ R tal que para todo n ∈ N, sn ≤ C.
Se dice que está acotada inferiormente si existe algún número K ∈ R tal que para todo n ∈ N,
K ≤ sn .
Se dice que está acotada si lo está superior e inferiormente. Esto equivale a que exista un número
M ≥ 0 tal que para todo n ∈ N, |sn | ≤ M.
Proposición 3.1.7. Toda sucesión convergente está acotada.
Demostración. Sea (sn ) una sucesión convergente a un número a ∈ R. Tomamos, por ejemplo, ε = 1
en la definición de límite y existirá algún número N ∈ N tal que |sn − a| < 1 para todo n > N. Si
escribimos
B = máx{1, |s1 − a|, |s2 − a|, . . . , |sN − a|},
se tiene que |sn − a| ≤ B, es decir,
a − B ≤ sn ≤ a + B,
para todo n ∈ N. Luego la sucesión está acotada.
Aplicación. Dado x ∈ R tal que |x| > 1, la sucesión que tiene por término n-ésimo xn no es convergen-
te. En efecto: si ponemos h = |x| − 1, entonces |xn | = |x|n = (1 + h)n ≥ 1 + nh, según la desigualdad
de Bernoulli. De aquí se deduce que la sucesión no está acotada.
Tampoco es convergente la sucesión de término n-ésimo sn = n.
3.1.2. Sucesiones monótonas

Las definiciones sobre monotonía de sucesiones se obtienen particularizando a sucesiones las que
dimos sobre monotonía de funciones. Esto equivale a lo siguiente:
Definición 3.1.8. a) Una sucesión (sn ) es monótona no decreciente si y solo si para todo n ∈ N
se verifica sn ≤ sn+1 .
b) Una sucesión (sn ) es monótona no creciente si y solo si para todo n ∈ N se verifica sn ≥ sn+1 .
c) Una sucesión (sn ) es estrictamente creciente si y solo si para todo n ∈ N se verifica sn < sn+1 .
d) Una sucesión (sn ) es estrictamente decreciente si y solo si para todo n ∈ N se verifica sn >
sn+1 .
e) Una sucesión se dice que es monótona si es de alguno de los tipos anteriores.

Proposición 3.1.9. a) Sea (sn ) una sucesión monótona no decreciente. Entonces (sn ) es conver-
gente si y solo si está acotada superiormente, en cuyo caso
lı́m sn = sup{sn : n ∈ N}.

n
b) Sea (sn ) una sucesión monótona no creciente. Entonces (sn ) es convergente si y solo si está
acotada inferiormente, en cuyo caso
lı́m sn = ı́nf{sn : n ∈ N}.

n
Demostración. Sea (sn ) una sucesión monótona no decreciente. Según la proposición 3.1.7, si la su-
cesión converge entonces está acotada (superiormente); esto demuestra una implicación del apartado
a). Supongamos ahora que la sucesión está acotada superiormente, sea a su supremo y veamos que
la sucesión converge al punto a. Sea ε > 0. Como a − ε < a, el número a − ε no puede ser una cota
superior de la sucesión, y por lo tanto existirá algún N ∈ N tal que
a − ε < aN .
Como la sucesión es no decreciente, para cada n > N se tendrá
a−ε a
s1 s2 s3 ... sN . . .
toda sucesión no decreciente y acotada tiene límite
a − ε < aN ≤ aN+1 ≤ · · · ≤ an
y, por la definición de supremo,

an ≤ a < a + ε.
Por lo tanto, a − ε < an < a + ε. Esto demuestra que la sucesión converge al punto a.
La demostración del apartado b) es análoga.
Ejemplo (el número e). La sucesión de término n-ésimo

" #
1 n
sn = 1 +
n
es estrictamente creciente y acotada superiormente por 3. Lo primero puede probarse mediante la
desigualdad de Bernoulli observando que
$ %
1 n+1
$ n+2 %n+1 " #n+1
sn+1 1 + n+1 n+1 [n(n + 2)]n+1 n + 1 n + 1 1
= $ %n = $ % = · = 1−
sn 1 + 1n n+1 n+1 n ((n + 1)2 )n+1 n n (n + 1)2
n n+1
" #
n+1 −1 n+1 n
> 1 + (n + 1) = · = 1.
n (n + 1)2 n n+1
Que 3 acota superiormente a la sucesión puede deducirse del siguiente resultado, que a su vez se
demuestra por inducción: para cada n ∈ N, si −1 ≤ h ≤ 1n se tiene (1 + h)n ≤ 1 + nh + n2 h2 (ayuda: si
nh ≤ 1, también n2 h3 ≤ nh2 ).
El límite de esta sucesión es el número e, base de los logaritmos neperianos y de la función
exponencial ya presentados en el capítulo 2.
Ejemplo. La sucesión (xn ) es monótona no decreciente y acotada si x ∈ [0, 1]; veremos que su límite
es 0 si x ∈ [0, 1) y 1 si x = 1. Cuando x ∈ (1, +∞), la sucesión (xn ) es estrictamente creciente y
no acotada (para ver esto último, tómese h = x − 1 > 0 y aplíquese la desigualdad de Bernoulli a
xn = (1 + h)n junto con la propiedad arquimediana) (teorema 1.2.2).
Ejemplo. La sucesión de término n-ésimo Hn = 1 + 12 + · · · + 1n es estrictamente creciente y no aco-
tada. Que es estrictamente creciente es inmediato:
1 1 1 1 1
Hn+1 = 1 + + · · · + + = Hn + > Hn .
2 3 n n+1 n+1
Veamos que no está acotada, considerando los términos H2m :
" # " # " # " #
1 1 1 1 1 1 1 1 1 1 1
H2m = 1 + + + + + + + + +···+ + · · · + m−1 +···+ m
2 3 4 5 6 7 8 9 16 2 +1 2
" # " # " # " #
1 1 1 1 1 1 1 1 1 1 1
≥ 1+ + + + + + + + +···+ +···+ m +···+ m
2 4 4 8 8 8 8 16 16 2 2
(el primer paréntesis tiene 2 sumandos, el segundo 4, el tercero 8..., el último tiene 2m−1 )
1 2 4 8 2m−1
= 1+ + + + +···+ m
2 4 8 16 2
(aparte del 1, hay m sumandos, todos iguales a 12 )
m
= 1+ ;
2
por lo tanto, H2m ≥ 1 + m2 y la sucesión Hn no está acotada.
Ejemplo. La sucesión de término n-ésimo sn = n+1
1
+ n+2
1
+· · ·+ 2n
1
es estrictamente creciente (puesto
que sn+1 − sn = 2n+1 1 1
− 2n+2 > 0) y acotada superiormente por 1 (obsérvese que sn ≤ n1 + 1n + .(n)
.. +
n = 1).
1
De su límite, por el momento, solo podemos asegurar que está entre s1 = 12 y 1 (o entre s2 = 13 + 14
y 1, o entre s3 = 14 + 15 + 16 y 1, etcétera). Más adelante podremos probar que su valor exacto es log 2.
3.1.3. Operaciones con sucesiones

Proposición 3.1.10. Sean (sn ), (tn ) sucesiones convergentes con límites
a = lı́m sn , b = lı́m tn ,
n n
y sea c ∈ R. Entonces
a) (sn + tn ) es convergente y tiene límite a + b.
b) (c · sn ) es convergente y tiene límite c · a.

Demostración. a) Sea ε > 0. Usando la definición 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 = máx{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 &= 0. Usamos la definición 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| = ε
Proposición 3.1.11. Sean (sn ), (tn ) sucesiones convergentes con límites
a = lı́m sn , b = lı́m tn .
n n
Entonces (sn · tn ) es convergente y tiene límite a · b.

Demostración. Como (sn ) es convergente, está acotada por la proposición 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 = máx{N1 , N2 } y n > N, se tiene
ε ε
|sntn − ab| = |sntn − sn b + sn b − ab| ≤ |sn | |tn − b| + |b| |sn − a| ≤ K + |b| <ε
2K 2|b| + 1
Ejemplo.
1 1 1
2
= · → 0.
n n n
1
En general, aplicando reiteradamente el mismo argumento, np → 0 cualquiera que sea p ∈ N.
Proposición 3.1.12. Si (sn ) es una sucesión acotada y (tn ) es una sucesión convergente a 0, la suce-
sión (sn · tn ) converge a 0.
Demostración. Sea ε > 0. Sea K > 0 tal que |sn | ≤ K, ∀n ∈ N. Usando la definición 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 = ε.
(−1)n
Ejemplo. La sucesión de término n-ésimo n converge a 0 (tómese sn = (−1)n , tn = 1
n en la pro-
posición 3.1.12)
Lema 3.1.13. Sea (tn ) una sucesión convergente con límite b &= 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.
Precisando más: si b > 0, es

tn > r siempre que n > m
y si b < 0,
tn < −r siempre que n > m.
Demostración. Es consecuencia inmediata de la proposición 3.1.3.
Proposición 3.1.14. Sea (sn ) una sucesión convergente con límite a y (tn ) una sucesión convergente
con límite b &= 0. Si (un ) es una sucesión tal que
sn
un = siempre que tn &= 0,
tn
entonces (un ) es convergente con límite a/b.
Demostración. Sea ε > 0. Relacionamos la definición de límite del cociente con el límite de cada una
de las sucesiones de la forma siguiente:
& & & &
& sn a & & sn b − tn a & |sn b − tn a| |sn b + sntn − sntn − 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 proposición 3.1.7, existen constantes K1 , K2 > 0 tales que |sn | < K1 y |tn | < K2
para todo n ∈ N. Por otra parte, aplicamos la definición de límite de sn , y así existe N2 ∈ N tal que
ε|b|2
si n > N2 entonces |sn − a| < . Análogamente para tn , existe N3 ∈ N tal que si n > N3 entonces
4K2
ε|b|2
|tn − b| < . Finalmente, si n > máx{N1 , N2 , N3 } todas las acotaciones se verifican y
4K1
& &
& sn a & |sn | |tn − b| + |tn | |sn − a| K1 ε|b| ε|b|2
2
& − &≤ 4K1 + K2 4K2

& tn b & < =ε
|tn ||b| |b||b|/2
Corolario 3.1.15. Sea (sn ) una sucesión convergente con límite a y (tn ) una sucesión convergente sin
términos nulos y con límite b &= 0. Entonces la sucesión (sn /tn ) es convergente y
sn a
lı́m = .
n tn b
Ejemplos. a) La sucesión de término n-ésimo
1+2+···+n
n2
converge a 1/2: basta observar que
n(n+1)
1+2+···+n 1 1
= 2
= (1 + ).
n2 n2 2 n
b) La sucesión de término n-ésimo

1 '$ 1 %2 $ 2 %2 $ n − 1 %2 (
a+ + a+ +···+ a+
n n n n
converge al número a2 + a + 13 (¿por qué?).
c) Si (sn ) es una sucesión cuyos términos son todos no negativos, convergente y con límite a,
√ √
entonces la sucesión ( sn ) es convergente con límite a. En el caso a = 0, esto se deduce
inmediatamente de la definición de límite; en el caso a &= 0, se deduce de
√ √ sn − a
sn − a = √ √
sn + a
√ √
y de que (sn − a) converge a 0, mientras que 1/( sn + a) está acotada:
1 1
0< √ √ ≤√ .
sn + a a
d) La sucesión de término n-ésimo √

1+n−1
n
converge a 0 (¿por qué?).
e) La sucesión de término n-ésimo √ √

n2 + 1 + n
√
n +n−n
4 3
converge (¿a qué límite? ¿por qué?).
f) La sucesión de término n-ésimo √ √

n+1− n
converge (¿a qué límite? ¿por qué?).
g) La sucesión (sn ) con

1 1 1 1
sn = + + +···+
1·2 2·3 3·4 n(n + 1)
) *
converge a 1 1
k(k+1) = 1k − k+1
1
=⇒ sn = 1 − n+1
1
→1 .
3.1.4. Desigualdades y límites. Regla del sandwich

Proposición 3.1.16. Si (sn ) y (tn ) son dos sucesiones convergentes y existe un m tal que
s n ≤ tn para todo n > m,
entonces
lı́m sn ≤ lı́m tn .
n n
Demostración. La sucesión tn − sn cumple la desigualdad 0 ≤ tn − sn para todo n > m y converge a

lı́mn tn − lı́mn sn . Por el corolario 3.1.4, 0 ≤ lı́mn tn − lı́mn sn , es decir, lı́mn sn ≤ lı́mn tn .
Ahora podemos enunciar cómodamente una versión del teorema de los intervalos encajados de
Cantor con una condición sencilla para que la intersección esté 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 vacío). Supongamos que para todo n se cumple In+1 ⊆ In , es decir,
an ≤ an+1 ≤ bn+1 ≤ bn ,
y que además
lı́m(bn − an ) = 0.
n
+
Entonces n∈N In se reduce a un punto; en concreto,
,
In = {x},
n∈N
donde
x = lı́m an = lı́m bn .
n n
Demostración. Obsérvese que, por hipótesis, la sucesión (an ) es monótona no decreciente y acotada
superiormente (por b1 , por ejemplo), luego, por la proposición 3.1.9, converge a un número real x.
Análogamente, la sucesión (bn ) converge a un número real r y por la proposición 3.1.16, es an ≤
x ≤ r ≤ bn para todo n ∈ N. Ahora, la condición lı́mn (bn − an ) = 0 asegura que x = r y que {x} =
∩n∈N In .
Proposición 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 y con el mismo límite a, es decir,
lı́m sn = lı́m un = a,
n n
entonces (tn ) es también convergente y tiene el mismo límite a, es decir,
lı́m tn = a.
n
Demostración. Sea ε > 0. Por la definición de límite existe N1 ∈ N tal que si n > N1 entonces |sn −a| <
ε, es decir, a − ε < sn < a + ε. Análogamente, existe N2 ∈ N tal que si n > N2 entonces a − ε < un <
a + ε. Entonces si n > máx{m, N1 , N2 } se tiene a − ε < sn ≤ tn ≤ un < a + ε, es decir, |tn − a| < ε.
Ejemplos. a) Se verifica
1 1 1
√ +√ +···+ √ → 1,
n +1
2 n +2
2 n +n
2
pues podemos encajar la sucesión entre

n n
√ y √ .
n +n
2 n2 + 1
b) Comprobando que la sucesión de término n-ésimo
n+1 n+2 n+n

+ 2 +···+ 2
n +1 n +2
2 n +n
está encajada entre
n+1 n+2 n+n n · n + (1 + 2 + · · · + n) n2 + 12 n(n + 1)

+ +···+ 2 = =
n2 + n n2 + n n +n n2 + n n2 + n
y
n+1 n+2 n+n n · n + (1 + 2 + · · · + n) n2 + 12 n(n + 1)
+ + · · · + = = ,
n2 + 1 n2 + 1 n2 + 1 n2 + 1 n2 + 1
se deduce que la sucesión dada converge a 32 .
3.1.5. Subsucesiones. Teorema de Bolzano-Weierstrass

Eliminando términos de una sucesión podemos extraer de ella nuevas sucesiones, cuyos términos
aparecen en la sucesión original en el mismo orden (tal vez no en el mismo lugar) que en la nueva: es
decir, vamos tomando infinitos términos, saltando algunos quizá, pero sin volver atrás. Por ejemplo,
dada una sucesión
s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , . . . ,
si nos quedamos con los términos que ocupan lugar impar (eliminando los que ocupan lugar par),
obtenemos una nueva sucesión
s1 , s3 , s5 , s7 , s9 , . . . ,
cuyo término n-ésimo es s2n−1 ; si nos quedamos con los términos que ocupan lugar par (eliminando
los que ocupan lugar impar), obtenemos la nueva sucesión
s2 , s4 , s6 , s8 , s10 , . . . ,
cuyo término n-ésimo es s2n . Podemos imaginar fácilmente otras muchas maneras de extraer suce-
siones de la sucesión inicial con este procedimiento. Se obtienen así lo que se llaman subsucesiones
de la sucesión dada; como iremos viendo a lo largo del curso, el manejo de subsucesiones facilita
habitualmente el estudio de la sucesión original, y permite demostrar varias propiedades esenciales de
la teoría de funciones reales de variable real. Pasemos a formalizar este concepto.
Definición 3.1.19. Dada una sucesión (sn ), se dice que otra sucesión (tn ) es una subsucesión de (sn )
si existe una función ϕ : 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 -S HERBERT, pág. 110], [ROSS, págs. 48–51])
a) Sea n0 ∈ N. Tomando ϕ(n) = n + n0 en la definición anterior, se obtiene la subsucesión
sn0 +1 , sn0 +2 , sn0 +3 , sn0 +4 , sn0 +5 , sn0 +6 , sn0 +7 , . . . ,
que resulta de la original suprimiendo los n0 primeros términos.
b) La sucesión de término n-ésimo tn = 4n2 es una subsucesión de la sucesión de término n-ésimo

sn = (−1)n n2 , como se ve tomando ϕ(n) = 2n.
$ % $ %∞
c) La sucesión 1, 13 , 12 , 14 , 15 , 16 , 17 , . . . no es una subsucesión de 1n n=1 . Tienen los mismos térmi-
) n+1
*
nos, pero no en el mismo orden. La sucesión 1, 0, 13 , 0, 15 , 0, 17 , 0, . . . , 1+(−1)2n , . . . tampoco es
$ 1 %∞
una subsucesión de n n=1 .
d) Toda sucesión es una subsucesión de sí misma (reflexividad). También hay transitividad: si (un )
es una subsucesión de (tn ) y (tn ) es una subsucesión de (sn ), a su vez (un ) es una subsucesión
de (sn ).
Proposición 3.1.20. Toda subsucesión de una sucesión convergente es también convergente y tiene el
mismo límite.
Demostración. Es una consecuencia inmediata de la definición de límite.
Aplicaciones. a) Ya vimos, con cierto esfuerzo, que ((−1)n ) no es una sucesión convergente.
Ahora es inmediato: la subsucesión de sus términos de lugar par converge a 1, la subsucesión
de sus términos de lugar impar converge a −1.
b) Para x ∈ [0, 1), la sucesión (xn ) converge a 0: puesto

$ que
% es convergente, según probamos,
y si lı́m xn = a, vemos que lı́m xn+1 = a · x. Pero xn+1 es una subsucesión de (xn ) (la que
n n
corresponde a ϕ(n) = n + 1 en la definición), luego también lı́m xn+1 = a, de donde a · x = a y
n
como x &= 1, finalmente a = 0. ¿Por qué no podemos utilizar estos cálculos si x > 1?
c) La enumeración diagonal de todos los números racionales forma una sucesión que no es con-
vergente: tiene subsucesiones convergentes a cualquier número real (ver [ROSS, págs. 49–50]).
Proposición 3.1.21. Una sucesión (sn ) es convergente si y solo si la subsucesión de términos de
lugar par (s2n ) y la subsucesión de términos de lugar impar (s2n−1 ) son ambas convergentes y tienen
el mismo límite.
Demostración. Por la proposición 3.1.20 basta con demostrar que si s2n → a ∈ R y s2n−1 → a entonces
sn → a. Sea ε > 0. Por la definición de límite existen N1 , N2 ∈ N tales que:
a) si k > N1 es |s2k − a| < ε;
b) si k > N2 es |s2k−1 − a| < ε.

Ahora si n > máx{2N1 , 2N2 − 1} se tiene, tanto si n es par como impar que |sn − a| < ε.
Lema 3.1.22. Toda sucesión posee una subsucesión monótona.

Demostración. Véase [S PIVAK, pág. 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 sucesión acotada posee una subsucesión conver-
gente.
Demostración. Sea (sn ) una sucesión acotada y K > 0 de forma que −K ≤ sn ≤ K para todo n ∈ N.
Vamos construyendo la subsucesión de la siguiente forma: bien en [0, K], bien en [−K, 0], habrá infi-
nitos términos de la sucesión (quizá incluso en los dos). Supongamos que en I1 = [0, K] hay infinitos
términos y elijamos cualquier elemento sϕ(1) ∈ I1 . De nuevo repetimos la idea y, o bien en [0, K/2]
o en [K/2, K], habrá infinitos términos de la sucesión. Nos quedamos uno de los intervalos que con-
tenga infinitos sn ; supongamos, por ejemplo, que es I2 = [K/2, K]. Elegimos un elemento sϕ(2) ∈ I2
que además cumpla ϕ(2) > ϕ(1). Observemos que I2 ⊆ I1 . El siguiente paso es de nuevo subdividir
I2 en dos mitades, [K/2, 3K/4] y [3K/4, K], elegir una mitad I3 que contenga infinitos términos de
la sucesión y seleccionar un nuevo sϕ(3) ∈ I3 con ϕ(3) > ϕ(2). Construimos de esa forma una suce-
sión de intervalos cerrados encajados I1 ⊇ I2 ⊇ · · · ⊇ In ⊇ . . . y una subsucesión (sϕ(n) ) de (sn ) con
sϕ(n) ∈ In para todo n ∈ N. Por comodidad escribimos In = [an , bn ] con lo que an ≤ sϕ(n) ≤ bn para
todo n ∈ N y además, como la longitud de cada In es K/2n , se tiene bn − an = K/2n → 0. Por tanto
podemos aplicar el teorema 3.1.17 de los intervalos encajados y asegurar la existencia de x ∈ R tal que
x = lı́m an = lı́m bn . Pero por la regla de sandwich (proposición 3.1.18) tenemos que sϕ(n) → x.
n n
3.1.6. Sucesiones de Cauchy
n=1 se dice que es de Cauchy si para cada ε > 0 existe algún

Definición 3.1.24. Una sucesión (sn )∞
N ∈ N (que puede depender de ε) de modo que
n, m > N =⇒ |sn − sm | < ε.
Lema 3.1.25. Toda sucesión de Cauchy está acotada.
Demostración. La definición, usada para ε = 1, asegura la existencia de N ∈ N de modo que si n > N,
entonces |sn − sN+1 | < 1, es decir, sN+1 − 1 < sn < sN+1 + 1. La sucesión (sn ) está acotada inferior-
mente por mı́n{s1 , . . . , sN , sN+1 − 1} y superiormente por máx{s1 , . . . , sN , sN+1 + 1}.
Proposición 3.1.26. Una sucesión es convergente si y solo si es de Cauchy.

Demostración. Sea sn → a ∈ R. Sea ε > 0. Por definición de límite, 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 = ε.
Recíprocamente, sea (sn ) una sucesión de Cauchy. Puesto que está acotada (lema 3.1.25), el teo-
rema 3.1.23 de Bolzano-Weierstrass asegura la existencia de una subsucesión (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 límite en m se llega a que, si n > N es |sn − a| ≤ ε/2 < ε.
3.2. Límites infinitos

3.2.1. Sucesiones divergentes. Propiedades. Operaciones con sucesiones divergentes
Definición 3.2.1. Decimos que una sucesión (sn ) diverge a +∞, y escribimos lı́m sn = +∞, si para
n
todo M ∈ R existe algún N ∈ N que cumpla: n > N =⇒ sn > M.
Decimos que una sucesión (sn ) diverge a −∞, y escribimos lı́m sn = −∞, si para todo M ∈ R
n
existe N ∈ N que cumpla: n > N =⇒ sn < M.
Una sucesión divergente es una sucesión que diverge a +∞ o a −∞. Las sucesiones que no son
convergentes ni divergentes se denominan sucesiones oscilantes.
Nota. Se sigue directamente de la definición que una sucesión (sn ) diverge a +∞ si y solo si su opuesta
(−sn ) diverge a −∞.
Observación. En la definición de sucesión que diverge a +∞, en lugar de M ∈ R se puede poner
M > 0; y en la definición de sucesión que diverge a −∞ se puede poner M > 0:
a) Una sucesión (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ón (sn ) diverge a −∞ si y solo si para todo M < 0 existe N ∈ N tal que siempre que
n > N sea sn < M.
Notas. a) En lo sucesivo, diremos que una sucesión tiene límite si es convergente o divergente, es
decir, si no es oscilante. Obsérvese que el límite (en este sentido ampliado) sigue siendo único:
si a, b ∈ R ∪ {+∞, −∞} y lı́mn sn = a, lı́mn sn = b, es a = b.
A veces nos referiremos a las sucesiones convergentes como sucesiones con límite finito y a las
divergentes como sucesiones con límite infinito.
3.2. Límites infinitos 51
b) Si una sucesión diverge, no está acotada. Pero hay sucesiones no acotadas que oscilan, no son
divergentes.
Proposición 3.2.2. a) Sea (sn ) una sucesión monótona no decreciente. Si no está acotada supe-
riormente, (sn ) diverge a +∞,
lı́m sn = +∞.
n
b) Sea (sn ) una sucesión monótona no creciente. Si no está acotada inferiormente, (sn ) diverge a
−∞,
lı́m sn = −∞.
n
Demostración. Es consecuencia directa de las definiciones.
Corolario 3.2.3. Toda sucesión monótona tiene límite (finito si está acotada, infinito en caso contra-
rio).
Ejemplo. Ya vimos que la sucesión de término n-ésimo

1 1 1
Hn = 1 + + + · · · +
2 3 n
es monótona estrictamente creciente y no está acotada superiormente. Luego diverge a +∞.
Proposición 3.2.4. a) Toda subsucesión de una sucesión divergente a +∞ es divergente a +∞.
b) Toda subsucesión de una sucesión divergente a −∞ es divergente a −∞.
Demostración. Es consecuencia directa de la definición de límite.
Proposición 3.2.5. a) Una sucesión posee una subsucesión divergente a +∞ si y solo si no está
acotada superiormente.
b) Una sucesión posee una subsucesión divergente a −∞ si y solo si no está acotada inferiormente.
c) Una sucesión posee una subsucesión divergente si y solo si no está acotada.
Demostración. Es consecuencia directa de las definiciones.
Proposición 3.2.6. a) Si (sn ) es una sucesión divergente a +∞ y (tn ) es una sucesión acotada
inferiormente, la sucesión (sn + tn ) diverge a +∞.
b) ) Si (sn ) es una sucesión divergente a −∞ y (tn ) es una sucesión acotada superiormente, la

sucesión (sn + tn ) diverge a −∞.
Demostración. a) Por la definición de acotación inferior existe K ∈ R tal que tn > K para todo n ∈ N.
Ahora sea M ∈ R. Por definición de límite 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 análogo.
Corolario 3.2.7. a) Si (sn ) es una sucesión divergente a +∞ y (tn ) es una sucesión convergente o
divergente a +∞, la sucesión (sn + tn ) diverge a +∞: abreviadamente,
lı́m sn = +∞, lı́m tn = a ∈ R ∪ {+∞} =⇒ lı́m(sn + tn ) = +∞.

n n n
b) Si (sn ) es una sucesión divergente a −∞ y (tn ) es una sucesión convergente o divergente a −∞,
la sucesión (sn + tn ) diverge a −∞: abreviadamente,
lı́m sn = −∞, lı́m tn = a ∈ R ∪ {−∞} =⇒ lı́m(sn + tn ) = −∞.

n n n
Demostración. Observar, en el caso a), que tn está acotada inferiormente y podemos aplicar la propo-
sición 3.2.6. El apartado b) es análogo.
Nota. La suma de una sucesión divergente a +∞ con una sucesión divergente a −∞ puede resultar
convergente, puede resultar divergente a +∞, puede resultar divergente a −∞ y puede resultar osci-
lante.
Proposición 3.2.8. a) Si (sn ) es una sucesión divergente a +∞ y (tn ) es una sucesión para la que
existen r > 0 y m tales que
tn > r siempre que n > m,
la sucesión (sn · tn ) diverge a +∞.
b) Si (sn ) es una sucesión divergente a −∞ y (tn ) es una sucesión para la que existen r > 0 y m
tales que
tn > r siempre que n > m,
la sucesión (sn · tn ) diverge a −∞.
c) Si (sn ) es una sucesión divergente a +∞ y (tn ) es una sucesión para la que existen r > 0 y m
tales que
tn < −r siempre que n > m,
la sucesión (sn · tn ) diverge a −∞.
d) Si (sn ) es una sucesión divergente a −∞ y (tn ) es una sucesión para la que existen r > 0 y m
tales que
tn < −r siempre que n > m,
la sucesión (sn · tn ) diverge a +∞.
Demostración. a) Sea M > 0. Como sn → +∞ existe N ∈ N tal que si n > N es sn > M/r. Por tanto,
si n > máx{m, N} se tiene sntn > M/r · r = M. Los apartados b), c) y d) se demuestran de manera
completamente análoga.
Corolario 3.2.9. a) Si (sn ) es una sucesión divergente a +∞ y (tn ) es una sucesión convergente
con límite positivo o divergente a +∞, la sucesión (sn · tn ) diverge a +∞: abreviadamente,
lı́m sn = +∞, lı́m tn = a ∈ (0, +∞) ∪ {+∞} =⇒ lı́m(sn · tn ) = +∞.

n n n
b) Si (sn ) es una sucesión divergente a −∞ y (tn ) es una sucesión convergente con límite positivo
o divergente a +∞, la sucesión (sn · tn ) diverge a −∞: abreviadamente,
lı́m sn = −∞, lı́m tn = a ∈ (0, +∞) ∪ {+∞} =⇒ lı́m(sn · tn ) = −∞.

n n n
c) Si (sn ) es una sucesión divergente a +∞ y (tn ) es una sucesión convergente con límite negativo
o divergente a −∞, la sucesión (sn · tn ) diverge a −∞: abreviadamente,
lı́m sn = +∞, lı́m tn = a ∈ {−∞} ∪ (−∞, 0) =⇒ lı́m(sn · tn ) = −∞.

n n n
d) Si (sn ) es una sucesión divergente a −∞ y (tn ) es una sucesión convergente con límite negativo
o divergente a −∞, la sucesión (sn · tn ) diverge a +∞: abreviadamente,
lı́m sn = −∞, lı́m tn = a ∈ {−∞} ∪ (−∞, 0) =⇒ lı́m(sn · tn ) = +∞.

n n n
Demostración. Es consecuencia directa de la proposición 3.2.8 y la proposición 3.1.3.
Nota. El producto de una sucesión divergente a +∞ o a −∞ por una sucesión convergente a 0 puede
resultar convergente, divergente a +∞, divergente a −∞ u oscilante.
Proposición 3.2.10 (inversas de sucesiones divergentes). a) Una sucesión (sn ) diverge a +∞ si

y solo si tiene como mucho un número finito de términos no positivos y su inversa converge a 0:
abreviadamente,
!
∃m; sn > 0 siempre que n > m
lı́m sn = +∞ ⇐⇒
n lı́mn s1n = 0
b) Una sucesión (sn ) diverge a −∞ si y solo si tiene como mucho un número finito de términos no
negativos y su inversa converge a 0: abreviadamente,
!
∃m; sn < 0 siempre que n > m
lı́m sn = −∞ ⇐⇒
n lı́mn s1n = 0
c) La sucesión de valores absolutos de una sucesión (sn ) diverge a +∞ si y solo si tiene como
mucho un número finito de términos no nulos y su inversa converge a 0: abreviadamente,
!
∃m; sn &= 0 siempre que n > m
lı́m |sn | = +∞ ⇐⇒
n lı́mn s1n = 0
Demostración. a) Suponemos primeramente que sn → +∞. Por definición de límite, si n > N1 es

sn > 0, es decir, tiene como mucho un número finito de términos no positivos. Ahora, para ver que
n → 0, fijamos ε > 0. De nuevo por hipótesis, existe N2 ∈ N tal que si n > N2 es sn > 1/ε. Luego si
s−1
n < ε.
n > máx{N1 , N2 } se tiene s−1
Recíprocamente,supongamos que sn > 0 si n > N1 y que s−1 n → 0. Para ver que sn → +∞ fi-
jamos M > 0. Por definición de límite, existe N2 ∈ N tal que si n > N2 es s−1 n < 1/M. Luego si
n > máx{N1 , N2 } se tiene sn > M.
Los otros apartados se demuestran análogamente.
Es fácil comprobar que una sucesión (sn ) converge a 0 si y solo si la sucesión (|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
límite a, entonces (|sn |) es convergente con límite |a|; el recíproco no siempre es cierto si a &= 0. De
esto se deduce:
Corolario 3.2.11. Una sucesión (sn ) sin términos nulos converge a 0 si y solo si la sucesión (1/|sn |)
de los valores absolutos de los inversos diverge a +∞: en símbolos, si sn &= 0 para todo n,
1
lı́m sn = 0 ⇐⇒ lı́m = +∞.
n n |sn |
sn
Observación. Como tn = sn · t1n , el estudio de cocientes se reduce fácilmente a los casos anteriores.
Una muestra:
Corolario 3.2.12. Si (sn ) es una sucesión divergente a +∞ y (tn ) es una sucesión convergente con
límite positivo o una
) sucesión
* convergente a 0 que tiene a lo más un número finito de términos no
sn
positivos, entonces tn es una sucesión divergente a +∞.
$ %
Nota. Si la sucesión cociente stnn está definida, puede ser convergente, divergente a +∞, divergente
a −∞ u oscilante, si estamos en alguno de los dos casos siguientes:
a) (sn ) y (tn ) convergen a 0;
b) lı́m |sn | = lı́m |tn | = +∞.

Si (sn ) tiene límite no nulo (finito o infinito) y (tn ) converge a 0, su cociente es divergente salvo en el
caso de que tenga infinitos términos positivos e infinitos términos negativos.
Proposición 3.2.13 (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 +∞, también (tn ) diverge a +∞:
lı́m sn = +∞ =⇒ lı́m tn = +∞.

n n
b) si (tn ) diverge a −∞, también (sn ) diverge a −∞:
lı́m tn = −∞ =⇒ lı́m sn = −∞.

n n
Demostración. a) Es consecuencia directa de la definición. Si dado M ∈ R existe N ∈ N de modo que

si n > N es sn > M, tambien se tiene tn ≥ sn > M. Análogamente 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 definir (+∞) + (−∞) y (−∞) + (+∞).
d) −(+∞) = −∞, −(−∞) = +∞.
e) Para x, y ∈ R,
x − y = x + (−y)
siempre que la suma tenga sentido; quedan sin definir (+∞) − (+∞) 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 definir (+∞) · 0, 0 · (+∞), (−∞) · 0 y 0 · (−∞).
j) 1
+∞ = 1
−∞ = 0.
k) Para x, y ∈ R, " #
x 1
= x·
y y
1 x
siempre que el producto tenga sentido; quedan sin definir 0 y por tanto 0 cualquiera que sea
x ∈ R, así como +∞ +∞ −∞ −∞
+∞ , −∞ , +∞ , y −∞ .
l) | + ∞| = | − ∞| = +∞.
Con la estructura resultante, R suele denominarse la recta ampliada.
Observación. En R puede hablarse también de cotas superiores e inferiores de un conjunto no vacío,

y de supremo, ínfimo, máximo y mínimo. Todo subconjunto no vacío de R tiene siempre supremo
(cota superior mínima) e ínfimo (cota inferior máxima) en R.
Notas. a) Dados dos elementos cualesquiera x, y ∈ R tales que x < y, se puede encontrar siempre
un número real z que cumple x < z < y; en otras palabras, todo intervalo (x, y) ⊆ R contiene
números reales.
b) Dados x, y, z ∈ R, se tiene
x ≥ y =⇒ x + z ≥ y + z
siempre que las sumas estén 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.
Teorema 3.2.14. Dada una sucesión (sn ) con límite a (finito o infinito) y una sucesión (tn ) con límite
b (finito o infinito), se tiene:
a) si a + b está definido en R, (sn + tn ) tiene límite a + b.
b) si a − b está definido en R, (sn − tn ) tiene límite a − b.
c) si a · b está definido en R, (sn · tn ) tiene límite a · b.
d) si a/b está definido en R, (sn /tn ) tiene límite a/b.
3.2.3. Límite superior y límite inferior de una sucesión. Límites de oscilación

Definición 3.2.15. Sea (sn ) una sucesión acotada superiormente. La sucesión (xn ) de números reales
definida por
xn = sup{sk : k ≥ n}
es monótona no creciente, por lo que tiene límite (que puede ser finito o −∞). Dicho límite recibe el
nombre de límite superior de la sucesión (sn ). Se denota por lı́m sup sn , de modo que
n
- . - .
lı́m sup sn = lı́m sup sk = ı́nf sup sk .
n n k≥n n k≥n
Si (sn ) no está acotada superiormente, se define
lı́m sup sn = +∞.

n
Definición 3.2.16. Sea (sn ) una sucesión acotada inferiormente. La sucesión (yn ) de números reales
definida por
yn = ı́nf{sk : k ≥ n}
es monótona no decreciente, por lo que tiene límite (que puede ser finito o +∞). Dicho límite recibe
el nombre de límite inferior de la sucesión (sn ). Se denota por lı́m inf sn , de modo que
n
" # " #
lı́m inf sn = lı́m ı́nf sk = sup ı́nf sk .
n n k≥n n k≥n
Si (sn ) no está acotada inferiormente, se define
lı́m inf sn = −∞.

n
Nota. Una consecuencia inmediata de la definición es que siempre
lı́m inf sn ≤ lı́m sup sn .

n n
Ejemplos. Pueden examinarse las siguientes sucesiones (en algunos casos no es sencillo demostrar
con rigor cuáles son el límite superior y el inferior):
a) lı́m inf(−1)n = −1, lı́m sup(−1)n = 1.

n n
b) lı́m inf(−1)n n = −∞, lı́m sup(−1)n n = +∞.

n n
(−1)n (−1)n
c) lı́m inf = 0, lı́m sup = 0.
n n n n
d) lı́m inf sen n = −1, lı́m sup sen n = 1.
n n
e) (0, 1, 0, 1, 0, 1, . . .); el límite inferior es 0 y el límite superior es 1.
f) (0, 1, 0, 2, 0, 3, . . .); el límite inferior es 0 y el límite superior es +∞.
g) (0, 12 , 0, 13 , 0, 14 , . . .); el límite inferior es 0 y el límite superior es 0, también.
h) (a, b, c, a, b, c, . . .); el límite inferior es mı́n{a, b, c} y el límite superior es máx{a, b, c}.
Proposición 3.2.17. Dada una sucesión (sn ), se tiene:
a) (sn ) es convergente con límite a si y solo si
lı́m inf sn = lı́m sup sn = a.

n n
b) (sn ) es divergente a +∞ si y solo si
lı́m inf sn = +∞,

n
y en tal caso también lı́m sup sn = +∞.

n
c) (sn ) es divergente a −∞ si y solo si
lı́m sup sn = −∞,

n
y en tal caso también lı́m inf sn = −∞.

n
Demostración. a) Pongamos, para cada n ∈ N,
xn = sup{sk : k ≥ n}, yn = ı́nf{sk : k ≥ n}. (3.1)
Está claro que yn ≤ sn ≤ xn . Como lı́m inf sn = lı́m yn y lı́m sup sn = lı́m xn , si lı́m inf sn = lı́m sup sn =
n n n n n n
a ∈ R, basta aplicar la regla del sandwich (proposición 3.1.18) para obtener que (sn ) es convergente
con límite a.
Recíprocamente, si (sn ) es convergente con límite a, dado ε > 0 hay un N tal que para todo n > N
es
ε ε
a− < sn < a + ,
2 2
con lo que para todo n > N el conjunto {sk : k ≥ n} está acotado superiormente por a + ε2 e inferior-
mente por a − ε2 , y así para todo n > N es
ε ε
a−ε < a− ≤ yn ≤ xn ≤ a + < a + ε,
2 2
y en definitiva,
lı́m inf sn = lı́m yn = a = lı́m xn = lı́m sup sn .
n n n n
b) Para que lı́m inf sn = +∞, la sucesión (sn ) debe estar acotada inferiormente y, usando la no-
n
tación (3.1), debe ser lı́m yn = +∞. Como yn ≤ sn , esto obliga a que (sn ) sea también divergente a
n
+∞.
Recíprocamente, si (sn ) diverge a +∞ entonces no está acotada superiormente y por definición es
lı́m sup sn = +∞. También es lı́m inf sn = +∞, ya que dado M ∈ R existe un N tal que para todo n > N
n n
se verifica sn > M + 1, con lo que yn ≥ yN ≥ M + 1 > M, es decir, lı́m yn = +∞.
n
c) Razonamiento análogo al anterior.
Corolario 3.2.18. Una sucesión (sn ) tiene límite (en R) si y solo si
lı́m inf sn = lı́m sup sn .

n n
Y en este caso, el límite es igual al límite superior y al límite inferior. La sucesión (sn ) es oscilante si
y solo si
lı́m inf sn < lı́m sup sn .
n n
Demostración. Consecuencia inmediata de la proposición 3.2.17.
Una descripción interesante de los límites superior e inferior se expresa mediante el siguiente
concepto.
Definición 3.2.19. Se dice que un número a ∈ R es un límite de oscilación de una sucesión (sn ) si a
es límite de alguna subsucesión de (sn ).
Corolario 3.2.20. Toda sucesión tiene al menos un límite de oscilación.
Demostración. Toda sucesión tiene una subsucesión monótona, y esta tiene límite (finito o infinito).
Proposición 3.2.21. El límite superior de una sucesión es el máximo (en R) de sus límites de oscila-
ción. El límite inferior de una sucesión es el mínimo (en R) de sus límites de oscilación.
Demostración. Sea (sn ) sucesión. Veamos primeramente que el límite superior (y análogamente se
vería el límite inferior) es límite de oscilación.
Caso 1: supongamos que lı́m sup sn = s ∈ R. Sea yn = sup sk con lo que s = ı́nf yn . Ahora, por la
k≥n n
definición de ínfimo, existe N1 ∈ N tal que si n > N1 es s − 1 < yn < s + 1, y por la definición 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 subsucesión sϕ(n) converge a s.
Caso 2: ahora supongamos que lı́m sup sn = +∞. Con la notación anterior, y puesto que (yn ) es no
decreciente, se tiene yn = +∞ para todo n ∈ N. Como consecuencia, para cada n ∈ N existe sϕ(n) tal
que sϕ(n) > n. Además, se puede suponer que ϕ(n) > . . . > ϕ(1). Por lo tanto, sϕ(n) → +∞.
Obsérvese que el caso lı́m sup sn = −∞ queda cubierto por la proposición 3.2.17.
Para finalizar basta demostrar que cualquier otro límite de oscilación de (sn ) está entre el límite
superior y el inferior. Sea (sϕ(n) ) subsucesión convergente a un límite de oscilación. Claramente, con
la notación de la definición, yn ≤ sϕ(n) ≤ xn y tomando límites se tiene la tesis del enunciado.
Otras propiedades de los límites superior e inferior se recogen en el siguiente enunciado.

Proposición 3.2.22. Sean (sn ), (tn ) sucesiones de números reales y c ∈ R.
a) si lı́m sup sn < c, existe un n0 tal que sn < c para todo n ≥ n0 (es decir, solo hay un número finito
n
de términos de la sucesión mayores o iguales que c).
b) si lı́m sup sn > c, existen infinitos n para los que sn > c.

n
c) si lı́m inf sn > c, existe un n0 tal que sn > c para todo n ≥ n0 (es decir, solo hay un número finito
n
de términos de la sucesión menores o iguales que c).
d) si lı́m inf sn < c, existen infinitos n para los que sn < c.

n
e) si para algún m es sn ≤ tn siempre que n > m, entonces
lı́m inf sn ≤ lı́m inf tn ; lı́m sup sn ≤ lı́m sup tn .

n n n n
f)
lı́m inf sn + lı́m inf tn ≤ lı́m inf(sn + tn ) ≤ lı́m inf sn + lı́m sup tn
n n n n n
≤ lı́m sup(sn + tn ) ≤ lı́m sup sn + lı́m sup tn .
n n n
g) si c ≥ 0,
lı́m inf(csn ) = c lı́m inf sn ; lı́m sup(csn ) = c lı́m sup sn .
n n n n
h) si c < 0,
lı́m inf(csn ) = c lı́m sup sn ; lı́m sup(csn ) = c lı́m inf sn .
n n n n
i) si sn ≥ 0, tn ≥ 0,
lı́m inf sn · lı́m inf tn ≤ lı́m inf(sntn ) ≤ lı́m inf sn · lı́m sup tn ≤ lı́m sup(sntn ) ≤ lı́m sup sn · lı́m sup tn .
n n n n n n n n
j) si sn > 0 para todo n,

sn+1 √ √ sn+1
lı́m inf ≤ lı́m inf n sn ≤ lı́m sup n sn ≤ lı́m sup .
n sn n n n sn
3.3. Límites de sucesiones y funciones elementales

Si f (x) representa una cualquiera de las funciones ex , log x, sen x, cos x, tg x, arc sen x, arc cos x,
arc tg x, xr , entonces
lı́m sn = a =⇒ lı́m f (sn ) = f (a)
n n
para cualquier punto a del dominio de la función y cualquier sucesión sn contenida en el dominio de
la función. Otros límites son los siguientes:
lı́m sn = −∞ =⇒ lı́m esn = 0
n n
lı́m sn = +∞ =⇒ lı́m esn = +∞

n n
lı́m sn = 0, sn > 0 para todo n =⇒ lı́m log sn = −∞

n n
lı́m sn = +∞ =⇒ lı́m log sn = +∞

n n
lı́m sn = −∞ =⇒ lı́m arc tg sn = − π2

n n
π
lı́m sn = +∞ =⇒ lı́m arc tg sn = 2
n n
!
0, si r > 0
lı́m sn = 0, sn > 0 para todo n =⇒ lı́m srn =
n n +∞, si r < 0
!
+∞, si r > 0
lı́m sn = +∞ =⇒ lı́m srn =
n n 0, si r < 0
Si f (x) = ar xr + ar−1 xr−1 + · · · + a0 es un polinomio (con r ∈ N y ar &= 0), entonces
lı́m sn = +∞ =⇒ lı́m f (sn ) = +∞ (si ar > 0),
n n
lı́m sn = +∞ =⇒ lı́m f (sn ) = −∞ (si ar < 0).
n n
Definición 3.3.1. Sean (sn ) y (tn ) dos sucesiones. Decimos que las dos sucesiones son equivalentes
y escribimos
sn ∼ tn
si se verifica
sn
= 1.lı́m
n tn
Las principales equivalencias de sucesiones son:
• Si sn → 0,
esn − 1 ∼ sn log(1 + sn ) ∼ sn
1
sen sn ∼ sn 1 − cos sn ∼ s2n
2
• Sea f (x) = ar xr + ar−1 xr−1 + · · · + a0 , con ar &= 0; si sn → +∞,
f (sn ) ∼ ar srn ,
log f (sn ) ∼ r log sn (si ar > 0).
√
• Fórmula de Stirling: n! ∼ nn e−n 2πn.
3.4. Ejercicios 61
3.4. Ejercicios
$1% $1% $1%
% ¿Para qué valores de a ∈ R es (a ) una subsucesión de
Ejercicio n
$ 13.1. n ? ¿Y de 2n ? ¿Y de 2n ?
¿Y de 2n−1 ?
Ejercicio 3.2. Estudiar el límite de la sucesión

4 + 3 9 − 4 16 + 5 25 − 6
, , , ,...
1·3 2·4 3·5 4·6
Ejercicio 3.3. Calcular el límite de las sucesiones de término general:
/" # " # " # 0
1 1 2 2 2 n−1 2
a) a+ + a+ +···+ a+
n n n n
(12 + 22 + · · · + n2 )2 1 + 22 + 32 + · · · + n2
b) c)
(1 + 2 + · · · + n)3 1 + n + n2 + n3
√ √ 2 √
3 3 n−4 5 n n
d) √ √ e) 1 2
3
n − 3(4 − 5 n) √
n+ n+ n
√ √ √
f) 4n2 − 1 − (2n − 1) g) n + an2 − 3 n3 − an2
3 3
"3 # 2 √ 2 √
a n2 + n − n2 − n
h) n 3
1+ −1 i) 2 √ 2 √
n n( 3 n3 + n − 3 n3 − n)
√ √ √ √
j) n2 + n + 1 − 3n2 − 1 − 3n k) 9n2 − n − 3 27n3 − 5n2
n3 + 2
" #
n+1 n2 + 3n − 2 2n2 + 1
l) (4n + 3) log m)
n−2 n2 + n
#n +2
2
" " #4n+1
n+1 n−3 3n2 + 2n + 1
n) ñ) 1 + log
n−1 3n2 + 5n
" # 1 1
1 log(3/n)
o) p) (2 + 3n4 ) 3 + 2 log(n + 1)
n
" #n2 log n
log(n2 + 1) 2
q) r) 3
(n + a)(n + b)(n + c) − n
log(n2 − 1)
√ " #2
22n (n!)2 n 2 · 4 · 6 · · · (2n − 2)
s) t) n
(2n + 1)! 1 · 3 · 5 · · · (2n − 1)
2n
(n + 1)(n + 2) · · · (n + n) 12
u) v) n
(3n + 1)(3n + 2) · · · (4n)
n n
1p + 2p + · · · + np n cos 1 + cos √12 + · · · + cos √1n − n
w) − (p ∈ N) x)
np p+1 log(n3 + 1)
√ √ 2
1 · 2 · 3 + 2 · 3 · 4 + · · · + n(n + 1)(n + 2)
y) √
n2 n
log 1 − log 2 + log 3 − · · · + log(2n − 1) − log 2n

z)
log n
√ √ √ 31
2! tg 12 + 3 3! tg 13 + · · · + n n! tg 1n $ %$ % $ %
A) √ B) n n n1 n2 · · · nn
n +1
2
1 1 1
C) + +···+ D) (2n + 3n )1/n
n2 (n + 1)2 (n + n)2
n2 π n2 π n2 π
E) sen + sen + · · · + sen
2(n2 + 1) 2(n2 + 2) 2(n2 + n)
Ejercicio 3.4. Hallar una relación entre a, b y c para que
(n + 1)b − nb
lı́m na
n (n + 1)c − nc
sea real y distinto de cero. En ese caso, hallar dicho límite.

an + n
Ejercicio 3.5. Discutir, según el valor de a ∈ R, la existencia y el valor de lı́m .
n an−1 + 2n
1 1 1 1
Ejercicio 3.6. Sea un = + + +···+ ; probar que existe lı́m un y está compren-
1+n 2+n 3+n n+n n
dido entre 1/2 y 1.
n
Ejercicio 3.7. Hallar, si existe, el límite de la sucesión dada por un+1 = un .
2n + 1
Ejercicio 3.8. Sea (xn )∞
n=1 una sucesión. Probar que si existen lı́m x2k , lı́m x2k−1 y lı́m x3k , entonces
k k k
existe lı́m xn y coincide con los anteriores.
n
x1 + x2 + · · · + xn
Ejercicio 3.9. Demostrar que si xn → a, entonces → a.
n
Ejercicio 3.10. Calcular el límite superior y el inferior de las sucesiones de término general:
(−1)n 1 (−1)n
a) a + b) (−1)n + c) + 1 + (−1)n
n n n
" #
(−1)n n (−1)n n 2n + (−1)n (n + 2)
d) 1+ e) f)
n 2n + 1 3n + 3
" #
2n + 1 (−1) (n + 1)
n
h) a − n(−1)
n
g) (−1)n 3 + i)
3n + 2 2n + 1


2, si n es múltiplo de 4
j) sn = 0, si n es par y no es múltiplo de 4


1, si n es impar

03 Sucesiones

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

03 Sucesiones

Cargado por

Copyright:

Formatos disponibles

Capítulo 3

Sucesiones de números reales

3.1. Sucesiones convergentes

(n indica el lugar que ocupa el número sn en la lista); puesto en forma de tabla

lugar 1 2 3 4 5 ... n ...

Como el dominio N es común a todas las sucesiones, en vez de utilizar la notación s : N → R

• sn = a, donde a es un número real prefijado (sucesión constante); la sucesión consta de los

• sn = n (sucesión de los números naturales); la sucesión consta de los términos

• sn = 1n ; la sucesión consta de los términos

• sn = (−1)n ; la sucesión consta de los términos

−1, 1, −1, 1, −1, . . . , (−1)n , . . .

3, 1; 3, 14; 3, 141; 3, 1415; 3, 14159; 3, 141592; 3, 1415926; 3, 14159265; 3, 141592653; . . .

s1 = 1, s2 = 1, sn+2 = sn+1 + sn (n ∈ N),

cuyos primeros términos son

1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, . . .

y las progresiones geométricas de primer término x y razón r, dadas por

• ¿Queda definida una sucesión si para cada n ∈ N ponemos

sn = máx{x ∈ R : x2 + 2nx − 1 < 0}?

|sn − a| < ε para n > 6

Ejemplos (sucesiones convergentes). a) Las sucesión constante sn = c (c ∈ R) converge al nú-

b) La sucesión (1/n) converge a 0 (consecuencia de la propiedad arquimediana, teorema 1.2.2).

Ejemplos (sucesiones no convergentes). a) La sucesión ((−1)n ) no es convergente (si tuviese

a) (sn ) es convergente con límite a; abreviadamente, a = lı́m sn o sn → a.

a) Si existe m tal que para todo n > m es c ≤ sn , entonces c ≤ a.

b) Si existe m tal que para todo n > m es sn ≤ c, entonces a ≤ c.

Demostración. Se prueba por reducción al absurdo aplicando la proposición 3.1.3.

El corolario 3.1.4 no es cierto con desigualdades estrictas.

Proposición 3.1.7. Toda sucesión convergente está acotada.

3.1.2. Sucesiones monótonas

e) Una sucesión se dice que es monótona si es de alguno de los tipos anteriores.

lı́m sn = sup{sn : n ∈ N}.

lı́m sn = ı́nf{sn : n ∈ N}.

Como la sucesión es no decreciente, para cada n > N se tendrá

toda sucesión no decreciente y acotada tiene límite

y, por la definición de supremo,

Ejemplo (el número e). La sucesión de término n-ésimo

(aparte del 1, hay m sumandos, todos iguales a 12 )

3.1.3. Operaciones con sucesiones

b) (c · sn ) es convergente y tiene límite c · a.

Proposición 3.1.11. Sean (sn ), (tn ) sucesiones convergentes con límites

Entonces (sn · tn ) es convergente y tiene límite a · b.

|tn | > r siempre que n > m.

Precisando más: si b > 0, es

& − &≤ 4K1 + K2 4K2

b) La sucesión de término n-ésimo

d) La sucesión de término n-ésimo √

e) La sucesión de término n-ésimo √ √

converge (¿a qué límite? ¿por qué?).

f) La sucesión de término n-ésimo √ √

g) La sucesión (sn ) con

3.1.4. Desigualdades y límites. Regla del sandwich

s n ≤ tn para todo n > m,

Demostración. La sucesión tn − sn cumple la desigualdad 0 ≤ tn − sn para todo n > m y converge a

entonces (tn ) es también convergente y tiene el mismo límite a, es decir,

pues podemos encajar la sucesión entre

b) Comprobando que la sucesión de término n-ésimo

n+1 n+2 n+n

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

3.1.5. Subsucesiones. Teorema de Bolzano-Weierstrass

de manera que para todo n ∈ N es tn = sϕ(n) .

Ejemplos. ([BARTLE -S HERBERT, pág. 110], [ROSS, págs. 48–51])

a) Sea n0 ∈ N. Tomando ϕ(n) = n + n0 en la definición anterior, se obtiene la subsucesión

sn0 +1 , sn0 +2 , sn0 +3 , sn0 +4 , sn0 +5 , sn0 +6 , sn0 +7 , . . . ,