CAPITULO 0

Numeros complejos:
conocimientos previos.
0.1

INTRODUCCION

Recopilamos en este captulo las propiedades basicas de los numeros complejos,

ya vistas a lo largo de cursos anteriores. Como libros de consulta pueden usarse, por ejemplo, Apostol, T.M.: Analisis Matematico (segunda edicion). Reverte,
Barcelona (1991) (algunas explicaciones estan mas detalladas en Apostol, T.M.:
Calculus, vol. I (segunda edicion). Reverte, Barcelona (1989)); para practicar con
operaciones y representaciones graficas, Spiegel, M.R.: Variable compleja. McGraw Hill (coleccion Schaum) (1971).
Comencemos recordando que se defina
C = {(a, b) : a, b R}
con las operaciones
SUMA:
PRODUCTO:

(a, b) + (c, d) = (a + c, b + d)
(a, b).(c, d) = (ac bd, bc + ad)

Observese que, como conjunto, C es en realidad R2 . La novedad (y lo interesante como veremos) esta en introducir el producto, pues se comprueba facilmente
que C con las dos operaciones anteriores se obtiene un cuerpo conmutativo, con
(0, 0) y (1, 0) como elementos neutros respectivos.
Ademas, el cuerpo C contiene al cuerpo R. Precisemos esta afirmacion:
- La aplicacion a R (a, 0) C es un homomorfismo inyectivo de
cuerpos.
Esta identificacion de R como subcuerpo de C nos permite usar la notacion
simplificada a = (a, 0), y observando que todo elemento (a, b) C se puede
escribir como
(a, b) = (a, 0).(1, 0) + (b, 0)(0, 1),
si denotamos i = (0, 1), con esta nueva nomenclatura, tenemos
(a, b) = a + ib.
1

Numeros

complejos: conocimientos previos.

Esta forma de escribir un numero complejo (forma binomica) hace mas facil
la multiplicacion. En efecto, teniendo en cuenta que
i 2 = (0, 1).(0, 1) = (1, 0) = 1
comprobamos que
(a, b).(c, d) = (ac bd, bc + ad)
se traduce en
(a + ib).(c + id) = ac bd + i(bc + ad),
donde para hacer esta operacion solo hace falta recordar las reglas habituales de la
multiplicacion y las identificaciones anteriores.
Cuando se utiliza una sola letra para denotar un numero complejo, se suele
elegir la z, y si z = a + ib con a, b R, los numeros a, b se llaman partes real e
imaginaria de z, respectivamente. Escribiremos entonces a = e z, b = m z.
Desde el punto de vista algebraico, la principal ventaja de C es que soluciona
el defecto algebraico de R de no ser algebraicamente cerrado, es decir, de que
existan ecuaciones polinomicas con coeficientes reales que no tienen soluciones
reales. El ejemplo mas aparente es x 2 + 1 = 0. Esto ya no va a ocurrir en C.
0.2

PROPIEDADES ALGEBRAICAS DE LOS NUMEROS

COMPLEJOS

Recogiendo de manera abreviada lo que acabamos de exponer, resulta:

1. C es un espacio vectorial sobre R de dimension 2 ({1, i} es la base canonica).
2. C es un cuerpo conmutativo que contiene un subcuerpo isomorfo a R.
3. Existe un elemento de C solucion de z 2 + 1 (precisamente i es solucion).
Pero, mucho mas general, C es algebraicamente cerrado, i.e., todo polinomio
con coeficientes complejos tiene una solucion en C.
Este hecho no es facil de demostrar con argumentos elementales pero, mas
adelante, sera una consecuencia sencilla del analisis que desarrollaremos sobre C.
Ademas, C es el menor cuerpo algebraicamente cerrado que contiene a R.
Con mayor precision, si un cuerpo algebraicamente cerrado contiene un subcuerpo
isomorfo a R, debe contener un subcuerpo isomorfo a C.
4. Aplicacion conjugacion. La aplicacion de C en C definida por
z = a + ib z = a ib

Numeros

