Vous êtes sur la page 1sur 4

51

Lmite superior e inferior


Recordemos que siendo (x n ) una sucesin real y
Decimos que es punto de aglomeracin de (x n ) (tambin llamado lmite de oscilacin)

E el conjunto

n / x n E es infinito.

Intentaremos demostrar que el conjunto de los puntos de aglomeracin de una sucesin acotada tiene mximo y
mnimo; a los que llamaremos respectivamente lmite superior e inferior.
Teorema

(x n ) una sucesion real acotada

A a / a es punto de aglomeracion de (x n )
H)
T) A tiene mximo y mnimo.
Dem:

(x n ) esta acotada
A h 1,k 1

xn
A

esta acotado h, k / x n h, k

est acotado.

Como adems A

A (Ya que toda sucesin acotada aglomera) el axioma de completitud nos


permite afirmar que ext A L ext A l

Probar que A tiene mximo equivale a demostrar que L A

E L, el conjunto
(

a)0

L
Como

n / x

E L,

Ahora

n / x

L es punto de aglomeracion de (x n )

es infinito.

E L,

L L ext A a 0 A / L a 0 L

E a , E L,

a 0 A el conjunto

E a 0 ,

es infinito

Lo que implica que L es punto de aglomeracin de (x n )

n / x

E L, es infinito

L A y como L ext A L max A

Anlogamente se demuestra que l min A .


Definicin
Consideramos (x n ) una sucesin real.
1) Si (x n ) est acotada denominamos lmite superior de oscilacin de (x n ) (lo anotamos lim x n )
al mximo del conjunto de sus puntos de aglomeracin. Y lmite inferior de oscilacin de (x n )
(que escribiremos lim x n ) al mnimo del mencionado conjunto.

lim x n max a / a es punto de aglomeracion de (x n )


lim x n min a / a es punto de aglomeracion de (x n )

2) Si (x n ) no est acotada superiormente diremos que su lmite superior de oscilacin es

51

52
3) Si (x n ) no est acotada inferiormente diremos que su lmite inferior de oscilacin es

Teorema
Consideramos (x n ) una sucesin real acotada.
Dem:

() lim x n l

A l

() lim x n lim x n l

lim x n l

max A min A l

max A min A l

lim x n lim x n l

lim x n lim x n l

A l

En otras palabras l es el nico


punto de aglomeracin de (x n )

Intentaremos probar que

(x n ) l

E l , el conjunto

E l , n 0 / n n 0 x n E l ,

n / x

E l ,

es finito. Esta ltima proposicin la demostraremos

por absurdo.
Suponemos entonces que

E l , tal que el conjunto

n / x

E l ,

es infinito. Nos podemos

E
construir entonces una subsucesin de (x n ) con los trminos de la misma que caen fuera del l , .

(y n ) subsucesin de (x n ) / y n E l , n

(y n ) est acotada (y n ) aglomera en l


Teniendo en cuenta que y n E l , n
podemos afirmar que l l Pero si l es punto de
aglomeracin de (y n ) tambin lo es de (x n ) cuyo nico punto de aglomeracin es l . Lo cual genera

Como por hiptesis (x n ) est acotada

la contradiccin buscada.
Sucesiones de Cauchy
Consideramos (x n ) una sucesin real convergente a l . Entonces la distancia entre

x n y l podemos hacerla tan chica como queramos. En consecuencia tambin lo ser entre los trminos de la
sucesin. Seamos mas precisos:

(x n ) l
Ahora

0 n 0 / n n 0 x n l

p,q / p n 0 q n 0 se cumple x p x q x p l l x q x p l l x q 2

Definicin
Consideramos (x n ) una sucesin real. Decimos que (x n ) es de Cauchy

0 n 0 ; p,q / p n 0 q n 0 se cumple

xp xq

Segn lo comentado en la introduccin parece que toda sucesin convergente es de Cauchy. Es mas, intentaremos
demostrar que:
Teorema
Consideramos (x n ) una sucesin real.
Dem:

(x n ) es de Cauchy

(x n ) es convergente

() Probemos primeramente que (x n ) est acotada. Por hiptesis (x n ) es de Cauchy


Dado 1 n 0 ; p,q / p n 0 q n 0 se cumple x p x q 1
p / p n 0 se cumple
En particular n 0 ;

x p x n0 1

1 x p x n0 1 x n o 1 x p x n0 1
52

p n 0

53
Tomando ahora

k max x 0 , x1 ,........., x n 0 1 , x n 0 1

tenemos que h x n k

h min x 0 , x1 ,........., x n 0 1 , x n 0 1

(x n ) efectivamente est acotada.

Al estar (x n ) acotada, aglomera al menos en un real que denominaremos l Probemos ahora que

(x n ) l

0 n 0 / n n 0 x n l

(x )
Como l es punto de aglomeracin de n

(x in )

(x ) l
subsucesin de (x n ) tal que in

Dado 0 n1 / n n1 x i n l
Dado 0 n 2 ; p,q / p n 2 q n 2

Adems (x n ) es de Cauchy

Tenemos que
ih n 2

x n l x n x ih xih l

y n 0 n 2 se verifica que n n 0

Si ahora tomamos

x p x q

, h n1
2
que adems verifique

x ih l
2 2
l.q.q.d.

x n l x n x ih

() Demostracin a cargo del lector. Le sugerimos tener en cuenta los comentarios hechos en la introduccin.
n

(a n ) : a n

1
i! es de Cauchy en pero no converge en dicho cuerpo. Busque adems

i 1
Ejercicio Probar que
informacin que vincule las sucesiones de Cauchy con la completitud.

Para la elaboracin de estas notas tituladas Sucesiones Reales Fueron consultados: Principios de Anlisis
matemtico de E. Lines. Anlisis Matemtico de T.Apostol. Sucesiones de R.Louro. Matemtica A para sexto
ao tomo 6-1 de A. Infantozzi. Sucesiones y Series de Yu Takeuchi y las guias de Anlisis I de J.Brisset y
L.Menendez

53

54

54

Vous aimerez peut-être aussi