Captulo 4

Mapeos en C

En este captulo vamos a pensar a las funciones de variable compleja como transformaciones
o mapeos de C en C; y vamos a estudiar sus propiedades de esta manera.

4.1. El plano complejo extendido

Cuando trabajamos con nmeros reales, usamos el smbolo 1 para indicar un objeto (no
un nmero) que es ms grande que cualquier nmero real, y anlogamente el smbolo 1
para indicar un objeto que es ms chico que cualquier nmero. As, la expresin l mx!1 f (x)
signica (informalmente) ver como se comporta f cuando x se hace ms y ms grande, la
expresin l mx!a f (x) = 1 signica que f (x) se hace ms chico que cualquier nmero real
cuando x se acerca a a; etc., y uno poda imaginarse a 1 al fondo a la derecha de la recta real,
y 1 al fondo a la izquierda. El problema en C es que tenemos muchas direcciones a partir
del origen (no dos como en R), por lo cual no tiene sentido hablar de 1 o 1; pero an as
necesitamos algn objeto para estudiar agrandamientos. Por ejemplo, si z = rei entonces
1=z = z 1 = 1r e i ; entonces uno ve que cuando z ! 0 (esto es, cuando r ! 0 variando de
cualquier manera) 1=z se aleja del origen (tiene mdulo 1=r) pero en cualquier direccin. La
solucin de este problema es dictatorial, y consiste en poner un solo objeto que llamaremos 1;
y que servir para medir alejamientos ilimitados desde el origen. Al agregarle al plano C este
nuevo objeto obtenemos lo que se llama el plano complejo extendido que se denota a veces
por C1 . Valen, por denicin, las siguientes reglas algebraicas: para todo z 2 C,

z + 1 = 1 + z = 1:

z=1 = 0 (notar que aqu z no es 1 pues z 2 C).

z 1 = 1 z = 1; si z 6= 0.

107
108 Mapeos en C

z=0 = 1; si z 6= 0:
No tienen sentido expresiones del tipo 1 + 1 (mucho menos 1 1), ni 1=1 (de hecho,
tienen sentido las nicas que pueden obtenerse de manera natural como un proceso de
lmite).
La forma de visualizar a 1 es con la famosa esfera de Riemann, con las proyecciones
estereogrcas: pensemos a C R3 como el plano (x; y) ; y dibujemos la esfera de radio 1
centrada en el origen. Si trazamos una recta entre el punto N = (1; 0; 0) (en R3 ) y un punto z
del plano, entonces esa recta corta la esfera en exactamente un punto. Asociando ese punto de
la esfera a z; tenemos una correspondencia 1 a 1 entre cada punto del plano y cada punto de la
esfera sin N: Notar que al crculo de radio 1 centrado en 0 en C le toca el ecuador de la esfera,
a un crculo de radio grande centrado en 0 en C le toca un trpico del polo norte y a un crculo
de radio chico centrado en 0 en C le toca un trpico del polo sur.

Adems (dibujarlo) a cualquier recta por el origen en C le toca un meridiano. Esta identi-
cacin nos permite pensar que N = 1; pues las cosas lejanas al origen en C estn cerca de
N en la esfera. As, los entornos de 1 sern crculos abiertos centrados en N en la esfera, es
decir conjuntos de la forma fz 2 C: jzj > M g vistos en C; y con esto la expresin
l m f (z) = `
z!1
signicar que
8 " > 0 9 M > 0 tal que jf (z) `j < " si jzj > M;
y la expresin
l m f (z) = 1
z!z0
signicar que
8M >09 > 0 tal que jf (z)j > M si jz z0 j < .
Por ltimo, la expresin
l m f (z) = 1
z!1
signicar que
8 M > 0 9 R > 0 tal que jf (z)j > M si jzj > R.
Por ltimo, una funcin f : C1 ! C1 se dice continua si
l m f (z) = f (w) 8 w 2 C1 .
z!w

Ejercicio 4.1 Comparar con las deniciones de lmite anteriores y escribir en criollo que sig-
nica cada una. Ver adems que l mz!z0 f (z) = 1 si y solo si l mz!z0 1=f (z) = 0:
Mapeos en C 109

4.2. Representacin geomtrica de funciones complejas

Puesto que las funciones complejas son f : R2 ! R2 ; para poder hacer su grca (de manera
anloga a lo que usualmente se hace para funciones f : R2 ! R2 ) necesitaramos 4 coordenadas
perpendiculares, y solamente tenemos 3 (pues vivimos en un mundo tridimensional). Por esta
razn (y por otras) se acostumbra a pensar a las funciones complejas como transformaciones o
mapeos de un plano complejo en otro, y se estudia como las diferentes funciones transforman
diferentes conjuntos del plano. Una notacin que se usa mucho es la siguiente: si tenemos una
funcin f : C!C; se pone w = f (z) y se piensa el dominio de f en un plano que se llama
plano z(pues la variable de f es z) y a la imagen en otro plano que se llama plano w(esto
es absolutamente anlogo a lo que se hace en variable real cuando se llama eje x y eje y
a los ejes coordenados del plano). Esta notacin facilita muchas explicaciones, por ejemplo la
armacin f lleva rectas del plano z en crculos del plano w signica que la imagen por f de
cualquier recta es un crculo. Veamos algunos casos para ejemplicar:

Si f (z) = z + z0 ; con z0 = a + ib; entonces f traslada los puntos segn el vector (a; b) 2
R2 ; pues la suma en C corresponde a la suma usual de R2 : si z = x + iy entonces z +
z0 = (x + a; y + b) : As que la transformacin z ! z + z0 lo nico que hace es trasladar
conjuntos.
A0
C0
C B0
A w = z + z0
B D0
D
z0

0 0
plano z plano w

Esta transformacin es inyectiva (es decir, dos puntos distintos tienen imgenes distintas)
y sobre (es decir, todo punto del plano w es imagen de un punto del plano z).
f (z) = z 2 es ms difcil que la anterior. Para comenzar a estudiarla vamos a expresarla
en coordenadas polares: si z = rei entonces z 2 = r2 ei2 ; entonces el mdulo queda al
cuadrado y el ngulo se multiplica por 2: As, esta transformacin lleva la semirrecta
desde el origen rei 0 : r > 0 sobre otra semirrecta desde el origen rei2 0 : r > 0
2

2
w=z
z

2
z
2

0 0 0
plano z plano w

(cuando decimos sobre queremos enfatizar que la imagen no solo cae sobre la semirrec-
ta sino que la cubre totalmente, o sea que todo punto de rei2 0 : r > 0 es imagen
110 Mapeos en C

de algn punto de rei 0 : r > 0 por la transformacin w = z 2 ), el arco de crculo

rei : 0 < < 1 sobre el arco de crculo r2 ei : 2 0 < < 2 1 , y el sector angular
rei : a < r < b; 0 < < 1 sobre el sector angular rei : a2 < r < b2 ; 2 0 < < 2 1 .
Notar que en este caso, la transformacin no es inyectiva pero si sobre

2
w=z
22

2
r 2
r 21
1
0 0
plano z plano w

Veamos como se transforman rectas paralelas a los ejes coordenados: si z = x + iy en-

tonces z 2 = x2 y 2 + i2xy; y si c 6= 0 la recta fz = x + iy : x = cg se transforma en
w = u + iv : u = c2 y 2 ; v = 2cy : Eliminando el parmetro y (que por cierto, toma
v2
todos los valores reales) obtenemos u = c2 4c2
; o sea que la imagen es una parbo-
la con las ramas hacia el eje u negativo y que corta el eje u en el punto c2 (la forma
de ver que la imagen es toda la parbola es mover el parmetro y en la imagen y as
ver que v toma todos los valores reales). Anlogamente, si k 6= 0; la imagen de la recta
fz = x + iy : y = kg es w = u + iv : u = x2 k 2 ; v = 2xk ; y eliminando el parmetro x
v2
queda u = 4k 2 k 2 ; o sea una parbola con las ramas hacia el eje u positivo y que corta el
eje u en k 2 : Si tomamos dos rectas fz = x + iy : x = cj g ; j = 1; 2; y dos rectas verticales
fz = x + iy : y = kj g ; j = 1; 2; se puede ver que el pequeo rectngulo que encierran se
mapea sobre la regin que encierran las cuatro parbolas imagen, por ejemplo, viendo a
donde se mapea cada pequeo segmento del cubo.

2
w=z

k2

k1 2 0 c21 c22
k22 k1

0 c1 c2 plano w
plano z

f (z) = ei 0 z; con 0 2 R: Esta transformacin rota conjuntos en un ngulo 0 ; pues si

z = rei entonces f (z) = ei 0 rei = rei( + 0 ) ; es decir no se altera el mdulo y se suma un
Mapeos en C 111

ngulo jo al argumento. Esta transformacin es inyectiva y sobre.

i0
w= e z
B0
C
C0
ei0 z A0
B
+ 0
z
A l
l
0
0 0 0
plano z plano w

f (z) = r0 z; con r0 > 0: Esta transformacin agranda los conjuntos cuando r > 1 y los
encoge cuando r < 1; pues si z = rei entonces f (z) = r0 rei ; es decir no se modica el
argumento y se multiplica el mdulo. Es una transformacin inyectiva y sobre.

r0 z
z z
r0 z

0 0
caso r0 < 1 caso r0 > 1

