ndice general

1. Nmeros Complejos
1.1. La Inevitabilidad de los Nmeros Complejos . . . .
1.2. Recapitulacin de las propiedades elementales . . .
1.2.1. Campo no ordenado . . . . . . . . . . . .
1.2.2. Raz cuadrada . . . . . . . . . . . . . . . . .
1.2.3. Representacin geomtrica . . . . . . . . . .
1.2.4. Conjugacin . . . . . . . . . . . . . . . . . .
1.2.5. Interpretacin geomtrica de las operaciones
1.2.6. Representacin de C con matrices . . . . . .
1.2.7. Frmula de De Moivre . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.

6
6
13
13
15
16
16
19
22
23

1.2.8. Races . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

1.3. Importancia y Singularidad de los Nmeros Complejos

1.3.1. El caso de R3 . . . . . . . . . . . . . . . . . . .
1.3.2. Los cuaternios . . . . . . . . . . . . . . . . . . .
1.3.3. Factorizacin de polinomios reales . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.

25
25
27
29

1.4. Teorema Fundamental del Algebra . . . . . . . . . . . . . . . . . . . . . 30

1.4.1. Prefiguracin de algunas ideas sobre las transformaciones complejas 30
1.4.2. Demostracin elemental del Teorema Fundamental del Algebra . . 32
2. Transformaciones del Plano Complejo

35

2.1. El Grupo Afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.1.1. Traslacin. Rotacin. Homotecia. . . . . . . . . . . . . . . . . . .
2.1.2. El Grupo Afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

35
35
38

2.2. Transformaciones de Mbius . . . . . . . . . .

2.2.1. Inversin . . . . . . . . . . . . . . . . .
2.2.2. La esfera de Riemann . . . . . . . . . .
2.2.3. Transformaciones de Mbius . . . . . .
2.2.4. Invariancia de crculos, ngulos y razn
2.2.5. Introduccin a las funciones Racionales

43
43
45
46
49
53

. . . . .
. . . . .
. . . . .
. . . . .
cruzada.
. . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

2.3.

Anlisis geomtrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1. z2 como transformacin del plano. Duplicacin y preservacin de

53

ngulos . . . . . . . . . . . . . . . . . .
2.3.2. Raz cuadrada. Otras potencias y races.
2.3.3. Polinomios y funciones Racionales . . . .
2.3.4. Funcin de Zhukovsky . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

53
68
70
79

. . . . . . .
. . . . . . .
exponencial
. . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

83
83
86
88

2.4.4. Funciones trigonomtricas e hiperblicas . . . . . . . . . . . . . .

2.4.5. Funcin coseno y su inversa . . . . . . . . . . . . . . . . . . . . .

89
91

2.4. La exponencial y las funciones trigonomtricas

2.4.1. Funcin Exponencial . . . . . . . . . . .
2.4.2. Transformacin del Plano bajo la funcin
2.4.3. Funcin Logaritmo . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

3. Derivacin de Funciones Complejas

3.1. Funcin derivable . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.1. Ejemplos de funciones derivables y no derivables. . . . . . .
3.1.2. Una funcin es derivable si, y slo si, lo es como funcin real
derivada es C -lineal. . . . . . . . . . . . . . . . . . . . . . .
3.1.3. Derivacin respecto a z y a z conjugada . . . . . . . . . . . .
3.1.4. Determinante jacobiano . . . . . . . . . . . . . . . . . . . .
3.1.5. Interpretacin en Mecnica de Fluidos . . . . . . . . . . . .
3.2. Teorema complejo de la funcin inversa . . . . . . . . . . . . . . . .
3.2.1. Teorema complejo como corolario del real . . . . . . . . . . .
3.2.2. Funcin armnica . . . . . . . . . . . . . . . . . . . . . . . .
3.2.3. Derivabilidad de las funciones elementales . . . . . . . . . .

.
.
y
.
.
.
.
.
.
.
.

. .
. .
su
. .
. .
. .
. .
. .
. .
. .
. .

4. Integracin de Funciones Complejas

93
93
93
95
97
97
98
102
102
103
103
105

4.1. Integral Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105

4.1.1. La integracin compleja como integral de lnea . . . . . . . . . . . 105
4.1.2. Propiedades elementales de las integrales de lnea complejas. . . . 107
4.2. Teorema de la Primitiva . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.2.1. Ejemplos de funciones integrables y no integrables . . . . . .
4.2.2. Integrabilidad de las potencias positivas y no negativas de z ...salvo una. Comparacin con las integrales de lnea reales: campos
conservativos y diferenciales exactas. . . . . . . . . . . . . . . . .
4.3. Teorema de Cauchy para el rectngulo . . . . . . . . . . . . . . . . . . .
4.4. Integracin de funciones racionales . . . . . . . . . . . . . . . . . . . . .
4.4.1. El Teorema del Residuo (primera versin) . . . . . . . . . . . . .
4.4.2. Clculo de Integrales reales . . . . . . . . . . . . . . . . . . . . .
2

109

111
115
117
117
118

A. Teorema (Bolzano-Weierstrass):

121

B. Teorema Fundamental del Algebra

122

C. Geometra real con notacin compleja

124

D. Fracciones Parciales

127

E. Geometra hiperblica

130

Introduccin
Estas notas son una primera versin escrita del curso de Variable Compleja I que
imparte el Dr. Santiago Lpez de Medrano en la Facultad de Ciencias de la UNAM. Se
trata de un enfoque que pone especial nfasis en el anlisis geomtrico de los distintos
conceptos y resultados de las funciones de variable compleja, con la intencin de que el
alumno pueda interpretarlos intuitivamente y compararlos recurrentemente con el caso
de funciones de variable real. El objetivo de este trabajo es proporcionar a los estudiantes
de las carreras de matemticas, fsica, actuara y ciencias de la computacin un material
de apoyo a su participacin en el propio curso, aunque creemos que ser de utilidad en
general para todos aquellos que quieran acercarse al estudio de las funciones de variable
compleja. Se presupone que los alumnos han tomado las cuatro asignaturas de Clculo
Diferencial e Integral que forman parte del tronco comn de dichas carreras.
No obstante que esta primera versin escrita trata de reunir las ideas surgidas durante
varios semestres, hay dos cosas que son indudables: una, que difcilmente puede recogerse
en un papel el mundo de ideas que afloran en los cursos de Santiago. La otra, que
naturalmente que este material habr de verse enriquecido al calor de las discusiones de
los nuevos grupos en que sea expuesto. En todo caso, nos daremos por bien servidos si
logramos contribuir con este trabajo a que esto suceda.
En el curso de Variable Compleja II, con la introduccin de nuevos conceptos y resultados podrn verse desde otra ptica muchas de las ideas que aqu se plantean, abordndose
entonces nuevas versiones de varios resultados que aqu aparecen. Diversas aplicaciones en
Fsica y Matemticas dan cuenta de la importancia de toda esta problemtica (Mecnica
de Fluidos, Fractales, etc).
La estructura del trabajo es a grandes rasgos la siguiente. Dentro del primer captulo abordamos el origen histrico de los nmeros complejos, de cmo fue la cbica la
responsable de ello con su caso irreducible. Se define el campo de los nmeros complejos
y se discute por qu no es un campo ordenado. Una recapitulacin de las propiedades
elementales, la interpretacin geomtrica de las operaciones y la representacin de C con
matrices. En la tercera seccin de este captulo se analiza la imposibilidad de extender
el campo de los nmeros complejos a espacios de dimensin mayor que dos. En general,
se observa que se trata de un campo realmente muy interesante e importante, que muchos problemas en R adquieren un mejor panorama vistos desde C. Que tal y como lo
expres el matemtico francs Jacques-Salomn Hadamard "...el camino ms corto entre
dos resultados sobre los nmeros reales pasa frecuentemente por los complejos".
4

Al final de este captulo se demuestra de manera elemental el Teorema Fundamental

del Algebra. Una demostracin ms rigurosa puede consultarse en el Apndice B.
En el Captulo II se aborda ya en forma el estudio de las funciones de variable
compleja. Como indicbamos ms arriba, ste estar atravesado de principio a fin por
el anlisis geomtrico: imgenes directas e inversas de puntos, rectas, crculos, mallas de
rectas horizontales y verticales, visin global sobre cmo es transformado todo el plano
por la funcin, de si hay o no conservacin de ngulos, simetras, etc.
La primera parte est dedicada al estudio de traslaciones, rotaciones, homotecias,
el grupo afn, las transformaciones de Mbius, la razn cruzada. Luego se examina detenidamente la funcin z 2 , para pasar ms adelante a analizar los polinomios, su comportamiento cuando z tiende a infinito, etc. y las funciones racionales. Se trabaja con
la funcin de Zhukovsky, lo cual ayudar mas adelante a entender nuevas funciones que
pueden ser vistas como composiciones que la incluyen. Finalmente, concluimos el captulo
con el estudio de las funciones exponencial y logaritmo.
El Captulo III est dedicado a entender el concepto de derivada, qu implicaciones
tiene que una funcin compleja sea derivable. Se da una breve interpretacin de ella desde
la ptica de la Mecnica de Fluidos y en la segunda parte nos detenemos a analizar el
Teorema Complejo de la Funcin Inversa.
Para concluir esta primera parte del curso de Variable, se estudia en el Captulo
IV la integral compleja y sus principales propiedades. Se discute una primera versin
del Teorma de Cauchy y tambin del Teorema del Residuo, para el cual se anexa, en el
Apndice D, una bonita demostracin de que toda funcin racional puede descomponerse
como la suma de fracciones parciales. Y ya para finalizar, estudiamos algunas integrales
reales de difcil solucin, abordndolas con la herramienta desarrollada.
Marzo de 2003

Captulo 1
Nmeros Complejos
1.1.

La Inevitabilidad de los Nmeros Complejos

Hacia mediados del siglo XVI, apareci una publicacin de Jernimo Cardano (15011576), Ars Magna, en la que se presenta una solucin de la ecuacin cbica.
En realidad hay una controversia sobre quin descubri esta solucin. Cardano presion a Niccolo Tartaglia (Niccolo Fontana de Brescia (1500-1557)) para que le revelara el
mtodo de solucin de la cbica que ste haba encontrado. Tartaglia se lo di pidindole
que guardara el secreto. Segn Carl B. Boyer en su libro Historia de la Matemtica (captulo XV), fue Scipione del Ferro (1465-1526) profesor de matemticas en Bolonia, una de
las ms antiguas de las universidades medievales y una escuela con una gran tradicin
matemtica, quien descubriera la solucin pero que slo revelara antes de su muerte a
uno de sus alumnos Antonio Mara Fior.
.A lguna noticia sobre la existencia de una solucin algebraica de la ecuacin cbica
debi filtrarse, al parecer, y Tartaglia nos dice que al tener conocimiento de la posibilidad
de resolverla, se le ocurri dedicarse intensamente a descubrir el mtodo por s mismo. Ya
fuera independientemente o sobre la base de alguna sugerencia, lo cierto es que Tartaglia
consigui aprender, hacia el ao 1541, a resolver ecuaciones cbicas. Cuando se extendi
esta noticia, se organiz un desafo matemtico entre Fior y Tartaglia".1
La ecuacin de segundo grado x2 + px + q = 0qfue resuelta desde la antigedad, cuya
2
solucin es conocida por la frmula x = p2 p4 q.
2

Cuando el discriminante D = p4 q resultaba negativo, se deca que no haba solucin,

aparentemente no haba razn para considerar a los nmeros complejos. Lo interesante
est en que fue la ecuacin cbica la que llev a los matemticos a comprender dichos
nmeros y que a raz de la publicacin de Ars Magna se dio un gran avance en la
investigacin algebraica en distintas direcciones.
1

Carl B. Boyer [1968].

El mtodo de del Ferro-Tartaglia-Cardano se expresa en trminos modernos como

sigue:
Sea
x3 + bx2 + cx + d = 0
se reduce la ecuacin general de la cbica con un cambio de variable x := x 3b , para
2
b3
cb3 + d
obtener la forma x3 + px + q = 0 donde p = c b3 y q = 2 27
Sea p 6= 0
vamos a considerar dos incgnitas, s y t, tales que x = s + t,
sustituimos en la cbica y desarrollamos:
(s + t)3 + p(s + t) + q = 0,
s3 + 3s2 t + 3st2 + t3 + ps + pt + q = 0,
Observamos que si s3 + t3 = q y 3st = p (o bien st = p3 ) entonces tendramos
que x sera solucin.
Resolvemos el siguiente sistema:
s3 + t3 = q.........(1)
st = p3 ............(2)
despejamos t en (2) y sustituimos en (1):
p 3
s3 + ( 3s
) = q,
33 (s3 )2 + 33 s3 q p3 = 0,
y si hacemos s3 = obtenemos 33 2 + 33 q p3 = 0
3
entonces las soluciones para 2 + q p27 = 0 y los posibles valores para s3 son :
r
q2 p3
q
+
=
2
22 27

Tambin se puede obtener una cuadrtica en trminos de t3 y tendremos dos valores

posibles:
r
q
q2 p3
=
+
2
22 27
Por las condiciones del sistema tenemos que :
13
13

q
q
q
q2
p3
q
q2
p3
s = 2 + 22 + 27 y t = 2 22 + 27
Por tanto

x=

q
+
2

q2
22

p3
27

! 13

q

2

Esta es la solucin de del Ferro-Tartaglia-Cardano.

7

q2
22

p3
27

! 13

p
Cuando en la frmula el discriminante 2q2 + 27
resultaba negativo, ya no se poda
admitir que no hubiera solucin, porque una ecuacin cbica siempre tiene al menos una
raz real.
En el caso de tener tres races reales distintas la frmula conduce inevitablemente a
races cuadradas de nmeros negativos. Tartaglia llam a este caso "irreducible", porque
no haba mtodo algebraico que lo resolviera. Cardano haba resuelto ecuaciones de segundo grado con races complejas, pero las despreci por "intiles".2
"El primer trabajo que tom seriamente a los nmeros complejos y logr la necesaria
reconciliacin fue Rafael Bombelli (1526-1572). Bombelli resolvi el lgebra formal de

1
los nmeros complejos, con el particular objeto de reducir expresiones a + b 1 3 a la

forma c + d 1. Su mtodo le permiti mostrar la realidad de algunas expresiones que

resultan de la frmula de Cardano. Por ejemplo:
La solucin de
x3 = 15x + 4
es

1
1
x = 2 + 11 1 3 + 2 11 1 3
de acuerdo con la frmula. Por otro lado, por inspeccin directa podemos observar
que x = 4 es una solucin. Bombelli tuvola corazonada
que las dos partes de x en la
frmula de Cardano eran de
la forma
2 2 + n 1, 2 n 1, y encontr elevando al cubo
estas expresiones (usando
1 = 1) que verdaderamente

2 + 11 1 3 = 2 + 1

2 11 1 3 = 2 1
por esto la frmula de Cardano tambin da x = 4 ".3

Bombelli, aunque no comprendiera del todo los nmeros complejos, estaba poniendo
de manifiesto que para resolver problemas reales se necesitaba de una aritmtica compleja.
Veamos cmo en el caso irreducible esto es ms claro.
Si un polinomio de tercer grado tiene tres races reales distintas entonces el discrimi2
p3
nante 2q2 + 27
es negativo.
Si tenemos un polinomio con sus tres races reales distintas, la grfica sera esencialmente as:

2
3

Morris Kline [1972].

John Stillwell [1989].

50

25

0
-5

-2.5

2.5

5
x

-25

-50

Analicemos este caso con p < 0 y q 0 :

f (x) = x3 + px + q,
f 0 (x) = 3x2 + p,
f 00 (x) = 6x,
p
p
f 0 (x) = 0, en x = p3 , y x = p3
p
p
La funcin alcanza un mximo local en x = p3 y un mnimo local en x = p3
. Cuando x se va a , los valores de la funcin se van a y cuando x se va a
entonces f (x) , y si cumple que tiene sus
races
distintas entonces los
ptres
preales
p
p
valores de la funcin en los puntos crticos, (f ( 3 ) y f ( 3 ) ), tienen signo distinto:
p
p
f ( p3 ) = 23 p p3 + q > 0,
p
p
p
f ( p3 ) = 23 p p3 + q < 0
si |q| < 23 p p3
p
p
por tanto f ( p3 )f ( p3 ) es negativo, pero Quin es este producto?
p
p
p p
p p
3
2
f ( p3 )f ( p3 ) =(q 23 p
)(q
+
p
3 ) = q 2 + 22 p33 =
3
3
2 3
<0
= 22 2q + p3
Por tanto

q 2
2

Ejemplo con q > 0 :

p 3
3

<0

y
50

25

0
-5

-2.5

2.5

5
x

-25

 p
Ahora si q < 0, todo sigue igual si |q| < 23 p p3 y tenemos nuevamente que el
discriminante es negativo:
Ejemplo:
y
25

0
-5

-2.5

2.5

5
x

-25

-50

p
Si tuviramos que |q| > 23 p p3 , donde q > 0 o bien q < 0, entonces la grfica de
la cbica est por arriba del eje X o por debajo segn el valor de q y en ambos casos
existe una raz real. Observemos cmo aqu el discriminante es positivo.
Por ejemplo:
x3 6x + 25
y
100
75
50
25
0
-5

-2.5

0
-25
-50

x3 6x 25

10

2.5

5
x

y
50
25
0
-5

-2.5

2.5

-25

5
x

-50
-75
-100

p
p
Si alguno de los valores de la funcin en los puntos crticos (f ( p3 ) o f ( p3 ))
es cero entonces tendremos una raz mltiple.
Ahora si p > 0 :
f 0 (x) = 3x2 + p > 0, tenemos una funcin creciente, y de nueva cuenta tenemos slo
una raz real.
Ejemplo:
x3 + 4x + 10
y

150

100

50
0
-5

-2.5

2.5

5
x

-50

-100

x3 + 4x 10
y
100

50
0
-5

-2.5

0
-50

-100

-150

Finalmente el caso f (x) = x3

11

2.5

5
x

y
100

50
0
-5

-2.5

0
-50

2.5

5
x

-100

Lo que tenemos es que la nica posibilidad para que tengamos tres soluciones distintas
reales es cuando
r
r
p
p
f(
)f (
) < 0.
3
3

Lo interesante para nosotros es que teniendo una ecuacin cbica con coeficientes
reales p y q, con races reales y queremos resolverla, en algn momento tenemos que
pasar por C.
Se demuestra en la Teora de Galois sobre las ecuaciones algebraicas que este problema
no es exclusivo de la frmula de del Ferro-Tartaglia-Cardano, sino algo ms intrnseco:
cualquier procedimiento general para resolver la ecuacin de tercer grado usando, a partir
de los coeficientes, las operaciones de suma, resta, multiplicacin, divisin y extraccin
de races, debe pasar en el caso irreducible por los nmeros complejos.

Se puede factorizar x4 + a4 ?
Otro ejemplo que muestra de nueva cuenta la necesidad de los nmeros complejos para
resolver problemas reales, es el trabajo que realiz Jean Bernoulli al integrar algunas
funciones racionales por el mtodo de fracciones simples, llegando a preguntarse si se
poda expresar un polinomio de coeficientes reales como producto de factores de primer
y segundo grado con coeficientes reales.
Durante el siglo XVIII se segua desarrollando la teora de los nmeros complejos
por diversos matemticos. Leibniz y Jean Bernoulli encontraron muchas integrales de
funciones racionales por el mtodo de fracciones simples.
"Bernoulli afirm en las Acta Eruditorum de 1702 que la integral de cualquier funcin
racional no implicaba ms funciones trascendentes que las trigonomtricas y la logartmica.Como el denominador de una funcin racional es un polinomio en x de grado n, la
validez de esa afirmacin dependa de si cualquier polinomio con coeficientes reales poda
12

expresarse como producto de factores de primer y segundo grado con coeficientes reales.
En su artculo de las Acta de 1702, Leibniz opinaba que ello no era posible y daba el
ejemplo x4 + a4 . Sealaba que

2
a2 1 x2 + a
x4 + a4 = x2
1 =p
p
p
p
= x+a
1 x a
1 x + a 1 x a 1

y, segn l, para ningn par de esos cuatro factores se verificaba que su producto
fuese un factor
cuadrticocon coeficientes reales. Si hubiese sido capaz de expresar la raz
cuadrada de 1 y de 1 como nmeros complejos ordinarios, se hubiese apercibido
de su error. Nicolaus Bernoulli (1687-1759), un sobrino de Jacques y Jean, indic en las
Acta Eruditorum de 1719 que:

2
x4 + a4 = (x2 + a2 ) 2a2 x2 = x2 + 2ax + a2 x2 2ax + a2
de donde se sigue que la funcin x4 +1 a4 se puede integrar en trminos de funciones
trigonomtricas y de la logartmica".4

1.2.

Recapitulacin de las propiedades elementales

Vamos a recordar ahora la construccin y las propiedades elementales de los nmeros

complejos.

1.2.1.

Campo no ordenado

Si consideramos a R2 y definimos para las parejas ordenadas, z := (x, y), de nmeros

reales una multiplicacin:
z1 z2 = (x1 , y1 )(x2 , y2 ) := (x1 x2 y1 y2 , x1 y2 + x2 y1 )
y para la suma tenemos:
z1 + z2 = (x1 , y1 ) + (x2 , y2 ) := (x1 + x2 , y1 + y2 )
obtenemos que se cumple:
1.Ley asociativa: (z1 + z2 ) + z3 = z1 + (z2 + z3 )
(z1 z2 )z3 = z1 (z2 z3 )
2.Ley conmutativa: z1 + z2 = z2 + z1
z1 z2 = z2 z1
3.Ley distributiva: z1 (z2 + z3 ) = z1 z2 + z1 z3
Existe el elemento cero como 0 := (0, 0) y el elemento unidad 1 := (1, 0);
El inverso aditivo de z := (x, y), es z := (x, y) y si z 6= 0 tenemos el inverso
multiplicativo
4

Morris Kline [1972].

13

:=

x
y
, 2
2
2
x + y x + y2

A este campo se le llama el campo de los nmeros complejos y lo denotamos C

Si hacemos la correspondencia
x (x, 0)
de
RC
vemos que el campo de los reales, R, est metido en C, porque se sigue cumpliendo
que :
(x1 , 0)(x2 , 0) = (x1 x2 , 0)
(x1 , 0) + (x2 , 0) = (x1 + x2 , 0)
Lo que estamos haciendo es identificar el nmero real x con el nmero complejo (x, 0),
por esta identificacin se dice que C es una extensin de R. Ahora definimos
i := (0, 1)
donde (0, 1) C, es claro que i2 = (0, 1)(0, 1) = 1 , a este nmero i se le llama
unidad imaginaria de C.
Por tanto, todo nmero
z := (x, y) C
tiene una nica representacin
(x, y) = (x, 0) + (0, 1)(y, 0)
esto es
z = x + iy con x, y R
Se le llama la parte real de z al valor x:
Re z := x
y la parte imaginaria de z al valor y :
Im z := y
(Obsrvese que la parte imaginaria de un nmero complejo es el nmero real y y no
el imaginario yi.)
El nmero z es real si Im z = 0 y es imaginario puro si Re z = 0.
En el campo de los nmeros complejos no hay un orden, es decir, que no hay un
14

orden compatible con las operaciones: ( > 0, > 0 + > 0 y > 0). El orden
usual en los nmeros reales cumple con estas condiciones, pero no C, por tanto, no es
posible extender ese orden o construir ningn otro. El hecho fundamental es que tenemos
en C un nmero cuyo cuadrado es negativo (i2 = 1) lo cual no es compatible con la
existencia de un tal orden. (El lector podr fcilmente convertir esta observacin en una
demostracin). Sin embargo C tiene muchas otras propiedades muy especiales, que no
tienen los campos ordenados.

1.2.2.

Raz cuadrada

Las races cuadradas de cualquier nmero complejo pueden obtenerse de manera directa.
Sea w = + i C, queremos encontrar un z = x + iy tal que z 2 = w, o sea que
(x + iy)2 = + i, lo que equivale a x2 y 2 + i2xy = + i.
Esto nos da un sistema de ecuaciones a resolver:
x2 y 2 =
2xy =
ste puede resolverse directamente despejando y de la segunda ecuacin y substituyendo en la primera. Otra forma de hacerlo es como sigue:
Observemos que (x2 + y 2 )2 = (x2 y 2 )2 + 4x2 y 2 = 2 + 2 .
Por tanto:
q
2
2
x + y = 2 + 2 .
p
p
Luego x2 = y 2 + 2 + 2 = x2 + 2 + 2 ,
p
2 + 2

+
.
x2 =
2
Como y 2 = x2 ,
p
2 + 2

+
.
y2 =
2
Para encontrar x y y basta tomar otra vez races cuadradas. No hay ningn problema
en el procedimiento porque todos los nmeros a los que hay que extraer raz cuadrada
son reales no negativos.
Est claro que no podemos tomar arbitrariamente las diversas combinaciones de las
races cuadradas de las expresiones anteriores, porque se debe cumplir que el producto

15

