Funciones de Una Variable Compleja

Funciones de una variable compleja
Curso de Introduccin
Jos C. Sabina de Lis
Universidad de La Laguna
29 de octubre de 2013
ii
ndice general
PRLOGO
iv
1. El cuerpo de los nmeros complejos
1.1.
Los nmeros reales. Propiedades
1.2.
Los nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . .
1.3.
El argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
1.4.
Races
1.5.
Funciones complejas
n-simas
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
14
1.6.
. . . . . . . . . . . . . . . . . . . . . . . . .
a
Transformaciones bilineales. 1 nota . . . . . . . . . . . . . . . .
1.7.
Apnice: una revisin de trigonometra . . . . . . . . . . . . . . .
20
1.8.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
1.9.
Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
2. Continuidad y topologa en
2.1.
Convergencia y continuidad en
2.2.
Series
19
29
. . . . . . . . . . . . . . . . . .
29
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
2.3.
Conexidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
2.4.
Compacticacin de
C.
33
2.5.
Proyeccin de Steiner . . . . . . . . . . .
a
Transformaciones bilineales. 2 nota . . . . . . . . . . . . . . . .
2.6.
El teorema fundamental del lgebra
. . . . . . . . . . . . . . . .
42
2.7.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
3. Funciones analticas
38
47
3.1.
Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
3.2.
Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . .
49
3.3.
Funciones analticas
53
3.4.
Funciones exponencial y logaritmo
3.5.
Ejercicios
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
59
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
65
4. Derivabilidad en
71
4.1.
Derivabiliad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
71
4.2.
Funciones armnicas . . . . . . . . . . . . . . . . . . . . . . . . .
79
4.3.
Apndice: varias variables . . . . . . . . . . . . . . . . . . . . . .
81
4.4.
Ejercicios
82
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iii
iv
NDICE GENERAL
5. Integracin compleja
87
5.1.
Integral de Riemann compleja . . . . . . . . . . . . . . . . . . . .
87
5.2.
Integrales complejas
. . . . . . . . . . . . . . . . . . . . . . . . .
90
5.3.
El teorema de Cauchy en crculos . . . . . . . . . . . . . . . . . .
92
5.4.
Teoremas de Morera y de Goursat
. . . . . . . . . . . . . . . . .
96
5.5.
Ceros de las funciones holomorfas . . . . . . . . . . . . . . . . . .
96
5.6.
Principio del mdulo mximo . . . . . . . . . . . . . . . . . . . .
97
5.7.
ndice de una curva . . . . . . . . . . . . . . . . . . . . . . . . . .
98
5.8.
Teorema de Cauchy: versin homolgica . . . . . . . . . . . . . . 100
5.9.
Teorema de Cauchy: versin homotpica . . . . . . . . . . . . . . 104
5.10. Teorema de la aplicacin abierta

5.11. Ejercicios
. . . . . . . . . . . . . . . . . . 106
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
6. Singularidades aisladas
115
6.1.
Singularidades aisladas . . . . . . . . . . . . . . . . . . . . . . . . 115
6.2.
Desarrollos de Laurent . . . . . . . . . . . . . . . . . . . . . . . . 117
6.3.
Teorema de los residuos
6.4.
Ejercicios
BIBLIOGRAFA
. . . . . . . . . . . . . . . . . . . . . . . 121
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
131
Prlogo
Estas notas recogen el curso de introduccin a las funciones de una variable

compleja que he venido impartiendo en la Licenciatura en Matemticas de la
Universidad de La Laguna. Comprenden la materia obligatoria, un tanto exigua
por cierto, identicada en plan de estudios como Anlisis Matemtico VI.
No tienen, de momento, mayor pretensin que brindar al alumno la gua
escrita de un alto porcentaje del contenido de las lecciones de pizarra. Por otra
parte se usan para suprimir del discurso detalles relativamente rutinarios que
puede el estudiante completar por s mismo.
Beteta, diciembre de 2007
vi
NDICE GENERAL
CAPTULO 1
El cuerpo de los nmeros
complejos
1.1. Los nmeros reales. Propiedades

Mdulo identicaciones, los nmeros reales
constituyen el nico cuerpo
conmutativo, ordenado y completo (nociones que se denen a continuacin).
Conforman una ampliacin mejorada de conjuntos de nmeros ms elementales.
{Nn = {1, 2, 3, . . .}, los }enteros Z = {. . . , 2, 1, 0, 1, 2, . . .}

Q=
: n, m Z, m = 0 .
m
A saber, los naturales

y los racionales
Denicin 1.1
(Cuerpos)
Un conjunto
se dice un cuerpo conmutativo si

i)
ii)
(K, +)
dotado de dos operaciones + y
es un grupo abeliano (conmutativo).
(K \ {0}, )
es un grupo y es conmutativa.
iii) es distributiva con respecto a +.

Se dice que
(K, +)
es un grupo abeliano si para
x, y, z K
1)
x + (y + z) = (x + y) + z
2)
3)
4)
0 K : x + 0 = 0 + x = x
x,
x:x+x
=x
+x=0
x + y = y + x.
arbitrarios
x
se llama el opuesto de x y se escribe x. Anlogamente,
x y = xy , (K \ {0}, ) cumple (x, y, z K \ {0} cualesquiera):
En 3),
5)
6)
x(yz) = (xy)z
1 K \ {0} : x 1 = 1 x = x
7)
8)
x,
x : x
x=x
x = 1
xy = yx.
1
si abreviamos
CAPTULO 1.
EL CUERPO DE LOS NMEROS COMPLEJOS
Ntese que est implcito en 6) que 1 = 0. Se llama a x

el inverso de
1
escribe x . Finalmente iii) signica que para x, y, z K cualesquiera:
y se
x(y + z) = xy + xz.
La diferencia y el cociente de dos elementos
como
x
x y = x + (y), = xy 1 ,
y
x, y K (y = 0)
se denen
respectivamente.
Como consecuencia de la Denicin 1.1, en todo cuerpo
se cumplen una
serie de propiedades que son familiares en el contexto de los nmeros. A partir de

ahora sobeentenderemos el apelativo conmutativo al referirnos a los cuerpos.
Proposicin 1.2.
Sea
(K, +, )
un cuerpo. Se cumplen entonces las siguientes
propiedades:
1)
2)
x+y =x+z y =z
x+y =xy =0
5)
6)
x = 0, xy = xz y = z
x = 0, xy = x y = 1
3)
4)
x + y = 0 y = x
(x) = x.
7)
x = 0, xy = 1 y = x1
8)
x = 0, ((x1 )1 = x.
Las propiedades 3), 7) arman que el opuesto y el inverso de
son nicos.
Para completar el panorama familiar de las leyes del clculo se tiene la

propiedad siguiente.
Proposicin 1.3.
Si
(K, +, )
es cuerpo entonces para
1)
2)
0x=0
x = 0, y = 0 xy = 0
3)
4)
(x)y = x(y) = xy
(x)(y) = xy.
x, y K
arbitrarios:
Demostracin. En el caso de 1):
x 0 = x(0 + 0) = x 0 + x 0 x 0 = 0.
Para 2) si
x = 0
y fuese
xy = 0
resultara
y=0
contra lo supuesto.
Asimismo se tienen las relaciones:
xy + (x)y = 0,
xy + x(y) = 0
de donde se deduce 3). Para 4):
(x)(y) = x(y) = (xy)) = xy.
Siguiendo [22] damos la siguiente denicin de orden total.
1.1.
LOS NMEROS REALES. PROPIEDADES
Denicin 1.4.
Un conjunto
(totalmente) ordenado es aqul que posee una
relacin < que cumple las propiedades:

i) Dados
x < y,
x, y K se
x=y o
o bien
x<y
satisface slo una de las siguientes propiedades: o bien

bien
y < x.
&
y<z
implican
Es habitual denotar
xy
si
ii) (Transitiva)
x < z.
x < y o x = y . Asimismo y > x e y x se usan

x < y , x y , respectivamente. Es tambin
de orden en la forma x y .
indistintamente para representar

habitual introducir la relacin
Otra denicin clave para caracterizar los nmeros reales es la de cuerpo

ordenado.
Denicin 1.5.
Un cuerpo
(K, +, )
dotado de una relacin de orden total
< se dice un cuerpo ordenado si se cumplen las siguientes propiedades de

compatibilidad:
1)
y <z x+y <x+z
2)
x > 0, y > 0 xy > 0.

K
Si
es un cuerpo ordenado y
x K
entonces o bien
x > 0
x = 0
x < 0.
x < 0.
En el primer caso se dice que x es positivo, mientras x negativo signica

+
Se denota por K
a los elementos positivos de K . La denicin 1.5 dice
+
que el orden es invariante por traslaciones [1)] y que K
es invariante frente al
producto [2)].
Proposicin 1.6.
1)
K+
2)
x < y y x > 0.
es invariante frente a la suma.
Es tambin habitual introducir la nocin de cuerpo ordenado a travs de

los elementos positivos. En este enfoque primero se distinguen en el cuerpo K
+
quines son los elementos positivos K . Una vez conocidos stos se dice que
+
y > x si y x K (ver [2]). Otras propiedades de los cuerpos ordenados son
las siguientes.
Proposicin 1.7.
1. Si
x>0
entonces
x < 0,
2. Si
x>0
entonces
y < z xy < xz .
3. En cambio,
4. Si
x = 0
x<0
resulta
y<z
x > 0.
mientras
implican
x < 0 x > 0.
xy > xz .
En particular
Demostracin. Para probar 1) si
x>0
1 > 0.
resulta
x + (x) > x
luego
x < 0.
Las dems se prueban igual.
Ejercicio 1.1. Para
pN
primo se designa por
cuerpo ordenado con su orden natural?
Zp
el cuerpo
Z/pZ.
Es
Zp
un
CAPTULO 1.
Observaciones 1.1.
a) Si
es un cuerpo ordenado podemos considerar la inyeccin:
I:
I(n) = n 1 := 1+ +1.
n)
N se deduce que todo cuerpo ordenado contiene a los

p
: p, q Z, q = 0}, mientras
racionales Q. En efecto Q se obtiene como Q = {
q
Z = {p : p N} {0}.
Identicando
I(N)
con
b) En las propiedades listadas hasta ahora de los cuerpos ordenados no se observa

ninguna caracterstica especial que permita distinguir
de
R.
Esta es la sea
de identidad de la propiedad de continuidad o completitud que presentamos a

continuacin.
Siguen ahora dos nociones habituales de los conjuntos ordenados. El calicativo ordenado hace referencia a la Denicin 1.4 (cf. [22]).
Denicin 1.8
b K
(Cotas)
Sea
es una cota superior de
un conjunto ordenado,
si
x b
para cada
E K.
x E.
Se dice que
De manera
simtrica se dene cota inferior.

Si
admite cota superior se dice acotado superiormente.
Denicin 1.9 (Supremos).

a todo elemento
1.
cK
es cota superior de
2. Si
b<c
entonces
Sea
E K, K
ordenado. Se llama supremo de
que cumpla las propiedades:
E.
no es cota superior de
Pudiera no haber elementos
E.
con tales propiedades. Si un tal
por 2) necesariamente nico. Esto sugiere la notacin
sup E .
existe, es
La nocin de
nmo se introduce de manera simtrica.
Denicin 1.10.
K posee la propiedad del supremo

E K acotado superiormente (infe-
Un conjunto ordenado
(repectivamente, nmo) si todo conjunto

riormente) admite supremo (nmo).
Se cumple la siguiente propiedad (cf. [22]).
Teorema 1.11.
Si un conjunto ordenado
posee la propiedad del supremo
entonces tambin cumple la del nmo.
N a Q consiste en ir dotando de opuestos e

N. Desde este punto de vista Q est libre de defectos
El proceso gentico que lleva de

inversos a los elementos de
sin embargo se tiene la siguiente propiedad.
Proposicin 1.12.
mientras
El conjunto
{y Q : y 2 > 2}
{x Q : x2 < 2}
tampoco posee nmo en
no admite supremo en
Q.
1.1.
Est implcito en la proposicin que no es posible hallar
2 en Q (hecho que
por otra parte se demuestra de manera directa).
Ejercicio 1.2. Probar que no existe
p
=2
q
que
donde
p, q
x 2 = 2.
tal que
A tal n, supngase
no son pares simultneamente.
El que un cuerpo ordenado

que
xQ
posea la propiedad del supremo quiere decir
es en cierta forma continuo, es decir no presenta suras. Topolgica-
mente hablando esto signica que es cerrado frente a paso al lmite o si quiere,
que es completo. En este sentido
la de ampliar
Denicin 1.13.
reales si
es defectuoso y la razn de construir
es
para incluirlo en una envoltura (topolgicamente) cerrada.
Se dice que un cuerpo ordenado
es un cuerpo de nmeros
posee la propiedad del supremo.
Un problema natural es el de la existencia de un cuerpo de nmeros reales,

cuestin que a nales del siglo XIX se conoca como el problema del continuo
([1]). G. Cantor y R. Dedekind dieron en 1876, pruebas distintas de la existencia
de un tal cuerpo a partir de los nmeros racionales
Q . El primero a travs de las
sucesiones de Cauchy, el segundo por medio de las as denominadas cortaduras de nmeros racionales. Tales construcciones fueron los primeros frutos por
cierto bastante controvertidos en su tiempo, por no decir revolucionarios que
aport a la matemtica del ltimo cuarto del XIX la recin estrenada teora de
conjuntos. David Hilbert, el prestigioso matematico alemn, no dud en calicar
de paraso el nuevo escenario que dicha teora propici en la matemtica (cf.
[1]). No nos ocupamos de tales construcciones de
R pero los resultados obtenidos
son equivalentes porque todos los cuerpos de nmeros reales coinciden (mdulo
identicaciones). La base de esta armacin radica en que todo cuerpo ordenado
contiene una copia de los nmeros racionales
Teorema 1.14.
Sea
(Observacin 1.1).
un cuerpo de nmeros reales. Entonces,
i) [Propiedad Arquimediana]. Dado
nx > y .
x > 0 para todo y R existe n N tal

m Z tal que (m 1)x y < mx.
que
En particular, existe un nico
ii) [Densidad de
Q].
Dados
x<y
existe
Observacin 1.2. Todo espacio mtrico

de suerte que
X Y
X.
(X, d)
tal que
x < q < y.
se puede completar a otro
(Y, d)
(en un sentido a precisar). El proceso el rplica de la
construccin de Cantor de
Cauchy de
qQ
R identica los elementos de Y
con las sucesiones de
La propiedad precedente establece que todo cuerpo de nmeros
reales se identica con las sucesiones de Cauchy de sus nmeros racionales.

En efecto ii) arma que todo
x R
es el lmite de una sucesin de nmeros
racionales. Es por ello que todos los cuerpos de nmeros reales son isomorfos.
En consecuencia a partir de ahora hablaremos de un slo cuerpo de nmeros
reales que designaremos por
R.
Demostracin del Teorema 1.14. i) Suponiendo
nx y
y>0
si fuese
CAPTULO 1.
para todo
n,
existira un supremo
de
{nx}nN
con lo que
c x < mx
para algn
ii) Como
m N.
c < (m + 1)x
De ah,
yx>0
que no es posible.
se tiene de i) que
yx>
para algn
nN
1
,
n
con lo que
x<x+
Asimismo se sigue la existencia de
1
< y.
n
m1 , m 2 N
nx < m1 ,
de suerte que:
nx < m2 ,
es decir:
m2 < nx < m1 .
mZ
Por nitud existe un nico
tal que:
m 1 nx < m,
con lo que la segunda armacin de i) queda probada mientras:
m1
m
x< .
n
n
De ah se concluye:
x<
m
1
x + < y.
n
n
Observacin 1.3. La idea para probar ii) es primeramente estimar por defecto
la distancia
yx
con
1
.
n
Despus se mide
tomando
1
n
como unidad.
El problema fundamental de la extraccin de races n-simas se puede resolver en cualquier cuerpo
Teorema 1.15.
de nmeros reales.
Para todo
x R, x > 0,
existe un nico
y>0
tal que
y n = x.
Demostracin. a) Unicidad. Es consecuencia de que
b) Existencia. Se considera el conjunto:
E = {t R : tn < x}.
y1 < y2 y1n < y2n .
1.1.
Resulta que
E =
pues:
1
E.
1 + x1
De hecho obsrvese que
(1 + z)n > 1 + nz,

b=1+x
Anlogamente,
es cota superior de
z > 0.
E
con lo que existe
y = sup E.
Probamos que no puede ser:
yn < x
porque existira
h>0
con
(y + h)n < x.
La clave est en medir el incremento en la funcin
bn an < nbn1 (b a),

Hay que elegir
h>0
de forma que
bn .
De hecho:
0 < a < b.
(y + h)n y n < x y n .
Tomando
(y + h)n y n < nh(y + h)n < nh(y + 1)n < x y n ,

para lo que basta con que:
h < mn{1,
x yn
}.
n(y + 1)n
Tampoco puede ser:
y n > x,
porque encontramos
h>0
tal que:
(y h)n > x.
En efecto se tiene:
(y h)n x = y n x (y n (y h)n )
y se busca
0<y<h
para que:
y n (y h)n < y n x.
Usando la estimacin anterior se tiene:
y n (y h)n < nhy n1

y basta con tener:
0<h<
En conclusin, resulta
yn = x
yn x
.
ny n1
y hemos terminado.
0 < h < 1:
CAPTULO 1.
1.2. Los nmeros complejos

Un problema fundamental desde los tiempos de la matemtica babilnica y
egipcia es el de la resolucin de ecuaciones algebraicas (cf. [15]). Hay ecuaciones
algebraicas en
que carecen de solucin como:
x2 + 1 = 0.
En efecto, la Proposicin 1.7 arma que
elementos en
diendo
(1.1)
x = 0 x2 > 0
por lo que no hay
que satisfagan dicha ecuacin. Este problema se resuelve exten-
a un cuerpo ms amplio
Denicin 1.16.
El cuerpo
que introducimos ahora.
de los nmeros complejos se dene como:
C = {(a, b) : a, b R},
con las operaciones + y :
(a, b) (c, d) = (ac bd, ad + bc).
(a, b) + (c, d) = (a + c, b + d),
Sus elementos, genricamente designados por
Proposicin 1.17.
(C, +, )
z,
se llaman nmeros complejos.
es un cuerpo en el que:
= {(x, 0) : x R}
es un subcuerpo isomorfo a
R.
z 1
Proposicin 1.18.
z = (a, b) entonces:
(
)
a
b
=
,
.
a2 + b2 a2 + b2
Si
El nmero complejo
i := (0, 1),
satisface
i2 = (1, 0).
El conjunto
C de los nmeros complejos no es sino R2 , en donde se ha denido
un producto. Esta presentacin de los nmeros complejos se debe directamente

a K. F. Gauss y fue, en su momento, el primer tratamiento riguroso de esta clase
de nmeros. Es por tanto un
espacio vectorial donde para
R:
z := (, 0) (a, b) = (a, b).

Como los complejos
escribir
en lugar de
Proposicin 1.19.
{(a, 0) : a R} constityen una copia de R

(a, 0). Bajo esta observacin se tiene.
Todo complejo
es costumbre
se escribe en la forma:
z = a + bi.
(1.2)
1.2.
Se conoce a
LOS NMEROS COMPLEJOS
como la unidad imaginaria. Siendo
1 = (1, 0)
resulta que
son las soluciones de la ecuacin (1.1).
Denicin 1.20.
Para
real e imaginaria de
z,
z = (a, b) = a + bi C
se conocen a
a, b
como las partes
y se denotan:
a = z,
Anlogamente se designa por:
el complejo conjugado de
b = z.
z = a bi
z.
Sigue ahora una obviedad.
Proposicin 1.21.
Dados
z1 , z2 C
se tiene:
z1 = z2 (z1 = z2 & z1 = z2 ).
A continuacin, un grupo de propiedades bsicas.
Proposicin 1.22.
Sean
z, w C
1.
z = z .
2.
z + w = z + w
.
3.
zw = zw
.
z + z
z z
z =
, z =
.
2
2i
z z R+ , z z = 0 z = 0.
4.
5.
entonces:
Ejercicio 1.3. Un polinomio de coecientes complejos se dene como p(z) =

n
k
k C. Prubese que es raz de p si y slo si es

k=0 ank z , donde los a
n
k
nk z . Demostrar asimismo lo siguiente:
raz del polinomio p
(z) = k=0 a
i) Si
p(z)
ii) Si
p(z)
tiene coecientes reales raz
raz.
tiene coecientes reales y grado impar entonces admite al menos una
raz real.
Denicin 1.23.
Dados
z, w C
se dene su producto escalar como:
z, w = (z w),
z (su norma
|z| = z z.
por lo tanto, el mdulo de un complejo
Proposicin 1.24.
1.
|z| 0
2.
|
z | = |z|.
Sean
z, w C
|z| = 0 z = 0.
entonces:
eucldea) se dene
10
CAPTULO 1.
3.
|zw| = |z||w|.
4.
|z| |z|, |z| |z|.
5.
|z + w| |z| + |w|.
6.
|z w|2 = |z|2 + |w|2 2z w

.
La Proposicin 1.24 introduce la distancia eucldea en C y la principal conC es la de R2 con la norma eucldea. Desde este
clusin es que la topologa de
punto de vista damos ipso facto sentido a todas las posibles cuestiones de convergencia en
(sucesiones, series, lmites, continuidad, compacidad, conexin,
etc). No obstante, detallaremos algunos aspectos ms adelante.
Denicin 1.25.
Dados
z, w C
la distancia eucldea entre ambos se dene
como:
dist(z, w) = |z w|.
Representaremos la bola (usaremos tambin el trmino disco) abierta como:
D(z0 , r) = {z : |z z0 | < r}.

Abreviaremos
D = D(0, 1)
el disco unidad. Asimismo
D(z0 , r) = {z : |z z0 | = r}.
designar la frontera de
D(z0 , r).
Observacin 1.4. En todo espacio mtrico se pueden elegir una innidad de

mtricas equivalentes. En su momento consideraremos mtricas alternativas a
la eucldea.
1.3. El argumento
Se prueba en el Apndice que la aplicacin:
h:
es sobreyectiva. Es ms, su restriccin

dado
z = 0
existe un nico
[0, 2)
D
cos + i sen
h0
[0, 2)
es biyectiva y es por ello que
tal que
z = |z| cos + i|z| sen ,

que es la representacin trigonomtrica de
2 -peridica
y la restriccin
de
con
(1.3)
[0, 2). Por otra parte, h es

[, 2 + ) tambin es
a cualquier intervalo
biyectiva con lo que hay una nica respresentacin en la forma (1.3) siempre que
se restrinja a variar en un intervalo de longitud total 2

En otras palabras, para z C \ {0} se tiene que:
de la forma
[, 2 + ).
1.3.
11
EL ARGUMENTO
jado
existe un nico
todos los dems
[, + 2)
para los que (1.3) se cumplen son necesariamente
de la forma
para algn
tal que (1.3) se cumple.
= + 2k,
k Z.
Segn se indica en el Apndice y tras la oportuna denicin de la funcin

exponencial compleja (cf. Captulo III) se satisface la frmula de Euler:
ei = cos + i sen .
Quienes preeran esperar hasta el Captulo III pueden usar
h() en lugar de ei .
Las propiedades fundamentales que emplearemos:
h(t + s) = h(t)h(s),
h(0) = 1,
h(/2) = i,
se demuestran en el apndice y son coherentes con la notacin exponencial.

Por tanto
z = |z|ei
(1.4)
es lo que se conoce como la representacin exponencial de
z.
A los efectos del presente curso nos interesa conocer la dependencia en

los diversos valores de
z.
como los argumentos de

como meros valores de
de
sealados en las relaciones (1.3) y (1.4). Se les conoce

Pondremos cuidado en diferenciar los argumentos
que cumplen (1.3) o (1.4) para un
jado, del concep-
to de funcin argumento, adelantando que es posible elegir innitas de tales

funciones.
Denicin 1.26.
Un argumento de
z C\{0} es todo valor de
que da validez
arg z al nico
[0, 2), mientras que llamaremos argumento principal Arg z al nico
(, ].
a cualquiera de las expresiones (1.3) o (1.4). Representaremos por
de tales
Para un complejo dado
z = 0)
(siempre que se hable de argumentos se entender
todos sus argumentos se pueden representar en la forma:
{arg z + 2k : k Z}.
Proposicin 1.27.
Dados
z1 , z2 C, z1 = z2
|z1 | = |z2 |
Proposicin 1.28.
, 1 , 2
1.
2.
Sean
z, z1 , z2
&
arg z1 = arg z2 .
complejos con argumentos
entonces:
1
= 1 ei
z
1
z1
= ei(1 2 ) .
z1 z2 = 1 2 ei(1 +2 ) ,
z2
2
z = ei ,
si y slo si:
, 1 , 2
y mdulos
12
CAPTULO 1.
3. Para
nN
se tiene (frmula de d'Moivre):
z n = n ein = n (cos n + i sen n).

arg z1 z2 = arg z1 + arg z2
Obsrve que no es cierto que
arg z2 .
arg
z1
= arg z1
z2
Las relaciones correctas son:
arg z1 z2 = arg z1 + arg z2
(mod 2),
z1
= arg z1 arg z2
z2
arg
(mod 2).
R, h designa la resh al intervalo [, + 2), = {th( ) : t 0} la semirrecta cerrada

con direccin h( ) = C \ el plano C cortado a lo largo
A los efectos de las deniciones que siguen, para

triccin de
0
.
desde
de
Proposicin 1.29.
Para
arg :
se dene la funcin:
C \ {0}
[, (
+ 2)
)
z
1
h
.
|z|
Se satisfacen entonces las siguientes propiedades.

1) Para cada
z , arg z
es un argumento de
z:
z = |z|ei arg z .
(1.5)
arg es continua en mientras es discontinua

. Ms an, arg es C en con:
2)
(arg )x =
3)
x
,
|z|2
en cada uno de los puntos de
(arg )y =
y
.
|z|2
arg +2k = arg +2k .
4) Para
[0, 2)
se tiene:
{
arg z =
arg z
arg z + 2
arg z < 2
0 arg z < .
Observacin 1.5. Las propiedades 3), 4) permiten expresar
arg.
En efecto todo
tanto:
se escribe
= + 2k
{
arg z + 2k
arg z =
arg z + 2(k + 1)
arg en trminos de
[0, 2). Por
para un nico
arg z < 2
0 arg z < .
Demostracin de la Proposicin 1.29. Que arg es continua en y se cumple

la identidad (1.5) es consecuencia de la denicin de dicha funcin. La discon
tinuidad en se razona as: existen n h( ), n h( ), |n | = |n | = 1,
1.3.
13
EL ARGUMENTO
lm arg (n ) = , lm arg (n ) = + 2 . Si z , z = th( ) = lm tn = lm tn

de donde se concluye la discontinuidad.
La regularidad es ms delicada y requiere un razonamiento ad hoc. Hacemos una construccin explcita de la funcin
arg z .
Denimos
rama de la funcin arcotangente que toma valores en el intervalo
Arctag
2
arg z = Arctag
Arctag
Entonces:
Un anlisis cuidadoso revela que
z
z
z
z
z
z
+ 2
arg z
z
z
z
z
z
0, z
= 0, z
<0
= 0, z
> 0, z
Arctag x la
[/2, /2].
>0
>0
<0
< 0.
tiene esa expresin y que
arg z
es
en
C \ {0}.
arg z + 2k es un argumento de z
[ + 2k, + 2(k + 1)). Anlogamente, el lado derecho de 4) es
en el intervalo [, + 2).
La propiedad 3) sigue del hecho de que

en el intervalo
un argumento
0 1 < 2 < 2 comprense las funciones argj , j = 1, 2.

arg2 arg1 = 0 para 2 arg2 z < 1 + 2 , arg2 arg1 = 2 si
1 arg z < 2 .
Ejercicio 1.4. Para

Solucin.
Ejercicio 1.5. Sean

rense las funciones
1 , 2 arbitrarios.
argj , j = 1, 2.
Haciendo uso de los valores
comp-
Hemos empleado el trmino argumento de z para designar un valor tal que

ei = z/|z|. Luego hemos denido funciones = (z) que, continuas en dominios
especiales", asignan a cada z en dichos dominios un valor que es un argumento
de z . Esta ltima acepcin puede extenderse a una nocin ligeramente ms
amplia de funcin argumento.
Denicin 1.30.
que
(g, )
Sean
C \ {0}
un abierto conexo y
g C(, R).
Se dice
es una determinacin (o una rama) de la funcin argumento (en
si
eig(z) = z/|z|
para cada
z .
Consecuencia inmediata de la continuidad y la conexidad en la denicin es

la siguiente propiedad.
Proposicin 1.31.
Sean
(g1 , 1 ), (g2 , 2 )
determinaciones del argumento. En-
tonces:
g2 = g1 + 2k
para cierto entero
particular,
g1 , g2
k,
en cada componente conexa de la interseccin
dieren en un mltiplo entero de
si
1 = 2 .
1 2 .
En
14
CAPTULO 1.
1.4. Races n-simas

Para
zC
la ecuacin
wn = z,
admite exactamente
soluciones distintas:
arg z+2k
n
|z|ei n
,
wk =
0 k n 1.
Tales expresiones denen las n races nsimas de z . Usando la identicacin de

C con R2 , w0 , . . . , wn1
conforman un polgono regular de n lados inscrito en la
n
circunferencia de radio
|z|. De hecho, y de acuerdo a la denicin que damos
un poco ms abajo:
(wk , wk+1 ) =
donde ponemos
2
,
n
k = 0, . . . , n 1,
wn = w0 .
Proposicin 1.32.
Sea fk (z), fk : C C la funcin que asigna a cada z su

k -sima raz. Entonces fk es continua en C\{x > 0} siendo su conjunto imagen
2k
2(k + 1)
el sector {
arg z <
}.
n
n
Observacin 1.6. Las races n-simas pueden indistintamente expresarse mediante cualquier determinacin del argumento. Por ejemplo:
k =
arg z+2k
n
n
|z|ei
,
0 k n 1.
En partcular, se conoce como rama principal de la raz

parte principal de la raz
n-sima
n-sima
o funcin
a la aplicacin
f (z) =
Arg z
n
|z|ei n .
1.5. Funciones complejas

Denicin 1.33.
cin
f de variable compleja es
f (A) su conjunto imagen.
Una funcin compleja
f : A C C. A
es su dominio,
toda aplica-
Con frecuencia representaremos tales funciones en forma abreviada como
w = f (z).
Poniendo
f (z) = u + iv
es decir
R2
u = f , v = f ,
toda funcin compleja
equivale a una aplicacin de
es s mismo de la forma:
F :
A R2
(x, y)
R2
F (x, y) = (u(x, y), v(x, y)).
No obstante y como norma general evitaremos en lo posible apelar a la forma

real
de las funciones que usaremos en el curso. Esta poltica es por otra parte
ventajosa para muchos de los clculos que afrontaremos, en especial, aquellos en

donde, por poner un ejemplo, el producto de complejos juega un papel relevante.
1.5.
15
FUNCIONES COMPLEJAS
Ejemplos 1.7.
1) La funcin lineal afn:
a, b C.
f (z) = az + b,
2) Polinomios:
p(z) =
ank z k = a0 z n + + an ,
aj C.
k=0
3) Funciones (transformaciones) bilineales:
f (z) =
az + b
,
cz + d
a, b, c, d C.
4) Funciones racionales:
n
ank z k
p(z)
a0 z n + + an
f (z) =
= k=0
=
.
m
l
q(z)
b0 z m + + bm
l=0 bml z
5) Ramas de la raz
n-sima.
fk (z) =
Usando el argumento principal:
Arg
n
|z|ei
z+2k
n
k = 0, . . . , n 1.
En el caso de la raz cuadrada stas son
f0 (z)
f1 (z) = f0 (z)
donde
|z|eiArg z/2
= |z| (cos Arg z/2 + i sen Arg z/2)
(
)
|z| + x
|z| x
+ i signo y
= |z|
2|z|
2|z|
(
)
1
=
|z| + x + i signo y |z| x .
2
f0 (z) =
Las funciones complejas elementales al denir funciones del plano en s mismo