f (z) = z0 z; con z0 2 C: Esta transformacin es una combinacin de las dos anteriores y

se estudia de esa manera, descomponiendo z0 = r0 ei 0 ; y entonces rota los conjuntos en
un ngulo 0 y los agranda o encoge, dependiendo de como sea r0 : Es una transformacin
inyectiva y sobre.
f (z) = 1=z: Escribiendo z = rei se tiene que z1 = 1r e i ; es decir, el mdulo me queda 1r y
el argumento . As, f lleva un crculo de radio R centrado en el origen en un circulo de
radio 1=R centrado en el origen, los puntos del 1er cuadrante caen siempre en el 4to (smil
los del 2do en el 3ro ), los puntos de fz : jzj < 1g en fz : jzj > 1g ; etc. Es una transformacin
inyectiva pero no sobre, pues ningn nmero complejo satisface z1 = 0:

plano w
w = 1/ z
0 1
z -1
1
z r2 2 1/r1

-1
r1
0 1/ z 1 - 2
1/r2
1/z
0 1
plano z
112 Mapeos en C

p p
f (z) = z; donde denota la rama principal de la raz cuadrada. Si z = rei entonces
p p i =2
z = re ; es decir, se divide el argumento por 2 y se radica el mdulo. El problema
con esta funcin es que hay que tener un ojo brbaro con el argumento: como tomamos
el argumento principal ( < ), una pequea regin angular que incluya puntos
del eje real negativo ser transformada en dos pequeas regiones, una en el 1er cuadrante
e incluyendo un pequeo segmento del eje y; y otra en el 4to cuadrante, que no incluye
ningn punto del eje y: Esta transformacin no es sobre (transforma todo el plano en un
semiplano ms un semieje) y es inyectiva.

w=
z
z

z
0 0
/2
plano z
0 plano w

f (z) = ez : Si z = x + iy entonces ez = ex eiy ; entonces ex es el mdulo e y el argumento de

ez (es decir que nos conviene dibujar en coordenadas cartesianas el dominio y en polares la
imagen). As, la recta fz : Re (z) = cg se transforma sobre z : z = ec eiy ; y 2 R ; es decir,
un crculo de radio ec (pero notar que no es inyectiva, sino que la imagen de cualquier
segmento fz : Re (z) = c; a < Im (z) a + 2 g es todo el crculo). Anlogamente, la recta
fz : Im (z) = kg se transforma sobre z : z = ex eik ; x 2 R ; es decir una semirrecta desde
el origen con argumento constante k: Si tomamos dos rectas fz = x + iy : x = cj g ; j =
1; 2; y dos rectas verticales fz = x + iy : y = kj g ; j = 1; 2; se puede ver que el pequeo
rectngulo que encierran se mapea sobre el sector angular que queda entre los dos crculos
y los dos radios. Por ltimo, notar que la transformacin se repite, es decir, si D C
y D0 = fz + 2 i : z 2 Dg entonces ambos conjuntos son mapeados a la misma imagen, y
cualquier banda fz : a < Im (z) a + 2 g es mapeada de manera inyectiva sobre C f0g :

A z
w=e
k2 B0 k2
c2
e k1
k1 B
ec1 0
A0
0 c1 c2
plano w
plano z

f (z) = log (z) (la rama principal del logaritmo). En este caso es ms fcil expresar
el dominio en coordenadas polares y la imagen en coordenadas cartesianas, ya que si
z = rei entonces log (z) = ln (r) + i : As, el crculo fz : jzj = Rg se mapea sobre
fz : z = ln (R) + i ; < g ; es decir un segmento vertical de longitud 2 y parte real
Mapeos en C 113

constante igual a ln (R) ; y la semirrecta fz : arg (z) = 0 g sobre fz : z = ln (r) + i 0 ; 0 < rg ;