xy tenga el signo de , dndonos nicamente dos races simtricas, es decir, z y z (y

no cuatro, lo cual sera muy extrao).
Tomandoq
ese cuidado,
la solucin
se puede escribir as:

q general

2
2
2
2

+ +
+ +

si 6= 0
w=
+ i ||
2
2

w = si 0 y = 0
w = i si < 0 y = 0
No slo podemos obtener races cuadradas, sino tambin resolver cualquier ecuacin
de segundo grado con coeficientes complejos: Si tuviramos un polinomio

cuadrtico
1 2
2
z + cz + d C, y lo transformamos completando el cuadrado en z + 2 c + d 14 c2 ,
es fcil ver cmo mediante el clculo de la raz cuadrada se determinan los ceros de este
polinomio. Entonces, por la frmula usual, vemos que todo polinomio de grado 2 con
coeficientes complejos tiene races complejas.

1.2.3.

Representacin geomtrica

El hecho de poder identificar a C con R2 es muy importante porque nos permitir

hacer mucho anlisis y mucha geometra. El nmero complejo z = x + iy se interpreta
geomtricamente (diagrama de Argand plano-z) como el punto (x, y) en el plano xy.
Dos nmeros complejos son iguales si sus respectivas partes reales e imaginarias son
iguales, de modo que sus puntos representativos en el plano coinciden.
y

0
-4

-2

4
x

-2

-4

1.2.4.

Conjugacin

La conjugacin compleja es la transformacin que manda z = x + iy en z = x iy.

Geomtricamente tenemos una reflexin con respecto al eje real.

16

0
-4

-2

4
x

-2

-4

Si z = x + iy entonces zz = x2 + y 2 , y como este valor es no negativo, podemos sacarle

raz cuadrada. As, se define el mdulo o valor absoluto de cualquier nmero complejo
como:
p
|z| = x2 + y 2 R+ {0}

Y es igual a la distancia del punto z al origen del plano xy.

Propiedades del mdulo:
a) |z| 0; si |z| = 0 entonces z = 0
b) zz = |z|2
c) |z| = |z|
d) |z| = |z|
e) |zw| = |z| |w|
|z|
f) Si w 6= 0 entonces wz = |w|
g) |Re z| |z|
|Im z| |z|
h) |z + w| |z| + |w| (Desigualdad del tringulo)
Si z 6= 0, observemos que z 1 = |z|z 2 . Luego z 1 est en la misma direccin que z con
1
.
mdulo |z|
En particular, z 1 = z si |z| = 1.
Y algunas de las propiedades de la conjugacin son:
a) z + w = z + w
b) (z) = z
c) zw = z w

d) Si w 6= 0 wz = wz
e) z = z
f) z + z = 2 Re z
z z = 2i Im z

Las propiedades a) y c) de la conjugacin nos expresan que sta es un automorfismo

17

del campo de los complejos, es decir, una transformacin invertible del campo C en
s mismo que preserva todas las operaciones. En otras palabras, es una simetra de la
estructura algebraica de C y se deriva del hecho de que i y i , ambas races del polinomio
x2 + 1, tienen exactamente las mismas propiedades.
Para un complejo z distinto de 0 , el ngulo medido de la parte positiva del eje
real al radio vector determinado por z es llamado el argumento de z y es denotado por
arg z.
y

0
-4

-2

4
x

-2

-4

De donde se satisface que:

y
x
tan = xy , cos = |z|
, sen = |z|
Se considera orientacin positiva del ngulo la sealada por la flecha (sentido levgiro).5
El ngulo que satisaface las relaciones anteriores, queda unvocamente definido salvo
por un mltiplo de 2.
De modo que siempre es posible expresar un nmero complejo distinto de cero en
forma polar:
z = |z| (cos + isen)
Ms adelante veremos que esta expresin nos ayuda a visualizar geomtricamente la
multiplicacin de complejos, pero analicemos un poco la forma polar (trigonomtrica).
En primer lugar si z = 0 el mdulo es 0, mientras que el argumento carece de sentido,
podemos darle el valor que queramos. En segundo lugar si z 6= 0 el argumento de z no est
tan bien definido, sin embargo ya no tenemos tantas opciones. = arg z es un conjunto,
una coleccin de nmeros, es una clase de equivalencia mdulo 2, es un nmero tal que
si le sumo 2 es el mismo, no cambia.
Escoger dentro de ciertos lmites a veces es conveniente, por ejemplo si z 6= 0 existe
uno, slo uno de los valores del argumento para el rango comprendido entre y , a
este valor se le denomina valor principal del argumento, algunos libros lo denotan =Arg
z.
5

Sentido contrario a las manecillas del reloj.

18

Pero tambin existen desventajas, por ejemplo:

si < y a cada nmero complejo 6= 0 le asociamos su argumento tendramos
una discontinuidad en el argumento.
Si tomramos una sucesin en el semiplano inferior que converja al 1, por ejemplo,
los argumentos van decreciendo tendiendo a , aunque arg(1) = .
y

2.5

1.25

0
-2.5

-1.25

1.25

2.5
x

-1.25

-2.5

Eso sucedera con cualquier punto en el eje real negativo, por lo que la funcin arg z
es discontinua en todo el intervalo (,0).
Para visualizar la discontinuidad de salto, grafiquemos {(t, arg(t)) : t R}, considerando que z(t) = cos 2t + isen2t (es decir, que al variar la t en intervalos unitarios
le damos la vuelta completa a una circunferencia y vamos tomando el argumento en cada
punto del recorrido).
arg(z(t))
2.5

1.25

0
0

4
t

-1.25

-2.5

As, todo nmero complejo tiene su mdulo r = |z| y su argumento (mdulo 2).

Ejemplo 1.1 1 + i = 2(cos 4 + isen 4 )

1.2.5.

Interpretacin geomtrica de las operaciones

Suma
19

Si representamos z1 y z2 por vectores en el plano complejo, la suma z1 + z2 y la resta

z1 z2 son, lo mismo que en R2 . Las diagonales del paralelogramo generado por z1 y z2 .

suma
Y tambin se cumple la desigualdad del tringulo:
|(|z1 | |z2 |)| |z1 + z2 | |z1 | + |z2 |
Multiplicacin
Si los nmeros complejos z1 y z2 son expresados en coordenadas polares:
z1 = r1 (cos 1 + isen1 )
z2 = r2 (cos 2 + isen2 )
la multiplicacin nos da:
z1 z2 = r1 r2 [(cos 1 cos 2 sen1 sen2 ) + i(sen1 cos 2 + sen2 cos 1 )]
z1 z2 = r1 r2 [cos(1 + 2 ) + isen(1 + 2 )]
y la divisin :
r1
z1
= [cos(1 2 ) + isen(1 2 )]
r2 6= 0
z2
r2
es decir, que al multiplicar dos nmeros complejos se multiplican sus mdulos y se
suman sus argumentos, y al dividir se dividen los mdulos y se restan los argumentos.

20

multiplicacin
En particular si la multiplicacin de z1 es con un z2 cuyo mdulo es 1, tenemos una
rotacin del vector z1 alrededor del origen en sentido levgiro de un ngulo 2.
Ejemplo 1.2 El producto zi = (x + iy)i = xi y = y + ix
arg(zi) = arg z + arg i = arg z + 2
|zi| = |z| |i| = |z| 1 = |z|

es decir, nos resulta un vector ortogonal a z, con su mismo mdulo (girado en sentido
positivo).
Una construccin geomtrica del producto es la siguiente:
Dados los puntos 0, 1, z1 , z2 , construimos un tringulo con vrtices 0, 1 y z1 :

21

Y luego por semejanza construimos otro tringulo obteniendo el punto z1 z2

multiplicacin
El tringulo con vrtices 0, 1, z1 es semejante al tringulo con vrtices 0, z2 , z1 z2 .
Tenemos que = arg(z1 z2 ) arg(z2 ) es igual al 0 = arg z1 y sus lados adyacentes
son proporcionales
|z1 |
= |z|z12z2| | .
1

1.2.6.

Representacin de C con matrices

Cada nmero complejo lo podemos pensar como una transformacin del plano. Es
una transformacin lineal y como tal le podemos asociar una matriz, sea = a + ib
22

entonces

x
y

.
(x, y) = (a + ib)(x + iy) = (ax by, ay + bx) = M

a b
Donde M =
b a
As, a cada complejo le hacemos corresponder una matriz M :

a b
= a + ib M =
b a

Y todas las operaciones con complejos corresponden a operaciones con matrices:

M+ = M + M
M =M M
a b
M =
b

a
a b
2
|| = det
b a
Dicho de otra manera, podemos establecer una correspondencia entre los nmeros
complejos y las transformaciones del plano; para un algebrista los complejos son un
conjunto con ciertas operaciones, etc., y para un gemetra sern transformaciones del
plano. As, tenemos otra representacin de los nmeros complejos en trminos de objetos
ms familiares como las matrices.

1.2.7.

Frmula de De Moivre

Observemos que z 2 = zz es el nmero que tiene por mdulo |z|2 y argumento 2.

De modo que
z 2 = |z|2 (cos 2 + isen2)
Y en general si n N
z n = |z|n (cos n + isen n)

para |z| = 1, obtenemos (cos + isen)n = (cos n + isen n) que es la Frmula de

De Moivre.
Se puede ver que si el exponente es entero, no hay problema pues z 0 = 1 y si es
negativo z 1 = |z|1 (cos() + isen())

A partir de la Frmula de De Moivre se pueden deducir diversas identidades trigonomtricas, como por ejemplo cos 3 = cos3 3 cos sen2 .

1.2.8.

Races

23

Si existe un nmero C tal que n = z (n N), se dice que es una raz ensima
1
de z, = z n
Si z = 0, se tiene que = 0
Si z 6= 0, tenemos:
sean z = r(cos + isen) y = s(cos + isen) entonces resolviendo esta ecuacin:
sn (cos n + isen n) = r(cos + isen)
se tiene:
1

s = rn
2k
=
+
n
n

2k
2k
cos
+
+ isen
+
=r
n
n
n
n
1
n

donde k es un entero y toma los valores 0, 1, 2, ..., n1 para tener soluciones distintas.
Un caso importante es cuando z = 1, que son las races ensimas de la unidad

2k
2k
k = cos
+ isen
n
n
1

Todos los valores de = z n se pueden obtener a partir de las races

ensimas

dela
1
unidad, multiplicndolas por la raz obtenida para k = 0 , = r n cos n + isen n ,
es decir, k donde k = 0, 1, .., n 1.
Veamos un ejemplo, para n = 4 :
Ejemplo 1.3 Calculemos las races cuartas de la unidad
zk = cos( 4 + 2k
) + isen( 4 + 2k
) = cos( k
) + isen( k
)
k = 0, 1, 2, 3
4
4
2
2
z1 = 1
z2 = i
z3 = 1
z4 = i
Las cuatro races se encuentran a lo largo del crculo e igualmente espaciadas

24

Geomtricamente las n races de cualquier nmero complejo distinto de cero, son los
vrtices de un polgono regular con n lados.

1.3.

Importancia y Singularidad de los Nmeros Complejos

Hemos visto hasta ahora que los nmeros complejos son un campo, que lo obtuvimos
extendiendo el de los nmeros reales. Tenemos pares ordenados con un producto bien
definido y todo funciona muy bien. Pero una pregunta interesante sera Podrmos hacer
lo mismo con ternas o cuartetas?
No, no se puede. Esta conclusin a la que se llego a comienzos del siglo XIX, fue
el resultado de muchos intentos por construir extensiones que cumplieran con todas las
propiedades de campo. Sin embargo el matemtico irlands William R. Hamilton (18051865) a mediados siglo XIX encontr una forma de multiplicar cuartetas pero result no
ser campo. El anillo de los cuaternios ha dado impulso al desarrollo del lgebra de vectores
(estudio de la mcanica y de la fsica), pero no ha llegado a tener la importancia de los
nmeros complejos. Actualmente su inters primario es el de ser un ejemplo histrico
importante, aunque an desempea un papel relevante en geometra y en la teora de
nmeros.

1.3.1.

El caso de R3

Veamos como, ya para R3 , no es posible obtener un campo.

Supongamos que s existe una estructura de campo en R3 , entonces existe un elemento
unidad 1 6= 0 . Esto implica que tenemos los nmeros reales como subcampo, a saber, el
de todos los mltiplos escalares del 1.
25

Consideremos un elemento u R3 , u
/ R . Si u est en R3 , tambin estn u2 y
u3 , y el conjunto {1, u, u2 , u3 } constara de cuatro vectores de R3 que tendran que ser
linealmente dependientes. Es decir, se cumple una relacin au3 + bu2 + cu + d = 0 con
a, b, c, d R no todos nulos.
Si a no es cero, sta es una ecuacin de tercer grado. Pero sabemos que todo polinomio
de tercer grado con coeficientes reales tiene por lo menos una raz real. Si x0 es una
solucin real de nuestra ecuacin, la podemos factorizar de la forma
(u x0 )(a0 u2 + b0 u + c0 ) = 0
As u debe satisfacer la ecuacin de segundo grado. Si a fuera cero, nuestra ecuacin
ser de entrada de segundo grado (no puede ser de primer grado, porque u no est en
R). En cualquier caso podemos resolver la cuadrtrica de la manera usual:
Simplificando a0 u2 + b0 u + c0 = 0 en u2 + Bu + C = 0 y completando cuadrados
tenemos:

2
2
2
u + B2 = B4 C = B 4C
4
2
Afirmamos que B 4C
debe
ser negativo, porque si es mayor o igual que cero, ten4
dramos dos soluciones reales u1 , u2 , posiblemente iguales y habra entonces tres soluciones
de una ecuacin cuadrtica: las dos anteriores y u, y esto no puede pasar en un campo.
2
Si B 4C
< 0 entonces existe un nmero cuyo cuadrado es un real negativo:
4
B 2

2
u+ 2
= 1
u + B2 = r2
r
Esto quiere decir dos cosas: la primera que nuestro campo contiene a i, por tanto,
contiene una copia de C; la segunda, que u est contenido en esta copia de C . Pero esto
implica que todos los elementos de R3 estn contenidos en un plano, lo cual es absurdo.

26

En realidad no es posible extender a ms dimensiones finitas el campo de los nmeros

complejos.
Decir que no hay extensin significa afirmar que el campo es algebricamente cerrado,
y as, C es algebraicamente cerrado (Todo polinomio complejo no constante tiene una
raz compleja).

1.3.2.

Los cuaternios

Sea Q el conjunto de todos los smbolos 0 + 1 i + 2 j + 3 k donde todos los nmeros

0 , 1 , 2 , 3 R.
Convenimos en que dos de tales smbolos :
x = 0 + 1 i + 2 j + 3 k
y = 0 + 1i + 2j + 3k
son iguales si y slo si t = t para t = 0, 1, 2, 3
Se define la suma y el producto de la siguiente manera: x, y Q
a) x + y = (0 + 0 ) + (1 + 1 ) i + (2 + 2 ) j + (3 + 3 ) k
Definimos la tabla de multiplicar:
i2 = 1, j 2 = 1, k 2 = 1
Los puntos i,j,k representan los correspondientes cuaternos i, j, k.

27

El producto de dos cuaternios adyacentes es igual al tercero si para ir del primero al

segundo en el figura, por el camino ms corto, se hace en el mismo sentido de avance
de las agujas del reloj. Conocida la tabla de multiplicar de los cuaternios i, j, k se puede
efectuar el producto de dos cuaternios arbitrarios:
b) xy = (0 0 1 1 2 2 3 3 ) + (0 1 + 1 0 + 2 3 3 2 ) i+
+ (0 2 1 3 + 2 0 + 3 1 ) j + (0 3 + 1 2 2 1 + 3 0 ) k
Es importante sealar que la multiplicacin no es conmutativa.
Tenemos el elemento cero
0 = 0 + 0i + 0j + 0k
y el elemento unidad
1 = 1 + 0i + 0j + 0k
La parte real del cuaternio x = 0 + 1 i + 2 j + 3 k, es 0 y la parte vectorial es
1 i + 2 j + 3 k.
x = 0 1 i 2 j 3 k es el conjugado de x.
x + x = 20 R
xx = 20 + 21 + 22 + 23 a esta suma de cuadrados se le llama norma del cuaternio.
Puesto que el cuadrado de todo nmero real es no negativo, la norma de todo cuaternio
es tambin no negativa y es igual a cero slo para el cuaterno nulo.
Tambin podemos conocer el inverso multiplicativo de x
Para todo x Q distinto de cero existe su inverso dado por
x
x1 = 2 +2 +
2 +2
0

Interpretacin geomtrica del producto de cuaternios puros:

q = x1 i + x2 j + x3 k
p = y1 i + y2 j + y3 k
qp = x1 y1 x2 y2 x3 y3 + (x2 y3 x3 y2 ) i + (x3 y1 x1 y3 ) j + (x1 y2 x2 y1 ) k
si representamos a q, p como vectores en R3
q = (x1 , x2 , x3 )
p = (y1 , y2 , y3 ).
El producto escalar q p = x1 y1 + x2 y2 + x3 y3 = ( x1 y1 x2 y2 x3 y3 )
y
p=
vectorial q
el producto
x2 y2 x1 y1 x1 y1

x3 y3 i+ x3 y3 j+ x2 y2 k = (x2 y3 x3 y2 ) i+(x3 y1 x1 y3 ) j+(x1 y2 x2 y1 ) k

As tenemos una interpretacin geomtrica para cuaternios puros que nos permite
usar resultados del producto escalar y producto vectorial.
2qp = (q p) + q p
Ejemplo 1.4 Cuntas races tiene la siguiente ecuacin ?
x2 + 1 = 0
28

se pueden encontrar rpidamente 6 races i, j, k

Sern todas las soluciones?
Observemos que si x = 1 i + 2 j + 3 k tiene norma 1,
x2 = 21 22 23 = |x|2 = 1

Toda la esfera unitaria sera solucin, es decir, tenemos una infinidad de solucines!
Otra lgebra donde hay inverso multiplicativo es la de los nmeros de Cayley, pero
ya no hay ms. De aqu la importancia del estudio del campo C.

1.3.3.

Factorizacin de polinomios reales

Los nmeros complejos son muy tiles, muchos problemas en R vistos en C adquieren
mejor panorama y se simplifica su solucin. Un ejemplo de esto es la factorizacin de
polinomios. En la bsqueda de resolver integrales de funciones racionales, los matemticos
nuevamente se enfrentaban con los nmeros complejos (ver parte uno de este captulo).
La conclusin que ms tarde expresara un matemtico francs, refleja muy bien este
fenmeno al decir, "El camino ms corto entre dos resultados sobre los nmeros reales
pasa frecuentemente por los complejos".6
Para ver este ejemplo, consideremos un teorema muy importante, del que, a lo largo
de este curso veremos varias demostraciones:
Teorema Fundamental del Algebra (TFA): Todo polinomio complejo no constante tiene al menos una raz compleja.
Como consecuencia del TFA, tenemos que todo polinomio complejo de grado n, tiene
n y slo n, races complejas z1 , ...zn las cuales, sin embargo, no deben ser distintas todas.
6

Jacques-Salomon Hadamard(1865-1963).Matemtico francs.

29

Adems lo podemos representar como producto de n factores lineales P (z) = an (z

z1 )(z z2 )...(z zn ).
Ejemplo 1.5 z 5 3z 4 + 7z 3 13z 2 + 12z 4 = (z 1)3 (z 2 + 4) = 0
tiene cinco races de los cuales, sin embargo, solamente tres son diferentes:
z1 = z2 = z3 = 1, z4 = 2i y z5 = 2i
Ahora, si todos los coeficientes del polinomio P (z) = an z n + an1 z n1 + ... + a0 son
reales y C es raz entonces C tambin es raz, esto se desprende de las reglas de
operaciones con nmeros complejos:
P () = an n + an1 n1 + ... + a0 = 0
0 = 0 = P () = an n + an1 n1 + ... + a0 = an n + an1 n1 + ... + a0 = P ().
Teorema 1.1 Todo polinomio con coeficientes reales se puede factorizar como producto
de polinomios de grado uno o dos con coeficientes reales.
Demostracin P (z) = an z n + an1 z n1 + ... + a0
Por el TFA:
P (z) = an (z z1 )...(z zn ).
Supongamos que z1 ...zk son las races reales.
Si i > k, como zi es raz entonces tambin zi
y (z zi ) (z zi ) = z 2 (zi + zi ) z + (zi zi ) = z 2 z2 Re zi + |zi |2
donde 2 Re zi , |zi |2 R
por tanto z 2 z2 Re zi + |zi |2 es un polinomio de grado 2 en z con coeficientes reales.
v
Q
P (z) = an (z z1 )...(z zk ) (z 2 z2 Re zi + |zi |2 ),
donde v = nk
2
i

obteniendo as k factores lineales y

nk
2

factores cuadrticos.X

Ejercicio 1.1 Factorizar x4 + a4

1.4.

Teorema Fundamental del Algebra

1.4.1.

Prefiguracin de algunas ideas sobre las transformaciones

complejas

La posibilidad de visualizar geomtricamente a los nmeros complejos en el plano,

nos permitir comprender ms a las funciones complejas y usar todo lo que ya sabemos
para R2 (conjuntos abiertos, cerrados, compactos, conexos, sucesiones convergentes, etc.)
Una funcin compleja de variable compleja estar definida en un subconjunto abierto
contenido en C y la imagen estar en C.

30

Nuestro problema ser ver qu sucede con puntos, lneas, crculos, etc., en qu se
transforman, cul es su imagen, es decir, queremos saber cmo se transforma el plano
complejo.
Es usual denotar al plano donde est el punto z (Dominio) como plano z y al plano
donde est la imagen w = f (z), el plano w.
En el captulo II, ampliaremos el estudio de las transformaciones del plano complejo.
Por el momento veamos slo algunas de ellas.
Sea f : C C, a C

f (z) = a, todo el plano va a un punto.

f (z) = z, el plano se queda igual
f (z) = z, el plano se refleja con respecto al eje real
f (z) = z + a, el plano se traslada, sin girar. El origen va al punto a.
Recordemos que el producto de dos nmeros complejos es un nmero complejo con
mdulo igual al producto de los mdulos y su argumento es la suma de los argumentos
de los factores. Consideremos a 6= 0
f (z) = az, cualquier vector z, gira un ngulo igual al arg a y se agranda (o se achica)
el mdulo de z un factor |a| . Todo el plano gira y se expande (o contrae).
f (z) = zn :
w = 0 si z = 0
si z 6= 0, escribimos a z en forma polar z = r(cos + isen) y el punto imagen nos
queda w = rn (cos n + isenn). El mdulo del vector z se eleva a la potencia n y su
argumento se multiplica por n.
Si r > 0, un crculo de radio r (|z| = r) en el plano z se transforma en otro crculo de
radio rn (|w| = rn ).
Si el mdulo de z va creciendo entonces al elevarlo a la potencia n el mdulo del
vector w, tambin ir creciendo.
Por ejemplo para n = 2 :
y

0
-2

-4

-2

4
x

x
-2

-4

-2

31

1.4.2.

Demostracin elemental del Teorema Fundamental del

Algebra

Combinando estas funciones obtenemos otras que son muy importantes y que estudiaremos durante el curso, los polinomios.
p(z) = an z n + an1 z n1 + ... + a0 ,
an 6= 0 (Polinomio complejo de grado n)
La siguiente demostracin elemental se basa nicamente en las propiedades que conocemos de los nmeros complejos y de los polinomios:
Teorema 1.2 (Teorema Fundamental del Algebra)
Todo polinomio complejo no constante tiene al menos una raz compleja.
Demostracin Consideremos un polinomio
p(z) = an z n + an1 z n1 + ... + a0 ,
Supongamos que para todo z C,

an 6= 0
p(z) 6= 0

|p(z)| 6= 0 por tanto |p(z)| > 0 z C

Empezaremos por un lema

Lema:
Si p(z) es un polinomio no constante, entonces cuando |z| , |p(z)| .
Demostracin del lema:

+ ... + zan0 , vemos que el

Si escribimos p(z) como un producto, |p(z)| = |z|n an + an1
z
primer factor tiende a , mientras que el segundo tiende a la constante |an | 6= 0. Luego,
el producto tiende a .
(Dejamos al lector como ejercicio dar una versin ms precisa de la demostracin de
este lema: dado M > 0, encontrar R > 0 tal que |z| > R entonces |p(z)| > M).X
Regresando a la demostracin del TFA:
Si no existe un z con p(z) = 0, tratemos de ubicar un punto donde |p(z)| sea lo
menor posible. Si tomamos r = inf |p(z)| vamos a ver que existe algn z C tal que
zC

|p(z)| = r, es decir, que el nfimo se alcanza: de la definicin de nfimo tenemos que existe
una sucesin {zi } tal que |p(zi )| r.

32

Si la sucesin zi convergiera a un punto z0 tendramos que |p(z0 )| = lm |p(zi )| = r.

i

Lo mismo sucedera si alguna subsucesin de {zi } convergiera a z0 .Podra pasar, sin