complejos: conocimientos previos.

tiene las siguientes propiedades:

4.1. Es un isomorfismo de cuerpo (z + w = z + w, zw = zw).
4.2. Es una proyeccion (z = z).
4.3. Deja fijo el cuerpo R (z = z si y solo si z R).
5. Aplicacion modulo. La aplicacion de C en R+ definida por

z = a + ib |z| = + zz = + a 2 + b2
tiene las siguientes propiedades:
5.1. |z| 0, |z| = 0 z = 0.
5.2. |z + w| |z| + |w| (desigualdad triangular).
5.3. |zw| = |z||w|.
Una consecuencia de estas propiedades es la que suele llamarse desigualdad
triangular inversa,
5.4. |z w| ||z| |w||.
6. En C no existe un orden total compatible con la estructura algebraica que
extienda el orden de R.
En efecto, si e ste fuera el caso los elementos i y 0 deberan ser comparables.
Entonces, o i > 0, en cuyo caso por la compatibilidad con el producto tendramos
i 2 = 1 > 0, o i < 0, en cuyo caso y por la misma razon, tambien se tendra
i 2 = 1 > 0, con lo cual, obviamente, no se extiende el orden de R.
Observaciones.
1. En la construccion de los numeros se busca siempre solucionar un defecto,
pero con una propiedad de minimalidad. As, en los contenidos
N Z Q R C,
Z es el menor grupo que contiene a N, Q es el menor cuerpo que contiene a
Z, R es el menor cuerpo completo que contiene a Q y C es el menor cuerpo
algebraicamente cerrado que contiene a R.
2. Hay otros contextos matematicos que llevan a construcciones de C, es decir
a la construccion de cuerpos isomorfos a nuestro C. Dos ejemplos son los
siguientes:

Numeros

complejos: conocimientos previos.

i) Sea R[x] el anillo de polinomios en una variable con coeficientes reales
(con las operaciones habituales). Sea I el ideal maximal generado por el
polinomio x 2 +1. Entonces, el espacio cociente R/I, con las operaciones
inducidas, resulta ser un cuerpo conmutativo isomorfo a C.
ii) Sea M(2 2; R) el anillo de las matrices 2 2 con coeficientes reales,
con las operaciones habituales. El subanillo


a b
M={
: a, b R}
b a
es un cuerpo conmutativo isomorfo a C.

0.3

EL PLANO COMPLEJO

Debido a la identificacion entre C y R2 , todo numero complejo z = a + ib lo podemos representar en el plano como el punto de coordenadas (a, b). Pero ademas,
es de gran interes la llamada representacion polar de un numero complejo. Observemos que todo punto del plano z
= 0 queda unvocamente determinado por
su distancia al origen y por el a ngulo que forma el segmento [0, z] con el eje real.
Dicha distancia ya sabemos que es el modulo, y el a ngulo va a dar lugar al concepto
de argumento de un numero complejo.
Mirando la figura, tenemos las igualdades
e z = |z| cos , m z = |z| sen ,
de donde
z = |z|(cos + i sen ) = |z|ei .
Aqu hemos utilizado la notacion
z=(a,b )
ei = cos + i sen .
|z |
De momento, la igualdad anterior se
b= Im z
debe interpretar como una definicion,

aunque mas adelante se correspondera

con el valor en i de la funcion expoO
a = Re z
nencial compleja.
Notemos que en este punto damos por bueno que las funciones seno y coseno
del Analisis matematico se corresponden con las funciones definidas graficamente
en Trigonometra, sin que para ello tengamos ninguna justificacion rigurosa. Para
ser totalmente honestos, ni siquiera tenemos hasta ahora una definicion rigurosa
de las funciones seno y coseno: nos hemos conformado con admitir su existencia y propiedades. Volveremos sobre este punto cuando estudiemos las funciones
elementales basicas.

Numeros

complejos: conocimientos previos.