pueden interpretarse como transformaciones geomtricas. Introducimos primero
una denicin.
Denicin 1.34.
Dados
z1 , z2 C
el ngulo orientado de
como:
(z1 , z2 ) = arg
z1
z2
se dene
z2
[0, 2).
z1
Nuestra denicin de ngulo orientado diere de la eucldea convencional.

Por denicin
(z1 , z2 ) = arg
z2
= t,
z1
16
CAPTULO 1.
con
que
z2
= h(t) = h(t), donde para cada t R, t designa al nico nmero real
z1
satisface las relaciones t = t + 2k y t [0, 2). Como se tiene que
t = 2 t,
z1
= h(t) = h(t)
z2
mientras
resulta que:
(z2 , z1 ) = 2 (z1 , z2 ).
Como era de esperar
(z2 , z1 )
es el opuesto de
(z1 , z2 ).
Observaciones 1.8.
1) Se comprueba que:
(z1 , z2 ) = arg z2 arg z1

pudindose reemplazar en dicha expresin
2)
arg z
(mod 2),
por
arg z .
(1, z) = arg z , (z, 1) = 2 arg z .
Denicin 1.35.
y ngulo
f : C C es un
|f (z) z0 | = |z z0 |
Se dice que la aplicacin
[0, 2)
si 1)
f (z0 ) = z0 ,
2)
giro de centro
z0
(z z0 , f (z) z0 ) = ,
para cada
z = z0 .
Ejercicio 1.6. Hallar la expresin de
f (z)
en la denicin precedente.
1 , 2 dos curvas de clase C 1 parametrizadas por sendas parametrizaciones j : [a, b] C, t 7 j (t) = xj (t)+iyj (t), j = 1, 2, con vectores tangentes
1
en t [a, b] dados por j (t) = xj (t) + iyj (t). La propia denicin de curva C
requiere que j (t) = 0 para todo t [a, b] (ver tambin el Captulo V).
1
Si dos curvas C inciden en un punto z0 se dene el ngulo orientado de 1
a 2 en z0 como:
(1 (t0,1 ), 2 (t0,2 )),
Sean
donde
z0 = j (t0,j ), j = 1, 2.
La no depende de las parametrizaciones.
j : [c, d] C, j = 1, 2, parametrizaciones alternativas de

1
las curvas 1 , 2 es decir j (s) = j (hj (s)) con hj : [c, d] [a, b] de clase C ,
hj (s) = 0 para todo s [c, d], j = 1, 2. Suponiendo que 1 , 2 inciden en z0 y

que t0,j = hj (s0,j ), j = 1, 2, prubese que la denicin precedente de ngulo no
depende de si se usan las parametrizaciones j o j .
Ejercicio 1.7. Sean
La que sigue es una nocin importante para la interpretacin geomtrica de

las funciones complejas que son derivables (segn veremos ms tarde).
1.5.
17
FUNCIONES COMPLEJAS
Denicin 1.36.
2
2
Sean R un abierto y F : R , F (x, y) = (u(x, y), v(x, y))
1
una funcin de clase C . Se dice que F es conforme si es inyectiva, el jacobiano
(u,v)
(x,y) no se anula en ningn punto y F preserva el ngulo orientado de las
curvas incidentes, es decir:
(F (1 )), F (2 )) = (1 , 2 ).
Ejemplos 1.9.
1. Traslaciones. La funcin
una traslacin de vector

2. Homotecias. Para
de razn
(centro
3. Giros. La funcin
a C.
a > 0 la
z = 0).
funcin
f (z) = ei z
f (z) = z + a, a C
f (z) = az
representa
representa una homotecia
constituye un giro de centro
z=0
y ngulo
segn comprobamos ahora. En efecto:
|w| = |z|,
para
w = ei z
luego
dista lo mismo que
del origen. Por otro lado:
(z, w) = (z, ei z) =
que informa que el ngulo de
es
, lo que signica que hemos dado
un giro de
grados alrededor del origen. Debe observarse la diferencia
>0
< 0.
entre
Ntese que si
> 0:
(z, ei z) = 2
y el resultado es como si hubisemos girado
alrededor del origen (ver
el Ejercicio 1.8).
4. Movimientos rgidos. La funcion
f (z) = az + b,
con
a, b C, |a| = 1,
comprende a los movimientos rgidos del plano (traslaciones y giros).

5. Si
a = |a|ei
f (z) = az representa un giro seguido de una

|a|. Por tanto la funcin f (z) = az +b, a, b, comprende
la funcin
homotecia de razn
a todas las semejanzas (giros, traslaciones y homotecias).
f (z) = z
6. Simetra axial. La funcin conjugado
representa una simetra
axial con respecto al eje real. Obsrvese que esta transformacin invierte
la orientacin en el sentido siguiente:
(
z1 , z2 ) = 2 (z1 , z2 ) = (z2 , z1 ).
7. Inversin. Una inversin de polo
z w en la que w
|z||w| = k . Por tanto:
cin
z=0
y potencia
k>0
est en la misma semirrecta que
w=
k
.
z
es la transforma-
0 y z , cumpliendo
18
CAPTULO 1.
Las inversiones transforman: rectas que pasan por el polo en si mismas,

rectas que no pasan por el polo en circunferencias que pasan por el polo,
circunferencias que pasan por el polo en rectas que no pasan por el polo y
circunferencias que no pasan por el polo en circunferencias que tampoco
pasan por el polo (Ejercicio 1.13). Por otro lado son involutivas en el sentido de aplicadas dos veces dan lugar a la identidad. Obsrvese nalmente
que la funcin
1
,
z
razn 1
f (z) =
equivale a aplicar una inversn de
8. Transformaciones bilineales
seguida de una simetra axial.
az + b
.
cz + d
T (z) =
Comprenden a todas las an-
teriores. Se estudian en la siguiente seccin.
Proposicin 1.37.
Las funciones
f (z) = az + b
f (z) =
maciones conformes en sus dominios de denicin.
1
z
denen transfor-
Ejercicio 1.8. Hllense las ecuaciones reales de la transformacin
w = ei z
probando que denen una transformacin ortogonal que preserva la orientacin

2
del espacio eucldeo R . Constituye un giro de grados segn la terminologa
eucldea.
Ejercicio 1.9. Hllense las funciones que representan las siguientes transformaciones geomtricas:
a) Homotecia de centro
b) Giro de centro
z0
z0
y razn
y ngulo
a > 0.
c) Simetra axial con respecto a la recta que pasa por un punto

i
direccin del complejo e 0 .
d) Inversin de polo
z0
y potencia
Ejercicio 1.10. Probar que
za
b
z0
y tiene la
k > 0.
)
= 0,
a, b C,
b = 0,
dene la ecuacin general de una recta. Deducir que
za
b
= 0,
a, b C,
b = 0,
tambin constituye la ecuacin de la recta (ver el Ejercicio 22).

Ejercicio 1.11. Deducir la ecuacin de una circunferencia en versin compleja.
Estdiense las condiciones bajo las que:
o bien
|z|2 + 2z + d = 0
(d, C)
|z|2 + 2z + d = 0
(d, C)
constituyen la ecuacin de una circunferencia (vase el Ejercicio 24).
1.6.
TRANSFORMACIONES BILINEALES.
Ejercicio 1.12. Prubese que toda semejanza
1A
19
NOTA
f (z) = cz + d, c, d C
transforma
rectas en rectas y circunferencias en circunferencias.

Ejercicio 1.13. Prubense las propiedades de las inversiones listadas en el apartado 7.
1.6. Transformaciones bilineales. 1a nota

Tambin conocidas como transformaciones de Mbius. Estn denidas por
las funciones:
f (z) =
az + b
,
cz + d
a, b, c, d C,
donde, para obviar casos triviales, se supone que

tenemos una semejanza luego si
c = 0:
:= ab cd = 0.
Si
c = 0
f (z) = f3 f2 f1 (z),
donde
Como
f1 (z) = cz + d, f2 (z) = 1/z , f3 (z) = a1 z + b1 , a1 = c2 , b1 = ac1 .

compendio de todas las transformaciones anteriores f aplica rectas o cir-
cunferencias en rectas o circunferencias. Veremos en el Captulo IV que, como

consecuencia de la derivabilidad, las transformaciones bilineales denen transformaciones conformes preservando el ngulo orientado entre curvas incidentes.
El Ejercicio 32 propone una prueba directa de este hecho (ver tambin la Seccin
2.1 del Captulo II).
Bajo la condicin
= 0que
siempre supondremos el conjunto
de las
transformaciones bilieales conforma un grupo. Por ejemplo,
f 1 (z) =
GL2 el grupo de las matrices complejas

: GL2 M denida por (A) = f , con
(
)
a b
A=
c d
Si denotamos por
transformacin
dz c
.
bz + a
e invertibles
es un homomorsmo de grupos (sobreyectivo). Adems (Ejericicio 28)
(B) si y slo si A = B para algn C. La restriccin

A con detA = 1 es todava sobreyectiva (Ejercicio 29).
de
22
la
(A) =
a las matrices
20
CAPTULO 1.
1.7. Apnice: una revisin de trigonometra

Se sabe que el problema de Cauchy:
d u + u = 0
dt2
u(t ) = u ,
0
u (t0 ) = u0 ,
d
=
dt
)
(1.6)
admite, para t0 , u0 , u0 R arbitrarios una nica solucin u = u(t) que es de

2
clase C y est denida en R. Ms an, si u = f (t) es la solucin correspondiente
a (t0 , u0 , u0 ) = (0, 1, 0), y u = g(t) es la solucin asociada a (t0 , u0 , u0 ) = (0, 0, 1)

entonces tal solucin se puede representar en la forma:
u(t) = u0 f (t t0 ) + u0 g(t t0 ).
Estas armaciones son consecuencia inmediata de la teora general de ecuaciones
diferenciales ordinarias. No obstante, con un poco de paciencia se puede dar una
demostracin directa de las mismas.
La idea clave es que toda solucin cumple:
u + u2 = constante.
2
En efecto, basta multiplicar por
la ecuacin e integrar. De ah se sigue la
unicidad de soluciones de (1.6). La unicidad dice a su vez que la existencia se

reduce a resolver los dos problemas particulares (1.6) que dan lugar a
g(t),
f (t)
a saber:
{
u + u = 0
u(0) = 1, u (0) = 0
u + u = 0
u(0) = 0, u (0) = 1,
respectivamente.
Para determinar
se observa que:
g + g 2 = 1,
2
mientras
g(t)
(1.7)
se dene como la inversa de la funcin :
G(u) =
0
en el intervalo
/2 t /2
ds
1 s2
1 < u < 1,
donde, por denicin,
:= 2
0
ds
.
1 s2
(1.8)
1 Una interesante idea debida al matemtico noruego Neils H. Abel. ste la uso para presentar las funciones eltpicas como una generalizacin de las funciones circulares.
1.7.
APNICE: UNA REVISIN DE TRIGONOMETRA
A continuacin,
se extiende al intervalo
g(t) := g( t)
/2 t 3/2
21
mediante reexin:
/2 t 3/2.
se extiende a todo R como una funcin 2 -peridica. El resultado

C 2 que resuelve (1.6) para los datos t0 = 0, u0 = 0, u0 = 1. Usan
do la ecuacin se ve que g es de clase C
y que todas sus derivadas satisfacen
Finalmente,
es una funcin
la misma ecuacin diferencial. Esto completa la demostracin anunciada.
Proposicin 1.38.
Se satisfacen las siguientes propiedades.
1.
2.
f = g , g = f , por tanto f tambin es C y 2 -peridica. En particular:

( )
()
f
= 0,
g
= 1.
2
2
3.
f 2 + g2 = 1
4.
f (t) = f (t), g(t) = g(t).
5.
f (t s) = f (t)f (s) g(t)g(s).
6.
g(t s) = g(t)f (s) f (f )g(s).
creciente en
[/2, /2]
y decreciente en
[/2, 3/2].
Observacin 1.10. Se siguen de la proposicin todas las relaciones trigonomtricas clsicas. Por ejemplo:
f(
t) = g(t),
2
g(
t) = f (t).
2
Tambin
f (t + ) = f (t),
g(t + ) = g(t).
Por otra parte:
f (2t) = f (t)2 g(t)2 ,
g(2t) = 2f (t)g(t).
Y as sucesivamente.
Demostracin de la Proposicin 1.38. 1) se sigue de la denicin. Obsrvese que
y que g =
1 g 2 en [/2, /2].
|g(t)| 1
Para 2) usamos
(0, 1, 0).
u = g
(t0 , u0 , u0 ) =
g(/2) = 1 se deduce
como candidato a solucin de (1.6) con
La unicidad de soluciones de (1.6) da
u = f.
Que
de (1.8).
La relacin 3) (y en particular
f (/2) = 0) se sigue de (1.7).

u1 (t) = f (t+s) y u2 (t) = f (t)f (s)
Para la primera de 5) basta observar que
g(t)g(s)
son soluciones del mismo problema (1.8).
Refrescando el teorema de Taylor se prueba el siguiente resultado.
22
CAPTULO 1.
Teorema 1.39.
Las funciones
f (t) =
para cada
(1)n 2n
t ,
2n!
n=0
son de clase
g(t) =
en
R.
Ms an:
(1)n 2n+1
t
,
(2n + 1)!
n=0
(1.9)
t R.
En virtud de todo lo expuesto se tiene la siguiente denicin.
Denicin 1.40.
cos t,
f (t) se deignar con la terminologa clsica f (t) =

g(t) = sen t.
La funcin
mientras denotaremos
Las funciones coseno y seno se denominan funciones circulares, terminologa

que se explica porque tales funciones parametrizan el crculo
Proposicin 1.41.
D.
Se dene la aplicacin:
R
t
h:
D
h(t) := cos t + i sen t.
Entonces:
i)
satisface:
h(t + s) = h(t)h(s)
para todo
t, s R.
Adems
h(t) = h(s)
si y slo si
ii)
t = s + 2k
k Z.
es sobreyectiva.
iii) La restriccin de
iv)
para algn
[0, 2)
h : (0, 2) D \ {1}
v) La restriccin de
vi) Para todo
es biyectiva.
es un homeomorsmo.
a cualquier intervalo de la forma
R, h : (, + 2) D \ {h( )}
[, + 2)
es biyectiva.
es un homeomorsmo.
h(t) = h(s) es
t s = 2k , k Z.
En cuanto a ii), sean 1 , . . . , 4 la interseccin de D con los cuatro cuadrantes cerrados. Las aplicaciones gj : 1 j , j = 2, 3, 4, g2 (z) = iz , g3 (z) = z ,
g4 (z) = iz denen homeomorsmos. Asimismo, armamos que h : J1 1 ,
J1 = [0, /2], es un homeomorsmo. Esto implica que las restricciones de h a los
intervalos J1 = [/2, ], J2 = [, 3/2], J3 = [3/2, 2] denen homeomorsmos
sobre 2 , 3 y 4 , respectivamente. En efecto,
Demostracin. i) sigue de la Proposicin 1.38. Por otra parte si
porque
h(t s) = 1
de donde
h(t) = ih(t /2)
t J2
h(t) = h(t )
h(t) = ih(t 3/2)
t J3
t J4 ,
1.7.
23
APNICE: UNA REVISIN DE TRIGONOMETRA
Lo que prueba la segunda armacin. En particular, las restricciones de h a los

Jj = Jj \ {bj }, j = 1, . . . , 4, bj el extremo superior de Jj , es biyectiva.
Como D = j h(Jj ) esto muestra que h es biyectiva de [0, 2) en D . Esto es

intervalos
la prueba de iii).
Vamos con la primera de las armaciones precedentes. Tenemos que las fun
f : J1 = [0, /2] [0, 1] y F : [0, 1] 1 denida x 7 (x, 1 x2 )
ciones
son homeomorsmos. Como
h = F f
resulta que
h : J1 1 tembin es un
h a los intervalos Jj es
homeomorsmo. Finalmente (iv)) como la restriccin de
un homeorsmo sobre su imagen, se desprende fcilmente que la restriccin de
(0, 2)
lo es. En efecto
zn z
D \ {1}
en
signica que
zn z
en alguno
de los j salvo que z Gj Gl en cuyo caso el razonamiento para probar que

h1 (zn ) h1 (z) es similar.
Para v) y vi) ponemos J = [0, 2], T : J + { } J la funcin s s ,
P : D D la aplicacin z h( )z . La restriccin h de h a J + { } se
escribe h = P h T . Siendo P, T homeomorsmos se concluyen v) y vi) de
forma inmediata.
Ms adelante, en el Captulo III introduciremos la funcin exponencial como:
ez =
zn
,
n!
n=0
y, entre otras cosas, no resulta difcil probar que la serie es convergente para
todo
z C.
Usando la funcin exponencial se prueba va las series (1.9) la
siguiente propiedad.
Proposicin 1.42
(Frmula de Euler)
Se tiene:
eit = cos t + i sen t,

para cada
t R.
Demostracin. Basta sustituir
z = it
en la expresin en serie para
ez .
24
CAPTULO 1.
1.8. Ejercicios
1. Sea
S 1 = {z : |z| = 1}.
Probar que
(C, )
es un grupo respecto del producto.
C de una relacin de orden ""que haga
2. Probar que no es posible dotar a

de
S1
un cuerpo ordenado.
3. Hallar las partes reales e imaginarias de:
za
z+a
1
,
z
4. Hallar
5. Probar que
6. Hallar
)6
1 i 3
,
2
|z|, z en
2 + i,
x, y
z3,
(
i ,
1+i
)3
1 + i 3
,
2
)n
2 n 8.
cada uno de los casos siguientes:
3,
z
(a R),
3 + 5i
,
7i + 1
(2 + i)(4 + i),
3i
,
2 + 3i
i
,
i+3
(1 + i)6 ,
i17 .
z = z.
es real si y slo si
en las relaciones:
a) z = |z|,
b) z = (
z )2 ,
c) z =
100
ik .
k=0
7. Probar (identidad del paralelogramo):
|z + w|2 + |z w|2 = 2(|z|2 + |w|2 ).

R(z) una funcin racional de z de coecientes reales. Probar que
R(z) = R(
z ). Si p(z) es un polinomio de coecientes reales demostrar
que z es raz de p si y slo si z
es una raz.
8. Sea
9. (Races cuadradas). Resolver en
x, y
la ecuacin:
(x + iy)2 = a + bi,
a, b R,
probando que siempre admite dos soluciones. Para
, , C
existencia de races de la ecuacin de segundo grado:
z 2 + z + = 0.
Como aplicacin hallar:
8 + 6i,
y las soluciones de la ecuacin:
z2 +
32iz 6i = 0.
discutir la
1.8.
25
EJERCICIOS
10. Probar la validez de la frmula del binomio de Newton:
(a + b) =
n ( )
k=0
Hallar
z, z
para
a, b C.
ak bnk ,
z = (a + bi)6 .
11. Prubense las siguientes frmulas del ngulo mltiple:
( )
( )
n
n
n2
2
cos n = cos
cos
sen +
cosn4 sen4 + ,
2
4
( )
( )
n
n
n1
sen n =
cos
sen
cosn3 sen3 + .
1
3
n
12. Prubese que

13. Para
max{z, z} |z| |z|+|z|. Cundo se da la igualdad?
z = x + iy
explicar la relacin entre
Arg z
arctag (y/x).
2Arg (z + 1) = Arg z en |z| = 1, z = 1.
ramas principales de
z y de 1 z .
14. Prubese que

15. Hllense las
16. Halar un dominio G y funciones continuas f, g tales que

1 z 2 . Estudiar si el dominio G obtenido es maximal.
17. Resolver:
z 6 = 1,
z 4 = 1,
18. Probar que las races n-simas
z 4 = 1 +
de la unidad,
f (z)2 = g(z)2 =
3i.
z = 1,
cumplen:
z n1 + z n2 + + z + 1 = 0.
19. Probar que en un polgono regular de
|z| = 1,
el producto de las
n1
lados inscrito en la circunferencia
diagonales que parten de un vrtice dado
(contando los lados adyacentes) es
n.
Indicacin. Usar el problema anterior suponiendo que el vrtice es la unidad.

20. Descrbanse los siguientes lugares geomtricos:
a) |z i| 1

z 1

=1
b)
z + 1
c)
|z 2| > |z 3|
d) |z| < 1,
z > 0,
1
= z
z
f ) |z|2 = z
e)
g)
|z 2 1| < 1.
26
CAPTULO 1.
21. Prubese que

para
a, b C,
|z a| = |z b|
(respectivamente,
|z a| > |z b|)
es,
la ecuacin general de una recta (respectivamente, de un
semiplano).
22. Para
a, b C, b = 0,
qu objeto geomtrico es
za
b
)
> 0?
23. Cundo representa una recta del plano la ecuacin:
a, b, c C?
az + b
z + c = 0,
24. Supongamos
a, c
reales,
a = 0
b C.
Prubese que
az z + b
z + bz + c = 0,
es la ecuacin de una circunferencia del plano.
25. (Cuaterniones de Hamilton). Denimos:
Q = {(a, b, c, d) : a, b, c, d R},
representando los vectores de la base cannica
{ei }
como
{1, i, j, k}
de
forma que:
z = (a, b, c, d) = a 1 + b i + c j + d k,
con
el producto de un escalar por un vector, smbolo que omitiremos
en lo que sigue para escribir
a+bi+cj +dk . Se consideran la suma habitual
de vectores y el producto que se dene a travs de las relaciones:
1x = x,
ij = k,
x {1, i, j, k},
ki = j,
El producto a
z1 , z2
i2 = j 2 = k 2 = 1,
ji = k,
jk = i,
ik = j,
kj = i.
se determina entonces usando formalmente las pro-
piedades asociativa y distributiva.

a) Hllese la expresin del producto
b) Prubese que
(Q, +, .)
(a + bi + cj + dk)(a + b i + c j + d k)
es un cuerpo no conmutativo. Se conoce a
z = a + bi + cj + dk , a se dene
z , bi + cj + dk la parte vectorial.
los cuaterniones. Para

escalar del cuaternin
como
como la parte
c) Dse una interpretacin geomtrica de la parte escalar y la parte vectorial

del producto
(bi + cj + dk)(b i + c j + d k)
de dos cuaterniones sin parte escalar.
1.8.
27
EJERCICIOS
26. Prubese que si
f (z) = z .
f :CC
calculando su matriz
27. Sea
es
Demustrese que
f : R2 R2
C-lineal
entonces existe
= + i tal que
fR : R2 R2
induce una aplicacin lineal

2
en la base cannica de R .
una aplicacin lineal de matriz
A = (akl ), fC : C
la correspondiente aplicacin asociada. Dnse condiciones necesarias
y sucientes para que
fC
sea asimismo
C-lineal
(ecuaciones de Cauchy-
Riemann).
28.
(
)
(
)
az + b
a b
a1 b1
, T1 (z) =
Sean A =
, A1 =
M22 (C), T (z) =
c d
c1 d1
cz + d
a1 z + b1
las correspondientes aplicaciones bilineales asociadas. Prubese
c 1 z + d1
que T = T1 si y slo si A1 = A para algn C.
29. Sean
SL2 =
{
(
)
}
a b
A=
M22 (C) : det A = 1 ,
c d
M = {T (z) =
con
: SL2 M,
az + b
: ad bc = 0},
cz + d
la aplicacin natural
A 7 T .
Prubese que
es
sobreyectivo.
C C de clase C 1 se dene como C = {(t) : t [a, b]} donde

: [a, b] C es C 1 y (t) = 0 para todo t. Si z0 = (t0 ), v = (t0 ) = 0
se dice que v C es el vector tangente a C en z0 correspondiente a la
parametrizacin .
30. Una curva
Si
C1 , C2
inciden en
z0 ,
v1 , v2 C asociados a
C1 , C2 se cortan con ngulo:
con vectores tangentes
sendas parametrizaciones
1 , 2 ,
se dice que
v2
.
v1
= (v1 , v2 ) = arg
a) Prubese que si
f (z) = az +b, y las curvas C1 , C2 inciden en z0 con ngulo

Ci = f (Ci ), i = 1, 2, inciden en f (z0 ) con ngulo .
entonces las curvas
b) Prubese que si f (z) = a

z + b, C1 , C2 inciden en z0 con ngulo , ahora
las curvas Ci = f (Ci ), i = 1, 2, inciden en f (z0 ) con ngulo 2 .
f (z) = z 2 = u + iv .
c1 c2 = 0, las curvas:
31. Se considera la funcin

de constantes
c1 , c2 ,
u(x, y) = c1 ,
Prubese que para cada par
v(x, y) = c2 ,
1
se cortan ortogonalmente. Prubese por otra parte que (t) es C se tiene
(f ) (t) = 2(t) (t). Demutrese que f preserva el ngulo entre curvas
incidentes en
C \ {0}.
Qu sucede en
z = 0?
28
CAPTULO 1.
32. () Sean
que
T (z) =
T ((t))
az + b
cz + d
: [a, b] C una parametrizacin C 1 . Prubese
es tambin una parametrizacin
(T ) (t) =
Demustrese que si
T (C1 ), T (C2 )
C1 , C2
tal que:
ad bc
(t).
(cz + d)2
se cortan en
tambin se cortan en
C1
T (z0 )
z0
con un ngulo
formando ngulo
entonces
1.9. Soluciones a los Ejercicios del Captulo I
CAPTULO 2
Continuidad y topologa en
2.1. Convergencia y continuidad en C

Se introdujo en el Captulo I la distancia en
dist(z1 , z2 )
Proposicin 2.1.
(R2 , d2 )
donde
d2
El espacio mtrico
dada por:
= |z1 z2 |.
(C, d)
es isomtricamente homeomorfo a
es la distancia eucldea.
La proposicin arma que desde el punto de vista topolgico, C es el mismo

R2 . Algunas de las propiedades que siguen son consecuencia inme-
objeto que
diata de este hecho.

Recordemos en particular que:
m
ax{|z|, |z|} |z| |z| + |z|.
Proposicin 2.2.
1) Si
{zn }
Se satisfacen las siguientes propiedades:
es una sucesin en
entonces
lm zn = z
si y slo si
lm zn = z
lm zn = z.
{zn } es de Cauchy (vase la Seccin 2.2) si y slo si

Cauchy.
2)
{zn }, {zn }
{z1 + + zn } es convergente si y slo si lo son {z1 + + zn }

{z1 + + zn } con:
3) La sucecin
y
son de
lm z1 + + zn = lm z1 + + zn + i(lm z1 + + zn ).
29
30
CAPTULO 2.
CONTINUIDAD Y TOPOLOGA EN
: [a, b] C, (t) = 1 (t) + i2 (t), entonces

1 , 2 son continuas en t0 . Ms an, si se dene
4) Si
(t0 ) = lm
h0
la derivada de
t0
si y slo si
continua en t0 si y slo si
(t0 + h) (t0 )
,
h
en t0 , supuesto que el lmite

1 , 2 son derivables en t0 y
exista, entonces
es derivable en
(t0 ) = 1 (t0 ) + i2 (t0 ).

Ejemplos 2.1.
1.
in
lm n+i
= i.
lm z n = 0 si |z| < 1 mientras z n no converge si |z| > 1 pues lm |z|n = .

|z| = 1 y z = 1 la sucesin z n nunca es convergente. En efecto, en ese caso:
2.
Si
|z n+1 z n | = |z 1|,
n
y z no puede cumplir la condicin de Cauchy. De hecho, se saben ms cosas
n
de esta aparentemente inofensiva sucesin. O bien el conjunto {z } es nito o
i
bien es innito. El primer caso queda caracterizado por z = e
con /2 Q.
n
El segundo caso en el que todos los valores de z son necesariamente distintos
n
entre s corresponde a /2 irracional y se puede demostrar que {z } es densa
en
D.
Las deniciones de lmite y continuidad de funciones son consecuencia de la
topologa de
C.
Las detallamos por completitud.
Denicin 2.3.
acumulacin de
Sea
D)
f : D C C, z0 D (D
el conjunto de puntos de
se dice que
lm f (z) =
zz0
si
> 0, > 0
tal para cada
0 < |z z0 | <
se cumple
|f (z) | < .
Las propiedades habituales del lgebra de lmites no las enunciamos pormenorizadamente pero ya estn implcitas en la Proposicin 2.8.
Una propiedad conocida es la siguiente.
Proposicin 2.4.
Si f admite lmite cuando z z0 , f est acotada en un

{0 < |z z0 | < } D de z0 . Si = 0 entonces f no se anula
entorno reducido de z0 .
entorno reducido
en un cierto
Denicin 2.5.
es continua en
z0
Sea
f :DCC
y supongamos que
D D .
Se dice que
si
lm f (z) = f (z0 ).
zz0
Si
es continua en todos los puntos de
se dir que
es continua en
D.
2.1.
CONVERGENCIA Y CONTINUIDAD EN
31
D de nuestras funciones complejas f sern abiertos

D D .
F = (u, v) es la aplicacin real F : D R2 R2 asociada a
Tpicamente los dominios
o adherencias de abiertos as que

Si
f = u + iv
resulta obvio que:
Proposicin 2.6.
si y slo si
z0
z0 .
es continua en
son continuas en
si y slo si
es continua en
z0 .
Es decir
Merece la pena destacar que:
Proposicin 2.7.
que sea la sucesin
f es continua en z0 si
zn que converja a z0 .
y slo si
f (zn ) f (z0 )
cualquiera
Como ya se dijo, en funciones de variable compleja con frecuencia resulta

desastroso apelar a las partes real e imaginaria de
para probar propiedades.
A efectos de la continuidad y como en el caso real resulta de gran utilidad la

Proposicin 2.8.
1)
f + g
Sean
f, g
es continua en
z0
funciones complejas continuas en

para
, C
z0 .
Entonces:
arbitrarios.
f g es continua en z0 .
f
3)
es continua en z0 si g(z0 ) = 0.
g
4) Si h es una funcin compleja que es continua
f (z) = h(f (z)) tambin es continua en z0 .
2)
en
w0 = f (z0 )
entonces
Ejemplos 2.2. Las funciones
5.
f (z) = az + b
az + b
f (z) =
cz + d
f (z) = a0 z n + + an
a0 z n + + an
f (z) =
b0 z m + + bm
f (z) = z
6.
f (z) = |z|
1.
2.
3.
4.
son continuas en sus dominios de denicin,

