1

Sucesiones

Definición 1 Una sucesión de números reales es una función f : N → R. La relación f (n) = x se

abrevia como xn y la sucesión se indica como (xn )n∈N o sólo como (xn ).
Dada la sucesión (xn ) diremos que es

ˆ Acotada sii existe M > 0 tal que |xn | ≤ M para cada n ∈ N.

ˆ Acotada superiormente sii existe u ∈ R tal que xn ≤ u para cada n ∈ N.

ˆ Acotada inferiormente sii existe v ∈ R tal que v ≤ xn para cada n ∈ N.

ˆ Convergente sii existe L ∈ R tal que para cada ϵ > 0 existe N tal que |xn − L| < ϵ para cada
n ≥ N . También se dice que (xn ) converge a L o que L es el lı́mite de (xn ).

ˆ Divergente sii no es convergente.

ˆ Propiamente divergente. En este caso se dirá que diverge propiamente a ∞ sii para cada r > 0
existe N ∈ N tal que r < xn para cada n ≥ N . O que diverge propiamente a −∞ sii para cada
s < 0 existe N ∈ N tal que xn < s para cada n ≥ N .

ˆ Creciente sii xn ≤ xn+1 para cada n ∈ N y estrictamente creciente sii xn < xn+1 para cada
n ∈ N. De forma análoga se define una sucesión decreciente y esrictamente decreciente.

ˆ es de Cauchy si para cada ϵ > 0 existe N ∈ N tal que

|xn − xm | < ϵ, ∀n, n ≥ N.

Proposición 2 Toda sucesión convergente es acotada.

Demostración Si (xn ) coverge a x, entonces existe N ∈ N tal que |xn − x| < 1 para cada n ≥ N .
Luego |xn | − |x| < 1 para cada n ≥ N , o equivalentemente, |xn | < 1 + |x| para cada n ≥ N . De esta
forma definiendo M = max{1 + |x|, |x1 |, . . . , |xN −1 |} se tiene que |xn | ≤ M para todo n ∈ N.
q.e.d.

Proposición 3 Suponga lim xn = L y lim yn = M . Entonces

1. lim xn ± yn = L ± M .

2. lim xn yn = LM .
xn L
3. Si yn ̸= 0 para cada n ∈ N y M ̸= 0. Entonces lim = .
yn M

Demostración

1. Veremos que lim (xn + yn ) = L + M . Dado ϵ > 0 existen N1 , N2 ∈ N tales que

ϵ ϵ
|xn − L| < , ∀n ≥ N1 y |yn − M | < , ∀n ≥ N2 .
2 2
2

Si N = max {N1 , N2 }, entonces

ϵ ϵ
|xn − L| < y |yn − M | < , ∀n ≥ N.
2 2
Usando la desigualdad del triángulo tendremos que

|(xn + yn ) − (L + M )| = |xn − L + yn − M | < |xn − L| + |yn − M | < ϵ, ∀n ≥ N.

2. Veremos que lim xn yn = LM . Como xn converge a L, la Proposición 2 mostró que xn es acotada;

es decir, existe P > 0 tal que |xn | ≤ P para cada n ∈ N. Por hipótesis, dado ϵ > 0 existen
N1 , N2 ∈ N tales que
ϵ
|xn − L| < , ∀n ≥ N1
P + |M |
y
ϵ
|yn − M | < , ∀n ≥ N2 .
p + |M |
Por lo que n ≥ N = max {N1 , N2 } implica
ϵ ϵ
|xn | |yn − M | + |M | |xn − L| < P + |M | .
P + |M | P + |M |
Ası́ que

|xn yn − LM | ≤ |xn yn − xn M + xn M − LM | = |xn | |yn − M | + |M | |xn − L| < ϵ,

para cada n ≥ N.
1 1 |M |
3. Mostraremos que lim = . Como M ̸= 0 se tiene 2 > 0 y existe N1 ∈ N tal que
yn M
|M |
|yn − M | < , ∀n ≥ N1 .
2
Como |M | − |yn | ≤ |yn − M |, entonces
|M |
|M | − |yn | < , ∀n ≥ N1 .
2
Por lo tanto,
|M |
< |yn | , ∀n ≥ N1 .
2
1 2
Luego < , para cada n ≥ N1 . Ası́ que
|yn | |M |
1 2
|yn − M | < 2 |yn − M | , ∀n ≥ N1 .
|yn | |M | |M |
Por otra parte, dado ϵ > 0 existe N2 ∈ N tal que
2
|M | ϵ
|yn − M | < , ∀n ≥ N2 .
2
Sea N = max {N1 , N2 }, usando las dos desigualdades anteriores tendremos:
 
