Sucesiones de números reales

Juan Peypouquet
11 de octubre de 2021

1. Definiciones y Propiedades Elementales

En cursos anteriores hemos estudiado vectores de n componentes reales. Estos pueden interpre-
tarse como arreglos de n casillas en las cuales hay números reales que llamamos componentes. Es
muy importante recordar que en los vectores las casillas, y por lo tanto las componentes, tienen un
orden. Es decir, hay una primera componente, una segunda, etc. Por ejemplo, en el vector

v = (3, 2, −1)

la primera componente es 3, la segunda es 2 y la tercera es −1. Este ordenamiento nos dice que el
vector v y el vector
u = (−1, 3, 2)
son distintos. Las componentes de un vector v las solemos denotar por v1 , v2 , etc. El subíndice señala
el lugar que ocupa la componente.
En esta sección estudiaremos las sucesiones de números reales que, básicamente, son vectores de
longitud infinita. Comenzaremos por dar una definición formal.
Una sucesión es una función a : N −→ R. Es decir, una regla que a cada número natural n le
asigna un único número real, denotado por an . Al número an se le llama n-ésimo término de la
sucesión. También se suele denotar la sucesión a por

a = (an )n∈N = (an )∞

n=1 .

Veamos algunos ejemplos de sucesiones:

Ejemplo 1.1. La más sencilla es la sucesión constante: Todos los términos son iguales a algún K ∈ R.
Podríamos representar esta sucesión como

c = (K, K, K, K, . . . ).

Ejemplo 1.2. Otra sucesión muy conocida es la de los números naturales, que podemos representar
mediante
(1, 2, 3, 4, . . . ).
Ejemplo 1.3. En general, las sucesiones pueden ser mucho más complicadas. La siguiente sucesión F ,
conocida como los Números de Fibonacci1 , tiene propiedades muy interesantes y ha sido amplia-
mente estudiada en diversos ámbitos de la matemática. Originalmente se asoció al crecimiento de una
población de conejos. El primer término es F1 = 1. El segundo es F2 = 1. A partir de aquí cada término
se obtiene de sumar los dos anteriores. Es decir, F3 = F1 + F2 = 1 + 1 = 2, F4 = F2 + F3 = 1 + 2 = 3.
En general, Fn = Fn−1 + Fn−2 para n ≥ 3. Los primeros términos de esta sucesión son:

1, 1, 2, 3, 5, 8, 13, 21, 34, . . .

1 Fibonacci era el pseudónimo de Leonardo Pisano (1170-1250), matemático italiano que dio a conocer esta sucesión
en su libro Liber Abaci (1202).

1
Sucesiones de números reales Juan Peypouquet

Si queremos describir una sucesión, es imposible decir, uno por uno, cuáles son sus términos. En
algunos casos podemos escribir algunos términos y a partir de allí, adivinar cómo sigue la secuencia.
Esto funciona con sucesiones simples como las de los ejemplos 1.1 y 1.2. Sin embargo, en sucesiones
más complejas esta presentación no es muy práctica. Veremos otras dos maneras de describir las
sucesiones y que son más útiles en las aplicaciones:

1. Lo más conveniente es mostrar explícitamente la función. Es decir, dar una expresión que permita
conocer el valor de an a partir del número n. A una expresión de este tipo se le llama término
general. Por ejemplo, consideremos la sucesión p de los números pares, ordenados de manera
creciente: El primer número par es el 2; es decir, p1 = 2. Luego sigue el 4; p2 = 4. Después el 6;
p3 = 6. Así sucesivamente, vemos que en el lugar n estará el número 2n. Dicho de otra manera,
el término general de la sucesión es pn = 2n para n ≥ 1.
2. Lamentablemente, no siempre es posible encontrar una fórmula sencilla para el término general.
Este es el caso de los números de Fibonacci. Sin embargo, en algunos casos se puede presentar
una fórmula recursiva; una expresión que permite conocer el n-ésimo término a partir de los
anteriores. Así fue como describimos las sucesión F en el ejemplo 1.3. Cuando una sucesión esté
dada de esta forma, será necesario mencionar algunos de los primeros términos para poder usar
la fórmula. El número de términos necesarios dependerá de la complejidad de ésta. Estudiemos
de nuevo la sucesión p de los números pares. Cada término pn puede obtenerse a partir del pn−1
sumándole 2. Es decir, pn = pn−1 + 2. Pero hay muchas sucesiones que satisfacen esta relación;
por ejemplo, la de los números impares. Por ello es necesario decir también en qué número
debemos empezar. Es decir, debemos decir que p1 = 2.

Ejemplo 1.4. Consideremos la sucesión q = (2, 4, 8, 16, 32, . . . ).

Escribamos una fórmula recursiva que describa esta sucesión. En primer lugar, q1 = 2. Obser-
vemos que, a partir de allí, cada término se obtiene del anterior multiplicando por 2. Es decir,
qn = 2qn−1 .
En algunos casos, cuando se quiere encontrar una expresión para el término general, basta
utilizar la fórmula recursiva varias veces:

qn = 2 · qn−1 = 2 · (2 · qn−2 ) = 22 · qn−2

Así sucesivamente llegamos a

qn = 2n−1 q1 = 2n .

Ejemplo 1.5. Consideremos la sucesión a definida mediante la fórmula an = an−1 + n, con a1 = 1.

Encontraremos una expresión para el término general:

a1 = 1 = 1 = 1
a2 = a1 + 2 = 1+2 = 3
a3 = a2 + 3 = 1+2+3 = 6
a4 = a3 + 4 = 1+2+3+4 = 10
..
.
n(n+1)
an = an−1 + n = 1 + 2 + 3 + 4 + ··· + n = 2 .

Ejemplo 1.6. Consideremos la sucesión b definida mediante