7.
8.
f (z) = arg z es continua
f (z) = n z donde
en
C \ , = {tei : 0},
z=
n
|z|eiArg
z/n
C \ {x < 0} y lo
arg en la denicin
entonces las n ramas f1 , . . . , fn son continuas en C\ , (C\{x > 0} si trabajamos
con arg z ).
designa la rama principal de la raz n-sima, es continua en

mismo sucede con las restantes
n1
ramas. Si usamos
32
CAPTULO 2.
Recordemos que con
n
z
se designa la rama principal de la raz
n-esima
C
de
z.
Ejemplo 2.3. Sea
en
t0
: [a, b] C derivable en t0 con (t0 ), entonces
con derivada
es derivable
( )
1
(t0 )
=
.
(t0 )2
En efecto
lm
h0
1
1
1
{
}
h (t0 + h) (t0 )
1
(t0 + h) (t0 )
(t0 )
=
.
h0 (t0 + h)(t0 )
h
(t0 )2
= lm
La siguiente denicin apenas tendr relevancia dentro del presente curso.
Denicin 2.9.
en
G.
Se dice
G C abierto y f = u + iv una funcin compleja

C k en sentido real (1 k ) si u, v C k (G)
Sea
es
denida
Ejemplos 2.4.
f (z) = z n = P (x, y) + iQ(x, y) donde P, Q son polinomios homogneos de
grado n. Por tanto f es C

en sentido real y tanto polinomios p(z) como
cocientes de polinomios p(z)/q(z) son funciones C

en sentido real (en sus
1.
dominios de denicin).
2. La funcin
(x, y) = arg (z)

x =
En particular
n
z
es
en
es
en sentido real en
y
,
x2 + y 2
y =
x
.
x2 + y 2
C2 \ {z 0}.
2.2. Series
Denicin 2.10.
tal que
Denicin 2.11.
tiene suma
para
si la sucesin
Teorema 2.12.
n N
Cauchy si para todo
>0
existe
n N
zn se dice que la serie n=1 zn converge y

Sn = z1 + + zn es convergente y tiene lmite z .
Dada la sucesin
La serie es divergente si
existe
zn es de
n, m n .
La sucesin
|an am | <
Sn no
La serie
es convergente.
n=1 zn es convergente si y slo si para todo
tal que
>0
zk | <
k=n
para
m n n .
En particular, si
n=1 zn converge entonces
lm zn = 0.
2.3.
33
CONEXIDAD
Proposicin
2.13.
n=1
zn
n=1
n=1 zn es convergente si y slo si las series

son convergentes. Adems:
La serie
zn
zn =
n=1
Proposicin 2.14.
Si la serie
zn +
n=1
n=1
tambin converge y
zn .
n=1
|zn | es convergente entonces la serie
zn |
n=1
n=1 zn
|zn |.
n=1
2.3. Conexidad
C
Los subconjuntos compactos y conexos de
son los de
R2
con la topolga
usual. Merece la pena resaltar una propiedad til de conexidad.
Denicin 2.15.
Dados
como:
z, w C
el segmento
[z, w]
de extremos
z, w
se dene
[z, w] = {tz + (1 t)w : t [0, 1]}.
Una poligonal
de
aC
bC
es
= nk=1 [zk , wk ],
donde
con
zk = wk1 , 2 k n, a = z1 , b = wn .
b.
Se dice en este caso que
En el presente curso llamaremos dominio o regin

de
C.
G
conecta
a todo abierto conexo
Se tiene la siguiente caracterizacin.
Proposicin 2.16.
de
Un abierto
GC
es conexo si y slo si todo par de puntos
se pueden conectar mediante una poligonal
La misma demostracin permite probar que la poligonal
en la proposicin
anterior puede elegirse con todos los segmentos paralelos a uno de los ejes.
D C es un conjunto cualquiera, una componente

D. Las componentes de D
siempre son cerradas en D y la familia Ci de las componentes de D conforman
una particin de D . Si D es abierto entonces se puede probar que sus compoRecordemos ahora que si
conexa
de
es toda parte conexa maximal de
nentes tambin son abiertas. Todas estas cuestiones forman parte de un curso
de topologa general y se recapitulan en [7] (ver [26]).
2.4. Compacticacin de C. Proyeccin de Steiner

A muchos efectos conviene introducir en
el punto del innito. Esto se
puede hacer por dos vas. Una analtica, topolgica la otra. En ste ltimo caso
34
CAPTULO 2.
se trata de la compacticacin de Alexandro de
C,
en el primero de los lmites
innitos o en el innito que ahora introducimos.
Denicin 2.17.
Se dice que:
lm zn =
si para todo
existe
mN
tal que
|zn | > M
n m.
para todo
Anlogamente:
lm f (z) = ,
zz0
si para
M > 0
arbitrario existe
tal que
|f (z)| > M
para
0 < |z z0 | < .
Finalmente:
lm f (z) = w
si para
>0
arbitrario existe
con
|f (z) w| <
para
|z| > M .
Una mnima
modicacin de este ltimo caso permite extender la denicin al caso
w = .
Una primera va para introducir el punto del innito consiste en identicar

cada
z C
con las sucesiones complejas
zn
zn z (ver [13]). Esta

C. El punto del innito
zn con lm zn = . El cuerpo
tales que
identicacin preserva las operaciones algebraicas de
es por denicin la clase de las sucesiones
ampliado
b
C
consiste en
Proposicin 2.18.
lm wn = w.
C {}.
Sean
zn , wn
Se tiene la
sucesiones complejas tales que
1.
lm zn + wn = ,
2.
lm zn wn = si lm wn = 0, lm wn = incluido.
wn
lm
= 0 si zn = 0.
zn
wn
lm
= si un = 0, lm un = 0 y w = 0 (incluyendo lm wn = ).
un
3.
4.
incluso si
lm wn = .
Las propiedades precedentes se interpretan en

(w
lm zn =
Entonces
= 0), w/ = 0 (w = ), w/0 = (w = 0).
b como +w = , w =
C
Los siguientes ejemplos en nada dieren del caso de una variable real.
Ejemplos 2.5.
1. Sean
nomios. Entonces
2. Para
p(z), q(z)
p(z) = a0 z n + + an , q(z) = b0 z m + + bm
a
0
b
0
p(z)
lm
= 0
z q(z)
como en el caso anterior,
lm
zz0
poli-
n=m
n<m
n > m.
q(z0 ) = 0, p(z0 ) = 0
p(z)
= .
q(z)
se tiene:
2.4.
COMPACTIFICACIN DE
C.
35
PROYECCIN DE STEINER
Hablemos ahora de compacticaciones. El espacio
C no es compacto: {D(0, n)}
no admite subrecubrimientos nitos. Una compacticacin de un espacio topo
lgico (X, T ) es un espacio topolgico compacto (X , T ) que contiene a (X, T )
en el sentido siguiente: existe h : X X continua e inyectiva tal que h(X) es
homeomorfo X y h(X) = X . Si X \ h(X) = {x1 , . . . , xn } se dice que X se ha

compacticado tras la adicin de un nmero nito de puntos. Las compacticaciones por adicin de un solo punto revisten particular inters. Se sabe [18] que
todo espacio Hausdor X localmente compacto admite una nica compacti
cacin X por un solo punto denominada compacticacin de Alexandro . Se
construye as. Primero X = X {P } donde P no es un elemento de X (por

ejemplo
P = (0, 0, 1)
innito. La topologa
X
.
de los puntos de
de entornos de
y tomando
Proposicin 2.19.
(X , T )
en el caso de C). Al tal P se le llama , el punto del
en X se obtiene de la de X manteniendo los entornos
{(X \ K) {} : K X
compacto} como base
(X, T ) localmente compacto y T2 . Entonces, el espacio

T2 y la inclusin h(x) = x, h : X X cumple las
Sea
es compacto,
propiedades de compacticacin sealadas ms arriba.
X es T2 porque si x = P y K es entorno compacto

de x, X \ K es entono de P .
Asimismo, si G abierto en X , G = G \ P es abierto en X . Si adems
P G tomando G = G \ P resulta que X \ G = X \ G y X \ G K para
algn compacto. En efecto (X \ K) {P } G para algn compacto K X .
Por tanto X \ G es compacto en X si G es abierto y P G .
Probamos que X es compacto. Si {Gi } recubre X , P Gi para algn i0 .

0
As {Gi = Gi \ {P } : i = i0 } recubre X \ Gi0 que es compacto. Tomando el co
rrespondiente subrecubrimiento {G11 , . . . , GiN } resulta que {Gi , G1 , . . . , Gi }

1
0
N
tambin recubre X .
Demostracin. En efecto
En el caso de
y se denota
C .
C el espacio compacto resultante se llama la esfera de Riemann

A diferencia de la recta real R que admite compacticaciones
por adicin de un puno y por adicin de dos puntos, es consecuencia de un

teorema de K. D. Magill (1965) que la nica compacticacin (T2 ) de
adicin de un nmero nito de puntos es la de Alexandro
por
1 . La siguiente
propiedad es inmediata.
Proposicin 2.20.
Una sucesin zn en C si y slo si

acuerdo a la Denicin 2.17. Anlogamente l
mzz0 f (z) = en
si
lmzz0 f (z) = de
lmz f (z) = w.
zn de
C si y slo
acuerdo con la Denicin 2.17. Lo mismo sucede con el
caso
Observaciones 2.6.
a) Las aplicaciones bilineales
az + b
,
cz + d
1 Con ms precisin, Magill caracteriza las compacticaciones Hausdor por un nmero
nito de puntos de espacios no compactos que tambin son Hausdor.
f (z) =
36
CAPTULO 2.
c = 0
denen homeomorsmos de
C \ {d/c}
C \ {a/c}. Tales aplicaciones

f de C . Basta hacer f = f en
en
se extienden en forma nica a homeomorsmos
c
a
f( ) = ,
f() = .
d
c
bilineal f se observe en C
Cuando una aplicacin
efectuado esta extensin y nos referiremos a ella como

b) En el caso de semejanzas (c
supondremos que se ha
(no usaremos
f).
= 0)
f (z) = az + b,
la extensin
f consiste
f() = .
en hacer
C se llama la esfera de Riemann se debe a la

S2 = {x R2 : x21 + x22 + x33 = 1} y N = (0, 0, 1) S2 ,
2
designa el polo norte de S2 . Arma que S es una compacticacin de C por un
slo punto y por tanto ha de ser homeomorfa a C .
Que la compacticacin de
siguiente propiedad. All
Teorema 2.21.
La aplicacin
S2 \ N
P = (, , )
T :
denida como:
(
T (P ) =
,
1 1
C
,
z = x + iy
)
=
+ i
,
1
h : C S2 \ N
)
2x
2y
|z|2 1
,
,
.
|z|2 + 1 |z|2 + 1 |z|2 + 1
es un homeomorsmo conforme, con inverso
h(z) =
Observacin 2.7. La aplicacin
Teorema 2.22.
se llama la proyeccin de Steiner.
es homeomorfo a
Demostracin. La aplicacin
denido por:
S2 .
h : C S 2 \ {N }
se extiende a
H : C S 2
tomando
H() = N.
Que
es un homeomorsmo se sigue de que
una base de entornos de
es continua en
En efecto,
es:
{U = {x3 > r} S 2 : r < 1}.

Como
H 1 (U) = {z : |z| >
.
H es adems cerrada: C C cerrado
2
implica C compacto y H(C) es cerrado en S porque es compacto. Por tanto H
es un entorno de
Ahora
, H
1+r
} {},
1r
es continua en
es continua y biyectiva.
es un homeomorsmo.
2.4.
C.
COMPACTIFICACIN DE
La siguiente propiedad habla de circunferencias en

rencias en
C. Una circunferencia C
S2
en
|x|2 = 1
|x x0 |2 = r2 ,
S2
y de rectas y circunfe-
es la interseccin de un plano
Esto coincide con el conjunto de puntos

En efecto
37
PROYECCIN DE STEINER
{x S2 : |x x0 | = r},
con
con S2 .
x0 S2 .
|x|2 = 1
2x, x0 = r2 |x0 |2 1,
2x, x0 = r2 |x0 |2 1 por ecuacin.

origen O y N pertenecen a , C se denomina
al plano x, y , C se llama un paralelo.
tiene
Si el
paralelo
Observacin 2.8. Las rectas

observa en
C .
de
un meridiano, si
se completan con el punto
es
cuando se las
Esto permite dar un tratamiento unicado a las propiedades
del resto del captulo.
1
transforma rectas que pasan por z = 0
z
en rectas r que tambin pasan por z = 0 se prueba en C aadiendo a las
rectas. En efecto f (0) es el punto de r mientras la imagen f () del punto
de r es el punto z = 0 de r .
1
Similarmente f (z) =
transforma una circunferencia C que pasa por z = 0
z
en una recta pues a 0 C le asigna el punto de r .
az + b
Con ms generalidad f (z) =
, c = 0, transforma rectas o circunfecz + d
d
rencias que pasan por z =
en rectas que contienen a = f (z ). Aplica
c
a
rectas r que no pasan por z en circunferencias que pasan por w =
y
c
circunferencias que no pasan por z en circunferencias.
Bajo este convenio todas las rectas comparten en punto . Este hecho se
2
hace patente cuando proyectamos las rectas de C en S mediante H : tales
2
proyecciones son las circunferencias de S que pasan por el polo norte N .
Por ejemplo la propiedad: f (z)
Teorema 2.23.
T transforma circunferencias de S2 que no pasan por N en

C y circunferencias de S2 que pasan por N en rectas de C .
h transforma circunferencias de C en circunferencias de S2 y
circunferencias de S2 que pasan por N .
circunferencias de
Recprocamente,
rectas de
en
Demostracin. Si
A + B + C = D
es el plano que dene
en
S2 , T (C) tiene
ecuacin:
(C D)|z|2 + 2Ax + 2By = D + C.

Ntese que
si y slo si
C = D.
La armaciones del teorema son ahora
evidentes.
Para demostrar el recproco tomamos C1 C una circunferencia y tres
A, B, C C1 . Si A , B , C S2 son sus imgenes, slo pasa un plano
puntos
por tales puntos y
C.
S2 . Ahora T (C) es
A, B, C , luego T (C) = C1 . Por tanto h(C1 ) =
es la circunferencia que determinan en
una circunferencia que contiene a
38
CAPTULO 2.
Si r es una recta de C, r y N determinan un plano

(S2 \ {N }), una circunferencia por N .
Gracias a la proyeccin de Steiner se puede dotar a
h(r) es por denicin
de una mtrica que
describe su topologa. A saber:
dc (z1 , z2 ) = |h(z1 ) h(z2 )|

dc
Se llama a
z1 , z2 C \ {},
dc (z, ) = |h(z) N |.
la mtrica cordal (all | | es la distancia eucldea de

P, P S2 entonces
R3 ).
Para
calcularla se tiene que si
|P P |2 = 2{1 }.
De ah:
2|z1 z2 |
dc (z1 , z2 ) =
|z1 |2 + 1 |z2 |2 + 1
z1 , z2 C \ {},
2
dc (z, ) =
.
|z|2 + 1
Ejercicio 2.1. Ya se sabe que
g : C C
denida como
1
z
para
z = 0, z = ,
g(0) = , g() = 0 es un homeomorsmo. La aplicacin g induce en S2 la

aplicacin g
: S2 S2 denida por g(P ) = (H g H 1 )(P ) = h(g(T (P ))).
Qu aplicacin es g
?
Ejercicio 2.2. Los puntos de
S2
pueden expresarse en la forma:
= cos cos ,
con
0 < 2
= cos sen ,
= sen ,
/2 /2 (la latitud).
( )
T (, , ) = tag
+
ei .
4
2
(la longitud),
Ejercicio 2.3. Prubese que
Prubese que:
dc (z, ) = lmz1 dc (z, z1 ).
2.5. Transformaciones bilineales. 2a nota

Designamos por
M = {f (z) =
az + b
: a, b, c, d C,
cz + d
ad bc = 0}
el conjunto de las transformaciones bilineales.

Cuando
f=
az + b
cz + d
c = 0
lm f (z) =
a
,
c
lm f (z) = .
zd/c
2.5.
2A
39
NOTA
f constituye un homeomorsmo de C cuando se denen

f () = a/c, f (d/c) = . En el caso de las semejanzas f = az + b se dene
f () = .
y como ya se dijo,
Por tanto, en lo que sigue consideraremos siempre a todas las aplicaciones

bilineales
f M
extendidas a aplicaciones de
Hablamos ahora de los puntos jos en
mientras
zC
en
de una
C .
f M.
Si
c = 0, f () =
es un punto jo si
az + b = z(cz + d).
Por tanto
posee uno o dos puntos jos en
es punto jo de
si y slo si
c = 0.
(de hecho en
C). Por otra parte
El otro posible punto jo saldra de
resolver:
(d a)z = b.
Si
d = a
Si
el punto jo adicional es
d=a
pero
z=
b
.
da
b = 0 no hay ms puntos jos.

d = a y b = 0 nuestra aplicacin
Finalmente, si
f (z) =
az
=z
d
es la identidad, que tiene a todos los puntos de
como puntos jos.
Hemos demostrado por tanto lo siguiente.
Proposicin 2.24.
identidad
La nica
f M
con ms de dos puntos jos en
es la
f (z) = z .
Para construir aplicaciones bilineales es importante la siguiente propiedad.
Proposicin 2.25.
Demostracin. Si
z1 , z2 , z3 C distintos y w1 , w2 , w3
en M tal que f (zi ) = wi , i = 1, 2, 3.
Dados
tos, existe a lo ms una
f, g M
cumplen
f (zi ) = g(zi )
entonces
f 1 g
distin-
tiene tres
puntos jos y ha de ser la identidad.

Una consecuencia importante es que se requieren tres condiciones para determinar un elemento
f M.
Para estudiar propiedades adicionales de
(z1 , z2 , z3 , z4 )
de cuatro puntos distintos
(z1 , z2 , z3 , z4 ) =
cuando los
zj C
zi
f M introducimos la razn doble

C . sta se dene como:
de
z1 z3 z2 z4
.
z1 z4 z2 z3
mientras que si uno de los
razn doble el del lmite de
(z1 , z2 , z3 , z4 )
(, z2 , z3 , z4 ) =
Algunas veces abreviaremos
(z1 , z2 , z3 , z4 )
zi = se toma como valor

zi . Por ejemplo:
cuando
z2 z4
.
z2 z3
como
(zi ).
de la
40
CAPTULO 2.
La aplicacin
S(z) = (z, z1 , z2 , z3 )
S(z) = (z, zi ))
1, 0, .
(abreviado
trada
Proposicin 2.26.
Si
es el elemento de
f M
z1 , z2 , z3
z1 , z2 , z3 C
que asigna a
son puntos distintos de
(z, zi ) = (f (z), f (zi ))

para todo
entonces
(2.1)
z C .
Demostracin. Llamamos
sorpresa de que
S1 f
S1 (w) = (w, f (zi ))
S(z) = (z, zi )
y nos llevamos la
asignan los mismos valores a los puntos
Un problema pendiente es hallar la
f M
que cumple
zi .
f (zi ) = wi
para dos
de puntos distintos. Si S y S1 son las aplicaciones precedentes la

1
solucin es evidentemente f (z) = S1 (S(z)).
En la prctica w = f (z) se calcula despejando w en la ecuacin:
tradas
zi
la
wi
(w, wi ) = (z, zi ).
C no son sino la imagen de
S2 por la proyeccin de Steiner. De hecho las rectas son las
circunferencias de S2 que pasan por el polo norte N S2 . Por tanto el trmino
circunferencia tambin abarcar en lo que sigue a las rectas de C (rectas de
C a las que se ha aadido el punto ).
Ya hemos visto que rectas y circunferencias de
circunferencias en
Proposicin 2.27.
Cuatro puntos distintos
circunferencia si y slo si
Demostracin. En efecto si
una circunferencia
As
z1 C
zj , 1 j 4,
S(z) = (z, z2 , z3 , z4 )
yacen en un
S 1 (R {}) es
C ) pues S 1 M.
sabemos que
(incluyendo el caso de una recta de
junto con los otros tres puntos.
Recprocamente, si formamos la circunferencia
1, 0, y la
S(z1 ) = (zj ) R.
entonces
Observacin 2.9. Sea
C .
(zj ) R {}.
aplica este triplete en
z1 C
de
imagen de
C que pasa por z2 , z3 , z4 , S

R {}. Si por hiptesis
es
C la circunferencia de C que pasa por los puntos z1 , z2 , z3
Es consecuencia de la propiedad que
(z, z1 , z2 , z3 ) > 0
representa los puntos de una de las componentes conexas de
C\C
mientras
(z, z1 , z2 , z3 ) < 0
caracteriza los puntos de la otra componente de
Si
no es una recta,
/C
C \ C.
y pertenece a una de las dos componentes. Se
llama componente exterior aquella a la que pertenece
2.5.
2A
z3
z3
z2
z2
z1
z1
Figura 2.1: Orientaciones equivalentes a
a
41
NOTA
{z2 , z1 , z3 }.
Proposicin 2.28.
{z1 , z2 , z3 } y orientaciones equivalentes
f M, C la circunferencia que pasa por z1 , z2 , z3 , C

su imagen por f . Entonces f transforma las componentes C1 , C2 de C \ C en
las componentes C1 , C2 de C \ C .
Sea
Observacin 2.10. La propiedad es consecuencia inmediata del hecho de que

es un homeomorsmo en
Demostracin. Si
es una circunferencia su ecuacin se escribe:
(z, z1 , z2 , z3 ) = (f (z), w1 , w2 , w3 )
Si
C1
nente
C .
es por ejemplo la componente
(z, wj ) > 0.
(z, zj ) > 0
wj = f (zj ).
entonces
f (C1 )
es la compo-
En las construcciones con funciones bilineales es importante la nocin de

orientacin.
Denicin 2.29.
triplete ordenado
mente, izquierdo
C\C
Dada una circunferencia C una orientacin consiste en un

{z1 , z2 , z3 } de puntos de C . El lado derecho C+ (respectivaC ) de C relativo a {z1 , z2 , z3 } consiste en la componente de
caraterizada por
(z, zj ) > 0
Se dice que otra orientacin
{z1 , z2 , z3 }
((z, zj ) < 0).

de
equivale a la anterior si sus lados
derechos coinciden.
zj entre s. En particu{z1 , z2 , z3 }, {z2 , z3 , z1 },

{z3 , z1 , z2 } representan la misma orientacin. La orientacin {z1 , z2 , z3 } puede
identicarse con el sentido de recorrido de C cuando se va de z1 a z3 pasando
por z2 . En la Figura 5.1 se da una imagen geomtrica.
Las orientaciones cambian si se intercambian dos
lar, son invariantes frente a permutaciones circulares y
Proposicin 2.30. Sea {z1 , z2 , z3 } una orientacin de C. Entonces {z2 , z1 , z3 },

{z1 , z3 , z2 } y {z3 , z2 , z1 } constituyen orientaciones de C distintas de {z1 , z2 , z3 }.
42
CAPTULO 2.
Demostracin. Es consecuencia de las identidades:
(z, z2 , z1 , z3 ) = 1 (z, z1 , z2 , z3 )
y
(z, z1 , z3 , z2 ) =
1
.
(z, z1 , z2 , z3 )
Teorema 2.31.
Sean C una circunferencia, {z1 , z2 , z3 } C , C los correspon

dientes lados de C y f una aplicacin bilineal. Si C = f (C), wi = f (zi ) y se
considera en C la orientacin denida por {w1 , w2 , w3 } entonces f (C ) = C
y f (C+ ) = C+ .
Demostracin. Consecuencia directa de la Proposicin 2.26.
Proposicin 2.32.
con t1
< t2 < t3 .
Sea
la recta
z = a + bt, a, b C, t R. Para zj = a + tj b
C con respecto a {z1 , z2 , z3 } es
Entonces el lado izquierdo de
za
) > 0,
b
es decir, el semiplano que queda a la izquierda de

creciente de acuerdo a
b.
Anlogamente si
es
la
y se considera en
la componente acotada
cuando se recorre
cuando se recorre en sentido
z = z0 +reis , zj = z0 +reisj con 0 s1 < s2 < s3 < 2

orientacin {z1 , z2 , z3 } entonces el lado izquierdo C es
de C \ C (es decir la regin que queda a mano izquierda
en sentido positivo).
2.6. El teorema fundamental del lgebra

Vamos a probar con mtodos elementales que todo polinomio complejo
p(z) = a0 z n + + an
admite una raz en
C.
La prueba se fracciona en los siguientes lemas.
Lema 2.33.
Dados un polinomio complejo
p(z)
z0 C
existen
complejos tales que:
p(z) = p(z0 ) + b1 (z z0 ) + + bn (z z0 )n =
l=0
Ms an:
1
l!
anl z0lk .
k!
(l k)!
n
bk =
l=k
anl z l .
b1 , . . . , bn
2.7.
43
EJERCICIOS
Lema 2.34.
p(z)
Si
es un polinomio complejo,
lm p(z) = .
Lema 2.35.
Sea
p(z)
un polinomio complejo. Entonces existe
z C
tal que:
|p(z )| = nf |p(z)|.
zC
Finalmente:
Lema 2.36
tal que
(Lema de d'Alembert)
p(z0 ) = 0.
Existe entonces
Sea
hC
p(z)
un polinomio complejo y
z0 C
tal que:
|p(z0 + h)| < |p(z0 )|.
Teorema 2.37
Todo polinomio complejo
(Teorema fundamental del lgebra)
admite al menos una raz.

Demostracin. Por el lema 2.35
|p(z)|
alcanza el mnimo en un
lema de d'Alembert, tiene que ser una raz de
quien, del
p.
2.7. Ejercicios
Transformaciones de Mbius.
1. Hallar las aplicaciones de Mbius que transforman:

a)
1, i, 1
en
1, i, 1.
b)
i, 0, i
en
0, i, 2i.
c)
i, i, 2i
en
, 0,
1
.
3
2. Hallar los puntos jos de las aplicaciones:
T (z) =
z1
,
z+1
T (z) =
z
.
z+1
{z1 , z2 , z3 , z4 } son
(z1 , z2 , z3 , z4 ) es real (el
3. Prubese que si cuatro puntos distintos

yacen en una circunferencia entonces
colineales o
recproco es
cierto, segn se vio en teora).

4. Hallar las imgenes de la circunferencia unidad
formaciones:
w=
5. Hallar la imagen de
0.
1
,
z
w=
1
,
z1
{z > 0} bajo T (z) =
w=
{|z| = 1}
bajo las trans-
1
.
z2
az + b
, a, b, c, d R, ad bc <
cz + d
44
CAPTULO 2.
T que transforme {z > 0} en {|z| < 1}.

{z < 0} en {|z| > 1}.
6. Determinar una aplicacin bilineal

Misma cuestin transformando
7. Calcular una aplicacin bilineal
que transforme:
{|z| < 1, z > 0},

en
{z > 0, z > 0}.

8. () Hllese una transformacin bilineal que aplique: 1) la circunferencia
|z 4i| < 2
en el semiplano
el punto -4, 3) el punto
9.
2i
w > w,
2) el centro de la circunferencia en
de la circunferencia en el origen.
Proyeccin de Steiner
C la esfera de Riemann C = {(, , ) : 2 + 2 + 2 = 1}, T :

C la proyeccin de Steiner:
Sea
,
1
T =
Demustrese que si
T =
.
1
es una circunferencia en
es una circunferencia en
C .
10. Prubese que la proyeccin de Steiner
C entonces T 1 (C) tambin
T : C \ {N } C
dene un
homeomorsmo.
11. Qu transformacin de la esfera
asigna
T 1 (1/z)
T 1 de los conjuntos:
|z| < 1, 6) |z| > 1.
12. Hallar las imgenes inversas

3)
z > 0,
4)
z < 0,
5)
13. Se dene la distancia cordal
dc
en
dc (z, z ) = |T 1 (z) T 1 (z )|,

con
N = (0, 0, 1).
T 1 (z)?
z > 0,
2)
z < 0,
como:
dc (z, ) = |T 1 (z) N |,
Probar que:
dc (z, z ) =
Demostrar que
1)
|z z |
(1 + |z|2 )1/2 (1 + |z |2 )1/2
z, z C
1
(1 + |z|2 )1/2
z C, z = .
dc (z, ) = lmz dc (z, z ).
Continuidad, sucesiones, series
14. Probar que los nicos automorsmos continuos de
z.
C son f (z) = z y f (z) =
2.7.
45
EJERCICIOS
f, g : G C C, G C abierto. Si f, g
f + g , , C, f g y f /g (en
ste ltimo caso aadiendo g(z0 ) = 0) tambin son continuas en z0 . Si
h : C C, abierto, w0 = f (z0 ) y h es continua en w0
demustrese que h(f (z)) es continua en z0 .
15. Se consideran las funciones
z0 G
continuas en
16. Probar que
|z|
es Lipschitziana en
de constante
1.
f (z) = u(x, y)+iv(x, y). Demostrar que u, v son polinomios

n en x, y . Conclyase de ah que si p(z) es un polinomio de grado n, p(z) = u(x, y) + iv(x, y), entonces u, v son polinomios
en x, y de grado n.
17. Sea
f (z) = z
prubese que
homogneos de grado
18. Sean
p(z), q(z)
polinomios complejos, grado
q grado p. El algoritmo de
c(z), r(z), grado r <
la divisin asegura la existencia de polinomios nicos

grado
tales que:
p(z) = c(z)q(z) + r(z).

n
sese el teorema fundamental del lgebra para probar que si p(z) = z +
n1
a1 z
+ +an es un polinomio complejo de grado n 1 entonces existen
a1 , . . . , as C
y enteros
m1 , . . . , ms , m1 + + ms = n
tales que:
p(z) = (z a1 )m1 . . . (z as )ms .
(1)
Conclyase que la descomposicin (1) es nica.

19.
p(z) un polinomio de grado n,
[Polinomio de Taylor de un polinomio] Sea
z, h C.
Demostrar que:
p(z + h) =
ck
k!
k=0
para coefcientes
ck
que deben expresarse en funcin de
20. Sea
p(z)
un polinomio. Demustrese que
21. Sea
f (z)
una funcin racional,
la existencia de
y de
z = a un cero del denominador. Prubese

n Z = {. . . , 2, 1, 0, 1, 2, . . .} tales que:
22. Demustrese que las funciones racionales
en
z.
lmz p(z) = .
f (z) (z a)n
continuas de
hk ,
z a.
f (z) =
C .
p(z)
q(z)
denen funciones
23. Estudiar los lmites:
z4 + 1
,
zi z + i
a) lm 2z 2 iz 3 +zArg z,
b) lm
z1
,
z1 z 1
f ) lm
zi
e) lm
z4 1
,
zi z + i
c) lm
ez + z Log z
,
z0 1 z 2 Arg z
z 2 iz + 2
,
z2i
z2 + 4
d) lm
d) lm e1/z .
2
z0
46
CAPTULO 2.
24. Hallar el lmite de
26.
zn
converge con
|Arg zn | <
|zn |.
[Frmula de sumacin por partes]. Fijando

