DEPARTAMENTO DE MATEMATICA

APLICADA

FACULTAD DE INFORMATICA

UNIVERSIDAD POLITECNICA
DE MADRID

EL TEOREMA INTEGRAL DE CAUCHY

Y
ALGUNAS DE SUS CONSECUENCIAS

Contenidos
1 Introducci
on

2 G
enesis hist
orica

3 Preliminares

3.1
3.2

Integrales sobre intervalos reales . . . . . . . . . . . . . . . . . . . . . . . . . .

El concepto de integral y propiedades . . . . . . . . . . . . . . . . . . . . . . .

Curvas y contornos en C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Equivalencia de curvas y contornos orientados . . . . . . . . . . . . . . . . . . .

Longitud de contorno

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4 Integrales de contorno en C
4.1

11

El concepto de integral de contorno . . . . . . . . . . . . . . . . . . . . . . . . .

11

Independencia de la parametrizacion . . . . . . . . . . . . . . . . . . . . . . . .

11

Relacion con la integral curvilnea real . . . . . . . . . . . . . . . . . . . . . . .

11

4.2

Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

4.3

Independencia del camino de la integral. Primitivas . . . . . . . . . . . . . . . .

12

5 El teorema integral de Cauchy

14

5.1

El teorema integral de Cauchy-Goursat

. . . . . . . . . . . . . . . . . . . . . .

14

5.2

El teorema de Cauchy-Goursat y dominios m

ultiplemente conexos . . . . . . .

21

6 Consecuencias del teorema integral de Cauchy

6.1

23

6.2

La formula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . .

Teorema de Liouville y el teorema fundamental del Algebra

. . . . . . . . . . .

25

6.3

El teorema del valor medio de Gauss y el principio del modulo maximo . . . . .

26

7 Bibliografa

23

29

1 Introducci
on
En esta leccion se tratan los fundamentos de la integraci
on en el campo complejo, y es el
objetivo principal del tema la presentaci
on y deduccion del teorema integral de Cauchy, as
como el analisis de algunas de sus principales consecuencias.
El teorema de Cauchy es uno de los resultados principales en la teora de las funciones
analticas. Sin precedentes en el campo real, establece que la integral, sobre un contorno
cerrado, de una funcion holomorfa sobre la trayectoria de dicho contorno y su componente
interior, es nula. Las consecuencias que de el se derivan son sorprendentes y marcan definitivas distancias con el analisis real. En el analisis real, si se considera la teora de campos
vectoriales, que es donde se enmarcan las integrales de funciones sobre curvas, este resultado
no tiene contrapartida pues, en general, la integral sobre contornos cerrados de campos diferenciales no es nula; solo una clase de funciones especiales lo verifican: las que admiten
funcion potencial. La diferencia entre ambos casos, real y complejo, sin duda hay que buscarla
en las ecuaciones de Cauchy-Riemann, no en vano, una funcion holomorfa en un dominio no
solo verifica que sus partes real e imaginaria son diferenciables, sino que tambien verifica las
mencionadas ecuaciones. Este hecho queda patente si se utiliza el teorema de Green-Riemann
en la demostracion del teorema integral de Cauchy.
No obstante, s se puede establecer una analoga entre el comportamiento de las funciones
holomorfas y campos gradientes, los que admiten funcion potencial, respecto a la integraci
on,
como se recoge en los siguientes cuadros.
Teora de funciones complejas
C dominio simplemente conexo, contorno cerrado en
f : C holomorfa

f (z) dz = 0

Teora de campos vectoriales

R2 dominio simplemente conexo, contorno cerrado en
f : R2 campo gradiente

f (s) ds = 0
2

Introducci
on

Otro enfoque que tambien permite establecer cierta analoga con el caso real es el proporcionado por el teorema fundamental del Calculo. En efecto, el teorema de Cauchy establece
tambien un teorema fundamental para el calculo complejo, pero hay que exigir una hipotesis
mas fuerte que en el caso real, se pide holomorfa frente a la continuidad para las funciones
reales. Esta relacion se recoge en los siguientes cuadros.
Teora de funciones complejas
f : C holomorfa, C dominio simplemente conexo

F : C primitiva de f

Teora de funciones reales

f : I R continua, I R intervalo

F : I R primitiva de f

2 G
enesis hist
orica
Las primeras integraciones en las regiones imaginarias fueron publicadas en 1813 por S. D.

Poisson (matematico frances, profesor en la Ecole

Polytchnique). Sin embargo las primeras
investigaciones sistematicas de calculo integral en el plano complejo fueron hechas por Cauchy
en los dos tratados Memoire sur les integrales definies y Memoire sur les integrales definies,
prises entre des limites imaginaire. El primer trabajo fue presentado a la Academia de Pars el
22 de Agosto de 1814 pero pasado para impresion en Memoires presente par divers Savants `
a
lAcademie royale des Sciences de lInstitut de France el 14 de septiembre de 1825 y publicado
en 1827. El segundo, trabajo mas corto, aparecio como un documento especial (magistral
memoire) en Pars en 1825. Este documento ya contiene el teorema de la integral de Cauchy
y esta considerado como la primera exposicion de teora de funciones clasica. La publicacion
de este trabajo clasico ocurrio de una manera muy extra
na. Salio pronto de imprenta pero no
fue reimpreso hasta 1874/75, mucho tiempo despues de que Riemann y Weierstrass hubieran
creado sus propias teoras de funciones, y lo hizo como Melanges en Bull. Sci. Math. Astron
7 (1874), 265-304, junto con dos continuaciones en el volumen 8(1875), 43-55 y 148-159. En
su libro La vie et les travaux du baron Cauchy (Pars, 1868 en 2 vol
umenes; reimpreso: Pars,
Blanchard, 1970) Valson, el alumno y biografo de Cauchy, alaba su trabajo, que de hecho para
1869 ya marcaba epoca: Esta memoria se puede considerar el trabajo mas importante de
Cauchy y la gente con reconocimiento no duda en compararla a cualquiera de los logros mas
hermosos de la mente humana en el dominio de las ciencias1 .
Por otra parte, sorprende que en los 27 vol
umenes de uvres compl`etes dAugustin Cauchy
que la Academia Francesa de Ciencias publico entre 1882 y 1974 (primeras series con 12
vol
umenes, segundas series con 15 vol
umenes) este trabajo particular de Cauchy no apareciera
hasta 1958 y en forma abreviada (pp. 57-65, Vol. 2 de segundas series), apareciendo completo
en 1974 en el u
ltimo volumen de las segundas series (pp. 41-89).
Cauchy formulo su teorema para los bordes de un rectangulo:
Pensamos ahora en la funcion f (x + iy) como finita y continua siempre que x
permanezca entre los lmites x0 y X e y entre los lmites y0 e Y . Entonces se
1

