Universidad Universidad Industrial de Santander J.

Pablo Barrera Cardozo

Industrial de
Santander
Escuela de Matemáticas L. Aldair Barajas Gómez
Análisis Matemático 26/08/2020
Grupo B - Grupo 1

Teorema 2.43 Sea (xn ) una sucesión acotada. Entonces b = lı́m sup xn sí y solo si dado
 > 0 se satisface las siguientes afirmaciones:

Existe n0 ∈ N tal que xn < b +  siempre que n ≥ n0 ;

Dado N ∈ N, existe n ≥ n0 tal que xn > b − 

Supongamos que b = lı́mn→∞ sup(xn ) y veamos que se cumplen las dos condiciones.
Como b = lı́mn→∞ sup(xn ) = lı́mn→∞ (supxm ) con m ≥ n para el sup, si  > 0 dado existe
N ∈ N tal que b −  < Supxm < b +  para todo n ≥ N por lo tanto, xn < b +  si n ∈ N y
n≥N
Sea n ∈ N dado entonces si k ≥ n y k ≥ N , tenenmos que Supp≥k xp > b − , así, existe
m ∈ N con m ≥ k ≥ b ≥ N tal que xm > b − 
Reciprocamente, supongamos 1)y2), sea  > 0 dado, la condición 2 implica que supm≥n xm >
b −  para todo n ∈ N luego, lı́mn→∞ (supxn ) = lı́mn→∞ (supm≥n xm ) ≥ b −  la condición
1 implica que b +  > supx≥n xm ≥ infn∈N (supm≥n xm = lı́mn→∞ (supxn ) en concecuencia
b −  < lı́mn→∞ (xn ) ≤ b + , para todo  > 0, por lo tanto lı́mn→∞ (inf xn ) = a.

Ejercicio 2.43. Sea (xn ) una sucesión acotada, y sean a = lı́m inf xn y b = lı́m sup xn . Dado
cualquier  > 0, existe N ∈ N tal que si n ≥ N tenemos a −  < xn < b + . Además a y b
son el mayor y el menor número con esta propiedad, respectivamente.
Por el teorema 2,41 existe n1 ∈ N tal que a −  < xn siempre que n ≤ n0 por 2,42 tenemos
que existe n2 ∈ N tal que xn < b +  con n ≤ n1 . Tomamos N = máx{n0 , n1 }, entonces
a −  < xn < b +  con n ≥ N , como a = lı́m inf xn entonces es el minimo valor de adherencia
esto es que no existe un valor de adherencia a0 < a analogo para el lı́m sup.

Ejercicio 2.49. Diremos que una sucesión (xn ) es contractiva si existe 0 ≤ λ < 1 tal que
|xn+2 − xn+1 | ≤ λ|xn+1 − xn | para todo n ∈ N. Probar que toda sucesión contractiva es
convergente. Veamos que xn es una sucesión de Cauchy, si para todo  > 0, existe N ∈ N tal
que si m, n ∈ N y m, n ≥ N tenemos |xn − xm | < . Tomaremos el caso para n > m

|xn − xm | = |(xn − xn−1 ) + (xn−1 − xn−2 ) + · · · + (xm+1 − xm )|

≤ |xn − xn−1 | + |xn−1 − xn−2 | + · · · + |xm+1 − xm |

Por la definición de sucesión contractiva

≤ λn−2 |x2 − x1 | + λn−3 |x2 − x1 | + · · · + λm−1 |x2 − x1 |

 ≡ (λn−2 + λn−3 + · · · + λm−1 )|x2 − x1 |

= λm−1 (λn−m−2 + λn−m−3 + · · · + 1)|x2 − x1 |

1 − λn−m
= λm−1 ( )|x2 − x1 |
1−λ

1
= λm−1 ( )|x2 − x1 |
1−λ
1 1
Es claro que lı́mm→∞ (λm ) = 0. Luego lı́mm→∞ λm−1 ( 1−λ )|x2 − x1 | = lı́mm→∞ λm ( (1−λ)λ )|x2 −
1 m m 1
x1 | = ( (1−λ)λ )|x2 − x1 |limm→∞ λ = 0 luego |λ ( (1−λ)λ )|x2 − x1 | − 0| < por definición de
límite luego (xn ) es una sucesión de cauchy por lo tanto es convergente.
n
Ejercicio 2.52. Mostrar que si a > 1 y p ∈ N, entonces lı́m anp = +∞
Anp −1
Dado A > 0, por la propiedad arquimediana, existe, N ∈ N tal que N > a−1
. Por la
desigualdad de Bernoulli se tiene que para todo n ≥ N tenemos:
an (1 + a − 1)n 1 + n(a − 1) 1 + N (a − 1)
p
= p
≥ p
≥ >A
n n n np
Ejercicio 2.53. Probar que si (xn ) es una sucesión monótona y no acotada entonces lı́m xn =
+∞
Si (xn ) es creciente y no acotada, dado A > 0, existe N ∈ N tal que xN > A pero (xn ) es
creciente, luego si n ≥ N tenemos que xn > xN , entonces xn > A esto es lı́mn→∞ (xn ) = ∞.
Si (xn ) es decreciente y no acotada, dado A > 0, existe N ∈ N tal que xN < A. Si n ≥ N ,
tenemos xn ≥ xN < A luego xn → −∞
Proposicion 2.54. Sean (xn ) y (yn ) dos sucesiones. Entonces
1. si lím xn = +∞ y (yn ) es acotada inferiormente, lím xn + yn = ∞

DEM: Como (yn ) es acotada inferiormente existe un b ∈ R tal que yn ≥ b para todo
n ∈ N. Dado A > 0, existe N ∈ N tal que para n ≥ N se tiene que xn > A − b. Luego
xn + b > A, así xn + yn > A podemos concluir que límxn + yn = +∞

2. Si límxn = +∞ e ínfn∈N yn > 0 para todo n ∈ N, límxn yn = +∞

DEM: Sea b =ínfn∈N yn > 0 y n1 ∈ N tal que para n ≥ n1 , se tiene que yn > b.
Dado A > 0, existe N N tal que para n ≥ N , se tiene que xn > A/b. Si tomamos
M =máxn1 , N , para n ≥ M tenemos que xn yn > A. Así límxn yn = +∞
3. Si (xn ) es una sucesión de terminos no nulos, límxn = 0 si, y solo si, lím |x1n | = +∞.

DEM: Dado A > 0, existe N ∈ N tal que |xn | < 1/A, por propiedades de la des-
igualdad tenemos que 1/|Xn | > A. Luego lím |x1n = +∞. Recíprocamente, dado  > 0,
como |x1n | diverge, existe N ∈ N tal que, para n ≥ N , se tiene que 1/|xn | > 1/, luego
|xn | < . Así límxn = 0
Bibliografía

[1] https://tic.uis.edu.co/ava/pluginfile.php/1091716/mod_resource/content/1/Notas %20de %20clase.pdf

[2] https://www.ugr.es/r̃paya/documentos/CalculoI/2013-14/Divergentes.pdf