72 Análisis en espacios métricos

Los términos de la sucesión (|a|n ) son todos no negativos, ası́ que es

acotada inferiormente por cero. Como la sucesión es decreciente y
acotada entonces es convergente. Sea x = lı́m |a|n , se probará que
x = 0. Para ello, teniendo en cuenta que (|a|n+1 ) es subsucesión de
(|a|n ), se sigue

|a|x = |a|(lı́m |a|n ) = lı́m |a|n+1 = lı́m |a|n = x.

Como |a|x = x , se tiene |a|x − x = 0 , de donde x(|a| − 1) = 0 ;
y en consecuencia x = 0, ya que |a| − 1 6= 0. En conclusión,
lı́m |a|n = 0.
z

3.1 Ejercicios
1. En R, usar la definición de lı́mite para probar:
5
a) lı́m( n+1 )=0
b) lı́m( 51n ) = 0
c) lı́m( n41+2 ) = 0
6n
d ) lı́m( 3n+1 )=2

2. Sea ((xn , yn )) una sucesión convergente en R2 :

a) Probar que lı́m(xn , yn ) = (x, y), si y sólo si, lı́m xn = x

y lı́m yn = y.
b) Generalizar el enunciado a Rn (sin demostración).
4n
3. Probar que en R2 , la sucesión (( 2n+1 , n1 )) convege al punto
(2, 0). Hacer una prueba usando la definición de lı́mite y otra
usando el ejercicio 2.
4. Probar que en un espacio métrico discreto, las únicas
sucesiones convergentes son aquellas que sólo tienen finitos
términos diferentes entre sı́.
 Convergencia 73

5. Probar la proposición 3, sin usar el teorema 3.0.5.

6. En cada caso, usar el teorema de convergencia monótona
para probar que la sucesión de reales (xn ) es convergente y
determinar el lı́mite.
a)
 s 
r r
√ √ √ √
q q q
(xn ) =  2, 2 + 2, 2 + 2 + 2, 2 + 2 + 2 + 2, . . . 


.
√
b) x1 = 1, y xn+1 = 3 + xn para n ≥ 2.
1 1 1 1
7. Si yn = n+1 + n+2 + n+3 + ... + 2n , pruebe que la sucesión de
reales (yn ) es monótona creciente y acotada superiormente,
por tanto convergente.
8. Usando el concepto de lı́mite, pruebe que los siguientes
conjuntos son cerrados en R2 .

a) F = {(x, y) ∈ R2 : xy = 1, x > 0 }
b) F = {(x, y) ∈ R2 : xy ≥ 1, x > 0 }

9. Probar que si (pn ) es una sucesión de puntos en un espacio

métrico (E, d) que converge a un punto p ∈ E, entonces el
conjunto (p, p1 , p2 , p3 , . . .) es cerrado en E.
10. Para cada sucesión de reales (an ) que sea acotada, se
define el lı́mite inferior y el lı́mite superior de la sucesión,
respectivamente, como sigue.

lı́man = ı́nf sup an = ı́nf{ sup{ an : n ≥ k} : k ∈ N}

k n≥k

lı́man = sup ı́nf an = sup{ ı́nf{ an : n ≥ k} : k ∈ N}

k n≥k

Probar que
74 Análisis en espacios métricos

a) si (an ) es acotada, entonces lı́m an ≤ lı́m an

b) si (an ) es acotada se cumple que lı́m an = lı́m an , si
y sólo si, (an ) es convergente (en tal caso lı́m an =
lı́m an = lı́m an ).
c) si (xn ) y (yn ) son acotadas, entonces lı́m (xn + yn ) ≤
lı́m xn + lı́m yn . Proponga dos sucesiones para las cuales
la desigualdad anterior sea estricta.
d ) si (xn ) y (yn ) son acotadas, entonces lı́m (xn + yn ) ≥
lı́m xn + lı́m yn . Proponga dos sucesiones para las cuales
la desigualdad anterior sea estricta.

11. Determine los lı́mites inferior y superior de cada una de las

siguientes sucesiones.
   
n 1 1 1
(−1) + 0, 1, 0, , 0, , 0, . . .
n 2 3
 nπ   
 n
sen
2 2n + 3