Anlisis IV

Los Teoremas de Cauchy

1.- Teorema Local de Cauchy

1.1. Funciones definidas por integrales

Consideremos dos funciones complejas , definidas en el mismo conjunto Z del plano
complejo:

: Z w ( w ) C ,
: Z w ( w ) C .
Sea tambin un camino rectificable
:[
a , b] Z . Si suponemos que las funciones , son
continuas en el recorrido * de este camino, entonces la funcin:

F ( z , w) =

( w)
( w ) z

*
z C (
)

*
w

resulta continua.

Z
*

*
(
)

Para cada z C ( ) , la restriccin de F dada por:

*

Fz ( w ) =

( w )
( w ) z

w *

es continua y, en consecuencia, podemos definir:

f ( z ) = Fz ( w )dw =

( w)

( w) z dw

z C (* ) .

Esta funcin est construida por medio de integrales y demostraremos que es analtica en todos
los puntos de su dominio.

Teoremas de Cauchy

Anlisis IV

( )

El conjunto * es compacto en virtud de la continuidad del camino y de la funcin

compleja . Por ello, se tratar de un conjunto cerrado y acotado y el dominio de la funcin f ( z )
*
*
es el abierto A = C (
) . Tomando A , su distancia al compacto (
) es un nmero

(( ))

*
positivo d , pues si fuera dist
, = 0 , hallaramos que en todo entorno de hay puntos de

( )

( )

( )

* y sera adherente a * , por lo que *

en contra de lo supuesto.

Tomando un valor real r que verifique 0 < r d , hallaremos que el disco abierto B(; r ) se
*
halla contenido en el abierto A . Para todo z B(; r ) y para todo w
se cumplir:

z
z
r
r
=
<
1
( w )
( w )
( w ) d

( w )

*
Esta acotacin permite asegurar que dados w
y z B(; r ), la serie geomtrica:

n =0

1
z

( w) ( w )

converge, ya que su razn es precisamente

z
.
( w )

Si tomamos z B(; r ) fijo y variamos w en el conjunto * , obtenemos una serie funcional:

n =0

1
z

( w ) ( w )

que converge uniformemente en dicho conjunto ya que:

z
(z ) r n = 1 r
1
=

( w ) ( w)
( ( w) )n+ 1 d n + 1 d d
n

La suma de esta serie es:

1

Un conjunto cerrado contiene a todos sus puntos adherentes.

Teoremas de Cauchy

*
w
.

Anlisis IV

g( w) =

n =0

1
1
1
1
z
( w )
( w )
=
=

(
)
z
w
z
( w ) z
( w) ( w )
1
( w) ( w )
n

por lo que podemos escribir:

f (z ) =

( w )
dw =
( w ) z

1
( w )dw =
( w ) z

( z ) ( w ) dw =
=
n+ 1

( w ) )