o sea la recta fz : Im (z) = 0 g : Una propiedad muy til es que log mapea el semi-
plano fz : Im (z) 0g en la franja fz : 0 Im (z) g : Con esta transformacin tam-
p
bin tenemos que tener cuidado con los argumentos (como con ): log lleva el eje re-
al negativo en la recta fz : Im (z) = g ; y el semiplano fz : Re (z) < 0g en las franjas
z : 2 < Im (z) [ z: < Im (z) < 2

A
log(z )
r1 0 0 A0

1
1
0 r0 0 r0 ln(r1)

B plano w
plano z
B0

4.3. Mapeo conforme, curvas en C

En los ejemplos anteriores no hemos usado ningn conocimiento sobre analiticidad para
estudiar las funciones analticas como mapeos, solo usamos su denicin e hicimos cuentas.
Ahora bien, el estudio detallado de los ejemplos muestra lo siguiente: en algunos casos, las
funciones llevan curvas que se cortan en cierto ngulo en curvas que se cortan en el mismo
ngulo (f (z) = z + b; f (z) = ez ) y en otros casos no (f (z) = z 2 ; tomando dos rectas por el
origen). Vamos a ver bajo qu condiciones podemos asegurar que los ngulos se preservan, y
para eso hace falta otro repasn de Anlisis II:

Denicin 4.2 Una funcin : [a; b] ! R2 (= C); (t) = (x (t) ; y (t)) = x (t) + iy (t) es un
camino en C: La imagen C de se llama una curva en C; y decimos que parametriza
la curva C: Notar que no consideramos curvas sin parametrizacin. Los puntos (a) y (b) se
llaman los extremos de la curva

Observacin 4.3 Valen todas las cosas de Anlisis II, por ejemplo (enunciadas en trminos
del camino ):

1. es continuo sii las funciones coordenadas Re ( ) = x (t) ; Im ( ) = y (t) lo son.

2. es derivable sii sus funciones coordenadas lo son, y en tal caso 0 (t) = (x0 (t); y 0 (t)) =
x0 (t)
+ iy 0 (t):
114 Mapeos en C

3. es continuo por tramos si existe una particin a = t0 < t1 < < tn = b de [a; b] tal
que es continuo en cada intervalo [tj ; tj+1 ] (lmites laterales en los bordes).

4. es cerrado si es continua y (a) = (b), y cerrado simple si adems es inyectiva en [a; b).

5. es suave si 0 es continuo, y suave por tramos si es continuo y 0 es continuo por tramos.

6. Si 0 (t) 6= 0 entonces es un vector tangente a C en (t) :

7. Cada curva C parametrizada admite dos orientaciones. Si : [a; b] ! R2 (= C) parametriza

C; entonces (a + b t) parametriza C en el sentido opuesto.

En condiciones generales, los resultados que estableceremos no dependen de la parame-

trizacin de una curva, aunque si en algunos casos, de la orientacin que esta le da (es
decir, la funcin que parametriza la curva per se no es importante, ms all de la orientacin
que le d). Por esta razn, muchas veces nos referiremos de manera indistinta a una curva o
a su parametrizacin. Por ejemplo, hablaremos del tangente a C (en lugar del tangente a ), o
diremos que C es cerrada simple (reriendonos a que tiene una parametrizacin que lo es).

Ejemplo 4.4

1. (t) = eit ; t 2 [0; 2 ] en un camino que parametriza el crculo unitario centrado en el

origen desde 1 y hasta 1; recorrido en sentido antihorario.

2. (t) = e2 it ; t 2 [0; 1] es lo mismo que 1.

3. (t) = e2it ; t 2 [0; 2 ] es lo mismo que 1, recorrido dos veces.

Lo que tenemos de nuevo ac es que podemos multiplicar y dividir curvas, y componer con
funciones analticas.

Lema 4.5 Si (t) y (t) son caminos suaves por tramos denidos en [a; b] ; y z0 2 C; entonces
(donde existan las derivadas):

d 0 0
1. dt ( + )= + :
d 0 0
2. dt ( )= + (Observar que incluye el caso c ; con c 2 C).
0 0
d
3. dt ( = )= 2 ; para todo t donde (t) 6= 0:

4. Si f (z) es analtica en D y (t) 2 D 8 t; entonces (t) = f ( (t)) es un camino y

0 (t) = f 0 ( (t)) 0 (t) (Notar que se usan dos conceptos de derivada: el de y el de f como
funcin de variable compleja).

5. Si ' (t) es una funcin derivable, ' : [c; d] ! [a; b] ; entonces ( ') (t) es un camino con
la misma imagen que , y ( ')0 (t) = 0 (' (t))'0 (t) (lo interesante de esto es que ' (t)
es un nmero real y '0 (t) es una derivada real; ' suele llamarse reparametrizacin).
Mapeos en C 115

Demostracin.

1. Anlisis II.

2. Descomponemos en parte real e imaginaria: si (t) = x (t) + iy (t) y (t) = a (t) + ib (t)
entonces = xa yb + i [xb + ya], y

( )0 = x0 a + xa0 y 0 b + yb0 + i x0 b + xb0 + y 0 a + ya0

= x0 a y 0 b + i x0 b + y 0 a + xa0 yb0 + i xb0 + ya0
= x0 + iy 0 (a + ib) + (x + iy) a0 + ib0
0 0
= +

3. Como (2), ejercicio.

4. Si f (z) = u (x; y)+iv (x; y) y (t) = x (t)+iy (t) ; entonces (t) = f ( (t)) = u (x (t) ; y (t))+
iv (x (t) ; y (t)) : Para derivar, usamos la regla de la cadena de Anlisis II (escribiendo como
par ordenado en lugar de notacin compleja, de ser necesario para refrescar la memoria):
0
= ux x0 + uy y 0 + i vx x0 + vy y 0
= (ux + ivx ) x0 + (uy + ivy )y 0
= (ux + ivx ) x0 + ( vx + iux )y 0
= (ux + ivx ) x0 + (ivx + ux )iy 0
= (ux + ivx ) (x0 + iy 0 ) = f 0 ( ) 0 ;

donde hemos usado C-R en la tercer igualdad, sacado factor comn i en la cuarta, y
usado que f es analtica en la quinta (y por lo tanto su derivada se puede calcular como
f 0 = ux + ivx ).

5. Esta tambin es de Anlisis II, lo que estamos haciendo es multiplicar el nmero real '0
por el nmero complejo 0 (en Anlisis II era el producto de un escalar por un vector): si
(t) = x (t) + iy (t) entonces (' (t)) = x (' (t)) + iy (' (t)) ; y

d
(' (t)) = x0 (' (t)) '0 (t) + iy 0 (' (t))'0 (t)
dt
= 0 (t)'0 (t):

Ejemplo 4.6 Sea (t) = ewt ; con w un nmero complejo, entonces es la composicin de la
funcin f (z) = ez con el camino (t) = tw: Puesto que 0 (t) = w (derivando coordenada a
coordenada), usando el lema anterior tenemos que 0 (t) = wewt :

Supongamos que C es una curva parametrizada por un camino suave : [a; b] ! C; con
0 (t )
6= 0 para algn t0 2 (a; b) ; entonces C tiene vector tangente 0 (t0 ) en z0 = (t0 ) ;
0
y el ngulo que forma dicho vector con la horizontal es 0 = arg ( 0 (t0 )) (con arg estamos
116 Mapeos en C

suponiendo que hemos jado algn intervalo de la forma (! 0 ; ! 0 + 2 ]; por ejemplo puede ser la
rama principal). Supongamos que f (z) es una funcin analtica en C (o sea en un abierto que
contiene a C) y que f 0 (z0 ) 6= 0; entonces f transforma C en otra curva parametrizada por el
camino suave (t) = f ( (t)) ; y por el lema de recin tenemos que el vector tangente a en t0
es
0
(t0 ) = f 0 (z0 ) 0 (t0 )
y entonces el ngulo que forma dicho vector con la horizontal es
0
0 = arg (t0 ) = arg f 0 (z0 ) 0 (t0 ) = arg f 0 (z0 ) + arg 0
(t0 ) = arg f 0 (z0 ) + 0

es decir, el mismo ngulo que formaba el tangente a C ms 0 = arg (f 0 (z0 )) :

C
0(t0)
0
(t0)
w = f(z)
z0 0 0

f(z0)
0 0
plano z plano w

Denicin 4.7 Si C1 y C2 son dos curvas que se cortan en z0 , denimos el ngulo en que se
cortan las curvas como el ngulo que forman sus respectivos vectores tangentes en z0 (asumiendo
que las curvas tengan vector tangente en z0 ). Notar que si 1 y 2 parametrizan a C1 y C2 y
0 arg ( 01 (t0 )) (hacer un dibujo!).
1 (t0 ) = 2 (t0 ) = z0 ; entonces dicho ngulo es arg ( 2 (t0 ))

Tomemos ahora dos curvas C1 y C2 que se corten en z0 ; llamemos 1 y 2 el ngulo que

forman los respectivos vectores tangentes en z0 con la horizontal, llamemos 1 y 2 las curvas
imgenes de C1 y C2 por f; y 1 y 2 el ngulo que forman los respectivos vectores tangentes
en f (z0 ) con la horizontal. Lo hecho recin dice que

1 = 1 + 0 y 2 = 2 + 0

y entonces
2 1 = 2 1

es decir, el ngulo que forman las curvas C1 y C2 en z0 es el mismo (en magnitud y sentido) que
el ngulo en que se cortan 1 y 2 en f (z0 )

C2 w = f(z) 2
2 1
2 1
z0 C1
f(z0) 1

0 0
plano z plano w
Mapeos en C 117

A este tipo de suceso lo llamaremos conservar ngulos. Las funciones (o transformaciones) de

R2 en R2 que conservan ngulos (en sentido y magnitud) se llaman funciones (o transformaciones)
conformes; nosotros hemos probado el siguiente teorema:
Teorema 4.8 Si f : D ! C es analtica (D abierto en C), entonces f es conforme en todos
los puntos donde f 0 (z) 6= 0:

Ejemplo 4.9 f (z) = ez es un mapeo conforme en todo C; ya que su derivada no se anula en

ningn punto.

C1 z
w=e /2 1
2
/2
/4
/4
C2

0 e
0 1
plano z
plano w

Con estos conocimientos, veamos como se comporta geomtricamente una funcin analtica
(al menos en un punto donde su derivada no se anula). Si f es analtica en un abierto D; y
z0 2 D; vamos a ver el efecto de esta funcin sobre un crculo chico centrado en z0 contenido en
D: los ngulos entre lneas radiales se conservan, pero la longitud de las lneas no. Pero como
jf (z) f (z0 )j
f 0 (z0 ) = l m
z!z0 jz z0 j
entonces para z muy prximo a z0 (o sea si tomamos un circulito muy chiquito) tenemos que
jf (z) f (z0 )j ' f 0 (z0 ) jz z0 j
(el simbolito ' signica en este caso muy parecido), es decir, las lneas radiales (de ecuacin
jz z0 j = cte) estn todas sujetas al mismo cambio de escala jf 0 (z0 )j : Dicho de otra manera,
crculos chicos alrededor de z0 se transforman sobre casi crculos alrededor de f (z0 ), con cambio
de escala jf 0 (z0 )j (es decir, f funciona como un ampligiro a nivel innitesimal: un giro de
amplitud 0 = arg(f 0 (z0 )) y una amplicacin en un factor de jf 0 (z0 )j.

f(z)

0
z0 z
f(z0)
118 Mapeos en C

Observacin 4.10 Si f es analtica y f 0 (z0 ) 6= 0, entonces f es invertible en un entorno de z0

pues si f = u + iv; la miro como f : R2 ! R2 con u y v con derivadas parciales continuas (pues
f es analtica) y la matriz jacobiana de f es

ux uy C-R ux uy
Mf = =
vx vy uy ux

y el determinante jacobiano es, entonces, (ux )2 + (vx )2 : Como f 0 = ux + vx entonces jf 0 (z0 )j2 =
ux (z0 )2 + vx (z0 )2 6= 0; entonces la matriz Mf (z0 ) es invertible, y entonces el teorema de la
funcin inversa dice que f es invertible en un entorno de z0 : Esta situacin es local, considerar
por ejemplo f (z) = ez ; que es conforme en todo C y no tiene una inversa global.

Dada la importancia que tiene determinar si f 0 (z) = 0 f 0 (z) 6= 0; vale la pena el siguiente
teorema (adems es una belleza de teorema):

Teorema 4.11 Si f es analtica en un abierto conexo D; entonces cualquiera de las siguientes

armaciones implica que f es constante en D:

1. f 0 (z) = 0 8 z 2 D:

2. Re (f (z)) es constante en D:

3. Im (f (z)) es constante en D:

4. jf (z)j es constante en D:

5. arg (f (z)) es constante en D:

Demostracin. Pongamos f = u + iv:

1. Como f 0 (z) = ux (z) + ivx (z) = 0 8 z 2 D, tenemos que ux (z) = vx (z) = 0 8 z 2 D:

Anlogamente, como f 0 (z) = vy (z) iuy (z) = 0 8 z 2 D, tenemos que uy (z) = vy (z) =
0 8 z 2 D; es decir,

ux (z) = vx (z) = uy (z) = vy (z) = 0 8z 2 D:

Utilizando notacin vectorial para el gradiente, esto se traduce en

ru = rv = 0 8z 2 D;

de donde resultan u; v (y por tanto f ) constantes en D (notar que estamos usando que D
es conexo).

2. Si u es constante entonces ux (z) = uy (z) = 0 8 z 2 D; y por C-R tenemos que vx (z) =

0 8 z 2 D: Entonces f 0 (z) = ux (z) + ivx (z) = 0 8 z 2 D; y la parte (1) dice que f es
constante en D:

3. Smil que (2), ejercicio.

Mapeos en C 119

4. Si jf j es constante entonces jf j2 es constante, es decir u2 +v 2 es constante en D: Derivando

y usando C-R tenemos

2uux + 2vvx = 0
2uuy + 2vvy = 2uvx + 2vux = 0

es decir
u v ux 0
=
v u vx 0
Si u2 + v 2 6= 0, este sistema tiene solucin nica ux = vx = 0, es decir f 0 = 0; y entonces f
es constante en D por (1); si u2 + v 2 = 0 quiere decir que jf j = 0; y entonces f = 0 en D:

5. Si arg (f (z)) = 0 8 z 2 D; entonces f (z) = jf (z)j ei 0 8 z 2 D (lo que estamos haciendo

es poner f (z) en coordenadas polares). Llamemos g (z) = e i 0 f (z) ; entonces g es analtica
en D (es una constante por f ), y Im (g (z)) = 0 8 z 2 D (pues g = jf j), entonces g es
constante en D (por (3)), o sea f es constante en D:

Observacin 4.12 Mirando los puntos 2 a 5 del resultado anterior, notamos lo siguiente: si
hubiera un punto z0 2 D tal que f 0 (z0 ) 6= 0; entonces f sera conforme en z0 . Considerando
C1 = ft + z0 : 0 < t < "g y C2 = fit + z0 : 0 < t < "g dos curvas perpendiculares en D (tomar
" pequeo), vericar que en los casos 2; 3; 4 y 5 las imgenes no pueden ser perpendiculares en
f (z0 ) (ejercicio). En general, y con argumentos similares, se puede probar que si f (D) C (un
conjunto aco) entonces f debe ser constante.

4.4. Transformaciones biunvocas de C1

Vamos a ver algunas propiedades geomtricas de C1 que son intuitivas pero difciles de
formalizar.

Teorema 4.13 (de la curva de Jordan) Toda curva cerrada simple divide el plano comple-
jo extendido en dos regiones abiertas, una es acotada y simplemente conexa y la otra contiene
a 1, siendo la curva la frontera de ambas regiones.

La regin que contiene a 1 se llama exterior de la curva, y la otra se llama interior. Otro
teorema de similares caracterstica es el siguiente:

Observacin 4.14 Una curva cerrada en C1 es una funcin continua : [a; b] ! C1 continua
y tal que (a) = (b). En particular, las rectas son curvas cerradas simples en C1 .
120 Mapeos en C

Teorema 4.15 Si C es una curva cerrada simple en C1 ; y : [a; b] ! C1 es un camino

continuo con (a) en el interior de C y (b) en el exterior de C; entonces corta a C; es decir,
existe c 2 [a; b] tal que (c) 2 C:

Exterior de C
(b)
(c)
Interior (a)
de C C
C

Supongamos que T : C1 ! C1 es una funcin (un mapeo) continuo, inyectivo y sobre, es

decir

T (z1 ) = T (z2 ) ) z1 = z2 y 8 w 2 C1 9 z 2 C1 tal que T (z) = w

Dicho en criollo, T lleva puntos distintos en puntos distintos y T lleva todo C1 sobre todo
C1 : A este tipo de mapeo se lo llama transformaciones biunvocas de C1 : En general, una
T : D1 ! D2 se llama biunvoca de D1 en D2 si es biyectiva. A continuacin se desarrollarn
algunos resultados sobre transformaciones biunvocas en C1 ; todos ellos pueden extenderse de
manera ms o menos obvia y elemental a diferente tipos de regiones.

Ejemplo 4.16 1. T (z) = ez no es biunvoca de C1 ; pues no es inyectiva (e0 = e2 i ) ni

z
sobre (e 6= 0 8 z).
1
2. T (z) = z es una transformacin biunvoca de C1 ; si denimos T (0) = 1 y T (1) = 0.

Tomemos una transformacin biunvoca T; y una curva cerrada simple en C en el plano z.

T mapea C sobre una curva cerrada simple en el plano w; pues si : [a; b] ! C parametriza
C entonces (a) = (b) ; y esos son los dos nicos puntos donde la curva se corta, por lo
tanto T ( (t)) parametriza en el plano w la imagen de C por T; y es una curva cerrada
simple pues T ( (a)) = T ( (b)) ; y como T es inyectiva no hay ms puntos z1 ; z2 en C con
T ( (z1 )) = T ( (z2 )).

C
T(z)

Si T lleva un punto z0 del interior de C en un punto w0 = T (z0 ) del interior de ; entonces

T debe llevar todo el interior de C sobre todo el interior de pues: si z1 esta en el interior
de C y w1 = T (z1 ) no esta en el interior de ; tomo una curva continua en el interior de C que
una z0 con z1 (Jordan dice que puedo pues el interior es conexo), entonces su imagen por T es
una curva continua en el plano w con un extremo en el interior de y el otro en el exterior, y
Mapeos en C 121

entonces debe cortar ; y esto es imposible pues los nicos puntos que lleva T sobre son los
de C: Todo eso dice que T lleva el interior de C en el interior de ; pero adems debe cubrirlo
todo pues todos los puntos del plano w son alcanzados, y por el mismo razonamiento de recin,
ningn punto del exterior de C puede caer en el interior de :
De manera absolutamente anloga, si Si T lleva un punto z0 del exterior de C en un punto
w0 = T (z0 ) del interior de ; entonces T debe llevar todo el exterior de C sobre todo el
interior de :
w1 = T(z1)
C )
T (z
z1
z0 w0 = T(z0)

4.5. Transformaciones fraccionarias lineales o de Mbius

As se llaman a las funciones del tipo

az + b
T (z) = ;
cz + d
d
donde a; b; c; d son nmeros complejos con ad bc 6= 0. T esta denida en C c ; y es
analtica en dicho conjunto, con
a (cz + d) c (az + b) acz + ad caz cb ad cb
T 0 (z) = 2 = = :
(cz + d) (cz + d)2 (cz + d)2
d 0
Como ad cb 6= 0 tenemos que adems T es conforme en C c ; pues T (z) 6= 0 8 z (notar
6 0 tendramos T 0 (z) = 0 8 z; y entonces T sera constante).
que de no haber pedido ad cb =
Como
l m T (z) = 1;
d
z! c
d
se dene T c = 1; y como
a
l m T (z) = ;
z!1 c
se dene T (1) = ac : Adems T es invertible pues si
az + b
w=
cz + d
entonces se puede despejar w:
w (cz + d) = az + b
wcz + wd = az + b
wcz az = b wd
(cw a) z = b wd
b wd
z =
cw a
122 Mapeos en C

b wd
(o sea si w = T (z) ; necesariamente z = cw a ). Teniendo en cuenta que

b wd d b wd
lm = ; y lm =1
w!1 cw a c w! ac cw a

concluimos que T es inyectiva y sobre en C1 ; es decir, es una transformacin biunvoca de C1 .

Notar que todo lo hecho vale para el caso particular c = 0; pues en tal caso a 6= 0 y d 6= 0
(por que?), por lo cual queda (segn nuestra convencin) cd = ac = 1; y entonces T (1) = 1.
Hemos demostrado el siguiente teorema:

Teorema 4.17 Las transformaciones de Mbius son biunvocas de C1 sobre C1 , es decir, si

az + b
T (z) = con ad cb 6= 0;
cz + d
d
entonces T : C1 ! C1 es continua, inyectiva y sobre, y es analtica y conforme en C c :
La inversa de T es
dz + b
T 1 (z) = ;
cz a
Notar que la inversa de una transformacin de Mbius tambin es una transformacin de
Mbius, y por lo tanto el teorema anterior tambin vale para ella.

Otra propiedad importante es que la composicin de transformaciones de Mbius da como

resultado otra transformacin de Mbius: si T (z) = az+b
cz+d con ad bc 6= 0, y S (z) = z+
z+ con
6= 0; entonces
z+ a( z+ )+b( z+ )
aS (z) + b a z+ +b z+
T (S (z)) = = z+
= c( z+ )+d( z+ )
cS (z) + d c +d
z+ z+
a( z + ) + b( z + ) (a + b ) z + (a + b )
= = ;
c( z + ) + d( z + ) (c + d ) z + (c + d )
con

(a + b ) (c + d ) (a + b ) (c + d ) =
z }| { z }| {
= a c +a d + b c + b d a c a d b c b d
| {z } | {z }
= a d +b c a d b c =
(ad cb) ( ) 6= 0

pues ambos factores son distintos de cero.

Hay transformaciones de Mbius que son particularmente sencillas y tienen nombre:

Si T (z) = z + b; con b 2 C; entonces T se llama traslacin.

si T (z) = bz; con b 2 C; entonces T se llama dilatacin.

si T (z) = 1=z; entonces T se llama inversin.

Mapeos en C 123

si T (z) = ei z; con 2 R; entonces T se llama rotacin.

Notar que toda transformacin de Mbius puede escribirse como composicin de traslaciones,
dilataciones e inversiones; para ver esto supongamos que T (z) = az+b
cz+d y dividamos en dos casos:
Si c = 0 (entonces d 6= 0 y),
a b
T (z) = z + ;
d d
entonces T es la composicin de la dilatacin D (z) = ad z y la traslacin M (z) = z + db ; o sea

T (z) = M (D (z)) :

Dicho de otra forma, si w = T (z) ; entonces w es el resultado de la siguiente cadena de trans-

formaciones: w1 = ad z; w = w1 + db :
Si c 6= 0; el cociente

az + b j cz + d
ad a
az c c
ad
b c

revela que
a ad
az + b = (cz + d) + b ;
c c
es decir
az + b a bc ad 1
= +
cz + d c c (cz + d)
o sea que si

T1 (z) = cz = dilatacin,
T2 (z) = z + d = traslacin,
T3 (z) = 1=z = inversin,
bc ad
T4 (z) = z = dilatacin,
c
a
T5 (z) = z + = translacin,
c
entonces
T (z) = T5 (T4 (T3 (T2 (T1 (z)))))
Dicho de otra forma, si w = T (z) ; entonces w es el resultado de la siguiente cadena de trans-
formaciones: w1 = cz; w2 = w1 + d; w3 = 1=w2 ; w4 = bc c ad w3 ; w = w4 + ac : Pongamos
todo lo hecho en un teorema:

Teorema 4.18 La composicin de dos transformaciones de Mbius da como resultado otras

transformacin de Mbius, y toda transformacin de Mbius puede escribirse como composicin
de traslaciones, dilataciones e inversiones.
124 Mapeos en C

Ejemplo 4.19 Si T (z) = zz+11 ; entonces T (1) = 0; T ( 1) = 1; y T (1) = 1 (ojo con estas dos
ltimas, no poner 1 1 z 1 1 1
1+1 ; calcular l mz!1 z+1 ; pues la expresin 1+1 no tiene ningn sentido).
La inversa de T se calcula as: si
z 1
w=
z+1
entonces

w (z + 1) = z 1;
wz + w = z 1;
w + 1 = z wz
w+1
= z:
1 w

Notar que la eleccin w = 1 lleva a z = 1: Por ltimo, descompongamos T como composicin

de transformaciones simples:

z 1 z+1 2 2
= =1 ;
z+1 z+1 z+1

o sea T es el resultado de la cadena

w1 = z + 1
w2 = 1=w1
w3 = 2w2
w = w3 + 1:

Este tipo de descomposicin suele ser til para ver cmo transforma T algunos conjuntos del
plano z; por ejemplo si C es el crculo de radio 1 centrado en 1; entonces aplicarle la transfor-
macin T a C es lo mismo que aplicarle la transformacin w1 a C; al resultado aplicarle w2 ; al
resultado w3 ; y por ltimo a ese resultado aplicarle w; en este caso queda as: w1 transforma C
en el crculo de radio 1 centrado en 0; w2 transforma dicho crculo en l mismo, w3 transforma
el resultado en el crculo de radio 2 centrado en 0; y w transforma ese resultado en el crculo de
radio 2 centrado en 1. Puesto que T ( 1) = 1; tenemos que T lleva todo el interior de C sobre
todo el exterior de la curva T (C) ; por ser T una transformacin biunvoca de C1 :

w=
2w
2
w3

w2
-
w3 =

+1

+1
=

=z
1/

1 -
2 -
1 0 1 2
w
w1

-
2 -
1 0 1 2

-
2 -
1 0 1 2 -
2 -
1 0 1 2 -
2 -
1 0 1 2 3
Mapeos en C 125

4.6. Crculos generalizados en C1

Ahora queremos estudiar como mapea una transformacin de Mbius crculos y rectas, y
para eso nos hace falta encontrar una buena forma de expresar crculos y rectas en C:
La ecuacin
a x2 + y 2 + bx + cy + d = 0; con (4.1)
2 2
a; b; c; d 2 R; b + c > 4ad (4.2)
describe la totalidad de crculos y rectas de R2 (eso es, dado un crculo o una recta en
R2 ; existen constantes a; b; c; d en las condiciones de (4.2) tal que tiene ecuacin (4.1)
pues:

Una recta en R2 es f(x; y) : xn + ym = kg con n; m; k nmeros reales con (n; m) =

6
(0; 0) (Anlisis II), entonces tomar a = 0; b = n; c = m; y d = k:
n o
Un crculo en R2 es (x; y) : (x x0 )2 + (y y0 )2 = r2 con r > 0; y (x x0 )2 +
(y y0 )2 = r2 es
x2 2xx0 + x20 + y 2 2yy0 + y02 r2 = 0
x2 + y 2 + ( 2x0 ) x + ( 2y0 ) y + x20 + y02 r2 = 0;
tomar a = 1; b = 2x0 ; c = 2y0 ; d = x20 + y02 r2 ; y la condicin (4.2) se cumple
2 +c2
pues b 4a2
d 2
a = r > 0:

Recprocamente, si a = 0 la ecuacin (4.1) describe una recta en R2 ; y si a 6= 0 describe

un crculo pues
a x2 + y 2 + bx + cy + d = 0
b c d
x2 + y 2 + x + y + = 0
a a a
b 2 c 2 d b2 c2
x+ + y+ + = 0;
2a 2a a 4a2 4a2
q
b c b2 c2 d
que es la ecuacin de un crculo de centro 2a ; 2a y radio 4a 2 + 4a2 a (que es may-
or que cero por (4.2)). Notar que adems vimos que una curva de ecuacin (4.1) con
condiciones (4.2) es un crculo sii a 6= 0; y pasa por (0; 0) sii d = 0.

La forma compleja de la ecuacin (4.1) con condicin (4.2) es

z z + z + z + = 0; con ; 2 R; 2 C; y j j2 > (4.3)
z+z z z
pues poniendo x = 2 ; y= 2i en (4.1) queda
z+z z z
a jzj2 + b +c +d = 0
2 2i
b b c c
az z + z + z i z + i z + d = 0
2 2 2 2
b c b c
az z + +i z+ i z + d = 0;
2 2 2 2
126 Mapeos en C

tomar = a; = d; y = 2b + i 2c : Recprocamente, toda ecuacin de la forma (4.3) queda de

la forma (4.1) con condicin (4.2) cuando se cambia z por x + iy (ejercicio), es decir que:

Lema 4.20 es un crculo o una recta en C si y solo si existen ; 2 R; 2 C con j j2 >

tal que tiene ecuacin
z z + z + z + = 0;
j j2
resultando una recta sii = 0; y un crculo de radio 2 sii 6= 0: Adems pasa por
el origen sii = 0.

Nota 4.21 Se suele pensar a las rectas en C como crculos de radio 1; esto es coherente pues
2
la ecuacin (4.3) es la de una recta si y solo si = 0; y es la de un crculo de radio j j2 ;
que tiende a 1 cuando tiende a cero. Adems si uno sube a la esfera de Riemann, una recta
en C da un crculo que pasa por el polo norte, y por eso se dice que las rectas son los nicos
crculos que pasan por 1: Es por todo esto que a los crculos y rectas en C se los llama crculos
generalizados (cg) en C1 . Se puede ver (ejercicio, buscar una demostracin) que tres puntos
distintos en C1 determinan un nico circulo generalizado que los contiene.

Teorema 4.22 La imagen de un crculo generalizado de C1 por una transformacin de

Mbius es otro crculo generalizado 1 de C1 .

Demostracin. Vamos a ver que el teorema es cierto para las transformaciones elementales; el
caso general se sigue inmediatamente del hecho de que toda transformacin de Mbius se escribe
como composicin de transformaciones elementales. Tomo un cg; por el lemita anterior se que
existen ; 2 R; 2 C con j j2 > tal que tiene ecuacin z z + z + z + = 0

Caso T (z) = bz; con b 2 C; b 6= 0 (T dilatacin).

w
w = bz () z = 8w; z 2 C1 ,
b
entonces z satisface (4.3) sii

w w w w
+ + + = 0 ()
b b b b

2 jwj2 + w+ w+ = 0 ()
jbj b b
1 ww + 1w + 1w + 1 = 0; (4.4)

donde 1 = jbj2
; 1 = b; y 1 = ;y
9
2 j j2 =
j 1j = jbj2 2
)j 1j > 1 1
1 1 = ;
jbj2
Mapeos en C 127

o sea que z cumple (4.3) si y solo si w = bz cumple (4.4), es decir que

z2 () w 2 1;

donde 1 es el cg de ecuacin (4.4). Con respecto al punto 1; solo est en si y solo si es

una recta, o sea si y solo si = 0; si y solo si 1 = 0; es decir si y solo si 1 es una recta;
y T (1) = 1.

Caso T (z) = z + b (T traslacin).

Este es bastante intuitivo, se hace como el anterior si es una recta (i.e si = 0), pero
en el caso de que sea un crculo conviene usar la ecuacin clsica jz z0 j = r; ejercicio.

Caso T (z) = 1=z (T inversin).

1 1
w= () z = ;
z w
entonces un z 6= 0 satisface (4.3) (i.e est en ) sii

1 1 1 1
+ + + = 0 ()
w w w w

+ + + = 0 ()
ww w w
+ w + w + ww = 0 ()
1 + 1w + 1w + 1 ww = 0; (4.5)

donde 1 = ; 1 = ;y 1 = ;y
2
j 1j = j j2 2
)j 1j > 1 1
1 1 =

o sea que z cumple (4.3) si y solo si w = 1=z cumple (4.5), es decir que

si z 6= 0; z2 () w 2 1; (4.6)

donde 1 es el cg de ecuacin (4.5). Ahora T (0) = 1 y T (1) = 0; entonces 0 2 sii

= 0 sii 1 = 0 sii 1 2 1 (o sea sii 1 es recta), y 1 2 sii = 0 sii 1 = 0 sii 0 2 1 :
Todo esto junto con (4.6) nos permite deducir que

8 z; w 2 C1 ; z2 () w 2 1:

1
Notar que de la ecuacin (4.5) que cumple w = z suponiendo que z cumpla (4.3), se deduce
que la inversin lleva:

Rectas que pasan por el origen sobre rectas que pasan por el origen.

Rectas que no pasan por el origen en crculos que pasan por el origen.
128 Mapeos en C

Crculos que pasan por el origen sobre rectas que no pasan por el origen.
Crculos que no pasan por el origen sobre crculos que no pasan por el origen.

Ejemplo 4.23 tomemos T (z) = 1=z; y C1 = fz : Im (z) = 0g : Como C1 es una recta que pasa
por el origen, T la lleva a una recta que pasa por el origen, y como T (1) = 1; T ( 1) = 1;
debe llevarla en la misma recta pues C1 es la nica recta que pasa por el origen y contiene los
puntos 1 y 1:
w = 1/ z

C1 T(C1)
0 1 0 1
plano z plano w

Si C2 = fz : jz ij = 1g ; como C2 es un crculo que pasa por el origen, entonces T lo lleva sobre

una recta que no pasa por el origen, y como
1 1 i 1 1 1 1 i 1 1
T (1 + i) = = = i ; y T ( 1 + i) = = = i ;
1+i 2 2 2 1+i 2 2 2
concluimos que T (C2 ) = w : Im (w) = 2 ; pues esa es la nica recta que contiene a 12 i 12
1

y 12 i 12 :

w = 1/z
2i T(C1)
C2
0
i
T(C2)
C1
-/2
i
0
plano z plano w

Por ltimo, si C3 = fz : Im (z) = 1g ; como C3 es una recta que no pasa por el origen, T lo lleva
sobre un crculo que pasa por el origen, puesto que ya conocemos T (1 + i) y T ( 1 + i) ; resulta
T (C3 ) = w : w 2i = 21 pues este es el nico crculo que contiene los puntos 12 i 12 ; 0; y
1
2 i 12 (Notar los ngulos en que se cortan C2 y C3 y el ngulo en que se cortan sus respectivas
imgenes por T ). Adems, puesto que T es una transformacin biunvoca de C1 ; podemos decir
que T lleva el disco fz : jz ij 1g sobre el semiplano w : Im (w) 21 :

w = 1/z
T(C1)
2i C2
0
i C3
T(C2)
C1 -/2
i
0 T(C3) plano w
plano z
-i
Mapeos en C 129

az+b
Ejemplo 4.24 Queremos encontrar una transformacin de Mbius T (z) = cz+d que lleve el
disco fz : jzj 1g sobre el semiplano fw : Im (w) 0g :

T(z)

-1 0 1

0 1 2
-i plano z plano w

Lo que vamos a hacer es tratar de llevar el crculo fz : jzj = 1g sobre la recta fw : Im (w) = 0g
(sabemos que siempre la imagen de un crculo ser un cg, pero no sabemos si podemos elegir
a; b; c y d para que sea justo la recta que queremos). Como tres puntos determinan todo cg de
C1 ; elijo tres puntos del crculo y los mando sobre la recta: quiero

T ( 1) = 0; T ( i) = 1; y T (1) = 2; (4.7)

o sea
a+b ai + b a+b
= 0; = 1; y = 2;
c+d ci + d c+d
que es lo mismo que

a + b = 0; ai + b = ci + d; y a + b = 2c + 2d;

es decir que tengo 3 ecuaciones y 4 incgnitas, vamos a tratar de despejar en funcin de a: la

primera ecuacin nos dice que
b = a;
y usando esto en la tercer ecuacin concluimos que a = c + d: Haciendo lo mismo en la segunda
queda a ia = d ic; y restando estas dos ltimas tenemos que ia = (1 + i) c; y entonces
(1 + i)
c= a;
2
y entonces
(1 + i) (1 i)
d=a c = a(1 )=a :
2 2
Puesto que ya tengo b; c y d en funcin de a; ponemos a = 1 y queda
z+1 2z + 2
T (z) = (1+i) (1 i)
= :
(1 + i) z + (1 i)
2 z + 2

Se puede vericar fcilmente que dicha T satisface (4.7), y por lo tanto debe llevar todo el crculo
fz : jzj = 1g sobre toda la recta fw : Im (w) = 0g ; pero adems
2
T (0) = = 1 + i;
1 i
130 Mapeos en C

que est en el semiplano fw : Im (w) 0g ; y como T es una transformacin biunvoca de C1 ;

debe llevar todo el disco fz : jzj 1g (que contiene a 0) sobre todo el semiplano fz : Im jzj 0g.

T(z)
i

i
-1 0 1

0 1
plano z plano w

4.7. Puntos jos de una transformacin de Mbius

El ltimo ejemplo resulta inspirador, y nos preguntamos cuando podemos hacer esto, es
decir, elegir dos regiones del plano y encontrar una transformacin de Mbius que lleve una en
la otra.

Denicin 4.25 z0 es punto jo de una funcin f si f (z0 ) = z0 :

Lema 4.26 Si T es una transformacin de Mbius entonces T tiene a los ms dos puntos jos
en C; salvo que sea T (z) = z (en ese caso T se llama identidad). Dicho de otra forma, si una
transformacin de Mbius tiene tres puntos jos entonces debe ser la identidad.

Demostracin. Buscar los puntos jos de T (z) = az+b

cz+d es buscar los nmeros complejos z que
satisfacen la ecuacin
az + b
= z:
cz + d
Puesto que z es un nmero complejo podemos asumir que cz + d 6= 0; y entonces la ecuacin de
arriba es equivalente a
az + b = z (cz + d) ;
o sea
cz 2 + (d a) z b = 0:
Esta ltima ecuacin tiene (a lo ms) dos soluciones si c 6= 0; una si c = 0 y (d a) 6= 0; y
ninguna si c = 0; (d a) = 0; y b 6= 0: Por ltimo, todo z es solucin de la ecuacin si c = 0;
(d a) = 0; y b = 0; o sea si d = a y b = c = 0; o sea si T (z) = z:

Nota 4.27 en la demostracin anterior en los casos con c = 0 encontramos a lo ms un punto

jo (salvo que T sea la identidad), pero tambin 1 es punto jo de T si c = 0; o sea que T tiene
a los ms dos puntos jos en C1 : Puesto que si c 6= 0 entonces 1 no es punto jo de T; en el
lema anterior se puede cambiar C por C1 .
Mapeos en C 131

Ahora veremos que dados z1 ; z2 ; z3 tres puntos distintos de C1 ; y w1 ; w2 ; w3 otros tres puntos
distintos de C1 ; existe una nica transformacin de Mbius M (z) tal que

M (z1 ) = w1 ; M (z2 ) = w2 ; y M (z3 ) = w3 :

Pongamos 8 z z1 z2 z3
>
> z z3 z2 z1 si z1 ; z2 ; z3 2 C
>
>
>
< z2 z3
si z1 = 1
z z3
T (z) =
>
> z z1
si z2 = 1
>
> z z3
>
: z z1
z2 z1 si z3 = 1
As denida, T satisface

T (z1 ) = 0; T (z2 ) = 1; y T (z3 ) = 1:

Denamos de manera anloga S (w) cambiando las zs por ws en la denicin anterior, de forma
tal que S satisfaga
S (w1 ) = 0; S (w2 ) = 1; y S (w3 ) = 1
(usamos la letra w porque queremos pensar T como una transformacin del plano z en el plano w
y S una transformacin del plano w en el plano z). Pero S es de Mbius y entonces es invertible,
es decir existe la transformacin S 1 , que es de Mbius, y S 1 (S (w)) = w 8 w 2 C1 ; en
particular
S 1 (0) = w1 ; S 1 (1) = w2 ; y S 1 (1) = w3 :
Pero entonces la composicin S 1 (T (z)) es de Mbius y
1 1 1
S (T (z1 )) = w1 ; S (T (z2 )) = w2 ; y S (T (z3 )) = w3 ;

es decir que M = S 1 T es la transformacin que buscamos.

Veamos que M es nica: si H (z) es otra transformacin de Mbius con

H (z1 ) = w1 ; H (z2 ) = w2 ; y H (z3 ) = w3 ;

entonces la inversa de H; que es de Mbius, satisface

1 1 1
H (w1 ) = z1 ; H (w2 ) = z2 ; y H (w3 ) = z3 ;

y entonces la transformacin de Mbius H 1 (M (z)) satisface

1 1 1
H (M (z1 )) = z1 ; H (M (z2 )) = z2 ; y H (M (z3 )) = z3 ;

o sea que tiene tres puntos jos, y entonces H 1 (M (z)) = z, o sea M (z) = H (z) 8 z: Hemos
probado el siguiente:

Lema 4.28 Dados z1 ; z2 ; z3 tres puntos distintos de C1 ; y w1 ; w2 ; w3 otros tres puntos distintos
de C1 ; existe una nica transformacin de Mbius M (z) tal que

M (z1 ) = w1 ; M (z2 ) = w2 ; y M (z3 ) = w3 :

132 Mapeos en C

Nota 4.29 Lo bueno es que en la demostracin del lema tenemos un mtodo para encontrar
a w = M (z): hallar T (z) ; luego S (w) y resulta w = S 1 (T (z)) ; tomando S en la igualdad
anterior, resulta S (w) = T (z) ; y entonces podemos encontrar w despejando de esa igualdad, por
ejemplo si z1 ; z2 ; z3 ; w1 ; w2 ; w3 son todos puntos de C (o sea ninguno es 1) w sale de despejar
w w1 w2 w3 z z1 z2 z3
=
w w3 w2 w1 z z3 z2 z1
Nota 4.30 Juntando todo lo que hemos hecho hasta ahora, podemos concluir que dado un cg C
en el plano (extendido) z y otro en el plano (extendido) w, existe siempre una transformacin
de Mbius (no necesariamente nica) que lleva C sobre .

Ejemplo 4.31 queremos encontrar una transformacin de Mbius que lleve el semiplano
fz : Re (z) 0g sobre el disco fw : jwj 1g de forma tal que el eje fz : Re (z) = 0g llegue sobre
el crculo fw : jwj = 1g :
Elegimos tres puntos del eje fz : Re (z) = 0g:
0; i; 1;
elegimos tres puntos del crculo fw : jwj = 1g:
1; i; 1;
y ahora construimos T tal que
T (0) = 1; T ( i) = i; y T (1) = 1: (4.8)
az+b
Si T (z) = cz+d ; entonces
b
T (0) = = 1 ) b = d;
d
a
T (1) = = 1 ) a = c;
c
ai + b
T (i) = = i ) ai + b = c + id:
ci + d
Poniendo las dos primeras en la tercera concluimos que
ai d= a + id () a (1 + i) = d (1 + i) () a = d;
esto junto con la primera nos permite concluir que
b= a; c = a; y d = a;
poniendo a = 1 tenemos que
z 1
T (z) =:
z+1
Es inmediato que esta T satisface (4.8), entonces debe llevar la recta fz : Re (z) = 0g sobre el
crculo fw : jwj = 1g ; y como adems T (1) = 0; debe llevar todo fz : Re (z) 0g sobre todo el
disco fw : jwj 1g ; o sea listo. Notar que nosotros no hicimos ningn esfuerzo en particular
para que T (1) = 0; y si T (1) hubiera cado fuera de fw : jwj 1g entonces T no nos hubiera
servido. En este caso se hubiera podido arreglar fcil, tomado 1=T (z) (why?), pero tenemos que
hacer algo para dejar de depender de nuestra suerte.
Mapeos en C 133

