Sucesiones

Convergentes en
espacios Mtricos

DEFINICIONES:

Que es una Sucesin en los Reales: una sucesin en los reales es una funcin de N en X, para todo
donde n pertenece a N.
Convergencia: sea una funcin de a en los reales tenemos que: Para todo psilon mayor que cero,
existe un n sub cero que pertenece a los naturales, tal que n mayor o igual a n sub 0, se tiene que
la diferencia entre y es menor que psilon.
}
Ahora, de lo anterior se tiene que, las Sucesiones convergentes en Espacios mtricos se tiene
que:
}
Proposicin (1): Sea , es una sucesin de puntos en un espacios mtricos Adems, sean puntos
en el espacio tal que .
De otra manera se tiene que: Sea es una sucesin tal que , es decir converge a un solo limite.

DEMOSTRACIN DE LA PROPOSICIN (1)

Sean a y b dos nmeros diferentes, veamos que a = b

En efecto, aplicando la definicin de convergencia de limites tenemos que

}
}
Como tenemos dos nmeros diferentes, tomamos el mayor de los do limites, decimos que ,
luego como , entonces .
Ahora sumamos las desigualdades:

, aplicando la segunda propiedad de mtrica, tenemos que:

, por lo tanto .
Luego, por definicin, tenemos que: }, luego como tenemos que:
por lo tanto de a=b, es un limite de una sucesin Constante u el limite es nico.


Proposicin
(2): Sea un espacio mtrico, un subconjunto de es cerrado en si, y slo si, toda
sucesin convergente de puntos en converge a un punto en A (En otras palabras, A es cerrado
en si, y slo si, , donde y , implica que .)
Dems:
Asumamos de que A es cerrado en y sea , donde .
Suponga que . Entonces, como es un conjunto abierto que contiene x, \ .
Notando que cada , obtenemos que . Por consiguiente, tenemos que la sucesin no converge a .
Esto es una contradiccin. Por lo que , como se requera.
Ahora asumamos de que toda sucesin convergente de puntos en A converge a un punto de A.
Supongamos que no es abierto. Entonces existe un punto y , Para cada entero positivo n, sea
cualquier punto en .
Entonces, armamos que . Para ver sto, denote por, y por 1/, para que , se tiene que .
Por lo que xn y y, por nuestra suposicin, y A. sto es una contradiccin, lo que implica que
X \ A es abierto, y por lo tanto que A es cerrado en (X, d).