UNIVERSIDAD DE EL SALVADOR

MODALIDAD A DISTANCIA
FACULTAD DE CIENCIAS
NATURALES
Y
MATEMÁTICA
LICENCIATURA EN ENSEÑANZA
DE LA MATEMÁTICA.
ASIGNATURA: ANÁLISIS REAL

NOMBRE DE LA UNIDAD: SUCESIONES DE NÚME-

ROS REALES

OBJETIVO GENERAL: Definir las sucesiones de números

reales y el concepto de convergencia.

OBJETIVOS ESPECÍFICOS:
1. Comprender la definición de covergencia de sucesiones de números reales,

2. Establecer los teoremas de convergencia,

3. Relacionar los conceptos de sucesiones de Cauchy y convergencia,

4. Revisar los criterios de convergencia de sucesiones más conocidos.

CONOCIMIENTOS PREVIOS:
1. Conoce los números reales,

2. Intervalos abiertos en R,

3. Domina el concepto de valor absoluto.

 16

2. Sucesiones de números reales

En este capítulo iniciamos estudiando el concepto de sucesiones de números reales y límites
de éstas. Seguidamente trataremos las sumas infinitas(series de números reales) como un caso
de sucesión(sucesión de las sumas parciales) y nos interesará sobre todo, poder desarrollar
métodos que nos permitan decidir si la serie en cuestión posee límite o no, más que el hecho
(muchas veces con poco significado) de encontrar su valor límite.
Todos los conceptos de Análisis Matemático se refieren, de manera explícita o de manera
indirecta, al concepto de límite, por eso el papel central que dicho concepto desempeña.
En todo lo que se ha visto, en cursos básicos de cálculo, el concepto de límite ha jugado un
papel fundamental en la definición de continuidad, derivadas e integrales.

El concepto de límite de una sucesión real es el concepto más simple (en R).
Observación: En lo que sigue del curso se usará según sea el caso |x − a| < ε de manera
equivalente para mostrar el intervalo (a − ε, a + ε) = {x ∈ R/a < x < b}.

Definición 2.1. Una sucesión de números reales es una función x : N → R definida en

el conjunto N = {1, 2, 3, ...} (números naturales) y tomando valores en el conjunto de los
números reales.

Usualmente se usa la notación xn en vez de f (n) para el n-ésimo término de la sucesión.

Se acostumbra escribir: x1 , x2 , x3 , ..., (xn )nN o simplemente xn para indicar la sucesión x.
Observación: x(N) = {x1 , x2 , x3 , ...}, denota al conjunto de valores que toma la sucesión x.

Ejemplo 4.

xn = (−1)n , la sucesión como tal es:

x1 = −1, x2 = 1, x3 = −1, ... pero x(N) = {−1, 1}.
xn = a; ∀n, entonces: x1 = a, x2 = a, x3 = a, . . . , xk = a, . . ., luego: x(N) = {a}.
Cuando la sucesión xn fuese inyectiva, i.e, si n 6= m entonces: xn 6= xm , se dice: La sucesión
es de términos dos a dos distintos.

2.1. Sucesiones acotadas

Definición 2.2. Diremos que una sucesión xn es acotada cuando existan dos números reales:
a < b tales que a ≤ xn ≤ b; ∀nN.

Recordad: Si tomamos c = max{|a| , |b|}, entonces [a, b] ⊂ [−c, c].

Usualmente decir que xn es acotada, se describe como que existe c > 0 tal que −c ≤ xn ≤ c.
Notar a partir de lo anterior que si xn ∈ [−c, c], entonces: |xn | < c, luego decir que xn es
acotado equivale a decir: El valor absoluto de xn es acotado.

Definición 2.3. xn es acotada superiormente si existe b ∈ R, tal que xn ≤ b; ∀nN.

16
2.2 Subsucesiones 17

Definición 2.4. xn es acotado inferiormente si existe a ∈ R, tal que a ≤ xn ; ∀n ∈ N.

Ejemplo 5.

1
. xn = n
es acotada.

. xn = − n1 es acotada.

. xn = (−1)n es acotada.

. xn = 2n es acotada inferiormente pero no es acotada superiormente.

2.2. Subsucesiones
Definición 2.5. Sea xn una sucesión en R, una subsucesión de xn es una restricción los
números naturales (N0 ⊆ N), donde N0 = {n1 < n2 < n3 < ... <}.

Se escribe (xnk )kN para indicar a la subsucesión x0 = x | N0 (x restringido a N0 ).

Ejemplo 6.

. N 0 = {2, 4, 6, . . .}, la subsucesión x2n , nN de los pares

. N ∗ = {1, 3, 5, . . .}, la subsucesión x2n−1 , nN de los impares

Notar que N = N0 N∗ y además: N0 N∗ = ∅.

S T
Observación: Siendo estrictos x0 no es una sucesión ya que ésta por definición debe tener a
N como dominio, sin embargo si se tiene la función:

1 → xn 1
2 → xn 2
..
f: .
m → xnm
..
.
Se ve claramente que adopta la definición de sucesión.

2.3. Sucesiones monótonas

Definición 2.6. Diremos que la sucesión xn es creciente si m > n implica que xm > xn .
Definición 2.7. Diremos que la sucesión xn es decreciente si m > n implica que xm < xn .
Definición 2.8. Si m > n implica que xm ≥ xn , diremos que xn es no decreciente.
Definición 2.9. Si m > n implica que xm ≤ xn , diremos que xn es no creciente.

17
2.3 Sucesiones monótonas 18

Definición 2.10. En general para referirnos a cualquier caso de los anteriores diremos que
xn es una sucesión monótona.

Observación: Notar que cualquier sucesión no creciente es acotada superiormente por su

primer término.
Observación: Cualquier sucesión no decreciente es acotada inferiormente por su primer
término.

Teorema 4. Para que una sucesión monótona sea acotada, es necesario y suficiente que
posea una subsucesión acotada.

Demostración:
Sea xn no creciente:

1. xn será acotado por su primer término.

2. Sea xnk una subsucesión acotada, recordar que por definición de subsucesión que dado
nN, siempre existe kN tal que nk > n.

Luego xn ≥ xnk ≥ c ⇒ xn > c, y por lo tanto: c < xn < x1 .

Análogamente para los otros casos de monotonía, se concluye la prueba. 

Ejemplo 7.