n = 0 (

z
1

( w )dw =

( w )

(
w
)

n= 0

(z )
n =0 (( w) )n+ 1 ( w) dw

( w )
( z )n .

dw
(( w ) )n + 1
n= 0

Esto prueba que para cada z B(; r ) la funcin f ( z ) puede desarrollarse en serie de potencias
centrada en , por lo que es analtica en cada A y por ello analtica en el abierto A .

1.2. Cadenas y ciclos. ndices.

Supongamos que
1,
2 ,...
m son caminos en el plano complejo iguales o distintos. Definimos
una cadena como la suma formal:
m

.
i

i=1

Admitimos que si cada uno de los caminos i est repetido a i veces la cadena se simboliza por:
m

a .
i

i=1

En el caso de que todos los caminos de la cadena sean cerrados se dice que tal cadena es un
ciclo. Si todos los caminos de la cadena son rectificables se dice que la cadena es rectificable. El
m

recorrido de una cadena =

a i i es el conjunto * =

i=1

*
i

i= 1

Para dos cadenas 1 =

U .

1 i y 2 =

i =1

, se define la suma como:

2j

j =1

1 + 2 =

2j

1i

i =1

j =1

y resulta una nueva cadena.

Si tenemos una funcin compleja f

continua en el recorrido de una cadena rectificable

a , entonces definimos la integral de

i

f en la cadena como:

i=1

Teoremas de Cauchy

Anlisis IV

fdz = a fdz .
i

i=1

A partir de esta igualdad se prueba que si 1 , 2 son dos cadenas rectificables cuyo recorrido se
incluye en el campo de continuidad de f , se tiene:

fdz = fdz + fdz .

1 + 2

Supongamos que es un ciclo rectificable formado por un slo camino rectificable y cerrado:

= .
Sean las funciones:

: Z w w C ,

:Z w 1 C .
La continuidad de ambas funciones impone que la funcin definida por medio de la integral

Ind ( z ) =

1
( w )
1
1
dw =
dw
2 i ( w ) z
2i w z

*
z C

*
exista y sea analtica en el abierto C
. Esta funcin se llama ndice respecto al ciclo = .
m

En el caso de que tengamos un ciclo rectificable =

a , definimos el ndice respecto a dicho

i

i=1

ciclo como la funcin:

Ind ( z ) =

1
( w )
1
dw =
2i ( w) z
2 i

( w )
dw =
( w ) z

ai

i=1

i =1

ai

1
2 i

1
dw =
w z

a Ind
i

i=1

i ( z )

z C *

*
Obsrvese que esta funcin slo est definida en el abierto C y resulta analtica en l pues

es suma de funciones analticas.

Volvamos ahora al caso = . Probaremos que la funcin:

Ind ( z ) =

1
1
*
dw z C
2 i w z

*
slo toma valores enteros en cada una de las componentes conexas del abierto C
y

es nula en la componente no acotada de dicho abierto.

El conjunto * es cerrado y acotado. La acotacin implica que existe al menos un k > 0 para el
*
que se da la relacin: z
z < k . Por ello, es cierta la contrarrecproca de esta relacin:
*
*
z k z
. En definitiva, hallaremos una componente conexa del abierto C
no acotada.

Teoremas de Cauchy

Anlisis IV

Sea una funcin f : A C continua en un abierto del plano complejo y un camino rectificable

:[
a , b] C con recorrido en dicho abierto. Para cada > 0 siempre podemos hallar un camino
poligonal P:[a , b] C que verifique las condiciones siguientes:
i) El recorrido de P est incluido en el abierto A .
ii) Los extremos de P y coinciden.
iii)

fdz fdz < .

Por ello, si demostramos que el ndice respecto de una poligonal cerrada slo tiene valores
enteros tambin probaremos que el ndice respecto de un camino cerrado slo tiene valores
enteros. Por otro lado, toda poligonal es un camino de clase C1 a trozos y si demostramos que el
ndice respecto a un camino cerrado de este tipo slo adopta valores enteros, es evidente que el
ndice respecto de una poligonal tendr esta misma propiedad. Supongamos pues que

:[
a , b] C

es

un

camino

de

C1 a

clase

trozos.

Existir

una

particin

= {a = c0 < c1 < c 2 <.... < cm 1 < c m = b}del intervalo [

a , b] tal que:
Ind ( z ) =

1
1
1
dw =
2 i w z
2i

(t )

*
dt z C
.
c i 1
(t ) z

i=1

ci

Recordemos que e z = 1 z = 2 k,
i k Z . Por ello, el ndice ser un nmero entero en el caso
de que e

2 i Ind ( z )

= 1 . Definimos la funcin real:

g( s) =

Como el cociente

( t)

( t ) z dt ,
a

s [
a , b].

(t )
( t ) es de
es continuo salvo en un nmero finito de puntos (pues

(t ) z

clase C 1 en el intervalo [
a , b]) la funcin g est bien definida y es derivable. Adems se tiene
que:

1
Ind ( z ) =
2 i
de donde 2 i Ind ( z ) = 2 i

ci

i= 1

ci 1

(t )
1
dt =

(t ) z
2i

(t )

( t ) z dt = 2 i g ( b ) ,
b

1
2 i Ind ( z )
g ( b ) = g ( b) y para probar que e
= 1 , bastar comprobar que
2 i