que:
ak bk =
k=m
n1
.
2
Demostrar la
An = a1 + + an ,
probar
Ak (bk bk+1 ) + An bn Am1 bm .
k=m
27. Supngase que la sucesin

decreciente con
zn = n( n z 1).
25. Se sabe que la serie

convergencia de
lm bn = 0.
An = a1 + + an est
acotada y que bn es
an bn es convergente.
Prubese que la serie
28. Demostrar que (criterio de Gauss):
an
a
1
= 1 + + o( ),
an1
n
n
con
an > 0, a < 1,
implica la convergencia de
an .
Como aplicacin
establzcase la convergencia de la serie hipergeomtrica:
( + 1) . . . ( + n)( + 1) . . . ( + n)
,
(n + 1)!( + 1) . . . ( + n)
n=0
en el rgimen
( + ) < 0.
29. Estudiar la convergencia de las series:
a)
d)
n
,
(2i)n
ein
n
b)
e)
n!
,
(in)n
ei/n
n
c)
f)
ein ,
cos in
2n
CAPTULO 3
Series de potencias. Funciones
analticas
El estudio de las funciones de una variable compleja se puede abordar desde

dos pticas independientes que a la postre resultan ser equivalentes. Una, la de
Weierstrass, basada en la teora de las series de potencias. Otra, sustentada en la
representacin integral (la integral de Cauchy) de las funciones regulares y que
se debe esencialmente a Riemann y Cauchy. En este captulo nos vamos a ocupar
del tratamiento de Weierstrass relegando el enfoque de Cauchy y Riemann para
los dos siguientes captulos.
3.1. Preliminares
Denicin 3.1.
Sea
un abierto de
fn : D C C
una sucesin de
funciones.
fn converge uniformemente
> 0 existe n que slo depende
todo z D .
a) La sucesin
para todo
n n
f : D C C si
|fn (z) f (z)| para
a una funcin
de
tal que
fn satisface la condicin de Cauchy uniformemente en D si para todo > 0

existe n que slo depende de tal que |fn (z) fm (z)| para n, m n y
b)
todo
z D.
Proposicin 3.2.
D
Una sucesin fn : D C C converge uniformemente en

si y slo si satisface la condicin de Cauchy uniformemente en D .
Proposicin 3.3.
te a una funcin
continua en
z0 .
En
fn una sucesin de funciones que converge uniformemenD. Si todas las fn son continuas en z0 D entonces f es
particular, si todas las fn C(D, C) entonces f C(D, C).
Sea
en
D C un abierto, z0 D, fn : D\{z0 } C una sucesin de

funciones que converge uniformemente en D\{z0 } a una funcin f . Supongamos
Ejercicio 3.1. Sean
47
48
CAPTULO 3.
adems que para cada
FUNCIONES ANALTICAS
existe:
lm fn (z) = ln .
zz0
Entonces:
a) Existe
l = lm ln .
b) Existe
lmzz0 f (z)
y adems:
lm f (z) = l.
zz0
En otras palabras, el paso al lmite cuando
z z0
permuta con el paso al lmite
en la sucesin de funciones:
lm {lm fn } = lm{ lm fn }.
zz0
zz0
El siguiente resultado es clave para los objetivos del captulo.
Teorema 3.4
fn C(D, C) una
sucesin
donde la serie
n=1 Mn es
n=1 fn converge uniformemente en D y, por
(Teorema M de Weierstrass)
de funciones tales que
|fn (z)| Mn
convergente. Entonces la serie

consiguiente, la funcin
f (z) =
Sea
z D
para
fn (z)
n=1
es continua en
D.
Ejercicio 3.2. Probar que:

a)
b)
nz n es
1
f (z) = n=1 2
n +z
f (z) =
n=1
continua en
|z| < 1.
es continua en
{z 0}.
Recapitulamos las deniciones de lmite superior e inferior.
Denicin 3.5.
inferior
Si an es una sucesin de
lim an , lim an se denen como:
a)
lim an = nf nN {supkn ak }.
b)
lim an = supnN {nf kn ak }.
nmeros reales los lmites superior e
Siempre existen los lmites superior o inferior de una sucesin, aunque posiblemente puedan valer
Proposicin 3.6.
a)
Sea
L = lim an .
Entonces:
< L < si y slo si para cada > 0 existe n tal que an < L +
n mientras existen innitos n tales que an > L .
todo
b)
L=
si y slo si para cada
existen innitos
tales que
an > M .
para
3.2.
49
SERIES DE POTENCIAS
L =
n nM .
c)
si y slo si para cada
l es un
an . La
nM
existe
tal que
an < M
an
para todo
Observacin 3.1. Se dice que
valor de aglomeracin de
de alguna subsucesin suya
propiedad que sigue relaciona los lmites
superiores con los valores de aglomeracin. Ntese que
si es el lmite
lim an y lim an son valores
de aglomeracin de la sucesin.
Proposicin 3.7.
Existen subsucesiones
lm an = lim an
an
Ms an, si
an , an
de una sucesin
an
tales que:
lm an = lim an .
es cualquier subsucesin convergente de
an
entonces se tiene:
lim an lm an lim an .
Como es natural, la sucesin
an
converge a
si y slo si:
lim an = lim an ,
siendo
el valor comn de tales lmites.
3.2. Series de potencias

Denicin 3.8.
1 de
Una serie (formal) de potencias
za
se dene como
an (z a) .
n=0
an , a C. Por simplicidad tomamos a = 0 en lo que sigue. C[[z]] designa el conjunto de las series (formales) de potencias de z (C[z] designa los
donde
z)
polinomios complejos en
a) Suma:
en el que se denen las operaciones:
an z n +
n=0
bn z n :=
n=0
b) Producto por un escalar
an + bn z n .
n=0
c C:
c
an z n :=
n=0
can z n .
n=0
c) Producto (de Cauchy):
n=0
1 La
)(
an z
n=0
)
bn z
:=
n=0
cn z n
cn =
ak bnk .
k=0
serie de potencias puede tambin denirse como una serie funcional.
50
CAPTULO 3.
C[[z]]
Es un ejercicio sencillo probar que
FUNCIONES ANALTICAS
es una lgebra conmutativa con
elemento unidad y sin divisores de cero.

Nos ocupamos ahora del problema de la convergencia de las series de potencias de
z a.
Proposicin 3.9.
z =
solamente en
a0
Es obvia la convergencia a
de la serie en
z = a.
n
n=0 an (z a) o bien converge
a, o bien converge para todo z C, o bien existe > 0 tal
Una serie de potencias
que la serie converge en
|z a| <
si
|z a| > . Ms an,
C (respectivamente
K C (respectivamente,
y diverge si
en los dos ltimos casos la serie converge absolutamente en
D(a, )) incluso
K D(a, )).
en
uniformemente en cada compacto
Demostracin. Supongamos que la serie converge en
z1 C
z0 = a
y diverge en algn
resulta entonces que
|an ||z0 a|n M,

para todo
n.
Se tiene entonces que
(
|an ||z a| M
n
y la serie converge absolutamente para todo

as que:
= sup{|z a| :
|z a|
|z0 a|
z
)n
tal que
an (z a)
|z a| < |z0 a|.
Resulta
converge},
n=0
cumple
|z0 a| |z1 a|
y la serie diverge para
|z a| > .
dice que el conjunto de convergencia de una serie de potencias

La proposicin
n
a
(z
a)
cuando
no es trivial (es decir {a}) o todo el plano complejo C
n=0 n
consiste en un disco abierto D(a, ) junto con algunos puntos (quizs todos o
quizs ninguno) de la circunferencia |z a| = .
Denicin 3.10.
El radio de convergencia
se dene como el nmero

para todo
zC
=0
0 de una serie de potencias

z = a, = si converge
si slo converge en
o nalmente, el valor
de la Proposicin 3.9.
Observacin 3.2. Se desprende de la proposicin precedente que si
n
n=0 an (z a) dene una funcin continua en el crculo D(a, ).
Ejemplos 3.3.
c)
zn
es = 1.
z n
es = .
El radio de convergencia de
n=0
n!
n
El radio de convergencia de
n=0 n!z es = 0.
a) El radio de la serie
b)
> 0 la serie
n=0
La matemtica nos obsequia en algunos ocasiones con resultados redondos

y el que sigue es sin duda uno de ellos. Se recoge originalmente a la tesis de J.
Hadamard (1865-1963).
3.2.
51
SERIES DE POTENCIAS
Teorema
3.11
n=0
serie
(Hadamard, 1892)
n
an (z a)
El radio de convergencia
de la
viene dado por la expresin:
{lim
|an |}
(3.1)
Observacin 3.4. Como la expresin (3.1) se da en trminos del lmite superior,

no se requiere ninguna condicin extra sobre los coecientes
an
de la serie.
Demostracin del Teorema

de Hadamard. Asumimos para abreviar que
Ponemos
L = lim
|an |
y suponemos que
converge absolutamente si
>0
n0 N
1
> L.
|z|
0 L < .
a = 0.
Probamos que la serie
De la denicin de lmite superior existen
tales que:
|an | <
1
1
<
|z|
(
Por tanto
|an ||z|n <
|z|
n n0 .
)n
y la serie converge absolutamente. Luego si
n n0 ,
L = 0, =
y si
L < ,
( el radio de convergencia).
Suponemos ahora
0 < L y demostramos que la serie diverge si
1
< L.
|z|
En efecto, de la denicin de lmite superior se sigue que
1
< n |an |,
|z|
para innitos
n N.
puede converger. Por
|z| >
1
L
si
es nito.
ha terminado.
lim |an ||z|n 1 y la serie no

tanto, diverge para todo z = 0 si L = o diverge para
1
En el primer caso = 0, en el segundo
. La prueba
L
Esto dice por ejemplo que
Ejemplo 3.5. Supongamos
C.
La serie binomial se dene como:
( )
n
f (z) =
z
n
n=0
donde
( )
( 1) . . . ( n + 1)
:=
,
n
n!
( )
:= 1.
0
Fue introducida por Newton (coincide de hecho con el valor
N)
(1 + z)
cuando
y estudiada en detalle por Abel. Se demuestra usando el Ejercicio 3 (v.
tambin el Ejercicio 15) que tiene radio de convergencia la unidad.
52
CAPTULO 3.
FUNCIONES ANALTICAS
Puede probarse que
f1 +2 (z) = f1 (z)f2 (z).

Vase la solucin al Ejercicio 15.
La siguiente propiedad arma que la serie de potencias obtenida formalmente
tras derivar
veces una serie dada, tiene el mismo radio que la original.
Proposicin 3.12.
n
n=0 an (z a) una serie de potencias con radio de
convergencia . Entonces para cada k N la serie:
n=k
Sea
n!
(m + k)!
nk
m
an (z a)
=
am+k (z a)
(n k)!
m!
m=0
tiene radio de convergencia
Proposicin 3.13.
Sean
an ,
n=0
convergentes y denamos
cn =
n=0 bn series complejas absolutamente
ak bnk .
k=0
n=0 cn converge absolutamente y
Entonces la serie
cn =
n=0
)(
an
n=0
)
.
bn
n=0
n
n
a) series de potencias
n=0 bn (z
n=0 an (z a) ,
n
con radios positivos 1 , 2 . Entonces las series suma
n=0 (an + bn )(z a) y
n
producto
n=0 cn (z a) tienen radio de convergencia s y p , respectivamente, mayor o igual que m
n{1 , 2 } satisfacindose las igualdades:
Teorema 3.14.
Sean
)
n
an (z a)
(
+
n=0
)
n
bn (z a)
n=0
(an + bn )(z a)
n=0
|z a| < mn{1 , 2 }
y
)(
an (z a)
n=0
)
n
bn (z a)
n=0
cn (z a)
|za| < mn{1 , 2 }.
n=0
Observaciones 3.6.
a) Para
|z| <
se puede calcular la potencia
m-sima
de la serie
n=0
an z n
el resultado es de nuevo otra serie de potencias. En efecto:
n=0
)m
an z
n=0
a(m) n z n
(3.2)
3.3.
53
FUNCIONES ANALTICAS
donde
a(m)
=
n
aj1 . . . ajn .
(3.3)
j1 ++jm =n
a0 = 0. La serie potencia m-sima com (los primeros m1 trminos son cero) y adems
intervienen coecientes aj con j n 1 cuando m 2.
b) Un caso de inters se tiene cuando

mienza a partir del exponente
en la formula (3.3) slo
(m)
an
Ejercicio 3.3. Prubese que el coeciente

escribir como:
a(m)
=
n
m!
!
de la potencia
m-sima
se puede
n
0
a
0 . . . an ,
= (0 , . . . , n ) con los j 0 enteros,

est extendida a todos los que cumplen:
en donde
! = 1 ! . . . n !
y la suma
|| := 0 + n = m,
y adems:
1 + 22 + + nn = n.
Indicacin: defnase
aj
en la frmula (3.3) como el nmero de veces que aparece
en un producto dado
aj1 . . . ajn
con
j1 + + jm = n.
3.3. Funciones analticas

Las funciones analticas constituan la nica clase de funciones de curso legal
durante el siglo XIX. Dominaron el clculo antes de lo que hoy conocemos como
Anlisis Real, cuyo punto de partida fue la introduccin de la integral de Lebesgue a comienzos del siglo XX. Una evidencia explcita del elevado estatus del
que gozaban en la matemtica de entonces es el papel preponderante que desempean tales funciones, en la seccin de anlisis de la clebre lista de problemas
propuesta por David Hilbert en el Congreso Internacional de Matemticas de
1900 ([1]).
Denicin 3.15.
dependen de
z0 ,
G C un abierto. Se dice que una funcin f : G C es

z0 G existen > 0 y una sucesin compleja {an }, que
Sea
analtica si para todo
tales que:
f (z) =
an (z z0 )
|z z0 | < .
n=0
Observacin 3.7. Est implcito en la denicin que
se representa en el entorno
de cada punto por una serie de potencias con radio de convergencia positivo,
por tanto son funciones continuas. Comprobaremos en el siguiente captulo que
de hecho son funciones innitamente derivables.
Ejemplos 3.8.
54
CAPTULO 3.
1) Un polinomio
p(z) = a0 z n + + an
se puede escribir segn se vio como

2) La funcin
f (z) =
1
1z
FUNCIONES ANALTICAS
es analtico en C. En efecto, dado a C

p(z) = b0 + b1 (z a) + + bn (z a)n .
es analtica en
C \ {1}.
En efecto, para
aC
dado:
1
1
1
1
{
}=
=
(z a)n .
n+1
za
1z
1a
(1
a)
n=0
1
1a
Ntese que el radio de convergencia de sta ltima serie es
|a 1|.
3) Funciones racionales. Si
f (z) =
es racional y
p(z)
q(z)
q(z) tiene races a1 , . . . , al la funcin f
es analtica en
C\{a1 , . . . , al }.
A tal n ntese que
f (z) = q1 (z) +
donde las
potencias de
A
B
C
+ +
+ +
,
1
(z a1 )
(z a1 )
(z al )l
son las multiplicidades de las races. Para desarrollar en serie de
(z a)
2). De hecho las
a C \ {a1 , . . . , al } basta
1
funciones
son analticas
(z a)i
donde
usar la idea del apartado

porque son potencias de
funciones analticas.
La siguiente proposicin establece que las propias series de potencias con
radio de convergencia positivo denen funciones analticas en su disco (crculo)
de convergencia. A la luz de los resultados de los Captulos IV y V demostraremos en su momento que esto tambin es consecuencia de la derivabilidad de las
series de potencias. La que sigue es, no obstante, una prueba directa que evita
dicha derivabilidad.
Teorema 3.16.
n
n=0 an (z a) una serie de potencias con radio de convergencia . Entonces, para cada z0 D(a, ) la funcin:
Sea
f (z) =
an (z a)
n=0
se puede representar en la forma:
f (z) =
bn (z z0 ) ,
n=0
con
bn =
( )
m!
m
am (z0 a)mn
am (z0 a)mn =
n
n!(m
n)!
m=n
m=n
siendo la serie convergente en cada
cumpliendo
|z z0 | < |z0 a|.
3.3.
55
FUNCIONES ANALTICAS
La prueba emplea algunos resultados bsicos de series dobles.

Sea
anm
una sucesin doble de nmeros complejos. Se dice ([3]) que la serie
doble:
anm
n,m=0
2 y tiene suma
sC
es convergente
mn{M, N } n :
bnm ,
existe
tal que para

< .

a
s
nm

0nN,0mM
Puede probarse que si
gativos
>0
si para todo
anm
es una sucesin doble de nmeros reales no ne-
la serie doble:
bnm ,
n,m=0
es convergente y tiene suma
si y slo si
s = sup
bnm
(n,m)F
donde
F N N denota un conjunto
F de N N.
nito y el supremo se extiende a todas
las partes nitas
Asimismo, un camino til para establecer la convergencia de series dobles de

trminos no negativos es el de las series iteradas
n=0
bnm
m=0
m=0
}
bnm
n=0
Para series dobles de trminos no negativos la convergencia equivale a la de

las iteradas y de hecho se tiene siempre la igualdad (de valor
en caso de
divergencia de la serie)
bnm =
n,m=0
n=0
bnm
m=0
m=0
}
bnm
n=0
s de una serie doble de trminos no negativos
n,m=0 bnm
se puede obtener como el lmite de sumas nitas de trminos con tal que el nFinalmente, la suma
mero total de trminos sumados acabe abarcando todo

precisos:
s = lm
N N. En trminos ms
bnm ,
(n,m)FN
FN es cualquier sucesin de partes nitas de N N con la propiedad

FN FN +1 y
N =0 FN = N N. Se omiten los detalles por simplicidad.
donde
2 Poda haberse empleado la nocin ms restrictiva de familia sumable que ofrece la ventaja
de que la convergencia equivale a la convergencia absoluta. Vanse detalles en [6].
56
CAPTULO 3.
FUNCIONES ANALTICAS
Como en el caso de series simples una serie doble absolutamente convergente

es tambin convergente y
anm |
n,m=0
|anm |.
n,m=0
La prueba del siguiente resultado se omite por brevedad (cf. [3]).
Teorema 3.17.
Sea
anm
una sucesin doble de nmeros complejos y suponga-
mos que la serie
anm
n,m=0
converge absolutamente.
Entonces:
a) Para
n0 , m 0
arbitrarios las series parciales:
anm0
n=0
an0 m
m=0
convergen absolutamente.
b) Las series iteradas
n=0
anm
m=0
m=0
}
anm
n=0
convergen absolutamente.
c) Se tienen las igualdades:
n,m=0
anm =
n=0
}
=
anm
m=0
Demostracin del Teorema 3.16. Dado
m=0
z0
}
anm
n=0
consideramos los
tales que:
|z z0 | < |z0 a|,
el radio de convergencia de la serie. Como
|z z0 | + |z0 a| <
se tiene que
la serie:

n ( )
n
|an |(|z z0 | + |z0 a|) =
|an ||z z0 |m |z0 a|nm < .
m
n=0
n=0 m=0
Esto quiere decir que la serie doble:

n ( )
n
m
nm
an (z z0 ) (z0 a)
=
an (z a)n
m
n=0 m=0
n=0
3.3.
57
FUNCIONES ANALTICAS
es absolutamente convergente. El Teorema 3.17 autoriza a cambiar el orden de

sumacin para tener:

n ( )
n
an (z z0 )m (z0 a)nm =
m
n=0 m=0
( ( )
)
nm
m
(z z0 ) =
an (z0 a)
bm (z z0 )m .
m
m=0 n=m
m=0
Para estimar el tamao del conjunto de las funciones analticas en un abierto
GC
nada mejor que disponer de reglas que nos permitan generar funciones
analticas a partir de funciones analticas conocidas. La siguiente propiedad es

elemental.
Proposicin 3.18.
son analticas en
Sean
f, g
analticas en
GC
abierto. Entonces
f +g
fg
G.
Dentro de la losofa de fabricar nuevas funciones analticas a partir de

funciones conocidas el resultado que sigue tambin es natural. Su demostracin
es ms delicada.
Proposicin 3.19.
f (G)
entonces
Si f : G C y g : C, G,
g f es analtica en G.
Demostracin. Suponemos que

la composicin
gf
abiertos son analticas y
z0 G, f (z0 ) = a0 .
Hemos de probar que
g f (z) = g(f (z)) =
cm (z z0 ) ,
m=0
siendo la serie convergente para
|z z0 | < r.
f (z) = a0 +
mientras
g(w) =
Se sabe que
an (z z0 )
con w0 = a0 , en los respectivos crculos

m=0 bm (w w0 )
|f (z) a0 | = |f (z) w0 | < g (g el radio de la serie de g )
podemos escribir:
g(f (z)) =
n=1
de convergencia. Si
bm (f (z) w0 )
m=0
(
bm
m=0
)m
an (z z0 )
n=1
El importante lema que sigue nos garantiza la posibilidad de reorganizar la

serie para preservando la convergencia sacar factor comn las potencias de
z z0
y escribir, sumando en dichas potencias:
g(f (z)) =
m=0
cm (z z0 ) .
58
CAPTULO 3.
FUNCIONES ANALTICAS
La proposicin se sigue a su vez de la siguiente.
n
n
series de potencias con radio de
n=0 an z ,
n=0 bn z
convergencia positivo de forma que
Lema 3.20.
Sean
a0 = 0.
Entonces, la serie substitucin:
(
bm
m=0
tiene radio de convergencia
)m
an z
n=1
> 0.
cn z n
n=0
Adems:
g(f (z)) =
cn z n
n=0
donde
son las funciones representadas por las series
an z n
bn z n ,
respectivamente.
Demostracin. Si a y b designan los radios de convergencia de las series
an z n y
bn z n se tiene que
g(f (z)) =
bm (f (z))m = b0 +
m=0
bm (
m=1
an z n ) m
n1
|f (z)| < b . Dicha serie es de hecho la serie iterada:

{
}
n
b0 +
bm (
an z n )m = b0 +
bm
a(m)
,
n z
est bien denida con tal que
m=1
donde
an 1) = an
n 1.
(m)
n=m
(m)
an = an ((ai )1in1 ) son, para m > 2, polinomios

m y coecientes enteros positivos en los ai con 1 i
y los
homogneos de grado
m=1
n1
La cuestin fundamental es que podemos cambiar el orden se sumacin
en la ltima serie para tener:
b0 +
{
bm
m=1
}
n
a(m)
n z
= b0 +
n=m
n=1
}
bm a(m)
n
zn =
m=1
cn z n ,
n=0
donde
c0 = b0
y
cn =
c1 = b1 a1
bm a(m)
= b1 an + Pn (b2 , . . . , bn ; a1 , . . . , an1 )
n
m=1
Pn es un polinomio lineal en los bk (2 k n),de

(1 j n), cuyos coecientes son enteros positivos.
donde
grado
en los
aj
3.4.
59
FUNCIONES EXPONENCIAL Y LOGARITMO
Para justicar el cambio de orden nos basta con vericar que la serie doble:
b0 +
bm
}
n
a(m)
n z
(3.4)
n=m
m=1
es absolutamente convergente si
|an ||z| < b .
n=1
En efecto, en tal caso, la serie doble de trminos positivos:
b0 +
(
|bm |
m=1
con
(m)
a
n
)m
|an ||z|
= b0 +
n=1
|bm |
(m)
n
a
(m)
n |z|
n=m
m=1
= an ((|ai |)1in1 ),
converge y mayora a la serie (3.4) pues:
n
n
|bm a(m)
a(m)
n z | |bm |
n |z| .
Ntese que los coecientes
(m)
a
n
son no negativos. Por tanto, hemos terminado.
3.4. Funciones exponencial y logaritmo

Denicin 3.21.
Se dene la funcin exponencial
f (z) = ez
como la serie:
zn
e =
.
n!
n=0
z
La funcin exponencial se ha denido mediante una serie de potencias cuyo

radio de convergencia es
Denicin 3.22.
= .
Llamaremos enteras a este tipo de funciones.
Se dice que una funcin compleja
f (z) =
es entera si
an z n
donde la serie converge en todo
Proposicin 3.23.
z C.
Se satisfacen las siguientes propiedades:
1)
e = 1.
2)
ez1 +z2 = ez1 ez2 .
3)
ez = 0
4)
ez = ex eiy = ex cos y + iex sen y .
para todo
z.
Ms an
ez 1 = ez .
60
CAPTULO 3.
FUNCIONES ANALTICAS
La frmula de Euler del Captulo I est recogida en 4).
Proposicin 3.24.
La funcin
eiz
es peridica de periodo
2i.
Ms an:
ez = ez ,
si y slo si
z = z + 2ki
Ntese que
ez
para
k Z.
es la extensin compleja de la funcin exponencial real la cual,
segn sabemos, se representa mediante el desarrollo:
ex =
xn
,
n!
n=0
x R.
En el apndice del Captulo I se introdujeron asimismo las funciones reales
y(x) = sen x y y(x) = cos x como las soluciones de la ecuacin diferencial

y +y = 0 que satisfacen las condiciones y(0) = 0, y (0) = 1 y y(0) = 1, y (0) = 0.
Observamos que tales funciones se representan mediante los desarrollos en serie
de potencias de
x:
sen x =
(1)n
n=0
x2n+1
(2n + 1)!
cos x =
(1)n
n=0
x2n
.
2n!
La denicin que sigue introduce las correspondientes funciones trigonomtricas

elementales, por el simple procedimiento de asignarle a
Denicin 3.25.
valores complejos.
Se denen las funciones seno y coseno:
sen z =
(1)n
n=0
Proposicin 3.26.
z 2n+1
(2n + 1)!
Las funciones
sen z
cos z =
(1)n
n=0
cos z
z 2n
.
2n!
son peridicas de periodo
2 .
Se tienen adems las relaciones:
eiz = cos z + i sen z,

y
cos z =
eiz + eiz
2
sen z =
eiz eiz
.
2i
Se satisfacen la mayora de las propiedades elementales de las funciones trigomtricas que se relegan a los problemas. Se sobrentienden asimismo las de-
tag z, sec z , etc.

ez sea peridica implica
niciones habituales de
El que la funcin
que admite mltiples maneras de

z n . De hecho, se da la
ser invertida. Esto ya se observ en el caso de la inversa de
misma situacin en el caso de una variable real con las funciones trigonomtricas
(arcoseno, arcotangente, etc.). Las inversas de la funcin exponencial se denominan funciones logaritmo cuyo estudio idntico al de la funcin argumento
iniciamos ahora.
3.4.
61
Denicin 3.27.
Para
z = 0
Se dice que
es un logaritmo de
dado todos los logaritmos de
si
ew = z .
son:
k Z,
w = w0 + 2ki,
w0 es un logaritmo particular. Especcamente, si z = |z|ei los logaritmos

de z son w = log |z| + i + 2ki, k Z.
Ahora bien, nos interesa el logaritmo como funcin de z y no como una mera
reata de valores que dependen de z . Se trata entonces de invertir la funcin
donde
exponencial. Una consecuencia de nuestro estudio de la funcin argumento es la

Proposicin 3.28.
Para cada
la apliciacin
f (z) = ez :
f : { z < + 2} C \ {0},
es biyectiva, con inversa:
f 1 (z) = log |z| + i arg z.

Ms an:
f 1 : = C \ {tei : t 0} { < z < + 2},

es continua.
Demostracin. Llamamos
G = { z < + 2}
ez = ez
con lo que
i arg z ,
y = y.
x = x
es inyectiva pues:
& y y = 2k,
Para probar la sobreyectividad escribimos
cuyo dominio es
C \ {0}, g(C \ {0}) G
g(z) = log |z| +
f (g(w)) = w.
De ah mismo sale que
La funcin
f 1
f 1 (z) = g(z).
de la proposicin se denomina:
log z = log |z| + i arg z.

En particular, la eleccin de
G0 = {0 z < 2}
en la proposicin da lugar a
la funcin:
log z = log |z| + i arg z,

= C \ {z 0}.
z
Se llama funcin logaritmo principal a la inversa de e cuando en la propo
sicin se toma G = { < z }. Se la representa por:
que es continua en
Log
z = log |z| + iArg z,
62
CAPTULO 3.
FUNCIONES ANALTICAS
= C \ {z 0}.
y dene una funcin continua en
El logaritmo principal satisface las propiedades elementales:

Log
z1 z2 =
Log
Log
z1 +
zn = n
y
Log
Log
Log
1
n
z=
n
z2 + 2ki,
z + 2ki,
Log
z.
Como en el caso real, se usa el logaritmo principal para introducir la funcin

potencial de exponente complejo:
z = eLog z ,
as como la funcin exponencial,
az = ezLog a .
Hemos encontrado inversas
ciertos dominios
C.
de la funcin exponencial que son continuas en
g = Log z denida en = C \ {z 0}.

(g, ) dene una inversa de la exponencial
(g + 2ki, ), k Z, comprende innitas inversas de la
Por ejemplo:
Resulta evidente que si el par

entonces la familia
exponencial.
Se suelen usar los trminos hoja, rama o determinacin del logaritmo

para referirse a todas estas funciones. Ms generalmente se tiene la siguiente
denicin.
Denicin 3.29.
Sea
GC
un abierto y
f C(G, C).
un dominio y g C(, C), es una rama de inversa de

1
de f
si g() G y
Se dice que
(g, ),
o una determinacin
f (g(z)) = z.
Observacin 3.9. Se desprende de (3.5) que
que
que
f : g() es biyectiva, por

g() tambin es un dominio.
Proposicin 3.30.
Si
f (G).
(3.5)
No es difcil comprobar
tanto un homeomorsmo, de donde se tiene
(f, ) es una determinacin del logaritmo entonces todas

(h, ) del logaritmo en son de la forma:
las dems determinaciones posibles
h(z) = f (z) + 2ki,

k Z. Por otra parte no existen determinaciones (f, ) del logaritmo
contenga un crculo perforado {z : 0 < |z| < r}.
para algn
tales que
Una consecuencia inmediata es que todas las determinaciones (ramas)

logaritmo en
= C \ {z 0}
tienen la forma:
gk (z) = log |z| + iArg z + 2ki,
del
3.4.
63
para algn
k Z.
Precisamente, llamamos logaritmo principal a la rama
k = 0:
g0 (z) = log |z| + iArg z.

Bajo la ptica de las ramas de inversa no est de ms que caractericemos las
determinaciones de la raz
n-sima
Proposicin 3.31.
Si
C \ {0}.
.
en un dominio
Ejercicios se justica el por qu se suprime
de
(f, ), C, es una rama de la

n-sima en tienen la forma:
raz
En la seccin de
n-sima
entonces
las otras ramas de la raz
fk (z) = e
2k
n i
k = 0, 1, . . . , n 1.
f (z)
Ms an ninguna de tales determinaciones es tal que
0 .
Demostracin. Si (f, ) y (g, ) son determinaciones f (z)/g(z) es continua en

\ {0} que sigue siendo un dominio y (f (z)/g(z))n = 1 en dicho dominio. En
n
efecto, f (z) = z signica que f (z) = 0 si z = 0.
En particular, f /g toma valores en el conjunto discreto {1, , . . . , n1 } de
las races n-simas de la unidad. Por tanto f /g es constante en \ {0}.
n
La ltima armacin es consecuencia de que, por ejemplo, la funcin
z no
es continua en un tal crculo perforado.
Continuamos ahora con un anlisis de la funcin seno. La funcin seno real