. xn = n; no es acotada, es creciente (solo tiene cota inferior).


0, n par
. xn =
1, n impar
es acotada, no es monótona (x(N) = {0, 1}).

. xn = n1 ; es acotada, es decreciente.
n+1
. xn = [1+(−1)
2
]n
; la sucesión va 1, 0, 3, 0, 5, 0, 7, . . .; es acotada inferiormente por cero y
no es monótona

. Analizando los casos de xn = an

1. a = 1; ⇒ x = 1, ∀n
es constante, acotada y monótona.
2. a = −1 ⇒ xn = (−1)n , ∀n

1, n par
⇒ xn =
−1, n impar

es acotada, no monótona

18
2.3 Sucesiones monótonas 19

3. 0 < a < 1, se multiplica a < 1 por an

⇒ an+1 < an
⇒ n + 1 > n,pero xn+1 < xn
luego, es acotada y decreciente.
4. −1 < a < 0, an cambia a positivo si n es par y an es negativo si n es impar.
Luego, es acotada, no es monótona.
5. ¿Como se puede ver que si a > 1 entonces an es no acotada?
Sea a = 1 + h, luego por desigualdad de Bernoulli: an > 1 + nh
b−1
, dado b ∈ R+ , basta tomar un n > h
luego: nh > b − 1 i.e nh + 1 > b
y por Bernoulli: an > 1 + nh > b, en este caso la sucesión es creciente.
6. a < −1, an no es monótona (cambia según la paridad de n) y tampoco acotada.
. Sea a ∈ R, con 0 < a < 1, se define la sucesión xn así xn = 1 + a + a2 + · · · + an , es
creciente, para ver que es acotada notar que:
1 − an+1 1
xn = ; 0 < xn <
1−a 1−a
1
en particular si a = 2
⇒ 0 < xn < 2
.
1 1 1
xn = 1 +
+ + ··· +
1! 2! n!
Claramente es creciente, para ver que es acotada, notar que:
1 1 1
xn < 1 + 1 + + 2 + · · · + n+1
2 2 2
luego:
1 1 1
+ 2 + · · · + n+1 < 1 ⇒ xn < 3
2 2 2
.  n
1
xn = 1 +
n
Por binomio de Newton:
1 n(n − 1) 1 n(n − 1)(n − 2) · · · 2 · 1 1
x∗n = 1 + n + · 2 + ··· + + · n
n 2! n n! n
es decir:
    
1 1 1 1 2
xn = 1 + 1 + 1− + 1− 1− + ···+
2! n 3! n n
    
1 1 2 n−1
+ 1− 1− · ··· · 1 −
n! n n n
⇒ xn es creciente (se suman términos positivos), de lo anterior: x∗n < 3 y x∗n < xn

19
2.4 Sucesiones recursivas 20

2.4. Sucesiones recursivas

Ejemplo 8.

x1 = 0, x2 = 1
1
⇒ xn+2 = (xn + xn+1 ); n = 1, 2, 3, . . .
2
¿Es monótona, es acotada? Si es acotada pero no es monótona; subsucesiones de pares e
impares:

x1 = 0
1 1
x3 = 1 − =
 2 2  
1 1 1 1 1
x5 = 1− + − = +
2 4 8 2 8
     
1 1 1 1 1 1 1 1
x7 = 1− + − + − = + +
2 4 8 16 32 2 8 32
..
.
1 1 1 1 1
x2n+1 = + + 2
+ 3
+ ··· +
2 (2)(4) (2)(4) (2)(4) (2)(4)n−1
 
1 1 1 1
= 1 + + 2 + · · · + n−1
2 4 4 4

Analizando los términos pares e llega a:

 
1 1 1
x2n = 1 − + + · · · + n−1
4 42 4

Por lo tanto 0 ≤ xn ≤ 1, es acotada.

Observación: Notar que la subsucesión de términos pares es decreciente, la subsucesión
de términos impares es creciente. Entonces xn no es monótona.

2.5. Sucesiones convergentes

Definición 2.11. Sea xn una sucesión de números reales, diremos que xn converge al valor
` denotado por:
lı́m xn = ` o xn → `
n→∞

Si y sólo si ∀ε > 0, ∃n0 ∈ N tal que |xn − `| < ε siempre que n ≥ n0 , o de manera equivalente:
Si y sólo si ∀ε > 0, ∃n0 ∈ N tal que n ≥ n0 implica que |xn − `| < ε.

Ejemplo 9.

20
2.5 Sucesiones convergentes 21

√
Analizando: xn = n
n
√
1
x1 = 1
√
2
x2 = 2
√
3
x3 = 3
..
.
√
¿Cómo se puede probar que xn = n
n es monótona decreciente?
√ √
n
n > n+1 n + 1???
Si y sólo si:
1 1
n n > (n + 1) n+1
Si y sólo si:
n+1
n n > n+1
nn+1 > (n + 1)n ⇒ nn n > (n + 1)n
1
Luego, multiplicando por nn
: n 
n+1
n>
n
lo demás se ve por inducción
√ (n ≥ 3). Esta sucesión es monótona y acotada, más adelante se
probará que lı́mn→∞ n = 1.
n

Recordad: xn → ` si y sólo si ∀ε > 0, ∃n0 N tal que si n ≥ n0 entonces |xn − `| < ε.

Ejemplo 10.
1
Sea xn = , probemos que xn → 0.
n  
1  1
Dado  > 0, existe n0 ∈ N tal que si n > n0 , entonces |xn −0| < , pero |xn − 0| =  − 0 = ,
n n
1 1 1
luego < , si y sólo si < n, luego basta tomar n0 > .
n  
Teorema 5. Si la sucesión xn converge a `, este límite es único

Demostración:
Si xn → a, dado  > 0,∃n1 tal que si n > n1 ⇒ |xn − a| < ε/2
Si xn → b, dado  > 0,∃n2 tal que si n > n2 ⇒ |xn − b| < ε/2
Sea M = max{n1 , n2 }, si n > M :
⇒ |a − b| = |a − xn + xn − b|
≤ |a − xn | + |xn + b|
ε ε
≤ +
2 2
= ε
⇒ |a − b| < ε, ε > 0.
Si y sólo si a − b = 0, por lo tanto a = b. 

21
2.5 Sucesiones convergentes 22

Corolario 1. Sea xn una sucesión convergente a `, entonces cualquier subsucesión xnk tam-
bién converge a `