Observacion importante.
La definicion de modulo no plantea ninguna ambiguedad, pero no as la del
a ngulo (o argumento) puesto que y + 2k con k Z hacen el mismo papel.
Esto nos hace abordar las siguientes precisiones sobre la definicion de argumento.
Definicion. Dado z C \ {0},
arg z = { R : cos = e z/|z|, sen = m z/|z|}.
Por tanto, arg z es un conjunto! Pero es obvio que es de la forma
{0 + 2k : 0 arg z, k Z}.
Es decir, conocido un argumento de z, cualquier otro se diferencia de e ste
en un multiplo entero de 2 . De esta forma, en cualquier intervalo semiabierto
de longitud 2, [, + 2) o (, + 2 ], R, existe un u nico elemento
perteneciente al conjunto arg z. A este elemento se le denota por
Arg[,+2) z

(respectivamente, por Arg(,+2 ] z).

Normalmente, se toma el intervalo (, ] y se escribe simplemente

Arg(, ] z = Arg z.
A este argumento se le llama argumento principal (precaucion: en algunos
textos se llama argumento principal al que esta en el intervalo [0, 2 )).
La expresion ei , R (recuerdese que, de momento, es cos + i sen por
definicion) tiene las mismas propiedades algebraicas que la exponencial real.
ei ei = ei(+) , , R,
(ei )n = ein , R, n N,
(ei )1 = ei() , R.
0.4

RAICES
n-ESIMAS
DE UN NUMERO
COMPLEJO

La representacion polar tiene especial importancia en este estudio, pues usandola,

es facil ver que, dado z
= 0 y n N, la ecuacion w n = z tiene exactamente n
soluciones, que son:
w = |z|1/n ei

Arg z+2k
n

, k = 0, 1, 2, . . . , n 1.

Si queremos alguna notacion, n z debera denotar el conjunto de estos n

Arg z
elementos, aunque en algunos textos, n z indica solamente el valor |z|1/n ei n (que
nosotros llamaremos raz n-esima principal).

Numeros

complejos: conocimientos previos.

0.5

DE C
LA TOPOLOGIA

La topologa (estandar) en C viene dada por la aplicacion modulo, que al cumplir

las propiedades 5.1, 5.2 y 5.3, tiene las propiedades de una norma y como tal da
lugar a una distancia
d(z, w) = |z w|
Mirado en R2 , e sta es la distancia eucldea. Por tanto, la topologa de C es,
exactamente, la topologa eucldea de R2 . Nos limitaremos a recordar los aspectos
de esta topologa que seran de interes en el desarrollo de la asignatura.
1. Dado un punto z 0 C y un > 0,
D(z 0 ; ) = {z C : |z z 0 | < }
se llama disco (abierto) de centro z 0 y radio . Es lo que en espacios metricos
abstractos se denomina bola. La familia de todas las bolas centradas en un
punto z 0 , (D(z 0 ; ))>0 es una base de entornos del punto z 0 .
2. Un subconjunto  de C es abierto si es entorno de todos sus puntos. Es decir,
si
z , > 0 tal que D(z; ) .
3. Una sucesion z n z 0 si (por definicion)
> 0, n 0 N  n n 0 , |z n z 0 | < .
Es muy facil comprobar que
z n z 0 e z n e z 0 m z n m z 0 .
Por tanto, la convergencia de una sucesion de numeros complejos se remite
al estudio de la convergencia de dos sucesiones de numeros reales. A partir
de aqu es sencillo ver que (C, d) es un espacio metrico completo. Es decir,
toda sucesion de Cauchy es una sucesion convergente.
4. Un subconjunto A C es cerrado si su complementario es abierto, o equivalentemente, coincide con su clausura A. Recordemos que z A si
> 0, D(z; ) A
= .
Como estamos en un espacio metrico, es interesante observar que esta propiedad se puede caracterizar por sucesiones:
z A (z n ) A  z n z.
5. Un subconjunto A C es compacto si y solo si es cerrado y acotado. Como
consecuencia se cumple el teorema de Bolzano-Weierstrass:

Toda sucesion acotada posee una subsucesion convergente.

6. Conexion. Recordemos la definicion, en general.

Numeros

complejos: conocimientos previos.

Definicion. Un espacio topologico X se dice conexo si no es union de dos conjuntos

abiertos no vacos disjuntos (o, equivalentemente, si los u nicos subconjuntos de X
cerrados y abiertos a la vez son y X ).
Un subconjunto X C se considera espacio topologico con la topologa
inducida (o relativa) de C. Los abiertos en X son la interseccion de los abiertos de
C con X .
Para el concepto de conexion por arcos, hace falta recordar algun concepto
previo.
i) Una curva en C es una aplicacion : [a, b] C continua. (a) y (b)
son los puntos inicial y final de la curva (se dice tambien que la curva une los
puntos (a) y (b)). El subconjunto de C, ([a, b]) se llama soporte de la
curva. Se dice que la curva esta contenida en un subconjunto A de C, si lo
esta el soporte.
ii) Un arco es una curva inyectiva.
iii) Dados z, w C, z
= w, el arco : [0, 1] C tal que t (1 t)z + tw,
se llama segmento de extremos z y w. Efectivamente, el soporte de este arco
es el segmento con dichos extremos.
Esta notacion que usamos confunde la curva con su soporte, lo cual no es muy
conveniente como se vera en captulos posteriores. Pero, para los aspectos que
estamos aqu tratando no importa esta confusion.
iv) Dados z 1 , z 2 , . . . z n C, llamaremos poligonal de vertices z 1 , z 2 , . . . z n a la
union de los n 1 segmentos consecutivos que unen z i y z i+1 . Es facil ver
que esta union corresponde a una curva y si los segmentos no se cruzan es un
arco.
v) Un conjunto A C se dice conexo por arcos si dos cualesquiera de sus
puntos pueden unirse por un arco contenido en A. Analogamente se puede dar
la definicion mas especfica de conexo por poligonales.

(b)

w
z2
zn

(a)

z
O

En C y para abiertos, tenemos el siguiente:

z1
O

Numeros

complejos: conocimientos previos.

Teorema. Sea  abierto de C. Son equivalentes:

i)  es conexo.
ii)  es conexo por arcos.
iii)  es conexo por poligonales.
Tambien podramos haber anadido  es conexo por poligonales de lados
paralelos a los ejes.
Es importante la hipotesis de que  sea abierto. Si la quitamos, la implicacion
ii) i) sigue siendo cierta, pero el subconjunto de C,
A = [i, i] {x + i y : y = sen(1/x), x (0, 1)}
es un conjunto conexo que no es conexo por arcos.
7. Componentes conexas. Sea
= X C. Una componente conexa (o,
simplemente, componente) de X es un subconjunto conexo de X y maximal.
Es decir, X 1 es componente conexa de X si X 1 X , X 1 es conexo y no existe
A conexo tal que X 1 A X .
Sobre componentes conexas recordaremos lo siguiente:
7.1. Si X es conexo, su u nica componente conexa es X .
7.2 Las componentes son disjuntas.
7.3 Cada subconjunto conexo de X esta contenido en una (y solo una) componente.
7.4 Si  C es abierto, cada componente conexa de  es un abierto de C
y existen, a lo mas, un numero contable de componentes conexas.
7.5 Si X C es un conjunto acotado, C\X = X c posee una sola componente
no acotada.
0.6

DE C
COMPACTIFICACION

En este apartado, vamos a introducir el punto del infinito complejo, , con el

objetivo de manejar conceptos como
lim z n = , lim f (z) = , lim f (z) = .
z

zz 0

En C solo aparecera un punto del . Los conceptos + y estan asociados

a R debido a que es un cuerpo totalmente ordenado.
La forma rigurosa de proceder es utilizando el teorema de compactificacion
de Alexandrov de topologa general, aunque posteriormente el concepto se maneja
con facilidad. El resultado general dice lo siguiente:

Numeros

complejos: conocimientos previos.

Teorema. Cualquier espacio topologico localmente compacto puede ser sumergido