b1 = 32
bn − bn−1 = 1−n 2
2, para n ≥ 2.

2
Sucesiones de números reales Juan Peypouquet

En este caso no es muy conveniente repetir la fórmula recursiva. Más bien, examinaremos con cuidado
la diferencia bn − bn−1 para descubrir la forma que tiene el término general. Comenzaremos por
descomponer en fracciones simples:
2
bn − bn−1 =
1 − n2
1 1
= −
n+1 n−1
   
1 1 1 1
= + − +
n+1 n n n−1
   
1 1 1 1
= + − + .
n+1 n (n − 1) + 1 (n − 1)
De ahí concluimos que
1 1 2n + 1
bn = + = 2 .
n+1 n n +n
Ejemplo 1.7. Decimos que una sucesión a es una progresión aritmética si satisface la fórmula
recursiva an = an−1 + r con a1 = c. Es decir, cada término se obtiene del anterior al sumar una
cantidad fija r, que se llama razón de la progresi’on.
El término general de una progresión aritmética es

an = an−1 + r = an−2 + 2r = an−3 + 3r = · · · = a1 + r(n − 1) = c + r(n − 1).

La sucesión p de los números pares es una progresión aritmética de razón 2 y término inicial 2.
Ejemplo 1.8. Una progresión geométrica es una sucesión g que satisface la fórmula recursiva
gn = gn−1 r con g1 = c. Es decir, cada término se obtiene del precedente al multiplicarlo por la razón
r.
Si aplicamos el mismo procedimiento usado en el ejemplo 1.4, vemos que el término general de una
progresión geométrica es gn = crn−1 . La sucesión q de dicho ejemplo es una progresión geométrica de
razón 2 y término inicial 2.

Cambio de Índice: Consideremos la sucesión de término general

√
2n+3 n + 3
an = .
(n + 3)2 + 1
√ k
Podríamos definir k = n + 3 y sería más cómodo escribir la sucesión como ak = k2k2
+1 . El problema
es que hemos desplazado en alguna forma los términos de la sucesión. Más precisamente, el primer
término no corresponde al valor k = 1, sino a k = 4, de manera que debemos tener cuidado de
especificar en qué número comienza la sucesión. Podemos escribir entonces

a = (an )∞ ∞
n=1 = (ak )k=4 .

En algunos casos, nos encontraremos con sucesiones de la forma (an )∞ n=N , con N ∈ Z y entendere-
mos que se trata de una sucesión sobre la que se ha realizado un cambio de variables como el que
mencionamos al principio del párrafo.
A la colección de todos los valores que toma la función a se le llama conjunto de puntos de
la sucesión a y se denota por Im(a) = {an }∞n=1 . Por ejemplo, consideremos la sucesión a de término
general an = (−1)n . El conjunto de puntos de a es {−1, 1}. Es importante no confundir la sucesión
a = (an )∞
n=1 , que es una función, con Im(a), que es un conjunto. La razón más evidente es que dos
sucesiones distintas pueden tener la misma imagen. El lector debe verificar esto. Por ello, no basta
conocer el conjuto de puntos para describir completamente la sucesión.

3
Sucesiones de números reales Juan Peypouquet

Decimos que una sucesión a = (an )∞ n=1 está acotada superiormente si existe M ∈ R tal que
an ≤ M para todo n ≥ 1. En este caso diremos que M es una cota superior para la sucesión. A la
menor de las cotas superiores la llamaremos supremo de la sucesión. En el Apéndice A se muestra
que toda sucesión acotada superiormente tiene supremo y éste obviamente es único.

Análogamente, se dice que a está acotada inferiormente si existe m ∈ R tal que an ≥ m para
todo n ≥ 1. Diremos entonces que m es una cota inferior para la sucesión y a la mayor de las cotas
inferiores la llamaremos ínfimo de la sucesión.

Si una sucesión está acotada superior e inferiormente, decimos que es una sucesión acotada.
Ejemplo 1.9. Consideremos las sucesiones a, b y c cuyos términos generales están dados por:
an = 10 − n, con n ≥ 0;
bn = 2n + 1, con n ≥ 1; y
cn = sen(n), con n ≥ 0.
Vemos que a está acotada superiormente pues an ≤ 10 para todo n, pero no está acotada inferiormente.
Por su parte, b está acotada inferiormente pues bn ≥ 3 para todo n, pero no está acotada superiormente.
c, en cambio, está acotada superior e inferiormente pues −1 ≤ cn ≤ 1 para todo n.
Diremos que una sucesión a es creciente si cada término es mayor que el anterior. Es decir, si
an+1 ≥ an para todo n. Si la sucesión satisface an+1 > an para todo n, entonces decimos que es
estrictamente creciente.

Ejemplo 1.10. Consideremos la sucesión de término general an = 2n /n, con n ≥ 1. Observemos que
an+1 n2n+1 2n
= = ≥1
an (n + 1)2n n+1
para todo n ≥ 1. Por lo tanto, an+1 ≥ an para todo n. De allí, la sucesión es creciente. Sin embargo,
no es estrictamente creciente pues a1 = a2 .
De manera similar, diremos que una sucesión b es decreciente si bn+1 ≤ bn para todo n y si
satisface bn+1 < bn para todo n, decimos que es estrictamente decreciente.

Ejemplo 1.11. Estudiemos la sucesión de término general bn = n2n+1 2 +n con n ≥ 1. En el ejemplo 1.6

vimos que bn − bn−1 = 1−n2 para n ≥ 2. Observamos entonces que bn+1 − bn < 0 para todo n ≥ 1 y
2

por lo tanto es decreciente. De hecho, es estrictamente decreciente.