Demostración:
Para que xnk → ` hay que ver que ∀ε > 0, ∃nk0 ∈ N tal que si nk > nk0 ⇒ |xnk − `| < ε.
Sabemos que xn → `
⇒ ∀ε > 0, ∃n0 ∈ N tal que si n > n0 ⇒ |xn − `| < ε.
Dado cualquier n > n0 , existe un nk0 > n > n0
⇒ |xnk − `| < ε, siempre que nk > nk0
Luego xnk → `. 

Observación: Si se tienen dos subsucesiones de una sucesión que tienden a dos puntos
distintos entonces la sucesión no es convergente.
Resultado: Sea xn una sucesión convergente a `, entonces ∀kN fijo, la sucesión xn+k , tam-
bién converge a `:
Notar que xn+k así definida es una subsucesión de una sucesión convergente y por lo tanto
converge al mismo valor por el teorema anterior.
Teorema 6. Toda sucesión convergente es acotada.

Demostración:
xn → a si y sólo si: ∀ε > 0, ∃n0 N tal que si n > n0 ⇒ |xn − `| < ε
A partir de n0 en adelante, todo xn pertenece al intervalo [` − ε, ` + ε], x1 , x2 , x3 , . . . , xn0 son
los únicos que no podrían estar en el intervalo.
Si c = min{x1 , x2 , x3 . . . , xn0 } y d = max{x1 , x2 , x3 . . . , xn0 }
Tomando a = min{c, d, ` − ε, ` + ε} y b = max{c, d, ` − ε, ` + ε}
Tenemos que xn [a, b], ∀nN, luego xn es acotada. 

Observación: El recíproco de este teorema no es cierto, ejemplo: (−1)n

Teorema 7. Toda sucesión monótona acotada es convergente.

Demostración:

1. Sea xn una sucesión no creciente y acotada ⇒ x1 ≥ x2 ≥ x3 ≥ . . .

De entrada es acotada superiormente por x1 e inferiormente por hipótesis:
Sean: a = sup{x1 , x2 , x3 , . . .} y b = inf {x1 , x2 , x3 , . . .}
Dado ε > 0, por el teorema del supremo y del ínfimo si se le quita un poquito al
supremo, ya no será supremo, lo mismo para el ínfimo (cuando se le agrega).
Luego existe un n tal que xn > a − ε y existe un n0 tal que xn0 < b + ε
Como xn es acotada, es acotada inferiormente (posee ínfimo):

22
2.5 Sucesiones convergentes 23

Sea c = inf {x1 , x2 , x3 , . . .}, probemos que xn → c

Dado ε > 0, por propiedades del ínfimo: c + ε ya no es cota inferior de {x1 , x2 , x3 , . . .},
luego existe n0 N tal que xn0 < c + ε, como la sucesión es monótona no creciente, si
n > n0 se tiene que xn ≤ xn0 < c + ε, por otro lado xn ≥ c (porque c es ínfimo). Luego
xn ≥ c − ε, ∀n.
De lo anterior: ∀n > n0 se tiene que xn (c − ε, c + ε); entonces: |xn − c| < ε, siempre
que n > n0 , por lo tanto xn → c

2. Sea xn una sucesión no decreciente y acotada, sea s = sup{x1 , x2 , x3 , . . .}, probemos

que xn → s
Dado ε > 0, por propiedades del supremo s − ε ya no es supremo de {x1 , x2 , x3 , . . .},
entonces: ∃n0 N tal que xn0 > s − ε
Como la sucesión es monótona no decreciente: n > n0 → xn ≥ xn0 > s − ε; por otro
lado: xn ≤ s por ser el supremo, luego: xn ≤ s + ε, ∀n.
De lo anterior: ∀n > n0 se tiene que xn (s − ε, s + ε)⇒ |xn − s| < ε siempre que n > n0 ,
por lo tanto xn → s. 

Corolario 2. Si xn es una sucesión monótona y se encuentra una subsucesión xnk → `,

