Sucesiones en C

Una sucesión de números complejos es una aplicación del conjunto de los números naturales en
C. Representaremos por {zn }n a la sucesión dada por n 7→ zn , donde cada zn ∈ C.

Definición 1. Sea {zn }n una sucesión en C y z un elemento de C. Las siguientes afirmaciones

son equivalentes

a) lim zn = z,
n→∞

b) para cualquier ε > 0, existe n(ε) ∈ N, tal que |zn − z| < ε para todo n > n(ε).

A partir de la definición anterior, puede probarse que


 lim Re zn = Re z
 n→∞
lim zn = z ⇔
n→∞
 lim Im zn = Im z

n→∞

lim zn = z ⇒ lim |zn | = |z|

n→∞ n→∞

lim zn = 0 ⇔ lim |zn | = 0

n→∞ n→∞

Definición 2. Sea {zn }n una sucesión en C. Las siguientes afirmaciones son equivalentes

a) lim |zn | = ∞,
n→∞

b) para cualquier R > 0, existe N (R) ∈ N, tal que |zn | > R para todo n > N (R).

En este caso, se dice que la sucesión converge a infinito y se escribe lim zn = ∞.

n→∞

Definición 3. La región de convergencia puntual de una sucesión de funciones {fn }n , que se

suponen definidas en un dominio Ω ⊂ C, es el conjunto D := {z ∈ Ω : {fn (z)}n es convergente}.
Si D =
6 ∅, la función f : D → C dada por f (z) = lim fn (z), z ∈ D, se denomina función lı́mite.
n→∞

Ejemplos.

1. Considerar la sucesión {z n }n≥1 . Hallar las regiones de convergencia.

Escribiendo z en forma polar, tendremos z n = rn (cos nθ + i sin nθ); expresión que nos
permitirá analizar las sucesiones correspondientes a la parte real y a la parte imaginaria
por separado.
 (a) Supongamos que |z| < 1. Sabemos que cos nθ y sin nθ se mantienen acotados para
todo n. Luego, como r < 1, resulta

lim Re z n = lim rn cos nθ = 0 


n→∞ n→∞ 
⇒ lim z n = 0
n→∞
lim Im z n = lim rn sin nθ = 0 

n→∞ n→∞

De otra forma: elijamos ε > 0; como |z| < 1, existirá un n(ε) tal que |z|n < ε para
todo n > n(ε). Luego,

|z n − 0| = |z n | = |z|n < ε si n > n(ε), por lo tanto lim z n = 0.

n→∞

(b) Supongamos que |z| > 1. En este caso, como r > 1, tendremos

lim |Re z n | = lim rn | cos nθ| = ∞ 


n→∞ n→∞ 
⇒ lim |z n | = ∞.
n→∞
lim |Im z n | = lim rn | sin nθ| = ∞ 

n→∞ n→∞

De otra forma: elijamos R > 0; como |z| > 1, existirá un N (R) tal que |z|n > R
para todo n > N (R). Luego,

|z n − 0| = |z n | = |z|n > R si n > N (R), por lo tanto lim z n = ∞.

n→∞

(c) Supongamos que |z| = 1. En este caso, r = 1 y, por lo tanto,

lim Re z n = lim cos nθ @ 


n→∞ n→∞ 
⇒ la sucesión no converge.
lim Im z n = lim sin nθ @ 

n→∞ n→∞


1 1 si z = 0
2. Sea f (z) = lim . Mostrar que f (z) = .
n→∞ 1 + n2 |z| 0 si z 6= 0
Es inmediato que f (0) = 1. Sea z 6= 0 un elemento cualquiera (fijo) de C. Entonces
1 1 1
fn (z) = 2
≤ 2 para todo n.
1 + n |z| n |z|
Luego, tendremos
1 1
lim fn (z) = lim |fn (z)| ≤ lim 2 = 0.
n→∞ n→∞ |z| n→∞ n
zn
3. Sea f (z) = lim .
n→∞ 1 + z n
(a) Cuál es el dominio de definición de f ; esto es, para que valores de z existe el lı́mite
que define a f ?
Es claro que f (z) no estará definida para aquellos z tales que

z n + 1 = 0; n ≥ 1; (1)

es decir, para los complejos de la forma

(2k + 1)π (2k + 1)π

zk = cos + i sin ; k = 0, 1, · · ·, n − 1; n ≥ 1,
n n
ubicados (todos) sobre el borde del disco unidad. A medida que n crece, k crece;
de modo que, cuando n es muy grande, cualquier entorno reducido con centro en
cualquier punto de la circunferencia unidad contendrá algún zk . Sin embargo, sin
importar cuan grande sea n, los números zk no cubren todo el borde del disco unidad;
de hecho, existen infinitos puntos sobre este borde que no satisfacen (1). Por ejemplo,
z∗ = cos √π2 + i sin √π2 .
(2k + 1)π
Sea, entonces, z = eiθ , con θ 6= ; k = 0, 1, · · ·, n − 1; n ≥ 1. Tendremos
n
1 1 1 (1 + cos mθ) − i sin mθ
m
= imθ
= =
1+z 1+e (1 + cos mθ) + i sin mθ (1 + cos mθ)2 + (sin mθ)2

(1 + cos mθ) − i sin mθ 1 sin mθ  1 mθ 

= = 1−i =(∗) 1 − i tan .
2(1 + cos mθ) 2 1 + cos mθ 2 2

mθ
Luego, como lim tan @ (ver figura), concluimos que
m→∞ 2
1 1 mθ 
fm (z) = 1 − = 1 + i tan no tiene lı́mite cuando m → ∞.
1 + zm 2 2

(b) Dar explı́citamente valores de f (z) para varios z en el dominio de f .

Cuando |z| < 1; lim z n = 0. Luego,
n→∞

zn  1  1
lim = lim 1 − =1− =0
n→∞ 1 + z n n→∞ 1+z n 1 + lim z n
n→∞

mθ mθ  mθ 2
(*) Para todo θ ∈ R; sin mθ = 2 sin cos , 1 + cos mθ = 2 cos
2 2 2
 1  1 n 1
Cuando |z| > 1;   < 1. Por lo tanto, lim = lim n = 0. Luego,
 
z n→∞ z n→∞ z

zn zn 1
lim = lim = =1
n→∞ z n + 1 n→∞ z n (1 + 1
) 1
zn 1 + lim n
n→∞ z

Cuando z = 1, z n = 1, para todo n. Luego,

zn 1
lim n
= .
n→∞ z + 1 2

(c) Es posible definir a f (z) para |z| = 1 de manera que resulte continua?
A partir de los resultados del inciso anterior,


 0 si |z| < 1



1

f (z) = si z = 1


 2


1 si |z| > 1.


Claramente, f (z) no puede extenderse con continuidad a C.

 mπ 
Sucesión de puntos m, tan √ ; m ≥ 1.
2