embargo, que ninguna subsucesin de {zi } fuera convergente?
Esto slo podra pasar si en toda bola con centro en el origen hubiera slo un nmero
finito de puntos de la sucesin (por el Teorema de Bolzano-Weierstrass, ver apndice A).
Pero esto querra decir que zi , lo cual es imposible ya que, por el lema, tendramos |p(zi )| en contradiccin con el hecho de que |p(z
i )| r.
Luego,
tiene que existir alguna subsucesin convergente zij , zij z0 , y |p(z0 )| =

lm p(zij ) = r

p(z0 ) sera el punto ms cercano al origen de los que estn en la imagen de p.(Naturalmente,
podra haber ms de un punto a la distancia r del origen en la imagen de z0 ).
Por nuestra hiptesis, r > 0.
33

Veamos ahora qu sucede si consideramos lo puntos z en un pequeo crculo con

centro z0 :Cmo se movern los puntos p(z) correspondientes?
Pongamos z = z0 + h, p(z) = an (z0 + h)n + ... + a0
Desarrollando las potencias de los binomios y agrupando obtenemos
p(z) = bn hn + ... + b1 h + b0
Cuando h = 0, z = z0 y tenemos p(z0 ) = b0 . Y podemos escribir
p(z) = p(z0 ) + h(bn hn1 + ... + b1 ) = p(z0 ) + h
arg( p(z) p(z0 )) = arg h + arg
Suponiendo que b1 6= 0, al recorrer h un crculo de radio pequeo, arg h recorre todos
los valores de 0 a 2. Mientras tanto, arg() se mantiene casi constante, cercano a arg(b1 ).
Esto significa que p(z) p(z0 ) va a apuntar en todas direcciones, y en particular habr
un valor de h tal que p(z) p(z0 ) apunte hacia adentro del crculo de radio r.

Pero esto significa que |p(z)| < |p(z0 )| = r, contradiciendo el hecho de que p(z0 ) era
el punto ms cercano al origen de los de la imagen de p. La nica posibilidad de evitar
esta contradiccin es que r sea igual a 0, es decir p(z0 ) = 0.
Si b1 = 0 slo hay que variar un poco el argumento.
Supongamos que b1 = ... = bk1 = 0 y que bk 6= 0. Entonces
p(z) p(z0 ) = hk (bn hnk + ... + bk ) = hk ,
arg(p(z) p(z0 )) = k arg h + arg .
Al recorrer arg h los valores de 0 a 2, k arg h toma k veces todos los valores de 0 a
2, mientras que arg vara slo un poco alrededor de arg bk . Nuevamente esto implica
que, para algn valor de h, p(z) apunta hacia adentro del crculo de radio r, y por tanto,
que |p(z)| < r, llegando nuevamente a la misma contradiccin.
Ejercicio 1.2 Concretar el argumento anterior para el caso de un polinomio de grado 3.
La demostracin anterior se puede precisar con todo el rigor que el lector exija. Ver
apndice B.
34

Captulo 2
Transformaciones del Plano
Complejo
2.1.

El Grupo Afn

2.1.1.

Traslacin. Rotacin. Homotecia.

Sin duda la mejor opcin para comprender las funciones complejas es verlas como
transformaciones del plano en el plano.
b =
Al plano ms el punto al , se le llama plano extendido y se denota por C
C {} .
Y al plano menos el origen se denota as C = C\ {0} .
b en C.
b
Trabajaremos con funciones de C en C y tambin de C
Traslacin

Sea b C fija
f (z) = z + b
Es una transformacin que a cada complejo z le asocia z + b, por lo que tenemos una
funcin biyectiva que manda el plano complejo en s mismo, trasladndolo todo un vector
b (el origen va a parar precisamente a b).
Rotacin y Homotecia
C fijo
f (z) = z
Si = 0, todo el plano se va al origen.
Si 6= 0 :
dado cualquier vector z, la funcin lo gira un ngulo igual al arg . Estamos rotando
todo el plano, luego tendramos que multiplicar el mdulo de z por el mdulo de , es
decir, se expande (o contrae) el mdulo de z un factor ||. A este movimiento de "zoom"se
le llama homotecia.
35

Si || = 1, simplemente tenemos una rotacin de un ngulo arg , por ejemplo :

si = i se gira todo el plano 2
si = 1 el plano queda igual
si = 1 el plano se gira
si = i el plano se gira 32
Con la interpretacin geomtrica de las operaciones, se contribuy mucho a desprenderse de ideas confusas sobre los nmeros complejos y ya no digamos de todo lo "misterioso" que rodeaba al nmero i. Tenemos que es un punto bien representado en el plano
(0, 1) y podramos todava pensarlo mejor como una transformacin del plano en el plano
(multiplicar por i es girar todo C un ngulo de 2 ).
Recordemos ahora algunas definiciones y un teorema.
Definicin 2.1 T : R2 R2 es lineal:
i) si T (u + v) = T (u) + T (v)
aditividad
ii) si T (u) = T (u) R
homogeneidad ("saca escalares")
Definicin 2.2 (Grupo de Transformaciones)
Si T, S G, T S G
Si T G, T 1 G
entonces G es un grupo .
Teorema 2.1 l: R2 R2 es lineal una matriz A de 2x2 tal que l(x) = Ax
x R2 .

l1 (e1 ) l1 (e2 )
.
A = l(e1 ), l(e2 ) =
l2 (e1 ) l2 (e2 )

Consideremos nuevamente C
T : C C
T (z) = z
Pero, Qu tipo de transformaciones tenemos?Qu propiedades geomtricas tienen?
Encontremos la matriz asociada a nuestra transformacin:
= r cos + irsen
z = x + iy
Tr, : R2 R2

cos sen
r cos rsen
=r
M =
sen cos
rsen r cos
Esta transformacin lineal es una homotecia seguida de una rotacin. Claramente si
r = 1, tenemos una rotacin de ngulo = arg()
Qu ms podemos decir ?
El cero va a dar al cero.
Para el caso r = 1 se conservan las distancias (isometra del plano) y si r 6= 1 se
modifican, pero todas se modifican en la misma proporcin.
Se conservan los ngulos (ngulo orientado positivamente):
36

^(z, w) = ^(Tr, (z), Tr, (w)).

Esta propiedad es muy importante. Porque cualquier transformacin en el plano que
preserve los ngulos (transformaciones conformes) su matriz respecto a la base usual
tiene que ser de esa forma. Las figuras geomtricas en el plano (tringulos, crculos,etc)
se transforman en otras semejantes.

C -linealidad
Observemos que f (z) = z, C cumple :
i) f (z1 + z2 ) = f (z1 ) + f (z2 ) y
ii) f (z) = f (z) con C, f saca escalares complejos
(i) y (ii) quiere decir que f es C -lineal.
Las funciones C -lineales son tambin R- lineales, preservan ngulos (conformes) y
son invertibles.
As las cosas, la composicin de estas funciones (C -lineales) es conforme y la inversa
de f tambin, por tanto forman un grupo. Esto es importante pues ms adelante veremos
como esto nos ayudar a ahorrarnos muchos clculos.
Resumiendo lo visto anteriormente tenemos el siguiente teorema:
Teorema 2.2 Sea T : R2 R2 lineal (R- lineal) distinta de la transformacin cero
entonces las siguientas afirmaciones son equivalentes:
i) T es C -lineal.
ii) T es multiplicar por C .
iii)
de T respecto a la base usual es de la forma
La matriz
a b
.
b a
iv) T es una composicin de una rotacin y una homotecia.
v) T preserva ngulos (orientados).
Demostracin La equivalencia (ii)(iii)(iv) ya est clara de la discusin anterior,
as como (ii)(i) y (iv)(v).
37

(i)(ii):
Si T es C-lineal entonces T (z) = T (1)z = z, donde = T (1) C .
(v)(i):
Sean e1 y e2 la base usual de R2 . Como T preserva ngulos entonces T (e1 ) T (e2 ).

Adems T ( e1 + e2 ) y T ( e1 ) forman un ngulo de 45 , por tanto |T (e2 )| = |T (e1 )| .

Si T ( e1 ) =

(a, b) entonces T (e2 ) = (b, a) y la matriz tiene la siguiente forma:

a b
b a
Por tanto T es C-lineal.
Observemos que la conjugacin
compleja
no cumple ninguna de estas propiedades:

1 0
invierte ngulos, su matriz
no es de la forma adecuada y no es Clineal .
0 1
Tambin podemos tener transformaciones lineales (R-lineales) que no preservan

los ngu2 0
.
los, es decir, que no son conformes. Por ejemplo la que tiene como su matriz
0 1

2.1.2.

El Grupo Afn

Ahora si combinamos traslacin y rotacin con homotecia obtenemos las funciones

ms generales de la forma
f (z) = z +
C , C
38

las que son funciones conformes y tambin forman un grupo, un grupo ms grande
(el grupo afn).
Si agregamos el infinito entonces f () = , de aqu el nombre de afn (al infinito).
Tambin observamos que son polinomios de grado uno.
Aqu el cero no va a dar al cero. No se preservan las distancias. Sin embargo se
modifican guardando una proporcin, o sea, |f (z1 ) f (z2 )| = || |z1 z2 | .
Nos preguntamos:
Qu libertad tenemos para mandar un punto en otro, con una transformacin afn?
Podemos ver que con una traslacin T (z) = z + (z10 z1 ) , el punto z1 va al z10 .
y

Es decir, dados z1 , z10 , siempre existe una traslacin T tal que T (z1 ) = z10 .
Si damos ahora parejas de puntos (z1 , z2 ) y (z10 , z20 ) , existir una traslacin T tal
que T (z1 ) = z10 y T (z2 ) = z20 ? Claramente no siempre ser posible, porque al pedir
la primera condicin, T (z1 ) = z10 , la traslacin queda totalmente determinada y ya no
tenemos libertad para hacer que cumpla la segunda. Podemos solamente intentar ver si
esta traslacin tambin manda z2 en z20 . Si lo hace, bien; si no, el problema no tiene
solucin.
Podemos precisar la condicin que nos garantice resolver el problema: la nica traslacin
T que manda z1 en z10 es T (z) = z + (z10 z1 ). Que sta mande z2 en z20 quiere decir que:
z20 = T (z2 ) = z2 + z10 z1 ,
lo que equivale a z20 z2 = z10 z1 .
Geomtricamente esto es obvio: para que una traslacin lleve z1 en z10 y z2 en z20 es
necesario (y suficiente) que los vectores de z1 a z2 y de z10 a z20 sean iguales:

39

Si queremos mandar dos puntos en otros dos puntos dados necesitamos un grupo de
transformaciones mayor que el de las traslaciones. Veremos que siempre lo podemos hacer
mediante transformaciones afines:
Queremos mandar una pareja de puntos distintos en otra. Qu libertad tenemos
para hacerlo?
{z1, z2 } {z10 , z20 }
Podramos primero trasladar todo el plano al origen (mandando el punto z1 al 0) ,
0
luego giramos y expandemos (o contraemos) y luego nos regresamos al punto z1 .

Sean
T (z) = z z1 ,
z0 z0
S(z) = z con = z22 z11 ,
0
R(z) = z + z1 .
z0 z0
z0 z z z0
Componiendo (z) = R(S(T (z))) = ((z z1 )) + z10 = z22 z11 z + 1 z22 z11 2 = z +
Tambin podemos encontrar y resolviendo el siguiente sistema:
(z1 ) = z1 + = z10
(z2 ) = z2 + = z20
(z2 z1 ) = z20 z10
z0 z0
= z22 z11
= z10 z1 =

z10 z2 z1 z20
z2 z1

40

Pero otra manera ms elegante de verlo, que incluso muestra la unicidad de la transformacin es primero mandar {z1, z2 } en {0, 1} y {z10 , z20 } en {0, 1} , mediante las transz z10
z1
y
T
(z)
=
formaciones T1 (z) = zz
0 z0 :
2

z
z
2
1
2

Entonces T = T21 T1 manda la pareja {z1 , z2 } en {z10 , z20 }.

Si se tiene una transformacin S(z) = z + que manda {0, 1} en {0, 1} sta tiene
que ser la identidad, pues si S(0) = 0 + = 0 = 0, entonces S(z) = z pero
S(1) = 1 = 1 = 1, por tanto S(z) = z.
De aqu concluimos que T (z) es nica en general, porque si hubiera dos transformaciones diferentes, componindolas con T11 y T2 habra dos diferentes que mandan {0, 1}
en {0, 1} .
Conclusin 2.1 Existe una nica transformacin afn que manda una pareja de puntos
distintos en otra.
Cundo podremos mandar una terna de puntos distintos en otra?
Ya tenemos la transformacin que manda una pareja en otra:
T manda {z2 , z3 } en {z20 , z30 } .

tenemos que z1 = T (z1 ), ste nmero tiene que ser igual a z10 , si fueran iguales ya no
tendramos que pedir nada, pero resulta que no siempre ocurre, por lo que se necesita
pedir que sean iguales;
Por tanto tenemos:
Teorema 2.3 Existe una transformacin afn, que manda z1 , z2 , z3 en z10 , z20 , z30 si y slo
si
z1 z2
z 0 z20
= 10
z3 z2
z3 z20
41

Veamos cul es la geometra del asunto:

z2
Esta razn, zz13
, es un nmero complejo que caracteriza al tringulo, el que nos va
z2
a dar informacin de la proporcin de sus lados y el ngulo entre ellos:

2
arg zz13 z
= arg(z1 z2 ) arg(z3 z2 ) que es el ngulo sealado por la flecha
z2

z1 z2 |z1 z2 |
z3 z2 = |z3 z2 | es la razn entre los lados adyacentes.
Entonces esta relacin
z 0 z20
z1 z2
= 10
,
z3 z2
z3 z20

quiere decir que los tringulos formados por las ternas son semejantes, a su vez esto
quiere decir que la transformacin afn preserva la razn.
Toda la geometra de semejanza se puede escribir en trminos de complejos (geometra
afn)
(Ver apndice C)
Cundo tres puntos estn alineados?

2
cuando el arg zz13 z
= 0
z2

2
es un nmero real,
y esto ocurre cuando zz13 z
z2
As toda transformacin afn manda puntos alineados en puntos alineados.
Cundo un tringulo es tringulo rectngulo?
2
cuando zz13 z
= ir con r R
z2

42

Otro ejemplo sera la ecuacin de una recta,

z z2
R zz3 zz22 = zz3 zz22
z3 z2
de un crculo,
o la ecuacin

z z2
z3 z2 = 1, es decir, |z z2 | = |z3 z2 | .

2.2.

Transformaciones de Mbius

2.2.1.

Inversin

f : C C,
f (z) = 1z ,
Tenemos que 0 va al y va al 0.
A cada nmero complejo 6= 0 le corresponde su inverso:
f (z) = 1z = z 1 = |z|z 2
Esta transformacin manda todo lo que est dentro del crculo unitario (|z| < 1) a
todo lo que est fuera de l (|f (z)| > 1) y viceversa.
Consideremos la circunferencia unitaria:
0
En geometra moderna se define la inversin como sigue: si dos puntos p y p colineales
con el centro de la circunferencia de radio 1, cumplen con que el producto de sus distancias
0
0
al centro es igual uno, entonces p y p son puntos inversos. (d(0, p)d(0, p ) = 1). Se
demuestra que la inversin tiene muchas propiedades muy interesantes, como por ejemplo,
la preservacin de los ngulos en magnitud, pero invierte su orientacin.

43

Entonces la inversin de la geometra moderna se puede escribir en notacin compleja

como z (1/z). La inversin compleja sera la inversin usual seguida de la conjugacin.
Observemos cmo el reflejar con respecto al eje real, nos recupera la orientacin original
de los ngulos.
Las transformaciones que hemos visto (afines) mandan rectas en rectas y crculos en
crculos, a diferencia de f (z) = 1z , con la cual un crculo o una recta va a dar a un crculo
o una recta, es decir, no siempre crculos van a dar a crculos. Vemoslo:
crculo:
|z z0 | = r,
(z z0 ) (z z 0 ) = r2 ,
zz zz 0 z0 z + z0 z 0 r2 = 0.
Hacemos b = z0 , c = z0 z 0 r2 y obtenemos una ecuacin general:
azz + bz + bz + c = 0

a, c R, b C

Aqu estn todas las rectas y todos los crculos. (Ver Apndice C)
ab

Si a 6= 0 y bb ac > 0 tenemos un crculo con centro

y radio r =
Si a = 0 la ecuacin representa una recta cualquiera, bz + bz + c = 0.
f (z) = 1z = w,
azz + bz + bz + c = 0,
a w1 w1 + b w1 + b w1 + c = 0,
cww + bw + bw + a = 0,
a0 ww + b0 w + b0 w + c0 = 0,
donde a0 = c,
b0 = b,
c0 = a,
Entonces tenemos que:

44

bbac
.
a2

Un crculo que pasa por el origen (c = 0) va a una recta {} que no pasa por el
origen (a0 = 0).
Un crculo que no pasa por el origen va a otro crculo que no pasa por el origen.
Una recta que pasa por el origen (a y c = 0), va a una recta que tambin pasa por el
origen.
Una recta que no pasa por el origen (a = 0, c 6= 0), va a un crculo que pasa por el
origen.
Ahora si pensamos a una recta como un crculo de radio entonces estaramos
hablando slo de crculos, por tanto con esta modalidad tendramos que
1
manda crculos en crculos
z
Como transformacin 1z no est definida en z = 0, pero no es muy difcil corregir esta
situacin: si agregamos a C un punto al podemos definir f (0) = y f () = 0.
Veamos qu significa esto geomtricamente.
f (z) =

2.2.2.

La esfera de Riemann

S = {(x1 , x2 , x3 ) : x21 + x22 + x23 = 1}

: S {(0, 0, 1)} C
A casi todo punto de la esfera le asociamos un punto en el plano:
1 + ix2
(x1 , x2, x3 ) z = x1
x3
Podemos agregar el punto al infinito y que sea el punto imagen de (0, 0, 1) y obtener
b
una extensin de la funcin al plano extendido. : S C
La transformacin adquiere un sentido geomtrico claro, si se identifica z = x1 + ix2
con el punto (x1 , x2, 0). Entonces (p) va a ser el punto de interseccin de el plano (x1 , x2 )
con la recta en R3 que sale del punto (0, 0, 1) y pasa por el punto p (ver dibujo).

La funcin es llamada la proyeccin estereogrfica, con (0, 0, 1) = . Como se

b S
trata de una
funcin biyectiva, podemos
hallar su inversa 1 : C

2
1 (z) = |z|2x
, 2y , |z| 1
2
+1 |z|2 +1 |z|2 +1
45

 es continua y su inversa tambin lo es, en el sentido de que si z (0, 0, 1), entonces

(z) y viceversa, a lo que se le llama un homeomorfismo. Es decir que desde un
punto de vista topolgico la esfera y el plano extendido son equivalentes.
Esto resulta muy til, pues es una manera de representar al plano complejo extendido
b C
b (polinomios, cociente de polinomios, 1 , transformaciones
y visualizar las funciones C
z
afines, etc)
Por ejemplo f (z) = z 2 . Esta funcin z 2 mandar a la esfera dos veces sobre s misma
y se estira hacia el polo sur y hacia el polo norte: Un crculo paralelo al ecuador cerca de
va a otro crculo recorrido dos veces, ms cerca de . El crculo unitario (ecuador)
va al ecuador recorrido dos veces. Un crculo paralelo al ecuador cerca del cero va a otro
crculo recorrido dos veces, ms cerca de cero.

2.2.3.

Transformaciones de Mbius

Agregando la inversin a las transformaciones afines tenemos transformaciones de

b
b de la forma
CC

az + b
con ad bc 6= 0
cz + d
las que se llaman de Mbius en honor del matemtico alemn A.F. Mbius (17901868). Tambin se les llama transformaciones lineales fraccionarias. Asimismo, se trata
de cocientes de polinomios de grado uno, por lo que son a la vez funciones racionales.
Cuando ad bc = 0, el numerador es mltiplo del denominador por una constante y
f (z) es constante, por eso las excluimos.
Si c = 0 entonces a 6= 0, esto implica que f (z) = z + con = ad y = db y
f () = , es decir tenemos las transformaciones afines.
Si c 6= 0, tenemos que f ( dc ) = y cuando nos movemos hacia el , la transformacin de Mbius tiende al valor ac , es decir f () = lm f (z) = ac .
z
b en C
b biyectiva, por tanto podemos enLo que tenemos es una transformacin de C
contrar su inversa que va
a ser de la misma forma.
f (z) =

46

Ejemplo 2.1 T (z) = ziz+11

T (1) =
T () = i
Todos los crculos que pasan por el 1 van a rectas que no pasan por i.
Todas las rectas que pasan por 1 (crculos de radio ) van a rectas que pasan por i.
Todo lo que pasa por i viene del , por lo que las rectas van a crculos que pasan
por i.
Otra manera de pensar esto, es con la proyeccin estereogrfica, las rectas en el plano
van a dar a crculos que pasan por el polo norte y los crculos del plano van a dar a
crculos que no pasan por el polo norte, es decir, los crculos van a dar a crculos.
Una transformacin de Mbius
tambin
la podemos representar mediante una matriz
a b
compleja de dos por dos A =
invertible. Y al revs, dada cualquier matriz
c d
que cumpla la condicin det A = ad cb 6= 0, podemos asociarle una transformacin
de Mbius. Esta correspondencia (a pesar de que no es biyectiva, porque una matriz A
y cualquiera de sus mltiples escalares A definen la misma transformacin de Mbius)
tiene la ventaja de que permite usar las operaciones con matrices para encontrar composiciones e inversas de transformaciones de Mbius.
Consideremos
dos conjuntos:

M1 = traslaciones, rotaciones, homotecias, z1 y todas sus composiciones

M = f (z) = az+b
a, b, c, d C, ad cb 6= 0 (conjunto de las transformaciones
cz+d
de Mbius)
Vamos a demostrar que el conjunto de transformaciones de Mbius forma un grupo
b mdulo una homotecia ).
bajo la composicin. (Este se denota por GL(2, C)/

b
Proposicin 2.1 M es un grupo de transformaciones de C
Demostracin 1) Si T, T 0 M entonces T T 0 M
0 z+b0
T (z) = az+b
T 0 (z) = ac0 z+d
0
cz+d
0

T (T (z)) =

z+b
a ac0 z+d
0 +b
z+b
c ac0 z+d
0 +d

(aa0 +bc0 )z+ab0 +bd0

(ca0 +dc0 )z+cb0 +dd0

la forma corresponde a una transformacin de Mbius, pero faltara demostrar que

(aa0 + bc0 )(cb0 + dd0 ) (ca0 + dc0 )(ab0 + bd0 ) 6= 0
Esto se puede hacer directamente, pero es mejor hacerlo con matrices:
00 z+b00
T (T 0 (z)) = ac00 z+d
donde a00 = (aa0 + bc0 )
00
b00 = (ab0 + bd0 )
c00 = (ca0 + dc0 )
d00 = (cb0 + dd0 ).
Luego, la composicin de transformaciones de Mbius se corresponde con el producto
de matrices:
0 0
00 00
a b
a b
a b
=
00
00
c d
c d
c0 d0
47

Como el determinante de un producto de matrices es el producto de sus determinantes,

tenemos que

a00 b00
6= 0 y
det
c00 d00
por tanto T T 0 M.
2) Si T M entonces T 1 M. Es decir que existe la inversa y sta pertenece a M.
dzb
Si T (z) = az+b
, podemos encontrar explcitamente la funcin inversa T 1 (z) = cz+a
cz+d
; esta funcin esde la forma
deseada. Tambin podemos encontrarla calculando la matriz
a b
, aunque no es necesario incluir el factor constante dado por el
inversa de A =
c d
determinante.

ad bc 0
d
b
a b
=
0
ad bc
c a
c d
(adbc) z+ 0
1
T (T (z)) = 0 z+ (adbc) = z

As, tenemos que M = T (z) = az+b

,
a,
b,
c,
d

C,
con
ad

cb
=
6
0
es un grupo
cz+d
b
b
de transformaciones de C C.X
Teorema 2.4 M1 = M

Demostracin i) M1 M : como todas las transformaciones afines estn en M

1
(z + = 0 z+1
), y la inversin est en M ( 1z = 01 zz +
), tambin estn todas sus
z+ 1
+0
composiciones, porque M es cerrado bajo composicin.X
ii) M1 M : Ahora hay que demostrar que toda transformacin de Mbius se puede
obtener como composicin de homotecias, rotaciones, traslaciones y la inversin.
T (z) = az+b
cz+d
Si c = 0, esto es fcil: T es una transformacin afn, T (z) = az+b
= ad z + db , y es
d
composicin de una homotecia, una rotacin y una traslacin.
Veamos que al componer con una inversin (y un poco ms) podemos reducir las
cosas al caso c = 0 :
Que c 6= 0, significa que T no es afn, es decir que T () 6= : T () = ac . Pero
podemos mandar de regreso este punto al infinito mediante una traslacin T1 (z) = z ac
(que lo manda al cero), seguida de la inversin S(z) = z1 que manda 0 al .
Luego la composicin S T1 T = T 0 manda en , es afn, y por el caso c =
0 sabemos que es composicin de una homotecia, una rotacin, una traslacin. Luego
T = T11 S 1 T 0 es tambin composicin de homotecias, rotaciones, traslaciones e
inversin.X
Ejercicio 2.1 Basndose en la demostracin anterior, escribir explcitamente T como
composicin de homotecias, rotaciones, traslaciones e inversin. Comparar el resultado
con lo que aparece en el libro de Ahlfors.

