Capítulo 4

Mapeos en C

En este capítulo 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 números reales, usamos el símbolo 1 para indicar un objeto (no
un número) que es más grande que cualquier número real, y análogamente el símbolo 1
para indicar un objeto que es más chico que cualquier número. Así, la expresión l mx!1 f (x)
signi…ca (informalmente) ver como se comporta f cuando x se hace más y más grande, la
expresión l mx!a f (x) = 1 signi…ca que f (x) se hace más chico que cualquier número real
cuando x se acerca a a; etc., y uno podía 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 aún así
necesitamos algún 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 módulo 1=r) pero en cualquier dirección. La
solución 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 de…nición, 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
límite).
La forma de visualizar a 1 es con la famosa esfera de Riemann, con las proyecciones
estereográ…cas: 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 círculo de radio 1 centrado en 0 en C le toca el ecuador de la esfera,
a un círculo de radio grande centrado en 0 en C le toca un trópico del polo norte y a un círculo
de radio chico centrado en 0 en C le toca un trópico del polo sur.

Además (dibujarlo) a cualquier recta por el origen en C le toca un meridiano. Esta identi-
…cación nos permite pensar que N = 1; pues las cosas lejanas al origen en C están cerca de
N en la esfera. Así, los entornos de 1 serán “círculos” 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 expresión
l m f (z) = `
z!1
signi…cará que
8 " > 0 9 M > 0 tal que jf (z) `j < " si jzj > M;
y la expresión
l m f (z) = 1
z!z0
signi…cará que
8M >09 > 0 tal que jf (z)j > M si jz z0 j < .
Por último, la expresión
l m f (z) = 1
z!1
signi…cará que
8 M > 0 9 R > 0 tal que jf (z)j > M si jzj > R.
Por último, una función 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 de…niciones de límite anteriores y escribir en criollo que sig-
ni…ca cada una. Ver además que l mz!z0 f (z) = 1 si y solo si l mz!z0 1=f (z) = 0:
Mapeos en C 109

4.2. Representación geométrica de funciones complejas

Puesto que las funciones complejas son f : R2 ! R2 ; para poder hacer su grá…ca (de manera
análoga a lo que usualmente se hace para funciones f : R2 ! R2 ) necesitaríamos 4 coordenadas
perpendiculares, y solamente tenemos 3 (pues vivimos en un mundo tridimensional). Por esta
razón (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 notación que se usa mucho es la siguiente: si tenemos una
función 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 análogo a lo que se hace en variable real cuando se llama “eje x” y “eje y”
a los ejes coordenados del plano). Esta notación facilita muchas explicaciones, por ejemplo la
a…rmación “f lleva rectas del plano z en círculos del plano w” signi…ca que la imagen por f de
cualquier recta es un círculo. Veamos algunos casos para ejempli…car:

Si f (z) = z + z0 ; con z0 = a + ib; entonces f traslada los puntos según 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 transformación 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 transformación es inyectiva (es decir, dos puntos distintos tienen imágenes distintas)
y sobre (es decir, todo punto del plano w es imagen de un punto del plano z).
f (z) = z 2 es más difícil que la anterior. Para comenzar a estudiarla vamos a expresarla
en coordenadas polares: si z = rei entonces z 2 = r2 ei2 ; entonces el módulo queda al
cuadrado y el ángulo se multiplica por 2: Así, esta transformación 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 algún punto de rei 0 : r > 0 por la transformación w = z 2 ), el arco de círculo

rei : 0 < < 1 sobre el arco de círculo 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 transformación no es inyectiva pero si sobre

2
w=z
2µ2

µ2
r 2
r 2µ1
µ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 parámetro y (que por cierto, toma
v2
todos los valores reales) obtenemos u = c2 4c2
; o sea que la imagen es una parábo-
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 parábola es mover el parámetro y en la imagen y así
ver que v toma todos los valores reales). Análogamente, 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 parámetro x
v2
queda u = 4k 2 k 2 ; o sea una parábola 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 pequeño rectángulo que encierran se
mapea sobre la región que encierran las cuatro parábolas imagen, por ejemplo, viendo a
donde se mapea cada pequeño 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 transformación rota conjuntos en un ángulo 0 ; pues si

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