1  2
2 |M | ϵ
 − 1 = 1
|y − M | <
2
|y − M | < = ϵ,
 yn M  |yn | |M |
n
|M |
2 n
|M |
2 2
 3

para cada n ≥ N ; es decir,  

1 
 − 1  < ϵ, ∀n ≥ N.
 yn M

Por lo tanto, usando lo de arriba y el inciso anterior tendremos

xn 1 1 L
lim = lim xn = L= .
yn yn M M

q.e.d.

Proposición 4 Sean lim xn = L y lim yn = M .

1. Si existe N ∈ N tal que xn ≥ 0 para cada n ≥ N , entonces L ≥ 0.

2. Si existe N ∈ N tal que xn ≤ yn para cada n ≥ N , entonces L ≤ M .

Demostración

1. (Contradicción) Suponga que existe N ∈ N tal que xn ≥ 0 para cada n ≥ N y L < 0. Como
−L > 0 existe N1 ∈ N talque |xn − L| < −L para cada n ≥ N1 . Por lo tanto, xn < 0 para cada
n ≥ N1 . Lo cual es falso.

2. Ejercicio: Sugerencia: use la sucesión (yn − xn ).

q.e.d.

Teorema 5 (Criterio de compresión) Sea (an ) una sucesión y sean lim xn = L = lim yn tales que
existe N ∈ N con xn ≤ an ≤ yn para cada n ≥ N , entonces lim an = L.

Demostración. Dado ϵ > 0 existe N ∈ N tal que

|xn − L| < ϵ, |yn − L| < ϵ, ∀n ≥ N.

Entonces
−ϵ < xn − L < ϵ, −ϵ < yn − L < ϵ, ∀n ≥ N.

Por lo tanto,
L − ϵ < xn < L + ϵ, L − ϵ < yn < L + ϵ, ∀n ≥ N

y
L − ϵ < xn < an < yn < L + ϵ, ∀n ≥ N

implica que
|an − L| < ϵ, ∀n ≥ N.

q.e.d.

Proposición 6 Toda sucesión creciente y acotada superiormente converge a su supremo.

4

Demostración. Por la propiedad del supremo existe α = sup {xn |n ∈ N}. Por una caracterización del
supremo y de que la sucesión es creciente tendremos que dado ϵ > 0 existe N ∈ N tal que para cada
n ≥ N se cumple α − ϵ < xN ≤ xn ≤ α < α + ϵ. Luego α − ϵ < xn < α + ϵ para cada n ≥ N ; es
decir, −ϵ < xn − α < ϵ para cada n ≥ N . En conclusión |xn − α| < ϵ, ∀n ≥ N .
q.e.d.
Ejercicio: 1) Muestre que si (xn ) es decreciente y acotada inferiormente, entonces converge a su ı́nfimo.
2) ¿Por qué los enunciados:
Toda sucesión estrictamente creciente y acotada superiormente converge.
Toda sucesión estrictamente decreciente y acotada inferiormente converge.
son consecuencia de lo mostrado arriba?

Definición 7 Dada una sucesión (xn ) y una sucesión estrictamente creciente de números naturales
(nk )k∈N . Entonces la subsucesión de (xn ) determinada por (nk ) es (xnk )k∈N .

Proposición 8 Toda sucesión converge L ∈ R si y sólo si cualquier subsucesión de (xn ) converge a

L.

Demostración. (⇐ , suficiencia) Como la sucesión es también subsucesión de sı́ misma entonces

converge.
(⇒, necesidad) Sea lim xn = L y sea (xnk )k∈N una subsucesión de (xn ). Por lo tanto, ϵ > 0 existe
N ∈ N tal que
|xn − L| < ϵ, ∀n ≥ N. (1)

