CAP

ITULO 5
Indice de un punto
respecto de un
camino cerrado
5.1 INTRODUCCI

ON
El n umero de vueltas que da un camino cerrado alrededor de ciertos puntos (el
ndice, the winding number de los textos en ingl es) juega un papel insospechado
en la teora de funciones de variable compleja, como se ir a desvelando a lo largo
del desarrollo de la misma; ello es debido a que tal n umero puede expresarse como
una integral, ligada con la variaci on del logaritmo y, por ende, del argumento.
Tenemos aqu un punto m as en el que el an alisis complejo presenta una fuerte
componente geom etrica, que va a hacer de los esquemas gr acos un elemento
auxiliar muy util.
En la primera parte del captulo denimos analticamente el concepto dendice
y probamos sus propiedades b asicas. En la segunda parte, vemos que el ndice se
corresponde efectivamente con el n umero de vueltas, estudiando variaciones del
argumento tras introducir los importantes conceptos de argumentos continuos y
logaritmos continuos a lo largo de un camino, emparentados (pero no equiparables)
con las determinaciones del argumento y del logaritmo.
Un excelente libro de referencia, con abundantes comentarios y guras, es
Palka, B. P.: An Introduction to Complex Function Theory. Springer, New York
(1991); un enfoque muy geom etrico se encuentra en Needham, T.: Visual Complex
Analysis. Clarendon Press, Oxford (1997). Aun nivel m as elevado, Burckel, R. B.:
An Introduction to Classical Complex Analysis,Vol. 1. Birkh auser, Basel (1979).
5.2 DEFINICI

ON Y PRIMERAS PROPIEDADES
Denici on. Sea un camino cerrado. Para z / sop ,
Ind

(z) =
1
2i
_

dw
w z
se llama ndice de z respecto de .
77
78 Indice de un punto respecto de un camino cerrado
Propiedades.
1. La funci on Ind : C sop C es analtica.
Es un caso particular del teorema de analiticidad de funciones denidas me-
diante integrales.
2. Ind

(z) Z, z C sop .
En efecto, sea : [a, b] C, a = t
0
< t
1
< . . . < t
n
= b tal que la
restricci on de a cada [t
j 1
, t
j
] tenga derivada continua. Entonces,
Ind

(z) =
1
2i
_
b
a

/
(t )
(t ) z
dt =
1
2i
n

j =1
_
t
j
t
j 1

/
(t )
(t ) z
dt. (1)
Para cada j = 1, 2, . . . , n, denimos las funciones
g
j
: s [t
j 1
, t
j
] g
j
(s) =
_
s
t
j 1

/
(t )
(t ) z
dt C.
Por el teorema fundamental del c alculo, las g
j
son derivables, siendo
g
/
j
(s) =

/
(s)
(s) z
.
De aqu,
d
ds
_
e
g
j
(s)
(s) z
_
= e
g
j
(s)
_
g
/
j
(s)
(s) z


/
(s)
( (s) z)
2
_
= 0,
por tanto,
e
g
j
(s)
(s) z
= Cte =
e
g
j
(t
j 1
)
(t
j 1
) z
=
e
0
(t
j 1
) z
(la constante es, por ejemplo, el valor en s = t
j 1
). As,
e
g
j
(t
j
)
=
(t
j
) z
(t
j 1
) z
. (2)
De la ecuaci on (1), con las notaciones que hemos introducido, tenemos:
Ind

(z) =
1
2i
n

j =1
g
j
(t
j
).
Indice de un punto respecto de un camino cerrado 79
Entonces, por (2),
e

n
j =1
g
j
(t
j
)
=
n

j =1
(t
j
) z
(t
j 1
) z
=
(b) z
(a) z
= 1,
pues el camino es cerrado. Por ultimo, esto implica que existe k Z tal que
n

j =1
g
j
(t
j
) = 2ki = Ind

(z) = k Z.
3. La funci on Ind

es constante en cada componente conexa de C sop .

Esto es claro, por ser continua y tomar valores enteros.
4. Ind

= 0 en la componente no acotada de C sop .

En efecto, basta observar que
[ Ind

(z)[
1
2
long sup
wsop
1
[w z[
.
Como sop es acotado, podemos tomar z en la componente no acotada con
m odulo sucientemente grande para que [ Ind

(z)[ < 1. Como debe ser un

entero, no queda otra posibilidad que Ind

(z) = 0.
Ejemplos. 1. Sea = D(a; r) la circunferencia de centro a y radio r (orientada
positivamente). Entonces Ind

(z) = 1 si [z a[ < r, Ind

(z) = 0 si [z a[ > r.
En efecto: puesto que D(a; r) es conexo, para todo z D(a; r) ser a
Ind

(z) = Ind

(a) =
1
2i
_
2
0
r i e
i t
r e
i t
dt = 1.
Por otra parte, {z C : [z a[ > r] es la componente no acotada de C sop ,
luego para estos z el ndice es 0.
2. De manera an aloga, si es la circunferencia de centro a y radio r recorrida
k veces en sentido positivo (k N), es decir,
: t [0, 2] (t ) = a r e
i kt
C,
se obtendra Ind

(z) = k si [z a[ < r, Ind

(z) = 0 si [z a[ > r. Y si es la
circunferencia de centro a y radio r recorrida k veces en sentido negativo (k N),
es decir,
: t [0, 2] (t ) = a r e
i kt
C,

3
0
80 Indice de un punto respecto de un camino cerrado
se obtendra Ind

(z) = k cuando [z a[ < r, Ind

(z) = 0 cuando [z a[ > r.

3. El c alculo directo del ndice se complica incluso en situaciones aparente-
mente muy sencillas. Por ejemplo, sea el cuadrado de v ertices 1i , es decir,
la poligonal [1 i, 1 i ] [1 i, 1 i ] [1 i, 1 i ] [1 i, 1 i ].
Entonces
Ind

(0) =
1
2i
_

dz
z
=
1
2i
__
[1i,1i ]
dz
z

_
[1i,1i ]
dz
z

_
[1i,1i ]
dz
z

_
[1i,1i ]
dz
z
_
=
1
2i
_
[1i,1i ][1i,1i ][1i,1i ]
dz
z

1
2i
_
[1i,1i ]
dz
z
=
1
2i
_
Log(1 i ) Log(1 i )
_

1
2i
_
Log
[0,2)
(1 i ) Log
[0,2)
(1 i )
_
=
1
2i
_
3i
4

_

3i
4
__

1
2i
_
5i
4

3i
4
_
= 1
puesto que Log z es una primitiva de 1/z en C(, 0] (que contiene al soporte de
[1i, 1i ] [1i, 1i ] [1i, 1i ]) y Log
[0,2)
(z) lo es en C[0, ),
que contiene al soporte de [1 i, 1 i ].
En este ejemplo concreto, es posible sustituir en el c alculo el camino por otro
m as c omodo, concretamente por la circunferencia unidad D(0; 1). En efecto:
Sean
1
= [1, 1 i ],
2
= [1 i, i ] y
3
el primer
cuadrante de la circunferencia orientado negativa-
mente, como se indica en la gura. Puesto que 0
queda (a ojo) en la componente conexa no aco-
tada del complementario del soporte del camino
cerrado
1

2

3
, tendr a ndice 0 respecto del
mismo. Por tanto
1
2i
_

3
dz
z
= 0,
con lo cual
_

2
dz
z
=
_

3
dz
z
=
_

3
dz
z
.
Repitiendo el proceso en los dem as cuadrantes y sumando convenientemente, sin
perder de vista las orientaciones, llegamos a
1
2i
_

dz
z
=
1
2i
_
D(0;1)
dz
z
= 1.
Indice de un punto respecto de un camino cerrado 81
Con ayudas visuales como esta podremos ir ampliando la complejidad de las
situaciones con las que nos enfrentemos. No obstante, nos serviremos mejor todava
de la intuici on geom etrica viendo que el ndice corresponde, como se nal abamos en
la introducci on, al n umero de vueltas (suma de vueltas positivas y negativas) que da
el camino alrededor del punto. La manera m as obvia de medir estas vueltas es seguir
la variaci on del angulo que va formando el segmento [z
0
, (t )] con el segmento
[z
0
, (a)] cuando t va recorriendo el intervalo [a, b] en el que est a denida .
En C, hablar de angulos es hablar de argumentos, y los argumentos son la parte
imaginaria de los logaritmos. Si repasamos los c alculos efectuados anteriormente,
se comienza a vislumbrar un enfoque del problema: la conveniencia de empalmar
adecuadamente logaritmos sobre trozos del camino para poder calcular el ndice,
que relacionaremos con los argumentos correspondientes. La formalizaci on de
estos procedimientos es el objeto de la secci on siguiente.
5.3 INTERPRETACI

ON GEOM

ETRICA DEL

INDICE
Comenzamos con las deniciones de los conceptos que recogen las ideas que
acabamos de apuntar.
Denici on. Sea : [a, b] C un camino tal que (t ) ,= 0, t [a, b].
Diremos que:
1. f : [a, b] C es un logaritmo continuo a lo largo de , si f es continua
en [a, b], y f (t ) log (t ), t [a, b].
2. h : [a, b] R es un argumento continuo a lo largo de , si h es continua
en [a, b], y h(t ) arg (t ), t [a, b].
Estos conceptos son, a primera vista, muy parecidos a los ya tratados (deter-
minaciones en regiones), pero existe una gran diferencia: aqu, la variable es real,
no atendemos prioritariamente al punto (t ) del soporte camino sino que ponemos
enfasis en el instante t en el que el punto se alcanza. As, puede suceder que
sea (t
1
) = (t
2
) sin que f (t
1
) = f (t
2
) o h(t
1
) = h(t
2
), con las notaciones de la
denici on.
Sin dicultad se prueba:
i) Si f
1
, f
2
son dos logaritmos continuos a lo largo de , entonces
k Z a f
1
(t ) = f
2
(t ) 2ki, t [a, b].
ii) Si h
1
, h
2
son dos argumentos continuos a lo largo de , entonces
k Z a h
1
(t ) = h
2
(t ) 2k, t [a, b].

-2 0 2 4
x
-4
-2
0
2
4
y
82 Indice de un punto respecto de un camino cerrado
iii) Si f es un logaritmo continuo a lo largo de , entonces h(t ) = `m f (t ) es
un argumento continuo a lo largo de .
iv) Si h es unargumentocontinuoa lolargode , entonces f (t ) = ln [ (t )[ i h(t )
es un logaritmo continuo a lo largo de .
Ejemplos.
1. Para cualquier camino tal que sop (, 0] = , Arg (t ) es un argu-
mento continuo a lo largo de . (Por qu e?)
2. Para cualquier camino tal que sop [0, ) = , Arg
[0,2)
(t ) es un
argumento continuo a lo largo de . (Por qu e?)
3. Sean k Z, r > 0 y
: t [0, 2] (t ) = r e
i kt
C.
Entonces
h : t [0, 2] h(t ) = k t C
es un argumento continuo a lo largo de . (Por qu e?)
4. Si se conocen argumentos continuos h
1
y h
2
de dos caminos
1
: [a, b] C,

2
: [a, b] C, y se dene mediante su producto un nuevo camino
: t [a, b] (t ) =
1
(t )
2
(t ) C,
entonces h
1
h
2
es un argumento continuo a lo largo de . (Por qu e?)
Esta observaci on es m as util de lo que pudiera pensarse. Por ejemplo, sea
: t [0, 2] (t ) = e
3i t
3 e
2i t
C.
(en la gura se tiene su representaci on
gr aca).
Como e
3i t
3 e
2i t
= e
2i t
(3 e
i t
),
h(t ) = 2t Arg(3 e
i t
) ser a un argu-
mento continuo a lo largo de (n otese
que +e (3 e
i t
) > 0 para todo t
[0, 2]).
A diferencia de las determinaciones del logaritmo en regiones (que pueden
no existir), sobre caminos siempre hay logaritmos continuos.
Indice de un punto respecto de un camino cerrado 83
Teorema. Sea : [a, b] C un camino tal que 0 / sop . Entonces, existe
f : [a, b] Clogaritmo continuo a lo largo de . Adem as, f es derivable donde
lo sea .
Demostraci on. Con las mismas notaciones que en la demostraci on de la propiedad
2 del ndice, consideremos como entonces la partici on a = t
0
< t
1
< . . . < t
n
= b
y, para cada j = 1, 2, . . . , n,
g
j
: s [t
j 1
, t
j
] g
j
(s) =
_
s
t
j 1

/
(t )
(t )
dt C.
Nuevamente, cada g
j
es derivable en [t
j 1
, t
j
] y e
g
j
(s)
=
(s)
(t
j 1
)
. Por tanto, en
cada trozo,
e
g
j
(s)Log (t
j 1
)
= (s), s [t
j 1
, t
j
]
Llamemos f
j
(s) = g
j
(s) Log (t
j 1
) y tendremos que e
f
j
(s)
= (s). Esto quiere
decir que hemos demostrado el teorema por trozos. Ahora, tendremos que ajustar
bien los empalmes, pero esto no es ninguna dicultad, pues, por ejemplo, en t
1
,
f
1
(t
1
) y f
2
(t
1
) son logaritmos de (t
1
), luego se diferencian en un 2ki , con
k Z. Digamos que los saltos en los extremos de los intervalos son del tama no
2ki , con determinados k Z. Entonces, al modicar las funciones sumando
el correspondiente 2ki , arreglamos la continuidad sin perder el hecho de ser
logaritmos. En otras palabras, la soluci on a nuestro problema ser a la funci on
f (t ) =
_

_
f
1
(t ) (t
0
t t
1
)
f
2
(t ) 2k
1
i (t
1
t t
2
)
f
3
(t ) 2k
2
i (t
2
t t
3
)
. . . . . . . . . . . .
f
n
(t ) 2k
n1
i (t
n1
t t
n
)
donde los k
1
, k
2
, . . . , k
n1
son los enteros adecuados para que f sea continua sin
excepci on en [a, b]. Es claro que
e
f (t )
= (t ), t [a, b]
y f es derivable salvo en los puntos t
i
, es decir, donde lo es .
Corolario. Sea : [a, b] C un camino cerrado tal que 0 / sop . Sea h un
argumento continuo cualquiera a lo largo de . Entonces
Ind

(0) =
h(b) h(a)
2
.

(t)
arg (t)
1 vuelta
84 Indice de un punto respecto de un camino cerrado
La cantidad h(b) h(a) se suele represen-
tar por ARG
at b
(t ), arg o alguna no-
taci on similar, y se lee variaci on de un ar-
gumento continuo a lo largo del camino.
Ind

(0) es as la suma algebraica del n ume-

ro de veces que el argumento vara en 2.
Gr acamente, pues, Ind

(0) corresponde
al n umero de vueltas que da la curva
alrededor del 0.
Demostraci on. Usamos las mismas notaciones que en la demostraci on del teorema,
y sea h(t ) = `m f (t ) (que es un argumento continuo). Tenemos
2i Ind

(0) =
_

dw
w
=
n

j =1
_
t
j
t
j 1

/
(s)
(s)
ds =
n

j =1
(g
j
(t
j
) g
j
(t
j 1
))
=
n

j =1
( f
j
(t
j
) f
j
(t
j 1
)) = f (b) f (a) = i (h(b) h(a)).
Notemos para la ultima igualdad que f (b), f (a) son logaritmos del mismo n umero
(a) = (b), y por tanto, tienen la misma parte real. Por ultimo, esta variaci on no
depende del argumento continuo que tomemos, porque todos ellos se diferencian
en una constante 2k.
Observaciones.
1. Quede claro una vez m as que no se debe confundir argumento continuo a lo
largo de una curva (que siempre existe) con argumento continuo sobre el
soporte de la curva (que puede no existir). Por ejemplo, para la curva
: [0, 2] C a (t ) = e
i t
no existe H : sop C continua tal que H(z) arg z, z sop .
Sin embargo, insistimos en que si para una curva existe H : sop C
continua, tal que H(z) arg z, z sop , entonces H es un argumento
continuo a lo largo de la curva.
2. Para otro punto, distinto de 0, que no est e en sop tenemos lo siguiente:
Si : [a, b] C, y z
0
/ sop , trasladamos el camino mediante
z
0
: t [a, b] (t ) z
0
C.
z
0
(t)

arg( (t)-z
0
)
Indice 1
Indice 2
Indice 3
Indice 0
000 0
E
Indice de un punto respecto de un camino cerrado 85
Entonces es claro que
Ind

(z
0
) = Ind
z
0
(0)
=
1
2
arg( z
0
),
es decir, el ndice respecto de del
punto z
0
es la variaci on de un argu-
mento continuo a lo largo de la curva
z
0
y esto, geom etricamente, sig-
nica el n umero de vueltas que da la
curva alrededor del punto z
0
.
Por ejemplo, sobre esta idea, es f acil para la curva dibujada a continuaci on ver cu al
es el ndice de cualquier
punto del plano que no
est e sobre su soporte. Fi-
jadounpunto z
0
/ sop ,
seguimos gr acamente la
variaci on del angulo que
forma el radio vector que
une z
0
con un punto que
vaya recorriendola curva,
medida esta variaci onres-
pecto de la semirrecta de
origen z
0
que pasa por el
punto inicial (y nal) E.
Por supuesto, el ndice se mantiene constante en cada componente conexa.
3. El ndice de caminos va a aparecer constantemente en el manejo de integrales.
La raz on de fondo es la siguiente: dado un camino cerrado y a / sop ,
_

(z a)
n
dz = 0, n ,= 1, n Z,
ya que las funciones (z a)
n
tienen primitiva (z a)
n1
/(n 1) en C {a],
abierto que contiene a sop . S olo queda saber que ocurre con n = 1, y de
aqu la noci on de ndice.
As por ejemplo, para integrar una funci on racional sobre un camino cerrado,
_

P(z)
Q(z)
dz
86 Indice de un punto respecto de un camino cerrado
(P/Q irreducible), descomponiendo en fracciones simples s olo har a falta
conocer los ndices respecto de de los ceros del denominador. En efecto:
supongamos, para jar ideas, que Q tiene una raz doble z
1
, una raz simple
z
2
y una raz triple z
3
, y que el grado de P es dos unidades mayor que el de
Q. Entonces
P(z)
Q(z)
= az
2
bz c
A
(z z
1
)

A
/
(z z
1
)
2

B
(z z
2
)

C
(z z
3
)

C
/
(z z
3
)
2

C
//
(z z
3
)
3
,
de donde
_

P(z)
Q(z)
dz = A
_

dz
z z
1
B
_

dz
z z
2
C
_

dz
z z
3
(los t erminos que no hemos escrito son todos nulos por el comentario previo),
y as
_

P(z)
Q(z)
dz = 2i
_
A Ind

(z
1
) B Ind

(z
2
) C Ind

(z
3
)
_
.
M as adelante veremos una importantsima generalizaci on de este resultado,
el teorema de los residuos.
4. La existencia de logaritmo y argumento continuo es cierta, m as en general,
para curvas, como se prueba sustituyendo en la demostraci on anterior la
construcci on del logaritmo mediante integrales por una construcci on directa
(m as delicada). Estohace que se pueda extender la noci ondendice para curvas
cerradas mediante la variaci on de un argumento continuo. Las propiedades
b asicas que acabamos de obtener siguen siendo v alidas en esta situaci on m as
general. (Ver Burckel, loc. cit., Chap. IV.)
5. Curvas de Jordan e ndice. Recordemos que un espacio topol ogico se de-
nomina curva de Jordan si es homeomorfo a la circunferencia unidad T. El
c elebre teorema de la curva de Jordan establece:
Una curva de Jordan J en el plano C ( R
2
) separa a C en dos regiones
con frontera com un J, una acotada (el interior de J) y otra no acotada (el
exterior de J); en otras palabras, C J tiene una s ola componente acotada
G, el interior de J (se dice entonces que G es una regi on de Jordan); la
componente no acotada es el exterior de J, y ambas tienen J como frontera.
Si J es una curva de Jordan y cualquier homeomorsmo de T sobre J,
poniendo : [0, 2] (t ) = (e
i t
) C puede denirse una curva en el
Indice de un punto respecto de un camino cerrado 87
sentido usual. Se demuestra (cf. Burckel, loc. cit., Th. 4.42, p ag. 103) que para
todos los puntos del interior de J el valor constante del ndice respecto de es
1 o 1. En el primer caso, se dice positivamente orientado, y negativamente
orientado en el segundo.
Dada una curva cerrada simple, i.e., una aplicaci on continua : [a, b] C
tal que (a) = (b) y [
[a,b)
inyectiva, su soporte sop es una curva de
Jordan. Para todos los puntos del interior de sop , el ndice respecto de
es, pues, constantemente 1 o 1. En el primer caso, se dice positivamente
orientada, y negativamente orientada en el segundo. Si G es el interior de
sop , se pone a veces = G cuando est a positivamente orientada para
indicar esta relaci on.
5.4 EJEMPLOS Y EJERCICIOS
Ejemplos.
1. En los caso m as sencillos examinados antes (circunferencias, cuadrado) queda
a la vista que An alisis y Geometra encajan perfectamente.
2. Es interesante observar que si el soporte de un camino cerrado : [a, b] C
no corta al semieje real negativo (, 0], entonces Ind

(0) = 0, pues 0 est a en

la componente no acotada de C sop . Por la misma raz on, Ind

(0) = 0 para
todo camino que no corte a una curva cualquiera que una 0 con en la esfera de
Riemann.
3. Para el camino
: t [0, 2] (t ) = e
3i t
3 e
2i t
C,
el argumento continuo anteriormente obtenido muestra que Ind

(0) = 2, y el
mismo valor tendr a Ind

(a) para todos los a en la componente conexa de Csop

que contiene al origen. En la componente conexa no acotada sabemos que el ndice
vale 0.
En la otra componente conexa acotada de Csop , observamos gr acamente
que el ndice vale 1. Puede justicarse analticamente, por ejemplo, hallando su
valor en z = 3; para ello escribimos
(t ) 3 = e
i t
(e
2i t
6i sen t )
y comprobamos que `m(e
2i t
6i sen t ) = 2 sen t (cos t 3) s olo se anula si
sen t = 0, en cuyo caso +e (e
2i t
6i sen t ) = cos(2t ) = 1. En consecuencia
e
2i t
6i sen t / (, 0] para ning un t [0, 2], y por tanto,
t Arg(e
2i t
6i sen t ), t [0, 2],
es un argumento continuo de 3, de donde Ind

(3) = 1.
88 Indice de un punto respecto de un camino cerrado
Ejercicio. Para valores muy grandes de R > 0 (luego precisaremos m as), sea
: t [R, R] t
3
(1 2i ) t
2
(3 7i ) t 8 4i C.
Hallar la variaci on de un argumento continuo a lo largo de .
Respuesta.
Para situar (t ) seg un los valores de t , estudiemos la variaci on de signos de
x(t ) := +e (t ) = t
3
t
2
3t 8,
y(t ) := `m (t ) = 2t
2
7t 4,
extendidas a todo t R.
Como x
/
(t ) = 3t
2
2t 3 se anula para t
/
=
1

10
3
< 0 y t
//
=
1

10
3
> 0,
mantendr a su signo en los intervalos (, t
/
), (t
/
, t
//
), (t
//
, ). Y puesto que
lim
t
x
/
(t ) = lim
t
x
/
(t ) = ; x(t
//
) > 1 (6/3)
2
(1 4) 8 = 0
y x
/
(0) = 3 < 0, siendo 0 (t
/
, t
//
), podemos resumir esta informaci on en el
cuadro siguiente:
t (, t
/
) = t
/
(t
/
, 0) = 0 (0, t
//
) = t
//
(t
//
, )
x
/
(t ) > 0 = 0 < 0 = 3 < 0 = 0 > 0
x(t ) = 8 > 0
del que se deduce que x(t
/
) > 0, y por tanto existe un t
0
(, t
/
) y uno s olo
con x(t
0
) = 0, mientras que x(t ) x(t
//
) > 0 para todo t [0, ).
Por otra parte y(t ) = 2t
2
7t 4 = 2(t t
1
)(t t
2
) con t
1
=
7

17
4
,
t
2
=
7

17
4
, de modo que t
0
< t
/
< 0 < t
1
< t
2
y, en consecuencia, obtenemos
la siguiente evoluci on de signos para x(t ), y(t ), con la ubicaci on de
(t ) = x(t ) i y(t ):
t (, t
0
) = t
0
(t
0
, t
1
) = t
1
(t
1
, t
2
) = t
2
(t
2
, )
x(t ) < 0 = 0 > 0 > 0 > 0 > 0 > 0
y(t ) < 0 < 0 < 0 = 0 > 0 = 0 < 0
(t ) C
3
i P C
4
P C
1
P C
4
donde hemos puesto P = (0, ), C
1
= {z C : +e z > 0, `mz > 0],
C
3
= {z C : +e z < 0, `mz < 0], C
4
= {z C : +e z > 0, `mz < 0].
Elegimos R de modo que R < t
0
< t
2
< R.
Indice de un punto respecto de un camino cerrado 89
Vemos as que el soporte de no corta al semieje real negativo (, 0] (en
particular, que 0 / sop ), por lo que Arg (t ) es un argumento continuo a lo largo
de , y, puesto que R < t
0
< t
2
< R, podemos concluir que
ARG
Rt R
(t ) = Arg (R) Arg (R)
= arc tg
y(R)
x(R)

_
arc tg
y(R)
x(R)

_
= (R),
donde
(R) = arc tg
y(R)
x(R)
arc tg
y(R)
x(R)
,
que tiene lmite 0 cuando R (este tipo de informaci on nos ser a util poste-
riormente).
-20 -10 0 10 20 30
-40
-20
0
20
-4 -2 0 2 4 6
-10
-5
0
5
10
Gr aca de (t ) Gr acas de x(t ) e y(t )
Ejercicio. Sea P(z) = z
k
a
1
z
k1
a
k
un polinomio de grado k 1, y
para cada R > 0, sea

R
: t [0, ]
R
(t ) = P(R e
i t
) C.
Probar que lim
R
ARG
0t

R
(t ) = k.
(Nos encontraremos m as adelante en la necesidad de estudiar lmites de este
tipo.)
Respuesta.
Notemos que
P(z) = z
k
g(z),
donde
lim
z
g(z) = lim
z
_
1
a
1
z

a
k
z
k
_
= 1.
0
1
90 Indice de un punto respecto de un camino cerrado
Existir a por tanto un R
0
> 0 tal
que si [z[ > R
0
[g(z) 1[ < 1,
y, enparticular, g(z) / (, 0]. Toman-
do, pues, R > R
0
,

R
(t ) = R
k
e
i kt
g(R e
i t
),
con g(R e
i t
) / (, 0] para todo t
[0, ], por lo cual
t [0, ] kt Arg g(R e
i t
) R
es un argumento continuo a lo largo de
R
. En consecuencia
ARG
0t

R
(t ) = k Arg g(R) Arg g(R)
si R > R
0
. Pero entonces
lim
R
ARG
0t

R
(t ) = k lim
R
_
Arg g(R) Arg g(R)
_
= k Arg 1 Arg 1 = k.
5.5 AP

ENDICE: SUPERFICIES DE RIEMANN

NOTA. Lo que a continuaci on se expone es s olo una descripci on intuitiva, sin ninguna pretensi on de
rigor. Nos permitimos, por ello, algunas expresiones m as desenfadadas que las habituales en un texto
de Matem aticas, que esperamos sirvan para un mejor entendimiento de las (profundas) ideas que se
quieren reejar.
Una y otra vez venimos chocando con los problemas que nos crea el hecho de que
el logaritmo complejo es una funci on multivaluada, que para cada complejo z no
nulo nos obsequia con innitos valores. Evidentemente, demasiados para poder
actuar sobre ellos con las t ecnicas habituales del An alisis matem atico.
Para salir del paso hemos recurrido primeramente, de la manera m as dr astica,
a podar las ramas, seleccionando en ciertas regiones del plano un valor entre los
innitos posibles, con habilidad suciente para enlazar los valores seleccionados
de forma que se consiga una funci on holomorfa (una determinaci on del logaritmo,
tambi en denominada una rama del logaritmo). Pero en otras regiones del plano
esto no soluciona las dicultades: cuando hemos necesitado movernos a lo largo de
curvas que rodeen al origen, hemos tenido que fabricar un nuevo apa no, los loga-
ritmos continuos a lo largo de curvas. Esto da una pista para intentar uniformizar el
Indice de un punto respecto de un camino cerrado 91
logaritmo, de modo que podamos enfrentarnos a el trat andolo como a una funci on
verdadera: cuando volvemos a un mismo punto con un valor distinto del loga-
ritmo tras una variaci on continua del mismo, podemos interpretar que este punto
est a situado en una copia del plano de partida, superpuesta al plano original pero
distinta (por eso aparece un valor distinto del logaritmo). La cuesti on entonces es
c omo pegar las innitas copias necesarias, de manera que mantengan una estructura
razonable.
Para lograrlo, Riemann imagin o innitas copias de C, llam emosles [C, n] por
ejemplo (n Z), cortadas a lo largo del semieje real [0, ); partiendo de [C, 0],
le unimos [C, 1] enganchando el borde inferior del corte de [C, 0] con el borde
superior del corte de [C, 1]; luego seguimos el proceso uniendo [C, 1] con [C, 2]
enganchando el borde inferior del corte de [C, 1] con el borde superior del corte
de [C, 2], y as sucesivamente. De forma similar se va uniendo [C, 0] con [C, 1]
(recordemos que [C, 0] a un tiene libre el borde superior), [C, 1] con [C, 2],
etc.
Se obtiene as un objeto imposible, una especie de h elice innita completa-
mente aplastada, que se denomina la supercie de Riemann del logaritmo. Cada
una de las copias de C es una hoja de la supercie, y es posible considerar el
logaritmo como una funci on genuina con dominio en su supercie de Riemann,
que va adjudicando valores seg un la hoja en la que est e situado el punto (tal como
el logaritmo continuo a lo largo de una curva va dando valores seg un el par ametro).
La misma idea puede emplearse para adecentar otras funciones. El ejemplo
m as sencillo es la raz cuadrada: una raz cuadrada continua a lo largo de la cir-
cunferencia unidad (denici on obvia) que parta, por ejemplo, del valor 1 en 1, nos
devolvera a este punto tras completar la vuelta con el valor 1 (si continu asemos
girando, tras la siguiente vuelta recuperaramos el valor 1). Ahora sera suciente
contar con dos copias [C, 1], [C, 2] de C, cortadas otra vez a lo largo del semieje
real no negativo, pegadas uniendo el borde inferior del corte de [C, 1] con el borde
superior del corte de [C, 2], y despu es el borde inferior del corte de [C, 2] con el
borde superior del corte de [C, 1], dej andolo todo de una sola pieza.
La descripci on del propio Riemann en su obra sobre funciones abelianas dice
as:
Para muchas investigaciones, tales como la investigaci on de funciones al-
gebraicas y abelianas, es conveniente representar el modo en que se ramica una
funci on multivaluada en la siguiente manera geom etrica. Pensemos que el plano
(x, y) est a cubierto por otra supercie coincidente con el (o apoyado sobre el a una
distancia innitesimal) en tanto en cuanto la funci on est e denida. Al continuar la
funci on la supercie se extiende correspondientemente. En una parte del plano en
la que la funci on tenga dos o m as continuaciones la supercie es doble o m ultiple;
consta all de dos o m as hojas, cada una de las cuales representa una rama de la
92 Indice de un punto respecto de un camino cerrado
funci on. Alrededor de un punto de ramicaci on de la funci on una hoja de la super-
cie contin ua en otra, de manera que en el entorno de tal punto la supercie puede
mirarse como una supercie helicoidal con eje a trav es del punto y perpendicular al
plano (x, y), y pendiente innitesimal. Cuando la funci on retorna a su valor previo
tras un n umero de vueltas de z alrededor del punto de ramicaci on (como, por
ejemplo, con (z a)
m/n
, cuando m, n son primos relativos, despu es de n vueltas
de z alrededor de a), entonces naturalmente hay que suponer que la hoja de m as
arriba baja a trav es de las otras a unirse con la inferior.
La funci on multivaluada tiene s olo un valor para cada punto de esta supercie
que representa su ramicaci on, y por tanto puede ser vista como una funci on
completamente determinada sobre la supercie.
Puede darse una denici on satisfactoria de las supercies de Riemann de
las inversas multiformes que nos han ido apareciendo, incluidas en la denici on
general de supercie de Riemann abstracta que introdujeron b asicamente Weyl y
Rad o. T ecnicamente, una supercie de Riemann es una variedad compleja conexa
de dimensi on 1 (por tanto, de dimensi on real 2) dotada de una estructura analtica.
Esto ultimo signica que si dos cartas (U, ), (V, ) se cortan, los cambios de
coordenadas
1
y
1
son funciones (complejas de variable compleja)
analticas.
Continuar por este terreno nos acercara m as a la Topologa diferencial o a la
Geometra diferencial que a los intereses centrales de este curso, por lo que dejamos
aqu este asunto, remiti endonos para una introducci on al tema a Narasimhan, R.:
Complex Analysis in one variable. Birkh auser, Boston (1985). Dedicada exclu-
sivamente a las supercies de Riemann es la monografa cl asica Springer, G.:
Introduction to Riemann Surfaces. Addison-Wesley, Reading, Mass. (1957); m as
actuales, Farkas, H. M.; Kra, I.: Riemann Surfaces. (2nd. ed.) Springer, NewYork
(1992), Forster, O.: Lectures on Riemann Surfaces. Springer, New York (1981).