se da e g ( b) = 1 . De esta manera, definimos:

h ( s ) = e g( s ) , s [
a , b]
y resulta una funcin derivable en todos los puntos del intervalo salvo en aquellos donde la
funcin no tiene derivada. En efecto:
Teoremas de Cauchy

Anlisis IV

h
( s) = g
( s )e g ( s ) =

( s) g( s )

( s)

e
=
h( s ) s [
a , b] .
( s) z
( s) z

De la igualdad anterior se deduce esta otra:

h
( s)

( s)
=
h( s )
( s) z
y multiplicando en cruz y agrupando en un solo miembro:

h
( s )(
( s ) z )
( s) h( s ) = 0 .
En particular, para la funcin derivable:

j( s) =

h( s )
s [
a , b],

( s) z

se consigue la igualdad:

( s )(
( s ) z )

( s ) h( s )
h( s ) h
j
( s) =
= 0 s [a , b]
=
2
( s) z

(( s ) z )
por lo que

h( a ) = e

(t)
a
dt
a

(t) z

j( s) =

j ( s ) = C . Sabemos que:

habr de ser constante en su dominio

j( s)

= e 0 = 1 y de aqu :

h( s )
h( s ) = C (
( s ) z ) h( a ) = C(
( a ) z )= 1 h( b ) = C(
( b) z ) = 1 ,

( s) z

( a) =
( b ) . Esto prueba que el ndice solo toma valores enteros.
pues al ser un camino cerrado
Como la funcin ndice es analtica ser continua en su dominio y por tanto para cada
componente conexa de A = C * su imagen ser conexa. Ahora bien, al adoptar slo valores
enteros tendr que ser una imagen constante y, en consecuencia, para cada componente conexa
del abierto A , el ndice toma el mismo valor entero.
Acotemos la integral que define el ndice:

Ind ( z ) =

1
1
1
dw =
2i w z
2 i

w z dw = 2 w z dw 2 w z dl 2 d dl = 2 d ,
1

1 L

*
donde d = dist z ,
, l ( t ) = Lta (
) t [a, b] es la funcin longitud del camino rectificable y

L = l ( b ) = Lba ( ) . En la componente no acotada del abierto A se hallan valores de z con

mdulos arbitrariamente grandes. De esta manera, podemos tomar valores de distancia d
arbitrariamente grandes por lo que el ndice en esta componente no acotada ser nulo.
m

Como el ndice para un ciclo rectificable es Ind ( z ) =

a Ind
i

i= 1

asegurar que slo tendr valores enteros ya que es suma de enteros.

6

Teoremas de Cauchy

i ( z )

z C * , podemos

Anlisis IV

Sea el camino circular de centro

( t ) = + re it t [0, 2] . Para este camino, la funcin ndice se
define como:

Ind ( z ) =

1
1
1
dw =
2 i w z
2i

+ re
1

it

rie it dt .

El abierto A = C * slo tiene dos componentes conexas, definidas por:

A1 = z: z < r

A2 = z: z > r .

Sabemos que la componente A2 es no acotada por lo que en ella el ndice valdr cero. En la
componente acotada A1 podemos tomar el centro de la circunferencia z = para calcular el valor
del ndice pues en todos los dems puntos de A1 valdr lo mismo. De esta forma:

Ind ( ) =

1
2 i

1
1
rie it dt =
it
+ re
2 i

1
i/ 2
2
it
rie
dt
=
1dt =
=1
it
re
2 i/ 0
2 .

A2

A1

Estamos en condiciones de demostrar el teorema local de Cauchy.

1.3. Teorema local de Cauchy

Sea f una funcin analtica en un abierto convexo del plano complejo y supongamos que

es un camino rectificable con recorrido incluido en el convexo. Entonces para todo z *

se tiene que:

f ( z ) Ind ( z ) =

1
2 i

w z dw .
f ( w)

*
Tomamos un z
fijo y definimos la funcin:

Teoremas de Cauchy

Anlisis IV

f ( w) f ( z )

g( w) = w z

f
(z )

w z, w

w=z

