CAP

ITULO 0
N umeros complejos:
conocimientos previos.
0.1 INTRODUCCI

ON
Recopilamos en este captulo las propiedades b asicas de los n umeros complejos,
ya vistas a lo largo de cursos anteriores. Como libros de consulta pueden usar-
se, por ejemplo, Apostol, T.M.: An alisis Matem atico (segunda edici on). Revert e,
Barcelona (1991) (algunas explicaciones est an m as detalladas en Apostol, T.M.:
Calculus, vol. I (segunda edici on). Revert e, Barcelona (1989)); para practicar con
operaciones y representaciones gr acas, Spiegel, M.R.: Variable compleja. Mc-
Graw Hill (colecci on Schaum) (1971).
Comencemos recordando que se dena
C = {(a, b) : a, b R}
con las operaciones
SUMA: (a, b) (c, d) = (a c, b d)
PRODUCTO: (a, b).(c, d) = (ac bd, bc ad)
Obs ervese que, como conjunto, C es en realidad R
2
. La novedad (y lo intere-
sante como veremos) est a en introducir el producto, pues se comprueba f acilmente
que C con las dos operaciones anteriores se obtiene un cuerpo conmutativo, con
(0, 0) y (1, 0) como elementos neutros respectivos.
Adem as, el cuerpo C contiene al cuerpo R. Precisemos esta armaci on:
- La aplicaci on a R (a, 0) C es un homomorsmo inyectivo de
cuerpos.
Esta identicaci on de R como subcuerpo de C nos permite usar la notaci on
simplicada 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 i b.
1
2 N umeros complejos: conocimientos previos.
Esta forma de escribir un n umero complejo (forma bin omica) hace m as facil
la multiplicaci on. 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 i b).(c i d) = ac bd i (bc ad),
donde para hacer esta operaci on s olo hace falta recordar las reglas habituales de la
multiplicaci on y las identicaciones anteriores.
Cuando se utiliza una sola letra para denotar un n umero complejo, se suele
elegir la z, y si z = a i b con a, b R, los n umeros a, b se llaman partes real e
imaginaria de z, respectivamente. Escribiremos entonces a = +e z, b = `mz.
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 polin omicas con coecientes reales que no tienen soluciones
reales. El ejemplo m as aparente es x
2
1 = 0. Esto ya no va a ocurrir en C.
0.2 PROPIEDADES ALGEBRAICAS DE LOS N

UMEROS COMPLEJOS
Recogiendo de manera abreviada lo que acabamos de exponer, resulta:
1. C es un espacio vectorial sobre R de dimensi on 2 ({1, i } es la base can onica).
2. C es un cuerpo conmutativo que contiene un subcuerpo isomorfo a R.
3. Existe un elemento de C soluci on de z
2
1 (precisamente i es soluci on).
Pero, muchom as general, Ces algebraicamente cerrado, i.e., todopolinomio
con coecientes complejos tiene una soluci on en C.
Este hecho no es f acil de demostrar con argumentos elementales pero, m as
adelante, ser a una consecuencia sencilla del an alisis que desarrollaremos sobre C.
Adem as, C es el menor cuerpo algebraicamente cerrado que contiene a R.
Con mayor precisi on, si un cuerpo algebraicamente cerrado contiene un subcuerpo
isomorfo a R, debe contener un subcuerpo isomorfo a C.
4. Aplicaci on conjugaci on. La aplicaci on de C en C denida por
z = a i b z = a i b
N umeros complejos: conocimientos previos. 3
tiene las siguientes propiedades:
4.1. Es un isomorsmo de cuerpo (z w = z w, zw = zw).
4.2. Es una proyecci on (z = z).
4.3. Deja jo el cuerpo R (z = z si y solo si z R).
5. Aplicaci on m odulo. La aplicaci on de C en R

denida por
z = a i b [z[ =

zz =

a
2
b
2
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 este 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 raz on, tambi en se tendra
i
2
= 1 > 0, con lo cual, obviamente, no se extiende el orden de R.
Observaciones.
1. En la construcci on de los n umeros 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 matem aticos que llevan a construcciones de C, es decir
a la construcci on de cuerpos isomorfos a nuestro C. Dos ejemplos son los
siguientes:
b= Im z
O a = Re z
|z |

z=(a,b )
4 N umeros complejos: conocimientos previos.
i) Sea R[x] el anillo de polinomios en una variable con coecientes 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 coecientes reales,
con las operaciones habituales. El subanillo
M= {

a b
b a

: a, b R}
es un cuerpo conmutativo isomorfo a C.
0.3 EL PLANO COMPLEJO
Debido a la identicaci on entre C y R
2
, todo n umero complejo z = a i b lo pode-
mos representar en el plano como el punto de coordenadas (a, b). Pero adem as,
es de gran inter es la llamada representaci on polar de un n umero complejo. Ob-
servemos que todo punto del plano z ,= 0 queda unvocamente determinado por
su distancia al origen y por el angulo que forma el segmento [0, z] con el eje real.
Dicha distancia ya sabemos que es el m odulo, y el angulo va a dar lugar al concepto
de argumento de un n umero complejo.
Mirando la gura, tenemos las igual-
dades
+e z = [z[ cos , `mz = [z[ sen ,
de donde
z = [z[(cos i sen ) = [z[e
i
.
Aqu hemos utilizado la notaci on
e
i
= cos i sen .
De momento, la igualdad anterior se
debe interpretar como una denici on,
aunque m as adelante se corresponder a
con el valor en i de la funci on expo-
nencial compleja.
Notemos que en este punto damos por bueno que las funciones seno y coseno
del An alisis matem atico se corresponden con las funciones denidas gr acamente
en Trigonometra, sin que para ello tengamos ninguna justicaci on rigurosa. Para
ser totalmente honestos, ni siquiera tenemos hasta ahora una denici on rigurosa
de las funciones seno y coseno: nos hemos conformado con admitir su existen-
cia y propiedades. Volveremos sobre este punto cuando estudiemos las funciones
elementales b asicas.
N umeros complejos: conocimientos previos. 5
Observaci on importante.
La denici on de m odulo no plantea ninguna ambig uedad, pero no as la del
angulo (o argumento) puesto que y 2k con k Z hacen el mismo papel.
Esto nos hace abordar las siguientes precisiones sobre la denici on de argumento.
Denici on. Dado z C ` {0},
arg z = { R : cos = +e z/[z[, sen = `mz/[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 este
en un m ultiplo entero de 2. De esta forma, en cualquier intervalo semiabierto
de longitud 2, [, 2) o (, 2], R, existe un unico 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 (precauci on: en algunos
textos se llama argumento principal al que est a en el intervalo [0, 2)).
La expresi on e
i
, R (recu erdese que, de momento, es cos i sen por
denici on) tiene las mismas propiedades algebraicas que la exponencial real.
e
i
e
i
= e
i ()
, , R,
(e
i
)
n
= e
i n
, R, n N,
(e
i
)
1
= e
i ()
, R.
0.4 RA

ICES n-

ESIMAS DE UN N

UMERO COMPLEJO
La representaci on polar tiene especial importancia en este estudio, pues us andola,
es f acil ver que, dado z ,= 0 y n N, la ecuaci on w
n
= z tiene exactamente n
soluciones, que son:
w = [z[
1/n
e
i
Arg z2k
n
, k = 0, 1, 2, . . . , n 1.
Si queremos alguna notaci on,
n

z debera denotar el conjunto de estos n

elementos, aunque en algunos textos,
n

z indica solamente el valor [z[

1/n
e
i
Arg z
n
(que
nosotros llamaremos raz n- esima principal).
6 N umeros complejos: conocimientos previos.
0.5 LA TOPOLOG

IA DE C
La topologa (est andar) en C viene dada por la aplicaci on m odulo, 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 R
2
, esta es la distancia eucldea. Por tanto, la topologa de C es,
exactamente, la topologa eucldea de R
2
. Nos limitaremos a recordar los aspectos
de esta topologa que ser an de inter es 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 m etricos
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 sucesi on z
n
z
0
si (por denici on)
> 0, n
0
N a n n
0
, [z
n
z
0
[ < .
Es muy f acil comprobar que
z
n
z
0
+e z
n
+e z
0
`mz
n
`mz
0
.
Por tanto, la convergencia de una sucesi on de n umeros complejos se remite
al estudio de la convergencia de dos sucesiones de n umeros reales. A partir
de aqu es sencillo ver que (C, d) es un espacio m etrico completo. Es decir,
toda sucesi on de Cauchy es una sucesi on convergente.
4. Un subconjunto A C es cerrado si su complementario es abierto, o equi-
valentemente, coincide con su clausura A. Recordemos que z A si
> 0, D(z: ) A ,= .
Como estamos en un espacio m etrico, es interesante observar que esta propie-
dad se puede caracterizar por sucesiones:
z A (z
n
) A 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 sucesi on acotada posee una subsucesi on convergente.
6. Conexi on. Recordemos la denici on, en general.
O
z
w
O
(a)
(b)
.
O
z
1
z
2
z
n
N umeros complejos: conocimientos previos. 7
Denici on. Unespaciotopol ogico X se dice conexosi noes uni onde dos conjuntos
abiertos no vacos disjuntos (o, equivalentemente, si los unicos subconjuntos de X
cerrados y abiertos a la vez son y X).
Un subconjunto X C se considera espacio topol ogico con la topologa
inducida (o relativa) de C. Los abiertos en X son la intersecci on de los abiertos de
C con X.
Para el concepto de conexi on por arcos, hace falta recordar alg un concepto
previo.
i) Una curva en C es una aplicaci on : [a, b] C continua. (a) y (b)
son los puntos inicial y nal de la curva (se dice tambi en 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 est a contenida en un subconjunto A de C, si lo
est a 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 t w,
se llama segmento de extremos z y w. Efectivamente, el soporte de este arco
es el segmento con dichos extremos.
Esta notaci on que usamos confunde la curva con su soporte, lo cual no es muy
conveniente como se ver a en captulos posteriores. Pero, para los aspectos que
estamos aqu tratando no importa esta confusi on.
iv) Dados z
1
, z
2
, . . . z
n
C, llamaremos poligonal de v ertices z
1
, z
2
, . . . z
n
a la
uni on de los n 1 segmentos consecutivos que unen z
i
y z
i 1
. Es f acil ver
que esta uni on 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. An alogamente se puede dar
la denici on m as especca de conexo por poligonales.
En C y para abiertos, tenemos el siguiente:
8 N umeros complejos: conocimientos previos.
Teorema. Sea abierto de C. Son equivalentes:
i) es conexo.
ii) es conexo por arcos.
iii) es conexo por poligonales.
Tambi en podramos haber a nadido es conexo por poligonales de lados
paralelos a los ejes.
Es importante la hip otesis de que sea abierto. Si la quitamos, la implicaci on
i i ) 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 unica componente conexa es X.
7.2 Las componentes son disjuntas.
7.3 Cada subconjunto conexo de X est a contenido en una (y solo una) com-
ponente.
7.4 Si C es abierto, cada componente conexa de es un abierto de C
y existen, a lo m as, un n umero contable de componentes conexas.
7.5 Si X Ces unconjuntoacotado, C`X = X
c
posee una sola componente
no acotada.
0.6 COMPACTIFICACI

ON DE C
En este apartado, vamos a introducir el punto del innito complejo, , con el
objetivo de manejar conceptos como
limz
n
= , lim
z
f (z) = , lim
zz
0
f (z) = .
En C s olo aparecer a un punto del . Los conceptos y est an asociados
a R debido a que es un cuerpo totalmente ordenado.
La forma rigurosa de proceder es utilizando el teorema de compacticaci on
de Alexandrov de topologa general, aunque posteriormente el concepto se maneja
con facilidad. El resultado general dice lo siguiente:
N umeros complejos: conocimientos previos. 9
Teorema. Cualquier espaciotopol ogicolocalmente compactopuede 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 a nadir un punto que no est a 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 adem as 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).
- A nadimos un punto y denotaremos C

= C {}.
- Si G es la topologa de C, es decir, G es el conjunto de los abiertos de C,
denimos la topologa en C

como
G

= G {C

` K : K compacto de C}.
N otese que estos conjuntos que a nadimos son los entornos abiertos del punto
del .
Se comprueban, sin mucha dicultad, los siguientes hechos:
a. G

es una topologa en C

.
b. G

[
C
= G.
c. (C

,G

) es compacto.
La descripci on 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 signica z
n
, cuando {z
n
} C.
z
n
R > 0, n
0
N a n n
0
, z
n
C

` D(0, R).
Como z
n
C

` D(0, R) signica [z
n
[ > R, la denici on anterior es equivalente
a que la sucesi on de n umeros reales [z
n
[ tienda a .
(0,0,1)
s = ( x
1
, x
2
, x
3
)
(s) = ( , , 0)
x
1

1 x
3

x
2

1 x
3

10 N umeros complejos: conocimientos previos.
Observaci on.
Es un hecho te orico importante que esta topologa de C

es metrizable. Es
decir, se puede denir una m etrica en C

que da lugar a dicha topologa. No es

f acil describir una tal m etrica, de hecho, no tiene mucho que ver con la m etrica
de C. Se puede demostrar que no existe ninguna m etrica en C

que de lugar a la
topologa de C

y que extienda la m etrica de C. No obstante, y por completar este

estudio, en el siguiente apartado obtendremos una de estas m etricas.
9. Representaci on geom etrica de C

. La esfera de Riemann.
El plano no puede ser una representaci on geom etrica de C

, pues no queda
sitio para dibujar el punto del . No obstante, en la pr actica, conviene imaginarse
al punto del como algo que est a m as all a en todas las direcciones, es decir, como
la circunferencia de un crculo imaginario de centro el origen y radio .
Una buena representaci on geom etrica la di o Riemann utilizando la esfera
unidad de R
3
. Denotamos por
S = {(x
1
, x
2
, x
3
) R
3
: x
2
1
x
2
2
x
2
3
= 1}
a dicha esfera y la dotamos de la topologa relativa que le da la eucldea de R
3
.
Vamos a identicar C

con S algebraicamente (obteniendo una biyecci on entre

ambos) y topol ogicamente (dicha biyecci on ser a homeomorsmo).
La biyecci on es muy intui-
tiva si nos jamos en la gura
adjunta. Se proyectan los puntos
(x
1
, x
2
, x
3
) de S desde el polo
norte (0, 0, 1) sobre el plano
del ecuador x
3
= 0 y a (0, 0, 1)
[ unico punto que queda sin ima-
gen] se le asocia el punto del in-
nito C

.
Denotando por : S C

a esta biyecci on, es un sencillo problema de

geometra elemental obtener expresiones explcitas de y
1
:
(x
1
, x
2
, x
3
) =
x
1
i x
2
1 x
3
, si (x
1
, x
2
, x
3
) S ` {(0, 0, 1)},
y (0, 0, 1) = .

1
(z) = (
2+e z
[z[
2
1
,
2`mz
[z[
2
1
,
[z[
2
1
[z[
2
1
)
y
1
() = (0, 0, 1).
Se prueba que:
N umeros complejos: conocimientos previos. 11
Teorema. La aplicaci on , llamada proyecci onestereogr aca, es un isomorsmo
entre los espacios topol ogicos S (con la topologa eucldea relativa de R
3
) y C

(con la topologa G

).
Una vez tenemos este resultado, como S es m etrico (con la m etrica eucldea
d
3
), podemos tener una m etrica sobre C

como imagen de la eucldea por la

aplicaci on ,
d

(z
1
, z
2
) = d
3
(
1
(z
1
),
1
(z
2
)).
Esta m etrica se denomina distancia cordal (es la longitud de la cuerda que une los
puntos
1
(z
1
),
1
(z
2
)).
Haciendo las operaciones tenemos:
Proposici on. C

es metrizable y una de las m etricas que origina su topologa es

d

(z
1
, z
2
) =
2[z
1
z
2
[
((1 [z
1
[
2
)(1 [z
2
[
2
))
1/2
, z
1
, z
2
C,
d

(z, ) =
2
(1 [z[
2
)
1/2
, z C,
d

(, ) = 0.
0.7 CONTINUIDAD DE LAS FUNCIONES DE VARIABLE COMPLEJA
Por funci on compleja de variable compleja, entendemos una funci on cuyo do-
minio es un subconjunto de C y los valores que toma est an 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).
Identicando C con R
2
, 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) i v(x, y), z = x i y A.
Es decir, tener una funci on compleja de variable compleja es tener dos funciones
reales de dos variables reales.
Los conceptos de lmite y continuidad de funciones son totalmente an alogos
a los ya conocidos para R, as como sus propiedades, ya que en la denici on de
12 N umeros complejos: conocimientos previos.
estos s olo interviene el m odulo, que tiene las mismas propiedades tanto en R como
en C.
Sea f : A C C y sea z
0
C un punto de acumulaci on de A. Es decir,
D(z
0
: ) (A ` {z
0
}) ,= , > 0
(n otese que el punto z
0
puede pertenecer al dominio A o no).
Diremos que
lim
Aazz
0
f (z) = C
si (por denici on)
> 0, > 0 a (0 < [z z
0
[ < z A) [ f (z) [ < .
Como C es un espacio m etrico, esta denici on (, ) es equivalente a la denici on
por sucesiones. Es decir, a que ocurra
(z
n
) A ` {z
0
} a z
n
z
0
f (z
n
) .
Con las notaciones anteriores, diremos que f es continua en z
0
A si
lim
Aazz
0
f (z) = f (z
0
).
N otese que en este caso z
0
debe estar en el dominio de la funci on.
Observaci on.
Principalmente, trataremos con funciones f : C C, denidas en
abierto de C. Entonces, todo punto z
0
es de acumulaci on de y considerando
s sucientemente peque nos, no nos tenemos que preocupar de que los zs est en
el dominio. En este caso, acudiendo a la denici on, 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.
N umeros complejos: conocimientos previos. 13
Las propiedades de los lmites y funciones continuas (con demostraciones
an alogas a la de R) se pueden resumir en los siguientes apartados.
Sean f, g : C C y z
0
tal que
lim
zz
0
f (z) = , lim
zz
0
g(z) = .
Entonces:
1. Si f (z) = u(z) i v(z) = u(x, y) i v(x, y), z = x i y , z
0
= x
0
i y
0
,
lim
zz
0
f (z) = lim
(x,y)(x
0
,y
0
)
u(x, y) = +e lim
(x,y)(x
0
,y
0
)
v(x, y) = `m.
2.
lim
zz
0

f (z) g(z)

= .
3.
lim
zz
0

f (z) g(z)

= .
4. Si ,= 0,
lim
zz
0
f (z)
g(z)
=

.
5. Si f y g son continuas en z
0
, tambi en lo son las funciones f g y f g.
Asimismo, lo es f /g siempre que g(z
0
) ,= 0.
Observaci on.
Cualquier otra propiedad conocida en R que solo tenga que ver con el uso
del m odulo y la estructura de cuerpo, tambi en ser a cierta en C. Por ejemplo, el
lmite del producto de una funci on que tienda a 0 por otra funci on 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 innitos y en el innito.
Sea f : A C C, tal que es punto de acumulaci on del dominio A.
Por la denici on de los entornos del vista anteriormente, esto querr a decir que:
R > 0, A (C ` D(0: R)) ,=
14 N umeros complejos: conocimientos previos.
En estas condiciones, podemos hablar de lmites en el , considerando la topologa
de C

.
6. Diremos que
lim
Aaz
f (z) = C
si (por denici on)
> 0, R > 0 a ([z[ > R z A) [ f (z) [ <
o, equivalentemente, por ser C

espacio m etrico, la denici on por sucesiones,

(z
n
) A a z
n
= f (z
n
) .
7. Diremos que
lim
Aaz
f (z) =
si (por denici on)
S > 0, R > 0 a ([z[ > R z A) [ f (z)[ > S.
o, equivalentemente,
(z
n
) A a z
n
= f (z
n
) .
8. Si f : A C C y z
0
es un punto de acumulaci on de A, diremos que
lim
Aazz
0
f (z) =
si (por denici on)
R > 0, > 0 a (0 < [z z
0
[ < z A) [ f (z)[ > R.
o, equivalentemente,
(z
n
) A ` {z
0
} a z
n
z
0
= f (z
n
) .
Tambi en se cumplen las propiedades habituales, de las que se nalamos como
muestra las dos siguientes:
N umeros complejos: conocimientos previos. 15
i) Si
lim
zz
0
f (z) = C ` {0} y lim
zz
0
g(z) = 0
entonces
lim
zz
0
f (z)
g(z)
= .
ii) Si
lim
zz
0
f (z) = C ` {0} y lim
zz
0
g(z) =
entonces
lim
zz
0

f (z)g(z)

= .
Y tambi en se producen los casos de indeterminaci on habituales.
Es un buen ejercicio listar todas estas propiedades y demostrar, siguiendo las
deniciones, algunas de ellas.
Ejemplos.
1. Las funciones constantes ( f (z) = C, z C) y la funci on identidad
( f (z) = z, z C) son funciones continuas en todo punto de C.
2. Por operaciones con funciones continuas (suma y multiplicaci on), todo poli-
nomio
P
n
(z) = a
n
z
n
a
n1
z
n1
. . . a
1
z a
0
, a
i
C
es una funci on contnua en todo C.
3. Toda funci on 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
z
P(z)
Q(z)
= .
5.
lim
z
3z 5
z
2
1
= 0, lim
z
6z
3
5
2z
3
4z 1
= 3.
6. La funci on argumento principal
Arg : z C ` {0} Arg z (, ]( C)
16 N umeros complejos: conocimientos previos.
es continua en C ` (, 0].
En cualquier punto z
0
(, 0) no es continua, pues si
z
n
z
0
a `mz
n
> 0, entonces Arg z
n

y si
z
n
z
0
a `mz
n
< 0, entonces Arg z
n
.
De forma an aloga, la funci on Arg
[,2)
es continua en C ` {re
i
: r 0}.
Im agenes continuas de conexos y compactos
Finalmente, recordemos un par de resultados topol ogicos 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.