48

2.2.4.

Invariancia de crculos, ngulos y razn cruzada.

De lo anterior, podemos ya asegurar que: Toda transformacin de Mbius manda

crculos en crculos.
En efecto, ya sabemos que todas las transformaciones afines y la inversin mandan
crculos en crculos, y que cualquier transformacin de Mbius es composicin de stas!X
Otra manera de verlo es, como en el caso de la inversin, substituyendo z = T (w) en
la ecuacin de un crculo, para ver que se obtiene la ecuacin de otro crculo.
Veremos otra demostracin de esto y de que adems se preservan los ngulos entre
los crculos, en base a entender, como lo hicimos antes con las traslaciones y las afines,
cundo podemos mandar un conjunto de puntos en otro mediante una transformacin de
Mbius.
0
0
0
b existe
Teorema 2.5 Dadas {z1 , z2, z3 }, {z1 , z2 , z3 } dos ternas de puntos distintos de C,
0
0
0
una nica T M tal que T (z1 ) = z1 , T (z2 ) = z2 , T (z3 ) = z3

(Nota:Compara con las transformaciones afines! Ahora tenemos un grupo mayor de

transformaciones y podemos hacer ms cosas que antes).
Demostracin Podemos escribir las ecuaciones T (zi ) = zi0 y encontrar los coeficientes
de T. Pero es ms claro ver un caso particular, y reducir el caso general a ste utilizando
las propiedades de grupo.
Queremos encontrar una transformacin de Mbius que mande {z1 , z2 , z3 } en {0, 1, } .
z1
Con (z) = zz
mandamos a z1 al 0 y a z3 al ,
z3
z1
,
y para que suceda que z2 va al 1, habra que buscar quin es k en (z) = k zz
z3
z2 z1
1 = k z2 z3 ,
z1 z2 z3
por lo que la transformacin buscada es (z) = zz
z3 z2 z1
(z1 ) = 0, (z2 ) = 1, (z3 ) = .
0

La transformacin que manda la terna {z1 , z2 , z3 } en {0, 1, } es:

z z0 z0 z0
0 (z) = z z10 z20 z30 .
3
2
1
Por tanto, por las propiedades de grupo de M, tenemos que T (zi ) = ( 0 )1 (zi ) = zi0 .
Unicidad:
Sean T1 y T2 dos transformaciones de Mbius que mandan la terna {z1 , z2, z3 } en
0
0
{z1 , z2 , z30 }.
Nosotros queremos demostrar que T1 = T2 .
49

Si la transformacin que manda al {0, 1, } es nica no hay problema, pues si 0 T1

y 0 T2 : {z1 , z2 , z3 } {0, 1, } entonces T1 = T2 .
Tomemos ()1 : {0, 1, } {z1 , z2 , z3 } ,
as tenemos que:
0 T1 ()1 : {0, 1, } {0, 1, } ,
0 T2 ()1 : {0, 1, } {0, 1, } .
Probemos que 0 T1 1 es la identidad.
Tenemos que f (z) = az+b
manda a {0, 1, } en {0, 1, } ,
cz+d
b
f (0) = d por tanto b = 0,
f () = ac por tanto c = 0,
y f (1) = ad por tanto a = d.
Y si va , es de la forma z + ; y si el 0 va al 0 entonces = 0;
f (1) = 1 = 1 entonces = 1.
Por tanto 0 T1 1 = I (Identidad) de aqu se concluye que T1 = T2 .X
Ahora, si tenemos cuatro puntos distintos {z1 , z2 , z3 , z4 }y queremos mandarlos a otros
cuatro puntos distintos {z10 , z20 , z30 , z40 },lo podremos hacer?
En general no se puede. De acuerdo con el teorema anterior, podemos mandar tres
puntos distintos en otra terna de puntos, T (zi ) = zi0 . La imagen del cuarto punto bajo
la transformacin T , T (z4 ) = z4 , no necesariamente es igual al punto que queremos z40 .
Entonces hay que pedir que sean iguales (z4 ) y 0 (z40 ) . Es decir, se tiene que cumplir
z40 z10 z20 z30
z1 z2 z3
que zz44
=
.
z3 z2 z1
z40 z30 z20 z10
Por tanto tenemos:
Teorema 2.6 Dados {z1 , z2 , z3 , z4 } y {z10 , z20 , z30 , z40 } existe una nica transformacin de
z40 z10 z20 z30
z1 z2 z3
Mbius que manda zi en zi0 , i = 1, .., 4 si y slo si zz44
=
.
z3 z2 z1
z0 z0 z0 z0
4

Razn Cruzada (RC)

z2 z3 z4
Sea S(z) = zz
, esta transformacin manda a {z2 , z3 , z4 } en {0, 1, } , re z4 z3 z2
spectivamente.
z2 z3 z4
Al valor S(z1 ) = zz11
se le llama razn cruzada y se denota RC(z1 , z2 , z3, z4 ),
z4 z3 z2
RC(z1 , z2 , z3, z4 ) =

z1
z1
z3
z3

z2
z4
z2
z4

razn de razones,

si alguno de los puntos z2 , z3 , z4 es igual a , la razn es simple:

z3 z4 z z2
,
y zz3 zz22 respectivamente.
z z4 z z4
Teorema 2.7 Toda transformacin de Mbius T preserva la razn cruzada.
z2 z3 z4
Demostracin Sea S(z) = zz
.
z4 z3 z2
Al considerar la transformacin ST 1 , los puntos {T (2 ), T (z3 ), T (z4 )} van a {0, 1, }.
Entonces la razn cruzada de (T (z1 ), T (z2 ), T (z3 ), T (z4 )) = S(T 1 (T (z1 )).
S(T 1 (T (z1 ) = S(z1 ) = (z1 , z2 , z3 , z4 )
por tanto T preserva la razn cruzada.X

50

Si cuatro puntos estn en crculo Cmo podemos expresarlo en funcin de la razn

cruzada?
Si mandamos tres en 0, 1, el cuarto punto tiene que estar en el eje real.
Si z1 , z2 , z3 , z4 estn en un crculo si y slo si RC(z1 , z2 , z3 , z4 ) R.
z1
z1
z3
z3

z2
z4
z2
z4

R esto implica que arg(

z1
z1
z3
z3

z2
z4
z2
z4

)=0

z2
z3
arg( zz11
) + arg( zz42
) = .
z4
z3
En la figura son los ngulos opuestos de un cuadriltero cclico.
Y si estn en una recta los cuatro puntos tambin la razn cruzada es real.

Una demostracin analtica es la siguiente:

RC(z, z2 , z3 , z4 ) R
z2 z3 z4
z2 z3 z4
z2 z3 z4
= zz
= zz
zz
z4 z3 z2
z4 z3 z2
z4 z3 z2
(z z2 )(z z 4 )(z3 z4 )(z 3 z 2 ) = (z z4 )(z z 2 )(z3 z2 )(z 3 z 4 )
(z z2 )(z z 4 )w0 = (z z4 )(z z 2 )v0
v0 = w0
zz(w0 v0 ) + z(z 2 (v0 ) z 4 (w0 )) + z(z4 (v0 ) z2 (w0 )) + (z2 z 4 (w0 ) z4 z 2 (v0 )) = 0
que es la ecuacin general de un crculo (o de una recta).
Por lo que si tomamos tres puntos z1 , z2, z3 que definan un crculo, entonces cualquier
transformacin de Mbius manda el punto z en otro punto del crculo definido por T (z2 ),
T (z3 ), T (z4 ).
Por todo lo anterior tenemos el siguiente teorema:
Teorema 2.8 Toda transformacin de Mbius manda crculos en crculos.
Cualquier propiedad que se pueda expresar en trminos de la razn cruzada resulta
ser invariante, por ejemplo la preservacin de ngulos orientados.
Tomemos dos crculos C y C 0 que se corten en dos puntos z1 y z2 .
51

Escogemos dos puntos z0 en C y z00 en C 0

Afirmamos que ^ (CC 0 ) = arg(RC(z00 , z1 , z0 , z2 )).

Observemos en el dibujo que :
z z0
z0
1) = 2 y 0 = 2 0 = 2 arg( zz21
) y 0 = 2 arg( z12 z00 ).
z0
0
2) + = 2 y + 0 = 2 2 = 2.
0
3) Del tringulo formado por 0, 00 y z1 tenemos 2 + 2 + + 2 = ,
z z0
z0
) + arg( z12 z00 ), o bien
por tanto = arg( zz21
z0
z0 z

z2
^(CC 0 ) = arg( z00 z21 . zz00
) = arg(RC(z00 , z1 , z0 , z2 )).
z1
0
En el caso de dos rectas :

Si z2 = , la razn es simple: RC(z00 , z1 , z0 , z2 ) =

z00 z1
.
z0 z1

Ejercicio 2.2 Dejamos al lector, demostrar el caso del ngulo entre una recta y un
crculo.
Otra demostracin ms sencilla consiste en reducir el caso general al caso de dos
rectas, mandando un punto de interseccin al (Ver el libro de Ahlfors).
Teorema 2.9 Toda transformacin de Mbius preserva ngulos (orientados)

Conclusin 2.2 Las transformaciones de Mbius son un grupo de transformaciones que

b C,
b que preservan razn cruzada, mandan crculos en crculos y preservan
van de C
ngulos orientados.
Para ver la relacin con la geometra hiperblica, ver apndice E.
52

2.2.5.

Introduccin a las funciones Racionales

Las transformaciones de Mbius son un caso particular de las funciones racionales.

P (z)
Una funcin racional es un cociente de polinomios, R(z) = Q(z)
donde P, Q no tienen
races comunes.
Los ceros de Q(z) son los polos de R. En estos puntos, definimos R como .
Los ceros de P (z) son los ceros de R.
El grado de R se define como el m
ax{grado(P ), grado (Q)}. Ms adelante veremos
que el grado tiene que ver con el nmero de preimgenes de un punto w, es decir cuntos
puntos z van a dar al valor w. Por ejemplo, si tenemos z 3 y z13 , son funciones racionales
b tiene tres preimgenes en C.
b De esta manera el grado
de grado 3. Todo punto w C
tiene que involucrar tanto al denominador como al numerador.
A dnde va el ?
Tenemos un cociente de funciones tales que tienden a infinito cuando z , aqu
lo importante es ver que tan rpido se van, quin es el que domina y los grados nos
proporcionarn informacin:
Sean
P (z) = an z n + ... + a0
Q(z) = bm z m + ... + b0
Si n > m, P tiende a ms rpido que Q y R tiende a . Si n < m, es al revs, y
R tiende a 0. Para precisar estos argumentos podemos escribir
an + ... + a0 z n
bm + ... + b0 z m
El cociente tiende a bamn cuando z tiende a .
Luego R(z) si n > m, R(z) 0 si n < m y R(z) bamn si n = m. As podemos
definir R() como sigue:
si n > m entonces R() =
si n < m entonces R() = 0
si n = m entonces R() = bamn 6= 0,
b C
b bien definidas y CONTINUAS!
Por tanto tenemos que son funciones de C
R(z) = z nm

2.3.

Anlisis geomtrico

2.3.1.

z2 como transformacin del plano. Duplicacin y preservacin de ngulos

f (z) = z 2 . El cero va a dar al cero. El crculo unitario va a dar al crculo unitario

recorrido dos veces.
Cuando hemos recorrido apenas en el plano z, en el plano w ya recorrimos todo el
crculo.
53

z1 = cos + isen y z1 = cos ( + ) + isen( + ) van a dar al mismo punto (aqu

la funcin no es inyectiva).
Un crculo de radio r < 1 va en otro crculo de radio r2 < r y recorrido dos veces.
Un crculo de radio r > 1 va en otro crculo de radio r2 > r y recorrido dos veces.
Ahora consideremos la funcin f (z) = z 2 + c, o bien f (z) = az 2 + c, c C.
La primera podra pensarse como z 2 y luego una traslacin de valor c; y la segunda
como z 2 , luego una rotacin y homotecia y al final trasladamos un valor c.
Recordemos cmo le hacamos en el caso real, cmo entendamos un polinomio de
grado dos?
p(x) = ax2 + bx + c
Cmo sabamos que es una parbola?
Completando cuadrados:

2
b2
b2
b2
+ c 4a
=
ax + 2b a + c 4a
.
ax2 + bx + c = ax2 + bx + 4a

b
Si a > 0, 2a
es la abcisa del punto en donde se dobla la recta. Haciendo el cambio
de variable x0 = ax + 2b a obtenemos la expresin de una parbola x02 + b0 , doblada en
otro punto y subida o bajada un valor b0 .

Ejemplo 2.2 P (x) = x2 + 2x = (x + 1)2 + 1

5

3.75

2.5

1.25
0
-3.75

-2.5

-1.25

0
-1.25

54

1.25

2.5
x

Ahora si hacemos lo mismo para el caso en C :

2
2
2
2
p(z) = z 2 + bz + c = z 2 + bz + b4 + c b4 = z + 2b + c b4 .
Vemos que aqu tambin tenemos un punto especial, cuando tenamos z 2 , el cero tiene
slo una preimagen (los puntos en el plano-z que van a dar a un punto w) y todos los
dems tienen dos preimgenes diferentes. Aqu el punto especial es z = 2b y los puntos
simtricos con respecto al punto especial que van a dar al mismo valor son: 2b +u, 2b u

Lo mismo que ocurre con z 2 en torno al origen, aqu ocurre en torno al punto 2b .
Con un cambio de variable z 0 = z + 2b ,
z 02 + algo = hacer z 2 y luego trasladar un valor
Como composicin tendramos:

Un crculo con centro en 2b va a dar a un crculo con centro en el origen y luego va a

dar a otro crculo con centro en el origen pero recorrido dos veces y luego lo trasladamos
2
2
un valor c b4 (el origen va a dar al punto c b4 ).
Se ve mejor si no dibujamos los ejes. Tengo un punto y los crculos alrededor de l
van a dar a otros alrededor del otro punto:

As en general (z z0 )2 + c, cada crculo alrededor de z0 , lo manda a otro crculo

alrededor del punto recorrido dos veces.
Si multiplicamos la funcin por un valor 6= 0, g(z) = ((z z0 )2 + c), todo lo que
55

tenamos lo giramos y lo expandemos (o contraemos). En resumen, si entendemos cmo

es la transformacin z 2 podemos saber cmo es la de cualquier otro polinomio de segundo
grado.
Volviendo a z 2 , la imagen bajo z 2 de un crculo con centro en el origen (no consideremos el radio), es otro crculo recorrido dos veces, pero dibujado en el plano-w lo vemos
como un solo crculo, no se distingue la segunda vuelta.
Qu pasara si metemos una pequea variacin? Qu pasa si tomamos un crculo
cuyo centro est ligeramente desplazado del origen?

Siguiendo los puntos de este crculo observamos lo siguiente:

Si consideramos la parte del crculo que est en el primer cuadrante, el argumento
del punto z vara de 0 a 2 y la elevamos al cuadrado, el argumento del punto z 2 vara
de 0 a quedndonos una curva como un pedazo de crculo; y al recorrer la parte II,
la curva imagen da una vuelta alrededor del origen, por tanto si vamos recorriendo las
dems partes de los cuadrantes (III, IV), obtenemos que la curva imagen es una curva
cerrada que da dos vueltas alrededor del 0 y tiene una forma como de un arete.
Vemos as que z 2 no manda en general crculos en crculos.
Ejercicio 2.3 Ver qu pasa cuando vamos alejando el centro del crculo del origen.
Y finalmente las rectas que pasan por el origen van a dar a rayos con el doble de
ngulo de la recta original
.

56

Podemos concluir que una malla de este tipo:

bajo z 2 sera otra malla del mismo tipo, la diferencia es que los crculos estn recorridos
dos veces (expandidos o contrados) y las rectas que pasan por el origen son realmente
rayos que salen del cero.
Los ejes (real e imaginario) se doblan como sigue:
El eje real va al eje real positivo.
El eje imaginario va al eje real negativo.
La imagen inversa de un crculo (con centro en el origen) y una recta que pase por el
origen, es un crculo y dos rectas respectivamente.

Ahora veamos la imagen de una malla as:

57

Tenemos que en coordenadas x, y la transformacin se escribe:

(x, y) (x2 y 2 , 2xy)
Tomemos un punto (a, b). La imagen de la recta horizontal (t, b) que pasa por este
punto queda parametrizada por 1 (t) = (t2 b2 , 2tb).
Es fcil ver que la imagen es una parbola: si u = t2 b2 y v = 2tb, eliminando t
obtenemos la ecuacin u = v2 /4b2 b2 .
La imagen de la recta vertical (a, t) tambin es una parbola, parametrizada por
2 (t) = (a2 t2 , 2at).
Y la imagen son parbolas cruzadas:

z2
Cmo se cruzan estas parbolas?
El ngulo entre ellas ser el ngulo entre sus vectores tangentes en el punto f (a, b).
Calculando:
01 (t) = (2t, 2b)
02 (t) = (2t, 2a)
01 (a) = (2a, 2b), 02 (b) = (2b, 2a)
por tanto las curvas imagen se cortan ortogonalmente.

58

Podemos tambin entender cmo se ve la transformacin viendo la imagen inversa de

algunas curvas.
Qu familia de curvas bajo z 2 van a dar a la siguiente malla?

Buscamos la imagen inversa de la malla de rectas horizontales y verticales:

Para las rectas verticales:
c>0:
x2 y 2 = c aqu tenemos hiprbolas con asntotas en las rectas y = x
c<0:
y 2 x2 = c obtenemos las hiprbolas conjugadas

59

Para las rectas horizontales:

2xy = c tenemos hiprbolas con asntotas en los ejes coordenados y que son ortogonales a las otras hiprbolas.

por tanto la imagen inversa de la malla queda as:

60

Dos familias de hiperblas. Para ver el ngulo entre ellas tomemos el ngulo entre sus
vectores normales. Para las hiperblas de ecuacin 2xy = c, los vectores normales estn
dados por el gradiente de 2xy que es (2y, 2x). Para las de ecuacin x2 y 2 = c el vector
normal es (2x, 2y). Como estos vectores son ortogonales, las hiperblas son ortogonales
en cada punto de interseccin.
Si tuviramos inclinada la malla de rectas Cul sera su imagen directa bajo z 2 ?
Se podra parametrizar las curvas e ir viendo su imagen o bien podemos utilizar lo que
ya hemos hecho. Si la malla est inclinada, con un giro podemos "enderezarla" y elevar al
cuadrado obtenemos las parbolas, volvemos a girar las parbolas con otro ngulo para
obtener la imagen de la malla inclinada.
Es decir, z (cos + i sin )z (cos 2 + i sin 2)z 2 z 2 .
Giramos un ngulo = 4 ,
y

6.25

3.75
2

2.5

1
0

1.25
0
-6.25 -5

-3.75 -2.5

-1.25
-1.25
-2.5

1.25 2.5

3.75 5

-5

6.25

-4

-3

-2

-1

-1

-2

-3.75

-3

-5

-4

-6.25

-5

elevamos al cuadrado y giramos un ngulo 2 = 2 :

61

-25

-20

-15

-10

50

25

40

20

30

15

20

10

10
0

5
0

-5
-10

10

15

20

25

-50

-40

-30

-20

-10

10

20

30

40

50

-5
x

-20

-10

-30

-15

-40

-20

-50

-25

As obtenemos las parbolas inclinadas. Lo que hemos demostrado es que cualquier

malla de rectas(horizontales-verticales) bajo z 2 nos la manda a otra malla pero de parbolas.
Algo similar ocurre si tomamos la imagen inversa de una malla de rectas inclinadas,
que ser una familia de hiprbolas inclinadas.
Si el ngulo de la malla "inclinada"es , giramos las hiprbolas un ngulo 2 , multiplicndolas por un valor donde arg() = 2
y

5
4
3
2
1
0

-5

-4

-3

-2

-1

-1
-2

-3
-4
-5

luego elevamos al cuadrado para obtener la malla de rectas horizontales-verticales y al

final multiplicamos por otro valor , donde arg() = para obtener la malla inclinada.
Lo que escencialmente estamos haciendo es z 2:
z z (z)2 (z)2 por lo que si = 1 ,

2
1 z = 1 z 2

(1 z 2 ) = z 2 .
Ahora si tenemos crculos centrados en (1, 0) y radio r menor que uno, las imgenes
sern curvitas alrededor del 1, que se van a ir pareciendo a un cacahuate:

62

Cuando el crculo sea tangente a las rectas de pendiente 1, los argumentos del crculo
variarn de 4 a 4 que al duplicarlos la imagen quedar entre 2 y 2 y el mdulo de
z ms pequeo es menor que 1 (6= 0) y el ms grande mayor que 1, por lo tanto los
mdulos de las imgenes variarn de un valor muy cerca del cero a un valor mayor que
1, quedando una curva imagen as:

La imagen de un crculo con centro en (1, 0) y radio 1 bajo z 2 , es la cardioide:

63

Es importante observar que cuando pasamos por el cero, la curva imagen no es una
curva lisa, sino que tiene un "pico".
La imagen de un crculo con centro en (1, 0) y radio un poco mayor que 1 bajo z 2 ,
es una curva que le da ya dos vueltas al cero y es como decamos de tipo arete:

Hay un cambio cualitativo cuando pasamos por el punto z = 0, empezamos en la

imagen con curvitas casi crculos, se van deformando continumente, todas dando un sola
vuelta hasta llegar a dar dos vueltas. Es decir que el punto especial es el cero.
Ahora consideremos una malla de crculos concntricos de radio k con centro en otro
punto distinto del cero, por ejemplo z = 1 :

64

y
2.5

1.25

0
-2.5

-1.25

1.25

2.5
x

-1.25

-2.5

Buscamos la imagen inversa de los crculos con centro en 1, es decir:

{z : |z 2 1| = k} = {z : |z 1| |z (1)| = k}.
Buscamos los puntos z cuyo producto de las distancias al 1 y al 1 es constante.
La familia de curvas que buscamos son las curvas de nivel de la superficie definida
por f (z) = |z 2 1| .
Si k = 0, es claro que los puntos z = 1 y z = 1 satisafacen |z 2 1| = 0. O bien los
puntos puntos (1, 0) y (1, 0).
Si k = 1, tenemos la curva Lemniscata:
2
desarrollando |z 2 1| = 1 encontramos (x2 + y 2 ) = 2(x2 y 2 ), que si lo expresamos
en coordenadas polares tenemos r2 = 2 cos 2 :
y

0.5

0
-1

-0.5

0.5

1
x

-0.5

-1

Lemniscata
Al elevar al cuadrado la parte de la curva que est en el primer cuadrante, tenemos el
semicrculo y cuando recorremos el segundo cuadrante obtenemos el crculo. Terminamos
de recorrer la Lemniscata y obtenemos otra vuelta del crculo.
Cuando k es pequea menor que 1 tenemos dos curvitas (casi crculos) alrededor del
65

1, 1.
y

1.5

0.5
0
-1.5

-1

-0.5

0.5

1.5
x

-0.5

-1

-1.5

k<1
Observemos que el argumento de los puntos z en la curva alrededor del 1, varan
alrededor de y que al elevarlos al cuadrado su argumento estar variando alrededor
de 2. Cuando el valor de k va tendiendo a 1, las curvitas van teniendo la forma de un
"huevo".
Si k > 1, tenemos una curva como la siguiente:
y

0.75
0.625
0.5
0.375
0.25
0.125
0

-1.5 -1.25 -1

-0.75 -0.5 -0.25 0

-0.125
-0.25

0.25 0.5

0.75 1

1.25 1.5
x

-0.375
-0.5
-0.625

Si el valor de k es cada vez ms grande, la imagen inversa se va ir pareciendo cada

vez ms a un crculo.
En las siguientes figuras vemos la supercie f (z) = |z 2 1| y las curvas de nivel:

66

Entonces esta familia de curvas que llenan el plano, se llaman Curvas de Cassini1 .
Al aplicarles z 2 nos da la familia de crculos con centro en el uno y radio k (que tambin
llenan el plano).

Curvas de Cassini
Ejercicio 2.4 Encontrar la imagen directa e inversa de las rectas que pasan por z = 1,
completando as las dos familias de curvas a una malla ortogonal.
1

Introducidas por el astrnomo italiano-frncs Jean-Dominique Cassini (1625-1712)

67

Hemos visto que la transformacin z 2 preserva ngulos entre muchas curvas que se
cruzan fuera del origen. Ser esto cierto en general?
Para demostrarlo recordemos qu pasa con los vectores tangentes bajo una transformacin.
Si f : R2 R2 y tenemos una curva (t) en R2 . Su imagen es la curva (t) = f ((t)).
El vector tangente a esta curva es 0 (t) = Df ((t)). 0 (t).

donde Df ((t)) es la derivada de f en el punto (t), es decir, la transformacin lineal

dada por la matriz jacobiana de f = (f1 , f2 ) :
!

f1
x
f2
x

f1
y
f2
y

En el caso de z 2 , f (x, y) = (x2 y 2 , 2xy) y la matriz jacobiana es

2x 2y
2y 2x
que, para (x, y) 6= 0, es una matriz que preserva ngulos, como vimos en el captulo
uno. Luego queda demostrado que z 2 preserva siempre ngulos entre curvas.
Ejercicio 2.5 Obsrvese que la matriz jacobiana anterior es la que corresponde al complejo 2z.
Qu relacin hay entre esta funcin y la transformacin z 2 ?

2.3.2.

Raz cuadrada. Otras potencias y races.

Qu es z?
Recordemos qu tenamos en R :

68

25

20

15

10

5
0
-5

-2.5

2.5

5
x

Dado un valor de y existen dos races y tenemos que escoger una. Existe una manera de
escogerla, que es tomar la positiva.

raz cuadrada no negativa, x 0

x={
nada,
x<0
y esta funcin es derivable casi en todos los puntos:
y
3
2.5
2
1.5
1
0.5
0
0

2.5

7.5

10
x

Ahora en C: sabemos que z1 , z1 al elevarlos al cuadrado van a un punto w.

Bajo qu criterio escogemos una raz ?
Consideremos el 1.
Un primer intento es:
Definicin:
Al punto r(cos + isen) le asociamos r1/2 (cos 2 + isen 2 ) donde (, ]. Con
sta definicin tenemos ya problemas, porque al tomar una sucesin en el semiplano
superior que converga al 1, la funcin tiende al valor i, pero al tomar otra sucesin en
el semiplano inferior, los valores de la funcin tienden al valor i. La funcin resulta no
continua en todo el eje real negativo.
El problema no est tanto en la definicin sino que si tomamos un punto cualquiera w
y lo movemos continuamente, por ejemplo por un crculo alrededor del origen, entonces
en la imagen empezamos en el punto z1 y terminamos en z1 (el punto opuesto). Lo que
estamos haciendo es ir sacando la mitad del ngulo.
Conclusin 2.3 No existe una funcin f (w) tal que
69

1) Est bien definida para toda w C

2) Sea continua
3) Cumpla f (w)2 = w
Entonces Qu podemos hacer con la funcin multivaluada?
Definir f (w) = la raz con parte real positiva
y escoger un dominio U = C { eje

real negativo}, esto es una rama continua de w. Tambin podemos definir otras ramas.
La eleccin del dominio puede ser cualquier regin quitndole algo para no darle la
vuelta al cero:

Esto tambin es vlido para cualquier funcin algebraica: (w) n .

Ejemplo
2.3
f
(z)
=
z 2 1 buscamos una regin donde se pueda definir.

z 2 1 = z 1 z + 1 . Dnde vale cero z 2 1?

Si tomamos C {(, 1] [1, )} como dominio, esta bien definida la raz.
O bien C {[1,
que al tomar un valor y le damos la vuelta a las dos races,
1]} Por
cambia el signo de z 1 z + 1 y llegamos al mismo valor.
p
Ms en general p(z), buscamos sus races y evitamos darles la vuelta.
Podemos tener regiones as:

2.3.3.

Polinomios y funciones Racionales

Sea p(z) = az n
Mas adelante veremos que la derivada es el lm

h0

70

p(z+h)p(z)
h

, para todo z C.

Dado que
p(z + h) p(z)
a(z + h)n az n
=
= anz n1 + h(R(h, z)),
h
h
donde R(h, z) es continua, y tomando el lmite tenemos que:
p0 (z) = anz n1 .
La matriz jacobiana que obtuvimos de ver a z 2 como funcin de R2 R2 , tiene que
ver con la derivada de z 2 :

2x 2y
(2x + i2y) = 2(x + iy) = 2z
2y 2x
Si vemos a z 3 como funcin de R2 R2 ,

f (x, y) = (x3 3xy 2 , 3x2 y y 3 ),

la Matriz jacobiana es:

2
x y 2 2xy
3x 3y 2 3 2xy
=3
3z 2
3 2xy
3x2 3y 2
2xy
x2 y 2

Esto tambin es vlido para z n . Veamos.

Supongamos por induccin que: se vale para z n , es decir:
z n = (An (x, y), Bn (x, y)) ,

An
x
Bn
x

An
y
Bn
y

nz n1 = (z n )0 ,

queremos ver que se vale para n + 1 :

z n+1 = z n z = (An + iBn ) (x + iy) = (xAn yBn ) + i(Bn x + An y)
sacamos la matriz jacobiana:
An
n
n
x A
x x + An y B
x
y
An
Bn
An
y x + Bn + x x y y

An An
x y
An
x
y
+
Bn
Bn
y x
Bn
x
y

n
y B
Bn
y
=
n
+ An + B
x
y

Bn
znz n1 + z n
An

= nz n + z n = (n + 1)z n = (z n+1 )0 .
Si tengo az n , no hay ms que hacer, se puede pensar que primero se eleva a la n y

71

despus de multiplica por una constante y tendramos que se sigue cumpliendo que:
An An
x
y
a B
anz n1 = (az n )0 .
Bn
n
x

As hemos demostrado el siguiente

Teorema 2.10 Si p(z) = az n es un polinomio complejo entonces
existe para z C
i) p0 (z) = lm p(z+h)p(z)
h
h0

ii) Si consideramos a p como funcin de R2 R2 , la matriz jacobiana de p es igual

a la matriz asociada al complejo p0 (z).

En resumen:
Si p0 (z) 6= 0 :
a) tenemos que la matriz asociada a la transformacin (vista de R2 R2 ) es C-lineal
b) tenemos que el determinante es 6= 0, lo que la hace invertible localmente, es decir,
existe una vecindad de z0 que el polinomio manda en forma uno a uno en otra vencindad
alrededor de f (z0 ). Intuitivamente podemos decir que un pedacito de plano no lo arruga
ni lo dobla sino que lo manda a otro pedacito del plano.
Puntos crticos:
Ahora nos preguntamos qu pasa en los puntos donde la derivada se hace cero. Cmo
se comporta el polinomio?
Empecemos con un ejemplo:
p(z) = z 2 + z 3 = z 2 (1 + z)
p0 (z) = 2z + 3z 2
p0 (0) = 0 (el cero es punto crtico)
el comportamiento del mdulo es:
|p(z)| = |z 2 (1 + z)| = |z|2 |1 + z|
y el comportamiento del argumento es:
arg(p(z)) = arg(z 2 (1 + z)) = arg(z 2 ) + arg(1 + z) = 2 arg z + arg(1 + z)
Es decir, para z cercano a 0 el mdulo de p(z) es casi el mdulo de z al cuadrado y el
argumento de p(z) es casi 2 veces el argumento de z. El factor (1 +z) est perturbando
poco el factor z 2 .
Veamos cmo es la imagen de un crculo de radio centrado en el origen:
Sea < 12 , fijo.
Tenemos que,
z = (cos + i sin ),
[0, 2].
por tanto
() = p((cos +i sin )) = 2 (cos 2+i sin 2)(1+(cos +i sin )), es la parametrizacin
de la curva -imagen. Esta curva se obtiene de multiplicar el circulito de radio 2 recorrido
dos veces y el crculo de radio con centro en z = 1. El mdulo de 1 + z vara entre 1
72

y 1 + y su argumento vara entre arcsin arg(1 + z) arcsin , la variacin de este

ngulo es pequea, como estamos tomando < 12 , arg(1 + z) ( 6 , 6 ).
Como (0) = 2 (1 + ) = (2), tenemos que la curva es cerrada.
Llamemos = arg(1 + (cos + i sin )).
A cada valor de le corresponde el valor de 2 + , sta funcin continua manda el
intervalo [0, ] en el intervalo [0, 2] y el intervalo [, 2] en [2, 4].
Observemos que:

< 1 < l, entonces < .

Por tanto 2 + < + < 2, si (0, ).
Entonces si [0, ], la curva le da una vuelta alrededor del origen pero sin cerrarse
pues (0) = 2 (1 + ) y () = 2 (1 ) y cuando [, 2] , la curva da otra vuelta y
se cierra, llegando al valor 2 (1 + ).
Adems |()| [2 (1 ), 2 (1 + )]. Obsrvese que la velocidad con que se recorre
la curva no es constante.
La curva imagen queda as:

Intuitivamente si tomamos crculos cada vez ms pequeos "llenando"la vecindad del

73

cero, las imgenes son estas curvas, por lo que una vecindad del cero va a otra vecindad
encimada como doble-encimadita, ms adelante precisaremos esto. Lo interesante de
este comportamiento es que para el caso ms general, para un polinomio de grado n,
tambin se cumple.
Factorizando el polinomio de esta forma p(z) = z (1 + z ) podemos analizarlo localmente.
Nos preguntamos Qu sucede en la imagen de un punto z0 bajo el polinomio?

Sea
z = z0 + h,
p(z) = an z n + ... + a1 z + a0 ,
p(z) = p(z0 +h) = an (z0 +h)n +...+a1 (z0 +h)+a0 = an z0n +...+an hn +...+a1 z0 +a1 h+a0 ,
p(z0 ) = an z0n + ... + a1 z0 + a0 ,
p(z0 + h) p(z0 ) = b1 h + b2 h2 + ... + bn hn ,
p(z0 + h) = b0 + b1 h + b2 h2 + ... + bn hn donde si h = 0, p(z0 ) = b0 .
Cmo son los coeficientes de este polinomio en h ?
2
n
P (z0 +h)P (z0 )
= b1 h+b2 h h+...+bn h = b1 + b2 h2 + ... + bn hn1 cuando h 0 tenemos que
h
p0 (z0 ) = b1
n1
P 0 (z0 +h)P 0 (z0 )
nh
= 2b2 h+...+nb
= 2b2 + ... + nbn hn2 cuando h 0 tenemos que
h
h
00
P (z0 )
= b2
2
As tenemos que para
(k)
p(z0 + h) = b0 + b1 h + b2 h2 + ... + bn hn , donde p k!(z0 ) = bk .
Con esto podemos hacer la siguiente formulacin:
Si p(z) = an z n + ... + a1 z + a0 es un polinomio en z y z0 C entonces p(z0 + h) es un
polinomio en h.
Si h = (z z0 ), entonces p(z) = b0 + b1 (z z0 ) + b2 (z z0 )2 + ... + bn (z z0 )n con
P (k) (z0 )
= bk
k!
Algunas consecuencias de esto son:
a) Siempre podemos escribir a p(z) en trminos de potencias de (z z0 )
b) p(z) es divisible por (z z0 ) p(z0 ) = 0, p(z) = (z z0 )Q(z).
c) p(z) es divisible por (z z0 )k p(z0 ) = 0, p(z0 ) = p0 (z0 ) = p00 (z0 ) = ... =
pk1 (z0 ) = 0.
Ahora que hemos expresado los coeficientes, analicemos cmo se ve el polinomio cuando nos movemos en una vecindad de z0 .
p(z0 + h) p(z0 ) = b1 h + b2 h2 + ... + bn hn .
Si b1 6= 0, es decir si la derivada es distinta de cero tenemos:
74

p(z0 + h) p(z0 ) = b1 h + b2 h2 + ... + bn hn = h(b1 + b2 h + ... + bn hn1 ) esto quiere

decir que la vecindad de z0 se transforma en otra mediante una rotacin y expansin (o
contraccin), el trmino que cuenta es hb1
Si b1 = 0, esto es, la derivada vale cero en el punto z0 :
(k)
bk 6= 0 P k!(z0 ) 6= 0 que el polinomio no es constante
p(z0 + h) p(z0 ) = bk hk + ... + bn hn = hk (bk + bk+1 h + ... + bn hnk ) cuando h es muy
pequea este factor bk+1 h + ... + bn hnk es pequeo tambin y tendremos escencialmente
hk bk y la vecindad de z0 va k veces en otra vecindad (casi circulito). Dicho de otra forma
es k a 1.

Para precisar esto veamos que:

0 + h) p(z0 )| =
|p(z

hk (bk + bk+1 h + ... + bn hnk ) = |h|k bk + bk+1 h + ... + bn hnk

arg(p(z0 + h) p(z0 )) = arg(hk (bk + bk+1 h + ... + bn hnk )) =
k arg h + arg(bk + bk+1 h + ... + bn hnk )

bk + bk+1 h + ... + bn hnk = |bk + (h)| = |bk | donde lm (h) = 0 y arg(bk +bk+1 h+
h0

... + bn hnk ) = arg(bk + (h)) = arg(bk ).

Cerca del punto z0 la imagen se parece al comportamiento de la funcin z k .
Si nos movemos alrededor del punto z0 , la imagen tambin se mueve alrededor del
punto p(z0 ), es decir, que recorre todos los valores del argumento dndole la vuelta a
p(z0 ).
Intuitivamente tenemos que el polinomio manda abiertos en abiertos, no puede pasar
algo as en la imagen:

75

Otra forma de verlo sera con el Teorema de la Funcin Inversa para f : Rn Rn

Si p(z) = an z n + ... + a1 z con a1 6= 0 y p(0) = 0 Cmo se comporta el polinomio
alrededor del cero?
Sea p(z) = U + iV
z = x + iy
a1 = b + ic
U = xn ... + bx cy
V = xn ... + cx + by
U
U
= ... + b
= ... c
x
y
V
V
= ... + c
= ... + b
x
y

b c
b c
Dp(0) =
det
= b2 + c2 = |a1 |2 6= 0
c b
c b
Por tanto existe la inversa en el punto, si tenemos un circulito alrededor del cero, la
imagen ser casi un circulito.

Qu pasa en el punto z0 = ?
1
p(z) = z n (an + ... + a1 zn1
+ a0 z1n ) con an 6= 0, n 1.
Lo que ms va a contar es el trmino an z n , si nos acercamos al punto z0 = el
mdulo del polinomio tambin tiende a .
La imagen de un crculo de radio r suficientemente grande, dar n vueltas alrededor
del cero, mantenindose cerca del crculo de radio rn |a2n | , pues arg(p(z)) n arg z para
|z| grande.
y

2.5

1.25

0
-2.5

-1.25

0
0

1.25

2.5

-4

-2

4
x

-1.25

-2

-2.5
-4

Cuntos puntos van a dar a ?

Como p() = , entonces hay uno, pero hay que contarlo n veces.
Para ver un poco ms qu sucede en una vecindad del , hagamos un cambio de
variable y analicemos todo en el cero.
76

p(z) = an z n + ... + a1 z + a0
z = 1
=

1
w

1
an ( 1 )n +...+a0

n
an +an1 +...+a0 n

= n

1
an +an1 +...+a0 n

1
an

Esto es, que el comportamiento cerca del es casi el mismo que el del cero bajo z n .
Cuando estamos en el cero, bajo z n , va a dar al cero. La vecindad del cero va a otra n
veces, la multiplicidad del cero es n. Por lo tanto la multiplicidad del es n.
Conclusin 2.4 A los puntos donde la derivada se hace cero, se les llama puntos crticos. Y vamos a tener 2n 2 puntos crticos (tambin llamados de ramificacin), los n 1
de la derivada ms n 1 (por lo que cuenta el punto al ). Y en los dems puntos el
polinomio es localmente inyectivo.
En el caso real tenemos que,
y

20

0
-5

-2.5

2.5

5
x

-20

-40

los puntos donde la funcin f (x) se dobla son los puntos donde la derivada se hace
cero.
b C,
b y nos interesa saber, cunLos polinomios son funciones sobreyectivas de C
tos puntos del plano-z van a dar a un punto dado en el plano-w?. Es decir, Cuntas
preimgenes tiene un valor w?
Si w 6= , la ecuacin p(z) w = 0 tiene n races y algunas pueden ser mltiples.
As tenemos que los polinomios son n a 1.
Si p(z0 ) = w, pero p0 (z0 ) = 0, p00 (z0 ) = 0, ..., p(k) (z0 ) 6= 0 entonces z0 es una raz de
multiplicidad k de p(z) w = 0, sta hay que contarla k veces.
Si w = , tenemos que p() = , pero va n veces.
b tiene n preimgenes distintas, salvo algunos
Por tanto, tenemos que todo punto w C
puntitos por ah, que ya sabemos cules son.
Funciones Racionales
Sea un polinomio p(z) de grado n, y otro q(z) de grado m.
Definimos una funcin racional como un cociente de polinomios. Y tambin definimos
el grado como el max {grado(P), grado(Q)} .
77

Veamos cmo el grado de la funcin racional tiene que implicar al denominador y al

numerador.
Sea d = m
ax {grado(P),grado(Q)} el grado de una funcin racional R(z) = p(z)
. Dado
q(z)
b cuntos puntos z van a dar a l?.
un valor w C,
Es decir, cuntas races tiene la ecuacin p(z)
= w?
q(z)
Tenemos que
p(z)
p(z) wq(z)
w =
q(z)
q(z)
Entonces cuntas races tiene la ecuacin p(z) wq(z) = 0 ?
Sea w C.
Si el grado de la funcin racional d es igual a n entonces n > m y el grado de
p(z) wq(z) es n. Por tanto tenemos n soluciones.
Si d = m entonces n < m y el grado de p(z) wq(z) es m, y tenemos m soluciones,
salvo en el caso w = 0.
Si d = n = m, el grado de p(z) wq(z) es de grado n = m y existen n soluciones,
salvo en el caso w = abnn . El trmino de grado n de p(z) wq(z) es igual a cero cuando
w = abnn , y por tanto tenemos un polinomio de grado menor.
Analicemos los casos w = 0, w = y w = abnn .
Caso 1:
w = 0. Si el grado es n y n m, tenemos n soluciones en C.
Si el grado de la funcin racional es m, (m > n) entonces R() = 0. Vamos a tener
n soluciones en C y las dems estn en el .
Veamos, si hacemos un cambio de variable = z1 :
R( 1 ) =

an ( 1 )n +...+a0
bn ( 1 )n +...+b0

+...+a0
= mn ( abnn+...+b
), cuando z , tenemos 0 y R( 1 ) 0
0m

con multiplicidad m n.
b
Por tanto tenemos m (grado de la funcin racional) soluciones en C.
Caso 2:
q(z)
1
w = . Para ver este caso, consideramos la funcin racional R(z)
= p(z)
y aplicamos
al caso 1.
Caso 3:
w = abnn .
Si d = n, el grado de p(z)wq(z)
es n y tiene n soluciones.
q(z)
p(z)wq(z)
es m.
q(z)
p(z)wq(z)
racional
es
q(z)

Si d = m, hay m soluciones, porque el grado de

Y si d = n = m, tenemos que la funcin

de grado m, pues

p(z)wq(z) tiene grado k < m, aplicamos el caso 1, es decir que la ecuacin

b
tiene m soluciones en C.

p(z)wq(z)
q(z)

=0

Conclusin 2.5 Si la funcin racional es de grado d = max(grado(p), grado(q)) entonces es d a 1 (contando multiplicidad).
78

Ejemplos:
4
R(z) = z4z+ 1 .
z4
= w.
z4 + 1
Si w = 0, entonces los ceros de R son los ceros de p(z), en este caso es el cero.
Si w = , tenemos las races cuartas de 1 y por tanto el no es polo.
si w 6= 0, :
z 4 w(z 4 + 1) = 0,
(1 w)z 4 w = 0,
Si w 6= 1, el polinomio es de grado cuatro, entonces tenemos cuatro races.
Si w = 1, no hay races, Qu es lo que est pasando aqu?
Sucede que R() = 1.
Para ver la multiplicidad, nos vamos al origen:
f ( 1 ) = 1+1 4 = 1 4 + 8 ...

El punto 0 va al 1, entonces 1+1 4 1 = 4 (1 + 4 ...), es decir que cerca del cero

se comporta como z 4 .
Cerca del cero se ve as, y por tanto el es preimagen mltiple.
Podemos tener cosas menos drsticas, por ejemplo:
4
2
R(z) = zz4++ z1 ,
(1 w)z 4 + z 2 w = 0, igual para w = 1, tenemos que se baja el grado del polinomio,
aqu sera de grado dos y si w 6= 1, el polinomio es de grado cuatro.
Ejercicio 2.6 Discutir la relacin que hay entre los puntos que son preimagen mltiple
y los ceros de la derivada (R0 (z)).

2.3.4.

Funcin de Zhukovsky

Ahora estudiaremos la siguiente funcin:

z2 + 1
2z
El grado de sta funcin racional es 2, as que la funcin es 2 a 1.
Los polos son: 0 y .
Los ceros son: i y i.
Ahora veamos las preimgenes, resolviendo la siguiente ecuacin:
z 2 +1
=w
2z
2
z 2zw + 1 = 0,
tenemos dos races distintas para todo valor w distinto de 1.
Si w = 1, w = 1:
(z 1)2 = 0, (z + 1)2 = 0,
esto significa que z = 1 y z = 1, son races dobles de la ecuacin.
f (z) =

79

As todo punto en el plano-w tiene dos preimgenes diferentes y slo dos puntos tienen
preimgenes dobles.

f (1) = 1, f (1) = 1.
Qu est pasando alrededor del 1?
f (1 + h) 1 =

(1+h)2 +1
2(1+h)

1=h

1
2(1+h)

= h

1
2(1+h)

se parece a la funcin elevar al cuadrado. Si recordamos cmo z 2 mapeaba la esfera,

los puntos dobles eran el cero y el infinito, y los dems eran sencillos. Nos paramos en el
0 y en el , y le damos dos vueltas a la esfera (cero es repulsor y el es atractor).
Nos preguntamos qu tanto se parecer z 2 a nuestra funcin f ?
Si hacemos cambios de Mbius en el dominio y en el contradomino, de tal manera
que 1 vaya al 0, y 1 vaya al
.

z+1
,
z1

+
w = f (z) = 12 ( +1
1
=

w+1
w1

2 +1
+1
2 1
2 +1
1
2 1

1
)
+1

2 2
2

2 +1
,
2 1

= 2.

Utilizamos un cambio de variable pero puede haber ms. Por lo tanto nuestra funcin
s es como elevar al cuadrado, y esto se cumple ms en general, cualquier funcin racional
de grado dos se comporta como z 2 esto incluye por supuesto a los polinomios de grado
80

dos.

Como nuestra funcin se comporta como z 2 , hay dos puntos que van a dar al mismo:
f (z) = 12 (z + 1z ) = f ( 1z )
observemos que para un w, una preimagen est en el disco (|z| < 1) y otra fuera.
El crculo unitario va al segmento [1, 1] recorrido dos veces.

Si consideramos el disco, se mapear en todo el plano menos el segmento, o bien

si consideramos todo que est fuera del disco se mapear en todo el plano menos el
segmento.
Si tomamos crculos de radio r, 0 < r < 1, sus imgenes son elipses con eje mayor
igual r + 1r y eje menor igual r 1r . Cuando el radio decrece, los semiejes (mayor y menor)
crecen, es decir que cuando nos acercamos al cero, la funcin tiende a .
Los puntos z = t(cos + i sin ), donde [0, 2 ] y t [0, 1), bajo la funcin van a
hiprbolas con semiejes |cos | y |sin | .
Cuando = 0, tenemos w = ( 12 ( 1t +t), 0), el intervalo [0,1] se dobla hacia el intervalo
[1,).
Cuando = 2 , w = (0, 2t 2t1 ), tenemos el eje imaginario negativo, recorrido desde
el al 0.
81

Al variar , la imagen est en el cuarto cuadrante y si tomamos , obtenemos una

rama de la hiprbola (cuadrantes I y IV) y al tomar los puntos simtricos con respecto
al origen obtenemos la otra rama de la hiprbola.

Se puede ver que el semidisco en la parte superior del plano se mapea en el semiplano
inferior, el semidisco que est en la parte inferior del plano se mapea en el semiplano
superior, por tanto los puntos inversos del semidisco inferior se mapearn en el semiplano
superior. Es decir que el semiplano superior "mordido" se mapea de manera conforme al
semiplano superior.

82

A esta funcin f (z) = 12 (z + z1 ), se le llama Funcin de Zhukovsky.

Nuestro problema ahora es buscar la inversa:
f (z) = w,
1
(z + 1z ) = w,
2
despejamos
y obtenemos
z = w w2 1,
en la expresin se refleja el 2 a 1, para un valor de w tenemos dos soluciones z1 , z2 .
Pero ya sabamos que z y 1/z van a dar al mismo punto. Luego debe cumplirse z1 = 1/z2 .
(Dejamos al lector verificar directamente esto calculando el producto z1 z2 ). Los nicos
puntos dobles son cuando z1 = 1/z1 , es decir, 1 y 1. Sus imgenes son tambin 1 y 1
, es decir, los valores de w para los cuales w2 1 = 0 y la ecuacin en z tiene raz doble.

2.4.

La exponencial y las funciones trigonomtricas

2.4.1.

Funcin Exponencial

Cmo podemos extender la funcin exp x a los complejos ?

Las propiedades fundamentales de la funcin exponencial tienen que conservarse en
nuestra nueva definicin:
i) Que es solucin de una ecuacin diferencial : f 0 = f , con condicin inicial f (0) = 1
ii) Que cumpla con la propiedad de suma-producto: ex + y = ex ey
83

Una opcin para deducir la exponencial compleja sera partir de la serie de Taylor:
ex = 1 + x + 2!1 x2 + ...
y demostrar que la serie compleja
ez = 1 + z + 2!1 z 2 + 3!1 z 3 + ...
tambin converge, dar el radio de convergencia, etc.
Otra es ver quin es eiy . Como queremos una funcin que siga cumpliendo ez+w = ez ew ,
entonces naturalmente se tendra que ez = ex+iy = ex eiy , ya sabemos como es ex , el
problema es eiy :
Si sustitumos iy en ex = 1 + x + 2!1 x2 + ...
2
+ ...
tenemos eiy = 1 + iy + (iy)
2!
2
4
6
3
5
7
y2
y3
y4
iy
e = 1 + iy 2! i 3! + 4! + ... = (1 y2! + y4! y6! + ...) + i(y y3! + y5! y7! + ...)
(aqu tenemos dos series reales conocidas)
eiy = cos y + iseny
por lo tanto tendramos que ez = ex (cos y + iseny).
Pero hay otra opcin ms geomtrica que nos muestra un poco ms qu es lo que est
pasando:
Recordemos que para R:
ex = lm (1 + nx )n
n

este lmite se demuestra tomando logaritmos (en base e).

Primero veamos quin es el lmite de log(1 + nx )n :
log(1 + nx )n = n log(1 + nx )
consideremos a n como una variable continua h entonces tenemos que:
n log(1 + nx ) = h log(1 + hx );
si existe este ltimo lmite cuando h entonces existe el lmite de log(1 + nx )n
cuando n .
Sea u = h1 :
lm h log(1 + hx ) = lm log(1+ux)
=?
u
u0

Sea g(u) = log(1 + ux)

= lm
g0 (0) = lm g(u)g(0)
u0
u0

log(1 + ux)
u
u0

g0 (u) = 1+xux
Por tanto ? = g0 (0) = x
lm log(1 + nx )n = x
n

(Por continuidad) ex = lm (1 + nx )n
n
Para C :
Cmo se vera esta funcin (1 + nz )n ?
Estamos elevando un nmero complejo a una potencia n, esto es elevar su mdulo y
multiplicar su argumento n veces.
Si tomamos un sector que parta del punto n y tenga como ngulo n , la transformacin lo mandar otro sector que parta del origen y tenga como ngulo , es decir el
84

semiplano superior:

Estamos elevando el sector a la potencia n. Qu pasa cuando n ?

El punto n se va recorriendo hacia la izquierda por el eje real negativo, tendramos
un sector con un punto al , es decir lo que est entre las lneas paralelas:

De qu ancho es esta banda?

Sea hn la longitud del segmento OQ.

tan n = hnn y hn = n tan n , si hacemos el cambio a la variable continua n = u1
lm tanuu = lm sec2 u =
u0
u0
Por lo tanto el ancho de la banda es .
Si tomamos el siguiente sector, al elevarlo a la potencia n obtenemos el semiplano
inferior

85

Lo que tenemos en el lmite es la funcin exponencial, la banda de ancho se transforma en un sector de ngulo , y si tomamos la siguiente banda de ancho , la imagen
es el sector de ngulo , por lo tanto si tomamos una banda de tamao 2 se mapeara
en todo el plano menos el cero.
As que cada 2i, tenemos el mismo valor, por lo que la funcin es peridica.
Ahora qu pasa con eiy = lm (1 + iyn )n ?
n

Escribamos
(1 + iyn ) = rn (cos n + isenn ),
n2

2
,
rnn = 1 + ny 2
n

2
2
2
= n2 log(1 + ny 2 ) Hacemos el cambio de variable n = u1 ,
log 1 + ny 2
2

2 2

lm n log(1 + ny 2 ) = lm log (1+uu2 y ) u2 = 0.

n 2
u0
Por tanto lm rnn = 1.
n
Para n = arctan ny tenemos que nn = n arctan ny ,
uy
haciendo n = u1 , lm arctan
= y.
u
u0
Por tanto nn y.
eiy = lm (1 + iyn )n = cos y + iseny,
n

eiy = cos y + iseny

(Frmula de Euler)
As las cosas tenemos que la definicin ms adecuada es :
ez = ex eiy = ex (cos y + iseny)
para toda z C, y no se anula, es decir no es sobreyectiva : f : C C {0}

2.4.2.

Transformacin del Plano bajo la funcin exponencial

Nos interesa ver cmo se transforma la malla de rectas horizontales y verticales.

86

f (x, y) = ex (cos y, seny)

Para una recta cualquiera paralela al eje real:
f (x, y0 ) = ex (cos y0 , seny0 )
O bien w = ex (cos y0 + iseny0 )
Se transforman en un rayo con ngulo y0 , que parte del origen y que va creciendo
conforme crece la x.
Para una recta paralela al eje imaginario la funcin la transforma en un crculo de
radio ex0 y al recorrer y los reales, le daremos infinitas vueltas al crculo.
f (x0 , y) = ex0 (cos y, seny),
si 0 6 y0 < 2, el crculo se recorre una sola vez.
Por lo tanto la familia de rectas horizontales se transforman en la familia de rayos que
parten del origen y la familia de rectas verticales se transforman en la familia de crculos
con centro en el origen.

x
x
Calculemos
el jacobiano de
x
la funcin f (x, y) = (e cos y, e seny)
x
e cos y e seny
det
= e2x 6= 0.
ex seny ex cos y
Esto nos habla que existe la inversa localmente y tambin por la forma de la matriz
derivada, vemos que es una transformacin que preserva los ngulos.
Qu sucede en el infinito?
Si z , la funcin se acerca a todos los valores posibles:
Sea {z + 2ki} , esta sucesin tiende a infinito y f {z + 2ki} = ez+2ki = ez e2ki =
z
e.
No existe el lmite en el , el comportamiento que tenemos es oscilatorio, por lo que
b
la exponencial compleja no se puede extender de manera continua a C.

87

2.4.3.

Funcin Logaritmo

La inversa de la funcin exponencial es la funcin logaritmo.

Como el cero no est en la imagen de la funcin exponenecial, entonce no va a tener
logaritmo.
Sea w 6= 0; la solucin a la ecuacin ez = w es:
x = log |w| (logaritmo de un nmero real positivo), y arg w = y + 2k
tenemos que todo nmero complejo distinto de cero tiene una infinidad de logaritmos
los cuales difieren por mltiplos de 2i.
log w = log |w| + i arg w
El logaritmo de un nmero real positivo, ser el logaritmo real.
Como vimos con la raz cuadrada, no es posible encontrar una rama continua del
logaritmo en todo el plano menos el origen.
Aqu es inclusive ms claro, porque la parte imaginaria de log w es exactamente arg w,
y ya sabemos que no se puede elegir de manera continua el argumento de todo complejo
distinto de cero.
Podemos, otra vez, definir diversas ramas del logaritmo en cualquier regin donde
no podamos darle vuelta al origen. En particular tenemos la rama, o valor principal del
logaritmo definida en C {eje real negativo}:
Valor principal del logaritmo:
log z = log |z| + i arg z donde < arg z <
z C {eje real negativo}

La imagen es una banda abierta (sin bordes).

Eje real negativo sera mandado a las rectas horizontales de altura ( bordes).
Eje real positivo va a todo el eje real.
Para las rectas horizontales que estn en el semiplano superior, el ngulo vara de a
0, las imgenes sern curvas que vienen asintticamente de la recta horizontal de altura
y se van pegando asintticamente al eje real.
Y para las rectas horizontales que estn en el semiplano inferior, el ngulo vara de
a 0, entonces las curvas imagen vienen asintticamente de y se van pegando el
eje real.

88

El eje imaginario positivo va a la recta de ordenada 2 . Y el negativo a la recta de

ordenada 2 .
Las rectas verticales (x positiva), el ngulo vara de 2 a 2 . Las curvas imagen vienen
asintticamente de la recta con ordenada 2 , cruzan el eje real y se van pegando a la
recta con ordenada 2 .
Finalmente las imgenes de las rectas verticales (x < 0 e Im y > 0) son curvas que
van del borde de la banda (altura ) y se van pegando a la recta de ordenada 2 y para
las semirectas en la parte inferior del plano, las imgenes son curvas que van del otro
borde de la banda (altura ) y se van pegando a la recta de ordenada 2 .
Por lo que el dibujo de la imagen de la malla de rectas horizontales y verticales queda
as:

Ya definido el logaritmo, podemos definir ahora la potencia compleja:

sea z 6= 0 y nmeros complejos
z = e log z
Si consideramos z positivo entonces log z es real y z tendr un solo valor. Si no hay
restriccin para z, entonces en general tendremos una infinidad de valores.

2.4.4.

Funciones trigonomtricas e hiperblicas

Si eiy = cos y + iseny

entonces eiy = cos y iseny
sumando y dividiendo entre dos tenemos:
yR
iy
iy
eiy + eiy
= cos y y e 2ie =seny
2

89

Como vemos las funciones seno y coseno se pueden expresar en trminos de la exponencial compleja. Esto nos permite de manera natural extenderlas (de modo que se
conserven las propiedades) a variable compleja.
Definicin 2.3 z C
eiz + eiz
2
eiz eiz
senz =
2i
cos z =

(Otra forma de definir las funciones trigonomtricas principales es por medio de series).
De nuestra definicin tenemos:
y y
y y
i(x+iy) + ei(x+iy)
e +e
e e
cos(x + iy) = e

isenx
= cos x cosh y
=
cos
x
2
2
2
isenxsenhy
cos iy = cosh y
seniy = isenhy
y podemos definir cosh z y senhz :
Definicin 2.4
ez + ez
2
z
e ez
senhz =
2
cosh z =

Se podra haber definido primero las funciones hiperblicas y despus las trigonomtricas:
cos(z) = cosh(iz) e isen(z) =senh(iz).
Todo queda bien definido porque se expresa en tminos de ez .
0

Vale la formula de la suma: ez+z = ez ez .

cos(z + z 0 ) = cos z cos z 0 senzsenz 0
sen(z + z 0 ) =senz cos z 0 + cos zsenz 0 .
Estas formulas se demuestran con base en la frmula de la suma de la exponencial y
son de gran utilidad para demostrar ms propiedades, por ejemplo, 1 = cos2 z+sen2 z.
Con las funciones seno y coseno, podemos definir todas las dems funciones trigonomtricas: tan z, cot z, sec z, csc z.

90

2.4.5.

Funcin coseno y su inversa

Cmo se transforma el plano bajo la funcin f (z) = cos z ?

cos z = cos x cosh y isenxsenhy
En el plano-w tenemos que:
(u, v) = (cos x cosh y, senx(senhy))
El eje real va al segmento [1, 1] recorrido una infinidad de veces.
f (x, 0) = (cos x, 0)
Para una recta horizontal de altura b, tenemos:
f (x, b) = (cos x cosh b, senx(senhb)) = (A cos x, Bsenx),
donde
A = cosh b, B = (senhb)
2
2
que nos parametriza la elipse de ecuacin Au 2 + Bv 2 = 1, y cuyos focos son 1.
Si la altura de la recta horizontal es b, la elipse se recorre en sentido contrario.
Y para las rectas verticales tenemos hiprbolas:
f (a, y) = (cos a, cosh y,sena(senhy)) = (A0 cosh y, B 0 (senhy)) = (u, v)
2
2
encontramos que Au02 Bv02 = 1, que es la ecuacin de una hiprbola con focos 1,
donde A0 = cos a y B 0 =sena.
Si x = 0, tenemos que el eje imaginario va al segmento [1, ), recorrido dos veces.
Por lo que la malla de rectas horizontales y verticales se transforma en una malla de
elipses e hiprbolas que tienen los mismos focos (confocales), esto implica que se cortan
en ngulo recto.

y
4
3
2
1
0
-5

-4

-3

-2

-1

-1
x
-2
-3
-4

Conviene pensar la funcin coseno como composicin de funciones que ya hemos

estudiado:
w = cos z = 12 (u + u1 ) (Funcin de Zhukovsky)
donde u = eiz (multiplicacin por i, despus la exponencial).

91

Como el coseno est en trminos de la exponencial y sta es peridica, el coseno

tambin va a ser una funcin peridica, la diferencia es que el perodo del coseno es 2.
Los puntos z, z + 2, z + 4, ... y z, z + 2, z + 4, .. que estn en bandas de
tamao 2, al multiplicarlos por i y despus componerlos con la exponencial van a dos
valores, la primera infinidad va al valor u, y la segunda va al valor inverso u1 .
Y como vimos anteriormente, la imagen que obtenemos al final es la malla de elipses
e hiprbolas.

Tenemos entonces que una infinidad de puntos van a dar a un mismo valor.
La funcin inversa es g(w) = ang cos w, nuevamente tenemos una funcin multivaluada.
Si sacamos las inversas de las funciones anteriores vemos que
u = eiz
entonces
2w = u + u1
u2 2wu+ 1 = 0
u = w w2 1
aqu tenemos problemas
con la raz, pero lo arreglamos tomando una rama,
iz = log u = log(w w2 1)
y al tomar el logaritmo,
tambin debemos escoger una rama adecuada,

2
z = i(log(w w 1))
entonces dado un w podemos escoger el punto z de muchas maneras, es decir que
tenemos las funciones ang cos w que queramos.

Por ejemplo podemos tomar como dominio C {[1, 1]} , y z = i(log(w+ w2 1))
con la rama principal del logaritmo.

92

Captulo 3
Derivacin de Funciones Complejas
3.1.

Funcin derivable

3.1.1.

Ejemplos de funciones derivables y no derivables.

Definicin 3.1 Sea U C

U abierto, conexo h C

f es derivable en z0 U si el lm

h0

f (z0 +h)f (z0 )

h

existe

En tal caso, a dicho lmite le llamamos la derivada de f en z0 y se denota por f 0 (z0 ).

Formalmente la definicin es idntica a la de la derivada de funciones reales, pero
vamos a ir viendo que tiene implicaciones muy diferentes. Lo que hay que destacar es que
aqu h es un nmero complejo, que puede tender a 0 por muy diferentes direcciones o
maneras, y que por lo tanto, pedir que en esas condiciones exista el lmite es muchsimo
pedir. Veamos algunos ejemplos:
Ejemplo 3.1 f (z) = z 2
2
(z +h)2 z 2
f (z0 +h)f (z0 )
= 0 h 0 = 2z0 h+h
=
h
h
f (z0 +h)f (z0 )
lm
= lm 2z0 + h = 2z0
h
h0

h(2z0 +h)
h

h0

la funcin es derivable en todo z0 y f 0 (z0 ) = 2z0

Ejemplo 3.2 f (z) = z
f (z0 +h)f (z0 )
z0
= z0 + h
= hh
h
h
si h R
(z0 )
tenemos que lm f (z0 +h)f
= lm
h
h0

h
=1
h0 h
(z0 )
lm f (z0 +h)f
= lm is
h
h0
h0 is

pero si h = is
= 1
ahora si h = su donde u es un complejo con norma uno y s es cualquier nmero real
(z0 )
lm f (z0 +h)f
= lm hh = u2
h

h0

h0

escribiendo u = ei

se tiene que u2 = e2i .

93

El lmite no existe, haciendo tender h a 0 por distintas direcciones se acerca el cociente

a muy diferentes valores. Por lo tanto esta funcin no es derivable en ningn punto
z0 C .
Ejemplo 3.3 f (z) = |z|
Si z0 = 0
(z0 )
lm f (z0 +h)f
= lm
h
h0

|h|
h0 h

como |h|
es cualquier complejo de mdulo uno, entonces la funcin no es derivable
h
en el cero.
Si z0 6= 0 tomemos primero h en la misma direccin de z0 , es decir h = tz0 con t real
> 0.
(z0 )
0|
Entonces f (z0 +h)f
= |z0 +h||z
= |zz00 |tt = |zz00 | que es un complejo unitario.
h
h
Si ahora hacemos que z0 + h se acerque a z0 sobre el crculo con centro en 0 que pasa
por z0 , es decir, si h = ei z0 z0 tenemos
|z0 ||ei ||z0 |
|z0 +h||z0 |
=
=0
h
h
f (z0 +h)f (z0 )
lm
=0
h
h0
por lo tanto la funcin no es derivable en ningn z0 C
Observamos que no es tan fcil que una funcin sea derivable, la funcin f (z) = z,
es sencilla y no es derivable en ningn punto. De aqu que f (z) = Re z y f (z) = Im z no
sean derivables.
Sin embargo, hay muchas que s son derivables.
Proposicin 3.1 1) Si f es derivable en z0 , entonces f es continua en z0 .
2) Si f y g son derivables en
z0
entonces f + g, f, fg son derivables en z0 y
si g(z0 ) 6= 0, fg es derivable y
3) Regla de la cadena:

f
g

(z0 ) =

f 0 (z0 )g(z0 )f (z0 )g 0 (z0 )

(g(z0 ))2

Si f es derivable en z0 y g es derivable en f (z0 ) , entonces la composicin (g f )

es derivable en z0 y (g f )0 (z0 ) = g0 (f (z0 )f 0 (z0 ) .
La parte 1) se demuestra observando que
lm f (z0 + h) f (z0 ) = lm f (z0 +h)h f (z0 ) h = f 0 (z0 ) 0 = 0 .
h0
h0
Todas las demas partes de esta proposicin tambin se demuestran exactamente igual
que en el caso real, como podr verificar fcilmente el lector.
Con esta proposicin tenemos muchas funciones derivables. Como la funcin z es
obviamente derivable, los polinomios son derivables, y tambin cualquier funcin racional
es derivable en cualquier punto donde no se anule el denominador (y, en particular, todas
las transformaciones de Mbius son derivables).
Otro ejemplo:

94

Ejemplo
3.4 Escogiendo una rama continua en un dominio adecuado:

z0 +h z0
z0

= lm h(z0z+h
= 21z0 .
lm
h
0 +h z0 )
h0
h0
Obsrvese
que slo hemos usado la continuidad de la funcin. Luego, toda rama continua de z es automticamente derivable.

3.1.2.

Una funcin es derivable si, y slo si, lo es como funcin

real y su derivada es C -lineal.

Consideremos a la funcin f (z) = u(z) + iv(z), como una funcin F : R2 R2 .

Recordemos que F es derivable en (x0 , y0 ) si existe una funcin lineal L : R2 R2 tal
que
(x0 ,y0 )L(s,t)
lm F (x0 +s,y0 +t)F
=0
|(s,t)|
(s,t)(0,0)

Esto significa que L es la mejor aproximacin lineal a F , se le suele denotar por

DF (x0 , y0 ) y es la transformacin lineal que tiene por matriz (respecto a la base usual de
R2 ) a la matriz jacobiana
u u
x
v
x

y
v
y

Ahora, para f : U C C, si f es derivable en z0

(z0 )h
entonces lm f (z0 +h)h f (z0 ) = lm f (z0 +h)f
=0
h
h0
h0
por tanto tenemos que:
f es derivable en z0 existe una funcin lineal de la forma L(h) = h tal que
lm f (z0 +h) hf (z0 ) L(h) = 0 .
h0

Pero ya conocemos las funciones lineales de esa forma: son las Clineales, que incluyen
las conformes (que son homotecias seguidas de rotaciones) y la funcin 0 .
En resumen:
f es derivable como funcin compleja en z0 si y slo si f es derivable como funcin
real en (x0 , y0 ) y su derivada en el punto es conforme (o cero).

a b
De otro modo, la condicin es que la matriz jacobiana tenga la forma
y
b a
por lo tanto se debe de tener
u
v u
v
=
y
=
x
y y
x
a estas ltimas ecuaciones se les llama de Cauchy-Riemann (C R).
Recprocamente, si tenemos una funcin F : R2 R2 que sea derivable y que sus
parciales satisfagan (C R) , esto quiere decir que su derivada es de la forma L(z) = z
para algn nmero complejo y por lo tanto f es derivable como funcin compleja y su
derivada es . Luego hemos demostrado:
95

Teorema 3.1 Sea f : U C una funcin compleja y z0 = x0 + iy0 U .

Entonces las condiciones siguientes son equivalentes:
(i) f es derivable como funcin compleja en z0 .
(ii) f es derivable como funcin real en (x0 , y0 ) y su derivada en ese punto es C
-lineal.
(iii) f es derivable como funcin real en (x0 , y0 ) y sus derivadas parciales en ese punto
satisfacen las ecuaciones de Cauchy-Riemann.
Se sabe que una funcin F : Rn Rm es derivable en una regin U si existen la
derivadas parciales de F y son continuas en todos los puntos de U (condicin que es
suficiente, pero no necesaria). En muchos tratados de Variable Compleja se enuncia este
Teorema en lugar de la equivalencia anterior, pero el enunciado queda ms claro con el
concepto de derivada. Pero este resultado es muy til para verificar la derivabilidad de una
funcin compleja en muchos casos, slo hay que agregar que se cumplan las ecuaciones
de C R.

a b
le corresponde el complejo a + ib, es decir, f 0 (z0 ) = u
A la matriz
(z ) +
x 0
b a
v
(z0 ).
i x
Si f 0 (z0 ) = 0, la mejor aproximacin lineal L(h) = h = f 0 (z0 )h es igual a 0, y ya no
se puede ver que sucede.
Si f 0 (z0 ) 6= 0, la mejor aproximacin lineal en la vecindad del punto es una rotacin
ms una homotecia, esto significa que la funcin cerca del punto se comportar as.
Locamente se preservarn los ngulos:

El ngulo() entre las curvas C1 y C2 es el ngulo formado entre sus tangentes en el

punto z0 .
Sea 1 el vector tangente a la curva C1 y sea 2 el vector tangente a la curva C2 en
el punto z0 , la funcin lineal mapear 1 en el vector 1 que es el vector tangente a la
curva imagen f (C1 )en el punto f (z0 )
1 = ( 1 ) donde = a + ib = f 0 (z0 )
y 2 = ( 2 )
Por tanto ^( 1 , 2 ) = ^(1 , 2 ) y la funcin es conforme.
Definicin 3.2 f es holomorfa en U, si f es derivable en todos los puntos de U C
96

3.1.3.

Derivacin respecto a z y a z conjugada

Sea f (z) = f (x + iy) = u(x, y) + iv(x, y)

Entonces formalmente podemos escribir f (z) como funcin de las variables z , z que
conviene pensar como variables independientes:
z
x = z +2 z
y = z 2i
z
z
f (z) = (u( z +2 z , z 2i
), v( z +2 z , z 2i
))
z+z zz
z+z zz
f (z) = u( 2 , 2i ) + iv( 2 , 2i )
Entonces podemos hablar de f
y f
:
z
z
Aplicando regla de la cadena tenemos:
v
v
f
= 12 ( u
+ 1i u
) + 2i ( x
+ 1i y
)
z
x
y
f
1 u
1 u
i v
1 v
z = 2 ( x i y ) + 2 ( x i y )
Lo importante de esto es que si f es derivable (C derivable) entonces
v
v
v
f
= 12 ( u
1i u
) + 2i ( x
1i v
) = 12 ( u
y
) + i( x
+ u
)=0
z
x
y
y
x
y
f
1 u
1 u
i v
1 v
1
u
i
v
z = 2 ( x + i y ) + 2 ( x + i y ) = 2 (2 x ) + 2 (2 x )
v
+ i x
) = f 0 (z)
= ( u
x
En otras palabras, las ecuaciones de Cauchy- Riemann se pueden resumir en una sola:
f
=
0. Heursticamente esto significa que una funcin compleja es derivable cuando "no
z
depende de z ".
En la prctica significa que si tenemos una funcin en cuya expresin aparece z no
debe ser derivable.
Ejemplo 3.5 Si f (x + iy) = x2 + y 2 = z z tenemos que
z=0

3.1.4.

f
z

= z y esto se anula slo para

Determinante jacobiano

Sea f (z) derivable en todo punto de U (Holomorfa)

Consideremos a f (z) como una funcin de R2 R2 y obtengamos la matriz derivada
Jacobiana:

u u u
v

x
y
x
x
=
v
u
v
v
x

y su determinanate jacobiano Jf = det

u
x
v
x

v
x
u
x

= |f 0 (z0 )|2

Por tanto f 0 (z0 ) = 0 Jf (z0 ) = 0

Si f 0 (z0 ) 6= 0 entonces el Jf (z0 ) 6= 0 y tenemos de inmediato por el Teorema de la
Funcin Inversa, que f es invertible en una vecindad del punto z0 .

97

3.1.5.

Interpretacin en Mecnica de Fluidos

Supongamos que tenemos el movimiento de un fluido perfecto, es decir que es

estacionario, incompresible y no viscoso (irrotacional).
Si X = (U, V ) es el campo vectorial que representa la velocidad del fluido en cada
punto, tenemos que
i) X no depende del tiempo.
ii) div(X) = 0 (no se concentra o se expande)
iii) rot(X) = 0 (es irrotacional)
Como rot(X) = V
U
= 0, existe (al menos localmente) una funcin u(x, y) tal
x
y
u u
que X = u = ( x , y )
A esta funcin se le llama potencial de las velocidades
Como div(X) = U
+ V
= 0
existe una funcin v(x, y) tal que el campo
x
y
v v

