Análisis I

Sucesiones reales

FICHA 4
(Sucesiones reales y axioma de completitud)

Curso 2013
C.F.E., Departamento de Matemática, I.P.A.
Sucesiones reales, ficha 4 -2-

n n +1

En la ficha 2 de éste tema, probaste que las sucesiones a n ( ) n∈ℕ ∗


 n
1
( )
: a n =  1 +  y bn
n∈ℕ ∗
 1
: bn =  1 + 
 n
forman

un PSMC y puedes probar que su elemento de separación, el número e, es irracional.

Ahora bien, ¿qué sucede con la convergencia de las sucesiones anteriores si las consideras en ℚ y no en ℝ ? ¿Cómo
vinculas éste resultado con el axioma de completitud?

El resultado que acabas de encontrar no es el único en las sucesiones. En ésta ficha trataremos de dar cuenta de las
conclusiones fundamentales acerca del vínculo entre las sucesiones reales y el axioma de completitud. O, dicho de
otra forma, como el axioma de completitud determina que ciertos resultados sean posibles en sucesiones de reales
y no en sucesiones de racionales.

1) Intervalos encajados

Ejercicio
Representa en cada caso los intervalos definidos
 1 1   1 
1) In = − n , n  , ∀n ∈ ℕ 2) In = n , n + 1 , ∀n ∈ ℕ 3) In =  − ,  , ∀n ∈ ℕ 4) In =  0, , ∀n ∈ ℕ
 n + 1 n + 1   n + 1 
 n +2 n +2  1 1   n + 2 n + 2
5) In =  − ,  , ∀n ∈ ℕ 6) In =  − ,  , ∀n ∈ ℕ 7) In =  − , , ∀n ∈ ℕ
 n +1 n +1   n + 1 n + 1  n +1 n + 1 

Definición
Una sucesión de intervalos reales In se llama un encaje de intervalos o una sucesión de intervalos encajados si
cada uno de ellos está incluido en el anterior, esto es, si In + 1 ⊆ In , ∀n ∈ ℕ .
In

……… …………
I2

I1

I0

Ejercicio
¿Cuáles de los anteriores constituyen un encaje de intervalos? Para los que lo sean, ¿cuál es su intersección?

Teorema Principio de los intervalos encajados

Sea In( ) n∈ℕ
una sucesión de intervalos cerrados encajados ( In = [ xn , yn ] , xn ≤ yn ). Entonces se cumple:

1) la intersección de los infinitos intervalos es el intervalo cerrado I = [ x, y ] , en donde x = lim x n ( ) ( )

e y = lim y n .
2) si además las amplitudes de los intervalos tienden a 0, existe un único real que pertenece a todos los intervalos
del encaje.

( ) ( )
Demo.: para la parte 1), prueba que el par x n , y n cumple las dos primeras condiciones de la definición de PSMC.
Para la parte 2), prueba que además se cumple la tercera condición de la definición.

Observación
1) Muestra mediante algún ejemplo conveniente, que el principio de los intervalos encajados no es válido para
sucesiones en ℚ .
2) ¿Qué sucede con la intersección de todos los intervalos en el caso de que estos sean abiertos?
Dicha intersección, ¿puede ser vacía?

Análisis I, curso 2013 Instituto de Profesores “Artigas”

Sucesiones reales, ficha 4 -3-

2) Subsucesiones

Ejercicio
Sea a n ( ) n∈ℕ ∗
: an =
1
n
. Si de manera informal planteamos el recorrido de algunas sucesiones, ¿a cuáles de las

siguientes les llamarías subsucesiones de a n ? ( )

1) {x } = 1 , 31 , 51 , ..................... , ........
n
1 
, ...... , n ∈ ℕ

 1 1 1
{ }
2) y n =  , , , ..................... ,
 2 4 6
1
.......

, ...... , n ∈ ℕ ∗


{ }
3) z n
 1 1 1 1 1
= 1 , , , , ,
 2 5 6 9 10
............. ,
1
,
1
........ ........

, ......

 1 1 1 1
{ }
4) jn =  , , , , .............. ,
3 2 5 4
1
,
1
....... ......

...... , n ∈ ℕ ∗


5) pn{ } 1 1 1
3 3 3

=  , , , ........................... , n ∈ ℕ

1 1
{ } 1
6) qn =  , 1 , , 2 , , 3 ,............. ,
2 3 4
1
n +2

, n + 1 , ......... , n ∈ ℕ


Definición
Sean in ( ) una sucesión estrictamente creciente cuyo recorrido ℕ ′′ está incluido en ℕ y a n ( ) una sucesión real cuyo
dominio incluye a ℕ ′′ .
Decimos que (a n in ) es subsucesión de ( a ) n y lo anotamos a i n . ( )
Esquemáticamente: ℕ ′ →
ni
ℕ ′′ 
n
→ ℝ , siendo ℕ ′ y ℕ ′′ dominio y recorrido de in
a
( ) , respectivamente.

(a n in )

Con ésta definición, ¿cuáles de las anteriores son subsucesiones de la a n ( ) dada?

Subsucesiones con límite

Actividad
Considera las sucesiones: a n ( ) n∈ℕ ∗
: an =
1
n
( )
, bn
n∈ℕ
( )
: bn = ( − 1 ) n , cn
n

n∈ℕ
n
( )
: cn = n + ( − 1 ) n , dn
n∈ℕ
: dn = ( − 1 ) .
n

Ya hemos visto que a n ( ) converge, bn ( ) diverge , ( c ) y ( d ) oscilan.

n n

1) ¿Alguna subsucesión de a n ( ) diverge? , ¿alguna oscila?

¿Qué sucede con todas las subsucesiones de a n ? ( )

2) ¿Alguna subsucesión de bn ( ) converge? , ¿alguna oscila?
¿Qué sucede con todas las subsucesiones de (b ) ? n

3) Para ( c ) y ( d ) ¿alguna subsucesión converge?, ¿alguna diverge?

n n

¿Puedes afirmar algo acerca de todas las subsucesiones de ( c ) o ( d ) ? n n

Para probar los resultados que dedujiste en la actividad anterior, primero demostremos:

Análisis I, curso 2013 Instituto de Profesores “Artigas”

Sucesiones reales, ficha 4 -4-

Teorema
Toda sucesión real tiene alguna subsucesión monótona.

Demo.:
( )
Sea una sucesión x n . Consideremos todos los elementos de x n ( ) que son menores que todos los elementos de la
sucesión que son posteriores a él.

Es decir, los x n que cumplen la propiedad P : x n < x n′ para todos los n’ mayores que n.

Para completar la demostración, considera el conjunto de los x n que verifican la propiedad P y distingue los casos
en que ese conjunto sea infinito o finito.

A partir de lo anteriormente demostrado puedes probar:

Teorema
1) Cualquiera sea la sucesión x n ( ) de números reales, existe alguna subsucesión de ella que tiene límite (real o
infinito)
( ) es acotada entonces existe alguna subsucesión de ella que es convergente.
2) Además, si x n

3) Una sucesión ( x ) converge a un real x si y sólo si todas sus subsucesiones convergen a x.

n

4) Una sucesión ( x ) diverge si y sólo si todas sus subsucesiones divergen.

n

Notas
1) ¿Vale el teorema anterior si en lugar de trabajar con sucesiones reales consideras sucesiones de racionales?
Justifica tu respuesta.
2) Decimos que dos subsucesiones de una sucesión x n ( ) son complementarias si la unión de sus dominios coincide

con el dominio de x n . ( )
Si dos subsucesiones complementarias de x n ( ) convergen a un mismo real, ¿qué podemos decir de ( x ) ?
n

Ejercicio
La sucesión de Fibonacci y la razón áurea.
( )
Sea a n
n∈ℕ
la sucesión de Fibonacci definida por recurrencia: a0 = 1 , a1 = 1 , an + 2 = an + 1 + an , para todo n natural.
an + 1
Consideramos cn ( ) n∈ℕ
: cn =
an
.

1
a) Muestra que cn + 1 = 1 + , ∀n∈ℕ.
cn

( )
b) Muestra que c 2 n
n∈ℕ
es creciente y acotada superiormente. Calcula su límite.

c) Muestra que ( c ) 2n + 1 es decreciente y acotada inferiormente. Calcula su límite.

n∈ℕ

1+ 5
d) Deduce que cn ( ) converge a 2
.

e) Busca información acerca de la sucesión de Fibonacci, la razón áurea y su relación con fenómenos de la naturaleza
y el arte.

Aquí va una página con información en video

http://locuras-mooy.blogspot.com/2008/03/el-nmero-aureo.html

Análisis I, curso 2013 Instituto de Profesores “Artigas”

Sucesiones reales, ficha 4 -5-

Límites de oscilación de las sucesiones

Ejercicio
n +1 n π
Considera x n( ) n∈ℕ∗
{ } 2 1 3 1 4 1
: x n =  , , , , , , .......... ,
1 2 2 3 3 4 n
,
1
n +1

, ...... e

(y )
n
n∈ℕ
: y n = n sen  
 4 
Prueba que tanto x n ( ) como ( y ) n no convergen ni divergen.

Vimos que aunque una sucesión no tenga límite podemos encontrar alguna subsucesión que si lo tiene (real o infinito).
Los límites de sus subsucesiones convergentes o divergentes se llaman límites de oscilación de la sucesión dada.

Definición
( ) una sucesión cualquiera de reales.
Sea x n

Decimos que α (donde α es un real o + ∞ o − ∞ ) es un límite de oscilación de x n ( ) si se verifica que existe alguna
subsucesión de x n ( ) que tiene límite α .
Prueba que esta definición es equivalente a la condición: para cualquier entorno de α , el conjunto de los índices de
los términos que pertenecen a dicho entorno, es infinito. (Si α es + ∞ o − ∞ , ¿cuál es tu idea acerca de un entorno
de centro α ?)

De todo lo anterior, resulta:

Teorema
1) Toda sucesión de reales tiene algún límite de oscilación.
2) Bolzano – Weierstrass : Toda sucesión acotada de reales tiene algún límite de oscilación real.

Volviendo al vínculo con el axioma de completitud… ¿valen los resultados anteriores en sucesiones de racionales?

Ejercicios
1) Encuentra alguna sucesión cuyos límites de oscilación sean todos los naturales.
( ) una sucesión de reales y α
2) Sea x n un real. Prueba que α es límite de oscilación de x n ( ) si y sólo si se cumple
al menos una de las dos condiciones siguientes:
a) α es la imagen en x n ( ) de un conjunto infinito de índices.
{ }
b) para cualquier entorno reducido de centro α , algún elemento de x n le pertenece.

Límites superior e inferior

Hemos probado que cualquier sucesión x n ( ) de reales, tiene algún límite de oscilación (real o infinito).
Pensemos en primer lugar en una sucesión acotada. ¿Puede ser el conjunto C de los límites de oscilación no acotado?
¿Tiene máximo y mínimo el conjunto C?

Tus respuestas anteriores dan lugar a la siguiente

Análisis I, curso 2013 Instituto de Profesores “Artigas”

Sucesiones reales, ficha 4 -6-

Definición
( ) una sucesión de reales.
Sea x n

Si ( x ) es acotada, llamamos límite inferior y límite superior de la sucesión, al mínimo y al máximo del conjunto de
n

los límites de oscilación de ( x ) , respectivamente.

n

Si ( x ) es no acotada, el límite inferior es − ∞ y el límite superior es + ∞ .

n

Anotamos: límite superior de ( x ) : lim x , límite inferior de ( x ) : lim x .

n n n n

¿Qué sucede con los límites superior e inferior si la sucesión es acotada sólo superiormente o sólo inferiormente?

¿Qué relación hay entre la existencia de límite de una sucesión y sus límites inferior y superior? (Considera los
casos de límite real o límite infinito).

3) Sucesiones de Cauchy (o fundamentales)

Según la definición de sucesión convergente, el hecho de que una sucesión x n ( ) converja a un real x, implica que
{ }
haya elementos de x n a una distancia tan pequeña como se quiera de x, para valores de n suficientemente

{ }
grandes. Pero, si la sucesión es convergente, ¿podemos encontrar pares de elementos de x n a una distancia
entre sí tan pequeña como se quiera?.

{ }
Ahora, si podemos encontrar que pares de elementos de x n distan tan poco como queramos, ¿podemos afirmar
que la sucesión converge? Si así fuera, observemos que lograríamos una herramienta para probar la convergencia de
una sucesión independizándonos del resultado del límite. Para formalizar estas ideas, definamos y probemos.

Definición Condición de Cauchy

( ) de reales es fundamental o de Cauchy si se verifica que: cualquiera sea el real positivo ε ,
Una sucesión x n

existe un natural p a partir del cual todos los pares de elementos de {x } cuyo índice es mayor que p, distan menos
n

que ε .

En símbolos: ……………………………………………………………………………………………………………………………………………

Teorema: Criterio de convergencia de Cauchy

Una sucesión de reales es convergente si y sólo si es una sucesión fundamental.

Para la demostración del directo, plantea la tesis y la definición de límite real y …

Para el recíproco, a partir de las respuestas a las siguientes preguntas puedes armar una demostración:
1) ¿Existen sucesiones de Cauchy no acotadas?
2) Si una sucesión es de Cauchy y admite una subsucesión convergente, ¿es convergente?

Análisis I, curso 2013 Instituto de Profesores “Artigas”

Sucesiones reales, ficha 4 -7-

Ejercicios
δ δ = a , si n es par
1) Sean a y b reales dados y x n ( ) tal que x n = a +
b a b
+ + + ................. + , siendo:  .
δ = b , si n es impar
n∈ℕ 1! 2! 3! n!
Prueba que x n( ) es fundamental.
(Si no logras resolverlo, puedes encontrar su solución en Cálculo infinitesimal de una variable de Juan de Burgos)

( )
2) Sea x n
n∈ℕ∗
tal que xn = Ln, ¿es una sucesión fundamental?

Observaciones
{ }
1) En la definición de la Condición de Cauchy, ¿alcanza con que infinitos pares de elementos de x n la verifiquen
para que la sucesión sea fundamental?
Si no encuentras la respuesta,observa que en el ejercicio 2) se puede verificar que la condición de Cauchy se cumple
para n y n + 1, pero ¿la sucesión es fundamental?.

2) Finalmente, volviendo a la relación con el axioma de completitud, ¿es cierto que toda sucesión fundamental es
convergente si trabajamos con sucesiones de racionales?
Analiza la sucesión x n( )
n∈ℕ∗
tal que x1 = 1 y x n + 1 = 1 +
1
1 + xn
, ∀n ∈ ℕ ∗ .

Prueba que es una sucesión fundamental. ¿Es convergente en Q?

(Si no logras resolverlo, puedes encontrar su solución en Principios de Análisis Matemático de E. Linés)

Análisis I, curso 2013 Instituto de Profesores “Artigas”