en un espacio compacto X , de forma que X \ X consta de un solo punto.
Dicho de otra forma, al espacio X le podemos anadir un punto que no esta en
X , al que se suele denotar , y al espacio X {} se le dota de una topologa
que restringida a X es la de X , y ademas con esta topologa X {} es un espacio
compacto.
Examinemos los detalles de este procedimiento para nuestro caso particular
de C.
- C es un espacio localmente compacto (es Hausdorff y cada punto tiene un
entorno relativamente compacto).
- Anadimos un punto y denotaremos C = C {}.
- Si G es la topologa de C, es decir, G es el conjunto de los abiertos de C,
definimos la topologa en C como
G = G {C \ K : K compacto de C}.
Notese que estos conjuntos que anadimos son los entornos abiertos del punto
del .
Se comprueban, sin mucha dificultad, los siguientes hechos:
a. G es una topologa en C .
b. G |C = G.
c. (C ,G ) es compacto.
La descripcion de esta topologa por base de entornos es muy sencilla:
- Si el punto es un z 0 C, una base de entornos son los discos D(z 0 , ).
- Si el punto es , una base de entornos es {C \ D(0, R)} R>0 .
Teniendo en cuenta como es esta base de entornos del punto del , veamos
que significa z n , cuando {z n } C.
z n R > 0, n 0 N  n n 0 , z n C \ D(0, R).
Como z n C \ D(0, R) significa |z n | > R, la definicion anterior es equivalente
a que la sucesion de numeros reales |z n | tienda a +.

10

Numeros

complejos: conocimientos previos.

Observacion.
Es un hecho teorico importante que esta topologa de C es metrizable. Es
decir, se puede definir una metrica en C que da lugar a dicha topologa. No es
facil describir una tal metrica, de hecho, no tiene mucho que ver con la metrica
de C. Se puede demostrar que no existe ninguna metrica en C que de lugar a la
topologa de C y que extienda la metrica de C. No obstante, y por completar este
estudio, en el siguiente apartado obtendremos una de estas metricas.
9. Representacion geometrica de C . La esfera de Riemann.
El plano no puede ser una representacion geometrica de C , pues no queda
sitio para dibujar el punto del . No obstante, en la practica, conviene imaginarse
al punto del como algo que esta mas alla en todas las direcciones, es decir, como
la circunferencia de un crculo imaginario de centro el origen y radio +.
Una buena representacion geometrica la dio Riemann utilizando la esfera
unidad de R3 . Denotamos por
S = {(x1 , x2 , x3 ) R3 : x12 + x22 + x32 = 1}
a dicha esfera y la dotamos de la topologa relativa que le da la eucldea de R3 .
Vamos a identificar C con S algebraicamente (obteniendo una biyeccion entre
ambos) y topologicamente (dicha biyeccion sera homeomorfismo).
La biyeccion es muy intuitiva si nos fijamos en la figura
(0,0,1)
adjunta. Se proyectan los puntos
s = ( x1 , x 2 , x 3)
(x1 , x2 , x3 ) de S desde el polo
norte (0, 0, 1) sobre el plano
del ecuador x3 = 0 y a (0, 0, 1)
x2
x1
(s) = (
,
,
0 ) [unico punto que queda sin ima1 x3
1 x3
gen] se le asocia el punto del infinito C .
Denotando por : S C a esta biyeccion, es un sencillo problema de
geometra elemental obtener expresiones explcitas de y 1 :
(x1 , x2 , x3 ) =

x1 + i x2
, si (x1 , x2 , x3 ) S \ {(0, 0, 1)},
1 x3

y (0, 0, 1) = .

y 1 () = (0, 0, 1).
Se prueba que:

2m z |z|2 1
2e z
,
,
)
(z) = ( 2
|z| + 1 |z|2 + 1 |z|2 + 1

Numeros

complejos: conocimientos previos.

11

Teorema. La aplicacion , llamada proyeccion estereografica, es un isomorfismo

entre los espacios topologicos S (con la topologa eucldea relativa de R3 ) y C
(con la topologa G ).
Una vez tenemos este resultado, como S es metrico (con la metrica eucldea
d3 ), podemos tener una metrica sobre C como imagen de la eucldea por la
aplicacion ,
d (z 1 , z 2 ) = d3 ( 1 (z 1 ), 1 (z 2 )).
Esta metrica se denomina distancia cordal (es la longitud de la cuerda que une los
puntos 1 (z 1 ), 1 (z 2 )).
Haciendo las operaciones tenemos:
Proposicion. C es metrizable y una de las metricas que origina su topologa es
d (z 1 , z 2 ) =

2|z 1 z 2 |
, z 1 , z 2 C,
((1 + |z 1 |2 )(1 + |z 2 |2 ))1/2

d (z, ) =

2
, z C,
(1 + |z|2 )1/2

d (, ) = 0.
0.7

CONTINUIDAD DE LAS FUNCIONES DE VARIABLE COMPLEJA

Por funcion compleja de variable compleja, entendemos una funcion cuyo dominio es un subconjunto de C y los valores que toma estan en C. Es decir,
f : A C C.
Asociadas a f aparecen las funciones reales de variable compleja,
u(z) = e f (z), v(z) = m f (z).
Identificando C con R2 , las funciones u y v pueden ser vistas como funciones
de dos variables reales que toman valores en R y, as, es muy frecuente escribir
f (z) = u(x, y) + iv(x, y), z = x + i y A.
Es decir, tener una funcion compleja de variable compleja es tener dos funciones
reales de dos variables reales.
Los conceptos de lmite y continuidad de funciones son totalmente analogos
a los ya conocidos para R, as como sus propiedades, ya que en la definicion de

12

Numeros

complejos: conocimientos previos.

e stos solo interviene el modulo, que tiene las mismas propiedades tanto en R como
en C.
Sea f : A C C y sea z 0 C un punto de acumulacion de A. Es decir,
D(z 0 ; ) (A \ {z 0 })
= , > 0
(notese que el punto z 0 puede pertenecer al dominio A o no).
Diremos que
lim

Azz 0

f (z) = C

si (por definicion)
> 0, > 0  (0 < |z z 0 | < z A) | f (z) | < .
Como C es un espacio metrico, esta definicion (, ) es equivalente a la definicion
por sucesiones. Es decir, a que ocurra
(z n ) A \ {z 0 }  z n z 0 f (z n ) .
Con las notaciones anteriores, diremos que f es continua en z 0 A si
lim

Azz 0

f (z) = f (z 0 ).

Notese que en este caso z 0 debe estar en el dominio de la funcion.

Observacion.
Principalmente, trataremos con funciones f :  C C, definidas en 
abierto de C. Entonces, todo punto z 0  es de acumulacion de  y considerando
s suficientemente pequenos, no nos tenemos que preocupar de que los zs esten
el dominio. En este caso, acudiendo a la definicion, tendremos:
f es continua en z 0  si y solo si
> 0 > 0 tal que D(z 0 ; )  y |z z 0 | < | f (z) f (z 0 )| < .
Diremos que f es continua en  si lo es en z 0 , z 0 .
A partir de ahora, supondremos que el dominio de las funciones es siempre
un abierto de C.

Numeros

complejos: conocimientos previos.

13

Las propiedades de los lmites y funciones continuas (con demostraciones

analogas a la de R) se pueden resumir en los siguientes apartados.
Sean f, g :  C C y z 0  tal que
lim f (z) = , lim g(z) = .

zz 0

zz 0

Entonces:
1. Si f (z) = u(z) + iv(z) = u(x, y) + iv(x, y), z = x + i y , z 0 = x0 + i y0 ,
lim f (z) =

zz 0

2.

lim

(x,y)(x0 ,y0 )

u(x, y) = e

lim

(x,y)(x0 ,y0 )

v(x, y) = m .



lim f (z) + g(z) = + .

zz 0

3.



lim f (z) g(z) = .

zz 0

4. Si
= 0,
lim

zz 0

f (z)
= .
g(z)

5. Si f y g son continuas en z 0 , tambien lo son las funciones f + g y f g.

Asimismo, lo es f /g siempre que g(z 0 )
= 0.
Observacion.
Cualquier otra propiedad conocida en R que solo tenga que ver con el uso
del modulo y la estructura de cuerpo, tambien sera cierta en C. Por ejemplo, el
lmite del producto de una funcion que tienda a 0 por otra funcion acotada en un
entorno del punto, es 0. No son ciertas, porque ni siquiera tienen sentido en general,
propiedades que tienen que ver con el orden, como la regla del sandwich.
Lmites infinitos y en el infinito.
Sea f : A C C, tal que es punto de acumulacion del dominio A.
Por la definicion de los entornos del vista anteriormente, esto querra decir que:
R > 0, A (C \ D(0; R))
=

14

Numeros

complejos: conocimientos previos.

En estas condiciones, podemos hablar de lmites en el , considerando la topologa

de C .
6. Diremos que
lim

Az

f (z) = C

si (por definicion)
> 0, R > 0  (|z| > R z A) | f (z) | <
o, equivalentemente, por ser C espacio metrico, la definicion por sucesiones,
(z n ) A  z n  f (z n ) .
7. Diremos que
lim

Az

f (z) =

si (por definicion)
S > 0, R > 0  (|z| > R z A) | f (z)| > S.
o, equivalentemente,
(z n ) A  z n  f (z n ) .
8. Si f : A C C y z 0 es un punto de acumulacion de A, diremos que
lim

Azz 0

f (z) =

si (por definicion)
R > 0, > 0  (0 < |z z 0 | < z A) | f (z)| > R.
o, equivalentemente,
(z n ) A \ {z 0 }  z n z 0  f (z n ) .
Tambien se cumplen las propiedades habituales, de las que senalamos como
muestra las dos siguientes:

Numeros

complejos: conocimientos previos.

15

i) Si
lim f (z) = C \ {0} y lim g(z) = 0