4.8. Orientacin

En los ltimos ejemplos hemos estado llevando un ladode una curva sobre otro de la curva
imagen, (los lados son el exterior y el interior si nuestras curvas son cg en C1 ), basados en el
hecho de que las transformaciones de Mbius son biunvocas de C1 : El mtodo era llevar la
curva sobre la curva, y el resto vena solo, salvo que no podamos asegurar de antemano que
lado iba a caer sobre que lado. Vamos a ver (de manera un poco informal) como hacer para
asegurarnos antes de encontrar T; qu lado caer sobre qu lado.
Supongamos que T : C ! C es conforme y biunvoca, y tomemos una curva suave cerrada
simple C: Parametricemos C por : [a; b] ! C con 0 (t) 6= 0 8 t; de forma tal de recorrerla en
sentido antihorario (esta expresin es fcil de entender siendo C una curva cerrada simple), as
el interior de C queda a la izquierda de C; y tomemos un punto z0 = (t0 ) en C. Llamemos
a la imagen de C por T; entonces es una curva cerrada simple parametrizada por T ( (t)) :
Si 0 (t0 ) = x0 + iy0 = (x0 ; y0 ) (vector tangente a C en z0 ), entonces el vector i 0 (t0 ) = ix0
y0 = ( y0 ; x0 ) es una rotacin de =2 en sentido antihorario del vector 0 (t0 ); y entonces es
perpendicular a 0 (t0 ) y apunta hacia el interior de C.