entonces xn → `.

Demostración:
Ya se probó que para que una sucesión monótona sea acotada, es necesario y suficiente que
posea una subsucesión acotada.
Por ser xnk convergente, es acotada y por lo tanto xn es acotada, luego xn será monótona y
acotada por lo que converge. 

Ejemplo 11.

1
lı́mn→∞ n
=0
   
∀ε > 0, ∃nk0 N tal que si n > n0 entonces  n1 − 0 =  n1  < ε
1
Luego n
< ε si y sólo si n > 1ε , por lo que basta tomar n0 > 1ε .

Ejemplo 12.

1, 0, 2, 0, 3, 0, . . .
n+1
Claramente x2n = 0 y x2n−1 = 2
, por lo que no converge.

Ejemplo 13.

xn = an , casos:
Si 0 < a < 1 , −1 < a < 0, converge.
Si 1 < a , a < −1, diverge.

23
2.5 Sucesiones convergentes 24

x n = an ; 0 < a < 1
a, a2 , a3 , . . . es una sucesión decreciente, luego converge a su ínfimo (cero)
lı́mn→∞ an = 0; 0 < a < 1, esto es ∀ε > 0, ∃n0 N tal que si n > n0
⇒ |an − 0| = |an | < ε para 0 < a < 1

Teorema 8. lı́mn→∞ |an | = 0 ⇔ lı́mn→∞ an = 0

Demostración:
“ ⇐ ” Hay que probar que si lı́mn→∞ an = 0 ⇒ lı́mn→∞ |an | = 0
Por hipótesis ∀ε > 0, ∃n0 N tal que si n > n0 ⇒ |an − 0| = |an | < ε ⇒ ||an | − 0| < ε
“ ⇒ ” Hay que probar que si lı́mn→∞ |an | = 0 ⇒ lı́mn→∞ an = 0
Por hipótesis ∀ε > 0, ∃n1 N tal que si n > n1 ⇒ ||an | − 0| = |an | < ε ⇒ |an − 0| < ε. 
Teorema 9. lı́mn→∞ xn = 0 y yn es acotada, entonces: lı́mn→∞ xn yn = 0

Demostración:
Hay que probar que ∀ε > 0, ∃n0 N tal que si n > n0 ⇒ |xn yn − 0| = |xn yn | < ε.
Como yn es acotada, existe una constante c > 0 tal que |yn | < c.
Hipótesis: ∀ε > 0, ∃n0 N tal que si n > n0 ⇒ |xn | < ε/c.

⇒ |xn yn | = |xn | |yn |

≤ |xn | c
ε
< c
c
< ε.


Ejemplo 14.

Si 0 < a < 1, xn = 1 + an + a2 + . . . + an
1 − an+1
xn =
1−a
Usando lo anterior:
1 − an+1 1
lı́m =
n→∞ 1 − a 1−a
Ejemplo 15.

 
1 1 1 1
x2n−1 = 1 + + 2 + · · · + n−1
2 4 4 4

24
2.5 Sucesiones convergentes 25

 n 
1 − ( 14 )n
  
1 2 1
= = 1−
2 1 − 14 3 4
Usando el ejemplo anterior:   n 
2 1
x2n−1 = 1−
3 4
Se probará que
2
x2n−1 →
3
 
 2 
∀ε > 0, ∃n0 N tal que si n > n0 ⇒ x2n−1 − <ε
3
     n  
 2  2 1 2 
⇒ x2n−1 − =  1 − − 
3 3 4 3
  n  
2  1 
= 1 − − 1
3 4 
  n 
2  1 
= − , tomando yn = 2/3 y xn = (−1/4)n → 0 ⇒ todo → 0
3  4 
= 0<ε

Por otro lado,

 
1 1 1
x2n = 1− + 2 + · · · + n−1
4 4 4
  n 
4 1
= 2− 1−
3 4
Probaremos que
2
x2n →
3
 
 2 
∀ε > 0, ∃n0 N tal que si n > n0 ⇒ x2n − <ε
3
     n  
 2   4 1 2 
⇒ x2n − = 2 −
 1− − 
3 3 4 3
   n 
4 4 1 
=  − 1− 
3 3 4 
   n 
4  1 
= 1 − 1 − 
3 4 
  n 
4  1 
= = 0 < ε, si n → ∞
3 4 
Por lo tanto la sucesión xn con x2n−1 y x2n dadas como antes, es convergente.
Ejemplo 16.

25
2.6 Propiedades aritméticas de los límites: 26

xn = sen(nx)
n
→ 0; ∀x ∈ R Fijando an = sen(nx)
n
⇒ yn = 1
n
→ 0 y como |sen(nx)| ≤ 1 es
acotada, por lo anterior:
sen(nx)
xn = an yn = → 0; ∀x ∈ R
n

2.6. Propiedades aritméticas de los límites:

Teorema 10. Supongamos que lı́mn→∞ xn = a y lı́mn→∞ yn = b , entonces:

1. lı́mn→∞ (xn + yn ) = a + b
2. lı́mn→∞ (xn yn ) = ab
xn
3. lı́mn→∞ yn
= ab ; b 6= 0

Demostración:

1. Como xn → 0: ∀ε > 0, ∃n1 N tal que si n > n1 ⇒ |xn − a| < ε/2

Como yn → b: ∀ε > 0, ∃n2 N tal que si n > n2 ⇒ |yn − b| < ε/2
Por otro lado:

|(xn + yn ) − (a − b)| = |(xn − a) + (−yn + b)|

≤ |xn + yn | + |yn − b|
< ε/2 + ε/2 ; siempre que n > max{n1 , n2 }
= ε

Observación: Notar que xn → a ⇔ (xn − a) → 0.

2. Notar que:

xn yn − ab = xn yn − xn b + xn b − ab
= xn (yn − b) + b(xn − a)
= 0 + 0, por la observación anterior

Luego |xn yn − ab| < ε, la expresión tiende a cero.

b2
3. Notar que si yn → b ⇒ yn b → b2 , por (2), luego ∃n0 N tal que yn b > 2
1 2 1
Luego nos interesa: yn b
< b2
es decir la sucesión yn b
es acotada.
Notar que:
xn a xn b − yn a
− =
yn b yn b
1
= (xn b − yn a)
yn b
→ 0, por (1) y porque yn está acotada.

26
2.6 Propiedades aritméticas de los límites: 27

Ejemplo 17.
√
Probar que n
a → 1; cuando a ≥ 1

1. a = 1 caso trivial.
1
2. a > 1 : xn = a n que es una sucesión decreciente y acotada inferiormente.
1 1
⇒ lı́mn→∞ xn = a n = inf {a n : nN} ≥ 1
1
3. 0 < a < 1 : xn = a n es creciente y acotada superiormente.
1 1
⇒ lı́mn→∞ xn = a n = sup{a n : nN} ≥ a

En los dos ultimos casos la sucesión es convergente, considerar la subsucesion:

1 1 1 1
a n(n+1) : a 2 , a 6 , a 12 , . . .
1 1
1 1 1
− n+1 an lı́mn→∞ a n `
Sea ` = lı́m a n(n+1) = lı́m a n = lı́m 1 = 1 = =1
n→∞ n→∞ n→∞ a n+1 lı́mn→∞ a n+1 `
Ejemplo 18.
√
n
n→1
√
Es decreciente a partir del tercer término y es acotado, luego existe: ` = lı́mn→∞ n
n
1
Consideremos la subsucesión x2n = (2n) 2n
√
Sea ` = lı́mn→∞ 2n 2n, por (2) del teorema anterior, se puede multiplicar por si mismo.
 1
2 1 √
√
Luego `2 = lı́mn→∞ (2n) 2n = lı́mn→∞ (2n) n = lı́mn→∞ n 2 (lı́mn→∞ n n) por ejemplo
√ √
anterior: lı́mn→∞ n 2 = 1 y suponemos que lı́mn→∞ n n = `