Tal funcin es continua pues:

lim g ( w ) = lim

w z

w z

f ( w) f ( z )
= f
( z ) = g( z )
w z

y resulta analtica en {z }. Se le puede aplicar entonces el teorema de CauchyGoursat para

regiones convexas y concluir que la integral a lo largo de cualquier camino rectificable y cerrado
contenido en es nula. Por ello:

1
g( w) dw = 0
2i
*
y de aqu para z
dado:

0=

1
1
g ( w) dw =
2 i
2 i

f ( w) f ( z )
1
f (w)
1
dw =
dw f ( z )
w z
2 i w z
2i

w z dw = 2 i w z dw
1

f ( w)

f ( z ) Ind ( z ) .

Esto termina nuestra demostracin.

En el caso de tener un camino circular con recorrido en la regin y un z en el interior del
crculo se da la igualdad:

f (z) =

1
f ( w)
dw
2i w z

*
z
.

Esto permite constatar que toda funcin analtica es representable por series de potencias. En
efecto, sea f : A C una funcin analtica definida en un abierto A (no necesariamente
convexo) y sea un punto de dicho abierto. Existir pues una bola abierta B(; r ) incluida en A
y en dicha bola abierta, que es un abierto convexo, la funcin f tambin es analtica. Tomando
un camino circular
( t ) = + e it t [
a , b], de radio < r , conseguimos un camino rectificable
cerrado contenido en la bola B(; r ) y por ello, para todo z en el interior de dicho camino es
vlida la frmula de Cauchy:

f (z) =

1
f ( w)
dw
2i w z

z B( ; ).

Para las asignaciones ( w) = w, ( w) = f ( w ) podemos aplicar los resultados de 1.1 y entonces:

1
f ( w)
f (z ) =
dw =
2i w z

Si escribimos:

Teoremas de Cauchy

f ( w)

( z )n z B( ;).
dw
2 i ( w )n+ 1
n =0

Anlisis IV

an =

1
2i

( w )
f ( w)

n+ 1

dw

la frmula queda como:

f (z ) =

a (z )

z B( ; ).

n =0

Ahora bien, segn las propiedades de las series de potencias, la funcin f ( z ) ser derivable
indefinidamente en el punto z = y los coeficientes a n tendrn los valores a n =

f ( n)( )
. Por
n!

ello son independientes del radio < r considerado y el desarrollo ha de ser vlido para todo

z B(; r ).

2.- Teorema general de Cauchy

El teorema local de Cauchy es vlido para funciones analticas definidas en abiertos convexos y
para un slo camino rectificable. Vamos a generalizar estas condiciones utilizando ciclos y
tomando abiertos no necesariamente convexos.
Sea A un abierto del plano complejo. Sean tambin f una funcin analtica definida en A y
un ciclo con recorrido en A y tal que Ind ( z ) = 0 z C A . Entonces se tiene:
a) f ( z ) Ind ( z ) =

1
f ( w)
dw
2i w z

z A * .

b)

f ( z )dz = 0 .

c) Si 1 , 2 son dos ciclos tales que Ind( 1 ) = Ind( 2 ) z C A , entonces la integral de f

es la misma para ambos ciclos:

f ( z )dz = f ( z )dz .

Para probar el teorema global necesitamos un lema previo, a saber:

Si f es analtica en un abierto A C , la funcin:

f ( w) f ( z )

g( z, w) = w z

f
( z)

z w
z=w

es continua en su dominio A A .
Teoremas de Cauchy

Anlisis IV

En efecto, los nicos puntos donde la continuidad no es manifiesta son aquellos de la forma

( , ) : A . Como f es analtica resultar de clase C en el abierto A y, en particular, ser

f continua en A por lo que para > 0

hallaremos un real positivo r

tal que

w B( ; r ) f
( w) f
( ) < . Considerando z , w B( ; r ), z w , afirmamos en virtud del
carcter convexo de toda bola que el camino
( t ) = (1 t )z + tw t [0,1] est incluido en B(; r ).
Integrando la funcin f
( w) f
( ) a lo largo de este camino tenemos:

( f ( w )

f
( ))dw =

0 [f ( ( t ))
1

1
f
( )]( w z )dt = f
(
( t ))( w z )dt
0

f ( )(w z )dt =
1

= f (
(1)) f (
( 0 )) ( w z )f
( ) = f ( w) f ( z ) ( w z )f
( ) .
Por otro lado:
1

0( f ( ( t ))

f
( ))dt =

1
w z

0( f ( ( t ))

f
( ))( w z )dt

( f ( ( t ))
0

f
( ))dt =

f ( w) f ( z )
f
()
(w z)

y terminamos escribiendo:

g ( z , w ) g( , ) =

f (w) f (z )
( ) =
f
w z

( f ( ( t ))
1

f
( ))dt

( f ( ( t ))
1

f
( ))dt < dt = .
0

Esto prueba la continuidad de g en los puntos ( , ) .

Retomando la funcin

f ( w) f ( z )

g( z, w) = w z

f
( z)

z w
z=w

2
*
definida en el abierto A , suponemos que el valor z A es fijo, donde es un ciclo tal que

Ind ( z ) = 0 z C A . La funcin g z ( w ) = g ( z, w) es continua en todo el abierto A (ya que

hemos probado que g ( z , w ) lo es) y podemos definir:

h( z ) =

1
g z ( w )dw
2i

z A.

Probaremos que esta funcin es analtica en todo su dominio. Para ello, probaremos primero que
es continua.
El conjunto * es un compacto incluido en A , tomando z A y una bola B ( z; r ) resulta que

B ( z; r )* es un compacto incluido en A2 por lo que la funcin g ( z , w ) es uniformemente

continua en este conjunto y dado > 0 , hallaremos > 0 para el que:

z z <
, w * g( z , w) g ( z
, w) < .
En consecuencia, si tomamos z z <
, w * , resulta:

10

Teoremas de Cauchy

Anlisis IV

1
2

( g ( z , w )

, w ))dl
g( z

1
b
dl =
La ( ) ,
2
2

1
1
1
g( z , w )dw
g( z
, w )dw =
, w ))dw
( g( z , w ) g ( z
2 i
2 i
2

h( z ) h( z =
)

( Lba ( ) es la longitud del ciclo)

y esto implica la continuidad de h . Veamos ahora que es una funcin analtica.

Sea T un camino triangular incluido en A , entonces:

h ( z )dz = 2i g ( z, w) dw
1

Como la funcin g es continua en A2 tambin lo ser en T * y podremos intercambiar

el orden de integracin:

h ( z )dz = 2i g ( z, w) dw = 2i g( z , w )dw .
1

Tambin es g z ( w ) continua en todo su dominio y analtica para w z . Esto implica en virtud del
teorema de CauchyGoursat que la integral

g ( z , w )dw es nula y por tanto:

T

h ( z )dz = 0 .

Aplicando el teorema de Morera se deduce entonces que h es analtica en A .

Probaremos que la funcin h es nula. Para ello, observemos que

h( z ) =

1
1
g ( z, w) dw =
2 i
2 i

f ( w) f ( z )
1
dw =
w z
2 i

w z dw
f ( w)

f ( z ) Ind ( z )

z A * .

Ahora definimos:

h1 ( z ) =

1
2 i

w z dw
f ( w)

z C *

y est asignacin es correcta pues la integracin se hace una vez fijado z no perteneciente al
recorrido del ciclo .
El valor de h1 puede ser fcilmente acotado mediante:

h1 ( z ) =

f ( w)
1
f ( w)
1
1
M
1 M b
dw
dl
dl =
La ( ) ,
2 i w z
2 w z
2 d
2 d

*
*
b
donde M es una cota superior de f en el conjunto , d es la distancia de z a y La ( ) es

la longitud del ciclo. Cuando el mdulo de z es suficientemente grande la distancia d se puede

hacer tambin suficientemente grande por lo que:

lim h1 ( z ) = 0 .

z +

Teoremas de Cauchy

11

Anlisis IV

Designemos por A0 el conjunto de puntos para los que Ind ( z ) = 0 . Tal conjunto es no vaco y
adems A0 C * . Tampoco ser vaco el conjunto de los puntos de A que tengan ndice cero
respecto al ciclo , es decir, A1 = A A0 . Como al anularse el ndice el valor de h coincide
con el de h1 es:

h( z ) = h1 ( z ) z A1 .
Por hiptesis es C A A0 , luego la unin A A0 es todo el plano complejo. As podemos tomar
una funcin analtica en todo el plano mediante:

h ( z ) z A
( z ) =
.
h1 ( z ) z A0
Esta funcin entera2 al coincidir con h1 en el conjunto A0 resultar acotada en dicho conjunto y
por su continuidad en A tambin es acotada en A , resultado acotada en todo el plano complejo.
Entonces lim h1 ( z ) = 0 lim ( z ) = 0 , por lo que aplicando el teorema de Liouville, ser
z +

z +

( z ) = 0 z y h ( z ) = 0 . Retomando la expresin de h , concluimos:

1
2 i

w z dw
f ( w)

f ( z ) Ind ( z ) = 0

z A *

lo que prueba el apartado a).

Sea ahora la funcin F ( z ) = f ( z )( z ), A * . Esta funcin es analtica en el abierto A , por
lo que para todo z A * ser:

f ( z )( z )Ind ( z ) =
y tomando z = , es 0 =

1
2 i

1
2i

F( w)
1
dw =
w z
2 i

f ( w )(w z )
1
dw =
w z
2i

f ( w)dw

f ( w )dw = 2i f ( z )dz , lo que prueba b). Para probar el apartado