Si una sucesión es creciente o decreciente, decimos que es monótona.
En ocasiones es difícil determinar el crecimiento de una sucesión directamente. Veremos otra he-
rramienta que será de mucha utilidad y que consiste en extender la sucesión a una función de variable
real para aprovechar algunos resultados del cálculo diferencial.
Proposición 1.1. Sea a = (an )∞ n=1 una sucesión de números reales. Supongamos que existe una
función diferenciable f : (0, ∞) −→ R tal que f (n) = an para todo n ≥ 1. Entonces
Si f ′ ≥ 0, a es creciente;
Si f ′ > 0, a es estrictamente creciente;
Si f ′ ≤ 0, a es decreciente;
Si f ′ < 0, a es estrictamente decreciente.

4
Sucesiones de números reales Juan Peypouquet

Ejercicios de la Sección 1
Ejercicio 1.1. Considere las sucesiones definidas mediante

a1 = −1/2
2
an + an−1 = 1−n 2.

y 
b1 = 0
1
bn + bn−1 = n(n+1) .
Encuentre fórmulas para los términos generales.
Ejercicio 1.2. Encuentre una fórmula para el término general:
1 2 3 4
1. 2, 3, 4, 5, ...
2. 2, 1, 2, 1 12 , 2, 1 43 , 2, 1 78 , . . .
1 1
3. 1, 1− 21
, 1− 23
, ...
1 2 3
4. 0, 22 , 3 2 , 4 2 , ...
1 3 5 7
5. 1, 4, 1, 16 , 1, 64 , 1, 256 , ...
2 3 4
6. 1, 22 −12 , 32 −22 , 42 −32 , ...
23 24 25
7. 2, 1, 3 2 , 42 , 52 , ...
1 2 4
8. 2− 12
, 3− 13
, 4− 41
, ...

sen(1) sen(2) sen(3)

9. 2 , 5 , 10 , ...
ln(2) ln(3)
10. 0, 2 , 3 , ...
1 1 1
11. 1·4 , 4·7 , 7·10 , ...
1 1 1
12. 1, 2, 3, 4, 5, 6, ...
13. 1, −1, −1, 1, 1, −1, −1, 1, 1, . . .
Ejercicio 1.3. Reescriba el término general aplicando un cambio de índice que haga que la sucesión
comience en 1.
(−1)n+5 2n
1. an = 8(n−3)3 , n ≥ 4.

3(2n+1 −n2 )
2. an = 3n+2 +3(n+1)3 , n ≥ 0.

(2n+6)3 +12 ln(n+4)

3. an = 4 , n ≥ −2.
Ejercicio 1.4. Compruebe que:

1. an = 1 − 1
n2 es estrictamente creciente.
2. an = n2n es estrictamente creciente.
n!
3. an = nn es estrictamente decreciente.

5
Sucesiones de números reales Juan Peypouquet

 1−n 
4. an = 2 es decreciente, pero no estrictamente.2

5. an = ln(n2 + 1) es estrictamente creciente.

6. an = 2n + cos(nπ) es creciente, pero no estrictamente.
a


Ejercicio 1.5. Considere la sucesión de término general an = n ln 1 + n , donde a es un número
real.

1. Suponga que a es positivo. Demuestre que la sucesión (an )∞

n=1 es creciente.

2. Usando lo anterior

n demuestre que si a es positivo, entonces la sucesión de término general
bn = 1 + na es creciente.
3. Supongamos ahora que a es negativo y denotemos por N el primer natural que es mayor que
−a. Demuestre que la sucesión (an )∞
n=N es creciente.

2. Límites de sucesiones
Dada una sucesión, es difícil predecir cuál será el valor del n-ésimo término cuando n es grande. Las
ideas que presentaremos a continuación nos permitirán conocer, en algunos casos, el comportamiento
de los términos de la sucesión a medida que el índice va creciendo. Nos interesa particularmente saber
si existe algún número real L cerca del cual se concentren los puntos de la sucesión.
Ejemplo 2.1. Consideremos la sucesión constante an = c para todo n. En este caso es muy fácil
predecir el valor que toman los puntos de la sucesión para n grande, pues todos son iguales. La
sucesión entera está concentrada en el punto c ∈ R.
Ejemplo 2.2. Consideremos la sucesión de término general an = 1/n. A medida que n crece, 1/n se
va haciendo cada vez menor. De hecho, haciendo n suficientemente grande, podemos hacer 1/n tan
pequeño como queramos. Esto nos sugiere que los an de alguna manera se concentran cerca del cero.

La siguiente definición da un sentido preciso a las ideas mostradas en los ejemplos anteriores:
Sean a = (an )∞
n=1 una sucesión de números reales y L ∈ R. Se dice que la sucesión a converge a
L cuando n tiende a infinito si para todo ε > 0 existe N ∈ N tal que

|an − L| < ε para todo n ≥ N.

En ese caso diremos que L es el límite de la sucesión a, y escribiremos

lı́m an = L.
n→∞

Si una sucesión no converge, decimos que diverge.

Ejemplo 2.3. Formalizaremos la idea intuitiva presentada en el Ejemplo 2.2 demostrando que la
sucesión de término general an = 1/n converge a cero. En efecto, sea ε > 0. Como 1/ε > 0 podemos
escoger N ∈ N tal que N > 1/ε. Tenemos entonces que para todo n ≥ N ,

1 1 1
−0 = ≤ < ε,
n n N

de donde concluimos que lı́m 1/n = 0.

n→∞
2 [[x]] denota la parte entera de x; es decir, el mayor entero que es menor o igual que x.

6
Sucesiones de números reales Juan Peypouquet

3n−sen(n)
Ejemplo 2.4. La sucesión de término general an = n converge a 3. Observemos primero que

3n − sen(n) 3n − sen(n) − 3n | sen(n)| 1

|an − 3| = −3 = = ≤ .
n n n n

