CAPITULO 5

Indice de un punto
respecto de un
camino cerrado
5.1

INTRODUCCION

El numero de vueltas que da un camino cerrado alrededor de ciertos puntos (el

ndice, the winding number de los textos en ingles) juega un papel insospechado
en la teora de funciones de variable compleja, como se ira desvelando a lo largo
del desarrollo de la misma; ello es debido a que tal numero puede expresarse como
una integral, ligada con la variacion del logaritmo y, por ende, del argumento.
Tenemos aqu un punto mas en el que el analisis complejo presenta una fuerte
componente geometrica, que va a hacer de los esquemas graficos un elemento
auxiliar muy u til.
En la primera parte del captulo definimos analticamente el concepto de ndice
y probamos sus propiedades basicas. En la segunda parte, vemos que el ndice se
corresponde efectivamente con el numero 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 figuras, es
Palka, B. P.: An Introduction to Complex Function Theory. Springer, New York
(1991); un enfoque muy geometrico se encuentra en Needham, T.: Visual Complex
Analysis. Clarendon Press, Oxford (1997). A un nivel mas elevado, Burckel, R. B.:
An Introduction to Classical Complex Analysis,Vol. 1. Birkhauser, Basel (1979).
5.2

Y PRIMERAS PROPIEDADES
DEFINICION

Definicion. Sea un camino cerrado. Para z

/ sop ,
1
Ind (z) =
2i

se llama ndice de z respecto de .

77

dw
wz

78

Indice de un punto respecto de un camino cerrado

Propiedades.
1. La funcion Ind : C \ sop C es analtica.
Es un caso particular del teorema de analiticidad de funciones definidas mediante integrales.
2. Ind (z) Z, z C \ sop .
En efecto, sea : [a, b] C, a = t0 < t1 < . . . < tn = b tal que la
restriccion de a cada [t j1 , t j ] tenga derivada continua. Entonces,
1
Ind (z) =
2i

a

n
tj
1 
 (t)
 (t)
dt =
dt.
(t) z
2i j=1 tj1 (t) z

(1)

Para cada j = 1, 2, . . . , n, definimos las funciones

g j : s [t j1 , t j ] g j (s) =

t j1

 (t)
dt C.
(t) z

Por el teorema fundamental del calculo, las g j son derivables, siendo

g j (s)

 (s)
.
=
(s) z

De aqu,
d
ds
por tanto,

e gj (s)
(s) z

= e gj (s)

g j (s)

 (s)

(s) z
( (s) z)2


= 0,

e gj (tj1 )
e0
e gj (s)
= Cte =
=
(s) z
(t j1 ) z
(t j1 ) z

(la constante es, por ejemplo, el valor en s = t j1 ). As,

e gj (tj ) =

(t j ) z
.
(t j1 ) z

De la ecuacion (1), con las notaciones que hemos introducido, tenemos:

n
1 
g j (t j ).
Ind (z) =
2i j=1

(2)

Indice de un punto respecto de un camino cerrado

79

Entonces, por (2),

n
e

j=1

g j (t j )

n

(t j ) z
(b) z
=
=
= 1,

(t
)

(a)

z
j1
j=1

pues el camino es cerrado. Por u ltimo, esto implica que existe k Z tal que
n


g j (t j ) = 2ki  Ind (z) = k Z.

j=1

3. La funcion 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
1
long sup
.
2
wsop |w z|

Como sop es acotado, podemos tomar z en la componente no acotada con

modulo suficientemente 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 ) sera
1
Ind (z) = Ind (a) =
2i

0

r i eit
dt = 1.
r eit

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 analoga, 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 eikt 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 eikt C,

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 calculo directo del ndice se complica incluso en situaciones aparentemente muy sencillas. Por ejemplo, sea el cuadrado de vertices 1 i, es decir,
la poligonal [1 + i, 1 + i] [1 + i, 1 i] [1 i, 1 i] [1 i, 1 + i].
Entonces


1
dz
Ind (0) =
2i z









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




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

1 
Log(1 + i) Log(1 i)
=
2i

1 
Log[0,2) (1 i) Log[0,2 ) (1 + i)
+
 2i 