1

c) consideramos un ciclo = 1 0 y le aplicamos los resultados de a) y b).

Supongamos que = es un ciclo formado por un solo camino rectificable cerrado. Sea un
punto z . La funcin f ( w ) =
*

1
es continua y analtica en el abierto C {z}, por lo que si
w z

consideramos una regin (abierto y convexo) incluida en C {z} y que contenga a * , la

aplicacin del teorema de CauchyGoursat para regiones convexas permite afirmar que:

1
2i

12

Teoremas de Cauchy

f ( w)dw = 2i w z dw = Ind ( z ) = 0 .
1

Anlisis IV

z
*

Esto prueba que todo camino cerrado con recorrido en una regin satisface la hiptesis

Ind ( z ) = 0 para z C y, en consecuencia si es un ciclo con recorrido en esta regin ser

tambin Ind ( z ) = 0 z C

pues cada uno de los caminos que lo forman tiene ndice nulo.

As, el teorema local de Cauchy puede deducirse a partir del global.

3.- Homologa y homotopa

En el teorema global de Cauchy los ciclos considerados son aquellos que cumplen la condicin:

Ind ( z ) = 0 z C A . Esto justifica la siguiente definicin:

Dos caminos cerrados
1,
2 con recorridos incluidos en un abierto A son A homlogos si y
slo si Ind 1 ( ) = Ind 2 ( ) C A .
Segn esta definicin, la condicin c) del teorema de Cauchy puede formularse en trminos de
homologa:
Si
1,
2 son dos caminos cerrados A homlogos entonces la integral de f es la misma para
ambos caminos:

f ( z )dz = f ( z )dz .

Es decir, analtica en todo el plano complejo

Teoremas de Cauchy

13

Anlisis IV

Supongamos que A y sea el camino rectificable cerrado

( t ) = t [a , b], entonces es
*
obvio que
= {} A y adems para z C A se tiene

Ind ( z ) =

1
dw =
w

z 0 dt = 0 .
1