ortogonal X = (V, U) = v = ( x , y ) .
Y a esta funcin se le llama funcin de la corriente del fluido.
Entonces las lneas v = constante, representan el movimiento del fluido (lneas de
corriente) y su vector tangente tiene la misma direccin que el vector velocidad (X).
Y cuando u = constante tenemos las lneas equipotenciales, que son ortogonales a las
anteriores en cada punto.
De esta manera, las curvas de nivel de u y de v, nos representan el movimiento del
fluido como un todo.
Si consideramos a u como la parte real y a v como la parte imaginaria de una funcin
compleja, entonces esta funcin cumple las ecuaciones de Cauchy-Riemann y es derivable: cualquier fluido perfecto me produce una funcin de variable compleja derivable y
viceversa. Esto nos da una forma ms de ver geomtricamente una funcin de variable
compleja, dibujando las lneas de flujo del fluido. Los puntos donde la derivada de la funcin se anula son los puntos estacionarios del fluido. Esta representacin fue muy usada
en los inicios de la teora, sobre todo por Riemann.
Veamos algunos ejemplos de curvas de nivel para v constante (fluidos):

98

1/z

99

z 3 3z

100

(z + 1/z)/2 (Jukovsky)
Despus de observar las anteriores, puede el lector identificar la siguiente funcin?

101

3.2.

Teorema complejo de la funcin inversa

3.2.1.

Teorema complejo como corolario del real

Teorema 3.2 Teorema de la Funcin Inversa (Complejo)

f : U C derivable en todo punto de U, z0 C, f 0 (z0 ) 6= 0
Entonces existen vecindades V1 de z0 , V2 de f (z0 ) tal que f |v1 : V1 V2 es invertible
1
y la inversa g es derivable y vale g0 (w) = f 0 (g(w))
Demostracin Considerando a f como funcin de R2 R2 , tenemos que Jf en el
punto z0 es distinto de cero, por el teorema de la Funcin Inversa (Real ) la
funcines
a b
invertible en una vecindad de z0 , siendo la matriz de la derivada de la forma
,
b a
la inversa tambin es de la misma forma por lo tanto es Clineal y la funcin inversa es
derivable.
Finalmente f (g(w)) = w, y f 0 (g(w))g0 (w) = 1,
1
por tanto g0 (w) = f 0 (g(w))
.X
102

Por ejemplo, si la derivada de f (z) = ez , es ez , entonces f 0 (z0 ) 6= 0 para cualquier

punto y por el teorema anterior la derivada de la inversa sera
1
g0 (w) = f 0 (g(w))
= elog1 w = w1
Esto es vlido para cualquier rama del logaritmo.

3.2.2.

Funcin armnica

Otra consecuencia importante de las ecuaciones de Cauchy-Riemann es:

Si f : u + iv es derivable y suponemos que u, v son de clase C 2 , entonces de
ux = vy
uy = vx
se deduce inmediatamente que u y v satisfacen la ecuacin de Laplace:
uxx + uyy = vxx + vyy = 0
Una funcin real que satisface la ecuacin de Laplace se le llama armnica. Estas
funciones tienen diversas aplicaciones en la Fsica, por ejemplo en el estudio de la temperatura de un cuerpo en equilibrio.
Tenemos entonces que la parte real y la parte imaginaria de una funcin derivable son
funciones armnicas. Y dada cualquier funcin armnica podemos encontrar una funcin
derivable cuya parte real (o imaginaria) es la funcin armnica.

3.2.3.

Derivabilidad de las funciones elementales

Si la funcin exponencial es derivable, entonces tendramos muchas ms funciones

derivables. Podemos hablar de las derivadas de las funciones trigonometricas e hiperblicas (senz, cos z, tan z, senh z, cosh z, etc.), pues cada una de ellas involucra a la
exponencial. Estas derivadas prcticamente ya las conocemos.
f (z) = ez es derivable
sea z0 C
z +h
z
h
f 0 (z0 ) = lm e 0 h e 0 = ez0 lm e h 1
y

h0
eh 1
lm h =
h0

h0

Para demostrar este lmite, es ms fcil verlo con series:

h
2
2
lm e h 1 = lm (1 + 2!h + h3! + ...) = lm ( lm (1 + 2!h + h3! + ... +
h0

h0

= lm (lm (1 +
k h0

h0 k

h
2!

h2
3!

+ ... +

hk1
)
k!

=1

103

hk1
)
k!

Otra manera de argumentar que la exponencial es derivable es por Cauchy-Riemann.

Tenemos que f (x, y) = (ex cos y, ex seny) es una funcin derivable como funcin de R2
a R2 .
u
x
v
x

v
= ex cos y = y
,
u
x
= e seny = y ,
por tanto f (z) = ez es una funcin derivable para todo punto en C.
Sabiendo que ez es derivable, calculamos la derivada f 0 (z) = ux + ivx = vy iuy

f 0 (z) = ez
Algunas funciones derivables y sus derivadas:
1) (ez )0 = ez
2) (log z)0 = z1
3) (senz)0 = cos z
4) (cos z)0 = senz
5) (cosh z)0 =senhz
6) (senhz)0 = cosh z
Como cualquier inversa trigonomtrica (o hiperblica) se puede expresar en trminos
del logaritmo, calcular su derivada involucra la derivada del logaritmo, para no tener
problemas con las definiciones siempre debemos especificar muy bien las ramas.

104

Captulo 4
Integracin de Funciones Complejas
4.1.

Integral Compleja

4.1.1.

La integracin compleja como integral de lnea

Habiendo dado nuestros primeros pasos en la derivacin de funciones, pasemos a hacer

lo mismo para la integracin. Para definir la integral indefinida de una funcin compleja
no hay mayor problema: simplemente es la antiderivada o, como se acostumbra ms en
las funciones complejas, la primitiva:
Definicin 4.1 Si f (z) una funcin compleja, una primitiva de f en un abierto U contenido en el dominio de f es una funcin holomorfa F : U C tal que F 0 (z) = f (z)
para toda z U.
Como en el caso real, si hay una primitiva de f en U hay muchas, pero todas difieren
por constantes.
Definir la integral indefinida de una funcin compleja entre dos complejos y
requiere mayor cuidado. En el caso real el procedimiento usual consiste en partir el
intervalo, hacer sumas de Riemann y pasar al lmite. Pero en el caso complejo no hay
siempre un segmento que vaya de a dentro del dominio de definicin de f , y an
habindolo no es fcil ver qu sucede cuando hacemos variar , a menos que tomemos no
slo segmentos sino tambin otras lneas quebradas . O bien, se podran tomar sucesiones
de puntos entre un punto y otro y hacer sucesiones cuyos puntos estn cada vez ms
cercanos entre s, y ver si las correspondientes sumas de Riemann convergen. Para que
esto suceda es natural pensar que las sucesiones se van acomodando en torno de alguna
curva, y as se llegara tambin a tener que considerar integrales sobre curvas.
Para darle forma a todo esto, lo mejor es definir directamente las integrales complejas
como integrales de lnea.
105

Una curva C en el plano complejo es la imagen de una funcin continua, definida en

un intervalo cerrado. Es decir, : [a, b] C tal que (t) = x(t) + iy(t) y sus ecuaciones
paramtricas estn dadas por funciones continuas: x = x(t), y = y(t), a t b.
Si x(a) = x(b), y(a) = y(b) tenemos una curva cerrada. Si no se cruza, es una curva
simple ((t) 6= (s), para t 6= s, con t, s (a, b]).
Una curva C es C 1 por tramos, si (t) tiene derivada continua para a t b, excepto
para un nmero finito de puntos.
t
si 0 t 1,
1 + i(t 1) si 1 t 2,
Ejemplo 4.1 (t) =
(3 t) + i si 2 t 3,
i(4 t)
si 3 t 4.
parametriza una curva C 1 por tramos, simple y cerrada.
El vector (x0 (t), y 0 (t)) es el vector tangente a la curva en el punto x(t) + iy(t).
La integral de una funcin compleja de variable real z(t) = u(t) + iv(t) se define en
trminos de dos integrales reales. Y si tenemos w = f (z) definida en una regin y C es
una curva C 1 por tramos, la integral compleja se define como una integral de lnea:
n
R
P
f (z)dz = lm
f (zj )4j z
j=1

el intervalo a t b es subdividido en n partes por t0 = a, ..., b = tn , zj = x(tj ) +

iy(tj ) y 4j z = zj zj1, tj es un punto en el j-subintervalo y zj = x(tj ) + iy(tj ).
n
n
R
P
P
f (z)dz
f (zj )4j z = {u(x(tj ), y(tj )) + iv(x(tj ), y(tj ))}(4j x + i4j y) =
j=1

j=1

n
n
P
P
= (u4j x v4j y) + i (v4j x + u4j y)
1

Cuando hacemos tender a cero la norma de la particin obtenemos que la integral de

lnea compleja es la combinacin de los integrales de lnea reales.
Por tanto tenemos:
Sea (t) = x(t) + iy(t) que parametriza la curva C.
R
R
Rb
Rb dx
R
dy
f (z)dz = udx vdy + i vdx + udy = (u dx

v
)dt
+
i
(v dt + u dy
)dt =
dt
dt
dt

Rb

(u + iv)( dx
+ i dy
)dt =
dt
dt

Rb

f ((t)) 0 (t)dt.

Precisemos las definiciones correspondientes: necesitamos primero definir lo ms simple que es,
I. Integral definida de una funcin compleja de variable real. En este caso se integran
la parte real y la parte imaginaria de la funcin:
g : [a, b] C
atb
g(t) = u(t) + iv(t)
Rb
Rb
Rb
g(t)dt = u(t)dt + i v(t)dt
a

106

Ya con esta definicin es natural definir la integral como sigue:

II. Integral compleja como integral de lnea: en el integrando substituimos la variable
z por los valores de la curva y el smbolo dz por la velocidad de la curva e integramos
respecto al parmetro:
Sea C una curva C 1 por tramos parametrizada por .
f : U C, U C
: [a, b] U
z = (t) = x(t) + iy(t))
Rb
R
f (z)dz = f ((t)) 0 (t)dt
a

III. Integral de lnea con respecto a longitud de arco. sta es una integral auxiliar
que nos sirve para hacer estimaciones. Geomtricamente, su parte real e imaginaria representan el rea de la superficie curva por encima de C y debajo de la grfica de la parte
real e imaginaria de la funcin. Pero esta representacin geomtrica no le da mucho ms
claridad a la definicin formal, que consiste en hacer las mismas substituciones que en el
caso anterior:
R
Rb
R
f (z)ds = f (z) |dz| = f ((t)) | 0 (t)| dt
C

4.1.2.

Propiedades elementales de las integrales de lnea complejas.

Las demostraciones de varias propiedades son esencialmente las mismas que para las
integrales reales para funciones continuas. Demostraremos slo algunas de ellas.
Propiedades de la integral I:
0) Definida si g es continua en [a, b] .
Rb
Rb
Rb
1) (g1 (t) + g2 (t))dt = g1 (t)dt + g2 (t)dt
a

2)

3)

Rb
a
Rb
a

Rb

(g(t))dt = g(t)dt,
a

g(t)dt +

Rc

g(t)dt =

Rc

g(t)dt

0<b<c

4) Si h : [a0 , b0 ] R, es de clase C 1 tal que h(a0 ) = a y h(b0 ) = b,

Rb
Rb0
g(t)dt = g(h(s))h0 (s)ds
a
a0
b
Rb
R
5) g(t)dt |g(t)| dt
a

6) G : [a, b] C derivable (C 1 )

107

Rb
a

G0 (t)dt = G(b) G(a).

Demostracin de (5)
Caso fcil:
Rb
Supongamos que g(t)dt 0 :
a
b

R
Rb
Rb
Rb
Rb

entonces g(t)dt = g(t)dt = Re g(t)dt = Re g(t)dt |g(t)| dt.X

a

Caso general:

Rb
Existe un nmero complejo con || = 1 tal que g(t)dt sea un nmero real positivo
a

y estaramos
ya
entonces
b
en bel caso fcil,

R
R
Rb
g(t)dt = g(t)dt |g(t)| dt.X

Propiedades de la integral II:

0) Definida
si f es continua
y C esR C 1 por tramos
R
R
1) (f1 + f2 )(z)dz = f1 (z)dz + f2 (z)dz
C
R C
RC
2) f (z)dz = f (z)dz
C R
CR
R
f (z)dz = f (z)dz + f (z)dz , donde C1 + C2 es la curva que se obtiene
3)
C1 +C2

C1

C2

recorriendo primero la curva C1 y despus la curva C2 .

R
R
4) Si es una reparametrizacin de que conserva el sentido, f (z)dz = f (z)dz
C

Demostracin : [a, b] C y : [c, d] C.

Sea h : [c, d] [a, b] creciente, derivable tal que (s) = (h(s))
R
Rd
Rd
Rb
f (z)dz = f ((s)) 0 (s)ds = f ((h(s))) 0 (h(s))h0 (s)ds = f ((t)) 0 (t)dt =
c

f (z)dz.

R
R
5) f (z)dz |f (z)| |dz| .X
C

Demostracin Es anloga a la propiedad 5 de la definicin anterior.X

0
6)
R Si0 F : U C derivable (y F continua)
F (z)dz = F ((b)) F ((a))
C

7) Frmula de cambio de variable para integrales complejas.

Sean U1 y U dos regiones de C.
Sea f continua en U.
C1 una curva en U1 .
h : U1 UR una funcinR derivable y su inversa tambin derivable y C = h C1
Entonces f (w)dw = f (h(z))h0 (z)dz
C

C1

108

8)

R
f (z)dz = f (z)dz donde C es la curva C recorrida en sentido contrario.
C

Ejemplo
4.2 Sea C = crculo unitario
R
z dz = 0
RC 2
z dz = 0
RC
z dz = 2i = 2i(area encerrada por C)
RC
z dz = 2i(area encerrada por ), donde es una curva C1 por tramos, cerrada

alrededor
R 1 del origen.
dz = 2i
z

RC 1
i
dz
=
2i
L
=
z
=
a
+
e
,
0

2
z a
L

R
C

|dz| =

4.2.

Rb 0
(t) dt = longitud(C), C curva de C1 por tramos, parametrizada por .
a

Teorema de la Primitiva

Integrabilidad de las potencias positivas y no negativas de z ....salvo una. Comparacin con las integrales de lnea reales: campos conservativos y diferenciales exactas.

4.2.1.

Ejemplos de funciones integrables y no integrables

Sea C una curva C1 por tramos parametrizada por , : [a, b] U.

Sea f : U C, U una regin (abierto conexo)
Nos preguntamos:
R Cundo la integral depende slo de los extremos de la curva? O bien Cundo
f (z)dz = 0 para C cerrada?
C

Empezaremos con algunos ejemplos:

Ejemplo 4.3 Sea : [0, 2] C donde (t) = cos t + isent y f (z) = z

R2
R2
R2
R
f (z)dz = f ((t)) 0 (t)dt = (cos t+isent)(sent+i cos t)dt = (2sent cos t)dt+
0

R2
i (cos2 tsen2 t)dt = 0
0

Ejemplo 4.4 (t) la misma que en ejemplo anterior y f (z) = z entonces

R2
R2
(cos t isent)(sent + i cos t)dt = i (cos2 t + sen2 t)dt = 2i.
0

109

R
C

f (z)dz =

Ejemplo 4.5 Ahora calculemos la integral de la funcin f (z) = z sobre tres curvas
distintas parametrizadas por:
1 (t) = cos t + isen t, 0 t ,
2 (t) = (t) donde (t) = cos t + isent, t 2,
3 (t) = 1 2t, 0 t 1
R
R
zdz = (cos t isent)(sent + i cos t)dt = i
0

C1

C2

C3

zdz = i

R2

dt = i

R1
zdz = (1 2t)(2)dt = 0
0

Qu podemos concluir de estos ejemplos? Que en el ejemplo (4.4) la integral sobre

una curva cerrada fue distinta de cero, comparndolo con el (4.3), la funcin z no es
la derivada de una funcin y que en general para una funcin podemos tener distintos
valores para la integral, es decir si depende de la trayectoria de la curva.
Teorema 4.1 (de la Primitiva)
Sea f : U C C continua.
SonRequivalentes:
(i) f (z)dz depende slo de los extremos de la curva C
CR
(ii) f (z)dz = 0 curva cerrada

(f es "integrable")

(iii) Existe F : U C C holoforma

en U tal que F 0 (z) = f (z).
R
En este ltimo caso tenemos f (z)dz = F ((b)) F ((a)). : [a, b] C
C

Demostracin (i)(ii)
Como la integral depende slo de los extremos de la curva, basta calcular la integral
sobre una curva C constante. Sea 1 (t) = , 1 : [a, b] U
R
Rb
R
f (z)dz = f (z)dz = f ( 1 (t))0dt = 0
C

C1

(ii)(i) Sean dos

los mismos
R curvas distintasR C1 , C2 que unan
R
R puntos. Sea C = C1 +
(C2 ) tenemos que f (z) dz = 0 f (z) dz = f (z) dz +
f (z) dz = 0.
C
C1
C2
R C
R
Por lo tanto f (z) dz = f (z) dz, es decir, la integral slo depende de los extremos.
C1

C2

(iii)(i) Sea C una curva C1 por tramos parametrizada por .

: [a, b] C, (a) = , (b) = .
R
Rb
R
Tenemos por hiptesis que f (z) dz = F 0 (z) dz = F 0 ( (t)) 0 (t) dt, demostraremos
C

que esta ltima integral es igual a F () F () . Si F = U + iV, (t) = (t) + i (t)

110

g (t) = F ( (t)) = g1 (t) + ig2 (t), tendramos que g0 (t) = g10 (t) + ig20 (t) y 0 (t) =
0 (t) + i 0 (t)
g10 (t) = U
((t), (t)) 0 (t) + U
((t), (t)) 0 (t)
x
y
((t), (t)) 0 (t) + V
((t), (t)) 0 (t)
g20 (t) = V
x
y
Como F es holomorfa esto implica que F 0 (z) = U
+ i V
= V
i U
x
x
y

V
U 0
V 0
V 0
0
0
F 0 ((t)) 0 (t) = ( U
+i
)
(
(t)
+
i
(t))
=

(t)

(t)
+i
(t) + U
0 (t) =
x
x
x
x
x
x
Rb
Rb
Rb
Rb
g 0 (t). Por tanto F 0 ((t)) 0 (t)dt = g 0 (t)dt = g10 (t)dt+i g20 (t)dt = g1 (t) |ba +ig2 (t) |ba =
a

F ((b)) F ((a)) = F () F ().

Rz
(i)(iii) Definimos F (z) = f ()d, por hiptesis est bien definida. Tomamos una
z0

poligonal con los segmentos paralelos a los ejes que una a z0 y z .

Para obtener la parcial de F con respecto a x, nos movemos en la direccin del eje
real con un segmento que va de z = x + iy a z + h, h real:
z+h
Rz
R
Rz
Rh
F (x + h + iy) = f ()d +
f ()d = f ()d + f (x + s + iy)ds
z0

z0

Derivando con respecto a h y evaluando en h = 0, se obtiene:

F
= f (x, y)
x
Hacemos lo mismo para obtener la parcial con respecto a y, nos movemos en la vertical
de z = x + iy a z + ih :
z+h
Rz
R
Rz
Rh
f ()d = f ()d + f (x + i(y + s))ids
F (x + i(y + h)) = f ()d +
z0

z0

F
y

= if (x, y).
Si f (x, y) = u + iv tenemos que F
= u + iv y F
= i(u + iv) = v + iu
x
y
Como f = u+iv es continua entonces las parciales de F son continuas (por lo tanto es
diferenciable como funcin de R2 en R2 ) y adems tenemos que se cumplen las ecuaciones
de Cauchy Riemann: F = U + iV
U
V
=u
=v
x
x
U
V
= v y = u
y
Esto demuestra que F (z) es holomorfa en U (dominio de f) y que su derivada es f (z).

4.2.2.

Integrabilidad de las potencias positivas y no negativas

de z ...salvo una. Comparacin con las integrales de lnea
reales: campos conservativos y diferenciales exactas.

El
4.1 nos permite calcular muchas integrales (C curva cerrada), por ejemplo:
R teorema
z n dz = 0 n N
RC n
z dz = 0 n 6= 1,
C no pasa por el origen
C

111

RC

RC

P (z)dz = 0,

P (z) cualquier polinomio

ez dz = 0
sen(z)dz = 0

Resultados equivalentes:
Este resultado tiene su equivalente en Clculo de varias variables reales, para campos
vectoriales y para formas diferenciales:
P dx + Qdy es exacta (es decir, una funcin F (x, y) tal que F
= P y F
=Q)
x
y
R

P dx + Qdy slo depende de los extremos de C

C
R
P dx + Qdy = 0 para toda C curva cerrada.

X = (P,
R Q) es un campo gradiente

X dx solo depende de los extremos (X es conservativo)

C
R
X dx = 0 para toda C curva cerrada.

Estas son equivalencias entre diversas propiedades, muy importantes desde el punto
de la teora de las formas diferenciales y los campos de fuerzas, pero en la prctica no
son muy tiles para verificar si alguna de ellas se cumple en un ejemplo dado. Para esto
hay otro criterio que es el siguiente:
P dx + Qdy es exacta

P
y

Q
x

(es decir, la forma es cerrada).

X = (P, Q) es un campo gradiente rotX = P

Q
= 0 (es decir, el campo es
y
x
irrotacional).
La diferencia es que este criterio slo da una condicin necesaria, que es suficiente slo
en la vecindad de cada punto o en regiones especiales (sin hoyos), adems que requiere
que la forma diferencial o el campo tengan parciales continuas. Veamos cmo se expresa
este criterio para las funciones complejas:
Si f = u + iv y suponemos que f C 1 como funcin real (u, v C 1 ), (t) = x + iy ,
la integral
de lnea
R
R se desarrolla Rcomo:
f (z)dz = udx vdy + i vdx + udy
C

As, para que la integral slo dependa de los extremos de C se requiere que lo mismo
suceda para sus partes real e imaginaria y la condicin necesaria anterior aplicada a cada
parte dara las condiciones:
u v
+
=0
y x
v u

=0
y x
Que no son otras que las condiciones de Cauchy-Riemann otra vez!
Algo muy curioso est pasando: las condiciones (necesarias y suficientes) para que
una funcin sea derivable resultan ser las mismas que las necesarias para que tenga
112

primitiva, es decir para que sea "integrable". En la segunda parte de este curso iremos al
fondo de esta extraa coincidencia y veremos las enormes repercusiones que tiene para
la comprensin de las funciones holomorfas.
Por lo pronto hemos demostrado la implicacin correspondiente a las anteriores para
el caso complejo:
Si tenemos f = u + iv C 1 como funcin real (u, v C 1 ) y
R
C

f (z)dz = 0 para toda curva cerrada C entonces f es holomorfa.

Veremos tambin despus que se puede prescindir de la hiptesis f C 1 .

Por lo pronto recordemos porque esas condiciones no son suficientes.
Recordemos un ejemplo de campo vectorial que tiene rotacional nulo, pero que no es
un campo gradiente:
Sea X(x, y) = ( x2y
, x ) . Este es un campo vectorial definido en R2 {(0, 0)}.
+y2 x2 +y 2
(1) Existe tal que = X ?
La condicin rotX = 0 se cumple, como puede verificar el lector calculndolo. Busquemos entonces .
Sean A y B dos puntos en R2 {(0, 0)}, una parametrizacin lisa por tramos,
:[a, b] R2 {(0, 0)}
tal que (a) = A y (b) = B
0
Rb 2 (t) 1 (t)
Rb 1 02 2 01
Rb 21
R
0
0
2 (t) b
2 dt = arctan
Xd = ( 2 +2 , 2 +2 ).(1 , 2 )dt =
dt =
| =
2
1 (t) a
2 +2

a
B2
B1

a 1+

A2
A1

= arctan arctan

(x, y) = arctan xy
(2) Sin embargo, la integral de lnea sobre cualquier circunferencia con centro en el
origen es distinta de cero; es ms:
R
R2
R2
X d = r12 (rsen, r cos )(rsen, r cos )d = d = 2
C

Qu es lo que est pasando?

Que la funcin que obtuvimos no est bien definida para toda (x, y) 6= (0, 0). La
podemos definir en algn abierto siempre que ste no rodee al origen. Por ejemplo en el
semiplano superior. Ah el campo s es gradiente. Lo mismo en cualquier otro semiplano.
Pero no en todo R2 {(0, 0)}.
El problema es que la condicin rotX = 0 es una condicin local: para verificarla
en un punto slo necesitamos conocer lo que pasa en la vecindad de ese punto. Con eso
es suficiente para calcular
las derivadas parciales de X y por lo tanto el rotacional. En
R
cambio la condicin X dx = 0 para toda curva cerrada es una condicin global: no

podemos verificarla alrededor de cada punto, necesitaramos considerar todas las curvas
cerradas, y todas incluye hasta las que van a dar una vuelta hasta puntos muy lejanos.
Lo mismo, para verificar que X es un gradiente en una regin U necesitamos construir la
funcin cuyo gradiente sea X en toda U y no vale en general construirla en pedacitos y
113

despus pegar todos los pedacitos. El resultado puede ser algo que no es una funcin bien
definida en todo U . El ejemplo anterior nos muestra que lo local y lo global no siempre
coinciden.
Para el caso de funciones complejas ya hemos visto el ejemplo f (z) = z1 funcin
holomorfa definida en C {0}. Si () = ei , 0 < 2 tenemos que:
R 1
R2 1 i
dz
=
i
e d = 2i y por tanto:
z
ei
C

1
dz = 2i
z

O sea que 1/z es una funcin holomorfa definida para z 6= 0 , como tal cumple
Cauchy- Riemann y, sin embargo, su integral a lo largo de una curva cerrada no es 0 y
en consecuencia no tiene primitiva. Pero localmente y en partes adecuadas del dominio s
tiene primitiva: log(z) que como sabemos puede definirse en algunos subdominios, como
por ejemplo, en C (, 0] (la rama principal) pero no en todo el dominio C {0}. En
unaRregin as podemos simplemente calcular
||
1
dz = log() log() = log = log ||
+ i(arg arg )
z
C

Pero en todo el dominio de 1/z esta frmula presenta un problema: no en la parte

real de la integral ( log(|z|) est bien definida para z 6= 0 ) pero s en la imaginaria, arg
, que tiene la indefinicin que ya conocemos.
Veamos algunos clculos de este tipo:
Sean C1 y C2 como se muestran en el dibujo:

y
las integrales:
R calculemos
1
dz = log z |ii = log i log(i) = i 2 + i 2 = i
z

C1

(porque
F1 (z) = log z = log |z| + i arg z, < arg z < )
R 1
3

dz
=
log z |i
i = log(i) log(i) = i 2 i 2 = i
z

C2

(porque F2 (z) = log z = log |z| + i arg z, 0 < arg z < 2).
Si tenemos una curva como en el dibujo, podemos partirla e integrar, obteniendo la
variacin
R 1 del argumento:
dz = 4i (mide cmo va aumentando el argumento)
z
C

114

Observemos que la curva le da dos vueltas al origen.

O bien, si recorremos la siguiente curva en el mismo sentido que las manecillas del
reloj tenemos:

R
C

1
dz
z

= 2i

Tenemos por conclusin que para toda curva cerrada C que no pase por el origen, k
entero:
Z

ZC

zk =

k 6= 1

0,

z k = (2i)n

k = 1

donde el nmero n es el nmero de vueltas que le da la curva el origen. A pesar de esto,

en algunos casos es posible demostrar que la integral de una funcin holomorfa sobre una
curva cerrada es 0.

4.3.

Teorema de Cauchy para el rectngulo

Consideremos un campo vectorial X definido en una regin U y supongamos que sus

componentes tienen derivadas parciales continuas en U . Supongamos que tenemos un
rectngulo cerrado R contenido en U y sea R la frontera de R orientada en sentido
positivo. En esas circunstacias tenemos el Teorema de Green que afirma la integral de
lnea del campo sobre R es igual a la integral de superficie del rotacional del campo
sobre R :
Z
Z Z
X dx =
rotX dxdy
R

115

(Existen diferentes versiones del Teorema de Green, pero es fcil ver que todas son equivalentes: para una forma diferencial se formula as:
Z Z
Z
Q P
P dx + Qdy =
(

) dxdy
y
R
R x
bajo las hiptesis correspondientes).
Si, adicionalmente, suponemos que rotX = 0 , se puede concluir que la integral de
lnea de X sobre la curva cerrada R es cero.
Aplicando este resultado como antes a las partes real e imaginaria de la integral de
una funcin compleja obtenemos el
Teorema 4.2 (de Cauchy para el rectngulo) Sea f : U C holomorfa tal que
f 0 (z) sea continua y sea R un rectngulo cerrado contenido en U. Entonces
Z
f (z) dz = 0 .
R

Es claro que la misma conclusin se obtiene si substituimos el rectngulo por un

tringulo, un disco, o cualquier otra regin cerrada a la que se pueda aplicar el Teorema
de Green. En la segunda parte veremos nuevamente que se puede prescindir de la hiptesis
de que f 0 (z) sea continua. Este resultado, conocido como Teorema de Cauchy-Goursat
ser de fundamental importancia para la teora de las funciones holomorfas.
Conclusin 4.1 La afirmacin la integral de una funcin holomorfa a lo largo de una
curva cerrada es cero es falsa en general. La afirmacin es, sin embargo, casi cierta: es
cierta para algunas regiones, es cierta cuando la funcin se comporta bien en la vecindad
de los puntos donde no est definida, es cierta para ciertas curvas cerradas, etc. Todas
esas variantes se conocen como Teoremas de Cauchy.
El contraejemplo

1
dz = 2i
z

nos arruina la posibilidad de tener un Teorema de Cauchy completamente general sin

hiptesis adicionales. Pero el hecho no es tan grave porque es, en cierto sentido, el nico
ejemplo: cualquier otro deber contener, ms o menos escondido a ste.
Pero despus veremos que si bien este ejemplo nos quita ese Teorema de Cauchy
perfecto, nos da por otro lado todos los teoremas fundamentales sobre las funciones
holomorfas. Es la llave que nos abre la puerta a un mundo de impresionantes resultados,
ninguno de los cuales se podra obtener si la integral anterior fuera 0.

116

4.4.

Integracin de funciones racionales

4.4.1.

El Teorema del Residuo (primera versin)

Por lo visto anteriormente podemos calcular fcilmente cualquier integral de un polinomio. Desde la Preparatoria sabemos encontrar primitivas de polinomios. Veremos ahora
que tambin sabemos calcular, en principio, la integral de cualquier funcin racional. Este
hecho tendr, sorpresivamente, grandes implicaciones que se agrupan en torno al Teorema
del Residuo.
Todo se basa en el conocido mtodo de las fracciones parciales, que se basa en la
proposicin que ya demostramos: toda funcin racional se puede escribir como una suma
de funciones racionales, cada una de las cuales tiene un solo polo. Entonces todo se
reduce a calcular las integrales de stas.
Si R(z) tiene un solo polo, y ste es , entonces es un polinomio y ya lo sabemos
integrar.
Si R(z) tiene un solo polo p C, entonces se puede escribir de la forma
R(z) =

P (z)
(z p)m

donde P (z) es un polinomio de grado m. Desarrollndolo en potencias de z p obtenemos:

R(z) =

am
a1
+ a0 .
+ ... +
m
(z p)
zp

Para integrarla, observemos que todos los trminos, salvo el penltimo, tienen una primitiva bien definida (que es una funcin racional) en todo C {p}. Y el penltimo tiene
como primitiva a1 log(z p) que no est bien definida en todo C {p}, pero que ya
sabemos como trabajar.
Podemos concluir que la integral de toda funcin racional se puede expresar como
suma de funciones racionales y logaritmos. El principal problema para llevar esto a la
prctica consiste en encontrar los polos de la funcin, lo cual involucra encontrar las
races del denominador, lo cual es bien sabido que puede ser complicado si su grado es
mayor que 2 y ms an si el grado es muy grande.
En el caso de que quisiramos integrar una funcin con un slo polo como la anterior
a lo largo de una curva cerrada C que no pase por p, las integrales de todos los trminos
son cero, salvo la del penltimo:
Z
Z
dz
R(z)dz = a1
C
C zp
De toda la funcin, lo nico que necesitamos para calcular la integral es conocer p y
el valor de a1 . A ste ltimo se le conoce como el residuo de R(z) en el polo p y lo
117

denotaremos por res(R, p).

Falta slo calcular la integral de la funcin 1/(z p) que, como sabemos, depende
slo del nmero de vueltas que le da C a p . En ciertos casos es fcil decir cul es este
nmero, pero necesitamos en general definir bien este concepto. Hay formas geomtricas
de hacerlo, pero esto requerira desviarnos mucho. De hecho, podemos invertir los papeles
y definir formalmente el nmero de vueltas que le da C a p en trminos de la integral.
Este nmero se llama el ndice de C respecto a p , se denota por n(C, p) y se define as:
Z
1
dz
n(C, p) =
2i C z p
Con estos conceptos podemos ya enunciar el
Teorema 4.3 (del Residuo para funciones racionales)
Si R(z) es una funcin racional con polos p1 , ..., pk y C es una curva cerrada que no
pasa por ninguno de estos polos, entonces
Z

R(z)dz = 2i

k
X

n(C, pj )res(R, pj ).

j=1

Demostracin La demostracin ya est hecha: se descompone R(z) en sus fracciones

parciales (funciones con un solo polo) y se realiza el clculo anterior (ver apndice D).
Nuevamente, en un caso particular, suele ser fcil encontrar los ndices n(C, pj ) , hay
mtodos para calcular los residuos res(R, pj ) y lo ms problemtico es encontrar los
polos.

4.4.2.

Clculo de Integrales reales

Una de las aplicaciones del Teorema del Residuo es calcular integrales reales.
Hay muchas que resultan dficil de calcular, otras que solamente con el teorema del
residuo tienen solucin.
(i) Empecemos con las integrales de la forma:
Z2

R(cos , sen)d

donde R es una funcin racional. Interpretamos la integral como una integral compleja
como sigue:
Vamos a buscar una funcin f (z) que al integrarla sobre el crculo unitario me de la
que tenemos. Hacemos:
z = ei
dz = izd
118

cos = Re z = 12 (z + z1 )
sen = Im z = 2i1 (z 1z )
R2
R
R(cos ,sen)d = i
0

1
(z z1 ))
R( 12 (z+ z1 ), 2i
dz
z

|z|=1

la integral compleja la resolvemos con el teorema del residuo. Tenemos que garantizar
que no hay polos en el crculo.
(ii) Integrales de la forma
Z

R(x)dx

Las condiciones para que exista la integral son:

R funcin racional que no tenga polos reales y que el grado del denominador sea mayor
o igual al grado del numerador ms dos, es decir, |R(z)| |z|k2 para z suficientemente
grande, cumplindose tambin para toda x. La funcin racional compleja tiende a cero
como x12 .
Bajo
se cumple
que,

b stas condiciones
R
R1
Rb

R(x)dx R(x)dx + R(x)dx + k(1 1 ) <

b

0
0
1
por tanto existen los dos lmites siguientes:
R
Rb
R0
R0
R(x)dx = lm R(x)dx y
R(x)dx = lm R(x)dx,
0

y existe

b 0

b b

R(x)dx.

r.

Consideremos la curva Cr formada por el intervalo [r, r] y (sr ) el semicrculo de radio

Como R(x) es una funcin racional real que no tiene polos en R, los polos quedan
dentro
la integral sobre Cr :
R de la curva. Calculamos
P
R(z)dz = 2i(
Res(R, zi ))
Cr

Cr

R(z)dz =

Rr

zi polo R
Im(zi )>0

R(x)dx +

R(rei )irei d

119

tender r a infinito tenemos que,

haciendo
R
R

R
R(rei )irei d R(rei ) r |d| k2 r |d| = k 0
r
r

y por tanto
R
P
R(x)dx = 2i(
Res(R, zi )).

zi polo R
Im(zi )>0

El Teorema del Residuo tambin es vlido para funciones que no sean racionales.

120

Apndice A
Teorema (Bolzano-Weierstrass):
Teorema A.1 (Teorema de Bolzano-Weierstrass para conjuntos)
Todo conjunto infinito acotado tiene al menos un punto de acumulacin.
Teorema A.2 (Teorema de Bolzano-Weierstrass para sucesiones)
Toda sucesin acotada en C tiene al menos una subsucesin convergente.

121

Apndice B
Teorema Fundamental del Algebra
Teorema B.1 Todo polinomio complejo no constante tiene al menos una raz compleja

Buscaremos un h complejo tal que cumpla |p(z0 + h)| < |p(z0 )|.
p(z0 + h) = an (z0 + h)n + an1 (z0 + h)n1 + ... + a0
haciendo las operaciones binomiales y agrupando tenemos
p(z0 + h) = p(z0 ) + bn hn + ... + bk hk , donde k es la potencia ms chica que aparece
(puede ser igual a uno)
p(z0 + h) = p(z0 ) + bk hk +bk+1 hk+1 + ... + bn hn

bn nk
k
k bk+1
= p(z0 ) + bk h +bk h
h + ... + bk h
bk

Llamemos = bk hk

bn nk
= bk hk bk+1
h
+
...
+
h
bk
bk
p(z0 + h) es el vector resultante de sumar p(z0 ), y . Veamos qu condiciones
podemos pedir para h:
i) si || < |p(z0 )| y arg = arg p(z0 ) +
(arg = arg bk + k arg h)
entonces el vector tiene direccin opuesta al vector p(z0 )
ii) si || < ||
122

k bk+1
k bk+1
bn nk
h + ... + bk h
bk h
= |bk | |h| bk h + ... +
bk

bn nk
k bk+1
|bk | |h| ( bk h + ... + bk h ) < |bk | |h|k = || ,

bn nk

|h|
+
...
+
si se cumple bk+1
< 1.
bk |h|

bk

bn nk
h
bk

Si |h| es suficientemente pequeo para que se cumpla i) y ii) con

arg p(z0 ) + arg bk

k
entonces h C tal que |p(z0 + h)| < |p(z0 )|.
Por tanto p(z) = 0 para algn z C.
arg h =

123

Apndice C
Geometra real con notacin
compleja
Si P (z) es un polinomio complejo, entonces la ecuacin P (z) = 0 se cumple nicamente por un nmero finito de puntos del plano. Por lo tanto, si queremos encontrar la
ecuacin de una curva en notacin compleja, tenemos que incluir otras funciones, como
por ejemplo z.
Por ejemplo la ecuacin zz = 1 nos representa el crculo unitario, la ecuacin z z = 0
nos representa el eje real, etc.
De hecho, cualquier ecuacin de una curva plana dada por un polinomio real P (x, y) =
0 se puede escribir en trminos complejos mediante la substitucin
z + z
z z
, y=
.
2
2i
As podemos, en principio, rehacer toda la geometra analtica plana en funcin de la
variable compleja z. En ocasiones esto puede simplificar los clculos.
x=

Ecuacin de la recta: Si tenemos la recta ax+by +c = 0 con a, b reales, la substitucin

nos da
z
a z +2 z + b z 2i
+c=0
o
asea b

+ 2i z + a2 2ib z + c = 0
2
y llamando = a2 + 2ib tenemos:
La ecuacin de una recta en R2 es de la forma
z + z + c = 0
donde C y c R.
A la misma conclusin se puede llegar mediante un argumento geomtrico:

124

Si es un vector unitario perpendicular a la recta l, entonces p l es equivalente a

la condicin p v = d, con d una constante.

En notacin compleja p = z, v = . (Pero recordemos que p v = Re(z)), y la

ecuacin nos queda
Re(z) = d

z + z 2d = 0 (d R)
con lo cual obtenemos una interpretacin geomtrica de los parmetros.
Ecuacin de un crculo
La ecuacin general de un crculo es an ms sencilla: el crculo de centro a y radio
r se escribe como
|z a| = r

(z a)(z a) = r2

zz az az + aa r2 = 0
Ejercicio C.1 Si en la ecuacin anterior suprimimos el trmino zz obtenemos la ecuacin
de una recta. Qu tiene que ver esta recta con el crculo?
Semejanza de tringulos
Recordamos la condicin para que dos tringulos sean semejantes: Existe una semejanza que mande el tringulo z0 z1 z2 en el z00 z10 z20 (en ese orden)

125

si, y slo si los ngulos , 0 son iguales y sus lados adyacentes son proporcionales. O
sea
= 0
|z20 z00 |
|z2 z0 |
=
|z1 z0 |
|z10 z00 |
0
= arg(z2 z0 ) arg(z1 z0 ) = arg zz21 z
y anlogamente para 0 .
z0
Luego las dos ecuaciones anteriores se expresan en una sola:

z 0 z00
z2 z0
= 20
z1 z0
z1 z00

que expresan en forma compacta las condiciones para la semejanza.

126

Apndice D
Fracciones Parciales
En clculo integral es de gran utilidad descomponer una funcin racional en fracciones parciales, es decir como una suma de funciones racionales, cada una de las cuales
tiene un nico polo. Demostraremos aqu que esto siempre se puede hacer:
P (z)
Sea R(z) = Q(z)
Empezaremos por demostrar
Lema 1:
Si p es un polo de R(z), podemos separar R como una suma
R(z) = R1 (z) + R2 (z)
donde p es el nico polo de R1 y p no es polo de R2 (y en consecuencia, R2 debe tener
todos los dems polos de R).
Veamos algunos casos:
Caso p = : Es el caso ms fcil. Si es polo de R, eso quiere decir que el grado
de P es mayor que el grado de Q. Entonces podemos aplicar el algoritmo de la divisin
y escribir
P (z) = A(z)Q(z) + B(z)
donde A y B son polinomios, el grado de B es menor que el grado de Q. De donde
R(z) =

P (z)
B(z)
= A(z) +
Q(z)
Q(z)

Como A(z) es polinomio, su nico polo es . Y por ser grado B < grado Q, B(z) no
tiene polo en , y hemos logrado la descomposicin.
Caso p 6= polo simple: En este caso Q(p) = 0 y Q(z) = (z p)Q1 (z) con Q1 (p) 6= 0.
Luego podemos tratar de descomponer, como en los cursos de clculo integral

127

R(z) =

a
B(z)
P (z)
=
+
(z p)Q1 (z)
z p Q1 (z)

donde a y B son una constante y un polinomio por determinar como sigue:

B(z)
aQ1 (z) + B(z)(z p)
a
+
=
.
z p Q1 (z)
(z p)Q1 (z)

Entonces a y B(z) deben cumplir

P (z) = aQ1 (z) + B(z)(z p)

Haciendo z = p obtenemos P (p) = aQ1 (p), o sea
a=

P (p)
.
Q1 (p)

y
P (z) aQ1 (z)
zp
el cual es un polinomio, ya que el numerador se anula en z = p, y por lo tanto es
divisible entre z p.
B(z) =

Podemos continuar viendo como descomponer un polo doble, triple, etc. Pero hay una
manera ms rpida de hacerlo, reduciendo al caso p = .

Caso general: Si p 6= es polo de R(z), tomemos una funcin de Mbius M que

1
). Entonces M 1 manda en p y R(M 1 (w))
mande p a (por ejemplo M(z) = zp
tiene un polo en infinito. Por el el primer caso:
R(M 1 (w)) = R1 (w) + R2 (w)
donde R1 tiene el como nico polo y R2 no tiene polo en . Pero entonces, haciendo
w = M(z)
R(z) = R1 (M(z)) + R2 (M(z))
y R1 (M(z)) es una funcin racional cuyo nico polo es p y R2 (M(z)) es una funcin
racional que no tiene polo en p.
As el lema queda demostrado en general (y sin hacer muchas cuentas).
Mediante el Lema 1 podemos ir descomponiendo uno a uno los polos de la funcin R
y escribir, si p1 , ..., pk son los polos de R,
R(z) = R1 (z) + ... + Rk (z)

128

Donde cada Ri (z) es una funcin racional cuyo nico polo es pi .X

Ejercicio D.1 Encontrar explcitamente la descomposicin para el caso de un polo doble.
Ejercicio D.2 Demostrar que en la descomposicin de R(z) las fracciones parciales
quedan nicamente determinadas salvo constantes. (Sugerencia: Empezar por el Lema).

129

Apndice E
Geometra hiperblica
Ahora estudiemos las transformaciones de Mbius que van del disco 4 = {z | |z| < 1}
al disco 4 = {z | |z| < 1}
D = {T : 4 4, T Transformacin de Mbius}

Las rotaciones del disco seran un caso, aqu el centro va al centro.

Lo interesante est en si es posible que un punto distinto del cero vaya al cero, T (u) =
0.La respuesta es que s, y resulta que el conjunto D es un subgrupo.
construimos una tal que mande el punto u al cero.
De todas las T (z) = az+b
cz+d
Supongamos que el punto u est en el eje real:

Trazamos una recta que pase por 1, 0, u y 1, sabemos que existe una T que mande
u
1 1, u 0 y 1 1, y es T (z) = 1z uz
De igual manera se puede obtener T si u no es real, sino cualquier punto en el disco,
trazamos la recta que pasa por l y el cero, tendramos otros dos puntos en el crculo z1
y z2 .
Y se busca la transformacin que u 0, z1 z1 y z2 z2 .
u
T (z) = ei 1z uz
con u 4
sta T es del conjunto D porque la recta que pasa por los puntos z1 y z2 , va a la
recta que pasa por los puntos T (z1 ) = z1 y T (z2 ) = z2 , y tambin va a tener a los puntos
imagen del 0 y u.
130

Observemos que se conserva el ngulo recto formado por el crculo y la recta en los
puntos z1 y z2 y el crculo va a dar al crculo, (|T (z)| = 1, si |z| = 1).
Teorema E.1 Si z1 , z2 4 = {z | |z| < 1} (Disco unitario) (z1 6= z2 )
Entonces existe un nico crculo ortogonal al crculo unitario C = {z | |z| = 1} que
pasa por z1 y z2 .
Demostracin Sea T transformacin de Mbius tal que T (C) = R {} y T (4) =
{z; Im z > 0}
Tomemos tres puntos , y en el crculo y los mandamos a el 0, 1 e respectivamente .
S() = 0, S() = 1 y S() =
La imagen del disco puede ir al semiplano superior o inferior (pero la imagen est de
un mismo lado). Para tener el semiplano superior podemos tomar T = S, T = S.
las imagenes de z1 y z2 estarn en el semiplano, demostraremos que existe un nico
crculo ortogonal al eje real que pasa por ellos.
Con la inversa (que ya sabemos que existe) regresamos al disco y tenemos que se
cumple el teorema.
Construimos el crculo: el centro es el punto de interseccin de la recta L y el eje real
, donde la recta L es la bisectriz del segmento formado por los puntos T (z1 ) y T (z2 ), y
por lo tanto el radio es la distancia del centro al punto T (z1 ) o T (z2 ).

Tenemos que por construccin el crculo es el nico ortogonal al eje real . Cuando los
puntos imagen estn en la misma vertical, el crculo ortogonal es la recta vertical (crculo
de radio infinito)
Existen muchas transformaciones de Mbius que mandan el disco en el semiplano
superior, podemos construir una:
1 0
i1
1
S(z) = i z+1
, como S(0) = i, el disco va al semiplano inferior, as que la que buscamos
z1
es T (z) = S(z)
Nuestra transformacin cumple todas las propiedades que hemos visto.X
131

Por tanto estas transformaciones del disco en el disco mandan crculos ortogonales en
crculos ortogonales.
Llammosle recta al crculo ortogonal que pasa por z1 y z2 , y puntos a los puntos
del disco
Tenemos que:
i) Dados dos puntos existe una recta que pasa por ellos
ii) Dado un punto p exterior a una recta l, existen muchas rectas que pasan
por p y no tocan a l.

Como vemos, tenemos en el punto (ii) la negacin al quinto postulado de la geometra

euclidiana.
Con estas denominaciones podemos hacer mucha geometra, la geometra de Lobachevski.
Slo falta llamarle al disco Plano de Lobachevski. A las transformaciones de Mbius
se les considera los movimientos del Plano de Lovachevski. Se puede tambin definir
una distancia entre dos puntos p, q como la razn cruzada (p0 , p, q, q 0 ) donde p0 , q0 son
los puntos donde la recta que pasa por p, q intersecta al borde. Entonces las transformaciones de D preservan la distancia.(Isometras de disco)
Fu N.I. Lobachevski quien demostrara la posibilidad de una geometra distinta (no
euclidiana). Despus muchos matemticos desarrollaron modelos geomtricos para estudiar la geometra de Lobachevski.

132

Bibliografa
[1968] Carl B. Boyer. Historia de la Matemtica. Alianza Editorial, Madrid, 1986, El
Renacimiento pp.362.
[1972] Morris Kline. El pensamiento matemtico de la Antigedad a nuestros das, I.
Alianza Editorial, Madrid, 1992, pp.339.
[1972] Morris Kline. El pensamiento matemtico de la Antigedad a nuestros das, II.
Alianza Editorial, Madrid, 1992, pp.547
[1989] John Stillwell. Mathematics and Its History. Springer-Verlag New York, 1989,
pp.190-191.
[1966] Lars V. Ahlfors. Complex Analysis. Second edition. McGraw-Hill. Tokyo
[1990] H.D.Ebbinghaus. H.Hermes. F.Hirzebruch. M.Koecher. K.Mainzer. J.Neukirch. A.
Prestel. R.Remmert. Numbers. Springer-Verlag.
[1991] Bruce P.Palka. An Introduction to Complex Function Theory. Springer-Verlag.
[1999] Remmert, R. Theory of Complex Functions. Graduate Texts in Mathematics.
Springer-Verlag.

133