1
3i
1
3i
3i
5i
=

+

=1
2i
4
4
2i
4
4
puesto que Log z es una primitiva de 1/z en C\(, 0] (que contiene al soporte de
[1 i, 1 i] [1 i, 1 + i] [1 + i, 1 + i]) 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 calculo el camino por otro
mas comodo, concretamente por la circunferencia unidad D(0; 1). En efecto:
1
Sean 1 = [1, 1 + i], 2 = [1 + i, i] y 3 el primer
cuadrante de la circunferencia orientado negativa3
2 mente, como se indica en la figura. Puesto que 0
queda (a ojo) en la componente conexa no acotada del complementario del soporte del camino
cerrado 1 2 3 , tendra ndice 0 respecto del
0
mismo. Por
tanto
dz
1
= 0,
2i 1 2 3 z
con lo cual






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




1
dz
dz
1
=
= 1.
2i z
2i D(0;1) z

Indice de un punto respecto de un camino cerrado

81

Con ayudas visuales como e sta podremos ir ampliando la complejidad de las

situaciones con las que nos enfrentemos. No obstante, nos serviremos mejor todava
de la intuicion geometrica viendo que el ndice corresponde, como senalabamos en
la introduccion, al numero de vueltas (suma de vueltas positivas y negativas) que da
el camino alrededor del punto. La manera mas obvia de medir estas vueltas es seguir
la variacion del a ngulo 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 esta definida .
En C, hablar de a ngulos es hablar de argumentos, y los argumentos son la parte
imaginaria de los logaritmos. Si repasamos los calculos 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 formalizacion de
estos procedimientos es el objeto de la seccion siguiente.
5.3

GEOMETRICA

INTERPRETACION
DEL INDICE

Comenzamos con las definiciones de los conceptos que recogen las ideas que
acabamos de apuntar.
Definicion. 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 (determinaciones en regiones), pero existe una gran diferencia: aqu, la variable es real,
no atendemos prioritariamente al punto (t) del soporte camino sino que ponemos
e nfasis en el instante t en el que el punto se alcanza. As, puede suceder que
sea (t1 ) = (t2 ) sin que f (t1 ) = f (t2 ) o h(t1 ) = h(t2 ), con las notaciones de la
definicion.
Sin dificultad se prueba:
i) Si f 1 , f 2 son dos logaritmos continuos a lo largo de , entonces
k Z  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  h 1 (t) = h 2 (t) + 2k, t [a, b].

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 un argumento continuo a lo largo de , 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 argumento continuo a lo largo de . (Por que?)
2. Para cualquier camino tal que sop [0, +) = , Arg[0,2 ) (t) es un
argumento continuo a lo largo de . (Por que?)
3. Sean k Z, r > 0 y
: t [0, 2] (t) = r eikt C.
Entonces
h : t [0, 2 ] h(t) = k t C
es un argumento continuo a lo largo de . (Por que?)
4. Si se conocen argumentos continuos h 1 y h 2 de dos caminos 1 : [a, b] C,
2 : [a, b] C, y se define 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 que?)
Esta observacion es mas u til de lo que pudiera pensarse. Por ejemplo, sea
: t [0, 2] (t) = e3it + 3 e2it C.
4

(en la figura se tiene su representacion

grafica).

2
0
-2 x

2
-2
y
-4

Como e3it + 3 e2it = e2it (3 + eit ),

h(t) = 2t + Arg(3 + eit ) sera un argumento continuo a lo largo de (notese
que e (3 + eit ) > 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] C logaritmo continuo a lo largo de . Ademas, f es derivable donde
lo sea .

Demostracion. Con las mismas notaciones que en la demostracion de la propiedad

2 del ndice, consideremos como entonces la particion a = t0 < t1 < . . . < tn = b
y, para cada j = 1, 2, . . . , n,

s 
(t)
dt C.
g j : s [t j1 , t j ] g j (s) =
t j1 (t)
Nuevamente, cada g j es derivable en [t j1 , t j ] y e gj (s) =
cada trozo,

(s)
. Por tanto, en
(t j1 )