Todos los caminos que sean A homlogos a ste se dice que son A homlogos a cero.
Expondremos otro concepto relacionado con la homologa.
Dos caminos cerrados 0 ,
0,1]y situados en el mismo abierto A ,
1 con intervalo paramtrico [
se dice que son A homtopos cuando existe una aplicacin continua:

h:[0 ,1] ( s, t ) h( s, t ) A
2

tal que:

h( 0, t ) = 0 ( t )

h(1, t ) =
1 (t )

t [
0,1]

y adems:

h ( s, 0) = h( s,1) s [0,1].
Si fijamos un valor de la variable s , obtenemos un camino en A :

hs : [0,1] t h( s, t ) A
que es cerrado por la hiptesis adicional h ( s, 0 ) = h( s,1) s [0 ,1]. Esto significa que pasamos del
camino 0 al camino
1 por medio de una deformacin continua a travs de un haz de caminos
cerrados dependiente de un parmetro s [
0,1].
Exponemos sin demostracin los siguientes resultados:
Todos los caminos cerrados definidos en el mismo intervalo paramtrico [0,1], tales que sus
recorridos se hallan en un abierto convexo son homtopos.
Dos caminos cerrados con recorridos incluidos en un mismo abierto A y A homtopos son

A homlogos.
Utilizando los resultados de esta seccin daremos una versin homotpica del teorema general
de Cauchy .
Sea A un abierto del plano complejo y sean f una funcin analtica definida en A y un
camino cerrado y rectificable A homtopo a cero, entonces:
a) f ( z ) Ind ( z ) =

b)

1
2 i

w z dw
f ( w)

f ( w) dw = 0 .

14

Teoremas de Cauchy

*
z A
.

Anlisis IV

c) Si
1 y
2 son dos caminos cerrados, rectificables y A homtopos, es cierta la igualdad:

f ( w)dw = f ( w)dw .

4.- Abiertos simplemente conexos

Un conjunto abierto y conexo (regin) se dice simplemente conexo si toda curva cerrada
contenida en l es homtopa a cero. Es decir, podemos transformar de manera continua toda
curva cerrada contenida en el abierto a un punto. Para caracterizar a los abiertos simplemente
conexos tenemos la siguiente proposicin:
Un abierto A es simplemente conexo si y slo si es homeomorfo al crculo unidad B(0 ;1).
Probaremos slo que si existe un homeomorfismo entre la regin y el crculo unidad, entonces
toda curva cerrada contenida en la regin es homtopa a cero. En efecto, supongamos que

g ; B( 0;1) es el homeomorfismo y que

:[
0,1] es una curva cerrada contenida en la
regin. Definimos:

h( s, t ) = g 1 [s g (
( t ))]

s, t [0,1].

Como
( t ) y g ( ) = B( 0;1), se sigue que g (
( t )) B( 0;1). Al multiplicar por s [
0,1] los puntos
obtenidos en esa multiplicacin se hallan tambin en el crculo unidad. La continuidad de todas
las funciones empleadas implica la continuidad de h .
Por otro lado, es:

h(1, t ) = g 1 ( g (
( t ))) =
(t )

h( 0 , t ) = g 1 ( 0 ) =

y esto prueba que la homotopa se establece entre el camino cerrado y un punto. Para terminar,
dado s [
0,1], vemos que:

h( s, 0) = g 1 [s g (
( 0))]= g 1 [s g(
(1))]= h( s,1)
y esto prueba que los caminos intermedios son cerrados.
Una aplicacin del teorema general de Cauchy en los dominios simplemente conexos nos
permite concluir que en ellos toda funcin analtica admite primitiva. Con ms precisin:

Teoremas de Cauchy

15

Anlisis IV

Sea un dominio simplemente conexo no vaco y sea f una funcin analtica definida en l.
Si tomamos dos caminos rectificables
1,
2 cualesquiera contenidos en y que unan dos
puntos de ste, se tiene que

f ( z )dz = f ( z )dz .

En efecto, tomando el camino

1
2 , obtenemos un camino cerrado rectificable que se
encuentra contenido en un dominio simplemente conexo y que por ello es homtopo a cero.
Aplicando el teorema de Cauchy, se deduce que

f ( z )dz = 0

y de esta frmula se sigue la

1
2

igualdad.
Como el valor de la integral no depende del camino concluimos que la funcin analtica f tiene
primitiva en dicha regin y adems ser de la forma:

F( z ) =

f ( w )dw
z0

donde z 0 es un punto de y la integral se supone a lo largo de cualquier camino rectificable.

16

Teoremas de Cauchy