C

T(z)

/2

z0 0(t0)

Sea r (t) = (t t0 ) ( y0 + ix0 ) + z0 = recta perpendicular a 0 (t0 ); con r (t0 ) = z0 y r0 (t0 ) =

( y0 + ix0 ) = ( y0 ; x0 ) ; r (t) corta C en un ngulo de =2; entonces T (r (t)) parametriza una
curva que debe cortar en un ngulo rotado en =2 en sentido antihorario de el tangente a
en T (z0 ) (por ser T conforme en z0 )

C T(r(t))
T(z0)
r(t) T(z)

/2

z0 0(t0)

Supongamos por ejemplo, que dada (t), resulta que T ( (t)) recorre en sentido antihorario
(notar que, una vez dada ; esto slo depende de T ), luego T (r (t)) va del exterior al interior de
. Para valores de t prximos a t0 pero mayores que t0 , r (t) est en el interior de C; y T (r (t))
est en el interior de ; y entonces T debe llevar todo el interior de C sobre todo el interior de
134 Mapeos en C

(por ser T biunvoca)

C T(r(t))
T(z0)
r(t) T(z)

/2
/2

z0 0(t0)

De manera absolutamente anloga se ve que si T ( (t)) recorre en sentido horario en-

tonces T debe llevar todo el interior de C sobre todo el exterior de (ejercicio). Cmo se
usa esto? Supongamos que quiero encontrar una transformacin de Mbius que lleve el disco
D = fz : jz aj rg sobre el disco = fw : jw j g ; entonces elijo z0 ; z1 ; y z2 en @D de
modo que si camino de z0 a z2 pasando por z1 vaya en sentido antihorario, hago lo mismo con
w0 ; w1 ; y w2 en @ ;

w3
w2
T(z)
w1
D 0
a @D @
z1
z2 z 0
3

y construyo la transformacin de Mbius T tal que

T (z0 ) = w0 ; T (z1 ) = w1 ; y T (z3 ) = w3 ;

entonces si (t) parametriza @D en sentido antihorario, necesariamente T ( (t)) parametriza

@ en sentido antihorario (si (t0 ) = z0 ; (t1 ) = z1 ; (t2 ) = z2 ; con t0 < t1 < t2 ; entonces
T ( (t0 )) = w0 ; T ( (t1 )) = w1 ; T ( (t2 )) = w2 ; con t0 < t1 < t2 ), y entonces T debe llevar el
interior de @D sobre el interior de @ .

Ejemplo 4.32 Queremos encontrar una transformacin de Mbius que lleve el disco
1
fz : jz (2 + i2)j 1g sobre el semiplano z : Im (z) 2 Re (z) 1 : Vamos a construir T
de forma tal que lleve
1 + i2 2 + i 3 + i2
T # # #
i 2 1
Mapeos en C 135

az+b
Si T (z) = cz+d ; entonces

a (1 + i2) + b
T (1 + i2) = = i ) a (1 + i2) + b = ic (1 + i2) id;
c (1 + i2) + d
a (2 + i) + b
T (2 + i) = = 2 ) a (2 + i) + b = 2c (2 + i) 2d;
c (2 + i) + d
a (3 + 2i) + b
T (3 + i2) = = 1 ) c (3 + 2i) + d = 0 ) d = c (3 + 2i)
c (3 + 2i) + d
Como d nos qued en funcin de c; vamos a poner tambin a y b: reemplazando en las dos
primeras ecuaciones queda