e gj (s)+Log (tj1 ) = (s), s [t j1 , t j ]

Llamemos f j (s) = g j (s) + Log (t j1 ) 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 dificultad, pues, por ejemplo, en t1 ,
f 1 (t1 ) y f 2 (t1 ) son logaritmos de (t1 ), luego se diferencian en un 2ki, con
k Z. Digamos que los saltos en los extremos de los intervalos son del tamano
2ki, con determinados k Z. Entonces, al modificar las funciones sumando
el correspondiente 2ki, arreglamos la continuidad sin perder el hecho de ser
logaritmos. En otras palabras, la solucion a nuestro problema sera la funcion

f 1 (t)

f 2 (t) + 2k1 i
f (t) = f 3 (t) + 2k2 i

...
f n (t) + 2kn1 i

(t0 t t1 )
(t1 t t2 )
(t2 t t3 )
.........
(tn1 t tn )

donde los k1 , k2 , . . . , kn1 son los enteros adecuados para que f sea continua sin
excepcion en [a, b]. Es claro que
e f (t) = (t), t [a, b]
y f es derivable salvo en los puntos ti , es decir, donde lo es .
/ sop . Sea h un
Corolario. Sea : [a, b] C un camino cerrado tal que 0
argumento continuo cualquiera a lo largo de . Entonces
Ind (0) =

h(b) h(a)
.
2

84

Indice de un punto respecto de un camino cerrado

La cantidad h(b) h(a) se suele representar por ARG (t),  arg o alguna no-

atb

(t)

tacion similar, y se lee variacion de un argumento continuo a lo largo del camino.

Ind (0) es as la suma algebraica del numero de veces que el argumento vara en 2.
Graficamente, pues, Ind (0) corresponde
al numero

de vueltas que da la curva

alrededor del 0.

arg (t)
1 vuelta

Demostracion. Usamos las mismas notaciones que en la demostracion del teorema,

y sea h(t) = m f (t) (que es un argumento continuo). Tenemos


2i Ind (0) =
=

n
dw 
=
w
j=1

n


tj
t j1

n

 (s)
(g j (t j ) g j (t j1 ))
ds =
(s)
j=1

( f j (t j ) f j (t j1 )) = f (b) f (a) = i(h(b) h(a)).

j=1

Notemos para la u ltima igualdad que f (b), f (a) son logaritmos del mismo numero
(a) = (b), y por tanto, tienen la misma parte real. Por u ltimo, esta variacion no
depende del argumento continuo que tomemos, porque todos ellos se diferencian
en una constante 2k.
Observaciones.
1. Quede claro una vez mas 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  (t) = eit
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 este en sop tenemos lo siguiente:
/ sop , trasladamos el camino mediante
Si : [a, b] C, y z 0
z 0 : t [a, b] (t) z 0 C.

Indice de un punto respecto de un camino cerrado

85

Entonces es claro que

Ind (z 0 ) = Ind z0 (0)
1
=
 arg( z 0 ),
2

(t)

es decir, el ndice respecto de del

punto z 0 es la variacion de un argumento continuo a lo largo de la curva
z 0 y esto, geometricamente, significa el numero

de vueltas que da la
curva alrededor del punto z 0 .

arg( (t)-z0)
z0

Por ejemplo, sobre esta idea, es facil para la curva dibujada a continuacion ver cual
es el ndice de cualquier
Indice 0 punto del plano que no
este sobre su soporte. FiIndice 1 jado un punto z
0 / sop ,
Indice 2 seguimos graficamente la
variacion del a ngulo que
Indice 3 forma el radio vector que
une z 0 con un punto que
E
0
vaya recorriendo la curva,
medida esta variacion respecto de la semirrecta de
origen z 0 que pasa por el
punto inicial (y final) 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 razon 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)n+1 /(n + 1) en C \ {a},

abierto que contiene a sop . Solo queda saber que ocurre con n = 1, y de
aqu la nocion de ndice.
As por ejemplo, para integrar una funcion racional sobre un camino cerrado,

P(z)
dz
Q(z)

86

Indice de un punto respecto de un camino cerrado