⇒ `2 = 1` ⇔ ` = 0 o ` = 1 ⇒ ` = 1

Observación: Notar que decir que xn → a, significa que xn ∈ (a − ε, a + ε), siempre que
n > n0 , para algún n0 ∈ N y ∀ε > 0.
Lo anterior significa que la imagen inversa: x−1 (a − ε, a + ε)
es igual a: {n ∈ N : xn ∈ (a − ε, a + ε)}
Luego, la idea es demostrar que una subsucesión xnk tiene limite a si y sólo si:
∀ε > 0, el conjunto x−1 (a − ε, a + ε) = {n ∈ N : xn ∈ (a − ε, a + ε)} es infinito.

Teorema 11. Sea xnk una subsucesión de xn , a es el límite de xnk si y sólo si ∀ε > 0, existe
una infinidad de índices n tales que xn ∈ (a − ε, a + ε).

27
2.6 Propiedades aritméticas de los límites: 28

Demostración:
“ ⇐ ” H: xnk → a, T: xn ∈ (a − ε, a + ε)
Como xn → a. por definición: ∀ε > 0, ∃n0 N tal que si n > n0 ⇒ |xn − a| < ε.
Sea N0 = {n1 , n2 , . . .} el conjunto de los subíndices de la subsucesión.
Claramente hay infinitos índices nk mayores que n0 , luego: xnk (a − ε, a + ε).
“ ⇒ ” H: ∀ε > 0, existe una infinidad de índices n tales que xn (a − ε, a + ε)}
T: xnk → a
Utilizando la inducción:
En particular para ε = 1, 1/2, 1/3, . . .

1. En (a − 1, a + 1) hay infinitos xn , se toma un xn1

2. En (a − 1/2, a + 1/2) hay infinitos xn , se toma un xn2

..
.

Tomando xni en (a − 1/i, a + 1/i), con esta construcción más la hipótesis: {n ∈ N : xn ∈

1 1
(a − 1+i , a + 1+i )} es infinito, tenemos que:
1 1


existe ni+1 mayor que n1 , n2 , n3 , . . . , ni , luego tomo un xni+1 ∈ a − i+1 , a + i+1
Claramente: |xni − a| < ε, ∀i, lo que significa que: xi → a
⇒ El conjunto de subíndices es: {n1 < n2 < n3 < . . . < ni }. 

Definición 2.12. Diremos que a es punto límite de una sucesión xn , si existe una subsucesión
xnk tal que xnk → a, (también es usual decir que a es valor de adherencia de xn ).

Ejemplo 19.

xn = (−1)n , encontrar sus puntos límite

x2n = 1 ⇒ x2n → 1
x2n−1 = −1 ⇒ x2n → −1

xp con p, primo ⇒ xp → −1, luego: Conjunto limite={−1, 1}

Observación: Si xn es una sucesión convergente, digamos xn → a, ¿cuáles son sus puntos

límites?, Solamente {a}, ya que todas las subsucesiones de xn convergen al mismo valor a.

Definición 2.13. Diremos que a es punto límite de una sucesión xn , si existe una subsucesión
xnk tal que xnk → a, también se dice que a es valor de adherencia de xn .

Ejemplo 20.

Si xn = n, ¿cuáles son sus puntos límites?, Es el conjunto vacío: ∅, notar que todas las sub-
sucesiones de ésta sucesión son no convergentes, esto se debe a, como veremos más adelante,

28
2.6 Propiedades aritméticas de los límites: 29

que la sucesión no es acotada.

Probamos en lo que sigue que si xn es acotada, entonces el conjunto de puntos límites es

distinto del vacío.
Sea xn una sucesión acotada, entonces tiene sentido definir ∀nN:
an = inf {xn , xn+1 , xn+2 , . . .}
bn = sup{xn , xn+1 , xn+2 , . . .} así por ejemplo:

a1 = inf {x1 , x2 , x3 , . . .}
a2 = inf {x2 , x3 , x4 , . . .}
a3 = inf {x3 , x4 , x5 , . . .}
..
.

Claramente a1 ≤ a2 ≤ a3 ≤ . . ., es una sucesión monótona no decreciente y acotada (porque

xn lo es), luego converge a su supremo.
En este caso, sea a = lı́mn→∞ an ; éste es llamado límite inferior de xn , denotado por: a =
lı́m inf xn
Analizamos bn :

b1 = sup{x1 , x2 , x3 , . . .}
b2 = sup{x2 , x3 , x4 , . . .}
b3 = sup{x3 , x4 , x5 , . . .}
..
.

(recordad: A ⊂ B entonces supA ≤ supB)

Claramente b1 ≥ b2 ≥ b3 ≥ . . ., luego es convergente a su ínfimo.
En este caso, sea b = limn→∞ bn , este b es llamado límite superior de xn y se denota por:
b = lı́m sup xn
Observación: Es claro a partir de la construcción que:
a = lı́m inf xn ≤ b = lı́m sup xn , en todo conjunto A, inf A ≤ supA.
Con esto se probará que si xn es un a sucesión acotada, es conjunto de puntos límites, con-
tiene al menos al lı́m inf xn y al lı́m sup xn .

Teorema 12. Sea xn una sucesión acotada, entonces lı́m inf xn es el menor punto límite de
xn y lı́m sup xn es el mayor punto límite de xn .

Demostración:
Primero probaremos la observación anterior, es decir probar que lı́m inf xn es efectivamente
un punto límite de xn .

29
2.6 Propiedades aritméticas de los límites: 30

Sea a = lı́m inf xn , recordar que a = lı́m inf an y an = inf {xn , xn+1 , xn+2 , . . .}.
Dado ε > 0, ∃n0 tal que si n1 > n0 , entonces: a − ε < an1 < a + ε
(an1 = inf {xn1 , xn1+1 , . . .}), es decir a + ε no es cota inferior de {xn1 , xn2 , xn3 , . . .}.
Luego ∃n > n1 tal que an1 ≤ xn < a + ε, es decir ∀n > n1 , xn (a − ε, a + ε) por el teorema
anterior existe una subsucesión xnk → a
Falta mostrar que si c < a, no existe una subsucesión xnk → c
Como tenemos que a = lı́m inf an y hemos supuesto que c < a, existe algún subíndice n0 N
tal que c < an0 ≤ a (esto es por propiedad arquimideana de los reales).
Por definición: an0 = inf {xn0 , xn0 +1 , . . .}, entonces se n > n0 implica que :
c < an0 ≤ xn , tomando ε = an0 − c, entonces c + ε = an0 , luego en el intervalo (c − ε, c + ε)
no hay ningún xn con n > n0 .
Es decir por lo anterior que no puede existir ninguna subsucesión tal que: xnk → c. De manera
análoga para lı́m sup xn . 

Corolario 3. Teorema de Bolzano-Weirsstrass: Toda sucesión acotada de números reales

posee una subsucesión convergente.

Demostración:
Por ser acotada existen lı́m inf xn y lı́m sup xn , basta aplicar el teorema anterior. 

Teorema 13. Una sucesión acotada xn es convergente si y sólo si:

lı́m inf xn = lı́m sup xn .

Demostración:
“ ⇒ ” Si xn converge, todas sus subsucesiones convergen al mismo valor.
“ ⇐ ” Tenemos que lı́m inf xn = lı́m sup xn
Sean a = lı́m inf xn = lı́m sup xn = b, dado ε > 0, ∃n0 N tal que:
a − ε ≤ an0 ≤ a ≤ bn0 ≤ a + ε
luego si tomamos n > n0 , implica que:an0 ≤ xn ≤ bn0 ;
dado que: an0 = inf {xn0 , xn0 +1 , . . .} y bn0 = sup{xn0 , xn0 +1 , . . .}
luego n > n0 implica:
a − ε < an < a + ε y por lo tanto: xn → a. 

Teorema 14. Sea f : R → R, f es continua en a ∈ R, si y sólo si, para toda sucesión

xn → a se cumple que f (xn ) → f (a).

Demostración:
“ ⇒ ” H: f es continua en a y xn → a; T: f (xn ) → f (a)
Como f es continua en a: ∀ε > 0, ∃δ > 0 tal que si |x − a| < δ ⇒ |f (x) − f (a)| < ε, co-
mo xn → a, para δ > 0, existe n0 N tal que si n > n0 entones |xn − a| < δ por lo que
|f (xn ) − f (a)| < , ie f (xn ) → f (a).
“ ⇐ ” H:f (xn ) → f (a) si xn → a; T: f es continua en a.

30
2.7 Sucesiones de Cauchy 31

Denotemos por Df , el dominio de definición de f . Supongamos que f no es continua en a,

esto significa que existe  > 0, tal que |x − a| < δ, pero |f (x) − f (a)| > , ∀δ > 0.
Particularmente ésto se cumple para los valores sucesivos de δ = 1, 12 , 31 , · · · , n1 · · · , se puede
construir una sucesión xn , así: para cada n ∈ N, se toma xn ∈ Df ∩ (a − n1 , a + n1 ), por lo
dicho, claramente xn → a pero f (xn ) 6→ f (a). 

A partir del teorema anterior se tiene el siguiente resultado:

Corolario 4. Si an y bn son dos sucesiones convergentes a a y b, respectivamente, siendo

a > 0, entonces (an )bn → ab

A partir de la siguiente definicón, encontraremos un método que nos permite decidir si la

sucesión es convergente, aunque no encontremos su valor de convergencia.

2.7. Sucesiones de Cauchy

Definición 2.14. Sea xn una sucesión de números reales, diremos que xn es sucesión de
Cauchy si ∀ε > 0, ∃n0 ∈ N tal que si m, n > n0 ⇒ |xn − xm | < ε.

Teorema 15. Si xn es convergente, es de Cauchy.

Demostración:
Sea xn → a
∀ε > 0, ∃n0 ∈ N tal que si n > n0 ⇒ |xn − a| < ε/2
∀ε > 0, ∃n0 ∈ N tal que si m > n0 ⇒ |xm − a| < ε/2

Luego: |xn − xm | = |xn − a + a − xm |

≤ |xn − a| + |a − xm |
< /2 + /2
= .

Observación: Si m, son suficientemente grandes ellos están muy cerca entre si, mientras
que, cuando decimos que xn → ` los puntos de la sucesión se acercan al valor fijo `.

Teorema 16. Toda sucesión de Cauchy es acotada.

Demostración:
H:∀ε > 0, ∃n0 N tal que si m, n > n0 ⇒ |xn − xm | < ε
T:∃c > 0 tal que |xn | < c
Si tomo ε = 1, debe existir n1 N tal que si m, n > n1 ⇒ |xn − xm | < 1
En particular si tomo m = n1 : |xn1 − xn | < 1 lo que equivale a:
xn  (xn1 − 1, xn1 + 1), notar que todos los elementos de la sucesión están contenidos en el
conjunto:

31
2.7 Sucesiones de Cauchy 32

S = {x1 , x2 , . . . , xn1 } ∪ (xn1 − 1, xn1 + 1)

Sea α = minS y β = maxS, claramente xn [α, β] y por lo tanto la sucesión de Cauchy es
acotada. 

Teorema 17. Sea xn una sucesión de Cauchy. Si xnk es una subsucesión de xn , tal que
xnk → `, entonces la sucesión misma xn converge a ` también.

Demostración:
Sea ε > 0 dado, ∃n0 N tal que si m, n > n0 ⇒ |xn − xm | < ε y además |xn − xn0 | < ε
Como xnk → `, existen infinitos valores de xn en (` − ε, ` + ε), entonces existe n1 > n0 tal
que |xn1 − `| < ε

Luego: |xn − `| = |xn − xn1 + xn1 − `|

≤ |xn − xn1 | + |xn1 − `|
< /2 + /2
=  ; por lo que xn → `

Teorema 18. Toda sucesión de Cauchy es convergente (en R).

Demostración:
Por teorema de Bolzano: Toda sucesión acotada, posee al menos una subsucesión convergente,
por teorema anterior, las sucesiones de Cauchy son acotadas, luego tienen alguna subsuce-
sión convergente, luego por el último teorema la sucesión misma converge (al mismo valor). 

Observación: Métodos para saber si una sucesión converge:

1. Monótonas acotadas.

2. Que sea de Cauchy.

3. Encontrar su valor de convergencia (sólo casos triviales,la mayoría de las veces es com-
plicado).

Ejemplo 21. Caso particular de sucesiones de Cauchy:

Sea 0 ≤ λ < 1, supongamos que la sucesión xn satisface la propiedad:
|xn+2 − xn+1 | ≤ λ |xn+1 − xn | , ∀nN
Entonces xn es de Cauchy y por lo tanto converge

Demostración:

32
2.7 Sucesiones de Cauchy 33

Notar que:

|x3 − x2 | ≤ λ |x2 − x1 |
|x4 − x3 | ≤ λ |x3 − x2 |
≤ λ2 |x2 − x1 |
..
.
|xn+1 − xn | ≤ λn−1 |x2 − x1 |

Para ver que es de Cauchy, dado ε > 0, ∃n0 N tal que si m, n > n0 ⇒ |xn − xm | < ε, m =
n + p, p ≥ 1

|xn+p − xn | ≤ |xn+p − xn+p−1 + xn+p−1 . . . − xn |

≤ λn+p−2 + λn+p−3 + . . . + λn−1 |x2 − x1 |

= λn−1 λp−1 + . . . + λ + 1 |x2 − x1 |

1 − λp
 
n−1
= λ |x2 − x1 |
1−λ
λn−1
≤ |x2 − x1 |
1−λ
Es decir
λn−1
|xm − xn | ≤ |x2 − x1 | < ε
1−λ
ya que
λn−1
lı́m |x2 − x1 | = 0
n→∞ 1 − λ

se sigue que xn es sucesión de Cauchy.

Ejemplo 22.

Sea xn construida así:

1
x1 = 1, xn+1 =
3 + xn
Probar que es de Cauchy y hallar su valor de convergencia
Desarrollo:

33
2.7 Sucesiones de Cauchy 34

1 1 4 1 13 1 43
x1 = 1 , x2 = 4
, x3 = 3+ 14
= 13
, x4 = 4
3+ 13
= 43
, x5 = 3+ 13
= 142
43

 
1  3
|x2 − x1 | =  − 1 =
4 4
 
4 1 3
|x3 − x2 | =  −  =
13 4 52
 
 13 4  3
|x4 − x3 | =  −  =
43 13 559
1
Sea λ =
13
1 3
|x3 − x2 | = |x2 − x1 | =
13 52
 2
1 3
|x4 − x3 | = |x2 − x1 | =
13 676
 3
1
|x5 − x4 | = |x2 − x1 |
13

(Obtener el caso general!)

La sucesión es de Cauchy por el teorema anterior, luego converge, de donde tiene sentido
suponer que xn → `, se resuelve:
1
` = 3+` ⇒ `2 + 3` − 1 = 0.
√
−3 + 13
⇒`=
2
¿Porqué se descarta la otra raíz?

Ejemplo 23.

1
Sea xn construida así: x1 = 1, xn+1 = 1 + , n = 1, 2, 3, . . .
1 + xn
probar que es convergente y calcular `.

  
 1 1 