Dado ε > 0, al igual que en el ejemplo anterior, podemos escoger N ∈ N tal que N > 1/ε. Entonces
tendremos que para todo n ≥ N ,
1 1
|an − 3| ≤ ≤ <ε
n N
y de allí, lı́m an = 3.
n→∞

2n
Ejemplo 2.5. Veamos ahora una aplicación práctica: Consideremos la sucesión an = n−1 . Demos-
traremos que el límite es L = 2 y encontraremos N tal que |an − L| < 0, 001 para todo n ≥ N . En
primer lugar vemos que

2n
|an − L| = −2
n−1
2
=
n−1

Dado ε > 0, podemos escoger N ∈ N tal que N > 1 + 2/ε. Tendremos entonces que 2
N −1 < ε. Por
otra parte, si n ≥ N , entonces n−1
2
≤ N 2−1 . De allí concluimos que |an − L| = n−1
2
≤ 2
N −1 < ε para
todo n ≥ N y, por lo tanto, lı́m an = L.
n→∞

Para ε = 0, 001 buscaremos el N que nos garantiza que |an − L| < ε para todo n ≥ N . Observemos
que cuando demostramos que lı́m an = 2, escogimos el N de manera que N > 1 + 2/ε. Debemos
n→∞
entonces escoger N mayor que 1 + 2/10−3 = 1 + 2 · 103 = 2001. Podemos asegurar entonces que
|an − 2| < 0, 001 para todo n ≥ 2002. Observemos que 2002 es el menor natural que nos garantiza que
|an − 2| < 0, 001 pues

4002 4002 − 4000

|a2001 − 2| = −2 = = 0, 001
2000 2000

y queremos que sea estrictamente menor que 0,001.

Observación 2.1. Los cambios de índice descritos en la sección anterior no afectan la convergencia de
una sucesión ni tampoco su límite. Por ejemplo, si sabemos que una sucesión a converge a un cierto
L, entonces, la sucesión b de término general bn = an+N con N ∈ Z también converge a L.

2.1. Operaciones con Sucesiones

Definiremos la suma de sucesiones y su producto por escalar de la siguiente manera: Sean a, b dos
sucesiones de números reales y sea λ ∈ R.
La suma a + b será la sucesión c cuyo término general viene dado por cn = an + bn . Es decir, su-
maremos las sucesiones “término a término”, al igual que hacemos con los vectores. Por ejemplo,
si a = (1, 2, 3, 4, . . . ) y b = (1, 1, 1, . . . ), entonces a + b = (2, 3, 4, 5, 6, . . . ).
De manera similar, el producto λa será la sucesión d de término general dn = λan . Por ejemplo,
si consideramos las sucesiones a y b definidas arriba, tenemos que 2a = (2, 4, 6, 8, . . . ) y
3b = (3, 3, 3, . . . ).

7
Sucesiones de números reales Juan Peypouquet

Observación 2.2. Es fácil probar que si a y b son sucesiones convergentes y λ ∈ R entonces las
sucesiones a + b y λa son convergentes. Más aun, se tiene que
lı́m (an + bn ) = lı́m an + lı́m bn
n→∞ n→∞ n→∞
y
lı́m λan = λ lı́m an .
n→∞ n→∞
Notemos que para usar esta propiedad es necesario saber de antemano que las sucesiones a y b son
convergentes.

Ejemplo 2.6. Consideremos la sucesión a = (an )∞

n=1 de término general an = 3(1 −
1
n ). De los
ejemplos 2.1 y 2.3, tenemos que
lı́m 1 = 1 y lı́m 1/n = 0.
n→∞ n→∞

Por lo tanto, h i
lı́m an = 3 lı́m 1 − lı́m 1/n = 3(1 − 0) = 3.
n→∞ n→∞ n→∞

2.2. Estudio de Convergencia

En esta sección presentaremos varios resultados que permitirán calcular límites de sucesiones o,
por lo menos, saber si dichos límites existen.
Comenzaremos por probar una condición necesaria para que una sucesión sea convergente:
Proposición 2.3. Toda sucesión convergente es acotada.
Demostración. Sean a una sucesión convergente y L su límite. Por definición, tomando ε = 1,
existe N ∈ N tal que para todo n ≥ N se tiene ue |an −L| < 1. Sea M = máx{|a1 |, |a2 |, . . . |aN −1 |, L+
1}. El máximo existe y es un número real positivo. Para 1 ≤ n ≤ N − 1 es evidente que |an | ≤ M . Si
n ≥ N entonces
|an | = |an − L + L| ≤ |an − L| + L ≤ 1 + L ≤ M.
Como −M ≤ an ≤ M para todo n, concluimos que a es una sucesión acotada. 

El recíproco de este teorema es, en general, falso. Por ejemplo, la sucesión de término general
an = (−1)n es acotada pero no es convergente.
En la mayoría de los casos, es difícil demostrar la existencia de límite a partir de la definición.
A continuación presentaremos algunos criterios que nos permitirán verificar la convergencia de una
sucesión de una manera más sencilla.
Teorema 2.4 (Teorema de Estricción o del Sandwich). Sean a, b y c tres sucesiones de números
reales tales que an ≤ bn ≤ cn para todo n ∈ N. Supongamos que a y c son convergentes y que
lı́m an = lı́m cn = L ∈ R. Entonces b también es convergente y su límite es L.
n→∞ n→∞
Demostración. Sea ε > 0. De acuerdo con la definición de límite, existen Na , Nc ∈ N tales que
|an − L|ε/3 para todo n ≥ Na y |cn − L| < ε/3 para todo n ≥ Nc . Definiendo N = máx{Na , Nc }
tenemos que |an − L| y |cn − L| son menores que ε/3 para todo n ≥ N . Por lo tanto,
|bn − L| = |bn − cn + cn − L|
≤ |bn − cn | + |cn − L|
< cn − bn + ε/3
≤ cn − an + ε/3
= |cn − L| + |L − an | + ε/3
< ε/3 + ε/3 + ε/3
= ε

8
Sucesiones de números reales Juan Peypouquet

para todo n ≥ N . 

Veamos algunas aplicaciones de este teorema:

n√
Ejemplo 2.7. La sucesión de término general an = (−1) n2 +1
n
converge a cero. Vemos que para todo
n∈N √ √
n n 1 1
|an | = 2 ≤ 2 = 3/2 ≤ .
n +1 n n n
Por lo tanto, tenemos que
1 1
− ≤ an ≤ .
n n
Ya vimos que la sucesión de término general 1/n converge a cero y por la observación 2.2 también la
sucesión −1/n converge a cero. Por el teorema anterior concluimos que lı́m an = 0.
n→∞
√
Ejemplo 2.8. Consideremos ahora la sucesión an = n2 + 1 − n, n ≥ 1. Podemos escribir el término
general como "√ #
p p n2 + 1 + n 1
n + 1 − n = ( n + 1 − n) √
2 2 =√ .
2
n +1+n 2
n +1+n
Así vemos que
1
0 ≤ an ≤ .
n
Como lı́m 1/n = 0, el Teorema de Estricción nos dice que lı́m an = 0.
n→∞ n→∞

Teorema 2.5. Sean A ⊆ R un abierto, L ∈ A y f : A −→ R una función continua. Supongamos que

a es una sucesión que converge a L. Entonces

lı́m f (an ) = f (L).

n→∞

Demostración. Sea ε > 0. Como f es continua en L, existe δ > 0 tal que si |x − L| < δ entonces
|f (x) − f (L)| < ε. Como la sucesión a converge a L existe N ∈ N tal que |an − L| < δ para todo
n ≥ N . Esto nos dice que |f (an ) − f (L)| < ε para todo n ≥ N y por lo tanto lı́m f (an ) = f (L).
n→∞


Ejemplo 2.9. Para calcular lı́m ln(1 + 1/n), notemos que lı́m 1 + 1/n = 1. Como el logartmo es
n→∞ n→∞
continuo en (0, ∞) y dicho conjunto contiene al 1, el teorema anterior nos dice que
 
lı́m ln(1 + 1/n) = ln lı́m 1 + 1/n = ln(1) = 0.
n→∞ n→∞

Ejemplo 2.10. De manera similar calculamos

r r r
n n+1−1 1 √
lı́m = lı́m = lı́m 1 − = 1 = 1.
n→∞ n+1 n→∞ n+1 n→∞ n+1

Teorema 2.6. Sean a y b dos sucesiones convergentes con lı́m an = A y lı́m bn = B. Entonces
n→∞ n→∞

lı́m an bn = AB.
n→∞

Por otra parte, si B ̸= 0, entonces

an A
lı́m = .
n→∞ bn B

9
Sucesiones de números reales Juan Peypouquet

Al igual que en la Observación 2.2, es preciso destacar que sólo es posible aplicar este Teorema si
sabemos, de antemano, que ambos límites existen.
Demostración. Observemos primero que si las sucesiones a y b convergen a A y B, respectiva-
mente, entonces para cualquier δ > 0 existen Na , Nb ∈ N tales que |an − A| < δ para todo n ≥ Na y
|bn − B| < δ para todo n ≥ Nb .

Sea ε > 0. Queremos demostrar que |an bn − AB| < ε para todo n mayor que un cierto N . Notemos
que
(an − A)(bn − B) = an bn − an B − bn A + AB
de donde
an bn − AB = (an − A)(bn − B) + B(an − A) + A(bn − B).
Por lo tanto,
|an bn − AB| ≤ |an − A| · |bn − B| + |B| · |an − A| + |A| · |bn − B|.
Luego, si escogemos δ > 0 suficientemente pequeño de manera que δ 2 + (|A| + |B|)δ < ε, tendremos
entonces que
|an bn − AB| < δ 2 + (|A| + |B|)δ < ε
para todo n mayor que el máximo entre Na y Nb .

La segunda afirmación se muestra de manera similar. Se recomienda al lector hacerla como ejercicio.


3−1/n3
Ejemplo 2.11. Calculemos lı́m 2n .
n→∞
Podemos escribir el límite anterior como lı́m 2−n (3−1/n3 ). Del Teorema 2.5 tenemos que lı́m 1/n3 =
 3 n→∞ n→∞

lı́m 1/n = 0. Luego, lı́m 3 − 1/n = 3. Por otra parte, como 0 < 1/2 < 1/n, el Teorema de
3 n
n→∞ n→∞
Estricción nos dice que lı́m 2−n = 0. Finalmente podemos concluir que
n→∞
h ih i
lı́m 2−n (3 − 1/n3 ) = lı́m 2−n lı́m 3 − 1/n3 = 0 · 3 = 0.
n→∞ n→∞ n→∞

Ejemplo 2.12. De manera similar se prueba que

s " r #
4ne1/n 4n h i
lı́m = lı́m lı́m e1/2n
n→∞ n+3 n→∞ n + 3 n→∞
r n o
4n
= lı́m exp lı́m 1/2n
n→∞ n + 3 n→∞
√
= 4 · exp{0}
= 2

pues ambos límites existen.

El siguiente resultado puede aplicarse aunque no conozcamos una expresión para el término general
y nos revela por qué es importante saber comprobar si una sucesión es monótona:
Teorema 2.7 (Teorema de Monotonía). Toda sucesión monótona y acotada es convergente.
Observación 2.8. Observemos también lo siguiente: Toda sucesión decreciente está acotada superior-
mente por su primer término, de modo que para aplicar el teorema basta verificar que esté acotada
inferiormente. De la misma forma, si una sucesión es creciente bastará comprobar que está acotada
superiormente.

10
Sucesiones de números reales Juan Peypouquet

Demostración. Sea a = (an )∞

n=1 una sucesión monótona y acotada.

• Supongamos que a es creciente. Sea ε > 0. Denotemos por A al supremo de la sucesión a, de ma-
nera que an ≤ A para todo n. Como A es la menor de las cotas superiores, existe N ∈ N tal que
A < aN + ε. De lo contrario, A − ε sería una cota superior que es menor que A, lo cual contradice la
definición del supremo. Como la sucesión es creciente, an ≥ aN para todo n ≥ N . Esto nos dice que
A − ε < an ≤ A < A + ε para todo n ≥ N y esto es equivalente a |an − A| < ε, con lo que concluimos
que la sucesión converge.

• Si a es decreciente, entonces −a es creciente y podemos aplicar lo anterior para concluir que converge.
De allí deducimos que a también converge por la Observación 2.2.


Ejemplo 2.13. Definimos la sucesión a mediante la siguiente fórmula recursiva:


a0 = 1
an = an−1 n , para n ≥ 1.

Para n ≥ 1, se tiene que 1/n ≤ 1. Por lo tanto, an ≤ an−1 y la sucesión es decreciente. Además,
como n es positivo, todos los términos tienen el mismo signo que el primero; es decir, son positivos.
Tenemos una sucesión decreciente que está acotada inferiormente por 0. El Teorema nos dice que es
convergente.
Ejemplo 2.14. Consideremos la sucesión de término general an = n2n+1 2 +n . En el ejemplo 1.11 vimos

que esta sucesión es estrictamente decreciente, por lo tanto es monótona. Como todos los términos
son positivos, la sucesión está acotada inferiormente. El Teorema de Monotonía nos dice que es con-
vergente.

Teorema 2.9 (Teorema de la Extensión Continua). Sean a una sucesión de números reales y f :
(M, ∞) −→ R una función continua. Supongamos que f satisface an = f (n) para todo n > M y que
lı́m f (x) = L ∈ R. Entonces la sucesión a es convergente y lı́m an = L.
x→∞ n→∞

La demostración es directa y por lo tanto la omitimos.

Observación 2.10. El recíproco de este teorema, en general, no es cierto. Es decir; si tenemos una
sucesión a ∈ R y una función f : (0, ∞) −→ R continua y que satisface an = f (n) para todo n ∈ N,
el hecho de que a sea convergente no garantiza que el límite lı́m f (x) exista. Construiremos un sencillo
x→∞
contraejemplo para ilustrar este hecho: Consideremos la sucesión constante a = (1, 1, 1, . . . ) y la
función f (x) = cos(2πx). Es evidente que f (n) = 1 = an para todo n ∈ N. Sin embargo la sucesión a
es convergente por ser constante mientras que el límite lı́m f (x) no existe.
x→∞

Ejemplo 2.15. Consideremos la sucesión de término general an = n2−n . Sea f (x) = x2−x . La función
f es continua y obviamente an = f (n) para todo n ∈ N. Por otra parte, aplicando la Regla de l’Hôpital
vemos que
x 1 1
lı́m f (x) = lı́m x = lı́m = 0,
x→∞ x→∞ 2 ln(2) x→∞ 2x
de donde concluimos que la sucesión es convergente y que lı́m an = 0.
n→∞

Ejemplo 2.16. Estudiemos ahora la sucesión de término general an = n sen(1/n) para n ≥ 1. Para
ello definimos la función f (x) = x sen(1/x). Esta función satisface las hipótesis del Teorema de la

11
Sucesiones de números reales Juan Peypouquet

Extensión continua y, en virtud del Límite Fundamental Trigonométrico, tenemos que

sen(1/x) sen(y)
lı́m f (x) = lı́m = lı́m = 1,
x→∞ x→∞ 1/x y→0 y
de modo que lı́m an = 1.
n→∞

Ejemplo 2.17. Estudiaremos la convergencia de la sucesión

en = (1 + a/n)n ,
donde a es cualquier número real.

Notemos primero que para n suficientemente grande,

en = exp{n ln(1 + a/n)}.
Luego, si encontramos el límite de la sucesión bn = n ln(1 + a/n), podremos usar el Teorema 2.5 para
encontrar el límite de en . Para ello, consideremos la función f (x) = x ln(1 + a/x), de manera que
f (n) = bn para todo n. Por otra parte, f es continua en (|a|, ∞) y aplicando la Regla de l’Hôpital
vemos que
ln(1 + a/x)
lı́m f (x) = lı́m
x→∞ x→∞ 1/x
a
= lı́m
x→∞ 1 + a/x
= a.
De allí, el Teorema de la Extensión Continua nos dice que lı́m bn = a y
n→∞
n o
lı́m en = lı́m exp {bn } = exp lı́m bn = ea .
n→∞ n→∞ n→∞

2.3. Sucesiones que tienden a infinito.

Hay sucesiones cuyo término general an se va haciendo cada vez más grande a medida que n
aumenta, de manera que cualquier número real, por muy grande que sea siempre será sobrepasado por
algún término de la sucesión. Este es el caso, por ejemplo, de la sucesión de los números naturales.
Las sucesiones de este tipo no pueden ser convergentes pero, en cierta forma se aproximan a ∞. Más
precisamente, diremos que una sucesión an tiende a ∞ con n si para todo M > 0 existe N ∈ N tal
que an > M para todo n ≥ N . Cuando este sea el caso, escribiremos
lı́m an = ∞.
n→∞

Con frecuencia diremos, abusando un poco de la terminología, que el límite es infinito, aunque
esto no se corresponda con la definición de límite que dimos al comienzo de la sección.

Lo primero que podemos observar es que si lı́m an = ∞ entonces lı́m 1

= 0. Sin embargo, si
n→∞ n→∞ an
una sucesión (bn )∞
n=1 converge a cero, no podemos asegurar que lı́m 1 = ∞. Para ver esto considere,
n→∞ bn
n
por ejemplo, la sucesión de término general bn = (−1/2) .
De manera similar, se dice que la sucesión bn tiende a −∞ si para cada M > 0 existe un N ∈ N
tal que bn < −M para todo n ≥ N . En ese caso escribimos
lı́m bn = −∞.
n→∞

Las sucesiones convergentes y las que tienden a ∞ tienen algunas propiedades en común, como se
puede ver en el Ejercicio 2.18.

12
Sucesiones de números reales Juan Peypouquet

Ejercicios de la Sección 2
Ejercicio 2.1. Considere las siguientes sucesiones, de término general an y límite L:
1
1. an = n y L = 0.
2. an = 1 − 2
n2 y L = 1.
3. an = rn , con r ∈ (0, 1) y L = 0.
Para cada uno de los siguientes valores de ε, encuentre el menor N tal que |an − L| < ε para todo
n ≥ N:
a) ε = 1.
1
b) ε = 10 .
1
c) ε = 1000 .

Ejercicio 2.2. Usando sólo la definición de límite, demuestre que:

3n
1. lı́m = 3.
n→∞ n−1
√
2. lı́m n
a = 1, con a > 1.
n→∞

1
3. lı́m √
3 n = 0.
n→∞
q
4n2 +1
4. lı́m 9n2 +6n+2 = 23 .
n→∞

n cos(nπ)
5. lı́m n2 +1 = 0.
n→∞


a n
Ejercicio 2.3. Demuestre que para cada a ∈ R se tiene que 1 + n ≤ ea para todo n > −a.
Ejercicio 2.4. Calcule los siguientes límites si existen:
n
1. lı́m .
n→∞ n+1

n2 +1
2. lı́mn 2 −2n+3 .
n→∞

3n2 +2
3. lı́m .
n→∞ n+4

cos(n)
4. lı́m n .
n→∞

en
5. lı́m n.
n→∞ 3

en
6. lı́m n.
n→∞ 2

en
7. lı́m 2.
n→∞ n

ln(n)
8. lı́m n .
n→∞

ln(n)
9. lı́m n2 .
n→∞

sen(n)
10. lı́m en .
n→∞

13
Sucesiones de números reales Juan Peypouquet

√
11. lı́m n
n.
n→∞
h in
2n+3
12. lı́m 3n+2 .
n→∞

(−1)n n
13. lı́m 2−(n+1) 2.
n→∞
 n
14. lı́m 1 − n1 .
n→∞
n
15. lı́m (−1)n n+1 .
n→∞
√
16. lı́m n
an + b, con a > 0.
n→∞

17. lı́m [sen( nπ

2 ) + cos(nπ)].
n→∞

18. lı́m 1
n2 [1 + 2 + 3 + 4 + · · · + n] .
n→∞
  
19. lı́m 1
n3 1 + 4 + 9 + 16 + · · · + n2 .
n→∞
n o
20. lı́m √ 1
n2 +1
+ √ 1
n2 +2
+ √ 1
n2 +3
+ ··· + √ 1
n2 +n
.
n→∞

Ejercicio 2.5. Sean a y b números positivos. Dado un número real x, denotamos por [[x]] su parte
entera. Calcule
 
1. lı́m na nb .
n→∞

a
 n 
2. lı́m b .
n→∞ n

Ejercicio 2.6. Demuestre que si an converge, entonces |an | también converge. Pruebe también, me-
diante un contraejemplo, que aunque |an | converja, no necesariamente an converge.
Ejercicio 2.7. Indique los valores de q que hacen convergentes a las siguientes sucesiones y determine
el límite L cuando exista:

1. an = q n .
2. an = nq n .
3. an = q n P (n), donde P es un polinomio.
4. an = nq ln(n).

5. an = q n ln(n).
q n −1
6. an = q n +1 .

Ejercicio 2.8. Sean a una sucesión de números reales y f : (0, ∞) −→ R una función continua.
Supongamos que f satisface an = f (n) para todo n ∈ N y que lı́m an = L ∈ R. Demuestre que si f
n→∞
es monótona, entonces lı́m f (x) = L.
x→∞

Ejercicio 2.9. Demuestre que si una sucesión an satisface lı́m a2n = lı́m a2n+1 = a, entonces
n→∞ n→∞
lı́m an = a
n→∞

Ejercicio 2.10. Probar que las siguientes sucesiones son convergentes y calcular sus límites:

14
Sucesiones de números reales Juan Peypouquet

1. a1 = −1, (n + 1)an+1 = nan para n ≥ 1.

√
2. a1 = 2, an+1 = 2 + an para n ≥ 1.
√
3. a1 = 1, an+1 = 3an para n ≥ 1.
q
4+a2n
4. a1 = 1, an+1 = 2 para n ≥ 1.
3(1+an )
5. a1 = 3, an+1 = 3+an para n ≥ 1.

6. a1 = 4, an+1 = 4 − 4
an para n ≥ 1.
an +an−1
7. a1 = 1, a2 = 12 , an+1 = 2 para n ≥ 2.
√
8. a1 = 1, a2 = 2, an+1 = an−1 an para n ≥ 2.
Ejercicio 2.11. Suponga que a es una sucesión acotada y b converge a cero. Demuestre que el límite
lı́m an bn existe y es cero.
n→∞
√
Ejercicio 2.12. Demuestre que si a y b son reales positivos, entonces lı́m n
an + bn = máx{a, b}
n→∞
π
R4
Ejercicio 2.13. Considere la sucesión de término general tn = tann (x) dx, n ≥ 1. Demuestre que:
0