(P/Q irreducible), descomponiendo en fracciones simples solo hara falta
conocer los ndices respecto de de los ceros del denominador. En efecto:
supongamos, para fijar 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
A
A
B
P(z)
2
= az + bz + c +
+
+
Q(z)
(z z 1 ) (z z 1 )2
(z z 2 )

C
C
C 
+
+
+
,
(z z 3 ) (z z 3 )2
(z z 3 )3
de donde

P(z)
dz = A
Q(z)

dz
+B
z z1

dz
+C
z z2

dz
z z3

(los terminos que no hemos escrito son todos nulos por el comentario previo),
y as




P(z)
dz = 2i A Ind (z 1 ) + B Ind (z 2 ) + C Ind (z 3 ) .
Q(z)
Mas adelante veremos una importantsima generalizacion de este resultado,
el teorema de los residuos.
4. La existencia de logaritmo y argumento continuo es cierta, mas en general,
para curvas, como se prueba sustituyendo en la demostracion anterior la
construccion del logaritmo mediante integrales por una construccion directa
(mas delicada). Esto hace que se pueda extender la nocion de ndice para curvas
cerradas mediante la variacion de un argumento continuo. Las propiedades
basicas que acabamos de obtener siguen siendo validas en esta situacion mas
general. (Ver Burckel, loc. cit., Chap. IV.)
5. Curvas de Jordan e ndice. Recordemos que un espacio topologico se denomina curva de Jordan si es homeomorfo a la circunferencia unidad T. El
celebre teorema de la curva de Jordan establece:
Una curva de Jordan J en el plano C ( R2 ) separa a C en dos regiones
con frontera comun J , una acotada (el interior de J ) y otra no acotada (el
exterior de J ); en otras palabras, C \ J tiene una sola componente acotada
G, el interior de J (se dice entonces que G es una region 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 homeomorfismo de T sobre J ,
poniendo : [0, 2] (t) = (eit ) C puede definirse 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, pag. 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 aplicacion 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 esta positivamente orientada para
indicar esta relacion.
5.4

EJEMPLOS Y EJERCICIOS

Ejemplos.
1. En los caso mas sencillos examinados antes (circunferencias, cuadrado) queda
a la vista que Analisis 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 esta en
la componente no acotada de C \ sop . Por la misma razon, 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) = e3it + 3 e2it C,
el argumento continuo anteriormente obtenido muestra que Ind (0) = 2, y el
mismo valor tendra Ind (a) para todos los a en la componente conexa de C \ sop
que contiene al origen. En la componente conexa no acotada sabemos que el ndice
vale 0.
En la otra componente conexa acotada de C\sop , observamos graficamente
que el ndice vale 1. Puede justificarse analticamente, por ejemplo, hallando su
valor en z = 3; para ello escribimos
(t) 3 = eit (e2it + 6i sen t)
y comprobamos que m (e2it + 6i sen t) = 2 sen t (cos t + 3) solo se anula si
sen t = 0, en cuyo caso e (e2it + 6i sen t) = cos(2t) = 1. En consecuencia
/ (, 0] para ningun t [0, 2], y por tanto,
e2it + 6i sen t
t + Arg(e2it + 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 mas), sea
: t [R, R] t 3 (1 + 2i) t 2 (3 7i) t + 8 4i C.

Hallar la variacion de un argumento continuo a lo largo de .

Respuesta.
Para situar (t) segun los valores de t, estudiemos la variacion 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.

1
+
10
10
Como x  (t) = 3t 2 2t 3 se anula para t  =
< 0 y t  =
> 0,
3
3
mantendra su signo en los intervalos (, t  ), (t  , t  ), (t  , +). Y puesto que
limt x  (t) = limt+ x  (t) = +; x(t  ) > 1 (6/3)2 (1 + 4) + 8 = 0
y x  (0) = 3 < 0, siendo 0 (t  , t  ), podemos resumir esta informacion en el
cuadro siguiente:
t

(, t  ) = t  (t  , 0) = 0 (0, t  ) = t  (t  , +) +

x  (t) +

>0

x(t)

=0

<0

= 3

<0

=0

>0

=8

>0

del que se deduce que x(t  ) > 0, y por tanto existe un t0 (, t  ) y uno solo
con x(t0 ) = 0, mientras que x(t) x(t  ) > 0 para todo t [0, +).

17
,
Por otra parte y(t) = 2t 2 + 7t 4 = 2(t t1 )(t t2 ) con t1 =
4

7 + 17
t2 =
, de modo que t0 < t  < 0 < t1 < t2 y, en consecuencia, obtenemos
4
la siguiente evolucion de signos para x(t), y(t), con la ubicacion de
(t) = x(t) + i y(t):
(, t0 ) = t0 (t0 , t1 ) = t1 (t1 , t2 ) = t2 (t2 , +) +

x(t)

<0

=0

>0

>0

>0

>0

>0

y(t)

<0

<0

<0

=0

>0

=0

<0

(t)

C3

iP

C4

C1

C4

donde hemos puesto P = (0, +), C1 = {z C : e z > 0, m z > 0},

C3 = {z C : e z < 0, m z < 0}, C4 = {z C : e z > 0, m z < 0}.
Elegimos R de modo que R < t0 < t2 < 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 < t0 < t2 < R, podemos concluir que
ARG (t)
RtR

= Arg (R) Arg (R)



y(R)
y(R)
= arc tg
arc tg
= + (R),
x(R)
x(R)

donde
(R) = arc tg

y(R)
y(R)
arc tg
,
x(R)
x(R)

que tiene lmite 0 cuando R + (este tipo de informacion nos sera u til posteriormente).
10
20

0
-20

-10

10

20

30

0
-4

-2

-20

-5

-40

-10

Grafica de (t)

Graficas de x(t) e y(t)

Ejercicio. Sea P(z) = z k + a1 z k1 + + ak un polinomio de grado k 1, y

para cada R > 0, sea
R : t [0, ] R (t) = P(R eit ) C.

Probar que lim ARG R (t) = k .

R+ 0t

(Nos encontraremos mas adelante en la necesidad de estudiar lmites de este

tipo.)
Respuesta.
Notemos que
P(z) = z k g(z),
donde

a1
ak 
+ + k = 1.
lim g(z) = lim 1 +
z
z
z
z

90

Indice de un punto respecto de un camino cerrado

Existira por tanto un R0 > 0 tal
que si |z| > R0
|g(z) 1| < 1,

y, en particular, g(z)
/ (, 0]. Tomando, pues, R > R0 ,
R (t) = R k eikt g(R eit ),

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

si R > R0 . Pero entonces

lim ARG R (t) = k + lim

R+ 0t

R+

Arg g(R) Arg g(R)

= k + Arg 1 Arg 1 = k.
5.5

APENDICE:
SUPERFICIES DE RIEMANN

NOTA. Lo que a continuacion se expone es solo una descripcion intuitiva, sin ninguna pretension de
rigor. Nos permitimos, por ello, algunas expresiones mas desenfadadas que las habituales en un texto
de Matematicas, que esperamos sirvan para un mejor entendimiento de las (profundas) ideas que se
quieren reflejar.

Una y otra vez venimos chocando con los problemas que nos crea el hecho de que
el logaritmo complejo es una funcion multivaluada, que para cada complejo z no
nulo nos obsequia con infinitos valores. Evidentemente, demasiados para poder
actuar sobre ellos con las tecnicas habituales del Analisis matematico.
Para salir del paso hemos recurrido primeramente, de la manera mas drastica,
a podar las ramas, seleccionando en ciertas regiones del plano un valor entre los
infinitos posibles, con habilidad suficiente para enlazar los valores seleccionados
de forma que se consiga una funcion holomorfa (una determinacion del logaritmo,
tambien denominada una rama del logaritmo). Pero en otras regiones del plano
esto no soluciona las dificultades: cuando hemos necesitado movernos a lo largo de
curvas que rodeen al origen, hemos tenido que fabricar un nuevo apano, los logaritmos 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 e l tratandolo como a una funcion