es biyectiva de [ , ] sobre su imagen [1, 1]. Inspirndonos en ello
2 2
comprobamos que sen z es biyectiva en la regin B sobre su imagen C donde
sen x
B = B {z =
+ it : t 0} {z = + it : t 0},
2
2
B = {
sen z
C \ {x 1}.
Asimismo,
2
< z < }.
2
2
es biyectiva cuando la restringimos a
sobre su imagen
Probamos las armaciones. Primero la inyectividad, si

sen z = sen z entonces
iz
iz
iz
iz
Como
|z z|
2 resulta
iz
=e e
= e
iz
:=
z, z B , z = z
por tanto:
ei(z+z ) = 1,
z + z = + 2k . Si las partes reales son x, x resulta que x + x = .
x = x [ 2 , 2 ] estas identidades no son posibles. Luego z = z .
de donde
Al ser
Para demostrar la sobreyectividad escribimos:
sen z = w,
para llegar a:
z = i
Log
{iw
1 w2 },
64
CAPTULO 3.
FUNCIONES ANALTICAS
donde por razones que vemos ms abajo tomamos el signo + designando la
expresin por g(w). Resulta que g(w) B para todo w C. Justicado esto
se concluye que sen z es biyectiva en B con inversa g(z) denida en C.
En la comprobacin de g(w) B primero suponemos que 1 w 1 con

lo que
g(w) = Arg (

1 w2 + iw) [ , ].
2 2
ms arriba no habramos obtenido

|w| > 1, w todava real, resulta:
g(w) = signo (w) + i log |w + w2 1|,

2
Si hubiramos elegido el signo
este resul-
tado. Por otro lado si
log |w +
1).
w2 1|
recorre
(0, )
Finalmente, consideramos
{iw
(respectivamente,
w = x + iy
con
y = 0
(, 0))
si
w > 1 (w <
y probamos que
1
1 w2 } = y +
|1 w2 | + (1 x2 + y 2 ) > 0.
2
Esto equivale a:
|1 w2 | + (1 x2 + y 2 ) > 2y 2 ,
(1 x2 + y 2 )2 + 4x2 y 2 > (1 x2 y 2 )2 ,
(1 x2 + y 2 )2 (1 x2 y 2 )2 + 4x2 y 2 > 0,
4(1 x2 )y 2 4x2 y 2 > 0
4y 2 > 0,
y la comprobacin
g(C) B
Denicin 3.32.
La funcin arcoseno principal se dene como:
queda terminada.
Arcsen z = i
Es continua en
Log
{iz +
1 z 2 }.
C \ {w2 1}.
Observaciones 3.10.
a) Las funciones
fk (z) = Arcsen z + 2k,

toman valores en
B + 2k
e invierten al seno (son ramas de inversa del seno
cuando ste se observa con dominio
C).
b) Se sabe que
sen( z) = sen z,
por tanto la funcin
g(z) = Arcsen z,
que toma valores en
B +
tambin invierte a la funcin seno. Lo mismo sucede
con las funciones
gk (z) = Arcsen z + 2k,
k Z.
3.5.
65
EJERCICIOS
Ejercicio 3.4. Analizar las transformadas de las curvas coordenadas:
1 = {z = x0 } B
2 = {Imz = y0 } B,
por medio de la funcin seno, usando para ello la representacin:
sen z = sen x cosh y + i cos x senh y.

Prubese que
f (C) = C.
Ejercicio 3.5. Prubense las siguientes propiedades:

a)
sen(z) = sen z , sen z = sen z
donde
z = 2k z
para un
k Z.
sen( + z) = sen z .
Conclyase que sen z no puede ser inyectiva en ninguna banda B = { < z < }
cuyo ancho > .
b)
Procedemos ahora con la funcin
tag z
siguiendo mtodos similares a los

( 2 , 2 ). Se concluye que la
del seno, primero observando la funcin real en
B = B {z = + it : t < 0}
2
{z = + it : t > 0} con valores en \ {i} y su restriccin a B lo es sobre su

2
conjunto imagen C \ {i(, 1) i(1, )}.
funcin tangente tambin es biyectiva de
En primer lugar
tag z = i
1 e2iz
,
1 + e2iz
e2iz = 1, vemos que la imagen de tag z excluye los valores i.

composicin de aplicaciones inyectivas, tag z es inyectiva en B mientras
en donde como
Como
tag z = i
1+u
1u
i(1, )
z=
+ ti
2
u = e2t ,
2 + ti con t > 0.
Para estudiar la sobreyectividad escribimos tag z = w para concluir:
con lo que
tag z
recorre
cuando
z = g(w) =
Es muy sencillo ver que
1
2i
z=
(
Log
g(C \ {i}) B
1 + iw
1 iw
)
.
lo que concluye la comprobacin de
biyectividad.
3.5. Ejercicios
1. Estudiar la convergencia de las siguientes funciones en los dominios indicados:
a)
f (z) =
k=1
kz k
en
{|z| < 1}.
66
CAPTULO 3.
f (z) =
1
k2 + z
en
FUNCIONES ANALTICAS
{z > 0}.
fn : D C C una sucesin de funciones uniformemente continuas

D, un abierto de C, f = lm fn uniformemente en D. Probar que f
es tambin uniformemente continua en D . Supngase adems que las fn
son Lischitzianas de constante Ln con sup Ln < . Demostrar que f es
2. Sea
en
Lipschitz en D. Estudiar qu sucede si se suprime la condicin sobre las
Ln .
3. Sea
an
una sucesin con
l = ?
Qu sucede si
lm an = l.
Probar que
Aprovchese el resultado
a1 + + an
= l.
n
para probar que si an
lm
es una sucesin de trminos positivos con:
lm
entonces
4. Sea
lm
n=0
an
= l,
an1
an = l.
an z n
una serie de potencias para la que existe:
lm
|an |
= R.
|an+1 |
Calclese su radio de convergencia.

5. Calcular los valores de aglomeracin de las sucesiones: a) zn
n
b) zn = 2
+(1)n +in , c) zn = [2+cos(n)]e2ni/5 , d) zn
i cos(n/6),
6. Probar que
e)
= n1 +(1)n ,
= sen(n/2)+
zn = n sen(n/2) + i cos(n/6).
lim an , lim an
son valores de aglomeracin de
asimismo que la convergencia de
an .
Comprobar
equivale a la igualdad de tales lmites
(N. B. estamos incluyendo en convergencia los casos
an ).
an , bn son sucesiones tales que lm an = a > 0. Probar que lim an bn =

a lim bn , lim an bn = a lim bn .
7. Sean
8. Sea
de
9. Sea
z = ei
n
donde
es racional. Estdiense los valores de aglomeracin
todo
an z n unaserie de potencias de radio r. Demostrar que para
k N la serie n=k an z nk tambin tiene radio de convergencia r.

n=0
10. Hallar el radio de convergencia de las series:
(1)n n
z ,
n!
n=0
z 2n+1
,
(2n + 1)!
n=0
n! n
z ,
n
n
n=0
2n n
z .
n!
n=0
3.5.
67
EJERCICIOS
11. Se sabe que el radio de convergencia de
n=0
an z n
es
r > 0.
Hallar el
radio de convergencia de las series:
np a n z n ,
n=0
|an |z n ,
n=0
a2n z n .
n=0
12. Hallar el radio de convergencia de cada una de las siguientes series:
a)
n=0
b)
aC
an z n ,
2
a C,
an z n ,
c)
d)
n=0
13. Usar la serie

n=0
n
serie
n=0 nz
n=0
kn z n ,
k Z \ {0}
z n! .
n=0
zn
y el producto de series para calcular la suma de la
14. Demostrar que el radio de convergencia de la serie:
(1)n n(n+1)
z
,
n
n=1
es
1,
15. Para
discutiendo la convergencia de la serie en los valores
se introduce la serie binomial:
1 + z + +
( 1) . . . ( n + 1) n
z + .
n!
Prubese que tiene radio de convergencia

denida por la serie en
a) Determinar
para
1.
Llamamos
|z| < 1.
f1 (z).
c) Calcular
fn (z), n N.
fn (z) = (1 + z)n .
A tal n comprebese que:
(1 + z)n fn (z) = 1,
para todo
z = 1.
16. Desarrollar
f (z)
N.
b) Calcular
d) Probar que
z = 1, 1, i.
senh z , cosh z
en serie de potencias de
z.
17. Comprubese que:
cos z = cos x cosh y i sen x senh y,

sen z = sen x cosh y + i cos x senh y.
a la funcin
68
CAPTULO 3.
18. Usando la denicin de las funciones
FUNCIONES ANALTICAS
sen z, cos z
prubense las relaciones
clsicas:
cos2 z + sen2 z = 1,
sen(z) = sen z,
cos(z) = cos(z),
z) = sen z,
2
cos(z+w) = cos z cos wsen z sen w,
cos(
z) = cos z,
2
sen(z+w) = sen z cos w+cos z sen w,
sen(
cos 2z = cos2 z sen2 z.
1 + tag 2 z = sec2 z,
19. Demostrar que los ceros de las funciones
cos z, sen z
coinciden con los de
sus restricciones al eje real.
20. Determnese el mayor dominio

21. Probar que la restriccin
g(z)
biyectiva sobre su imagen
de
donde Log
tag z
G = {
= C \ {i}.
f (z) := g
1
(z) =
2i
(f, )
es continua.
< z , z = }
2
2
2
es
Demostrar que:
Log
Prubese que dicha funcin es continua en

Se denomina al par
(z 3 + 1)
1 + iz
1 iz
)
.
= C \ {ti : t R, |t| 1}.
la rama principal de la funcin arcotangente
f (z) = Arctag z .
22. Demostrar que la funcin:
f (z) = i
es continua en
Log
( 1 z 2 + iz),
= C \ {z 1, z 1}
y cumple
sen(f (z)) = z . Se la
f (z) = Arcsen z .
conoce como la rama principal de la funcin arcoseno:
G := C \ {x 1, x 1}
z.
( )
1
Dada f (z) = sec z , prubese que g(z) =
Arcsen
es continua en
2
z
G = C \ [1, 1] y que sec(g(z)) = z para todo z G.
23. Determinar una funcin continua

tal que
24.
cos(g(z)) = z
en
G.
denida en
Indicacin. sese la funcin Arcsen
25. Prubese que todo polinomio
p(z) dene
z z0 .
una funcin entera. Hallar su
desarrollo en serie de potencias de
26. Demustrese que los polinomios complejos son sobreyectivos. Y las funciones racionales? y las enteras?
27. Estdiese la sobreyectividad de las funciones seno y coseno (vase el Ejercicio 22).
28. Prubese que si
cada
n N.
f (z) =
n=0
an z n = 0
en
|z| < r
entonces
an = 0
para
3.5.
69
EJERCICIOS
29. Sea
D(a, r) de la serie de potencias

en D(a, r) \ {a} tal que f (zk ) = 0
D(a, r).
la suma en
una sucesin
que
f =0
en
Indicacin. Prubese que
an = 0
an (z a) y {zk }
zk a. Demustrese
n=0
y
n.
para todo
n=0 an (z a) una serie de potencias convergente en D(a, r), {zk }

una sucesin en D(a, r) tal que zk b D(a, r), zk = b para todo k y tal
30. Sea
que
f (zk ) = 0,
k
D(a, r).
para todo
en
donde
es la suma de la serie en
D(a, r). Prubese que f = 0
Indicacin. Usar el Ejercicio 29 en combinacin con el Teorema 3.16.

31. Calcular el desarrollo en serie de potencias de
f (z) =
con
z z0
de la funcin:
az + b
,
cz + d
z0 = d/c, c = 0.
32. Usando la descomposicin en fracciones simples demustrese que toda fun-
f (z)
cin racional
z0 G
es analtica en su dominio de denicin
G.
Dado un
qu mide el radio de convergencia de su desarrollo en serie de
potencias de
z z0 ?
Indicacin. Puede ser til el problema 15

33. Desarrollar en serie de potencias las funciones:
f (z) =
1
,
1 + z2
g(z) =
en cada uno de los puntos
1
,
(z 2 + 1)2
h(z) =
1
,
(z 2 + 1)3
de sus dominios de denicin (que son el
mismo).
f (z) es analtica en un dominio G. Deniendo g(z) = f (

z)
z G := {z : z G} demostrar que g tambin es analtica.
34. Supngase que

en el dominio
35. Supongamos que

mostrar que
f (z)
f (z)
es analtica y no constante en un dominio
no puede ser analtica en
36. Una serie de potencias formal en
z=
G.
De-
G.
se dene como:
an
,
zn
n=0
an C.
Se dene el radio de convergencia
r = nf{|z| : la
poniendo
r=0
de la serie como
serie converge en
si la serie diverge en todo
z.
z , z = 0},
Obtngase una expresin al
estilo Hadamard del radio de convergencia de la serie, probando que sta

constituye una funcin continua en
|z| > r,
con lmite nito en el innito.
70
CAPTULO 3.
37. Se dice que un dominio

algn disco de
C.
FUNCIONES ANALTICAS
contiene al punto del innito si
Diremos que
f :GC
G C\D
G {}
es analtica en
para
si es
G (Denicin 3.15) y se representa por una serie de potencias

en z = en un entorno C \ D de dicho punto. Prubese que f es analtica
1
: z g} y
en G {} si y slo si g(z) = f (1/z) es analtica en = {
z
adems admite una extensin analtica a un cierto disco D(0, R).
analtica en
Prubese que toda funcin racional
f (z)
acotada cuando
es anal-
tica en el innito.
38. Hallar el desarrollo de
f (z) =
az + b
cz + d
en serie de potencias de
1/z (c = 0).
Complementos
1. Demustrese que:
sen z z,
cos z 1
z2
,
2
tag z z,
ez 1 z,
cuando
z 0.
Log
(1 + z) z,
A tal efecto resulta de utilidad el Ejercicio 9.
CAPTULO 4
Derivabilidad en
4.1. Derivabiliad
Denicin 4.1.
dice que
Sea
lm
zz0
C.
Que
Sea
f : G C C una funcin compleja denida en G C

z0 equivale a que exista C tal que
sea derivable en
f (z) = f (z0 ) + (z z0 ) + g(z),

donde
abierto. Se
f (z) f (z0 )
f (z0 + h) f (z0 )
= lm
= f (z0 ).
h0
z z0
h
Proposicin 4.2.
abierto de
f : G C C una funcin compleja, G C

z0 G con derivada f (z0 ) si
es derivable en
g(z) = o(|z z0 |)
cuando
(4.1)
z z0 .
Observacin 4.1. Otra forma equivalente de escribir la relacin (4.1) es poner:
g(z) = h(z)(z z0 ),
donde
h es una funcin que cumple lmzz0 h(z) = 0 (h = o(1) cuando z z0 ).
Por razones que se aclaran en el Capulo V las funciones derivables en un

dominio
GC
se denominan funciones holomorfas en
G.
Las propiedades siguientes se prueban exactamente como en el caso de una

variable real.
Proposicin 4.3.
abierto
a)
GC
Sean
f, g : G C C funciones
z0 G. Entonces:
complejas denidas en un
y derivables en
(y tambin
g)
es continua en
z0 .
Ms an
|f (z) f (z0 )| L|z z0 |,

si
|z z0 | r
para ciertas constantes

71
L, r.
72
CAPTULO 4.
b) Para
, C
la funcin
f + g
DERIVABILIDAD EN
es derivable en
z0
con
(f + g) (z0 ) = f (z0 ) + g (z0 ).

fg
c) [Regla de Leibnitz]
es derivable en
z0
(f g) (z0 ) = f (z0 )g(z0 ) + f (z0 )g (z0 ).

d) Supuesto
g(z0 ) = 0
la funcin
f
g
es derivable en
z0
( )
f (z0 )g(z0 ) f (z0 )g (z0 )
f
(z0 ) =
.
g
g(z0 )2
Es tambin importante la propiedad siguiente.
Proposicin 4.4
abiertos de
(Regla de la Cadena)
C, f (z0 ) = w0
respectivamente. Entonces
Sean
z0 G, w0
g f (z) = g(f (z)) es
con
f : G C, g : C, G,
f y g derivables en z0 y w0 ,
derivable en z0 y
(g f ) (z0 ) = g (w0 )f (z0 ) = g (f (z0 ))f (z0 ).

Demostracin. Se tiene:
g(w) = g(w0 ) + g (w0 )(w w0 ) + g1 (w),

y
con
f (z) = f (z0 ) + f (z0 )(z z0 ) + f1 (z),

g1 = o(|ww1 |) y f1 = o(|zz0 |) cuando w w0 y z z0 , respectivamente.
Por substitucin directa se tiene:
g(f (z)) = g(f (z0 )) + g (w0 )f (z0 )(z z0 ) + h(z),

con
Como
h(z) = g (w0 )f1 (z) + g1 (f (z)).

h(z) = o(|z z0 |)
cuando
z z0
hemos terminado.
Ejemplo 4.2. Los polinomios y las funciones racionales son derivables en sus
dominios de denicin. El clculo de sus derivadas es idntico al del caso real
pues:
Proposicin 4.5.
(z n ) = nz n1 .
f : G C C una aplicacin derivable en G, f (z0 ) = 0

y 1 , 2 dos curvas C (Cap. I) incidentes en z0 . Entonces el ngulo de 1 a 2
en z0 coincide con el ngulo de 1 = f (1 ) a 2 = f (2 ) en w0 = f (z0 ).

Sea
1
4.1.
73
DERIVABILIAD
i (t), t [a, b], i = 1, 2, son las parametrizaciones

z0 = i (t0 ) resulta:
(
)
(
)
2 (t0 )
f (z0 )2 (t0 )
(1 , 2 ) = arg
=
arg
= (1 , 2 ),
1 (t0 )
f (z0 )1 (t0 )
Demostracin. Si
curvas,
de las
que es lo que se pretenda demostrar.
es derivable en un abierto G C y su derivada f es

derivable en z0 entonces (f ) (z0 ) se llama la derivada segunda de f en z0 y

escribimos f (z0 ) en lugar de (f ) (z0 ). De manera anloga se introducen las
Si una funcin
derivadas de orden
n. Una verdadera gema
del anlisis complejo es la propiedad
que arma que una funcin f que es derivable en un abierto G satisface a)
que su derivada f es una funcin continua en G, b) que admite derivadas de

todos los rdenes en
G,
c) que es analtica en
(cf. Captulo III). Todava
tardaremos lo suyo en esclarecer todo esto (los impacientes pueden acudir a los
textos clsicos de la materia, [23] por ejemplo). La siguiente propiedad juega un
papel fundamental en la prueba de este hecho.
Proposicin 4.6.
vergencia
f (z)
>
n
0 an (z a) una serie de potencias con radio de con0. Si representamos por D = D(z, a) el crculo de convergencia y
Sea
la suma de la serie en
f (k) (z) =
entonces
admite derivadas de todos los rdenes
n(n 1) . . . (n k + 1)an (z a)nk .
n=k
En particular
f (z) =
1 (n)
f (a)(z a)n .
n!
n=0
Demostracin. Todo se reduce a probar que

vada vale:
f (z) =
es derivable en
y que su deri-
nan (z a)n1 .
n=1
Como el segundo miembro posee el mismo radio de convergencia que la serie
de partida, se le puede aplicar el resultado de derivabilidad para, tras repetir el
proceso
veces, llegar a la conclusin deseada.
Haciendo
z=a
en la serie derivada
veces se obtiene:
k!ak = f (k) (a).

Daremos dos demostraciones de la derivabilidad de
f . La primera es directa,
mientras la segunda hace uso del hecho de que las series de potencias denen
funciones analticas en su disco de convergencia (ver le Teorema 3.16 del Captulo
III).
74
CAPTULO 4.
DERIVABILIDAD EN
f es derivable
0 < r < .
n1
Poniendo f1 (z) =
demostramos
n=1 nan (z a)
A) Primera demostracin. Probamos que
en cada disco
D(a, r)
con
que:
f (z) f (z0 ) f1 (z0 )(z z0 ) = o(|z z0 |),

cuando
z z0 .
A tal n es til recordar que:
n|a|n rn1 < ,
mientras escribimos:
f (z) =
an (z a) +
n
n=0
an (z a)n = SN (z) + fN (z),
n=N +1
f1 (z) =
an (z a)n1 +
n=1
nan (z a)n1 = SN
(z) + f1,N (z).
n=N +1
Entonces:
f (z) f (z0 ) f1 (z0 )(z z0 ) = SN (z) SN (z0 ) SN

(z0 )(z z0 )
+ fN (z) fN (z0 ) f1,N (z0 )(z z0 ) = I + II.
Ntese que:
II =
(
)
an (z a)n (z0 a)n n(z0 a)n1 (z z0 )
N +1
= (zz0 )
(
)
an (z a)n1 + (z a)n2 (z0 a) + (z0 a)n1 n(z0 a)n1 ,
N +1
de donde
|II|
)
n|an |r
n1
|z z0 |,
2
|z z0 | <
N +1
para
N N .
Por otra parte, tomando
|I|
N = N
en
resulta:
|z z0 |,
2
si |z z0 | < . Por tanto |f f1 (z0 )z| = |I + II| |z|

z = z z0 . Esto prueba la derivabilidad de f en z0 .
si
|z| < ,
B) Segunda demostracin. Primero comprobamos que la derivada de

es
a1 .
En efecto,
f (z) = f (a) + a1 (z z0 ) + (z a)
n=2
an (z a)n2 .
en
donde
z=a
4.1.
75
DERIVABILIAD
Como:
f2 (z) =
an (z a)n2
n=2
es continua en
la derivabilidad se sigue de manera inmediata.
z0 D
Tomamos ahora
y recordamos que
forma:
f (z) =
f (z)
se puede representar en la
bn (z z0 )n ,
n=0
donde la serie converge en
|z z0 | < |z0 a|, b0 = f (z0 )

b1 =
nan (z0 a)n1 ,
n=1
(ver el Captulo III). Por tanto,
z0
es derivable en
y su derivada es
b1 .
Eso es
precisamente lo que tenamos que demostrar.
Observacin 4.3. Acabamos de probar que las series de potencias se pueden

derivar trmino a trmino en su crculo de convergencia tantas veces como se
quiera.
Una consecuencia directa de esta proposicin es la siguiente propiedad.
Proposicin 4.7.
f
Sea
una funcin analtica en un abierto
es innitamente derivable en
forma:
f (z) =
y para cada
z0 G, f
G C.
Entonces
se representa en la
1 (n)
f (z0 )(z z0 )n .
n!
n=0
La expresin (4.2) se conoce como el desarrollo de Taylor de
(4.2)
en
z0 .
Ejemplos 4.4.
a) La funcin
f (z) = ez
es innitamente derivable en
f (z) = cos z
f (z) = sen z
b) Las funciones
con derivadas
c) [Races
n-simas].
y
y
g(z) = sin z son

g (z) = cos z .
innitamente derivables en
Sea
f (z) =
0 k n 1 una
derivable en z0 y
C con derivada f (z) = ez .
rama de la raz
Arg
n
|z|e
n-sima
f (z0 ) =
z+2k
i
n
z0 C \ {x 0}.
1
.
nf (z0 )n1
Entonces
es
76
CAPTULO 4.
DERIVABILIDAD EN
En la siguiente propiedad desenterramos el esqueleto real de una funcin
f : G C, f = u + iv , es una funcin compleja y G un abierto

f dene al mismo tiempo la aplicacin real fR : G R2 R2 denida
2
2
como fR (x, y) = (u, v). Se recuerda que una aplicacin F : G R R es
2
2
diferenciable en (x0 , y0 ) G si existe L : R R lineal tal que:
derivable. Si
entonces
F (x, y) = F (x0 , y0 ) + L(x x0 , y y0 ) + G(x, y),
(4.3)
donde G(x, y) = o(r) cuando r 0 con r = |(x x0 , y y0 )|.

(u(x, y), v(x, y)) la matriz de L tiene la forma:
u u
x y
v v .
x
Usando la notacin vectorial
Si
F =
= (h1 , h2 )
x
0 = (x0 , y0 ), h
la relacin (4.3) se
escribe equivalentemente como:
= F (
+ o(|h|),
F (
x0 + h)
x0 ) + Lh
cuando
0.
|h|
Teorema 4.8.
fR = (u, v)
Sean
f : G C C, z0 = x0 + iy0 G, fR : G R2 R2 ,
f.
la apliacin real asociada a
Las siguientes armaciones son equivalentes:

1)
2)
fR
es derivable en
z0 .
es diferenciable en (x0 , y0 ) y se satisfacen las siguientes relaciones

(ecuaciones de Cauchy-Riemann):
u
v
=
x
y
.
u
v
=
y
x
En particular se tiene que:
f (z0 ) =
Demostracin.
a) b).
Si
v
v
u
u
+i
=
i .
x
x
y
y
es derivable en
z0 :
f (z) = f (z0 ) + f (z0 )(z z0 ) + g(z),

f (z0 ) = + i , g = g1 + ig2 = o(|z z0 |) cuando z z0 .
F (x, y) = fR (x, y) = (u, v), G = (g1 , g2 ), se tiene:
(
)(
)

x x0
F (x, y) = F (x0 , y0 ) +
+ G(x, y),
y y0
con
Llamando
4.1.
77
DERIVABILIAD
es diferenciable en
(x0 , y0 )
con
uy = vx = .
ux = vy = ,
b) a).
Se tiene:
a
F (x, y) = F (x0 , y0 ) + 11
a21
donde
mando
a21
a11
)(
x x0
y y0
)
+ G(x, y),
G(x, y) = (g1 , g2 ) = o(|(x x0 , y y0 )|) cuando (x, y) (x0 , y0 ).

= a11 + ia12 , g(z) = g1 + ig2 tal igualdad implica:
Lla-
f (z) = f (z0 ) + (z z0 ) + g(z),

y
es derivable en
z0
Observacin 4.5. Si
con derivada
f (z0 ) = .
es derivable el determinante jacobiano de

u

(u, v) x
=
(x, y) v
x

u

y
= |f (z0 )|2 .
v
y
fR
vale:
Ejemplo 4.6. La funcin

Log
con
r = |z|, = Arg z
z = log r + i,
es derivable en
C \ {z 0}
pues
u = log r
v =
cumplen las ecuaciones de Cauchy-Riemann. Adems:
f (z) = (log r)x + ix =
x
y
1
i 2 = .
2
r
r
z
Algunas de las propiedades que siguen hacen uso de la estructura real de

una funcin derivable
Proposicin 4.9.
tal que
f = 0
en
f.
Sea
G.
Proposicin 4.10.
f : G C C una funcin derivable

f es constante en G.
en un dominio
Entonces
Una funcin derivable en un dominio
G, f : G C C,
que slo toma valores reales es necesariamente constante.
Proposicin 4.11.
Para una funcin derivable y no constante en un abierto
G, f : G C C, se tiene que f nunca es derivable en G. Por otro

dene g(z) = f(
z ) con z G = {z : z G}, g s es derivable en G.
lado si se
Los siguientes resultados guardan relacin con el teorema de la funcin inversa. El primero viene a decir que las ramas de inversa de funciones derivables
son ellas mismas derivables. El segundo arma que las funciones con derivada
no nula son localmente invertibles. Segn se probar en su momento, en el ca
so de funciones de variable compleja f (z0 ) = 0 no slo es condicin suciente
para la invertibilidad local sino que es tambin condicin necesaria para que
f sea localmente inyectiva. Esto claramente

f (x) = x3 en un entorno de x = 0).
no ocurre en el caso real (ejemplo
78
CAPTULO 4.
DERIVABILIDAD EN
Proposicin 4.12.
Sean f : G C C una funcin derivable en un abierto

G, (g, ) una rama de inversa de f , z0 G. Si w0 = f (z0 ) y f (z0 ) = 0 entonces
g es derivable en w0 y
1
.
g (w0 ) =
f (z0 )
Demostracin. Escribimos (w
= w0 ):
g(w) g(w0 )
z z0
=
,
w w0
f (z) f (z0 )
donde
z = g(w), z0 = g(w0 ).
g.
Basta entonces tomar lmites cuando
w w0
usar la continuidad de
Proposicin 4.13. Sea f una funcin derivable en un abierto G C, z0 G,

w0 = f (z0 ) y f (z0 ) = 0. Existen entonces entornos abiertos U de z0 , V de w0
1
tales que f : U V es un homeomorsmo, f
es derivable en V y
(f 1 ) (z) =
1
f (f (z))
Demostracin. Aplicando el teorema de la funcin inversa a fR obtenemos la

1
1
existencia de U, V y que fR es C en V desde el punto de vista real. Como
1
1
en particular
inversa de
es un homeomorsmo entonces
(f
,V )
dene una rama de
y hemos terminado.
Observacin 4.7. Puede darse una prueba usando directamente la versin real
1
del teorema. En efecto si = f (z0 ) la diferencial D(fR ) puede codicarse en

1
C como la aplicacin lineal asociada a . Esto signica, obviamente, que fR1
cumple las ecuaciones de Cauchy-Riemann.
Ejemplos 4.8.
a) Si
(f, )
es cualquier rama (determinacin) del logaritmo entonces:
f (z) =
b) Si
(f, )
1
.
z
(4.4)
es una rama de inversa de la tangente (una determinacin de la
arcotangente) entonces
f (z) =
c) Si
(f, )
1
.
1 + z2
(4.5)
es una rama de inversa del seno (una determinacin del arcoseno)
entonces:
1
f (z) =
,
1 z2
donde el signo depende especcamente de cada rama. Si
z = C \ {z 2 1}
Arcsen z
f (z) = Arcsen (z),

f (z) =
el signo es ms. Sin embargo para la rama
(que toma valores en
< z <
)
2
2
el signo es obviamente
menos. Como puede observarse por inspeccin directa del caso real este no es
un fenmeno nuevo desde el punto de vista complejo.
4.2.
(g, ) es una rama de inversa

la raz n-sima y si z0 :
d) Si
de
79
FUNCIONES ARMNICAS
f (z) = z n ,
de
g (z0 ) =
es decir una determinacin
1
.
ng(z0 )n1
Algunos de los clculos precedentes nos permiten hallar los desarrollos en

serie de algunas funciones. Considerando que:
Log
(1 + z)) =
1
= 1 z + z 2 + + (1)n z n + ,
1+z
es fcil concluir que:
Log
(1 + z) =
(1)n
n=0
z n+1
zn
=
(1)n1 .
n + 1 n=1
n
Anlogamente:
Arctag z = z
z3
z 2n+1
+ (1)n
+
3
2n + 1
Otra cuestin que nos planteamos en el captulo anterior fue el desarrollo en