ángulo …jo al argumento. Esta transformación es inyectiva y sobre.

iµ0
w= e z
B0
C
C0
eiµ0 z A0
B
µ + µ0
z
A l
l
µ µ0
0 0 0
plano z plano w

f (z) = r0 z; con r0 > 0: Esta transformación “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 modi…ca el
argumento y se multiplica el módulo. Es una transformación 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 transformación es una combinación 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 transformación
inyectiva y sobre.
f (z) = 1=z: Escribiendo z = rei se tiene que z1 = 1r e i ; es decir, el módulo me queda 1r y
el argumento . Así, f lleva un círculo 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 (símil
los del 2do en el 3ro ), los puntos de fz : jzj < 1g en fz : jzj > 1g ; etc. Es una transformación
inyectiva pero no sobre, pues ningún número 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 raíz cuadrada. Si z = rei entonces
p p i =2
z = re ; es decir, se divide el argumento por 2 y se radica el módulo. El problema
con esta función es que hay que tener un ojo bárbaro con el argumento: como tomamos
el argumento principal ( < ), una pequeña región angular que incluya puntos
del eje real negativo será transformada en dos pequeñas regiones, una en el 1er cuadrante
e incluyendo un pequeño segmento del eje y; y otra en el 4to cuadrante, que no incluye
ningún punto del eje y: Esta transformación no es sobre (transforma todo el plano en un
semiplano más 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 módulo 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 círculo 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 círculo). Análogamente, 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 pequeño
rectángulo que encierran se mapea sobre el sector angular que queda entre los dos círculos
y los dos radios. Por último, notar que la transformación 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 más fácil 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 círculo 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 transformación tam-
p
bién 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 ningún conocimiento sobre analiticidad para
estudiar las funciones analíticas como mapeos, solo usamos su de…nición 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 repasín de Análisis II:

De…nición 4.2 Una función : [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 parametrización. Los puntos (a) y (b) se
llaman los extremos de la curva

Observación 4.3 Valen todas las cosas de Análisis II, por ejemplo (enunciadas en términos
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 partición a = t0 < t1 < < tn = b de [a; b] tal
que es continuo en cada intervalo [tj ; tj+1 ] (límites laterales en los bordes).

4. es cerrado si es continua y (a) = (b), y cerrado simple si además 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-

trización de una curva, aunque si en algunos casos, de la orientación que esta le da (es
decir, la función que parametriza la curva per se no es importante, más allá de la orientación
que le dé). Por esta razón, muchas veces nos referiremos de manera indistinta a una curva o
a su parametrización. Por ejemplo, hablaremos del tangente a C (en lugar del tangente a ), o
diremos que C es cerrada simple (re…riendonos a que tiene una parametrización que lo es).

Ejemplo 4.4

1. (t) = eit ; t 2 [0; 2 ] en un camino que parametriza el círculo 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 analíticas.

Lema 4.5 Si (t) y (t) son caminos suaves por tramos de…nidos 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 analítica 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
función de variable compleja).

5. Si ' (t) es una función 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 número real y '0 (t) es una derivada real; ' suele llamarse reparametrización).
Mapeos en C 115

Demostración.

1. Análisis 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 Análisis II (escribiendo como
par ordenado en lugar de notación 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 común i en la cuarta, y
usado que f es analítica en la quinta (y por lo tanto su derivada se puede calcular como
f 0 = ux + ivx ).

5. Esta también es de Análisis II, lo que estamos haciendo es multiplicar el número real '0
por el número complejo 0 (en Análisis 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 número complejo, entonces es la composición de la
función 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 algún 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 algún intervalo de la forma (! 0 ; ! 0 + 2 ]; por ejemplo puede ser la
rama principal). Supongamos que f (z) es una función analítica 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 recién 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 más 0 = arg (f 0 (z0 )) :

C
¯ 0(t0)
0
° (t0)
w = f(z) ¡
z0 µ0 Á0

f(z0)
0 0
plano z plano w

De…nición 4.7 Si C1 y C2 son dos curvas que se cortan en z0 , de…nimos 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
imágenes 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 recién 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 analítica (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

ningún 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 geométricamente una función analítica
(al menos en un punto donde su derivada no se anula). Si f es analítica en un abierto D; y
z0 2 D; vamos a ver el efecto de esta función sobre un círculo chico centrado en z0 contenido en
D: los ángulos entre líneas radiales se conservan, pero la longitud de las líneas no. Pero como
jf (z) f (z0 )j
f 0 (z0 ) = l m
z!z0 jz z0 j
entonces para z muy próximo 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 ' signi…ca en este caso “muy parecido”), es decir, las líneas radiales (de ecuación
jz z0 j = cte) están todas sujetas al mismo cambio de escala jf 0 (z0 )j : Dicho de otra manera,
círculos chicos alrededor de z0 se transforman sobre casi círculos alrededor de f (z0 ), con cambio
de escala jf 0 (z0 )j (es decir, f funciona como un “ampligiro” a nivel in…nitesimal: un giro de
amplitud 0 = arg(f 0 (z0 )) y una ampli…cación en un factor de jf 0 (z0 )j.

µ
f(z)
µ
µ0
z0 z
f(z0)
118 Mapeos en C

Observación 4.10 Si f es analítica 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 analítica) 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
función inversa dice que f es invertible en un entorno de z0 : Esta situación 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 (además es una belleza de teorema):

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

a…rmaciones 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:

Demostración. 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:

Análogamente, 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 notación 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. Símil 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 solución ú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 analítica
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:

Observación 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 sería conforme en z0 . Considerando
C1 = ft + z0 : 0 < t < "g y C2 = fit + z0 : 0 < t < "g dos curvas perpendiculares en D (tomar
" pequeño), veri…car que en los casos 2; 3; 4 y 5 las imágenes 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 biunívocas de C1

Vamos a ver algunas propiedades geométricas de C1 que son intuitivas pero difíciles 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 región que contiene a 1 se llama exterior de la curva, y la otra se llama interior. Otro
teorema de similares característica es el siguiente:

Observación 4.14 Una curva cerrada en C1 es una función 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 función (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 biunívocas de C1 : En general, una
T : D1 ! D2 se llama biunívoca de D1 en D2 si es biyectiva. A continuación se desarrollarán
algunos resultados sobre transformaciones biunívocas en C1 ; todos ellos pueden extenderse de
manera más o menos obvia y elemental a diferente tipos de regiones.

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

z
sobre (e 6= 0 8 z).
1
2. T (z) = z es una transformación biunívoca de C1 ; si de…nimos T (0) = 1 y T (1) = 0.

Tomemos una transformación biunívoca 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 más 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 además debe cubrirlo
todo pues todos los puntos del plano w son alcanzados, y por el mismo razonamiento de recién,
ningún punto del exterior de C puede caer en el interior de :
De manera absolutamente análoga, 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 Möbius

Así se llaman a las funciones del tipo

az + b
T (z) = ;
cz + d
d
donde a; b; c; d son números complejos con ad bc 6= 0. T esta de…nida en C c ; y es
analítica 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 además T es conforme en C c ; pues T (z) 6= 0 8 z (notar
6 0 tendríamos T 0 (z) = 0 8 z; y entonces T sería constante).
que de no haber pedido ad cb =
Como
l m T (z) = 1;
d
z! c
d
se de…ne T c = 1; y como
a
l m T (z) = ;
z!1 c
se de…ne T (1) = ac : Además 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 transformación biunívoca 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 (según nuestra convención) cd = ac = 1; y entonces T (1) = 1.
Hemos demostrado el siguiente teorema:

Teorema 4.17 Las transformaciones de Möbius son biunívocas 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 analítica y conforme en C c :
La inversa de T es
dz + b
T 1 (z) = ;
cz a
Notar que la inversa de una transformación de Möbius también es una transformación de
Möbius, y por lo tanto el teorema anterior también vale para ella.

Otra propiedad importante es que la composición de transformaciones de Möbius da como

resultado otra transformación de Möbius: 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 Möbius que son particularmente sencillas y tienen nombre:

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

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

si T (z) = 1=z; entonces T se llama inversión.

Mapeos en C 123

si T (z) = ei z; con 2 R; entonces T se llama rotación.

Notar que toda transformación de Möbius puede escribirse como composición 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 composición de la dilatación D (z) = ad z y la traslación 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 = dilatación,
T2 (z) = z + d = traslación,
T3 (z) = 1=z = inversión,
bc ad
T4 (z) = z = dilatación,
c
a
T5 (z) = z + = translación,
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 composición de dos transformaciones de Möbius da como resultado otras

transformación de Möbius, y toda transformación de Möbius puede escribirse como composición
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 expresión 1+1 no tiene ningún 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 elección w = 1 lleva a z = 1: Por último, descompongamos T como composición

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 descomposición suele ser útil para ver cómo transforma T algunos conjuntos del
plano z; por ejemplo si C es el círculo de radio 1 centrado en 1; entonces aplicarle la transfor-
mación T a C es lo mismo que aplicarle la transformación 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 círculo de radio 1 centrado en 0; w2 transforma dicho círculo en él mismo, w3 transforma
el resultado en el círculo de radio 2 centrado en 0; y w transforma ese resultado en el círculo 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 transformación biunívoca 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. Círculos generalizados en C1

Ahora queremos estudiar como mapea una transformación de Möbius círculos y rectas, y
para eso nos hace falta encontrar una buena forma de expresar círculos y rectas en C:
La ecuación
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 círculos y rectas de R2 (eso es, dado un círculo o una recta en
R2 ; existen constantes a; b; c; d en las condiciones de (4.2) tal que tiene ecuación (4.1)
pues:

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

6
(0; 0) (Análisis II), entonces tomar a = 0; b = n; c = m; y d = k:
n o
Un círculo 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 condición (4.2) se cumple
2 +c2
pues b 4a2
d 2
a = r > 0:

Recíprocamente, si a = 0 la ecuación (4.1) describe una recta en R2 ; y si a 6= 0 describe

un círculo 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 ecuación de un círculo de centro 2a ; 2a y radio 4a 2 + 4a2 a (que es may-
or que cero por (4.2)). Notar que además vimos que una curva de ecuación (4.1) con
condiciones (4.2) es un círculo sii a 6= 0; y pasa por (0; 0) sii d = 0.

La forma compleja de la ecuación (4.1) con condición (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 : Recíprocamente, toda ecuación de la forma (4.3) queda de

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

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

tal que tiene ecuación
z z + z + z + = 0;
j j2
resultando una recta sii = 0; y un círculo de radio 2 sii 6= 0: Además pasa por
el origen sii = 0.

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

Teorema 4.22 La imagen de un círculo generalizado de C1 por una transformación de

Möbius es otro círculo generalizado 1 de C1 .

Demostración. Vamos a ver que el teorema es cierto para las transformaciones elementales; el
caso general se sigue inmediatamente del hecho de que toda transformación de Möbius se escribe
como composición de transformaciones elementales. Tomo un cg; por el lemita anterior se que
existen ; 2 R; 2 C con j j2 > tal que tiene ecuación z z + z + z + = 0

Caso T (z) = bz; con b 2 C; b 6= 0 (T dilatación).

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 ecuación (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 traslación).

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 círculo conviene usar la ecuación clásica jz z0 j = r; ejercicio.

Caso T (z) = 1=z (T inversión).

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 ecuación (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 ecuación (4.5) que cumple w = z suponiendo que z cumpla (4.3), se deduce
que la inversión lleva:

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

Rectas que no pasan por el origen en círculos que pasan por el origen.
128 Mapeos en C

Círculos que pasan por el origen sobre rectas que no pasan por el origen.
Círculos que no pasan por el origen sobre círculos 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 círculo 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 círculo 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 círculo 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
imágenes por T ). Además, puesto que T es una transformación biunívoca 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 transformación de Möbius 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 círculo fz : jzj = 1g sobre la recta fw : Im (w) = 0g
(sabemos que siempre la imagen de un círculo 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 círculo 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 incógnitas, vamos a tratar de despejar en función de a: la

primera ecuación nos dice que
b = a;
y usando esto en la tercer ecuación 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 función 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 veri…car fácilmente que dicha T satisface (4.7), y por lo tanto debe llevar todo el círculo
fz : jzj = 1g sobre toda la recta fw : Im (w) = 0g ; pero además
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 transformación biunívoca 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 transformación de Möbius

El último ejemplo resulta inspirador, y nos preguntamos cuando podemos hacer esto, es
decir, elegir dos regiones del plano y encontrar una transformación de Möbius que lleve una en
la otra.

De…nición 4.25 z0 es punto …jo de una función f si f (z0 ) = z0 :

Lema 4.26 Si T es una transformación de Möbius entonces T tiene a los más dos puntos …jos
en C; salvo que sea T (z) = z (en ese caso T se llama identidad). Dicho de otra forma, si una
transformación de Möbius tiene tres puntos …jos entonces debe ser la identidad.

Demostración. Buscar los puntos …jos de T (z) = az+b

cz+d es buscar los números complejos z que
satisfacen la ecuación
az + b
= z:
cz + d
Puesto que z es un número complejo podemos asumir que cz + d 6= 0; y entonces la ecuación de
arriba es equivalente a
az + b = z (cz + d) ;
o sea
cz 2 + (d a) z b = 0:
Esta última ecuación tiene (a lo más) 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 solución de la ecuación 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 demostración anterior en los casos con c = 0 encontramos a lo más un punto
…jo (salvo que T sea la identidad), pero también 1 es punto …jo de T si c = 0; o sea que T tiene
a los más 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 transformación de Möbius 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í de…nida, T satisface

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

De…namos de manera análoga S (w) cambiando las z’s por w’s en la de…nición 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 transformación del plano z en el plano w
y S una transformación del plano w en el plano z). Pero S es de Möbius y entonces es invertible,
es decir existe la transformación S 1 , que es de Möbius, 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 composición S 1 (T (z)) es de Möbius 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 transformación que buscamos.

Veamos que M es única: si H (z) es otra transformación de Möbius con

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

entonces la inversa de H; que es de Möbius, satisface

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

y entonces la transformación de Möbius 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 transformación de Möbius 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 demostración del lema tenemos un método 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 transformación
de Möbius (no necesariamente única) que lleva C sobre .

Ejemplo 4.31 queremos encontrar una transformación de Möbius 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 círculo fw : jwj = 1g :
Elegimos tres puntos del eje fz : Re (z) = 0g:
0; i; 1;
elegimos tres puntos del círculo 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
círculo fw : jwj = 1g ; y como además 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 ningún esfuerzo en particular
para que T (1) = 0; y si T (1) hubiera caído fuera de fw : jwj 1g entonces T no nos hubiera
servido. En este caso se hubiera podido arreglar fácil, tomado 1=T (z) (why?), pero tenemos que
hacer algo para dejar de depender de nuestra suerte.
Mapeos en C 133

4.8. Orientación

En los últimos ejemplos hemos estado llevando “un lado”de 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 Möbius son biunívocas de C1 : El método era llevar la
curva sobre la curva, y el resto venía solo, salvo que no podíamos 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 biunívoca, 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 expresión es fácil 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 rotación 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 sólo depende de T ), luego T (r (t)) va del exterior al interior de
. Para valores de t próximos 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 biunívoca)

C T(r(t))
T(z0)
r(t) T(z)
¡
¼/2
¼/2

z0 ° 0(t0)

De manera absolutamente análoga 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). ¿Cómo se
usa esto? Supongamos que quiero encontrar una transformación de Möbius 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 transformación de Möbius 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 transformación de Möbius 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 función de c; vamos a poner también 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. Distribución estacionaria de temperatura

El problema de distribución estacionaria de temperatura es un caso particular de un marco

muchísimo más general, conocido como “problemas tipo Dirichlet”. Sucintamente, se trata de
lo siguiente: Dado un abierto D cuya frontera @D es “razonable”, se busca una función 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 armónica en D ( u = uxx + uyy = 0), y que tome ciertos
valores predeterminados en la frontera @D.
Mas especí…camente, dado D un abierto conexo en C; ' : @D ! R una función (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 condición iv) tiene sentido para dominios no acotados. Se puede probar, de nuevo, en
condiciones razonables sobre el borde de D y la función ', que dicho problema de condiciones
iniciales tiene solución única.
Por otro lado, consideremos el problema de determinar la temperatura de un cuerpo plano
(de grosor despreciable). Buscamos una función 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 físicas que
tal T debe satisfacer la siguiente ecuación, conocida como la ecuación 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 físicas necesarias para que el modelo sea válido (placa de material
homogéneo, aislación del medio, etc.), se busca la función T (t; x; y) que da la temperatura de
una placa en cada instante t en la posición (x; y) : Dicha función 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 función que da la temperatura en cada instante de tiempo en cada punto de
la placa es la (única) solución 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 especí…cas, se sabe que dicha temperatura no depende del tiempo
(= estacionario), el problema se reduce a uno del tipo Dirichlet, donde básicamente buscamos
funciones armónicas en ciertas regiones, y con valores pre…jados en el borde de la región. A este
tipo de problemas se los denomina distribución estacionaria de temperatura. Como las funciones
analíticas son una fuente de funciones armónicas, su uso aparece como adecuado para resolver
algunos de estos problemas.

A continuación daremos un ejemplo, donde se desarrolla una metodología general que se

puede adaptar fácilmente a muchas otras situaciones.
Imaginemos que tenemos un cable conductor de 2mm de diámetro rodeado por un aislante
de 100mm de diámetro, que la temperatura de (la super…cie 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 condición
de solución acotada pues el dominio lo es).

Imaginemos por un momento que construimos una función analítica 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, tendríamos resuelto el problema, ya que la función

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

cumple las tres propiedades: es armónica (por ser la parte real de una función analítica), 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 construcción 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 función 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 función
analítica, pero por supuesto que resulta exactamente lo mismo utilizar la parte imaginaria.
¿Cuándo funciona este método? cuando se trata de una región plana D cuya frontera es
la unión 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 función f analítica 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 solución que estamos buscando (hacer un dibujo y ver-
i…car!). Exactamente de la misma manera funciona (para el mismo problema) si encontramos
una función g analítica 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 función T (x; y) = Im (g (x + iy)) será la solución (notar que,
independientemente del camino que elijamos nosotros para encontrar la solución, esta es única).
138 Mapeos en C

A continuación resolveremos, a modo de ejemplo, el siguiente problema de distribución esta-

cionaria de temperatura con dominio no acotado: consideremos una placa semi…nita, que para
nosotros será el semiplano D = fz : Im (z) 0g ; de la cual sabemos que tiene distribución 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) de…nida 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 función T no va a estar

de…nida; además la primer condición junto con la continuidad de las derivadas segundas pedidas,
dice que T es armónica. Siguiendo una estrategia parecida al ejemplo anterior, trataremos de
construir una función analítica 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 armónica en fz : Im (z) > 0g pues es la parte imaginaria de una función analítica (!).

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 Möbius 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 transformación
Mapeos en C 139

de Möbius 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 fórmula especí…ca para dicha transformación de Möbius es

z 1
;
z+1

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

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

Busquemos especí…camente 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 sección 1.11).
La función obtenida parece no de…nida en el arco de círculo 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). Además, 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 su…cientemente 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 análoga 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 líneas 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 círculos 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: Además los círculos 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