verdadera: cuando volvemos a un mismo punto con un valor distinto del logaritmo tras una variacion continua del mismo, podemos interpretar que este punto
esta situado en una copia del plano de partida, superpuesta al plano original pero
distinta (por eso aparece un valor distinto del logaritmo). La cuestion entonces es
como pegar las infinitas copias necesarias, de manera que mantengan una estructura
razonable.
Para lograrlo, Riemann imagino infinitas copias de C, llamemosles [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] aun tiene libre el borde superior), [C, 1] con [C, 2],
etc.
Se obtiene as un objeto imposible, una especie de helice infinita completamente aplastada, que se denomina la superficie de Riemann del logaritmo. Cada
una de las copias de C es una hoja de la superficie, y es posible considerar el
logaritmo como una funcion genuina con dominio en su superficie de Riemann,
que va adjudicando valores segun la hoja en la que este situado el punto (tal como
el logaritmo continuo a lo largo de una curva va dando valores segun el parametro).
La misma idea puede emplearse para adecentar otras funciones. El ejemplo
mas sencillo es la raz cuadrada: una raz cuadrada continua a lo largo de la circunferencia unidad (definicion obvia) que parta, por ejemplo, del valor 1 en 1, nos
devolvera a este punto tras completar la vuelta con el valor 1 (si continuasemos
girando, tras la siguiente vuelta recuperaramos el valor 1). Ahora sera suficiente
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 despues el borde inferior del corte de [C, 2] con el
borde superior del corte de [C, 1], dejandolo todo de una sola pieza.
La descripcion del propio Riemann en su obra sobre funciones abelianas dice
as:
Para muchas investigaciones, tales como la investigacion de funciones algebraicas y abelianas, es conveniente representar el modo en que se ramifica una
funcion multivaluada en la siguiente manera geometrica. Pensemos que el plano
(x, y) esta cubierto por otra superficie coincidente con e l (o apoyado sobre e l a una
distancia infinitesimal) en tanto en cuanto la funcion este definida. Al continuar la
funcion la superficie se extiende correspondientemente. En una parte del plano en
la que la funcion tenga dos o mas continuaciones la superficie es doble o multiple;
consta all de dos o mas hojas, cada una de las cuales representa una rama de la

92

Indice de un punto respecto de un camino cerrado

funcion. Alrededor de un punto de ramificacion de la funcion una hoja de la superficie continua en otra, de manera que en el entorno de tal punto la superficie puede
mirarse como una superficie helicoidal con eje a traves del punto y perpendicular al
plano (x, y), y pendiente infinitesimal. Cuando la funcion retorna a su valor previo
tras un numero de vueltas de z alrededor del punto de ramificacion (como, por
ejemplo, con (z a)m/n , cuando m, n son primos relativos, despues de n vueltas
de z alrededor de a), entonces naturalmente hay que suponer que la hoja de mas
arriba baja a traves de las otras a unirse con la inferior.
La funcion multivaluada tiene solo un valor para cada punto de esta superficie
que representa su ramificacion, y por tanto puede ser vista como una funcion
completamente determinada sobre la superficie.
Puede darse una definicion satisfactoria de las superficies de Riemann de
las inversas multiformes que nos han ido apareciendo, incluidas en la definicion
general de superficie de Riemann abstracta que introdujeron basicamente Weyl y
Rado. Tecnicamente, una superficie de Riemann es una variedad compleja conexa
de dimension 1 (por tanto, de dimension real 2) dotada de una estructura analtica.
Esto u ltimo significa 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 mas a la Topologa diferencial o a la
Geometra diferencial que a los intereses centrales de este curso, por lo que dejamos
aqu este asunto, remitiendonos para una introduccion al tema a Narasimhan, R.:
Complex Analysis in one variable. Birkhauser, Boston (1985). Dedicada exclusivamente a las superficies de Riemann es la monografa clasica Springer, G.:
Introduction to Riemann Surfaces. Addison-Wesley, Reading, Mass. (1957); mas
actuales, Farkas, H. M.; Kra, I.: Riemann Surfaces. (2nd. ed.) Springer, New York
(1992), Forster, O.: Lectures on Riemann Surfaces. Springer, New York (1981).