Академический Документы
Профессиональный Документы
Культура Документы
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
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
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
n / x
E L, es infinito
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
(x n ) l
E l , el conjunto
E l , n 0 / n n 0 x n E l ,
n / x
E l ,
por absurdo.
Suponemos entonces que
n / x
E l ,
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
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
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
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