Basado en el apunte del curso Cálculo (2o

semestre), de Roberto Cominetti, Martı́n

Ingenierı́a Matemática Matamala y Jorge San Martı́n.
FACULTAD DE CIENCIAS
FÍSICAS Y MATEMÁTICAS
UNIVERSIDAD DE CHILE Ingenierı́a Matemática
Cálculo Diferencial e Integral 07-2 Universidad de Chile

SEMANA 14: SERIES NUMÉRICAS Y SERIES DE POTENCIAS

Apéndice: Sucesiones de Cauchy

Recordemos:
Definición 9.2 (Sucesión de Cauchy). Una sucesión (xn ) de números reales se dice de Sucesión de Cauchy
Cauchy si
N
∀ε > 0, ∃N ∈ , ∀n, m ≥ N, |xn − xm | < ε.
El objetivo de este apéndice es probar el siguiente teorema:

Teorema 8.1. Una sucesión es convergente si y sólo si es de Cauchy.

Haremos la demostración en dos partes. Primero, probamos que

Proposición 9.1. Todas las sucesiones convergentes son de Cauchy.

Demostración. Si (xn ) es convergente, sabemos que existe ℓ tal que para todo ε > 0,
existe N , tal que para todo n ≥ N se tiene que |xn − ℓ| < 2ε . Sean n, m ≥ N entonces

|xn − xm | ≤ |xn − ℓ| + |xm − ℓ| < ε.

Luego (xn ) es de Cauchy. 

Para probar que toda sucesión de Cauchy es convergente, debemos considerar la siguiente
definición previa:
Definición 9.3 (Punto de acumulación). Sea (xn ) una sucesión y α un real. Decimos Punto de acumulación
que α es un punto de acumulación de (xn ) si, para todo ε > 0 el conjunto

{n ∈ A : |xn − α| < ε}

es infinito (no acotado superiormente).

Ejemplo 9.3.
n
La sucesión (−1) posee a −1 y 1 como puntos de acumulación. Dado ε > 0 el conjunto
N n
{n ∈ : |(−1) − 1| < ε} es el conjunto de números pares que es infinito y el conjunto
N n
{n ∈ : |(−1) + 1| < ε} es el conjunto de los números impares, que también es infinito.

125
 Ingenierı́a Matemática
Universidad de Chile
Proposición 9.2. Toda sucesión acotada posee un punto de acumulación.

Demostración. Si (xn ) es acotada existen m y M tales que para todo n ∈ A se cumple

que m ≤ xn ≤ M. En realidad, lo único que se necesita para que el teorema sea cierto, es
que el conjunto {n ∈ A : m ≤ xn ≤ M } sea infinito.
Sea u0 = m, v0 = M y w0 = m+M 2 . Si {n ∈ A : u0 ≤ xn ≤ w0 } es infinito, definimos
u1 = u0 y v1 = w0 . Si no, definimos u1 = w0 y v1 = v0 . Con estas definiciones sabemos que
el conjunto {n ∈ A : u1 ≤ xn ≤ v1 } es infinito. Además, se tiene que [u1 , v1 ] ⊆ [u0 , v0 ].
Continuando con este proceso podemos definir las sucesiones (uk ), (vk ) y (wk ) satisfaciendo
lo siguiente:
Para cada k, el conjunto {n ∈ A : uk ≤ xn ≤ vk } es infinito. La sucesión (uk ) es creciente,
la sucesión (vk ) es decreciente yT(vk − uk ) → 0. El Teorema de los Intervalos Encajonados
asegura que existe un α tal que k≥0 [uk , vk ] = {α}.
Vamos a demostrar que α es un punto de acumulación de la sucesión. Para ello sea ε > 0. El
conjunto {n ∈ A : |xn − α| < ε} contiene al conjunto V = {n ∈ A : uk ≤ xn ≤ vk } cuando
1
2k
< ε. En efecto, si uk ≤ xn ≤ vk y |vk − uk | < 21k < ε entonces, |xn − α| ≤ vk − uk . Como
V es infinito obtenemos la conclusión. 

Corolario 9.1. Una sucesión (xn ) acotada y con un único punto de acumulación l converge.

Demostración. Sea ε > 0. Por el comentario anterior el complemento del conjunto

{n ∈ A : |xn − l| < ε}

debe ser finito. De no serlo, habrı́a un punto de acumulación de la sucesión fuera del intervalo
(l − ε, l + ε) que por ende serı́a distinto de l. 

Proposición 9.3. Toda sucesión de Cauchy es acotada y posee único punto de acumulación.
En conclusión toda sucesión de Cauchy es convergente.

Demostración. Siendo (xn ) una sucesión de Cauchy, al tomar ε = 1 debe existir n0 de

modo que para todo n, m ≥ n0 |xn − xm | < 1. En particular tomando m = n0 tenemos que
para todo n ≥ n0 ,
xn0 − 1 < xn < xn0 + 1.
De modo que la sucesión es acotada y sabemos que posee al menos un punto de acumulación.
Supongamos que (xn ) tiene dos puntos de acumulación α y β, con α 6= β. Sea ε = |β−α| 3 .
Entonces, los conjuntos U = {n ∈ A : |xn − α| < ε} y V = {n ∈ A : |xn − β| < ε} son infi-
nitos y su intersección es vacı́a. Además, si n ∈ U y m ∈ V se cumple que |xn − xm | ≥ ε.
Entonces cualquiera sea n0 existen n, m ≥ n0 tales que n ∈ U , m ∈ V y |xn − xm | ≥ ε,
contradiciendo el hecho que (xn ) sea de Cauchy.
Luego, gracias al Corolario 9.1, se concluye que xn es convergente. 

Ası́, combinando este último resultado y la Proposición 9.1, se deduce el Teorema.

126