a (1 + i2) + b = ic (1 + i2) + ic (3 + 2i) = 2ic;

a (2 + i) + b = 2c (2 + i) + 2c (3 + 2i) = 2c + 2ic;

restando ambas obtenemos

a ( 1 + i) = 2c ) a = c (1 + i) ; y entonces
b = 2ic a (1 + i2) = 2ic c (1 + i) (1 + i2) = c (1 i) :

Tomando c = 1 queda
(1 + i) z + (1 i)
T (z) = :
z (3 + 2i)

4.9. Distribucin estacionaria de temperatura

El problema de distribucin estacionaria de temperatura es un caso particular de un marco

muchsimo ms general, conocido como problemas tipo Dirichlet. Sucintamente, se trata de
lo siguiente: Dado un abierto D cuya frontera @D es razonable, se busca una funcin u :
D = (D [ @D) ! R; continua en D y de clase C 2 en D (es decir, con derivadas parciales
segundas continuas), tal que sea armnica en D ( u = uxx + uyy = 0), y que tome ciertos
valores predeterminados en la frontera @D.
Mas especcamente, dado D un abierto conexo en C; ' : @D ! R una funcin (razonable),
se busca u (x; y) tal que 8
>
> i) u 2 C D \ C 2 (D)
<
ii) u=0 en D
>
> iii) uj@D = ' en @D
:
iv) u es acotada,
donde la condicin iv) tiene sentido para dominios no acotados. Se puede probar, de nuevo, en
condiciones razonables sobre el borde de D y la funcin ', que dicho problema de condiciones
iniciales tiene solucin nica.
Por otro lado, consideremos el problema de determinar la temperatura de un cuerpo plano
(de grosor despreciable). Buscamos una funcin T (t; x; y) que nos de la temperatura de la placa
en el punto (x; y) en el instante t. Fourier prob, basado en principios y suposiciones fsicas que
tal T debe satisfacer la siguiente ecuacin, conocida como la ecuacin del calor:
136 Mapeos en C

@T 2 @2T @2T
= +
@t @x2 @y 2
donde a es una constante positiva que depende de la conductividad del material del cuerpo.
Hechas las presunciones fsicas necesarias para que el modelo sea vlido (placa de material
homogneo, aislacin del medio, etc.), se busca la funcin T (t; x; y) que da la temperatura de
una placa en cada instante t en la posicin (x; y) : Dicha funcin obviamente es nica, y sus
valores dependen de la temperatura en el borde de la placa, en el instante t = 0: Concretamente,
si tenemos una placa con forma D y borde en @D; y le damos temperatura inicial ' a cada
punto del borde, la funcin que da la temperatura en cada instante de tiempo en cada punto de
la placa es la (nica) solucin del problema de valores iniciales
8
> @T 2 @2T + @2T
< i) @t = @x2 @y 2
t > 0; (x; y) 2 D
> ii) T j@D (x; y) = ' (x; y) (x; y) 2 @D
:
iii) T es acotada.