Sabemos que (nk ) es estrictamente creciente. Suponga que (nk ) es acotada superiormente de un
resultado anterior sabemos que lim nk = sup{nk | k ∈ N} = α. Ası́ que dado ϵ = 1 existe k ′ ∈ N
tal que α − 1 < nk′ . Luego α < nk′ + 1 ≤ nk′ +1 . Lo cual es falso. Ası́ que (nk ) no es acotada
superiormente. Por lo tanto existe k ′′ ∈ N tal que N < nk′′ < nk para cada k ≥ k ′′ y de (1) se
concluye
|xnk − L| < ϵ, ∀k ≥ k ′′ ;

es decir, lim xnk = L.

k→∞
q.e.d.

Definición 9 Dada una sucesión (xn ) un término xm de ésta es llamado pico si xm ≥ xn para cada
natural n ≥ m.

Dada una sucesión (xn ) un término xm de esta es llamada pico si xm > xn para cada n > m.

Teorema 10 (Teorema de Bolzano-Weirerstrass) Toda sucesión acotada tiene una subsucesión con-
vergente.

Demostración. Tenemos dos casos:

1. Si (xn ) tiene una cantidad finita de picos. Sea N ∈ N tal que xn no es pico para cada n ≥ N .
Sea n1 > N como xn1 no es pico existe n2 > n1 tal que xn1 ≤ xn2 . Dado que n2 > n1 , se tiene
que xn2 no es pico. Luego existe n3 > n2 tal que xn2 ≤ xn3 .
 5

Sucesivamente sea nk > nk−1 como xnk no es pico existe nk+1 > nk tal que xnk ≤ xnk+1 . De
esta se forma sea encuentra una subsucesión (xnk ) que es creciente y acotada superiormente.
Por un resultado anterior sabemos que es convergente.

2. Si existe una cantidad infinita de picos. Sea

A = {n ∈ N | xn es pico}

Luego A ⊂ N y es infinito. Sea n1 ∈ A el primer elemento de A (Propiedad del buen orden de

N) y sea n2 el primer elemento de A \ {n1 }. Como n1 < n2 y xn1 es pico entonces xn1 > xn2 .
Sea n3 el primer elemento de A \ {n1 , n2 } como xn2 es pico y n3 > n2 se tiene que xn2 > xn3 .
De esta manera sea nk el primer elemento de A \ {n1 , . . . , nk−1 } y como xnk−1 es pico tendremos
xnk−1 > xnk . Ası́ encontramos la subsucesión (xnk ) que es estrictamente decreciente y acotada
inferiormente. Por lo tanto, (xnk ) converge.

q.e.d.

Proposición 11 Toda sucesión de Cauchy es acotada.

Demostración. Dado ϵ = 1, existe N ∈ N tal que |xn − xm | < 1, para cada n, m ≥ N .

En particular m = N implica
|xn − xN | < 1, ∀n ≥ N ;

Como |xn | − |xN | ≤ |xn − xN | tenemos

|xn | < 1 + |xN |, ∀n ≥ N.

Definiendo k = max {1 + |xN |, |x1 |, |x2 |, . . . , |xN −1 |} se tiene |xn | ≤ M, ∀n ∈ N.

q.e.d.

Teorema 12 ( de Cauchy) Una sucesión es convergente si y sólo si es de Cauchy.

Demostración. (Necesidad) Si lim xn = L, entonces dado ϵ > 0 existe N ∈ N tal que

ϵ
|xn − L| < , ∀n ≥ N,
2
ϵ
|xm − L| < , ∀m ≥ N.
2
Luego
|xn − xm | = |(xn − L) − (xm − L)| ≤ |xn − L| + |xm − L| < ϵ, ∀n, m ≥ N.

(Suficiencia) Sea (xn ) una sucesión de Cauchy por la proposición anterior (xn ) es acotada, del Teorema
de Bolzano-Weierstrass existe (xnk ) subsucesión de (xn ) que es convergente. Sea L ∈ R tal que

lim xnk = L.
k→∞

Dado ϵ > 0, existen N1 , N2 ∈ N tales que

ϵ
|xnk − L| < , ∀k ≥ N1
2
6

y
|xn − xm | < ϵ, ∀n, m ≥ N2 .

Sea N = max {N1 , N2 }. Note que nN ≥ N . Ası́ que haciendo m = nN tendremos

ϵ ϵ
|xn − L| ≤ |xn − xnN | + |xnN − L| < + = ϵ,
2 2
para cada n ≥ N .
q.e.d.
Falta información de series alternantes: