SUCESIONES (4)

1
Análisis 1
2017
Prof. Gustavo Franco
SUBSUCESIÓN O SUCESIÓN PARCIAL

Definición
Consideremos in  , una sucesión estrictamente
creciente cuyo recorrido A está incluido en , y
una sucesión real an  cuyo dominio contiene a A.

 
Diremos que an  in es una subsucesión o una
sucesión parcial de an  , y la notaremos ai  .n

Observación: A es un subconjunto de N no acotado superiormente.

2
Ejemplos
   
(1) Consideremos an : an  n 2 y in : in  2n,

   
ai : ai  4n 2, es una subsuc. de an .
n n
1
 
(2) bn : bn  
n
 
y jn : jn es el primo que ocupa el lugar n.

 
bj es una subsuc. de bn .
n
 
Observación
Toda sucesión es subsucesión de sí misma.

Definición
Llamaremos subsucesión no trivial de la sucesión
real  x  a toda subsucesión distinta de  x n  . 3
n
Propiedades que se transmiten de una
sucesión a sus subsucesiones:

Si una sucesión está acotada, cualquiera de

sus subsucesiones está acotada.

Discutamos un poco…
(1) Si una subsucesión de una sucesión
está acotada, ¿la sucesión está acotada?
(2) Si todas las subsucesiones no triviales
de una sucesión están acotadas, ¿la
sucesión está acotada? 4
Si una sucesión es monótona, todas sus
subsucesiones también lo son (y en el mismo
sentido).

Discutamos un poco…
(1) Si una subsucesión de una sucesión es
monótona, ¿la sucesión es monótona?
(2) Si todas las subsucesiones no triviales
de una sucesión son monótonas, ¿la
sucesión es monótona?
5
¿Cómo podemos probar que una sucesión no es
monótona?

(1) Encontrando tres términos consecutivos xn , xn 1 y xn 2

tales que xn  xn 1 y xn 1  xn 2 .

(2) Encontrando dos subsucesiones, una creciente

estrictamente y la otra decreciente.

(3) Encontrando una subsucesión no monótona.

6
 1
Consideremos las sucesiones reales: an  n  : an 
n
,

bn  : bn   1 n, cn  : cn  n   1 n y dn  : dn   1 .

n n n

Ya sabemos que an  converge, que bn  diverge

y que cn  y dn  oscilan.
(1) ¿Alguna de las subsucesiones de an  diverge?
¿Alguna oscila?
(2) ¿Alguna de las subsucesiones de bn   converge?
¿Alguna oscila?
(3) ¿Alguna de las subsucesiones de cn   o de dn   diverge?
¿Alguna converge?

7
Extraída de: Rey, M. (2012). Fichas para el curso de Análisis 1.
Lema
    
Si in  estrictamente y in    lim in  

Teorema
 
Consideremos una sucesión de números reales xn .
 
Si xn converge a a, entonces todas sus subsucesiones convergen a a.

Observación
an 1  es una subsucesión de an  , por lo tanto si an 
converge a l, entonces an 1  también converge a l.

8
Teorema
 
Consideremos una sucesión de números reales xn , y dos

   
subsucesiones de ella xi y x j que verifican que
n n

 x   a,  x   a
in jn y in   jn   D, siendo D el dominio de xn  .
 
Entonces: xn  a.

Definición
Diremos que dos subsucesiones xi   y x  de una
n jn

sucesión  x n  son complementarias, si

in   jn   D, siendo D el dominio de xn  .

Teorema
Consideremos una sucesión de números reales xn .  
xn  converge a a si, y solo si, todas sus subsucesiones 9

no triviales convergen a a.
 ver la demostración en Lages Lima p. 29
Teorema (teorema de Bolzano-Weierstrass)
Toda sucesión real tiene una subsucesión monótona.

mal este gráfico... CUIDADO!!!!

Sug.: distinguir dos casos: (1) la sucesión tiene infinitos

puntos cumbre (2) la sucesión tiene un número finito de
puntos cumbre.
10

Spivak, M. (1992). Calculus. Cálculo infinitesimal. Barcelona: Editorial Reverté.

Teorema
Consideremos una sucesión de números reales x n . 
 
Si x n está acotada, existe alguna subsucesión
de ella que es convergente. Probarlo

¿ Vale el teorema anterior si en vez de trabajar con

sucesiones reales consideráramos sucesiones racionales ?

Teorema
Consideremos una sucesión de números reales x n . 
 
Si x n no está acotada, existe alguna subsucesión
de ella que es divergente. Probarlo

Teorema
Consideremos una sucesión de números reales x n .  11

xn  diverge si, y solo si, todas sus subsucesiones no triviales divergen.
Teorema
Consideremos una sucesión de números reales xn  
y dos subsucesiones de ella xi y x j .    
n n

 
lim xi  l
n
l    
lim  x   l '

jn l '      lim xn 

l l' 


Ejemplo
1 n
  xn : xn   sen
n 4
 
Considerar x 8n 1 y x 8n    12
 opcional
MÁS ACTIVIDADES
  bn  y cn 
(1) Se consideran las sucesiones reales an ,
n
(1)i
tal que: an   , bn  a2n 1 y cn  a2n .
i 0 i !
 
Demuestra que bn / cn son un PSMC y concluye que
an  converge al límite común de bn   y cn  .
       
(2) Se considera xn tal que x 2n , x 2n 1 y x 3n
 
son convergentes. Demuestra que xn converge.

13
 LÍMITE DE OSCILACIÓN DE UNA
SUCESIÓN

Vimos que aunque una sucesión no tenga límite

podemos encontrar alguna subsucesión que sí lo
tenga (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
Consideremos una sucesión real  x n  .
Diremos que   puede ser un real,   o    es
un límite de oscilación de  x n  si existe alguna
subsucesión de  x n  que tiene límite  .
14
TEOREMA
(1) Toda sucesión de reales tiene algún límite de
oscilación.
(2) Bolzano-Weierstrass. Toda sucesión de reales
acotada tiene algún límite de oscilación real.
Probarlo

¿Vale el resultado anterior para sucesiones

racionales?

15
Encuentra alguna sucesión cuyos límites de
oscilación sean todos los naturales.

Consideremos una sucesión real xn  y    .

Prueba que  es límite de oscilación de  x n  si, y
solo si, se cumple al menos una de las dos
condiciones siguientes:
 
(1)  es la imagen según x n de un conjunto
infinito de índices.
(2) para todo entorno reducido de centro  , existe
 
algún elemento de x n que pertenece a dicho
entorno.
Recuerda
Entorno reducido de centro  y radio  :
16

   
E* ,  E ,       ,   ,    
 OTRA FORMA DE DEFINIR LÍMITE DE
OSCILACIÓN REAL

Consideremos una sucesión real  x n  .

Diremos que a   es límite de oscilación o punto

de aglomeración de  x n  , si Ea, el conjunto


H  n / n    xn  Ea, 
es infinito.

Observación

Si H C es finito, entonces xn   a. 17

 OTRA FORMA DE DEFINIR LÍMITE DE
OSCILACIÓN 
Consideremos una sucesión real  x n  .

Diremos que  es límite de oscilación de  x n  , si k  

el conjunto

H  n / n    xn  k 
es infinito.

Observación

Si H C es finito, entonces xn   . 18

 OTRA FORMA DE DEFINIR LÍMITE DE
OSCILACIÓN 
Consideremos una sucesión real  x n  .

Diremos que  es límite de oscilación de  x n  , si k  

el conjunto

H  n / n    xn  k 
es infinito.

Observación

Si H C es finito, entonces xn   . 19

LÍMITE SUPERIOR E INFERIOR
Definición
Consideremos una sucesión real  x n  .
Si  x n  está acotada, llamaremos límite inferior y
límite superior de la sucesión, al mínimo y al
máximo del conjunto de los límites de oscilación,
respectivamente, de  x n  .

Si  x n  no está acotada inferiormente, el límite

inferior es  , y si no está acotada superiormente
el límite superior es  .

Notación
límite superior de  x n  : lim x
  20
n

límite inferior de  x  : lim  x n 

n
¿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 y
límite infinito.

21
SUCESIÓN DE CAUCHY O FUNDAMENTAL

Definición

Una sucesión real  x n  es fundamental o de

Cauchy, si se verifica que cualquiera sea el real
positivo  , existe un natural p a partir del cual
todos los pares de elementos de x n  , cuyos índices
son mayores que p, distan entre sí menos que  .

Simbólicamente:

… 22
TEOREMA. CRITERIO DE CONVERGENCIA
DE CAUCHY

Toda sucesión real es convergente si, y solo si, es

una sucesión de Cauchy.

Demuestra el teorema anterior.

Sugerencia para probar el recíproco:Se adjunta ficha con
la demostración.
Dividir la demostración en dos partes:
 
(1) xn es de Cauchy  xn   está acotada
 
(2) xn es de Cauchy 

x 
in   n
  xn  a
es subsucesión de xn , tal que xi  a 
 23
CUERPOS COMPLETOS
Definición: Se dice que un cuerpo ordenado K es
completo, si toda sucesión fundamental de elementos
de K, converge hacia un elemento de K.
(p. 40)

Teorema: El cuerpo de los números racionales no es

completo.
(p. 41)

Teorema de completitud: El cuerpo de los reales

es completo.
(p. 61) 24
Linés, E. (1983). Principios de Análisis Matemático. España: Editorial Reverté.
 BIBLIOGRAFÍA

Linés, E. (1983). Principios de Análisis Matemático.

España: Editorial Reverté.

Rey, M. (2012). Fichas para el curso de Análisis 1.

Spivak, M. (1992). Calculus. Cálculo infinitesimal.

Barcelona: Editorial Reverté.

25