|xn+1 − xn | = 1 + − 1+ 
 1 + xn 1 + xn−1 
 
 1 1 
=  −
 1 + xn 1 + xn−1 


|xn − xn−1 |
=
(1 + xn )(1 + xn−1 )
1
≤ |xn − xn−1 |
4

34
2.8 Limites al infinito 35

Es de Cauchy, luego es convergente

1
⇒`=1+
1+`
⇒ (` − 1)(` + 1) = 1
√
`2 − 1 = 1 ⇒ ` = 2

2.8. Limites al infinito

Definición 2.15. Sea xn una sucesión de números reales, diremos que xn tiende a (más)
infinito, si para todo número real A > 0, ∃n0 N tal que xn > A, ∀n > n0 .

Observación: Notar que si xn → ∞, cualquier subsucesión de esta también tiende a ∞.

Ejemplo 24.

lı́m np = ∞
n→∞
np puede verse como una subsucesión de xn = n..
Ejemplo 25.

Verificar: √
lı́m p
n=∞
n→∞

Notar que 1 , 2 , 3 , . . . , (2 ) , . . . , (3p )1/p , . . .

1/p 1/p 1/p p 1/p

Como (2p )1/p = 2 y (3p )1/p = 3, en general tenemos que:

tiene una subsucesión: 1, 2, 3, . . . → ∞.