1. 0 ≤ tn < tn−1 .
2. tn + tn+2 = 1
n+1 , para n ≥ 1.

3. 1
n+1 < 2tn < 1
n−1 para n ≥ 2.
4. lı́m tn = 0.
n→∞

Ejercicio 2.14. Funciones Racionales: Consideremos dos polinomios:

P (x) = p0 + p1 x + p2 x2 + · · · + pk xk

y
Q(x) = q0 + q1 x + q2 x2 + · · · + qm xm .
1. Suponga que Q no tiene raíces naturales. Encuentre condiciones sobre m y k para que la sucesión
a = (an )∞ P (n)
n=1 de término general an = Q(n) sea convergente. Calcule el límite.

2. Ahora suponga, además, que existe N ∈ N tal que P (x) y Q(x) son positivos para todo x ≥ N .
Sean r y s números racionales positivos. Diga qué relación deben satisfacer m, k, r y s para que
[P (n)]r
la sucesión a = (an )∞
n=N de término general an = [Q(n)]s sea convergente. Calcule el límite.

3. Use lo anterior para calcular:

√
n3 −2n+1
a) lı́m n2 −3 ,
n→∞
n
b) lı́m √
3 3
n −5n
,
n→∞
q√
3
n2 +2
c) lı́m n+1 ,
n→∞
√
4 2
n −2n+2
d) lı́m √5
3n3 −1
.
n→∞

15
Sucesiones de números reales Juan Peypouquet

Rn
Ejercicio 2.15. Considere la sucesión de término general an = q x dx, con q ∈ (0, 1).
0

1. Demuestre que la sucesión es estrictamente creciente.

2. Considere la partición P = {0, 1, 2, 3, . . . n} del intervalo [0, n]. Calcule la suma inferior y la
suma superior de la función f para esa partición.
3. Usando lo anterior demuestre que
1 − qn 1
q < an < .
1−q 1−q

4. Pruebe que la sucesión converge y que

q 1
≤ lı́m an ≤ .
1 − q n→∞ 1−q

5. Finalmente deduzca que para todo q ∈ (0, 1),

1−q
1 − q ≤ ln(q) ≤ .
q

Ejercicio 2.16. Sea f : [1, ∞) −→ R una función continua, decreciente y no negativa. Para cada
n ≥ 1 definimos

Sn := f (1) + f (2) + f (3) + · · · + f (n);

Zn
Tn := f (t) dt; y
1
∆n := Sn − Tn .

1. Demuestre que para todo n se cumple que f (n + 1) ≤ ∆n+1 ≤ ∆n ≤ f (1) y concluya que ∆n
converge.
2. Use lo anterior para probar que la sucesión de término general
 
1 1 1 ln(n + 1)
un = + + ··· + − ln
2 ln 2 3 ln 3 (n + 1) ln(n + 1) ln 2
es convergente.
Ejercicio 2.17. Diga, justificando, si las siguientes afirmaciones son verdaderas o falsas:
1. Si an y bn son dos sucesiones convergentes tales que an < bn para todo n, entonces lı́m an <
n→∞
lı́m bn .
n→∞

2. Toda sucesión acotada es convergente.

3. Toda sucesión convergente es [Link]ón, acotada.
4. Si an es una sucesión convergente y bn es una sucesión decreciente tal que an ≤ bn para todo n,
entonces bn es convergente.
5. Misma pregunta si en vez de decir que an es convergente, decimos que es creciente.
Ejercicio 2.18. Suponga que las sucesiones a y b tiende a infinito y que las sucesiones c y d convergen
a C > 0 y D < 0, respectivamente.

16
Sucesiones de números reales Juan Peypouquet

1. Pruebe que lı́m an + bn = lı́m an + cn = lı́m an + dn = ∞.

n→∞ n→∞ n→∞

2. Pruebe que lı́m an bn = lı́m an cn = ∞ pero lı́m an dn = −∞.

n→∞ n→∞ n→∞

3. ¿Que se puede decir sobre lı́m an y lı́m (an − bn )?

n→∞ bn n→∞

Ejercicio 2.19. Supongamos que a es una sucesión de números positivos que tiende a ∞. Sea k ≥ 0.
√ √
1. Calcule lı́m an + k − an .
n→∞

2. Calcule lı́m {(an + k)α − aα

n }, donde α < 1.
n→∞

3. Supongamos que f : (0, ∞) −→ R es una función tal que lı́m f ′ (x) = 0. Calcule lı́m {f (an +
x→∞ n→∞
k) − f (an )}.
Ejercicio 2.20. Espacios de sucesiones:
1. Demuestre que el conjunto R de todas las sucesiones de números reales (con las operaciones de
suma y producto por escalar que se definieron) es una espacio vectorial.

2. Denotemos por ℓ∞ el conjunto de las sucesiones acotadas, por C el conjunto de las sucesiones
convergentes y por C0 el conjunto de las sucesiones que convergen a cero. Verifique que

C0 ⊂ C ⊂ ℓ∞ ⊂ R

y que cada conjunto es subespacio vectorial del siguiente.

3. Para a = (an )∞ ∞
n=1 ∈ ℓ , definimos ∥a∥ como el supremo del siguiente conjunto

{|an | | n ≥ 1}.

Demuestre que la función ∥ · ∥ satisface

∥a∥ ≥ 0 para toda a ∈ ℓ∞ y ∥a∥ = 0 si, y sólo si, an = 0 para todo n.

Para todo λ ∈ R, ∥λa∥ = |λ|∥a∥.
Para a, b ∈ ℓ∞ , se tiene que ∥a + b∥ ≤ ∥a∥ + ∥b∥.
Una función con esas propiedades es una norma. Decimos entonces que ℓ∞ es un espacio
vectorial normado.

17