serie de potencias de la funcin
f (z) =
1
.
(z a)n
A estos efectos se observa que:
(z a)
](n1)
[
(1)n1
(1)n 1 k k
1 (n1)
a z
=
[(z a) ]
=
a
(n 1)!
(n 1)!
k=0
(1)n a(k+1)
k=n1
k(k 1) . . . (k n + 2) kn+1
z
(n 1)!
(
)
(1)n n 1 + l l
=
z.
an+l
n1
l=0
Dejamos al lector la tarea de encontrar los dominios de convergencia de las series

implicadas.
4.2. Funciones armnicas

Supongamos que
f (z) = u + iv
es derivable en un abierto
admiten derivadas parciales de primer orden en
condiciones de Cauchy-Riemann:
ux = vy
uy = vx .
G C.
Entonces
las cuales satisfacen las
80
CAPTULO 4.
Si se sabe adems
1 que
DERIVABILIDAD EN
admiten derivadas parciales de segundo orden en
entonces
uxx + uyy = 0,
vxx + vyy = 0.
uxx + uyy se representa como u y se llama el

u = 0 se conoce como la ecuacin de Laplace.
El grupo
relacin
Denicin 4.14.
Se dice que una funcin
u C 2 (G)
laplaciano de
u.
si
es armnica en
La
u = 0,
en
G.
Suponiendo que se es capaz de fabricar funciones armnicas u en un dominio

G la pregunta natural es saber si existe otra funcin armnica v tal que f (z) =
u + iv es derivable en G, es decir, de suerte que u, v satisfacen las ecuaciones
de Cauchy-Riemann.
Denicin 4.15.
conjugada de
si
u C 2 (G) es armnica se dice que v C 2 (G) es armnica

f (z) = u + iv es derivable en G.
Si
Teorema 4.16.
Sea G un abierto convexo, en particular C D(a, r) para a C,

u C 2 (G) es armnica en G entonces existe una funcin armnica
2
conjugada v C (G). Adems, todas las posibles funciones armnicas conjugadas de u en G dieren en una constante.
r > 0.
Si
Demostracin. Consideramos el caso

de generalidad que
0 .
Para
convexo donde suponemos sin prdida
dato hemos de resolver en
vx = P,
donde
las ecuaciones:
vy = Q,
P = uy , Q = ux . Al ser u armnica la forma = P dx + Qdy es cerrada

= dv para alguna v que se comprueba
y el lema de Poincar ([25]) implica que
inmediatamente que es armnica. En este caso resulta inmediato reproducir el

argumento del lema de Poincar, cosa que hacemos por completitud. Ntese que
slo usamos el hecho de que
es estrellado con respecto a
{xP (tx, ty) + yQ(tx, ty)} dt =
v(x, y) =
0
z = 0.
Denimos:
P dx + Q dy,
= [0, z]. Comprobamos que vx = P (x, y), en efecto:

1
vx =
{P (tx, ty) + xtPx (tx, ty) + ytQx (tx, ty)}
0
d
(P (tx, ty))} dt
dt
0
1
1
=
P (tx, ty) dt + P (x, y)
P (tx, ty) dt
=
{P (tx, ty) + t
= P (x, y).
Se prueba igualmente que
1 Es
vy = Q(x, y).
consecuencia de los resultados del captulo siguiente que la mera deivabilidad de f ya

implica que u, v son de clase C as que esta condicin se cumple siempre.
4.3.
81
APNDICE: VARIAS VARIABLES
Observacin 4.9.
= dv , v puede denirse alternativamente como
v(z) = (z0 ,z) P dx + Qdy donde es cualquier curva C 1 a trozos que conecta
z0 con z .
a) Una vez asegurado que
b) La construccin prctica de
plo en
v procede como sigue. Primero integrar, por ejem-
para tener:
P (t, y) ds.
v(x, y) = (y) +
x0
Despus derivar en
puede empezar integrando en
Py = Qx ,
Ejemplo 4.10. Hallar las funciones enteras

La funcin
v = f
concluir
(y) =
Q(x0 , s) ds. Se
y0
para llegar, gracias a a), al mismo resultado.
para, usando
cuya parte real es
u = x3 3xy .
ha de cumplir:
vx = uy = 6xy
vy = ux = 3x2 3y 2 ,
de donde, integrando la primera ecuacin en
resulta:
v = 3x2 y + (y),
derivando con respecto a
(y) + 3x2 = 3x2 3y 2
y usando la segunda ecuacin:
(y) = y 3 + C
v = 3x2 y y 3 + C.
Por tanto las funciones buscadas son:
f (z) = z 3 + C,
con
una constante compleja.
4.3. Apndice: diferenciabilidad de funciones de

varias variables complejas
f : G Cn Cm , G abierto de Cn , es una funcin
compleja, f (z) = (fk (z)) = (f1 (z), . . . , fm (z)), z = (zj ) = (z1 , . . . , zn ). Se dice
n
m
que f es derivable en z0 si existe L : C C
C-lineal tal que:
Supongamos que
f (z0 + h) = f (z0 ) + L(h) + g(h),

donde
La
g(h) = o(|h|) cuando h 0 en Cn .

funcin f induce una aplicacin real:
n)
m)
fR : R2 R2 R2 R2 ,
82
CAPTULO 4.
DERIVABILIDAD EN
fR (x1 , y1 , . . . , xn , yn ) = (u1 , v1 , . . . , um , vm ), las uk , vk son funciones reales

(x1 , y1 , . . . , xn , yn ) y se tiene que fk (z) = uk (z) + ivk (z) con z = (x1 +
iy1 , . . . , xn + iyn ).
donde
de
Con una demostracin enteramente similar a la del Teorema 4.8 se establece

sin esfuerzo el siguiente resultado.
Teorema 4.17.
f : G Cn Cm , G
Sea
abierto,
z0 G.
Las siguientes
armaciones son equivalentes.

a)
b)
fR es diferenciable en sentido real en z0 y adems (ecuaciones de CauchyRiemann):
es diferenciable en
z0 .
vk
uk
x = y
j
j
u
v
k
k
=
yj
xj
para
1 j n, 1 k m .
4.4. Ejercicios
1. En qu puntos es derivable la funcin
f (z) = |z|2 ?
2. Estudiar la validez de las ecuaciones de Cauchy-Riemann en

funcin
f (z) =
|xy|.
z = 0 para la
Es derivable en el origen?, es derivable en algn
otro punto?
3. Estudiar la diferenciabilidad de la funcin
f (z) = x2 + iy 2 .
4. Calclense las derivadas de las siguientes funciones:
a) tag z,
f)
arcsen
b)
cotang
z,
g)
z,
c) sec z,
arccosen
z,
h)
d)
cosec
arcsec
z,
z,
e)
i)
arctag
arccosec
z,
z,
en donde para las funciones circulares inversas arc se toman las ramas
principales (ver los Ejercicios del Captulo III).
5. Comprubense las siguientes relaciones:
a)
Argch
z=
Log
(z +
z 2 1),
c)
Argth
z=
b)
1
2
Argsh
Log
z=
Log
(z +
z 2 + 1),
z+1
,
z1
donde se ha usado la rama principal de la raz cuadrada. Calclense las

derivadas de dichas funciones.
6. Estudiar la derivabilidad de la funcin
log(log(log z)).
4.4.
83
EJERCICIOS
7. Para cada una de las funciones siguientes hllese el dominio de holomorfa

y su derivada:
f (z) =
ez 1
,
ez + 1
f (z) = cosec
z,
f (z) = sec
sen( iz + 1)
,
z2 + 1
f (z) =
f (z) = cos
z,
1
f (z) = etag z ,
z
ez 1.
8. Las mismas cuestiones que en el ejercicio 7 para las funciones:
f (z) =
z 4 1,
f (z) = (z 2 +1)z ,
9. Para
a C \ {0}
f (z) =
Log
Log
f (z) = (1+ez )
z),
se dene la rama principal de
z a = ea
donde Log
f (z) = eArctag
f (z) = Arcsen z 2 ,
Log z
za
i z
Log
(1+ez ).
como:
designa la rama principal del logaritmo.
a) Prubese que la denicin dada coincide con

1/n
de z
para n N.
b) Prubese que
z a z b = z a+b , a, b C.
c) Prubese que
za
es holomorfa en
10. Hallar todas las funciones
f (z)
C \ {z 0}
holomorfas en
z n , z n
con
y la rama principal
(z a ) = az a1 .
que cumplen:
f (z) = f (z),
para un nmero complejo dado
C.
11. Usar el ejercicio 10 para dar una nueva demostracin de que:
ez1 +z2 = ez1 ez2 .

Indicacin. Comprense las funciones
12. Hallar todas las funciones enteras
e+z
f (z)
e ez .
tales que:
f (z) + f (z) = 0
en
C.
Indicacin. Imitar argumentos similares al caso real.

13. Se introdujo en el captulo anterior la serie binomial:
g (z) = 1 + + +
( 1) ( n + 1) n
z + .
n!
Hllense las derivadas de todos los rdenes de g en z = 0. Recurdese

g (z) coincide con (1 + z) para valores signicativos de .
que
84
CAPTULO 4.
14. Se considera la rama principal de
DERIVABILIDAD EN
(1 + z) ( C).
Tras determinar el
dominio de holomorfa de dicha funcin calclense las derivadas sucesivas
de (1 + z) en dicho dominio. Cunto valen stas derivadas en z = 0?

Comparar con el Ejercicio 13.
15. Existen funciones holomorfas
16. Hallar las funciones holomorfas
17. Se sabe que
tales que
u = f = x2 + y 2 ?
tales que
f = x2 y 2 .
es entera con:
f (z) = u(x) + iv(y).

Probar que
es lineal.
18. Determinar la funcin entera
f (0) = 6
20. Sea
zG
f (z) = 3x2 4y 3y 2 ,
f : G C C es holomorfa en un dominio G y f (z) R

f es constante.
entonces
un dominio y
valores en
que satisfaga
f (1 + i) = 0.
19. Demostrar que si

para todo
f (z)
{|z| = 1}.
f : G C
una funcin holomorfa que toma sus
Demostrar que
es constante.
21. Se expresan las partes real e imaginaria
f en coordenadas
V (r, ) = v(r cos , r sen ).
compleja
u(x, y), v(x, y) de una funcin

U (r, ) = u(r cos , r sen ),
polares para tener
Admitiendo la existencia de todas las deriva-
das parciales primeras, determnese la forma polar de las ecuaciones de

Cauchy-Riemann. Aplicar el resultado para estudiar la holomorfa de las
funciones,
a) rn cos n+irn sen n,
b) r1/n cos
+ir1/n sen ,
n
n
c) log r2 +2i,
d) r e cos( + log r) + ir e sen( + log r)

Solucin:
, R.
rUr = V , U = rVr .
22. Estudiar el dominio de holomorfa de la funcin:
f (z) = exp i
Log
[ (
)]1/2 }
1+z
i
,
1z
calculando su derivada. Cul es la imagen del disco unidad

mediante
{|z| < 1}
f?
Indicacin. Es un anillo.
23. Sea
una funcin holomorfa en un dominio G C. En G =

f (z) = f (
z )). Probar que f es tambin holomorfa.
se dene
{
z : z G}
4.4.
85
EJERCICIOS
una curva C 1 a trozos parametrizada por : [a, b] C con (a) =

z0 , (b) = z1 . Supongamos que f = u + iv es holomorfa en un dominio
convexo G y que G. Prubese que la integral:
uy dx + ux dy,
24. Sea
z0 , z1 .
slo depende de
25. Sean
tales
fn : G C C diferenciables en G con derivadas continuas
que fn f , fn g uniformemente en G. Prubese que g = f .
26. Sean
2 y
fn : G C C diferenciables en
G con derivadas continuas de
|fn (z)|, |fn (z)| Mn en G con n=1 Mn < . Si se dene:
forma que
f (z) =
fn (z),
n=1
prubese que
es derivable con:
f (z) =
f n (z).
n=1
27. Se considera la serie de potencias con centro en el innito:
f (z) =
an
,
zn
n=0
R > 0 (vase el Captulo III). Estdiese la derif en |z| > R y el comportamiento asinttico de las derivadas
z .
y radio de convergencia
vabilidad de
cuando
= (x, y) = (z) una funcin real y continua denida

G C \ {0}. Se dice que es una rama del argumento si:
28. Sea
ei(z) =
a) Si
en
es una rama de arg z

G?
en
cero de la forma
c) Demustrese que si
en
2 Esta
z G.
G cmo son las otras posibles ramas de arg z
arg z
D(0, r) \ {0} ?
b) Puede existir una rama de
z
|z|
en un dominio
denida en un entorno perforado de
es una rama de
arg z
en
entonces
G.
condicin es innecesaria en virtud del teorema de Goursat.
es armnica
86
CAPTULO 4.
d) En las condiciones de c), prubese que

(r
= |z|).
rn cos n, rn sen n
n
n=0 r (an
R, como polinomios armnicos de grado N .
Nota. Se conoce a las expresiones
29. Sea
un dominio y
DERIVABILIDAD EN
una rama de la raz
son armnicas
cos n + bn sen n), an , bn
n-sima
de
z.
Hllense todas
las otras ramas.

30. Prubese que no puede existir una rama de la raz
en un entorno de cero
31. Se sabe que
n-sima
de
denida
{z : |z| < r}.
es continua en un dominio
G C, 0
/G
(cf. Ejercicios 28,
30) y que cumple:
g(z)n = z,
es decir que
es una rama de la raz
n-sima.
Prubese que
determinando una expresin de su derivada en trminos de
g es
g.
32. Demostrar que no existe una rama del logaritmo denida en

33. Prubese que
log |z|
es armnica en
C \ {0}.
derivable
G = C \ {0}.
Admite all una funcin
armnica conjugada?
Indicacin. Vase el Ejercicio 32

34. Sean
G,
inyectiva,
dominios de
C, f, h : G C, g : C, h, g
h(z) = g(f (z))
junto con
holomorfas,
continua, de forma que:
g (w) = 0
en
z G,
a) Probar que
es inyectiva.
b) Probar que
es holomorfa en
dando una expresin de su derivada.
CAPTULO 5
Integracin compleja
5.1. Integral de Riemann compleja

P = {t0 , . . . , tn } de [a, b] a toda
a = t0 < t1 < < tn = b. Designamos por P al
particiones. Para una funcin acotada f : [a, b] C y P P
Para su uso inmediato llamamos particin

sucesin de valores reales
conjunto de tales
una suma de Riemann asociada consiste en la expresin:
s(P ) =
f (i )ti ,
i=1
donde
i [ti1 , ti ], ti = ti ti1 .
Denicin 5.1.
Una funcin acotada
integrable) si existe
f : [a, b] C es Riemann integrable (R > 0 existe P P cumplindose:
tal que para cada
|s(P ) | <
para toda
P P , P P .
[a, b].
Riemann-integrables en
Denotamos
el conjunto de las funciones
f (t) dt =
a
donde
R[a, b]
Es costumbre asimismo escribir
f=
a
f,
I
I = [a, b].
Proposicin 5.2.
f R[a, b]
Una funcin acotada
f R[a, b]
si slo si
f R[a, b],
y se cumple:
f + i
f=
a
b
a
f.
a
f (t) = f1 (t) +
sean Riemann-integrables.
Observacin 5.1. Una denicin equivalente de funcin compleja
if2 (t) Riemann-integrable consiste en pedir que f1

87
f2
88
CAPTULO 5.
INTEGRACIN COMPLEJA
Se incluye a continuacin una relacin de propiedades bsicas de la integral

de Riemann. Remitimos al lector a la referencia [3].
Proposicin 5.3
g R[a, b]
f, g R[a, b], , C.
Sean
(Linealidad)
(f + g) =
g.
Proposicin 5.4 (Aditividad en el intervalo de integracin).

acotada en
a) Si
[a, b]
f R[a, b]
entonces
f R[a, c], f R[c, b]
una funcin
f R[c, b]
y:
f+
f=
f R[a, c]
Sea
a < c < b.
b) Si
f +
f +
Entonces
f.
entonces
f R[a, b]
y se tiene la identidad
precedente.
Para uso posterior adoptamos los convenios:
f =
f = 0,
a
f.
a
Una denicin relevante para lo que sigue es la siguiente.
Denicin 5.5
: [c, d] C es C 1
a trozos si o bien es C en [c, d] o bien es continua en [c, d] y existe una
1
particin P de [c, d] tal que es C en cada intervalo [tk1 , tk ] entendindose
las derivadas en tk1 y tk por la derecha e izquierda respectivamente aunque
quizs (t) = (t+) en los puntos de P .

(C
a trozos)
1
Se dice que una funcin
Proposicin 5.6 (Cambio de variable).

funcin montona,
C1
a trozos,
Sea f R[a, b] y : [c, d] [a, b] una

([c, d]) = [a, b]. Entonces f R[c, d] y
(d)
f (t) dt =
(c)
f ((s)) (s) ds.
El siguiente resultado importante caracteriza la integrabilidad Riemann de

las funciones acotadas.
Teorema 5.7
(Lebesgue)
Sea
acotada en
D = {t [a, b] : f
Entonces
es integrable Riemann en
[a, b]
no es continua en
[a, b]
si y slo si
t}.
D
es un conjunto con
medida de Lebesgue cero.

Observacin 5.2. Ntese que los conjuntos numerables (sucesiones, pongamos
por caso) son ejemplos de conjuntos con medida de Lebesgue cero.
5.1.
89
INTEGRAL DE RIEMANN COMPLEJA
Proposicin 5.8
f R[a, b]
Si
(Valor absoluto)
tiene:
entonces
|f | R[a, b]
y se

b b

f
|f |.

a
a
Demostracin. La integrabilidad se sigue de que el conjunto donde

continua es menor que aqul donde lo es
f.
Merece la pena probar la estimacin de

de [4]. Escribiendo:
b
a
f|
|f |
es dis-
usando el curioso argumento
f = Rei ,
a
f = g = g1 + ig2 resulta:

b
b
b
b
b

g=
g1
|g| =
|f |.
f = R =

a
a
a
a
a
El resultado siguiente se conoce como teorema fundamental del clculo.
Teorema 5.9
(Teorema fundamental del clculo)
Sea
f : [a, b] C
una
funcin continua. Entonces:

1) Si para cada
t [a, b]
ponemos,
F (t) =
f (s) ds,
a
entonces
2) Si
es
es derivable en
C1
a trozos en
[a, b]
[a, b]
con
F (t) = f (t).
entonces:
t1
f = f (t1 ) f (t0 ),
t0
para t0 , t1
[a, b]
arbitrarios.
Una consecuencia importante es la siguiente propiedad.
Proposicin 5.10.
Sea
: [a, b] C
derivable con derivada continua en un
entonces:
C 1 a trozos y f : G C
abierto G. Si (t) G para todo t
de clase
f ((b)) f ((a)) =
a
f ((t)) (t) dt.
90
CAPTULO 5.
INTEGRACIN COMPLEJA
5.2. Integrales complejas

Una aplicacin
C1
a trozos
denomina una parametrizacin
: [a, b] C tal que (t) = 0 para todo t

C 1 (omitiremos con frecuencia el calicativo
se
a
trozos para abreviar).

Dos parametrizaciones
C 1 , i : [ai , bi ] C, i = 1, 2,
se dicen equivalentes
1 2 si existe una transformacin (cambio de parmetro) C 1

: [a1 , b1 ] [a2 , b2 ] tal que (s) > 0 y 1 (s) = 2 ((s)) para todo s [a1 , b1 ].
1
Llamamos curva orientada C a una parametrizacin y todas sus parametrizaciones equivalentes. Ms formalmente, la relacin 1 2 es de equivalencia
y escribiremos
entre las parametrizaciones y as una curva consiste en una clase de equivalencia. Si
z0 = (a), z1 = (b) decimos que
es una curva de
z0
hasta
z1
dando a
entender que estamos recorrindola en un sentido preciso. Con frecuencia identicaremos la curva
con su rbita
= {z C : z = (t), t [a, b]},
teniendo
presente que en clculos de integrales hay que asignarle un sentido a su recorrido.
: [a, b] C su opuesta es la denida por la

(t) = (t) con dominio [a1 , b1 ] = [b, a]. Si va de z0 a z1
de z1 a z0 .
Dada una curva orientada

parametrizacin
entonces
va
Suma de curvas. Dadas dos curvas orientadas con sendas parametrizaciones
i : [ai , bi ] C, i = 1, 2, se dene la curva suma 1 + 2

: [a1 , b1 + (b2 a2 )] C,
{
1 (t)
a1 t b1
(t) =
2 (a2 + (t b1 )) b1 < t b1 + (b2 a2 ).
mediante la
parametrizacin
Esto signica que primero recorremos
y a continuacin recorremos
2 .
La
operacin suma de curvas se introduce pensando en la integracin compleja

y por tanto no es necesario que
1 + 2
sea de nuevo una parametrizacin.
No obstante y por claridad de ideas asumiremos por el momento que

2 (a2 ). En este caso, 1 + 2 s parametriza una curva C 1 .
1 (b1 ) =
Curvas cerradas orientadas son aquellas que corresponden a parametrizaciones
: [a, b] C
tales que
(a) = (b).
Si
es una curva cerrada y
n N
escribiremos
n)
n = + + ,
en el mismo sentido. Si (t) = e2it , t [0, 1],
(t) = e2it con t ahora recorriendo el intervalo
n = n(). En el ejemplo anterior (t) = e2it ,
que equivale a recorrer

entonces
veces
se parametriza por
[0, n]. Anlogamente

t [1, 0], aunque puede darse por una parametrizacin equivalente tomando
t [0, 1]. En este sentido n se parametriza por (t) = e2it , t [0, n].
Curvas de Jordan. Una curva cerrada continua : [a, b] C tal que es
inyectiva en [a, b) se llama una curva (orientada) de Jordan. Si tambin representamos por su rbita {z = (t) : t [a, b]} est claro que C \ posee una
componente conexa no acotada. Esto es cierto para todas las curvas cerradas
y la llamaremos la componente exterior Ce de . Adems las restantes posibles
5.2.
91
INTEGRALES COMPLEJAS
componentes de
C\
han de ser acotadas. En el caso de curvas de Jordan
C\
demuestra y no es tarea sencilla que
cuya frontera comn es
se
posee exactamente dos componentes
Ce
la componente exterior
este caso se denomina la componente interior
Ci
y otra componente que en
de
Tal es el contenido del
clebre teorema de la curva de Jordan (vanse [3], [19], [8]).
Denicin 5.11.
Dada una parametrizacin
total de
C1
a trozos
1 se dene la variacin
| (t)| dt.
V () =
a
1 2
Si
son parametrizaciones equivalentes
V (1 ) = V (2 ) (se deja como

() de la curva que
ejercicio). Tal cantidad se denomina la longitud de arco

denen.
Denicin 5.12.
Si
es una curva
C1
f (z) dz =
GCyf :GC
como:
en un abierto
continua se dene la integral (de lnea) compleja de
es
sobre
f ((t)) (t) dt.
Denimos asimismo:
f (z) |dz| =
f ((t))| (t)| dt.
Ejemplos 5.3.
1.
2.
3.
dz
= 2i, z = eit , t [0, 2].
z
dz
= 0, z = eit , t [0, 2], n 2.
zn
n
1
z dz =
[bn+1 an+1 ], = [a, b].
n+1
Proposicin 5.13.
Consideremos
en las condiciones de la Denicin
5.12. Entonces:
1.
2.
3.
no depende de la parametrizacin.
f =
| f dz|
4. Si
C 1:
1 , 2
f.
|f | |dz| sup |f |V ().
son parametrizaciones
C1
en
f=
1 +2
1 En
1 + 2
f+
f.
y
lo que sigue sobrentendemos el calicativo a trozos.
es una parametrizacin
92
CAPTULO 5.
Denicin 5.14.
Una funcin continua
G C, admite una primitiva

F (z) = f (z) para todo z G.
Proposicin 5.15.
C1
Si
INTEGRACIN COMPLEJA
f : G C C,
denida en un abierto
si existe una funcin derivable
admite una primitiva
en un abierto
en
tal que
es
entonces:
f dz = F (z1 ) F (z0 ),
donde
z0 = (a), z1 = (b).
R
Observacin 5.4. En
En particular, la integral es cero si
es cerrada.
las funciones continuas siempre admiten una primitiva.
Esto no es cierto en el caso complejo.
f (z) =
embargo no admite primitiva alguna pues:
1
z
es continua en
C \ {0},
sin
dz
= 2i,
z
donde
(s) = eis , s [0, 2].
5.3. El teorema de Cauchy en crculos: consecuencias

Empezamos con un resultado auxiliar
Teorema 5.16.
Sea:
[a, b] [c, d] R2
(s, t)
una aplicacin continua tal que

tonces:
C
(s, t)
tambin es continua en
[a, b] [c, d].
En-
g(t) =
(s, t) ds,
a
es derivable en
[c, d]
con derivada,
g (t) =
Lema 5.17.
Sea
= D(a, r)
para todo
z D(a, r).
(s, t) ds.
t
parametrizado por
Entonces:
d
= 2i,
z
(s) = a + reis , s [0, 2].
5.3.
93
EL TEOREMA DE CAUCHY EN CRCULOS
z
D(a, r) (Teorema 5.40) y por tanto su valor ha de ser 2i, el que corresponde a z = a. No obstante deduciremos el resultado usando el Lema 5.16 y un
Demostracin. Probaremos ms adelante que la integral no depende de
argumento de continuidad.
Para
t [0, 1]
ponemos:
g(t) =
[0, 1]
que es continua y derivable en
g (t) = (z a)
as
con derivada:
d
= (z a)
( a t(z a))2
con
d
a t(z a)
la curva cerrada (s) = reis t(z a), s [0, 2].

g(1) = g(0) y g(0) = 2i.
d
,
2
Por tanto
g (t) = 0,
Observacin 5.5. En el Ejercicio 15 se propone otra demostracin directa del

lema.
El que sigue es el resultado crucial del curso.
Teorema 5.18 (Frmula de Cauchy en crculos).

2
derivada continua . Si
D(a, r)
entonces
Sea f : G C derivable con

D(a, r) G, (s) = a + reis , t [0, 2] parametriza
f (z) =
para
1
2i
f ()
d,
z
(5.1)
z D(a, r).
Demostracin. En virtud del lema previo, hemos de probar que:
Para
t [0, 1]
f () f (z)
d = 0.
z
denimos:
g(t) =
que es continua y derivable en
f (t( z) + z) f (z)
d
z
[0, 1]
con:
1
g (t) =
f (t( z) + z) d =
t
donde
tanto
f (1 ) d1 ,
(s) = z + t((s) z), (s) = reis + a, dene

g (t) = 0. Ello signica que g(0) = g(1) = 0.
2 Esta
una curva cerrada. Por
hiptesis es innecesaria en virtud del Teorema de Goursat (Teorema 5.29).
94
CAPTULO 5.
Lema 5.19.
Sea
C1
una curva
INTEGRACIN COMPLEJA
a trozos en un abierto
G C y fn
f sobre g .
una sucesin de funciones continuas que converge uniformemente a
Entonces:
lm
fn =
f.
El siguiente teorema establece que las funciones derivables con continuidad

C .
son analticas, en particular
Teorema 5.20.
Sea
f : G C C, G abierto,
D(a, r) G. Entonces:
una funcin derivable con
derivada continua, mientras
f (z) =
an (z a)
(5.2)
n=0
para
z D(a, r) siendo
G y (5.2) es
analtica en
la serie absolutamente convergente. Por tanto,

el desarrollo de Taylor de
an =
n N. En consecuencia los coecientes an no dependen

D(a, r). Ms an:
n!
f (z)
(n)
f (a) =
dz
2i |za|=R (z a)(n+1)
para cualquier
0<R<r
donde
es
f (n) (a)
n!
para cada
del disco
f:
|z a| = R
del radio
(5.3)
se recorre en sentido positivo.
Observacin 5.6. Las identidades (5.1) y (5.3) se conocen como las frmulas de
Cauchy. Ms adelante se extienden a curvas cerradas muchos ms generales que
la circunferencia.
Corolario 5.21.
f : G C C una funcin derivable con derivada

G C, a G y 0 = dist(a, G). Entonces la serie de
a tiene radio de convergencia 0 .
Sea
continua en un abierto
Taylor (5.2) de
en
Ejemplo 5.7. La funcin
f (z) =
Log
(1 + z)
con derivada continua. La serie de Taylor de
g(z) =
Log
(1 + z0 ) +
G = C \ (, 1]
z = z0 G es:
es derivable en
en
(1)n (1 + z0 )n (z z0 )n ,
n=1
|z0 +1|. Sin embargo, para z0 < 1

z0 a la frontera de G es exactamente |z0 | que es estrictamente
menor que |z0 +1|. As pues f (z) coincide con su serie de Taylor en |zz0 | < |z0 |
cuyo radio de convergencia es exactamente

la distancia de
aunque sta ltima converja en una regin mayor.

Una cuestin planteada y resuelta ad hoc en el Captulo III se vuelve a
establecer ahora de manera ms directa.
5.3.
95
EL TEOREMA DE CAUCHY EN CRCULOS
Corolario 5.22.
Si
f (z)
en su disco de convergencia
Corolario 5.23.
Si
D(b, )
entonces
es derivable en
f (z) =
n=0 bn (z
es analtica en D(b, ).
es la suma de una serie de potencias
b)
con derivada continua entonces:
an z n
n=0
para
z C.
En particular el radio de convergencia de la serie es
r=
es
una funcin entera (Captulo III).
Teorema 5.24
(Teorema de Cauchy en un crculo)
crculo D(a, r) con derivada continua en

C 1 a trozos en D(a, r) se tiene que
D(a, r).
Si
Sea
derivable en un
es una curva cerrada y
f = 0.
Corolario 5.25
entonces para cada
nN
G C.
entonces
Sea f una funcin derivable con

D(a, R) G y M = supD(a,R) |f |
(Teorema de Liouville)
n!M
.
Rn
Si
f : C C
es entera y acotada
es constante.
M = sup |f |
z C jado
Demostracin. Sea
5.25 se tiene para
R > 0
|f (z)|
Por tanto
Si
se tiene que:
|f (n) (a)|
Teorema 5.26
(Estimaciones de Cauchy)
derivada continua en un abierto
f (z) = 0
arbitrario. En virtud del Corolario
M
.
R
es constante.
El teorema de Liouville proporciona una prueba directa del Teorema Fundamental del lgebra (vase el Captulo II).
Corolario 5.27.
tal que
Si
p(z)
es un polinomio de grado
n1
entonces existe
aC
p(a) = 0.
Demostracin. Si fuese
p(z) = 0
tada lo cual no es posible.
para todo
entonces
1
p(z)
sera entera y aco-
96
CAPTULO 5.
INTEGRACIN COMPLEJA
5.4. Teoremas de Morera y de Goursat

Dados tres puntos
{z0 , z1 , z2 } el tringulo orientado T
{z0 , z1 , z2 }
{z0 , z1 , z2 }:
de vrtices
(cf. [23]), dados en ese orden, se dene como la envolvente convexa de
T = Co({z0 , z1 , z2 }) = {t0 z0 + t1 z1 + t2 z2 : tj [0, 1], t0 + t1 + t2 = 1}

El interior de
es:
T = {t0 z0 + t1 z1 + t2 z2 : tj (0, 1), t0 + t1 + t2 = 1}

mientras su frontera es la traza de la poligonal
T .
nomina
continua en
entonces:
f (z) dz =
que se de-
f (z) dz +
[z0 ,z1 ]
[z1 ,z2 ]
Teorema 5.28 (Teorema de Morera).

