Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Quinto Semestre
Análisis Matemático I
Actividades
Unidad 2.
Sucesiones y Continuidad
Clave
05143528/06143528
Alumna
Yazmin Guadalupe Castillo Ortiz
1. Pruebe que una sucesión {an} en un espacio métrico tiene a x como punto de
acumulación si y sólo si existe una subsucesión de {an} que converge a x.
Sea {xn} n ∈ N una sucesión en el espacio métrico X. Consideremos una sucesión {nk} k ∈ N
estrictamente creciente de números naturales, es decir, nk < nk+1 para todo k. Con estas dos
sucesiones, podemos definir una nueva sucesión {yk} k ∈ N en X haciendo yk = x n k.
La sucesión {yk} k ∈ N se llama subsucesión de {xn} n ∈ N y se denota mediante {xnk} k ∈ N. Si
{xnk} converge a p ∈ X, es decir, si lımk→∞ xnk = p, entonces p se llama punto de acumulación
de {xn}. Para todo k ∈ N, nk ≥ k
2. Demuestre que una sucesión {an} en un espacio métrico converge a x si y sólo si toda
subsucesión de {an} tiene a x como punto de acumulación. Por lo tanto {an} converge a
x si toda subsucesión tiene a su vez una subsucesión que converge a x.
Supongamos primero por hipótesis que la sucesión dada {an} n∈N + es convergente con limite a,
y probemos como tesis que todas sus subsucesiones son convergentes al mismo limite a.
Tomemos una subsucesion bj = anj cualquiera, El objetivo será probar que bj cumple la
definición 2.1 de convergencia con limite a, sabiendo que la cumple an.
Sea {an}n∈N+ una sucesión en un espacio métrico cualquiera A, que por hipótesis es de Cauchy y
posee una subsucesión convergente, es decir, existe:
(I) Para todo ϵ > 0 existe un natural ñ tal que dist (an, am) < ϵ para todos m y n mayores
que ñ.
(II) Para todo ϵ > 0 existe un natural j tal que dist (bj, a) < ϵ para todo j > j.
Elijamos un valor fijo j0 de j que sea mayor que j y que ñ al mismo tiempo, por ejemplo j 0 = 1
+max {j, ñ}. Como la ´ultima parte de la afirmación (II) vale para todo j > j, en particular vale
para el valor fijo j = j0. Llamemos m0 al número natural nj0. Sustituyendo en (II) j = j0 y bj0 = anj0 =
am0 resulta:
(II) Para todo ϵ > 0 existe un natural no tal que dist (am0, a) < ϵ.
Por construcción tenemos que m0 = nj0 ≥ j0 > ñ (La desigualdad nj0 ≥ j0 se cumple por la
observación 3.11). Luego, hemos construido un natural m0 fijo mayor que ñ, que puede usarse
como caso particular de (I) sustituyendo m por m0. Resulta:
(III) Para todo ϵ > 0 existe un natural ñ y existe un natural m 0 > ñ tal que dist (an, am0) < ϵ para
todo n > ñ.
Se obtiene que:
(IV) Para todo ϵ > 0 existe un natural ñ tal que dist (an, n) < 2ϵ para todo n > ñ.
Luego, llamando ϵ∗ al doble de ϵ, se observa que ϵ ∗ > 0 es arbitrario real cualquiera positivo,
porque ϵ > 0 lo es. Luego concluimos que (IV) se puede escribir también así:
(V) Para todo ϵ∗ > 0 existe un natural ñ tal que dist (an, n) < ϵ∗ para todo n > ñ.
Una sucesión de números reales es convergente (en los reales) si y solo si es de Cauchy.
Bibliografía