Cuando, por circunstancias especcas, se sabe que dicha temperatura no depende del tiempo
(= estacionario), el problema se reduce a uno del tipo Dirichlet, donde bsicamente buscamos
funciones armnicas en ciertas regiones, y con valores prejados en el borde de la regin. A este
tipo de problemas se los denomina distribucin estacionaria de temperatura. Como las funciones
analticas son una fuente de funciones armnicas, su uso aparece como adecuado para resolver
algunos de estos problemas.

A continuacin daremos un ejemplo, donde se desarrolla una metodologa general que se

puede adaptar fcilmente a muchas otras situaciones.
Imaginemos que tenemos un cable conductor de 2mm de dimetro rodeado por un aislante
de 100mm de dimetro, que la temperatura de (la supercie del) conductor se encuentra a 700
y que la capa exterior del aislante se mantiene a 80 ; tal como sugiere el siguiente dibujo:

8
>
> i) T 2 C D \ C 2 (D)
8o >
<
ii) Txx + Tyy = 0 (x; y) 2 D
>
> 70 (x; y) 2 C1
o >
: iii) T j@D =
70 8 (x; y) 2 C2

1 50
Aqu D = fz 2 C : 1 < jzj < 50g ; y @D =
C1 [ C2 ; donde C1 = fz 2 C : jzj = 1g y
C2 = fz 2 C : jzj = 50g (se sac la condicin
de solucin acotada pues el dominio lo es).

Imaginemos por un momento que construimos una funcin analtica f que lleve D en (no
necesariamente sobre) la franja fz : 8 Re (z) 70g y de forma tal que f (C1 ) fz : Re (z) = 70g
y f (C2 ) fz : Re (z) = 8g : De lograr eso, tendramos resuelto el problema, ya que la funcin

T (x; y) = Re f (x; y)
Mapeos en C 137

cumple las tres propiedades: es armnica (por ser la parte real de una funcin analtica), y
cumple inmediatamente las condiciones de borde (por ejemplo: como i 2 C1 ; entonces f (i) 2
fz : Re (z) = 70g, y por lo tanto Re (f (i)) = 70). En este caso la construccin explicita de f es
particularmente sencilla: basta con tomar
62
f (z) = log (z) + 70
ln (50)

8o
-62
o x ln(50)
70 ln(50)

1 50 0

log(z) ln(50)

0 0
ln(50)

con lo cual la funcin temperatura queda

62 p
T (x; y) = log x2 + y 2 + 70.
ln (50)
En este procedimiento se decidi acomodar las cosas para utilizar la parte real de una funcin
analtica, pero por supuesto que resulta exactamente lo mismo utilizar la parte imaginaria.
Cundo funciona este mtodo? cuando se trata de una regin plana D cuya frontera es
la unin de dos curvas @D = C1 [ C2 ; y la temperatura en cada una de ellas es constante,
t1 < t2 respectivamente (siempre alguna es menor, suponemos que t1 ). En esas condiciones, si
encontramos una funcin f analtica en D tal que

f (D) fz 2 C : t1 < Re (z) < t2 g

f (C1 ) fz : Re (z) = t1 g y f (C2 ) fz : Re (z) = t2 g ;

luego T (x; y) = Re (f (x + iy)) ser la solucin que estamos buscando (hacer un dibujo y ver-
icar!). Exactamente de la misma manera funciona (para el mismo problema) si encontramos
una funcin g analtica en D y tal que

g (D) fz 2 C : t1 < Im (z) < t2 g

f (C1 ) fz : Im (z) = t1 g y f (C2 ) fz : Im (z) = t2 g ;

pero en dichas condiciones la funcin T (x; y) = Im (g (x + iy)) ser la solucin (notar que,
independientemente del camino que elijamos nosotros para encontrar la solucin, esta es nica).
138 Mapeos en C

A continuacin resolveremos, a modo de ejemplo, el siguiente problema de distribucin esta-

cionaria de temperatura con dominio no acotado: consideremos una placa seminita, que para
nosotros ser el semiplano D = fz : Im (z) 0g ; de la cual sabemos que tiene distribucin esta-
cionaria, y que la temperatura en el borde entre 1 y 1 vale 10o ; y la temperatura en el resto del
borde vale 0o : Buscamos una T (x; y) denida y continua en fz : Im (z) 0g ; con derivadas se-
gundas continuas en fz : Im (z) > 0g ; (que tome valores reales, pues representa la temperatura),
tal que 8
>
> Txx (x; y) + Tyy (x; y) = 0 8 (x; y) con x 2 R; y > 0
<
T (x; 0) = 10 si 1<x<1
>
> T (x; 0) = 0 si x < 1 x>1
:
T (x; y) debe ser acotada

-1 0 1

Notar que necesariamente en los puntos ( 1; 0) y (1; 0) nuestra funcin T no va a estar

denida; adems la primer condicin junto con la continuidad de las derivadas segundas pedidas,
dice que T es armnica. Siguiendo una estrategia parecida al ejemplo anterior, trataremos de
construir una funcin analtica f (z) que lleve D en la franja fz : 0 Im (z) 10g de forma tal
que f (x + 0i) = 0 si jxj < 1; y f (x + 0i) = 10i si jxj > 1. Tendremos resuelto el problema
tomando T (x; y) = Im (f (x + iy)) pues:
f(z)

10 B0

A
B -1 0 1 B 0 A0

T es armnica en fz : Im (z) > 0g pues es la parte imaginaria de una funcin analtica (!).

10 si 1<x<1
T (x; 0) = Im (f (x; 0)) =
0 si x < 1 x > 1

T es acotada pues 0 T (x; y) 10:

Para encontrar f; usamos nuestros conocimientos sobre transformaciones de Mbius y las

propiedades de log (z) (la rama principal): esta ltima mapea el semiplano fz : Im (z) 0g en
la franja fz : 0 Im (z) g ; llevando el semieje real positivo sobre el eje real, y el semieje real
negativo sobre el eje fz : Im (z) = g : Por eso, compondremos primero con la transformacin
Mapeos en C 139

de Mbius que lleva fz : 1 < Re (z) < 1; Im (z) = 0g sobre el semieje real negativo (y entonces
necesariamente lleva fz : Re (z) < 1; Im (z) = 0g[fz : Re (z) > 1; Im (z) = 0g sobre el semieje
real positivo) dejando el semiplano superior en el semiplano superior, y listo!

-1 0 1 log(z)

La frmula especca para dicha transformacin de Mbius es

z 1
;
z+1

10 z 1
por lo tanto f (z) = log z+1 ; y la funcin que buscamos es

10 z 1 10 z 1
T (x; y) = Im log = arg ; con z = x + iy:
z+1 z+1

Busquemos especcamente T; para estudiar algunas otras propiedades:

z 1 (z 1) (z + 1) z z + (z z) 1 x2 + y 2 + i2y 1 x2 + y 2 1 2y
= = = = +i ;
z+1 (z + 1) (z + 1) jz + 1j2 2
(x + 1) + y 2 2
(x + 1) + y 2 (x + 1)2 + y 2

y entonces
10 2y
T (x; y) = arctan ;
x2 + y2 1
donde arctan ( ) es la rama de la arcotangente que toma valores en [0; ] (ver seccin 1.11).
La funcin obtenida parece no denida en el arco de crculo x2 + y 2 = 1; y > 0 ; pero si
xo + yo2 = 1; con yo > 0; entonces
2

10 2y 10 10
lm arctan = lm arctan (t) = =5
(x;y)!(xo ;yo ) x2 + y2 1 t! 1 2

(esto por la rama de la tangente que estamos usando). Adems, si 1 < xo < 1 y hacemos
(x; y) ! (xo ; 0+ ) (o sea que (x; y) tienda a (xo ; 0) desde el semiplano superior) tenemos que

2y
!0
x2 + y 2 1
140 Mapeos en C

(es decir se acerca a 0 por valores negativos), pues cuando y esta sucientemente cerca de 0 y x
de xo se tiene que x2 + y 2 < 1 (y y > 0). Entonces,
10 10
lm T (x; y) = l m arctan (t) = = 10;
(x;y)!(xo ;0+ ) t!0

y de manera anloga se ve que si jxo j > 1 entonces

10
lm T (x; y) = l m arctan (t) = 0;
(x;y)!(xo ;0+ ) t!0+

es decir que se cumplen las condiciones de borde.

/2 arctan(t)
(x,y)

-1 0 x0 1 t

Veamos como son las isotermas, o sea las lneas que tienen igual temperatura:

10 2y 2y c
T (x; y) = c () arctan = c () = tan
x2 + y 2 1 x2 + y 2 1 10
c 2y
() 2y = tan x2 + y 2 1 () x2 + y 2 1 =0
10 tan ( c=10)
2 2
1 1
() x2 + y 1 = 0;
tan ( c=10) tan ( c=10)
r
2
es decir las isotermas son crculos de centro 0; tan( 1c=10) y radio 1+ 1
tan( c=10) . Notar que
c
por la rama de la tangente que estamos usando, necesitamos 0 ; es decir que los nicos
10
valores que puede tomar c son 0 c 10: Adems los crculos siempre pasan por ( 1; 0) ; y si
0 < c < 5 entonces el centro 0; tan( 1c=10) est en el semiplano superior, y si no en el inferior.

c<5

1
c=5
c>5

-2 -1 0 1 2