2.9. Operaciones con límites al infinito

Teorema 19. .

1. Si lı́mn→∞ xn = ∞ y yn es acotada inferiormente entonces:

lı́m (xn + yn ) = ∞
n→∞

2. Si xn → ∞ y existe c > 0 tal que yn > c, ∀nN, entonces:

xn yn → ∞

3. Sea xn > 0, ∀nN, entonces:

1
lı́m xn = 0 ⇔ lı́m =∞
n→∞ n→∞ xn

35
2.9 Operaciones con límites al infinito 36

4. Sean xn y yn sucesiones de números positivos, entonces

a) Si existe c > 0 tal que xn > c, ∀nN y si yn → 0 entonces:

xn
→∞
yn

b) Si xn es acotada y yn → ∞, entonces:
xn
→0
yn

Indeterminaciones:

1. Si xn → ∞, yn → −∞, ¿xn + yn = ∞ − ∞ =?
√ √
◦ Ejemplo: xn = n + 1 y yn = − n
√ √
⇒ xn − y n = n+1− n
√ √ √ 
√  n+1+ n
= n+1− n √ √
n+1+ n
1
= √ √ →0
n+1+ n

◦ Ejemplo: Si xn = n2 y yn = −n

⇒ xn − y n = n 2 − n
= n(n − 1) → ∞

◦ Ejemplo: xn = n y yn = (−1)n + n

⇒ xn − yn = n − ((−1)n − n)
= −(−1)n

converge a -1, si n es par y a 1 si n es impar.

2. Si an → 0 y bn → ±∞ ⇒ an bn = 0 ∗ (±∞)

3. Si an → 0 y bn → 0; an → ∞ y bn → ∞ Si xn = n + 1 y yn = n − 1, entonces
an
⇒ →1
bn
Mientras si xn = n2 y yn = n, entonces
an
⇒ →∞
bn
an
Encuentra un caso en el que el límite de bn
no exista
Ejemplo 26.

36
2.10 Orden de magnitud 37

xn = (2 + (−1)n )n , yn = n
xn
= 2 + (−1)n → Oscila
yn
Ejemplo 27.

Probar que si p es fijo:

an
lı́m → ∞ , con a > 1
n→∞ np
Como a > 1 ⇒ a = 1 + h; h > 0
Si p=2 ⇒ an = (1 + h)n
n(n − 1) 2
= 1 + nh + h + ···
2
n(n−1) 2
an 1 + nh + 2
h + ···
⇒ =
n2 n2

an 1 h (n − 1)h2
≥ + + + ···
n2 n2 n 2!n
Si se fija an = (1 + h)n , se desarrolla el binomio hasta el p + 1 término. De allí se puede
probar que:
np
→0
an
Ejemplo 28.

n!
→∞
an
Existe (por la infinitud de N) n0 N tal que na0 > 2, tomando k = n0 !
an0
fijo.
Notar que ∀n > n0 se tiene para n = n0 + p, (n − p = n0 ):
n! n0 n0 + 1 n0 + 2 n0 + p n0 + 1 n0 + 1 n
n
= n0 ··· >k · · · > k2n−n0
a a a a a a a a
n0 n−n0
ya que a
> 2, notar que lı́m k2 → ∞, de donde
an
=→ 0
n!