zz 0

zz 0

entonces
lim

zz 0

f (z)
= .
g(z)

ii) Si
lim f (z) = C \ {0} y lim g(z) =

zz 0

entonces

zz 0



lim f (z)g(z) = .

zz 0

Y tambien se producen los casos de indeterminacion habituales.

Es un buen ejercicio listar todas estas propiedades y demostrar, siguiendo las
definiciones, algunas de ellas.
Ejemplos.
1. Las funciones constantes ( f (z) = C, z C) y la funcion identidad
( f (z) = z, z C) son funciones continuas en todo punto de C.
2. Por operaciones con funciones continuas (suma y multiplicacion), todo polinomio
Pn (z) = an z n + an1 z n1 + . . . a1 z + a0 , ai C
es una funcion contnua en todo C.
3. Toda funcion racional, puesta como cociente de dos polinomios, R(z) =
P(z)/Q(z), en forma irreducible, es continua en C salvo en los ceros del
polinomio Q.
4. En el mismo ejemplo anterior, si es un cero de Q, entonces P()
= 0 y
lim

5.

P(z)
= .
Q(z)

3z + 5
6z 3 + 5
lim
= 0, lim
= 3.
z z 2 + 1
z 2z 3 + 4z + 1

6. La funcion argumento principal

Arg : z C \ {0} Arg z (, ]( C)

16

Numeros

complejos: conocimientos previos.

es continua en C \ (, 0].

En cualquier punto z 0 (, 0) no es continua, pues si

z n z 0  m z n > 0, entonces Arg z n
y si
z n z 0  m z n < 0, entonces Arg z n .
De forma analoga, la funcion Arg[,+2 ) es continua en C \ {r ei : r 0}.
Imagenes continuas de conexos y compactos
Finalmente, recordemos un par de resultados topologicos que usaremos con
frecuencia.
Sea f : A C C continua y X A. Si X es conexo, f (X ) es conexo. Si
X es compacto, f (X ) es compacto.