Traducido del frances

G
enesis hist
orica

prueba facilmente que el valor de la integral

X+iY

f (z)dz =
x0 +iyo

[ (t) + i (t)]f [(t) + i(t)]dt

t0

es independiente de la naturaleza de las funciones x = (t), y = (t).

Es sorprendente que Cauchy solo supona que la funcion f era finita y continua pero en
la prueba use, sin mas consideraciones, la existencia de la continuidad de f . Esto refleja la
conviccion, volviendo a la tradicion de Euler y tambien mantenida por Cauchy - al menos en
los primeros das de su trabajo - que las funciones continuas son ineludiblemente dadas por
expresiones analticas y son por eso diferenciables de acuerdo a las reglas del calculo diferencial.
Cauchy prueba el Teorema Integral mediante metodos del calculo de variaciones: reemplaza
las funciones (t), (t) por funciones vecinas (t) + u(t), (t) + v(t) donde u(t0 ) = v(t0 ) =
u(T ) = v(T ) = 0, y determina la variaci
on de la integral desarrollando mediante potencias
ascendentes de

Edouard
Goursat (1858-1936, matematico frances, miembro de la Academia de las Ciencias) comunico su prueba a Hermite en una carta en 1883 (publicada como Demonstration
du Theor`eme de Cauchy, Acta Math. 4(1884), 197-200). En ella emplea rectangulos en vez
de triangulos y expresamente usa la continuidad de la derivada. Aunque pronto reconocio que
esta hipotesis era superflua en su demostracion. Goursat considero regiones G con fronteras
bastante generales y aplico su metodo de biseccion tambien a rectangulos que en parte sobresalan de G. Las dificultades tecnicas que esto ocasionaba fueron comentadas en 1901 por
Alfred Pringsheim (1850-1941), que demostro utilizando triangulos. Por medio de su prueba
del triangulo Pringsheim esencialmente simplifico el metodo de prueba de Goursat y le dio
la elegante forma final que ha tenido hasta hoy en da. La variante triangulo tambien tiene
la ventaja economica que produce la teora integral para regiones estrella inmediatamente,
mientras que la version rectangulo no puede hacer esto.

3 Preliminares
Para poder introducir la teora de integraci
on de funciones complejas de variable compleja sera
necesario referirnos a conjuntos unidimensionales del plano complejo, esto es, a curvas, y se
definira la integral de una funcion definida sobre curvas de C. Por lo tanto, antes de introducir
el concepto de integral, comentaremos someramente algunas puntos de interes sobre curvas en
el plano complejo.
Por otra parte, tambien sera necesario introducir, previamente, la integraci
on de funciones
complejas de variable real, que es un primer paso en la generalizacion del concepto de integral
al campo complejo. Ambas cuestiones seran tratadas en esta primera seccion preliminar.

3.1

Integrales sobre intervalos reales

La primera extension del concepto de integral en el campo complejo se hace de forma natural
para funciones complejas de variable real. Despues ya se podra extender la definicion a integrales de funciones complejas de variable compleja sobre caminos o contornos, que incorpora
la anterior definicion en su calculo final.
Comenzamos, por tanto, introduciendo las funciones complejas de variable real y algunas
definiciones y propiedades basicas.
Definici
on 3.1. Sea : I C una funcion con valores complejos definida sobre un intervalo
I R. Se dice que es continua si lo son su parte real

() y su parte imaginaria

Analogamente, es derivable, o diferenciable, en t0 I si lo son

() y

().

(), siendo su

derivada (t0 ) = ( ()) (t0 ) + i( ()) (t0 ). Si es diferenciable con continuidad en I y

ademas (t) = 0 para todo t I, entonces se dice que la funcion es suave en I.
Muchas de las propiedades de las funciones reales se trasladan sin dificultad a este tipo de
funciones complejas. As, las reglas de derivaci
on (suma, producto y cociente) tienen identica
formulacion que en el caso real. Tambien se puede establecer una regla de la cadena como sigue
e ilustra la siguiente figura: Si : I D C es derivable en t0 y f : D C es holomorfa en
(t0 ), entonces f es derivable en t0 y
(f ) (t0 ) = f ((t0 )) (t0 )

Preliminares

w
I
a

w(t)

f(w(t))

Sin embargo, no todas las propiedades de las funciones reales se mantienen. As, por
ejemplo, no es aplicable el teorema del valor medio. En efecto, basta considerar la funcion
(t) = eit definida en el intervalo [0, 2], ya que (2) (0) = 0 y (t) = 0 para cualquier
valor de t.
Definici
on 3.2. Se dice que : I C es continua a trozos en el intervalo I R si existe una
particion t0 < t1 < . . . < tn de I de manera que |(ti ,ti+1 ) es continua para cada i = 0, . . . , n1,
y ademas existen los lmites laterales de en los extremos de los intervalos de la particion. De
forma analoga, es diferenciable (respectivamente, suave) a trozos si existe una particion del
intervalo I de manera que es diferenciable (respectivamente, suave) en los intervalos abiertos
determinados por la particion, y existen los lmites laterales de en los extremos de dichos
intervalos.

El concepto de integral y propiedades

Definici
on 3.3. Dada : [a, b] C continua a trozos sobre el intervalo [a, b], se define la
integral de en [a, b] como
b

(t) dt =

((t)) dt + i

((t)) dt.
a

Reglas de c
alculo
Si y son funciones complejas continuas a trozos sobre [a, b], y z0 C, se comprueban
facilmente las siguientes propiedades:
b

Linealidad:

( + )(t) dt =
a

(t) dt +
a

(t) dt.
b

(t) dt

((t)) dt
a

(t) dt.
c

(t) dt =

z0 (t) dt = z0

(t) dt +
a

(t) dt =
a

Cambio de sentido:

Aditividad: Si c [a, b],

(t) dt

(t) dt
a

((t)) dt.
a

(t) dt.
a

Preliminares

Acotaci
on
b

(t) dt

Si : [a, b] C es continua a trozos, entonces

|(t)| dt.

Demostraci
on: Si
con |z0 | = 1 tal que

b
a (t) dt

b
z0 a (t) dt

= 0 la desigualdad es evidente. En otro caso, existe z0 C

R, entonces
b

(t) dt

z0

(t) dt =

z0

(t) dt

| (z0 (t))| dt

(z0 (t)) dt

|z0 (t)|dt =

|(t)|dt
a

Definici
on 3.4. Una funciom W : I C, con I R intervalo, es una primitiva de : I C
si es diferenciable y W (t) = (t) para todo t I.
Si W y W son primitivas de en I, entonces W W es constante en I.
Teorema 3.5. (Teorema fundamental del c
alculo para integrales sobre intervalos)
x
a (t) dt

(a) Si la funcion : [a, b] C es continua en I, entonces

es una primitiva de

en I.
(b) Si W (t) es una primitiva de : [a, b] C y es continua a trozos, entonces
b

(t) dt = W (b) W (a).

a

Demostraci
on: Se sigue de forma trivial considerando las partes real e imaginaria y
aplicando el resultado correspondiente de las funciones reales.
Proposici
on 3.6. (Cambio de variable) Sea : [c, d] [a, b] una biyecci
on continuamente
diferenciable, entonces si : [a, b] C es una funcion continua, se verifica:
1 (b)

(t) dt =
a

((t)) (t) dt
1 (a)

Demostraci
on: Se obtiene trivialmente considerando parte real e imaginaria y aplicando
el correspondiente resultado para funciones reales de variable real. O bien se puede deducir
del teorema fundamental.
Proposici
on 3.7. (Integraci
on por partes) Si y son funciones complejas diferenciables
con continuidad en [a, b], entonces:
b

(t) (t) dt = (b)(b) (a)(a)

a

(t)(t) dt
a

Demostraci
on: Se obtiene trivialmente por ser es una primitiva de + .

Preliminares

3.2

Curvas y contornos en C

Definici
on 3.8. Llamaremos curva en C a toda funcion : [a, b] C continua. Al conjunto {(t); t [a, b]} se le suele llamar trayectoria o recorrido de la curva, que notaremos
abreviadamente por T r(); a se le denomina parametrizacion de la curva.
Si (a) = (b) entonces la curva es cerrada.
Si es inyectiva en (a, b), entonces se dice que es simple. Una curva de Jordan es una
curva simple y cerrada.
A continuacion enunciamos, sin demostracion, el teorema de la curva de Jordan que si
bien es un resultado intuitivamente evidente su prueba es bastante complicada (remitimos a
[5] para su demostracion).
Teorema 3.9. (Teorema de la curva de Jordan) Sea : [a, b] C una curva simple y
cerrada (curva de Jordan). Entonces el conjunto C\T r() consta de dos componentes conexas;
una de ellas es acotada y esta encerrada por la trayectoria de , que notaremos por Cint (), y
la otra no acotada, exterior a la trayectoria de , que notaremos Cext ().

Equivalencia de curvas y contornos orientados

Definici
on 3.10. Dos curva suaves a trozos : [a, b] C y : [a, b] C son equivalentes si
existe una biyeccion diferenciable : [a, b] [a, b] tal que (a) = a, (b) = b y = .
La anterior definicion de curvas equivalentes establece realmente una relacion de equivalencia (su comprobacion es trivial). Por tanto, las clases de equivalencia son las curvas que
definen la misma trayectoria coincidiendo sus puntos finales e iniciales, en otras palabras,
que determinan el mismo sentido del recorrido en la curva. A estas clases de equivalencia de
curvas suaves a trozos se les suele llamar caminos o contornos orientados, y denominaremos
parametrizaci
on del contorno a cada uno de los elementos de la clase de equivalencia.
Si : [a, b] C es un contorno, entonces (t) = (a + b t) es una curva que determina
un contorno (su clase de equivalencia) opuesto al de , es decir, tiene una orientaci
on contraria
y sus trayectorias coinciden.

Longitud de contorno
Puede calcularse la longitud de una curva suave a trozos como el paso al lmite de las longitudes
de poligonales. En efecto, si suponemos, en primer lugar, que : [a, b] C es una curva suave
y consideremos a = t0 < t1 < < tn = b una particion arbitraria del intervalo [a, b], entonces
la longitud de la poligonal Pn cuyos vertices consecutivos son (t0 ), (t1 ), . . . , (tn ) es
n

L(Pn ) =

|(ti ) (ti1 )|
i=1

Preliminares

10

Si (t) = x(t) + iy(t) para cada t [a, b], entonces

|(ti ) (ti1 )| =

[x(ti ) x(ti1 )]2 + [y(ti ) y(ti1 )]2

1in

Por tanto, aplicando el teorema del valor medio a cada componente x, y de en cada intervalo
[ti1 , ti ], con i {1, . . . , n}, se obtiene
n

x (t1i )

L(Pn ) =

+ y (t2i ) (ti ti1 )

con t1i , t2i (ti1 , ti )

i=1

En el segundo miembro de esta igualdad aparecen las sumas de Riemann de la funcion

| (t)| asociadas a la particion prefijada de [a, b], y dado que x e y son continuas, pues
es diferenciable con continuidad, entonces la funcion | (t)| es integrable por lo que tomando
lmite en la sucesion de sumas de Riemann L(Pn ) se obtiene
b

lim L(Pn ) =

| (t)|dt := L()
a

Se puede extender al caso en que la curva sea suave a trozos sumando las longitudes de
cada trozo suave. Notemos que la longitud de una curva suave a trozos es siempre finita,
pues esta formada por la union de una cantidad finita de curvas suaves. Las curvas suaves
a trozos son un caso particular de una clase mas amplia de curvas denominadas rectificables,
cuya caracterstica es que su longitud, obtenida por aproximaci
on de longitudes de poligonales,
es finita.
Se puede demostrar, sin mucha dificultad, que la longitud no depende de la parametrizacion
de la curva, no solo considerando parametrizaciones equivalentes, sino que tambien es L() =
L(), esto es, tampoco va a depender de la orientaci
on. As, se puede definir longitud para
contornos, es decir, para las clases de equivalencia de curvas suaves a trozos.
Observese que si la curva es simple esta definicion de longitud proporciona un modelo para
medir la trayectoria de la curva.

4 Integrales de contorno en C
4.1

El concepto de integral de contorno

Definici
on 4.1. Si f es una funcion continua en un abierto C y : [a, b] curva
suave a trozos. Entonces se define la integral de f sobre como
f (z)dz =

f ((t)) (t)dt

Observaci
on: Tambien se pueden considerar funciones f continuas a trozos sobre el contorno.

Independencia de la parametrizaci
on
El valor de la integral es independiente para curvas equivalentes. En efecto, si : [a, b] C y
[a, b] C son dos curvas equivalentes, existe una biyecci
on [a, b] [a, b] diferenciable con
continuidad tal que (a) = a, (b) = b y = , entonces
b

f (z)dz =

f ((t))) (t)dt
a

y, efectuando el cambio de variable s = (t), se verifica

b

f (z)dz =

f ((s)) (s)ds
a

En consecuencia, se puede definir la integral sobre un camino orientado como la integral

sobre cualquier curva suave a trozos que sea un representante de la clase de equivalencia. No
obstante, no introduciremos ninguna notacion nueva para indicar la clase de equivalencia y la
integral de contorno, pues esto solo supondra un cambio notacional sin variar los resultados.

Relaci
on con la integral curvilnea real
Si

(f (z)) = u(x, y) y

contorno siendo

(f (z)) = v(x, y), siendo z = x + iy, y : [a, b] C representa un

((t)) = x(t) y

((t)) = y(t), entonces se puede escribir

f (z)dz =

f ((t)) (t)dt =
a

(u(x(t), y(t))x (t) y(x(t), y(t))y (t))dt

a

(v(x(t), y(t))x (t) + u(x(t), y(t))y (t))dt =

a

udx vdy + i

11

vdx + udy

Integrales de contorno en C

4.2

12

Propiedades

Las siguientes propiedades se comprueban facilmente atendiendo a las propiedades analogas

para integrales de sobre intervalos:
Linealidad

(f (z) + g(z))dz =

f (z)dz +

g(z)dz.

Aditividad Sea el contorno adicion de los contornos 1 , . . . , n , esto es, existe una
particion del intervalo de definicion de en subintervalos Ii de forma |Ii es una
parametrizacion equivalente a i , y ademas el punto final de i coincide con el punto
inicial de i+1 , para i = 1, . . . , n 1. Se verifica
n

f (z)dz =

Regla de inversi
on

f (z)dz =

Acotaci
on

f (z)dz.

f (z)dz max |f (z)| L()

zT r()

4.3

f (z)dz.
i=1

Independencia del camino de la integral. Primitivas

En esta seccion se establece la independencia del contorno cuando se integran funciones que
admiten primitiva, en este caso la integral solo depende del valor de la primitiva en los puntos
inicial y final. Por tanto, este resultado es el analogo a al regla de Barrow para integrales
reales. Sera el teorema integral de Cauchy el que determine condiciones para la existencia de
primitivas. Por otra parte, la nocion de primitiva es identica al caso real y al de las funciones
definidas sobre intervalos.
Teorema 4.2. Sea f una funcion continua en un dominio (abierto y conexo por caminos)
C. Son equivalentes las siguientes afirmaciones:
(i) f admite primitiva en .
(ii) La integral de contorno de f es independiente del contorno en .
Demostraci
on: (i) (ii) Sea F una primitiva de f en y sea : [a, b] un contorno
suave que une los puntos z1 , z2 , siendo (a) = z1 y (b) = z2 . As, por la regla de la
cadena, se obtiene
(F ) (t) = F ((t)) (t) = f ((t)) (t)
en consecuencia,
b

f (z)dz =

f ((t)) (t)dt = (F )(b) (F )(a) = F (z2 ) F (z1 )

Integrales de contorno en C

13

Si : [a, b] es un contorno cualquiera que une los puntos z0 , zn , entonces se puede

obtener como adicion de una cantidad finita de contornos suaves 1 , . . . , n de forma que
cada i une zii con zi . Por lo tanto, teniendo en cuenta lo demostrado para caminos suaves,
es

f (z)dz =

f (z)dz =
i=1

(F (zi ) F (zi1 )) = F (zn ) F (z0 )

i=1

(ii) (i) Supongamos ahora que la integral de f es independiente del contorno en ,

veamos que entonces admite primitiva. Como es conexo por caminos, fijado un punto
z0 , para cualquier z siempre existe un camino que une z0 con z en ; por otra parte,
como la integral no depende del camino, se puede definir
z

F (z) =

f (z)dz
z0

donde la anterior integral se calcula considerando cualquier contorno contenido en (observese

que la notacion no ofrece equvocos debido a la independencia del camino). Veamos que para
cada z existe F (z) y coincide con f (z). Como es abierto, dado z , se puede
encontrar un disco D(z, ) , y sea h D(z, ), entonces
F (z + h) F (z)
1
=
h
h

z+h

f (w)dw
z0

f (w)dw =
z0

1
h

f (w)dw
[z,z+h]

donde [z, z + h] indica el segmento que une z con z + h, que esta contenido en D(z, ) .
Por consiguiente,

F (z + h) F (z)
f (z)
h

1
h
1
|h|

f (w)dw
[z,z+h]

1
f (z)
h

dw
[z,z+h]

(f (w) f (z))dw
[z,z+h]

max

w[z,z+h]

|f (w) f (z)|

Finalmente, como f es continua , cuando h 0 se verifica que f (w) tiende a f (z) sobre el
F (z + h) F (z)
segmento [z, z + h], por tanto,
f (z) 0 cuando h 0.
h

5 El teorema integral de Cauchy

5.1

El teorema integral de Cauchy-Goursat

El teorema de Cauchy-Goursat establece, como ya se ha comentado con anterioridad, que

si C es un abierto simplemente conexo y f es holomorfa en , lo que notaremos por
f H(), entonces f posee primitiva en y, en particular, su integral a lo largo de cualquier
contorno cerrado es nula.
El teorema establecido por Cauchy exiga la hipotesis adicional de continuidad para f .
Goursat fue el primero en dar una demostracion del teorema sin utilizar esta hipotesis. Este
hecho es mas relevante de lo que parece dado que a partir del teorema integral se establece
la formula de Cauchy, de la que se deduce que si f H() entonces existen las derivadas de
todos los ordenes de f en .
Por otra parte, con la hipotesis adicional de la continuidad de f se puede demostrar el
teorema de forma muy sencilla apoy
andose en el teorema de Green-Riemann para funciones
vectoriales. En efecto, este teorema afirma:

Teorema de Green-Riemann: Si F = (P, Q) : R2 es campo continuamente

diferenciable y es un dominio simplemente conexo, entonces para toda curva
simple, cerrada, suave a trozos y positivamente orientada en , se verifica
P (x, y)dx + Q(x, y)dy =

Q P

x
y

dxdy

donde D es el conjunto formado por T r() y junto con su componente conexa

interior.

As, si f (z) = u(x, y) + iv(x, y), por ser f H() y f continua en entonces, teniendo
en cuenta la relacion entre la integral compleja y la integral curvilnea, se obtiene
f (z)dz =

udx vdy + i

vdx + udy =

(vx uy )dxdy

(ux vy )dxdy = 0

dado que se verifican las ecuaciones de Cauchy-Riemann, ux = vy y uy = vx , en .

14

El teorema integral de Cauchy

15

No obstante, nuestro objetivo es hacer la prueba en el caso general, sin considerar la

continuidad de f . Para ello, en primer lugar, consideraremos el lema integral de Goursat, con
la demostracion sobre triangulos, y despues estableceremos el resultado en el caso general.
Lema 5.1. (Lema integral de Goursat) Si f H(), siendo un abierto de C, para todo
triangulo T se verifica que
f (z) dz = 0,
T

donde T es la frontera de T .
Demostraci
on: Dado el triangulo T , se considera una particion del mismo en cuatro
triangulos Ti , i {1, 2, 3, 4} construidos trazando los segmentos que unen los puntos medios
de cada lado de T . Consideraremos la frontera de T , T , con una orientaci
on determinada, e
indicaremos por L(T ) su longitud. Se tendran en cuenta dos hechos elementales:
1
L(Ti ) = L(T ) para cada i.
2

(1)

max |z w| L(T ), para cualquier triangulo T .

(2)

z,wT

T
T3
T4

T2

T1

Figura 5.1: Particion de T en T1 , T2 , T3 y T4 .

Considerando para cada triangulo Ti de la particion la misma orientaci

on que tiene T y,
atendiendo a la propiedad aditiva de la integral, se verifica
4

f (z)dz =
T

f (z)dz,
i=1

Ti

dado que los lados de los triangulos Ti interiores T son recorridos dos veces, una en sentido
contrario a la otra. Para simplificar notacion escribiremos I(T ) =
las integrales de f sobre la frontera de cualquier otro triangulo.

f (z)dz, y lo mismo para

El teorema integral de Cauchy

16

Ahora se considera de entre los cuatro anteriores triangulos Ti aquel triangulo, que notaremos T 1 , verificando
|I(Ti )| |I(T 1 )|, i {1, 2, 3, 4},
por tanto,
4

|I(Ti )| 4|I(T 1 )|

|I(T )|

(3)

i=1

Partiendo de T 1 se repite el proceso y se construye T 2 ; y as sucesivamente. Se consigue

de esta manera una sucesion de triangulos T 1 , T 2 , . . . , T n , . . . encajados, esto es T n+1 T n ,
para todo n N. Atendiendo a (1) y (3), estos triangulos verifican
1
L(T n ) = n L(T ) para todo n N.
2

(4)

|I(T )| 4n |I(T n )| para todo n N.

(5)

Figura 5.2: Construccion de la sucesion {T n }nN .

Por la propia construccion de la sucesion de los triangulos {T n }nN , la sucesion de sus
diametros tiende a 0, ademas, aplicando el principio de los intervalos encajados, se verifica que

T n = {z0 }. Como f H(), existe f (z0 ) y, por tanto, la funcion

i=1

f (z) f (z0 ) f (z ) si z = z
0
0
z z0
g(z) =

0
si z = z0

es continua en y permite escribir

f (z) = f (z0 ) + f (z0 )(z z0 ) + g(z)(z z0 )

Integrando sobre T n miembro a miembro en esta u

ltima igualdad, se obtiene
I(T n ) =
T n

f (z0 )dz +

T n

f (z0 )(z z0 )dz +

T n

g(z)(z z0 )dz =

T n

g(z)(z z0 )dz

El teorema integral de Cauchy

17

ya que las funcione f (z0 ) y f (z0 )(z z0 ) admiten primitiva en todo C, por lo que su integral
a lo largo de cualquier contorno cerrado es nula.
Por tanto, teniendo en cuenta (5), la propiedad de acotacion de la integral, (2) y (1) (en
este orden), para todo n, se sigue
|I(T )| 4n |I(T n )| = 4n
T n

g(z)(z z0 )dz 4n maxn |g(z)(z z0 )|L(T n )

zT

4n maxn |g(z)|L(T n )2 4n maxn |g(z)|

zT

zT

L(T )
2n

= L(T )2 maxn |g(z)|

zT

Por u
ltimo, dado > 0 arbitrario, teniendo en cuenta la continuidad de g en z0 , existe un
> 0 verificando que g(D(z0 , )) D(0, ). Por otra parte, como el diametro de los triangulos
T n tiende a 0 y z0 T n para cualquier n, existe un n0 de tal manera que T n D(z0 , ) para
todo n n0 . En consecuencia,
|g(z)| < z T n y n n0
luego,
|I(T )| < L(T )2

> 0

lo que prueba que

I(T ) =

f (z)dz = 0
T

Teorema 5.2. (Teorema integral de Cauchy-Goursat) Sea un dominio simplemente

conexo y sea f H(), entonces para todo contorno cerrado en se verifica
f (z) dz = 0 .

Demostraci
on: Se hara la demostracion en cuatro partes; en primer lugar, considerando
contornos poligonales que son frontera de polgonos convexos; en segundo lugar, los contornos
de integracion seran poligonales cerradas y simples; a continuaci
on consideraremos poligonales cerradas que pueden ser no simples; por u
ltimo, se consideraran contornos cerrados
cualesquiera.
(i) Sea la frontera de de un polgono convexo P de n lados determinados por la sucesion
ordenada de vertices v1 , v2 , . . . , vn , entonces el teorema se demuestra facilmente considerando la
particion en triangulos siguiente (como muestra la figura 5.3): sea T1 el triangulo determinado
por los vertices v1 , v2 , v3 , v1 , T2 el triangulo determinado por v1 , v3 , v4 , v1 , y as sucesivamente,
siendo el u
ltimo triangulo Tn2 el determinado por v1 , vn1 , vn , v1 . Considerando la orientaci
on

El teorema integral de Cauchy

18

de y de las fronteras de los triangulos inducida por el anterior orden de los vertices y, teniendo
en cuenta la propiedad aditiva de las integrales, se obtiene
n2

f (z)dz =

f (z)dz = 0
Ti

i=1

ya que se integra dos veces sobre los lados interiores al polgono y con orientaciones contrarias,
por lo que basta aplicar el teorema en el caso particular de triangulos para obtener que la
integral sobre es nula.
V4
Vn-1

V3

Vn

V2

V1

Figura 5.3: Particion de un polgono convexo en triangulos.

(ii) Consideremos ahora el caso particular en que es una poligonal cerrada que no se corta
consigo misma y recorrida una sola vez. Comprobemos que se puede realizar una particion de
la componente conexa interior a en polgonos convexos, de esta manera se obtendra que la
integral de f sobre es cero aplicando el apartado (i) en cada componente convexa.
Los polgonos convexos se caracterizan por la propiedad geometrica que asegura que si se
prolonga cualquiera de sus lados en lnea recta por cualquiera de los vertices, esta prolongacion
cae fuera del polgono. Por tanto, un polgono no convexo tiene alg
un lado cuya prolongacion
por alguno de sus extremos cae dentro del polgono. Haremos el siguiente proceso, que se ilustra
en la figura 5.4; recorriendo todos los lados de seg
un una orientaci
on determinada vamos
prolongando cada lado por el extremo cuya prolongacion se hace seg
un la orientaci
on dada; se
a
nadir
an al polgono los segmentos de las prolongaciones que se hallen entre el vertice del que
parten y el primer punto (eventualmente el u
nico) que es intersecci
on con T r(), siempre que
dicho segmento se encuentre en la componente conexa interior de . Estos segmentos producen
una particion del polgono de forma que cada componente de la particion es convexa, y se puede
aplicar el apartado anterior.

El teorema integral de Cauchy

19

Figura 5.4: Particion de un polgono no convexo en regiones convexas.

(iii) En el caso en que la poligonal no sea simple se puede descomponer en una cantidad finita
de poligonales simples cerradas a las que se aplica el apartado anterior. No seremos rigurosos
en este proceso, tan solo lo comentaremos sobre la figura 5.5.

v1

v5

v3
a
b

v2

v0
v4
Figura 5.5: Poligonal no simple.

Comenzaremos recorriendo los lados de la poligonal y cuando detectemos la interseccion de

un lado con otro ya recorrido, marcamos dicha interseccion y comprobamos que se ha formado
una poligonal cerrada simple, un ciclo (contorno cerrado simple), que podemos eliminar.
Se recorre la figura empezando por el vertice v0 y continuando por los vertices de subndice
consecutivo. As, se recorrera el lado v0 v1 , el lado v1 v2 y al recorrer v2 v3 , comprobamos que
hay una interseccion con un lado ya recorrido, sea esta a. Entonces se observa que se ha
recorrido el ciclo av1 v2 , que podemos eliminar dado que la integral sobre este ciclo se anula.
As, sucesivamente se sigue el proceso recorriendo todos los vertices uno a uno y eliminando
ciclos.
Solo resta considerar una u
ltima observacion: si hay alguna interseccion de la poligonal

El teorema integral de Cauchy

20

consigo misma que sea todo un segmento, este tambien se puede eliminar puesto que se recorre
dos veces y en sentido contrario.
(iv) Si es un contorno cerrado cualquiera en se puede construir un conjunto cerrado C de
manera que
T r()

D(z, ) C
zT r()

para un > 0 adecuado, esto es, debe cumplir la condicion < < d(T r(), ) donde
d(T r(), ) = inf {|z w|; z T r() y w }
y se considera < para asegurar que el cerrado C este totalmente contenido en .

W
d(Tr(g),c-W)

Figura 5.6: Construccion de un cerrado conteniendo a y contenido en .

Sea ahora > 0 arbitrario, como f H(), en particular, es continua y ademas uniformemente continua en C, pues C es compacto; por tanto, se puede determinar 0 > 0 tal que si

|z z | < 0 entonces |f (z) f (z )| <

.
2L()
W

g
P
zi+1
zi

Figura 5.7: Poligonal P aproximando a

El teorema integral de Cauchy

21

Sea < min{0 , } y considerese una particion de en arcos 1 , . . . n , siendo L(i ) < ,
para cada i {1, . . . , n}, y notemos por zi , zi+1 a los extremos de i . Considerese tambien
la poligonal P formada por los segmentos Pi = [zi , zi+1 ]. Entonces, como sobre cada i y Pi
es

f (zi )dz =

Pi

f (zi )dz = f (zi )(zi+1 zi ) pues la funcion constante admite primitivas, se

verifica

f (z)dz

f (z)dz

Pi

=
i

<

(f (z) f (zi ))dz

Pi

(f (z) f (zi ))dz +

(f (z) f (zi ))dz

Pi

(f (z) f (zi ))dz

max |f (z) f (zi )|L(i ) + max |f (z) f (zi )|L(Pi )

zPi

zT r(i )

(L(i ) + L(Pi ))
L(i )
2L()
L()

pues cuando z i es |z zi | < < 0 .

En consecuencia, dado que seg
un (ii) la integral sobre P es nula, se sigue que
n

f (z)dz

f (z)dz

f (z)dz =
P

f (z)dz
i=1

lo que prueba que

f (z)dz <
Pi

f (z)dz

f (z)dz
i

i=1

i=1

Pi

L(i ) = ,
L()

f (z)dz = 0 dado que se ha tomado > 0 arbitrario

Solo resta decir que, realmente, esta prueba es valida no solo para contornos sino tambien
para curvas rectificables.

5.2

El teorema de Cauchy-Goursat y dominios m

ultiplemente
conexos

Se considera ahora el caso en que el dominio no es simplemente conexo, es decir, cuando es

m
ultiplemente conexo. El teorema no se verifica, pero permite reducir el calculo de la integral
a otros contornos mas simples o mas adecuados para integrar la funcion dada. Se tiene el
siguiente resultado.
Teorema 5.3. (Teorema de Cauchy-Goursat para dominios m
ultiplemente conexos)
Sean y 1 , . . . , k contornos cerrados y simples verificando:

El teorema integral de Cauchy

22

(i) Todos tienen la misma orientaci

on.
(ii) Cada T r(i ), i {1, . . . , n} est
a contenido en la componente conexa interior de y en
las componentes conexas exteriores de j , con j = i.
Si f siendo un dominio que contiene a todos los contornos y la region Cint ()
(

i=1

Cext (i )), entonces se verifica

k

f (z)dz =

f (z)dz.
i=1

Demostraci
on: Se a
naden segmentos uniendo los contornos como indica la figura 5.8 y
se consideran 1 y 2 contornos cerrados formados por un arco de los segmentos a
nadidos y
un arco de cada i , tambien como se indica en la figura.

g1

g
-G1

-G2

-G1

-G2

g2
Figura 5.8: Teorema de Cauchy para multiplemente conexos.
Como 1 y 2 son contornos cerrados contenidos cada uno de ellos en una region simplemente conexa donde f es holomorfa, aplicando el teorema de Cauchy-Goursat, se obtiene
k

0=

f (z)dz +
1

f (z)dz =
2

f (z)dz +

f (z)dz =
i=1

f (z)dz

f (z)dz
i=1

dado que las integrales sobre los segmentos se anulan pues son recorridos dos veces y en sentidos
contrarios.

6 Consecuencias del teorema

integral de Cauchy
A partir del teorema integral de Cauchy se deduce su formula integral, resultado fundamental
que permite obtener todas las propiedades locales y globales de las funciones holomorfas. En
esta seccion deduciremos esta formula y otras consecuencias importantes como son los teoremas
de Liuoville, de Morera, el principio del modulo maximo, etc.

6.1

La f
ormula integral de Cauchy

La formula integral de Cauchy muestra que los valores de una funcion f sobre un contorno
cerrado determinan sus valores en los puntos de su componente interior, siempre que dicha
funcion sea holomorfa sobre el contorno y sobre la componente interior.
Teorema 6.1. (F
ormula integral de Cauchy) Sea f H(T r() Cint ()), siendo un
contorno simple, cerrado y positivamente orientado. Entonces, para cualquier punto z0
Cint (), se verifica
f (z0 ) =

1
2i

f (z)
dz
z z0

Demostraci
on: Dado que f es continua en z0 , consideremos > 0 arbitrario, entonces existe
un > 0 de manera que si |z z0 | < , es |f (z) f (z0 )| < . Sea < y de forma que
D(z0 , ) Cint (), como muestra la figura 6.1. Notemos 0 al camino simple positivamente
orientado cuya trayectoria es D(z0 , ).

g
z0

r
d

Figura 6.1: Situacion de y 0 .

23

Consecuencias del teorema integral de Cauchy

La funcion integrando

f (z)
zz0

24

es holomorfa en (T r() Cint ()) \ {z0 }, entonces, aplicando

el teorema de Cauchy para m

ultiplemente conexos, se verifica que

f (z)
dz =
z z0

f (z)
dz =
z z0

f (z) f (z0 )
dz +
z z0

f (z0 )
dz.
z z0

Podemos calcular la u
ltima de estas integrales parametrizando el contorno 0 , 0 (t) = z0 + eit
con t [0, 2], entonces

f (z0 )
dz = f (z0 )
z z0

2
0

1
ieit dt = f (z0 )2
eit

En consecuencia,

f (z)
dz f (z0 )2i =
z z0

f (z) f (z0 )
|f (z) f (z0 )|
dz max
L(0 ) < 2
z z0
|z z0 |
zT r(0 )

ya que |z z0 | = < . Como > 0 es arbitrario, las anteriores desigualdades prueban el

teorema.
La formula integral de Cauchy puede generalizarse. La generalizacion permite calcular el
valor de cualquier derivada de una funcion holomorfa en los puntos interiores a un contorno
simple y cerrado si se conocen los valores de la funcion en el contorno.
ormula integral de Cauchy generalizada) Sea f H(T r() Cint ()),
Teorema 6.2. (F
siendo un contorno simple, cerrado y positivamente orientado. Entonces, para cualquier
punto z0 Cint (), se verifica
f (n) (z0 ) =

n!
2i

f (z)
dz
(z z0 )n+1

Demostraci
on: Vamos a demostrarlo para n = 1, se repetiran las mismas tecnicas para
n mayor. En virtud de la formula integral de Cauchy, se verifica

f (z0 ) =

f (z0 + h) f (z0 )
1
1
=
lim
h0
h
2i h0 h
lim

1
lim
2i h0

f (z)
f (z)

z z0 h z z0

f (z)
dz
(z z0 h)(z z0 )

Por tanto, se trata de comprobar que esta u

ltima integral tiende a

h 0. Veamos que as es:

dz

f (z)
dz
(z z0 h)(z z0 )

f (z)
dz
(z z0 )2

f (z)
dz cuando
(z z0 )2

f (z)h
dz
(z z0 h)(z z0 )

|f (z)||h|
L()
zT r() |z z0 h||z z0 |
max

Consecuencias del teorema integral de Cauchy

25

Ahora bien, como f es holomorfa sobre T r(), tambien es continua, luego, por ser T r()
compacto es |f (z)| M para todo z . Ademas, como es cerrado y z0 T r() tambien
es d = min{|z z0 |; z } > 0, y as |z z0 h| |z z0 | |h| d |h|. En consecuencia,
si |h| < d se verifica
|f (z)||h|
M |h|
L()
L() 0
d(d |h|)
zT r() |z z0 h||z z0 |
max

si h 0

lo que concluye la prueba del teorema.

Corolario 6.3. Si f es holomorfa en un dominio, entonces posee derivada de todos los ordenes
en dicho dominio, y estas derivadas son a su vez holomorfas en el dominio.
Corolario 6.4. (Teorema de Morera) Si f es una funcion continua en un dominio y
f (z)dz = 0 para todo contorno cerrado en , entonces f H().

Demostraci
on: Como la integral de f sobre cualquier contorno cerrado del dominio se
anula, entonces admite primitiva F en . Al ser F H() entonces es F = f H().

6.2

Teorema de Liouville y el teorema fundamental del Algebra

De la formula integral de Cauchy se obtienen interesantes consecuencias, algunas realmente

sorprendentes, dedicaremos esta seccion a algunas de ellas.
Teorema 6.5. (Teorema de Liouville) Si f H(C) (se dice entera) y acotada en C,
entonces f es constante.
Demostraci
on: Como f es entera, para cualesquiera > 0 y z C se verifica
f (z) =

1
2i

f (w)
dw
(w z)2

donde es la circunferencia centrada en z y de radio positivamente orientada. Si M es una

cota para el modulo de f , de la anterior formula se obtiene
|f (z)|

1
2

|f (w)|
M
L()
0
2

wT r() |w z|
max

si

De donde se sigue que f (z) = 0 para todo z C, luego f es constante.

Como corolario del teorema de Liouville se obtiene facilmente el teorema fundamental del

Algebra
que asegura que todo polinomio no constante tiene al menos un raz. Probaremos una
version mas fuerte de este teorema.

Consecuencias del teorema integral de Cauchy

26

Teorema 6.6. (Teorema fundamental del Algebra)

Todo polinomio no constante de
grado n tiene exactamente n races.
Demostraci
on: Sea
P (z) = a0 + a1 z + a2 z 2 + + an z n

(an = 0)

Por reduccion al absurdo, supongamos que P (z) = 0 para todo z C. Entonces conside1
ramos la funcion f (z) =
que esta definida en todo z C y es entera (f H(C)) por
P (z)
serlo P y no anularse nunca. Ademas esta funcion f esta acotada. En efecto, observemos en
primer lugar que, debido a que limz P (z) = , es limz f (z) = 0; entonces dado > 0
1
< para todo z con |z| > M , luego f est
a acotada en
existe M > 0 de manera que
|P (z)|
C \ D(0, M ). Por otra parte, por la continuidad de f podemos asegurar que tambien esta
acotada en el disco cerrado D(0, M ), ya que es un compacto.
Por tanto, f es entera y esta acotada en todo C, del teorema de Liouville se deduce que
f es constante, en contra de la hipotesis, en consecuencia, debe existir alg
un z C de forma
que P (z) = 0.
P (z)
, que es de
z z1
grado n 1, debe tener una raz z2 . Reiterando el proceso se llega al polinomio de grado uno
b
Pn1 (z) = az + b que tiene una raz zn = , con lo que en total se han obtenido n races.
a
Sea z1 raz de P (z), entonces aplicando lo anterior al polinomio P1 (z) =

6.3

El teorema del valor medio de Gauss y el principio del

m
odulo m
aximo

El teorema del valor medio de Gauss dice que si una funcion es holomorfa en un punto, y por
tanto en un entorno de dicho punto, el valor de la funcion en el mismo es la media aritmetica
de los valores que toma sobre cualquier circunferencia que este dentro del mencionado entorno.
Teorema 6.7. (Teorema del valor medio de Gauss) Sea f H(D(z0 , )) entonces
f (z0 ) =

1
2

2
0

f (z0 + eit )dt

Demostraci
on: Sea (t) = z0 + eit , con t [0, 2], el contorno frontera del disco
D(z0 , ), entonces, seg
un la formula integral de Cauchy, es
f (z0 ) =

1
2

f (z)
1
dz =
z z0
2

2
0

f (z0 + eit )dt

El siguiente resultado, de utilidad para probar el principio del modulo maximo, establece
que el modulo de una funcion holomorfa no constante en un dominio no puede tener maximos
locales.

Consecuencias del teorema integral de Cauchy

27

Lema 6.8. Sea f H(D(z0 , )), si |f (z)| |f (z0 )| para todo punto z D(z0 , ), entonces f
es constante igual f (z0 ) en todo el disco D(z0 , ).
Demostraci
on: Sea z D(z0 , ), vamos a ver que f (z) = f (z0 ). Si = |z0 z|,
consideramos la circunferencia centrada en z0 y de radio , que pasa por z. Seg
un el resultado
anterior f (z0 ) =

1
2

2
0

f (z0 + eit )dt, por lo tanto,

|f (z0 )|

1
2

2
0

f (z0 + eit ) dt

de donde se obtiene que

|f (z0 )| =
y as es

2
0

1
2

2
0

1
2

2
0

|f (z0 )| dt = |f (z0 )|

f (z0 + eit ) dt

|f (z0 )| f (z0 + eit ) dt = 0

de donde, al ser |f (z0 )| f (z0 + eit ) para todo valor de t [0, 2], entonces necesariamente
es |f (z0 )| = f (z0 + eit ) , y en particular |f (z)| = |f (z0 )|. As, se deduce que el modulo de la
funcion f es constante en todo el abierto D(z0 , ), y al tratarse de una funcion holomorfa en
dicho abierto se deduce que la propia funcion es constante.
Teorema 6.9. Si f H() y no constante en el dominio , entonces |f | no alcanza el valor
maximo en ning
un punto de . Si f es continua en entonces |f | alcanza su valor maximo
en alg
un punto de .
Demostraci
on: Demostraremos el teorema por reduccion al absurdo, supondremos que
|f | alcanza el valor maximo en un punto z0 y llegaremos a que, de esta hipotesis, necesariamente se deduce que |f | ha de ser constante en todo .

W
r

z0

Figura 6.2: Recubrimiento de por discos.

Sea z , como es un dominio, entonces es conexo por caminos, y se puede encontrar un camino que une z0 con z. Por otra parte, como T r() es cerrado, entonces

Consecuencias del teorema integral de Cauchy

28

d(T r(), ) > 0 y podemos considerar el recubrimiento de T r() por discos D(z, )
siendo 0 < < d(T r(), ) y z T r(). Como ademas T r() es compacto, se puede extraer
un subcubrimiento finito, es decir, podemos encontrar D(z0 , ), D(z1 , ), . . . D(zn , ) de forma
que T r()

i=0

D(zi , ) . Consideraremos tambien que los elementos de este subcubri-

miento estan ordenados de forma que z0 , z1 , . . . , zn son consecutivos sobre T r(), as se tendra
que D(zi , ) D(zi+1 , ) = . Aplicando el lema anterior, se obtiene que f (w) = f (z0 ) para
todo z D(z0 , ), en particular, f (z0 ) = f (w1 ) siendo w1 D(z0 , ) D(z1 , ). De nuevo,
aplicando el lema se obtiene que f (w) = f (z0 ) en todo w D(z1 , ). Repitiendo el proceso,
se llega a que f es constante sobre todos los discos de este subcubrimiento y, en particular,
f (z0 ) = f (z).
Finalmente, si f es continua en , entonces |f | tambien lo es y, por tanto, alcanza el valor
maximo en alg
un punto de que, seg
un lo anterior, estara necesariamente en la frontera.

7 Bibliografa
[1] Ablowitz, M. J., y A. S. Fokas. Complex variables: Introduction and applications. Cambridge University Press, Cambridge, 1997.
[2] Ahlfors, L. V. Complex Analysis. McGraw-Hill, 1979
[3] Churchill, R. V., y J. W. Brown. Variable compleja y aplicaciones. McGrawHill/Interamerica de Espa
na, Madrid, 1991.
[4] Lopez-Gomez, J. Ecuaciones diferenciales y variable compleja. Prentice Hall (Pearson
Educacion), Madrid, 2001.
[5] Margalef, J., E. Outerelo, y J. L. Pinilla. Topologa, Tomo V. Alhambra, Madrid, 1982.
[6] Markushevich, A. Teora de las funciones analticas, Tomos I y II. Mir, Moscu, 1978.
[7] Needham, T. Visual complex analysis. Oxford University Press, Oxford, 2000.
[8] Remmert, R. Theory of complex functions. Springer-Verlag, U.S.A., 1991.
[9] Saff, E. B., y A. D. Snider. Fundamentals of complex analysis for mathematics, science
and engineering. Prentice Hall, New Jersey, 1993.
[10] Wunsch, A. D. Variable compleja con aplicaciones. Addison-Wesley Iberoamerica, Wilmington, 1997.

29