GC
es
f (z) dz +
un abierto
= [z0 , z1 , z2 , z0 ]
Ntese que se ha tomado una orientacin en la frontera. Si
Sea
f (z) dz.
[z2 ,z0 ]
f :GC
una funcin continua en
con la propiedad de que:
f (z) dz = 0,
T
sobre todo tringulo

continua en
T G.
Entonces
es holomorfa en
y su derivada
es
G.
Demostracin. Es suciente con demostrar el teorema en cada disco
G.
En un tal disco denimos
D(a, r)
F (z) =
f () d.
[a,z]
La funcin
es de clase
F es derivable en D(a, r) y su derivada en D(a, r) es f .

C y f = F es derivable con continuidad en D(a, r).
Por tanto
Una consecuencia importante es el siguiente resultado.
Teorema 5.29
en
G.
(Teorema de Goursat)
Entonces la derivada
Sea
f :GC
una funcin derivable
es una funcin continua en
G.
Demostracin. Se reduce a demostrar que se satisfacen las condiciones del Teorema de Morera en cada disco
D(a, r) G
(cf. [7]).
5.5. Ceros de las funciones holomorfas

Denicin 5.30.
Se dice que
z=a
Sea
de
f :GC
una funcin derivable en una abierto
es un cero de orden
de
f (z) = (z a)m g(z),

donde
es derivable en
g(a) = 0.
si
G C.
5.6.
97
PRINCIPIO DEL MDULO MXIMO
Observacin 5.8. Vase ms abajo el Corolario 5.33 para una caracterizacin

ms razonable de los ceros de una funcin derivable.
Teorema 5.31.
Sea
f :GC
G C.
una funcin derivable en un dominio
Las siguientes armaciones son equivalentes:

1.
f 0.
2. Existe
aG
tal que
f (n) (a) = 0
{z : f (z) = 0}
3. El conjunto
Corolario 5.32
para todo
n N.
G.
posee un punto de acumulacin en
(Principio de Prolongacin Analtica)
funciones complejas derivables en un dominio
G C.
Sean
son dos
Si el conjunto:
{z G : f (z) = g(z)}
admite un punto de acumulacin en
entonces
f =g
en
G.
El resultado precedente asegura que la estructura de una funcin derivable
G queda estrictamente controlada por sus valores en un conjunto
en un dominio
muy pequeo. En otras palabras, no hay sino una nica manera de extender una
funcin derivable desde un pequeo conjunto (v.g. una bola) hasta un dominio
que la contenga. Por esta razn se denomina holomorfas a las funciones
derivables. El trmino procede de los vocablos griegos holos (todo, total) y

morphos (forma) y viene a querer decir de una pieza. Fue introducido por
los matemticos franceses Ch. Briot y J. C. Bouquet.
En lo que sigue usaremos ese apelativo para referirnos a las funciones deri-
H(G)
G C.
vables y por
abierto
Corolario 5.33.
denotaremos el conjunto de las funciones holomorfas en un
Sea
f H(G).
El punto
z =a
es un cero de orden
si y
slo si
f (k) (a) = 0
Corolario 5.34.
de orden
k = 0, . . . , m 1,
f (m) (a) = 0.
Los ceros de una funcin holomorfa no nula son siempre ceros
para algn
m N.
En particular tales ceros son siempre aislados.
5.6. Principio del mdulo mximo

El siguiente resultado es de suma importancia especialmente en el campo de
las ecuaciones en derivadas parciales donde se le conoce como el principio del
mximo ([14]).
Teorema 5.35.
|f (z)| |f (a)|
Sea
f H(G) donde G es un dominio. Si existe a G

z G entonces f es constante en G.
tal que
para todo
La demostracin se basa en la siguiente propiedad descubierta originalmente

por Gauss en sus trabajos en teora del potencial.
98
CAPTULO 5.
Teorema 5.36 (Propiedad de la Media).

ces:
f (a) =
1
2
Sea
INTEGRACIN COMPLEJA
f H(G)
D(a, r) G.
Enton-
f (a + reit ) dt.
0
Demostracin. Consecuencia inmediata de la frmula de Cauchy.

Demostracin del Teorema 5.35. Se dene:
M = {z G : |f (z)| = M }.
con
M = |f (a)|. M
es cerrado y no vaco. Como consecuencia de la propiedad
de la media tambin es abierto y as
M = G.
Como aplicacin del teorema se obtiene una prueba del teorema fundamental
del lgebra (vanse los ejercicios).
5.7. ndice de una curva

Sea
1 (t) = a + re2ti , t [0, n].
t [0, n],
n veces la
2 (t) = a + re2ti ,
La parametrizacin recorre
circunferencia en sentido positivo alrededor de
a,
mientras
efecta la misma operacin pero en sentido negativo.
Ntese que:
1
2i
dz
=n
za
1
2i
dz
= n.
za
A n de generalizar esta observacin se tiene en primer lugar.
Proposicin 5.37.
Sea
una curva
integral:
1
2i
C1
a trozos y
a
/ .
Entonces la
dz
za
(5.4)
siempre toma valores enteros.
Denicin 5.38.
a
/
El ndice
n(, a)
de una curva
con respecto a un punto
se dene como el valor de la integral (5.4). Tambin se conoce como
nmero de vueltas de
en torno al punto
a.
Observacin 5.9. Puede probarse que como en el caso del ejemplo preliminar
n(, a) describe
a (cf. [19]).
el nmero neto de circunvoluciones que efecta
alrededor de
Las siguientes propiedades ayudan a digerir el concepo.
Proposicin 5.39.
1.
Sean
n(1 , a) = n(1 , a).
1 , 2
curvas cerradas de clase
C1
a trozos.
5.7.
99
NDICE DE UNA CURVA
2. Si
comparten un punto
3 y por tanto
1 + 2
es de nuevo una curva
cerrada, entonces:
n(1 + 2 , a) = n(1 , a) + n(2 , a).

Si
es una curva cerrada
componentes
C\
posee a lo ms una cantidad numerable de
y slo una de ellas es no acotada, la que designamos como la
componente exterior
Teorema 5.40.
Si
Ce
sobre las componentes
Ce .
de
.
C 1 a trozos, n(, z) es constante
n(, z) se anula sobre la componente
de
C \ .
Adems
C 1 y no constante puede asegurarse

que n(, z) es no nulo en alguna componente? Posible respuesta: escribir =
1 + 2 con 2 de Jordan y tomar z en el interior de 2 .
Observacin 5.10. Dada una curva cerrada,
El siguiente resultado no es precisamente de los de demostracin sencilla

([19]) salvo que se empleen herramientas adecuadas como el grado topolgico
(cf. [24]).
Teorema 5.41.
Si
es una curva de Jordan
componente interior de
Como en el caso de
C1
entonces
n(, z) = 1
en la
.
1 (t) = a + reit , 2 (t) = a + reit , t [0, 2],
las curvas
de Jordan se clasican en positivas o negativas de acuerdo con el signo de
n(, z)
en la componente interior.
Comprobaremos que
n(, z)
es invariante frente a homotopas siempre que
el proceso de deformacin no atraviese el punto
(cf. Seccin 5.9. Esto contri-
buir enormemente a conocer el ndice de gran cantidad de curvas sencillas. Por

ejemplo, todas las curvas poligonales convexas que se describen a favor de las
agujas del reloj tienen ndice
(medido desde la componente interior).
No obstante la siguiente versin ms dbil es lo suciente verstil como para

abarcar la mayora de los ejemplos que consideramos.
Proposicin 5.42.
i : I C, i = 1, 2, curvas cerradas C 1 denidas en

I = [0, 1], i (0) = i (1), i = 1, 2. Supongamos que existe : I I C continua
con
continua tal que:
s
a) (s, 0) = 1 (s), (s, 1) = 2 (s), s I .
b)
Sean
(0, t) = (1, t), t I .

Si z
/ (I I) entonces:
n(1 , z) = n(2 , z).
3 Esto no es imprescindible porque la integral de lnea se puede denir de forma tal que sea
aditiva en las curvas aunque no se corten entre s.
100
CAPTULO 5.
INTEGRACIN COMPLEJA
0
+1
g
g2
g1
-1
0
Figura 5.1:
La curva
es suma de
2 .
Obsrvense los distintos ndices de
las componentes.
Tpicamente
1 es una
como
curva de Jordan dentro de otra curva de Jordan
es posible denir
(s, t) = 1 (s) + t(2 (s) 1 (s)).

1 y 2 de la gura 5.1 tienen
+1 y 1. La curva = 1 +2 . Se calculan as los ndices de las diferentes
componentes de C \ .
Por este procedimiento se ve que las curvas
ndices
5.8. Teorema de Cauchy: versin homolgica

En sta y la prxima seccin tratamos de la cuestin siguiente. Si
funcin holomorfa
f H(G)
es una
ser cierto que:
f =0
(5.5)
para
una curva cerrada de clase
C1
n(, z)f (z) =

para todo
en
G?
1
2i
Anlogamente ser cierto que:
f ()
d,
z
z G \ ?
Se ha respondido armativamente en el caso de la bola

la geometra del dominio
D(a, r). Sin embargo,
(presencia de agujeros) y la posicin relativa de
G son importantes. En efecto 1/z

1/z
= 2i, = eit , t [0, 2].
dentro de
embargo
(5.6)
es holomorfa en
C \ {0}
y sin
En esta seccin nos ocupamos del siguiente problema: dada una curva cerrada
en un abierto
qu condiciones debe cumplir para que se satisfagan las
relaciones (5.5), (5.6) cualquiera que sea la funcin holomorfa
f H(G)?
Introducimos la siguiente denicin.
Denicin 5.43.
C 1 a trozos G, G C
0 si se tiene que:
Se dice que una curva cerrada y
un abierto, es homloga a cero en
y escribimos
n(, z) = 0,
5.8.
g1
Figura 5.2: La curvas
para todo
cumplen
en
G.
En cambio
1 0
en
G.
z
/ G.
Observacin 5.11. Si
hace vlidas las propiedades (5.5), (5.6) para funciones
holomorfas arbitrarias, entonces

con
101
TEOREMA DE CAUCHY: VERSIN HOMOLGICA
a
/G
para concluir que
0.
En efecto, basta tomar
f (z) =
tiene que ser homloga a cero.
1
za
El mejor ejemplo se da en la siguiente propiedad.
Proposicin 5.44.
abierto
G C.
Sea
Entonces
una curva de Jordan C 1 a trozos contenida en un

0 en G si y slo si su componente interior Ci G.
En la gura 5.2 se muestran curvas de Jordan y no de Jordan homlogas a

cero en
G.
Para su uso en el resto del captulo introducimos la siguiente nocin. Dada

una familia de curvas cerradas
1 , . . . , m
introducimos la suma
= 1 + +m
por el mismo procedimiento que en la Seccin 5.2 aunque el resultado sea de

facto una curva slo continua a trozos. Para tales curvas se denen:
n(, z) =
n(k , z),
f=
k=1
k=1
f,
z
/ k para todo k y f es continua sobre los k . Es costumbre llamar
cadena a tal suma (cf. [25]). Como en el caso precedente se dice que una cadena
donde
es homloga a cero
si
n(, z) =
n(k , z) = 0,
k=1
para todo
z
/ G.
En la gura 5.3 se dan ejemplos de cadenas homlogas a cero en
G.
El resultado siguiente se debe a J. D. Dixon (1971) ([9]).
Teorema 5.45
para todo
G un abierto de C y f H(G). Si
0 en G entonces:
1
f ()
n(, z)f (z) =
d,
(5.7)
2i z
(Frmula de Cauchy)
1
z G\
Sea
a trozos tal que
102
CAPTULO 5.
g1
g2
g1
g2
g3
Figura 5.3:
derecha
INTEGRACIN COMPLEJA
G.
Cadenas homlogas a cero en
A la izquierda
1 + 2 + 3 .
A la
1 + 2 .
Corolario 5.46 (Teorema de Cauchy).

a trozos que es homloga a
en
Si
f H(G)
f H(G)
entonces:
f = 0.
Corolario 5.47.
Jordan
C1
Sean
G C
un abierto,
a trozos orientada positivamente con interior
f (z) =
para todo
1
2
C
Ci G.
una curva de
Entonces:
f ()
dz,
z
z Ci .
La frmula de Cauchy se extiende fcilmente a las derivadas. Slo hace falta

la propiedad siguiente.
Proposicin 5.48.
continua en
Sea
una curva cerrada
a trozos y
una funcin
Entonces
fm (z) :=
es derivable en
C1
C\
g()
dz
( z)m
con derivada
fm
(z) = mfm+1 (z).
En particular, si
f (z) = f1 (z)
se tiene que:
f (m) (z) = m!fm+1 (z).

Se tiene entonces el siguiente resultado.
Teorema 5.49.
En las condiciones del Teorema 5.45 se tiene que:
n(, z)f (m) (z) =
m!
2i
f ()
d,
( z)m+1
(5.8)
5.8.
103
TEOREMA DE CAUCHY: VERSIN HOMOLGICA
para todo
z G \ , m N.
En particular, si
Corolario 5.47 se tiene que:
f (m) (z) =
para todo
m!
2i
cumple las condiciones del
f ()
d,
( z)m+1
z Ci .
Demostracin. Basta con derivar
veces la igualdad (5.7) observando los dos
D(z0 , r) que no corte a . Como

n(, z) es constante en dicha bola ese trmino no se deriva y se tiene la identidad
deseada en z0 , donde z0 vara arbitrariamente en G \ {z0 }.
miembros como una funcin de
en una bola
Los Teoremas 5.45 y 5.49 y el Teorema de Cauchy se extienden fcilmente a

cadenas.
Teorema 5.50.
f H(G)
= 1 + + m
una cadena
C1
a trozos que
G. Entonces:
m
f (z) dz = k=1 k f (z) dz = 0.
cumple
a)
Sea
en
b) Se tiene:
n(k , z)}f (z) =
k=1
para todo
f ()
1
d,
2i k z
(5.9)
k=1
z G \ .
b) Se cumple asimismo:
n(k , z)}f
(n)
k=1
para todo
z G\
f () n+1
n!
(z) =
)
d,
2i k ( z
(5.10)
k=1
n N.
Una bonita aplicacin del Teorema 5.50 es la frmula de Cauchy para anillos.
Proposicin 5.51.
R1 < R2 .
Sean
Entonces:
Sea f H(A) donde A = A(a; R1 , R2 ) = {z : R1 < |z a| < R2 },

j (s) = a + rj eis , s [0, 2], j = 1, 2, R1 < r1 < r2 < R2 .
1
f ()
1
f ()
f (z) =
dz
dz.
2 2 z
2 1 z
Otra aplicacin interesante.
Proposicin 5.52.
Sea f H(G \ {z1 , . . . , zm }) donde G C un abierto

{z1 , . . . , zm } G. Sea una curva de Jordan C 1 a trozos con Ci G y
{z1 , . . . , zm } Ci . Sean j , j = 1, . . . , m, circunferencias con centro en zj ,
j Ci , de la misma orientacin que y tales que las j son disjuntas dos a
y
dos. Entonces:
f (z) dz =
j=1
f (z) dz.
j
104
CAPTULO 5.
INTEGRACIN COMPLEJA
5.9. Teorema de Cauchy: versin homotpica

Denicin 5.53.
i : I C, I = [0, 1], i = 0, 1, dos curvas cerradas C 1

G C. Se dice que 0 y 1 son homotpias en G y se
G) si existe una aplicacin : I I C, = (s, t) (una
Sean
a trozos en un abierto
0 1 (en
homotopa) con las siguientes propiedades:
escribe
a)
b)
(s, 0) = 0 (s), (s, 1) = 1 (s), s I .
c)
(0, t) = (1, t), t I .
d)
(I I) G
es continua.
Observacin 5.12. La denicin de curvas cerradas homotpicas se introduce

sin cambio alguno en el contexto de las curvas cerradas meramente continuas.
Denicin 5.54.
GC
es homotpica a cero en
es una curva cerrada constante
Ejemplo 5.13. Si
es un abierto convexo o un abierto estrellado con respec-
to a un cierto punto
homotpicas a cero en
Denicin 5.55.
C) es
en G.
de
C 1 a trozos en un abierto
G y se escribe 0 (en G) si 0 donde 0
0 (s) = z0 para z0 G y todo s I .
Se dice que una curva cerrada
a G
G.
entonces todas las curvas cerradas
GC
Se dice que un dominio
de
son
(un conjunto abierto y conexo
simplemente conexo si toda curva cerrada
en
es homotpica a cero
Podemos enunciar ya la versin homotpica del Teorema de Cauchy.
Teorema 5.56.
trozos en
G.
Si
G C un abierto, f H(G)
0 en G entonces:
f (z) dz = 0.
Sea
una curva cerrada
C1
El teorema es consecuencia del resultado ms general siguiente.
Teorema 5.57.
cerradas
C1
Sean
G C un abierto, f H(G) y i , i = 0, 1 dos

G. Si 0 y 1 son homotpicas en G entonces:
f (z) dz =
f (z) dz.
curvas
a trozos en
Otro corolario del teorema es el siguiente.
Corolario 5.58.
G.
en
Sea
es homotpica
G ( 0 en G).
Si
Anlogamente.
GC
un abierto y
a cero en
G ( 0
en
una curva cerrada
G)
entonces
C1
a trozos en
es homloga a cero
5.9.
TEOREMA DE CAUCHY: VERSIN HOMOTPICA
Corolario 5.59.
1
Sean
homotpicas en
i , i = 0, 1
C 1 a trozos en C, 0 y
: I I C. Si z C satisface
dos curvas cerradas
mediante una homotopa
que:
105
z
/ (I I)
entonces se tiene que:
n(1 , z) = n(0 , z).

La nocin de homotopa no se limita a curvas cerradas.
Denicin 5.60.
i : I C, I = [0, 1], i = 0, 1,
C 1 a trozos
en un abierto G C con los mismos extremos, es decir, tales que 0 (0) = 1 (0)
y 0 (1) = 1 (1). Se dice que 0 y 1 son homotpias en G y se escribe 0 1
(en G) si existe una aplicacin : I I C, = (s, t) (una homotopa) con
Sean
dos curvas
las siguientes propiedades:

a)
b)
(s, 0) = 0 (s), (s, 1) = 1 (s), s I .
c)
(0, t) = 0 (0) = 1 (0)
d)
(I I) G
es continua.
(1, t) = 0 (1) = 1 (1)
para todo
t I.
Otro corolario del Teorema 5.61 es el siguiente.
Corolario 5.61.
Sean G C un abierto, f H(G) y i , i = 0, 1 dos curvas

C 1 a trozos en G denidas en I = [0, 1] y con los mismos extremos, es decir
0 (0) = 1 (0) y 0 (1) = 1 (1). Si 0 y 1 son homotpicas en G entonces:
f (z) dz =
f (z) dz.
1
Para concluir se tienen los siguientes resultados.
Teorema 5.62.
y
f H(G)
Si
G C es un dominio (abierto y conexo) simplemente conexo

f admite una primitiva en G.
entonces
Teorema 5.63.
Sea G C un dominio (abierto y conexo) simplemente conexo

f H(G) tal que f (z) = 0 para todo z G. Entonces existe una rama g(z)
del log(f (z)) denida en todo G, es decir:
y
f (z) = eg(z) ,
para todo
logaritmo
z G. Ms an, si w0 es tal que f (z0 ) = ew0 es decir w0

de f (z0 ), se puede elegir la rama g(z) tal que g(z0 ) = w0 .
es un
106
CAPTULO 5.
INTEGRACIN COMPLEJA
5.10. Teorema de la aplicacin abierta

En el siguiente captulo se prueba el Principio del Argumento (cf. Teorema
6.17) y el que sigue es un caso particular de aqul.
Teorema 5.64.
ceros en
Sea f una funcin holomorfa en G, G abierto de C, cuyos

b1 , . . . , bm . Si es una curva cerrada C 1 a trozos de G que es
cero en G entonces:
son
homloga a
1
2i
f
=
n(, bk )k
f
m
k=1
k designa la multiplicidad del cero bk .

G es en particular una curva de Jordan orientada
interior Ci G se tiene:

1
f
=
k = Z,
2i f
donde
Si
positivamente con
bk Ci
donde
es el nmero de ceros de
Ci
en
(contados con su orden de multipli-
cidad).
Teorema 5.65
Jordan
C1
(Teorema de Rouch)
a trozos con interior
Sean
Ci G.
f, g H(G), G
una curva de
Si
|f (z) + g(z)| < |g(z)|

para todo
entonces
poseen el mismo nmero de ceros en
Ci .
Observacin 5.14. Del resultado precedente se siguen dos consecuencias directas.

La primera el teorema fundamental del lgebra. La segunda, la continuidad de
las races de un polinomio con respecto a sus coecientes.
f H(G), G un dominio de C, que f (z) = para algn

f no es constante en G. Si la ecuacin f (z) = posee innitas
en G stas conforman una sucesin {an } con dist (an , ) 0.
Supongamos que
z G
y que
soluciones
Resulta entonces til el siguiente resultado.
Lema 5.66.
Sea
una curva cerrada
C1
a trozos, homloga a cero en
G.
Se tiene entonces que:
para todo
zG
Teorema 5.67.
cero de orden
tal que
n(, z) = 0
r
dist (z, ) < donde r = dist (, ).
2
f H(G) y a G tal que f (a) = . Si f (z) posee un

z = a entonces existen , > 0 tales que para todo tal que:
Sea
en
0 < | | < ,
5.10.
107
TEOREMA DE LA APLICACIN ABIERTA
existen
races simples de la ecuacin:
f (z) =
en la regin:
0 < |z a| < .
Una consecuencia inmediata es el siguiente resultado.
Teorema 5.68
y
f H(G)
(Teorema de la Aplicacin Abierta)
no constante. Entonces
f (G)
Sean
es abierto en
C.
GC
un dominio
Otra consecuencia sorprendente.
Teorema 5.69.
f (z) = 0
G C un dominio y f H(G) e
z G y por lo tanto f 1 es holomorfa
Sean
para todo
inyectiva. Entonces
en
= f (G).
108
CAPTULO 5.
INTEGRACIN COMPLEJA
5.11. Ejercicios
A) Integracin compleja
(t) = exp((1 + i)t1 )
1. Sea
para
0 < t 1, (0) = 0.
Demostrar que
es recticable calculando la longitud de arco.

2. Probar que
(ntese que
(t) = t + it sen 1/t, 0 < t 1, (0) = 0

es continuo pero no C 1 a trozos).
no es recticable
z0 , . . . , zn C, denotamos [zk1 , zk ] el segmento de zk1 a zk , por

[z0 , . . . , zn ] la poligonal constituida por tales segmentos. Sean 1 = [1, i],
2 = [1, 1 + i, i]. Calclense:
z 2 dz, i = 1, 2.
3. Para
i
4. Defnase
(t) = exp(int), t [0, 2], n Z.
1
dz.
z
5. Calcular:
siendo ahora
+1
1.
7. Se dene
Calcular
8. Para
1
dz,
z
= [1 i, 1 + i, 1 + i, 1 i, 1 i].
6. Calcular:
donde a)
Calcular:
es
{|z| = 1, z 0}
de
1
dz,
z
+1
1,
b)
es
{|z| = 1, z 0}
de
(t) = r exp(it), t [0, ],

iz
e
I(r) =
dz.
z
lmr0+ I(r).
(t) = 1 + eit , t [0, 2],
hallar
(z 2 1)1 dz .
una curva cerrada C 1 a trozos

en un abierto G
a
/ G. Prubese que para n 2, (z a)n dz = 0.
9. Sea
y supngase que
funciones holomorfas en un abierto G C con derivadas f , g

1
continuas en G. Si es una curva C a trozos de extremos a, b, prubese
10. Sean
que:
f, g
f g dz = f (b)g(b) f (a)g(a)
f g dz.
5.11.
109
EJERCICIOS
11. El teorema de Cauchy en una bola

holomorfa con derivada continua en
B = B(a, R) establece que si f

B y es C 1 a trozos entonces:
es
f = 0.
Extender el teorema de bolas a "semiplanos".
t 2
12. Calclense las siguientes integrales (0
a)
donde
eiz
dz,
z2
= eit
b)
en a), c),
dz
,
za
sen z
dz,
z3
c)
= a + reit
en todos los casos):
en b),
d)
1
= 1 + eit
2
log z
dz,
zn
en d).
13. Calcular las integrales:
a)
ez ez
dz,
zn
d)
0 t 2 en
1
= 1 + eit en e).
2
en donde
c),
b)
sen z
dz,
z
1
(z )n
2
e)
todos los casos,
14. Calcular:
= reit , 0 t 2 ,
dz,
c)
1
dz,
z2 + 1
z 1/m
dz,
(z 1)m
= eit
en a), b), d),
= 2eit
en
z2 + 1
dz,
z(z 2 + 4)
para todos los valores posibles de
r (0, 2) (2, ).
15. () Usar la serie geomtrica para probar que:
para
z D(a, r),
donde
d
= 2i,
z
(s) = a + reis , s [0, 2].
B) Desarrollos en serie de potencias

16. Hallar el desarrollo en serie de potencias de
Log
en
z = i,
cul es su
radio de convergencia?
17. Calcular, determinando el radio de convergencia, el desarrollo en serie de
potencias de
en
z = 1.
110
CAPTULO 5.
INTEGRACIN COMPLEJA
18. Se consideran las funciones
g (z) = 1 + z + +
y
(1 + z)
trese que
19. Sea
z0
( 1) . . . ( + n 1) n
z +
n!
(en su denicin estndar, usando la parte principal). Demus-
g (z) = (1 + z)
en
|z| < 1.
f (z) = (1 + z) .
un punto del dominio de holomorfa de
se el desarrollo en serie de potencias de
z0
en
Hlle-
calculando el radio de
convergencia.
20. Prubese que:
f (z) =
dene, en un dominio
G C
1
log
2i
1 + iz
1 iz
por determinar, una rama de la funcin
arcotangente (vase el Captulo III). Es decir:

tag
Tras comprobar que
0G
z G.
(f (z)) = z,
prubese que el desarrollo de
f (z) =
(1)k
k=0
f (z)
en
z=0
es:
z 2k+1
,
2k + 1
determinando el radio de convergencia de la serie.

21. Hallar el desarrollo en serie de
convergencia. Deniendo:
ez 1
z
f (z) =
en
ez
z=0
determinando el radio de
z
,
1
y escribiendo su desarrollo en serie como:
f (z) =
ak
k=0
k!
zk ,
determinar el radio de convergencia.

Prubese adems que:
para
)
(
)
( )
n
n
n
an1 +
an2 + +
a1 + a0 = 0,
n1
n2
1
n 2.
1
f (z) + z es una funcin par.
2
+ 1. Los B2n = (1)n1 a2n ,
Dedzcase de ah que ak = 0 para k = 2
n 1 se llaman los nmeros de Bernoulli. Calcular B2 , B4 , B6 .
22. Si
es como en el problema 21 probar que
5.11.
111
EJERCICIOS
C) Ceros, prolongacin analtica

23. Si
f, g
24. Siendo
zG
demostrar que o bien
fg
Prubese que o bien
f 0
o bien
funciones holomorfas con derivada continua en un dominio
se supone que
25. Sea
G, f (z)g(z) =
g 0.
son holomorfas con derivada continua en un dominio
para cada
es tambin holomorfa con derivada continua en
es constante o bien
G.
g 0.
una funcin entera (es decir holomorfa con derivada continua en
C)
que cumple:
f (z)2 + f (z)2 = 0,
para todo
26.
z C.
Qu se puede decir de una tal
f?
f (z), g(z) tienen

lmza f /g y que:
[Regla de l'Hospital] Supongamos que
en
z = a.
Probar que existe el
un cero de orden
f (z)
f (n) (z)
= lm (n) .
za g
za g(z)
(z)
lm
f, g holomorfas en G con derivada continua, f (a) = g(a) = 0 para algn

a G, g 0 en G, demostrar que siempre existe:
27. Si
lm
za
(aunque sea
f (z)
,
g(z)
en algunos casos).
D) Estimaciones de Cauchy. Principio del mdulo mximo.

28. Sea
una funcin entera que satisface la estimacin:
|f (z)| M |z|n ,
para todo
con
|z| R
n N.
n.
y cierto
polinomio de grado no superior a
Indicacin. Estmense las derivadas de
f derivable con
a G cumpliendo:
29. Sea
Prubese que
en
ha de ser un
z = 0.
derivada continua en un dominio
para la que existe
|f (z)| |f (a)|,
para todo
en
z G.
Demostrar que, o bien
f (a) = 0
o bien
es constante
G.
30. Usar 29 para dar una demostracin alternativa del teorema fundamental
del lgebra.
112
CAPTULO 5.
31. Sea
u:CR
una funcin armnica,
INTEGRACIN COMPLEJA
u(z) 0
en
C.
Demostrar que
es
constante.
Indicacin. Constryase en primer lugar una funcin entera.

E) ndice de una curva (nmero de vueltas). Frmulas de Cauchy.
32. () Construir un ejemplo de curva cerrada
entero
mZ
exista un punto
a
/
de suerte que para todo
tal que:
n(, a) = m.
(t) = a + reis , 0 s 2
r) entonces:
B(a, r)) y si z0
/ B(a,
1
d
n(, z0 ) =
= 0.
2i z0
33. Dar una prueba directa de que si

parametrizacin de
Indicacin. Buscar una primitiva de

34.
()
Sea
cerrada
1/(z z0 ).
K un compacto convexo cuya frontera = K es una

C 1 a trozos. Usando la idea de 33 prubese asimismo que:
1
d
n(, z0 ) =
= 0.
2i z0
Indicacin. Se trata de encontrar toda una semirrecta por

de
(una
z0
curva
en el exterior
K.
p(z) es un polinomio
|z| R, prubese que:
35. Si
de grado
donde
(t) = reit , 0 t 2
R > 0
es tal que
p(z) = 0
para
p (z)
dz = 2in,
p(z)
y
es cualquier nmero
r R.
Indicacin. Puede ser til factorizar el polinomio.

36. Sean
B = B(1, 1/2) y G = B(0, 3)\{B B+ }. Sean asimismo 1 , 2 , 3

|z 1| = 1, |z + 1| = 1, |z| = 2. Defnanse en las i
las curvas cerradas
orientaciones adecuadas de suerte que:
n(1 , z) + n(2 , z) + n(3 , z) = 0,

para todo
z C \ G.
f : C C continua que es adems derivable con derivada continua

C \ [1, 1]. Prubese que f es en realidad una funcin entera.
37. Sea
en
Indicacin. Puede venir bien acordarse de Morera.
5.11.
38.
113
EJERCICIOS
[Convergencia uniforme y holomorfa] Sean

memente en
39. Se sabe que
G.
f
Demostrar que
40. Sea
Prubese que
f H(G).
es holomorfa en
|f (0)| 1.
y que
|f (z)| 1
(s) = seis , 0 s 2 , (s) = 4 s, 2 s 4 .
dz
.
2
2
z +
41. Evaluar:
donde
42. Sea
B(0, 1)
fn H(G), fn f
para
unifor-
|z| < 1.
Calcular:
ez ez
dz,
z4
es cada una de las curvas que se indican a continuacin.
G = C \ a, b, a = b
a) Probar que
y sea
la curva cerrada que se indica en la gura:
n(, a) = n(, b) = 0. Conclyase que
es homloga a cero en
G ( 0).
b) Convnzase el lector (con el argumento intuitivo que me mejor le venga)
de que
no es homtopa a
en
G.
114
CAPTULO 5.
43. Evaluar la integral:
dz
+1
z2
donde
INTEGRACIN COMPLEJA
(s) = 2| cos 2s|eis , 0 s 2 .
44. Se consideran la poligonal
z1 =
1
+ i,
2
= [0, 2, 2 + 2i, 2i, 0],
3
z2 = 1 + i,
2
los puntos:
i
z3 = 1 + ,
2
z4 =
3
+ i,
2
y la funcin:
f (z) =
1
.
(z z1 )(z z2 )(z z3 )(z z4 )
Hallar:
f.
45. Sea
una curva cerrada
C1
a trozos en
C \ {i, i}.
los posibles valores de la integral:
dz
.
1 + z2
Se pide calcular todos
CAPTULO 6
Singularidades de las
funciones complejas
En el presente captulo usaremos el siguiente resultado (ver Captulo V):
f H(G), no idnticamente nula en un dominio G C, posee un cero en z = a

