zn z
e) Si zn 6= 0 ∀n ∈ N y z 6= 0, entonces lı́mn = .
wn w
f ) Si lı́mn |zn | = 0, entonces z = 0.
2.2. Series en C
n
X
Definición 2.5. Sea (an )n sucesión en C. Definiremos una nueva sucesión como Sn = an .
X k=1
La sucesión (Sn )n será llamada serie de términos (an )n y denotada como an . Denotaremos
n≥1
∞
X
su lı́mite como an .
n=1
X
Definición 2.6. Si la serie an en C es convergente, entonces lı́mn an = 0.
n≥1
|an+1 |
Proposición 2.7 (Criterio de la razón). Sea (an )n sucesión en C tal que L = lı́m
n |an |
existe.
X
a) Si L < 1, entonces an es absolutamente convergente.
n≥1
X
b) Si L > 1, entonces an divergente.
n≥1
X X
Proposición 2.8. Si las series an , bn en C son absolutamente convergentes, entonces
n≥0 n≥0
X n
X
cn , donde ak bn−k , es absolutamente convergente y
n≥0 k=0
∞ ∞
! ∞
!
X X X
cn = an bn .
n=0 n=0 n=0
Proposición 2.9 (Suma por partes). Sean (an )n , (bn )n sucesiones de números complejos
n
X
y Sn = ak . Entonces,
k=1
n
X n
X
a k bk = Sk (bk − bk+1 ) + Sn bn+1 .
k=1 k=1
6
Como se querı́a.
c) bn → 0.
P
Entonces, la serie n≥1 an bn es convergente.
es absolutamente convergente.
Por a) y c) la sucesión (Sn bn )n , producto de la sucesión (Sn ) acotada y la sucesión (bn )n
convergente a cero, es convergente a cero. Termina la prueba.
7
a) (Sn )n es convergente.
X
b) La serie |bn − bn+1 | es convergente.
n≥1
P
Entonces, la serie n≥1 an bn es convergente.
b) (bn )n es monótona.
c) bn → 0.
P
Entonces, la serie n≥1 an bn es convergente.
Proposición 2.13 (Criterio particular de Abel). Sea (an )n sucesión en C, (bn )n sucesión
Xn
en R y Sn = ak tales que:
k=1
a) (Sn )n es convergente.
Corolario 2.14 (Criterio de Leibniz). Si (an )n una sucesión decreciente en R tal que
X
an → 0. Entonces, (−1)n an es convergente.
n≥1
Definición 2.15. Dada una sucesión (an )n en R podemos construir las sucesiones
Es inmediato que (mn )n es decreciente y (mn )n es creciente. Ası́, se define el lı́mite inferior
y lı́mite superior de (an )n como, respectivamente,
g) lı́m inf n an = M ∈ R si y solo si dado ǫ > 0 existen N ∈ N y (ank )k tal que M − ǫ < an
para todo n ≥ N y ank < M + ǫ para todo k.
h) lı́m supn an = M ∈ R si y solo si dado ǫ > 0 existen N ∈ N y (ank )k tal que M − ǫ < ank
para todo k y an < M + ǫ para todo n ≥ N .