2.10. Orden de magnitud

Dadas dos sucesiones divergentes, diremos que bn es un infinito de orden superior al de an ,
denotado por an << bn , si:
an bn
lı́m =0⇔ →∞
n→∞ bn an
Notar que lo anterior significa que |an | < |bn | para n suficientemente grande.
log(n) << np << an << a! << nn

37
2.10 Orden de magnitud 38

Ejemplo 29.

Probar que:  
n! 1 (2)(3) · · ·
→ 0, en efecto: →0
nn n n · n···
Más indeterminaciones:

1. Si an → 1 y bn → ∞, (an )bn → 1∞ , en particular: si an = 1, ∀n y bn → ∞ ⇒ abnn → 1

2. an → 0 y bn → 0, abnn : 00

3. an → ∞ y bn → 0, abnn ∞0

Definición 2.16. Diremos que dos sucesiones an y bn son equivalentes, si:

an an
lı́m = 1, es decir →1
n→∞ bn bn
se denota por: an ∼ bn .

Teorema 20. Sean an , bn , cn sucesiones de números reales, si an ∼ bn entonces:

1. Si existe lı́mn→∞ an cn también existe lı́mn→∞ bn cn y son iguales.

cn cn
2. Si existe lı́mn→∞ an
también existe lı́mn→∞ bn
y son iguales.

El resultado anterior permite sustituir una sucesión por otra equivalente en el cálculo de
límites de un producto o de un cociente.
Algunas sucesiones equivalentes:
1. Si an → 0
an ∼ sen(an ) ∼ sen−1 (an )
tan(an ) ∼ an ∼ tan−1 (an )
(1 + an )λ − 1 ∼ λan
ean − 1 ∼ an
ln(1 + an ) ∼ an
2. Si an → 1
log(an ) ∼ an − 1 , en particular:
√ 1
n
a − 1 ∼ ln(a) , ∀a > 0
n
3. √  n n
n! ∼ 2πn , Fórmula de Stirling
e

38
2.11 Algunos criterios de convergencia de sucesiones 39

2.11. Algunos criterios de convergencia de sucesiones

Teorema 21. Criterio de Stolz: Sea an una sucesión de números positivos tal que
lı́m a1 + a2 + a3 + · · · + an = +∞
n→∞

bn
, y sea bn una sucesión tal que lı́m . Entonces
n→∞ an

b1 + b2 + b 3 + · · · + bn
lı́m =L
n→∞ a1 + a2 + a3 + · · · + an

Demostración:  
bn  bn  
Como lı́m = L, dado  > 0, existe n0 ∈ N tal que  − L < , ∀n > p0 .
n→∞ an an 2(p0 + k)
Por otro lado
 
 b 1 + b2 + · · · + bn  1
 a1 + a2 + · · · + an − L ≤ a1 + a2 + · · · + an |b1 + b2 + · · · + bn0 − (a1 + a2 + · · · + an0 )L|
 
    
1  bn0 +1   bn 
+ an0 +1  − L + · · · + an  − L
a1 + a2 · · · + an an0 +1 an
1 (n0 + k)
< |b1 + b2 + · · · + bn0 − (a1 + a2 · · · + an0 )L| +
a1 + a2 · · · + an 2(n0 + k)
como lı́m a1 + a2 + · · · + an = +∞, ∃ n > n0 , tal que
n→∞
2
a1 + a2 + · · · + an > |b1 + b2 + · · · + bn0 − (a1 + a2 · · · + an0 )L|, ∀n > n0 ,

por tanto
1 
< , ∀n > n0
a1 + a2 · · · + an 2|b1 + b2 + · · · + bn0 − (a1 + a2 · · · + an0 )L|
regresando a la expresion anterior
1 (n0 + k)
|b1 + b2 + · · · + bn0 − (a1 + a2 · · · + an0 )L| + <
a1 + a2 · · · + an 2(n0 + k)
 
|b1 + b2 + · · · + bn0 − (a1 + a2 · · · + an0 )L| + = .
2|b1 + b2 + · · · + bn0 − (a1 + a2 · · · + an0 )L| 2


Lo anterior prueba los siguientes corolarios, se invita al lector a escribir las breve demos-
traciones de manera formal.
Corolario 5. Sea an una sucesión monotona divergente, lı́m an = ∞, si existe una sucesión
n→∞
bn − bn−1 bn
bn tal que lı́m = L, entonces lı́m = L.
n→∞ an − an−1 n→∞ an

Corolario 6. Criterio de la Media Aritmética: Sea an una sucesión de números reales y

consideremos la sucesión de sus medias aritmeticas
n
1X a1 + a2 + · · · + an
bn = Ck = , ∀n ∈ N
n k=1 n

39
2.11 Algunos criterios de convergencia de sucesiones 40

si an → L, entonces bn → L.

Corolario 7. Criterio de la Media Geométrica: Sea an√una sucesión de números reales tal
que an > 0, ∀n ∈ N. Si lı́m an = L > 0, entonces lı́m n a1 ∗ a2 ∗ · · · ∗ an = L
n→∞ n→∞

Ejemplo 30.

Determinar la relación entre a y b tales que:

 3n+a  bn
n+a n+3
lı́m = lı́m
n→∞ n+1 n→∞ n+2

Primero se buscará a e en cada uno de los límites, teniendo en cuenta que:

1
e = lı́m (1 + an ) an , cuando an → 0
n→∞

3n+a
  3n+a
n+a a−1
⇒ lı́m = lı́m 1 +
n→∞ n+1 n→∞ n+1
 n+1 a−1 (3n+a)
a − 1 ( a−1 )( n+1 )

a−1
⇒ lı́m 1 + = lı́m e( n+1 )(3n+a)
n→∞ n+1 n→∞

Como ex es una función contínua:

3n+a
⇒ elı́mn→∞ ( n+1 )(a−1) = e3(a−1)

Luego
 bn  bn
n+3 1
lı́m = lı́m 1 +
n→∞ n+2 n→∞ n+2
1
  n+2 (n+2)bn
1
= lı́m 1 +
n→∞ n+2
1
= elı́mn→∞ n+2 bn
= eb (1)

⇒ e3(a−1) = eb ⇒ b = 3(a − b) , que es la relación pedida.

40