(k)
si y slo si existe m N con f
(a) = 0 para 0 k m 1 y f (m) (a) = 0. Esto
m
equivale a la existencia de g H(G) tal que g(a) = 0 con f (z) = (z a) g(z).
6.1. Singularidades aisladas

Denicin 6.1.
f tiene en z = a una sinf H(D(a, r) \ {a}) y f no es holomorfa en D(a, r). La

evitable si existe g H(D(a, r)) con g = f en D(a, r) \ {a}.
Se dice que una funcin compleja
gularidad aislada si
singularidad es
Obsrvese que en el ltimo caso slo puede existir una nica funcin
H(D(a, r))
que satisface
f =g
en
D(a, r) \ {a}.
Ejemplos 6.1.
sen z
posee una singularidad evitable en z = 0.
z
1
1/z
b) f (z) =
y f (z) = e
poseen una singularidad en z = 0 que no
z
Teorema 6.2. Sea z = a una singularidad aislada de una funcin
a)
f (z) =
es evitable.
compleja
f.
La singularidad es evitable si y slo si
lm (z a)f (z) = 0.
za
Observacin 6.2. El resultado precedente no es vlido en el caso real como

muestra el ejemplo de la funcin
Denicin 6.3.
un polo si
Sea
z=a
f (x) = sen(1/x)
en
R \ {0}.
una singularidad aislada de
lm f (z) = .
za
115
f.
Se dice que
z=a
es
116
CAPTULO 6.
SINGULARIDADES AISLADAS
Ejemplos 6.3.
1
posee un polo en z = 0.
zm
1/z
b) El punto z = 0 no es un polo de f (z) = e
cuando z 0.
a)
f (z) =
Teorema 6.4.
de
Sea
f H(G \ {a}) donde a G. Se tiene que z = a

m N y g H(G) nicos tales que
es un polo
si y slo si existen
f (z) =
para
pues ni siquiera posee lmite
z G \ {a},
donde
g(z)
,
(z a)m
es holomorfa en
Observacin 6.4. La funcin
con
g(a) = 0.
del Teorema 6.4 se puede escribir en la forma:
g(z) = am + + a1 (z a)m1 + (z a)m gm (z),

donde
gm H(G).
Los primeros
sumandos son los del desarrollo de Taylor
cuyos coecientes hemos nombrado de manera distinta a la habitual.

Por tanto:
g(z) = S(z) + gm (z),

donde
a1
am
+ +
.
(z a)m
(z a)
S(z) =
Denicin 6.5.
Se llama orden del polo
asimismo se dice que
S(z)
z =a
es la parte singular de
m del Teorema 6.4,

z = a. El coeciente a1
al entero
en
se denomina por razones que se hacen claras ms tarde el residuo del polo.
Se denota:
a1 = Res (f, a).
Proposicin 6.6.
Si
z=a
es un polo de
entonces:
d(m1)
1
((z a)m f (z)) .
za (m 1)! dz (m1)
Res (f, a) = lm
Si el polo
z=a
es simple (m
= 1)
se tiene que:
Res (f, a) = lm (z a)f (z).

za
Proposicin 6.7.
Sea f una funcin holomorfa en G \ {a1 , . . . , aN }, G C

{a1 , . . . , aN } G. Supongamos que cada uno de los z = aj es un
funcin f de orden mj . Entonces:
un abierto y
polo de la
a)
se puede escribir en la forma:
f (z) = S1 (z) + + Sn (z) + g(z),
6.2.
117
DESARROLLOS DE LAURENT
z G \ {a1 , . . . , aN }
donde para cada
0jN
(j)
Sj (z) =
(j)
amj
+ +
(z aj )mj
es holomorfa en
b)
admite asimismo la representacin:
a1
(z aj )
G.
f (z) =
z G \ {a1 , . . . , aN },
G.
donde
(z a1
) m1
g(z)
.
. . . (z aN )mn
(que no es la misma que en a)) es holomorfa en
Demostracin. Probamos b), por ejemplo, usando induccin. Si

polos
{a1 , . . . , aN +1 }
en
G, f
tiene
polos en
G1 = G \ {aN +1 }
tiene
N +1
de donde
f (z) = S1 (z) + + Sn (z) + g(z),

con
g H(G1 ).
Como
tiene un polo en
aN +1
entonces
g(z) = SN +1 (z) + g(z),

con
g H(G).
Basta sustituir y hemos terminado.
Introducimos ahora la nocin de funcin meromorfa (cf. [23]).
Denicin 6.8.
Se dice que una funcin compleja es meromorfa en una abier-
G si es holomorfa
{an } G son polos o
aglomeracin en G.
to
en G \ {an } donde todos los elementos de la sucesin

singularidades evitables y {an } G carece de puntos de
Ejemplos 6.5.
a) Toda funcin racional es meromorfa en
b) Las funciones
C.
tag z , cot z , sec z , csc z , tanh z , coth z
son todas meromorfas en
C.
Ejercicio 6.1. Prubese que si
1/f
f 0
es meromorfa en un dominio
entonces
tambin lo es.
6.2. Desarrollos de Laurent

Comenzamos con una denicin.
Denicin 6.9.
n= an converge (respectivamente,
converge absolutamente) si convergen (convergen absolutamente) las series
n=0 an
y
a
escribindose:
n=1 n
Se dice que la serie
n=
an =
n=1
an +
n=0
an .
118
CAPTULO 6.
La misma convencin se observa para la convergencia puntual y uniforme de

series funcionales de este tipo.
Teorema 6.10.
Sea
una funcin holomorfa en el anillo
A = A(a, R1 , R2 ) = {z : R1 < |z a| < R2 }
0 R1 < R2 .
Entonces la funcin se puede representar mediante la serie
f (z) =
an (z a)n ,
(6.1)
n=
para todo
z A.
Adems:
1) La representacin (6.1) es nica.

2) Los coecientes
an
de la serie se representan en la forma
1
an =
2i
donde
r (s) = a + reis , s [0, 2]
f (z)
dz,
(z a)n+1
es cualquier valor cumpliendo
R1 < r <
R2 .
3) La serie converge absoluta y uniformemente sobre compactos de
(es decir, uniformemente en cada subanillo cerrado
A(a, r1 , r2 )
de
A(a, R1 , R2 )
A(a, R1 , R2 ),
R1 < r1 < r2 < R2 ).

Observacin 6.6. Ntese que el enunciado contempla diversas clases de ani-
D(a, R2 ) \ {a} (R1 = 0), el

C \ D(a, R1 ) (R2 = ) e incluso C \ {0} (R1 = 0, R2 = ).
llos degenerados. Por ejemplo, el disco perforado

exterior de un disco
Denicin 6.11.
f
z = a es una singularidad aislada de una funcin compleja

z = a al correspondiente a
D(a, r) \ {a} donde la funcin est denida y sea holomorfa.
Si
se dene el desarrollo de Laurent de la funcin en
cualquier anillo
z = a es una singularidad
aislada de nf y (6.1) su desarrollo
de Laurent, se suele designar a g+ (z) :=
n=0 an (z a) la parte regular de f
n
y a g (z) :=
a
(z
a)
la
parte
singular.
n=1 n
Observacin 6.7. Si
Demostracin del Teorema 6.10. Comenzamos probando 1) y 2). La convergencia de la serie (6.1) en
n=0
implica la de las series
an (z a) ,
an (z a)
n=1
A. Por tanto la primera converge absoluta y uniformemente sobre compactos

|z a| < R2 mientras la segunda converge absoluta y uniformemente sobre
compactos de |z a| > R1 (en ste ltimo caso vanse los desarrollos en serie
en
de
de potencias en el innito introducidos en el Captulo III, Ejercicios).
6.2.
119
DESARROLLOS DE LAURENT
r (s) = a + reis , s [0, 2], con

m
miembros por (z a)
y m Z e
Como (6.1) converge uniformemente en
R1 < r < R2
integrar en r
podemos multiplicar ambos

para concluir que:
f (z)
dz = 2ian .
(z a)n+1
De aqu se concluye la unicidad del desarrollo y la forma de los coecientes.

Probamos ahora la validez del desarrollo y de ah 3). De la frmula de Cauchy
se tiene que:
1
2i
f (z) =
para todo
zA
tal que
r2
f ()
1
d
z
2i
r1 < |z a| < r2
r1
f ()
d
z
r1 , r2 (R1 , R2 )
con
r1 < r2 .
Procediendo como en la demostracin de la frmula de Cauchy en discos se

tiene que
1
2i
r2
con
an =
f ()
n
d =
an (z a)
z
n=0
1
2i
r2
f (z)
dz.
(z a)n+1
Razonando de la misma manera
1
2i
con
an
f ()
n
d =
an (z a)
z
n=1
r1
1
=
2i
(z a)n1 f (z) dz,
n 1.
r1
Para concluir, ntese que a posteriori puede tomarse
r1 = r2 = r (R1 , R2 )
en la expresin integral de los coecientes porque sta no depende del valor de
r.
Proposicin 6.12.
tonces:
donde
Sea
f H(G \ {a1 , . . . , aN })
con
{a1 , . . . , aN } G.
f (z) = g1, + + gN, (z) + g(z),
g H(G)
gj,
es la parte singular de
Demostracin. Basta probar el caso
N =1
en
z = aj .
y despus proceder por induccin
como en el Corolario 6.7. Usando el desarrollo de Laurent en
f (z) = g (z) + g+ (z)

Ntese que
En-
0 < |z a1 | < r.
g H(C \ {a1 }), g+ H(D(a1 , r)). La funcin:

{
f (z) g (z) z = a1
g(z) =
g+ (a1 )
z = a1 ,
z = a1 :
120
CAPTULO 6.
G\{a1 } mientras coincide con g+
es obviamente holomorfa en
tambin es holomorfa en
G.
en
D(a1 , r), luego
As:
f (z) = g (z) + g(z).
Denicin 6.13.
compleja
Se dice que una singularidad aislada
z =a
de una funcin
es esencial si no es una singularidad evitable ni un polo.
El siguiente teorema clasica las singularidades aisladas en trminos del desarrollo de Laurent en tales singularidades.
Teorema 6.14.
Sea
z=a
una singularidad aislada de una funcin comleja
y sea
f (z) =
an (z a),
n=
el desarrollo de Laurent de
en la bola perforada
z=a
es evitable si y slo si
b)
z=a
es un polo de orden
c)
z=a
es una singularidad esencial si y slo si
negativos
si
para
am = 0
Entonces,
n 1.
a)
an = 0
D(a, r) \ {a}.
an = 0
para todo
an = 0
n m 1.
para innitos enteros
n.
Demostracin. Las condiciones de a) y b) son claramente sucientes.

En el caso de la necesidad de a) se tiene
f (z) =
an (z a)n ,
n=0
en
z D(a, r) \ {a} donde el segundo miembro corresponde al desarrollo de la

g de f en D(a, r). Como el desarrollo (6.1) es nico, hemos terminado.
extensin
Para la necesidad de b) ntese que:
1
f (z) =
(z a)m
)
an (z a)
n=0
donde el desarrollo entre parntesis es el de la funcin holomorfa

6.4. Como el desarrollo de Laurent en
z=a
Teorema 6.15 (Teorema de Casorati-Weierstrass).

esencial de una funcin compleja
para cada
0 < r < r0
y cierto
r0
f.
Entonces
positivo.
de Teorema
es nico hemos terminado.
Sea z = a una singularidad

f (D(a, r) \ {a}) es denso en C
6.3.
121
TEOREMA DE LOS RESIDUOS
Demostracin. Si
f (D(a, r) \ {a})
C:
no es denso en
f (D(a, r) \ {a}) D(c, ) = ,

para ciertos
c C, > 0.
Por tanto:
1
(f (z) c) = .
za (z a)
lm
f (z) c
Esto signica que

un polo de
tiene un polo en
z=a
con lo que
z=a
es tambin
contra lo supuesto.
6.3. Teorema de los residuos

Teorema 6.16
(Teorema de los Residuos). Sea f una funcin holomorfa en

G \ {a1 , . . . , am }, donde G es un abierto de C y {a1 , . . . , am } G. Si es una
1
curva cerrada C a trozos de G que es homtopa (respectivamente, homloga)
a cero en G entonces:
f = 2i
n(, ak )Res (f, ak )
Si
k=1
es en particular una curva de Jordan orientada positivamente se tiene:
f = 2i
donde
Ci
Res (f, ak )
ak Ci
es la componente interior de
Demostracin. Escribiendo
f (z) = g1, (z) + + gm, (z) + g(z),

:
e integrando sobre
resulta:
g1, (z) + +
f (z) =
gm, (z) +
g(z),
gj, (z) = 2iRes (f, aj ),
g(z) = 0.
El siguiente resultado se conoce con frecuencia como el principio del argumento (ver tambin el Captulo V).
122
CAPTULO 6.
Teorema 6.17.
Sea f una funcin holomorfa en G \ {a1 , . . . , ap }, G abierto en

C, {a1 , . . . , ap } G, siendo cada ai un polo de f . Sean b1 , . . . , bq los ceros f en
G. Si es una curva cerrada C 1 a trozos de G que es homtopa (homloga) a
cero en G entonces:

p
q
1
f
n(, bk )k
n(, al )l
=
2i f
k=1
donde
Si
l=1
l y k son las multiplicidades de al y bk , respectivamente.

es en particular una curva de Jordan orientada positivamente

1
f
=
k
l = Z P,
2i f
bk Ci
se tiene:
al Ci
Ci es la componente interior de , Z es el nmero de ceros en Ci y

es el nmero de polos en Ci (contados en ambos casos con sus rdenes de
multiplicidad).
donde
Demostracin. Basta con escribir la funcin
en la forma:
f (z) = (z a1 )1 . . . (z ap )p (z b1 )1 . . . (z bq )q h(z),
donde
h H(G).
Observacin 6.8. A diferencia del resultado anterior donde las singularidades

aisladas son arbitrarias en el principio del argumento stas han de ser necesariamente polos (es decir se trata de funciones meromorfas en
G).
Para las aplicaciones de la teora de los residuos al clculo de integrales

impropias los siguientes lemas revisten gran inters.
Lema 6.18
Sea
(Lema de Jordan)
r = reis , s [0, ].
Entonces:
|eiz ||dz| < ,

r
para todo
r > 0.
Demostracin. Se tiene:
|eiz ||dz| = 2r
r
Lema 6.19.
donde
er sen d < 2r
Sea
z=a
(0, 2).
e d =
2r
un polo simple de
f = i Res (f, a).
es ds < .
(s) = a + eis , s [s0 , s0 + ],
lm
r
0
Entonces:
0+
6.3.
123
TEOREMA DE LOS RESIDUOS
Demostracin. Se escribe:
f = a1
dz
+
za
g0
cuando
0.
g = ia1 +
g,
124
CAPTULO 6.
6.4. Ejercicios
A) Singularidades.
1. Estudiar la naturaleza de las singularidades de las funciones siguientes:
a) f (z) =
sen z
,
z
1
d) f (z) = exp ,
z
z2 + 1
,
g) f (z) =
z(z 1)
2. Sean
un dominio
b) f (z) =
e) f (z) =
cos z
,
z
c) f (z) =
cos z 1
,
z 1
1
1
j) f (z) = z n sen .
i) f (z) = z sen ,
z
z
log(z + 1)
,
z2
f ) f (z) =
h) f (z) = (1ez )1
z =a
un polo de
cos z 1
,
z
f H(G \ {a}).
g H(G) y un entero m tales
de suerte que
Prubese que existen a lo sumo una funcin

que:
f (z) =
con
g(z)
,
(z a)m
z = a,
g(a) = 0.
3. Usar el problema 2 para probar en la mismas condiciones la existencia

de una funcin holomorfa
f (z) =
g1 H(G)
nica tal que:
am
a1
+ +
+ g1 (z),
m
(z a)
(z a)
z = a.
G un dominio, {a1 , . . . , aN } G y f H(G\{a1 , . . . , aN }) de forma

ai son polos de f de rdenes mi . Probar que existe una funcin
holomorfa g H(G) tal que:
4. Sean
que los
f (z) =
mj
N
j=1 l=1
aj,l
+ g(z),
(z aj )l
z = aj .
5. Prubese que si una funcin racional no tiene polos entonces es un polinomio.

6. Sea
f (z) = p(z)/q(z)
una funcin racional de forma que la fraccin es
irreducible. Haciendo uso de los resultados del captulo obtngase su descomposicin en fracciones simples.
7. Sean
f, g H(G), a G, f (a) = 0, z = a
que entonces
8. Sean
z=a
es un polo de orden
cero de orden
de
f, g H(G), a G, f (a) = 0, z = a cero

(
)
f
f (a)
Res
,a = .
g
g (a)
entonces
de
g.
Probar
f
.
g
simple de
g.
Probar que
6.4.
125
EJERCICIOS
9. Dada la funcin:
f (z) =
1
,
z(z 1)(z 2)
obtener su desarrollo de Laurent en los anillos:
2 < |z| < .
0 < |z| < 1, 1 < |z| < 2,
10. Se considera la funcin:
f (z) =
ai = aj
para
i = j .
1
,
(z a1 )(z a2 )(z a3 )
Calcular su desarrollo de Laurent en torno a
determinando el valor ptimo de

en
r>0
a1
de suerte que el mismo converja
0 < |z a1 | < r.
11. Hllenese los desarrollos de Laurent de las funciones

regiones
que siguen en las
que se indican:
a) f (z) = z 4 (ez 1),

2
B(0, 1)\{0},
c) f (z) = z(z2)4 cos z,
b) f (z) =
|z2| > 0,
1
,
z2 + 1
{1 < |z 2i| < 3},
d) f (z) = z 6 cos2 (z 2 ),
{|z| > 0}.
z es analtica en C con excepcin de polos simples en
+ n , n Z. Calcular la parte singular de la funcin en dichos

2
12. Demostrar que tag
z =
polos.
f H({z : |z| > r}) tal que lmz f (z) = .

> 0, g H(D(0, )), g(0) = 0 y m N tales que:
13. Sea
( )
1
f (z) = z g
z
m
|z| <
Prubese que existen
1
.
14. Dse el desarrollo de Laurent de la funcin
( )
1
f (z) = exp
z
en
C \ {0}
15. () Sea
Se puede generalizar el resultado?
f :CC
holomorfa y biyectiva. Demustrese que:
f (z) = az + b
para ciertos
a, b C.
Indicacin. Usar el Ejercicio 13 en combinacin con el teorema de Liouville.
126
CAPTULO 6.
16. Se considera la funcin:
f (z) = exp
C
}
1
1
(z + ) ,
2
z
un parmetro. Usar el desarrollo de Laurent para probar que:
f (z) = a0 +
an (z n +
n=1
para todo
0 < |z| <
1
),
zn
donde los coecientes son:
an =
e cos t cos nt dt.

0
B) Integracin.
17. Calclense las siguientes integrales o alternativamente prubense las identidades que se sealan.
a)
,
=
2
a + cos
a 1
b) Extender la identidad cambiando
obtener:
c)
d)
a>1
a > 1.
por
w {w > 0} \ [1, 1]
=
.
w + cos
w2 1
cos 2
d,
1 2a cos + a2
para
d
(a + cos )2
a2 < 1.
a > 1.
Indicacin. Consultar ejercicios previos.

e)
18.
=
,
a + sen2
2[a(a + 1)]1/2
designa el camino
Jordan):
{Reis : 0 s }.
Probar la estimacin (lema de
|eiz | |dz| < ,

R
para todo
R > 0.
a > 0.
6.4.
127
EJERCICIOS
19. Ahora
(, )
a con residuo a1 mientras

{a + e : s + }. Demostrar:
tiene un polo simple en el punto

is
representa el camino
lm
0+
f (z) dz = ia1 .
(,)
a)
x2
= ,
1 + x4
2

e)
0
21. Calcular:
b)
0
1
,
1 + x2
Indicacin. Usar el camino

22. Sean
a, b
sen x
= ,
x
2
f)
0
eax
,
1 + ex
c)
0
x2
,
x4 + x2 + 1
cos x 1
.
x2
0 < a < 1.
[R, R, R + 2i, R + 2i, R], R > 0.
complejos distintos con la parte real positiva. Demostrar que:
eb
ea
cos x
dx
=
(
).
(x2 + a2 )(x2 + b2 )
a2 b2 b
a
a) Calcular:
xa1
dx,
1+x
0 < a < 1.
Indicacin. Usar el camino de la izquierda.
-1
128
CAPTULO 6.
b) Se sabe que:
xa1
dx =
,
1+x
sen a
Extender el resultado cambiando
0 < a < 1.
a (0, 1)
por
a C, a = p + iq , 0 < p <
1.
Indicacin. Usar que la integral del primer miembro es holomorfa en
{0 < a < 1}.
c) Usar el ejercicio previo para calcular las integrales:
0
d) Para
tp1
cos(q log t) dt,
1+t
1 < a < 1
tp1
sen(q log t) dt.
1+t
probar las igualdades:
xa
dx = a csc a.
(1 + x)2
xa1
dx,
1+x
0
e) Calcular:
xa
a
dx = sec
,
1 + x2
2
2
0 < a < 1,
usando en esta ocasin el camino de la derecha en la gura precedente.

f ) Deducir con un slo clculo las identidades:
g) Considerando la funcin
( )1/2
1
,
3
x1/4
=1
x2 + x + 1
x1/4
=
x2 x + 1
f (z) = z 1/2
x1/2 log x
= ,
(1 + x)2
( )1/2
2
.
3
log z
(1 + z)2
prubese que:
x1/2
= .
(1 + x)2
2
h) Prubese que:
log2 x
3
=
,
2
1+x
8
log x
= 0.
1 + x2
6.4.
129
EJERCICIOS
i) Toda la serie:
log x
,
1 + x4
3 2 2
Sol.
,
64
2 2
Sol.
,
16
log2 x
,
1 + x3
log x
,
(1 + x2 )2
log x
,
x2 1
Sol.
Sol.
,
4
2
.
4
Indicacin. En el ltimo de los casos se sugiere el camino siguiente.
-1
k)
Indicacin. Usar el cambio
eax
,
1 + ex
x = log t.
0 < a < 1.
130
CAPTULO 6.
Bibliografa
[1]
Almira J. M., Sabina J. C.,
David Hilbert. Matemtico Fundamental,
Nivola, Madrid, 2007.

[2]
Apostol T. M.,
[3]
Apostol T. M., Anlisis Matemtico, 2a edicin. Revert, Barcelona, 1982.
[4]
J. Bak, D. J. Newman, Complex Analysis, 2a edicin. Springer, New York,
Calculus (2 Vols.), Revert, Barcelona, 19**.
1997.
[5]
Cartan H.
Teora elemental de las funciones analticas de una o varias
variables complejas, Selecciones Cientcas, Madrid.

[6]
Choquet G.,
[7]
Conway J. B.,
Topologa, Toray-Masson, Zaragoza, 1971.

Functions of one complex variable, Springer, New York,
19**.
[8]
Dieudonn J., Foundaments de l'Analyse Moderne, Gauthier-Villars, Pars,
1972.
[9]
Dixon J. D.,
A biref proof of Cauchy integral theorem, Proc. Amer. Math.
Soc. 29 (1971), 625-626.

[10]
Do Carmo M.,
Dierential Geometry of Curves and Surfaces, Prentice-
Hall, New Jersey, 1976.

[11]
Gilman J. P., Kra I., Rodrguez *., Complex Analysis (in the spirit of
Lipman Bers), Sringer, N. Y., 2007.

[12]
Hrmander L., An Introduction to Complex Analysis in Several Variables,
Van Nostrand, Princeton, New Jersey, 1966.

[13]
Markusevich A., Teora de las Funciones Analticas (2 volmenes), Mir,
Mosc, 1970.
[14]
Mijilov V. P.,
[15]
Kline M.,
Ecuaciones en Derivadas Parciales, Mir, Mosc, 1978.
Pensamientos matemicos desde la antiguedad hasta nuestros
das (3 Vols.), Alianza Universidad, Madrid, 1990.

131
132
BIBLIOGRAFA
[16]
Nachbin L., Introduction to Functional Analysis: Banach Spaces and Dif-
ferential Calculus, Marcel & Dekker, New York, 1981.

[17]
Nachbin L.,
Topology of Holomorphic Mappings, Springer Verlag, Berlin,
New York, 1969.

[18]
Margalef J., Outerelo E., Pinilla J., Topologa, Vol. III, Alhambra,
Madrid, 1980.
[19]
Palka B., An
Introduction to Complex Function Theory, Springer Verlag,
Berlin, New York, 1991.

[20]
Remmert R.,
Theory of Complex Functions, Springer, N. Y., 1991.
[21]
Remmert R.,
Classical Topics in Complex Function Theory, Springer, N.
Y., 1998.
[22]
Rudin W., Principles
of Mathematical Analysis, McGraw Hill, New York,
1976.
[23]
Rudin W.,
[24]
Sabina de Lis, J.,
Real and Complex Analysis, McGraw Hill, New York, 1987.

Anlisis No Lineal: curso de introduccin y aplicacio-
nes, Universidad de La Laguna, Servicio de Publicaciones, La Laguna, 2005.

[25]
Spivak, M.,
[26]
Willard S.,
1970.
Clculo en Variedades, Revert, Barcelona.

General Topology, Addison Wesley Reading, Massacussets,

Funciones de Una Variable Compleja - Jose Sabina de Lis

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Funciones de Una Variable Compleja - Jose Sabina de Lis

Diunggah oleh

Hak Cipta:

Format Tersedia

1. El cuerpo de los nmeros complejos

Los nmeros reales. Propiedades

Los nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . .

Apnice: una revisin de trigonometra . . . . . . . . . . . . . . .

El teorema fundamental del lgebra

Funciones exponencial y logaritmo

Apndice: varias variables . . . . . . . . . . . . . . . . . . . . . .

Integral de Riemann compleja . . . . . . . . . . . . . . . . . . . .

El teorema de Cauchy en crculos . . . . . . . . . . . . . . . . . .

Teoremas de Morera y de Goursat

Ceros de las funciones holomorfas . . . . . . . . . . . . . . . . . .

Principio del mdulo mximo . . . . . . . . . . . . . . . . . . . .

ndice de una curva . . . . . . . . . . . . . . . . . . . . . . . . . .

Teorema de Cauchy: versin homolgica . . . . . . . . . . . . . . 100

Teorema de Cauchy: versin homotpica . . . . . . . . . . . . . . 104

5.10. Teorema de la aplicacin abierta

Singularidades aisladas . . . . . . . . . . . . . . . . . . . . . . . . 115

Desarrollos de Laurent . . . . . . . . . . . . . . . . . . . . . . . . 117

Teorema de los residuos

Estas notas recogen el curso de introduccin a las funciones de una variable

1.1. Los nmeros reales. Propiedades

constituyen el nico cuerpo

conmutativo, ordenado y completo (nociones que se denen a continuacin).

Conforman una ampliacin mejorada de conjuntos de nmeros ms elementales.

{Nn = {1, 2, 3, . . .}, los }enteros Z = {. . . , 2, 1, 0, 1, 2, . . .}

A saber, los naturales

  se dice un cuerpo conmutativo si

dotado de dos operaciones  + y

es un grupo abeliano (conmutativo).

iii)   es distributiva con respecto a  +.

es un grupo abeliano si para

EL CUERPO DE LOS NMEROS COMPLEJOS

Ntese que est implcito en 6) que 1 = 0. Se llama a x

Como consecuencia de la Denicin 1.1, en todo cuerpo

serie de propiedades que son familiares en el contexto de los nmeros. A partir de

un cuerpo. Se cumplen entonces las siguientes

Las propiedades 3), 7) arman que el opuesto y el inverso de

Para completar el panorama familiar de las leyes del clculo se tiene la

es cuerpo entonces para

Demostracin. En el caso de 1):

Asimismo se tienen las relaciones:

de donde se deduce 3). Para 4):

(x)(y) = x(y) = (xy)) = xy.

Siguiendo [22] damos la siguiente denicin de orden total.

LOS NMEROS REALES. PROPIEDADES

(totalmente) ordenado es aqul que posee una

relacin  < que cumple las propiedades:

satisface slo una de las siguientes propiedades: o bien

x < y o x = y . Asimismo y > x e y x se usan

indistintamente para representar

Otra denicin clave para caracterizar los nmeros reales es la de cuerpo

dotado de una relacin de orden total

 < se dice un cuerpo ordenado si se cumplen las siguientes propiedades de

y <z x+y <x+z

x > 0, y > 0 xy > 0.

En el primer caso se dice que x es positivo, mientras x negativo signica

es invariante frente a la suma.

Es tambin habitual introducir la nocin de cuerpo ordenado a travs de

Demostracin. Para probar 1) si

Las dems se prueban igual.

Ejercicio 1.1. Para

primo se designa por

cuerpo ordenado con su orden natural?

conmutativo, ordenado y completo (nociones que se denen a continuacin).

se dice un cuerpo conmutativo si

dotado de dos operaciones + y

iii) es distributiva con respecto a +.

Como consecuencia de la Denicin 1.1, en todo cuerpo

Las propiedades 3), 7) arman que el opuesto y el inverso de

Siguiendo [22] damos la siguiente denicin de orden total.

relacin < que cumple las propiedades:

Otra denicin clave para caracterizar los nmeros reales es la de cuerpo

< se dice un cuerpo ordenado si se cumplen las siguientes propiedades de

En el primer caso se dice que x es positivo, mientras x negativo signica

simtrica se dene cota inferior.

Denicin 1.9 (Supremos).

por 2) necesariamente nico. Esto sugiere la notacin

nmo se introduce de manera simtrica.

(repectivamente, nmo) si todo conjunto

entonces tambin cumple la del nmo.

tampoco posee nmo en

A tal n, supngase

es en cierta forma continuo, es decir no presenta suras. Topolgica-

(en un sentido a precisar). El proceso el rplica de la

R identica los elementos de Y

reales se identica con las sucesiones de Cauchy de sus nmeros racionales.

Por nitud existe un nico