Variable Complaja

Analisis de Funciones de Variable Compleja
Ing. Juan Sacerdoti
Facultad de Ingeniera
Departamento de Matematica
Universidad de Buenos Aires
2005
V 1.011
Agradecemos al Sr. Alejandro Quadrini por la transcripci

on de este documento.
Indice general
1. N
umeros Complejos
1.1. Definici
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Igualdad de n
umeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Estructuracion de C como cuerpo abeliano . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4. Imposibilidad de estructurar C como cuerpo ordenado . . . . . . . . . . . . . . . . . . . .
1.5. Estructuracion de C como estructura vectorial . . . . . . . . . . . . . . . . . . . . . . . .
1.6. Estructuracion de C como estructura de espacio metrico . . . . . . . . . . . . . . . . . . .
1.6.1. Propiedades generales de la funcion distancia en C . . . . . . . . . . . . . . . . . .
1.6.2. Notacion para la funcion distancia sobre C . . . . . . . . . . . . . . . . . . . . . .
1.6.3. Modulo de z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.7. Estructuracion de C como espacio normado . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8. Forma binomica de los complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8.1. Isomorfismos entre estructuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8.2. Isomorfismo entre los reales y el conjunto de los complejos con segunda componente
nula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8.3. Forma binomica de los n
umeros complejos . . . . . . . . . . . . . . . . . . . . . . .
1.9. Representacion geometrica de los complejos . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10. Forma Polar de un N
umero Complejo. Propiedades . . . . . . . . . . . . . . . . . . . . . .
1.10.1. Forma Polar de un N
umero Complejo . . . . . . . . . . . . . . . . . . . . . . . . .
1.10.2. Igualdad en forma polar. Congruencia . . . . . . . . . . . . . . . . . . . . . . . . .
1.10.3. Producto en forma polar. Cociente . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10.4. Potencia en forma polar. Radicacion . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10.5. Interpretacion geometrica de las operaciones complejas . . . . . . . . . . . . . . . .
1.11. Forma exponencial de un n
umero complejo . . . . . . . . . . . . . . . . . . . . . . . . . .
1.11.1. Expresion de la forma exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.11.2. Definicion de la funcion ez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.11.3. El producto, el cociente y la potencia de complejos en forma exponencial. . . . . .
1.12. Conjugado de un complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
20
22
23
23
26
26
27
28
29
30
30
32
32
2. Elementos de Topologa en el Campo Complejo

2.1. Definici
on de bola . . . . . . . . . . . . . . . . . . . . .
2.2. Entorno de un punto c . . . . . . . . . . . . . . . . . . .
2.3. Vecinal de un punto c . . . . . . . . . . . . . . . . . . .
2.4. Clasificacion de puntos: Interiores, exteriores y frontera
2.5. Adherencia . . . . . . . . . . . . . . . . . . . . . . . . .
2.6. Clasificacion de puntos de adherencia . . . . . . . . . . .
2.7. Conjuntos abiertos y conjuntos cerrados . . . . . . . . .
2.8. Conjunto acotado y conjunto compacto . . . . . . . . .
2.9. Infinito en el Campo Complejo . . . . . . . . . . . . . .
35
35
36
36
37
39
40
42
43
44
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
10
10
11
13
14
14
15
16
17
18
18
INDICE GENERAL
2.9.1.
2.9.2.
2.9.3.
2.9.4.
Concepto de punto infinito en C

Conjunto Complejo Extendido .
Esfera de Riemann . . . . . . . .
Diversas acepciones de infinito
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
44
47
47
49
3. Funciones de Variable Compleja. Continuidad y Lmite

3.1. Funciones de variable compleja . . . . . . . . . . . . . . .
3.2. Interpretacion geometrica . . . . . . . . . . . . . . . . . .
3.3. Funciones de variable compleja. Caractersticas y ejemplos
3.3.1. Caractersticas . . . . . . . . . . . . . . . . . . . .
3.3.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . .
3.4. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4.1. Definicion . . . . . . . . . . . . . . . . . . . . . . .
3.4.2. Continuidad sobre un conjunto . . . . . . . . . . .
3.5. Lmite . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.5.1. Definicion de lmite . . . . . . . . . . . . . . . . . .
3.5.2. Operaciones con lmites . . . . . . . . . . . . . . .
3.6. Curvas en el campo complejo. Caminos y lazos . . . . . .
3.6.1. Continuidad por partes de funciones reales . . . .
3.6.2. Camino . . . . . . . . . . . . . . . . . . . . . . . .
3.6.3. Lazo . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6.4. Curva . . . . . . . . . . . . . . . . . . . . . . . . .
3.6.5. Caminos opuestos y yuxtapuestos . . . . . . . . .
3.6.6. Ejemplos de caminos . . . . . . . . . . . . . . . . .
3.6.7. Camino simple. Lazo simple . . . . . . . . . . . . .
3.6.8. Caminos equivalentes . . . . . . . . . . . . . . . .
3.7. Conjuntos conexos . . . . . . . . . . . . . . . . . . . . . .
3.8. Homotopa de caminos y lazos . . . . . . . . . . . . . . . .
3.8.1. Homotopa de caminos . . . . . . . . . . . . . . . .
3.8.2. Homotopa de lazos . . . . . . . . . . . . . . . . .
3.8.3. Homotopa a un punto . . . . . . . . . . . . . . . .
3.9. Clasificacion de conjuntos conexos en C . . . . . . . . . .
3.9.1. Conjuntos simplemente conexos . . . . . . . . . . .
3.9.2. Conjuntos m
ultiplemente conexos . . . . . . . . . .
3.9.3. Cortadura . . . . . . . . . . . . . . . . . . . . . . .
3.9.4. Grado de multiplicidad . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
51
51
51
53
53
54
56
56
58
59
59
61
63
63
64
65
65
66
68
69
69
70
70
70
71
72
72
72
72
73
73
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
punto
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
75
76
78
80
80
82
82
82
84
87
94
95
95
4. Derivaci
on en el Campo Complejo
4.1. Derivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Diferencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. Relacion entre derivada y diferencial. Existencia . . . . . . . . . . . . . . . . . .
4.4. Derivacion y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5. Funciones monogenas y holomorfas . . . . . . . . . . . . . . . . . . . . . . . . .
4.6. Reglas de derivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7. Holomorfa y ecuacion de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7.1. Las componentes de una funcion holomorfa como funciones armonicas .
4.7.2. Propiedades de funciones conjugadas armonicas . . . . . . . . . . . . . .
4.7.3. Obtencion de la conjugada armonica de una funcion en el entorno de un
4.8. Holomorfa en el infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.9. Representacion conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.9.1. Angulo
entre caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . .
INDICE GENERAL
4.9.2.
4.9.3.
4.9.4.
4.9.5.
4.9.6.
4.9.7.
4.9.8.
Transformacion de caminos . . . . . . . . . .
Transformacion de vectores tangentes . . . .
Aplicacion conforme . . . . . . . . . . . . . .
Transformacion de areas e integrales dobles .
Los problemas de la representacion conforme
La inversion . . . . . . . . . . . . . . . . . . .
La funcion homografica . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
96
98
99
104
105
106
107
INDICE GENERAL
Indice de figuras
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
1.7.
Representacion del complejo (x y) en el plano cartesiano. . . .

Representacion del complejo z en coordenadas polares. . . . .
Representacion geometrica de la suma de dos complejos. . . .
Representacion geometrica de la diferencia de dos complejos.
Representacion geometrica del producto de dos complejos. . .
Races quintas de un n
umero complejo z. . . . . . . . . . . .
Conjugado de un n
umero complejo. . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
23
24
28
28
29
29
33
2.1. Bola de centro c y radio r. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2. Entorno de un punto c. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3. Vecinal de un punto c. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4. Clasificacion de puntos en un espacio metrico. . . . . . . . . . . . . . . . . . . . . . . . . .
2.5. Puntos aislados y puntos de acumulacion del conjunto A. . . . . . . . . . . . . . . . . . .
2.6. Clasificacion de conjuntos seg
un contengan o no a sus fronteras. . . . . . . . . . . . . . . .
2.7. |z| > r. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.8. Diversos conjuntos transformados mediante la funcion inversion. . . . . . . . . . . . . . .
2.9. Esfera de Riemann. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.10. Proyeccion estereografica de una circunferencia que no pasa por el origen de coordenadas.
2.11. Proyeccion estereografica de una circunferencia que pasa por el origen de coordenadas. . .
35
36
37
38
41
42
44
46
48
48
48
3.1. Transformacion de regiones en R2 mediante una funcion de variable compleja.

3.2. Transformacion de caminos mediante la funcion f (z) = z 2 . . . . . . . . . . . .
3.3. Funcion de una variable real discontinua en a. . . . . . . . . . . . . . . . . . .
3.4. Funcion de una variable compleja discontinua en a. . . . . . . . . . . . . . . .
3.5. Composicion de funciones de una variable compleja. . . . . . . . . . . . . . .
3.6. Camino en el campo complejo. . . . . . . . . . . . . . . . . . . . . . . . . . .
3.7. Lazo en el campo complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.8. Caminos yuxtapuestos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.9. Camino poligonal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.10. Ejemplos de caminos y lazos. . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.11. Ejemplo de conjuntos conexos. . . . . . . . . . . . . . . . . . . . . . . . . . .
3.12. Ejemplo de conjuntos no conexos. . . . . . . . . . . . . . . . . . . . . . . . . .
3.13. Homotopa de los caminos 1 y 2 en D . . . . . . . . . . . . . . . . . . . . .
3.14. Homotopa de los lazos 1 y 2 . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.15. Conjunto simplemente conexo. . . . . . . . . . . . . . . . . . . . . . . . . . .
3.16. Conjunto m
ultiplemente conexo. . . . . . . . . . . . . . . . . . . . . . . . . .
3.17. Ejemplos de cortadura. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.18. Conjunto con grado de multiplicidad=3 . . . . . . . . . . . . . . . . . . . . .
52
53
57
57
61
65
65
67
68
69
70
70
71
72
72
73
73
73
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE DE FIGURAS
4.1. Incremento de z a traves de un camino . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.2. Dominio restringido de una funcion de variable compleja. . . . . . . . . . . . . . . . . . .
4.3. Incremento de una funcion a traves de caminos rectos paralelos a los ejes. . . . . . . . . .
4.4. Trayectorias ortogonales de un par de funciones conjugadas armonicas . . . . . . . . . . .
4.5. Integracion a traves de un camino poligonal. . . . . . . . . . . . . . . . . . . . . . . . . . .
4.6. Reemplazo de un camino por otro poligonal. . . . . . . . . . . . . . . . . . . . . . . . .
4.7. Dominio e imagen de Inv y f . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.8. Vector tangente a en el punto (c). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.9. Angulo
entre los caminos 1 y 2 en el punto zc . . . . . . . . . . . . . . . . . . . . . . . .
4.10. Transformacion de caminos por una funcion de variable compleja. . . . . . . . . . . . . . .
4.11. Conservacion del angulo entre dos caminos mediante una aplicacion conforme f . . . . . .
4.12. Transformacion de angulos para aplicaciones con distintos valores de K. . . . . . . . . . .
4.13. Lneas de campo y equipotenciales para un problema inverso de representacion conforme.
4.14. Transformacion de vectores mediante una inversion. . . . . . . . . . . . . . . . . . . . . .
4.15. Construccion geometrica para obtener la recproca de un complejo. . . . . . . . . . . . . .
4.16. Construccion geometrica alternativa para hallar la recproca de un n
umero complejo. . . .
75
77
79
87
89
90
94
95
96
97
100
102
105
106
106
107
Captulo 1
N
umeros Complejos
1.1.
Definici
on
Se llama n
umero complejo a todo par ordenado (x y) de n
umeros reales.
z := (x y) : x R , y R
z := N
umero complejo
Al n
umero real x (primera componente del par ordenado) se lo llama parte real o primera componente
del n
umero complejo.
Asimismo, al n
umero real y (segunda componente del par ordenado) se lo llama parte imaginaria o
segunda componente del n
umero complejo.
Re(z) := x
Im(z) := y
Re(z) := parte real de z
Im(z) := parte imaginaria de z
Observacion: Conviene remarcar que tanto la parte real, como la parte imaginaria de un n
umero complejo
(a pesar de su denominacion), son ambos n
umeros reales.
Al conjunto de todos los n
umeros complejos, se lo simboliza con C.
C := {(x y) : x R , y R }
C := Conjunto de todos los n
umeros complejos
Observacion: A partir de la definicion de C es inmediato que:
C=RR
o sea que
C = R2
Sin embargo, la introduccion del nuevo smbolo C para representar al conjunto de los complejos, en
vez de usar directamente R2 , es conveniente para destacar y recordar la diferencia existente entre R2 y
los demas Rn .
Todo Rn conforma estructura de espacio vectorial y tambien estructura de espacio eucldeo.
En el caso particular de R2 , ademas de las estructuras mencionadas, se agrega la estructuracion en
cuerpo abeliano. (ver punto 1.3). Esta caracterstica no se extiende a ning
un Rn con n 3.
La razon de esta diferencia es porque en C, ademas de definirse la suma como en todo Rn , se establece
tambien la multiplicacion, condicion que le permite alcanzar la estructura de cuerpo abeliano.

CAPITULO 1. NUMEROS
COMPLEJOS
10
1.2.
Igualdad de n
umeros complejos
La igualdad de los n
umeros complejos es una consecuencia de la igualdad definida entre conjuntos, y
su aplicacion sobre los pares ordenados. Resulta entonces:
(
x = x
(x y) = (x y )
y = y
Es decir, dos n
umeros complejos son iguales, si y solo si simultaneamente, las respectivas partes reales
e imaginarias son iguales entre s. Una igualdad en C representa entonces dos igualdades en R.
Estructuraci
on de C como cuerpo abeliano
1.3.
Sobre el conjunto de los complejos C se definen dos leyes de composicion interna:

T :
C C C
((x y), (x y )) 7 (x + x , y + y )
C C C
P :
((x y), (x y )) 7 (xx yy , xy + yx )

T := Ley suma de n
umeros complejos
P := Ley producto de n
umeros complejos
Los signos + y representan las leyes de composicion interna, suma y producto de n
umeros reales.
El conjunto de los n
umeros complejos C se estructura en cuerpo abeliano con respecto a las leyes de
composici
on interna suma de n
umeros complejos T y producto de n
umeros complejos P .
T :
C C C
((x y), (x y )) 7 (x + x , y + y )
= (C T P ) Cuerpo abeliano
P :
C C C
((xy) , (x y )) 7 (xx yy , xy + yx )
La demostracion de esta aseveracion es inmediata.
Algunos elementos destacables en el cuerpo C son:

(0 , 0)
(x , y)
(1 , 0)

y
x
,
x2 + y 2 x2 + y 2
neutro de C respecto de T
simetrico de (x y) respecto de T
neutro de C respecto de P
simetrico de (x y) respecto de P , (x y) 6= (0 0)
Los smbolos con los cuales se identificaran estos elementos son:

s
:= (0 , 0)
z
u
:= (x , y)
:= (1 , 0)

x
y
:=
,
x2 + y 2 x2 + y 2
1.4. IMPOSIBILIDAD DE ESTRUCTURAR C COMO CUERPO ORDENADO
1.4.
11
Imposibilidad de estructurar C como cuerpo ordenado
El conjunto C no puede ser estructurado como cuerpo ordenado. Ello significa que no existe ninguna
relacion sobre C C que cumpla simultaneamente:
(a) Relacion de orden amplio sobre C.
(b) Relacion de orden total.
(c) Relacion de compatibilidad con las leyes de suma y producto complejo.
Estas condiciones presentadas para el caso de un cuerpo generico (E T P ), llamando RO a la relaci
on de
orden sobre E, pueden expresarse de la siguiente manera:
x E (x x) RO
Reflexividad
(x y) RO
x=y
Antisimetra
(y x) RO
RO Relacion de orden amplio :=
(x y) RO (x z) RO
Transitividad
(y z) RO
n
RO Relacion de orden total := x E, y E
{x y} = (x y) RO
o (y x) RO
(x y) RO
= (xT z , yT z) RO
z E
RO Rel. de comp. con suma y producto :=

(x y) RO
(s
z)
RO
= (xP z , yP z) RO
s :=Neutro de (E , T )
A partir de estas definiciones se establece entonces:
(E, T, P ) Cuerpo abeliano
(E, T, P ) Cuerpo abeliano ordenado := RO Relacion de orden amplio
RO Relacion de orden total
RO Relacion compatible con la suma y el producto
Observacion 1: Al cumplirse simultaneamente las condiciones de orden amplio y total sobre E, resulta
superflua la condicion de reflexividad, como se muestra a continuacion:
A partir de la condicion de orden total, tomando x = y se obtiene:

x E {x x} = (x x) RO o (x x) RO

resultando entonces:

x E
= (x x) RO
Observacion 2: Las notaciones usuales para las relaciones de orden son x y o (x y) RO. En el texto
se ha preferido el uso de esta u
ltima para evitar confusiones.
A continuacion se pasa a demostrar la tesis propuesta, que el cuerpo de los complejos no puede ser
ordenado.

CAPITULO 1. NUMEROS
COMPLEJOS
12
El esquema de prueba se basa en que para dos n

umeros complejos, (0 0) (neutro de T ) y el (0 1) (m
as
adelante llamado unidad imaginaria), no puede establecerse ninguna relacion de orden que satisfaga las
condiciones anteriores.
(C, T, P ) Cuerpo abeliano = RO sobre C : (C, T, P ) Cuerpo ordenado
1. Orden total
{(0 0) , (s 1))} ((0 0) , (0 1)) RO
((0 1) , (0 0)) RO
Suponiendo la primera de las
dos posibilidades:
2.
((0 0) (0 1)) RO
3. Compat. P
((0 0) (0 1)) RO
4. Compat. P
((0 0) (1 , 0)) RO
((0 0) (1 , 0)) RO
((0 0) (1 , 0)) RO
5. Compat. T
((0 0) (1 , 0)) RO
(1 , 0) C
((1 0) (0 0)) RO
6. (4.), (5.) y antisim.
((0 0) (1 0)) RO
((0 0) (0 1)) RO
((1 0) (0 0)) RO
((0 0) (1 , 0)) RO
(0 0) = (0 1)
(prop. falsa)
Como la primera posibilidad

ha conducido a una proposici
on
falsa, se prueba con la segunda:
7.
((0 1) (0 0)) RO
8. Compat. T
((0 1)(0 0)) RO
9. Compat. P
((0 0)(0 , 1)) RO
(0 , 1) C
((0 0)(0 , 1)) RO
((0 0)(0 , 1)) RO
((0 0) (1 , 0)) RO
Este resultado es el mismo obtenido en (3.). Si se sigue un procedimiento igual al ya realizado,
se obtiene tambien:
10.
= (0 0) = (1 0)
prop. falsa
Se deben descartar entonces las
dos posibilidades. De donde:
DE C COMO ESTRUCTURA VECTORIAL

1.5. ESTRUCTURACION
11. (1.), (6.) y (10.)
13
RO Relacion de orden amplio
RO Relacion de orden total

RO sobre C :
RO Relacion de compatibilidad
con la suma y producto complejo
Observacion 1: El hecho de que C no sea un cuerpo ordenado, deja como u

nico Rn que cumple tal
condicion al conjunto de los reales R. Este es el cuerpo ordenado por excelencia.
Observacion 2: Conviene remarcar que en C carece totalmente de sentido la proposicion:
z > z
Por lo tanto, en el caso de presentarse esta notacion, es sencillamente un grave error.
Estructuraci
on de C como estructura vectorial
1.5.
El conjunto de los n
umeros complejos C conforma una estructura vectorial, sobre un cuerpo K,
respecto de las leyes de composicion interna T (suma de n
umeros complejos) y composicion externa P
oportunamente definida:
P :
C C C
(, (x y)) 7 (x, y)
P := Ley de composicion externa de C sobre K.

K := Cuerpo de apoyo de la estructura vectorial o conjunto de los escalares.
La proposicion mencionada es consecuencia inmediata de que C = R2 , es decir un caso particular de
R .
n
Tiene particular interes tomar a la terna (R + ) como cuerpo K sobre el cual conforma C la estructura
vectorial.
C = { (xy) : x R , y R}
(R + ) Cuerpo de los Reales
T :
CC C
= (C R + T P ) Estructura vectorial
((x y) , (x y )) 7 (x + x , y + y )
P :
CC C

((x y) , (x y )) 7 (xx yy , xy + yx )
Observacion 1: Para no incurrir en confusiones de conceptos se debe tener presente siempre las diferencias
que existen entre las leyes:
- Producto de n
umeros reales:
- Producto de n
umeros complejos: p

CAPITULO 1. NUMEROS
COMPLEJOS
14
- Producto de C sobre K: P
Observacion 2: Para evitar interpretaciones erroneas se hace notar que la convencion adoptada para la
denominacion de la sextupla (E K + T P ) y el conjunto E es:
(E K + T P ) := Estructura de espacio vectorial o estructura vectorial
E := Espacio vectorial
Estructuraci
on de C como estructura de espacio m
etrico
1.6.
El conjunto C conforma una estructura de espacio metrico, y en particular una estructura de espacio
eucldeo, al definirse la funcion distancia por la expresion pitagorica:
d:
C C R
p
(z , z ) 7 (x x )2 + (y y )2 = d(z z )
d(z z ) := distancia de z a z
Esta caracterstica es una consecuencia inmediata de que C = R2 , es decir un caso particular de Rn .
C = { (x y) : x R , y R }
= (C , d) Estructura de espacio eucldeo

d : C C R
(z , z ) 7 (x x )2 + (y y )2 = d(z z )
Observacion 1: Para evitar confusiones se se
nala que las denominaciones adoptadas para el par (E , d) y
para el conjunto E son:
(E , d) := Estructura de espacio metrico o estructura metrica
E := Espacio metrico
El hecho de poder estructurar E como espacio metrico tiene enorme importancia.
En efecto, se logra con ello la base (funcion distancia) para construir una estructura topol
ogica.
De esta manera el conjunto de los complejos C conforma simultaneamente una estructura algebraica
de cuerpo, y una estructura topologica, siendo ambas las dos condiciones esenciales para poder definir los
conceptos que son fundamento del analisis matematico: la continuidad (la convergencia) y la diferencial.
1.6.1.
Propiedades generales de la funci

on distancia en C
Las propiedades mas importantes para destacar de la funci

on distancia sobre el conjunto de los
complejos, se desprenden directamente del caso mas general, funcion distancia sobre los espacios eucldeos.
Para facilitar su presentacion es conveniente usar los smbolos
e := (0 0)
z := (x , y)
respectivamente par el neutro de C respecto de la suma T , y el opuesto de z respecto de T . Tambien se

agregara el nuevo smbolo:
z z := z T z
z z := Diferencia entre los n
umeros complejos z y z
DE C COMO ESTRUCTURA DE ESPACIO METRICO
1.6. ESTRUCTURACION
15
El detalle de las propiedades mencionadas es:

I. d(z e) = 0 z = e
II. z z = w w = d(z z ) = d(w w )
III. d(z + z , z) = d(z e)
IV. d(z z , e) = d(z z )
V. d(z z , e) = d(z z , e)
VI. d(z , z ) = ||d(z z )

VII. d(z e) d(z e) 6 |d(z e) d(z e)| 6 d(z + z , e) 6 d(z e) + d(z e)
VIII. d(z e) d(z e) 6 |d(z e) d(z e)| 6 d(z z , e) 6 d(z e) + d(z e)
IX. |Re(z)| 6 d(z, e)
|Im(z)| 6 d(z, e)
Es buen ejercicio demostrar estas formulas en forma directa a partir de la definicion de distancia sobre
C.
1.6.2.
Notaci
on para la funci
on distancia sobre C
La notacion de la funcion distancia sobre C, que por otra parte se emplea normalmente para cualquier
Rn es:
|z z | := d(z z )
|z z | := Distancia de z a z
De acuerdo a esta u
ltima convencion resulta:
d(z e) = |z|
En efecto:
d(z e) = |z e|
= |z T e |
= |z T e|
= |z|
La distancia d(z e) tiene una gran aplicacion e importancia, tanto como para adjudicarle una denominacion particular. Esto se tratara en el apartado 1.6.3.
La introduccion del nuevo smbolo |z z | para representar la funcion distancia, es justificada por el
hecho de que ayuda a recordar todas las propiedades del parrafo anterior asimilandolas a las analogas de
la funcion valor absoluto en el campo real.
En efecto, si formalmente se opera d(z z ) con las propiedades del valor absoluto real, se verifican sin
dificultad las propiedades vistas en 1.6.1:
I. |z e| = 0 z = e
|z| = 0 z = e

CAPITULO 1. NUMEROS
COMPLEJOS
16
II. z z = w w = |z z | = |w w |
III. |(z + z ) z| = |z |
IV. |(z z ) e| = |z z |
V. |z z | = |z z|
VI. |z z | = |||z z |
VII. |z| |z | 6 ||z| |z || 6 |z + z | 6 |z| + |z |
VIII. |z| |z | 6 ||z| |z || 6 |z z | 6 |z| + |z |
IX. |Re(z)| 6 |z|
|Im(z)| 6 |z|
Observacion: El valor absoluto en el campo real por su parte estructura al conjunto R como espacio
eucldeo, pues:
p
d(x y) = (x y)2
= |x y|
Entonces, la distancia del espacio eucldeo Rn puede entenderse como una generalizacion del valor
absoluto definido para R.
1.6.3.
M
odulo de z
Se define como m
odulo de z, tambien llamado valor absoluto de z, a la distancia d(z e).
|z| := d(z e)
|z| := Modulo de z
Esta definicion es complementaria de la notacion de distancia introducida en 1.6.2, ya que ambas no
son independientes, como se demuestra acto seguido:
Teorema 1.6.1.
d(z z ) = |z z | d(z e) = |z|
Demostraci
on. La demostracion de la condicion necesaria es:
d(z e) = |z e|
= |z|
La condicion suficiente:
d(z z ) = d(z z , e)
= |z z |
La asignacion de una denominacion especfica dada a la distancia d(z e) se justifica no solamente por la
frecuencia con que aparece en las formulas anteriores, sino tambien para resaltar el papel muy importante
que desempe
na en todo el algebra y analisis complejo.
Basta para ello mencionar que su empleo permite:
DE C COMO ESPACIO NORMADO

1.7. ESTRUCTURACION
17
a. La definicion de la forma polar del n

umero complejo.
b. El hallazgo de metodos operativos mas sencillos, derivados de la forma polar, para la multiplicaci
on,
division, potencia, radicacion y logaritmacion.
c. Establecer una norma sobre C
Todos estos conceptos seran desarrollados mas adelante.
El modulo de z, de acuerdo con la definici
on es una aplicacion del conjunto de los complejos sobre los
reales.
C R
p
(x y) 7 x2 + y 2
||:
Las propiedades mas importantes del modulo de z son las detalladas en el parrafo anterior.
A ellas conviene agregar:
|z| = |z | |z|2 = |z |2
cuya demostracion es inmediata, y ademas:
Teorema 1.6.2. El m
odulo del producto es igual al producto de los m
odulos.
(zz ) C = |z P z | = |z||z |
Demostraci
on.
|z P z |2 = (xx yy )2 + (xy + yx )2
= x2 x2 + y 2 y 2 + x2 y 2 + y 2 x2
= (x2 + y 2 )(x2 + y 2 )
= |z|2 |z |2
1.7.
Estructuraci
on de C como espacio normado
Se llama espacio normado a todo espacio vectorial provisto de una aplicacion sobre los reales no
negativa, llamada norma, que cumple las condiciones que se mencionan a continuacion:
(E K + T P ) Estr. espacio vectorial)
N : E R
(E K + T P N ) :=
N (x) = 0 x = e
x 7 N (x) : N (x) = ||N (x)
N (xT y) 6 N (x) + N (y)

N (x) := Norma del vector x
A partir de las propiedades I, V I y V II del p

arrafo 1.6.2 se concluye de inmediato que la funcion modulo
de z es efectivamente una norma.
)
| | : C R
p
= (E K + T P ) Estr. de espacio normado
(x y) 7 x2 + y 2

CAPITULO 1. NUMEROS
COMPLEJOS
18
En todo espacio normado, la funcion distancia d(zz ) = N (z z ) lo estructura como espacio metrico.
d:
)
C C R
= (C d) Estructura de espacio metrico
(z z ) 7 N (z z )
La norma establece una elacion directa entre los espacios vectoriales y los espacios metricos.
La importancia de este hecho reside en que con ello se asegura la continuidad de las operaciones
vectoriales suma y producto externo.
1.8.
1.8.1.
Forma bin
omica de los complejos
Isomorfismos entre estructuras
Se dice que una aplicacion f del conjunto E sobre el conjunto E establece un isomorfismo entre las
estructuras (E T ) y (E T ), donde T y T son leyes de composicion interna definidas respectivamente
sobre E y E , cuando:
a. f es biyectiva
b. La composicion interna T de la aplicacion de dos elementos de E sobre E es igual a la aplicaci
on
sobre E de la composicion interna T de dichos elementos de E, es decir:
f (a T b) = f (a) T f (b)
En resumen:
E = {abc . . . }
T : E E E
E = {a b c . . . }

((E T ) (E T ) f ) Estructuras isomorfas := T : E E E
f : E E
f biyectiva
a 7 a :
a T b 7 a T b
Ejemplo: La funcion logaritmo natural

L:
R+ R
x 7 L(x)
establece un isomorfismo entre las estructuras (R+ ) y (R +).

1.8. FORMA BINOMICA
DE LOS COMPLEJOS
19
Generalizando, una funcion f puede establecer un isomorfismo entre las estructuras (E T P ) y (E T P )

dotadas cada una de ellas con dos leyes de composicion interna, cuando:
E = {abc . . . }
T : E E E
P : E E E
E = {a b c . . . }

T : E E E
((E T ) (E T ) f ) Estructuras isomorfas :=
P : E E E
f : E E
f biyectiva
a 7 a : a T b 7 a T b
a P b 7 a P b
1.8.2.
Isomorfismo entre los reales y el conjunto de los complejos con segunda

componente nula
Definimos como C1 al conjunto de los complejos con segunda componente nula.

C1 := {(x, 0)}
C1 := Conjunto de los complejos con segunda componente nula o conjunto de las primeras componentes
La funcion pr1 que se llamara primera proyecci
on,
pr1 :
C1 R
(x, 0) 7 x
establece un isomorfismo entre las estructuras (C1 T P ) y (R + ).
Teorema 1.8.1.
C1 = {(x, 0)}
(x (x, 0)) pr1
= ((R + ) (C1 T P ) pr1 ) Estructuras isomorfas
Demostraci
on. Se demuestra en primer lugar que la relacion pr1 es una aplicacion biyectiva.
x (x, 0)
(
x = x
x = x
0=0
(x, 0) = (x , 0)
Enseguida se vera como la aplicacion pr1 establece el isomorfismo.
x 7 (x, 0)
y
7 (y, 0)
x+y
7 (x, 0) T (y, 0) = (x + y, 0)
x y 7 (x, 0) P (y, 0) = (x y, 0)

CAPITULO 1. NUMEROS
COMPLEJOS
20
Observacion 1: El par (x, 0) no es un n

umero real a pesar de que es frecuente denominarlo as, en un
evidente abuso de notacion.
El complejo (x, 0) es el correspondiente al real x a traves del isomorfismo definido.
Observacion 2: Es inmediato demostrar a partir del isomorfismo estudiado entre C1 y R que tambien
puede establecerse otro isomorfismo entre los complejos con segunda componente nula y los reales a
traves de la funcion:
pr2 :
{(0, y)} R
(0, y) 7 y
como se verifica considerando las leyes respectivas se suma pero no las leyes de multiplicacion.
1.8.3.
Forma bin
omica de los n
umeros complejos
Todo n
umero complejo puede descomponerse en la suma de otros dos, con segunda y primera componente nula, respectivamente:
(x y) = (x 0) T (0 y)
Por el otro lado tambien se verifica
(0 y) = (y 0) T (0 1)
y entonces se concluye que un n
umero complejo puede ser representado como:
(x y) = (x 0) T ((y 0) P (0 1))
que es la llamada forma cartesiana o binomica de los n
umeros complejos.
Es conveniente tomar:
i := (0 1)
i := Unidad imaginaria
Queda entonces:
(x y) = (x 0) T ((y 0) P i)
Este resultado, conjuntamente con el isomorfismo estudiado en 1.8.2 induce a pensar la posibilidad de
la existencia de un isomorfismo entre el conjunto de los complejos C y el conjunto de los binomios x + iy
operados formalmente con las reglas del algebra de los n
umeros reales.
En efecto, definiendo al conjunto de los nuevos entes x + iy,
B := {x + iy : x R , y R}
la funcion
f : C B
(x y) 7 x + iy
establece un isomorfismo entre (B + ) y (C + ) donde + y son las leyes de composicion interna sobre
el conjunto B, definidas en forma conveniente de acuerdo al algebra de los n
umeros reales.

1.8. FORMA BINOMICA
DE LOS COMPLEJOS
21
Las definiciones de estas leyes se hallan en el enunciado del teorema siguiente, y merece se
nalarse u
nicamente que es necesario convenir que:
i2 := 1
Observacion 1: Debe tenerse sumo cuidado de no entrar en confusiones con las dos definiciones hechas de
i porque sin distintas.
Se ha usado la misma letra solamente por razones tradicionales.
En el primer caso se ha definido sobre el conjunto de los complejos
i = (0 1)
lo cual lleva a
i2 = i P i
= (1, 0)
y por lo tanto de acuerdo a la Observaci
on 1 del parrafo 1.8.2
i2 6= 1
siendo i2 simplemente el correspondiente de 1 en el isomorfismo analizado entre C1 y R:
pr1 :
i2 7 1
En el segundo caso, que no es una definicion operacional de elementos de C sino de entes de B, el

smbolo i2 representa a:
i2 = i i
es decir, un producto con respecto a la ley en B. Y se establece a contrario sensu:
i2 = 1
El planteo del isomorfismo de las estructuras es:
(C T P ) Cuerpo complejo
+:
B B B
((x + iy), (x + iy )) 7 (x + x ) + i(y + y )
B B B
((x + iy), (x + iy )) 7
xx + ixy + iyx + yy i2 =
(xx yy ) + i(xy + yx )
i i 7 1
f:
C B
(x y) 7 x + iy
= ((B + ) (C T P ) f ) Estr. isomorfas
La demostracion de este isomorfismo surge directamente de la definicion de las leyes de composici

on
interna definidas sobre B.
La denominacion de forma binomica del n
umero complejo es justificada con claridad por el isomorfismo
demostrado.

CAPITULO 1. NUMEROS
COMPLEJOS
22
Se remarca que la importancia de este resultado reside en que la forma binomica permite operar con
los n
umeros complejos como simples n
umeros reales, con la condicion de sustituir en la multiplicaci
on a
i2 por 1.
Observacion 2: No debe olvidarse que del mismo modo que el complejo (x 0) y el real x son nociones
diferentes, tambien lo son el complejo (x y) y el binomio x + iy.
Sin embargo es usual confundirlos en evidente abuso de notacion. Esto no produce dificultades al operar
con complejos si se toman las precauciones del caso.
Llegado a este punto del texto en el cual se han estudiado las diferencias y relaciones existentes entre
las leyes de composicion interna complejas y reales, se usaran, por razones tradicionales, a partir de ahora
los signos + y tambien para las primeras siempre que ello no induzca a confusiones.
1.9.
Representaci
on geom
etrica de los complejos
De la misma manera que no puede establecerse diferencia entre el n

umero real x y el punto x de una
recta, tampoco existe ninguna diferencia entre el n
umero complejo (x y) y el punto (x y) del plano R R.
Se comprende que a partir de este razonamiento, no puede hacerse ninguna distincion entre el
algebray la geometra.
La representacion geometrica de un n
umero complejo es sencillamente otra forma de simbolizarlos, es
decir, otra forma de escribirlos o representarlos.
Sin embargo, historicamente ha sido, y todava es, un modelo muy conveniente para estudiar e interpretar las relaciones entre los complejos. Por lo tanto, es importante el manejo fluido de los complejos
teniendo siempre presente su significado geometrico.
La representacion mas frecuente de R2 es en coordenadas cartesianas ortogonales, mediante un plano
que se denominara plano complejo.
Un n
umero complejo z = (x y) es representado por un punto del plano de coordenadas:
x = Re(z)
como abscisa
y = Im(z)
como ordenada
Observacion 1: Debe observarse que de acuerdo a las apreciaciones hechas mas arriba, las palabras n
umero
complejo y punto del plano son sinonimos.
Tambien son equivalentes los terminos RR y plano, primera componente y abscisa, segunda componente
y ordenada, etc.; que se usaran indistintamente a lo largo del texto.
En el plano complejo a los ejes x e y se los denomina real e imaginario respectivamente.
De acuerdo a las convenciones establecidas para la representacion en coordenadas cartesianas , el
complejo (x 0) es representado por puntos del eje imaginario.

1.10. FORMA POLAR DE UN NUMERO
COMPLEJO. PROPIEDADES
23
z
(0 y)
(x y)
(0 0)
(x 0)
x
Figura 1.1: Representaci

on del complejo (x y) en el plano cartesiano.
Observacion 2: La denominacion de forma cartesiana como equivalente de la binomica surge evidentemente

de la representacion grafica de los complejos.
El origen de coordenadas representa al par (0 0)
Otra interpretacion del complejo z puede ser la de segmento orientado con origen en (0 0) y vertice
en el punto (x y). La representacion polar permitira estudiar en detalle este nuevo enfoque.
Esta simple observacion destaca como la representacion geometrica ayuda a estudiar las propiedades del
n
umero complejo. En este caso, la relacion entre el conjunto C y los espacios vectoriales como segmentos
orientados.
1.10.
Forma Polar de un N
umero Complejo. Propiedades
Los n
umeros complejos (x y) pueden ser representados de otras maneras, ademas de las ya vistas.
Dada una funcion biyectiva
f:
C C
(x y) 7 (u v)
f biyectiva
Al establecer una correspondencia uno a uno entre los pares (x y) y (u v), permite interpretar al segundo
par como una nueva forma o representacion del primer par.
En particular adquieren importancia por su facilidad de operacion la forma polar, y su derivada, la
forma exponencial.
1.10.1.
Forma Polar de un N
umero Complejo
En el plano complejo puede observarse con ayuda de la representacion geometrica, que cualquier par
(x y) 6= (0 0) puede ser definido por otro par (r ) cuyos elementos son:
r := Distancia al origen de coordenadas
w := Angulo
formado entre el segmento o z y el eje x
El par (r ) define las llamadas coordenadas polares del n
umero complejo.
Al par (0 0), origen de coordenadas, se asignan convencionalmente los valores:
(
r=0
= 1

CAPITULO 1. NUMEROS
COMPLEJOS
24
donde 1 es un n
umero real arbitrario.
La primera coordenada polar, r, representa entonces la distancia d(z e), es decir el m
odulo de z
estudiado en 1.6.3.
z
z

on del complejo z en coordenadas polares.
r := |z| = d(z e)
r := modulo de z
El modulo de z esta definido para cualquier n
umero complejo, a
un el (0 0), por la aplicaci
on:
|| :
C R
(x y) 7 |z| =
p
x2 + y 2
ya estudiada anteriormente.
La segunda coordenada polar , que como se dijo, representa el angulo entre el segmento o z y el eje
x. Debe elegirse entonces analticamente, de manera que satisfaga el sistema:
(
r cos() = x
r sen() = y
A todos los valores de , races del sistema, se los llama argumento de z.

arg(z) := :
arctan
y
x
arg(z) := argumento del complejo z

La solucion de este sistema, no esta unvocamente determinada en , pues si 1 es solucion, tambien lo
es 1 + 2k : k Z (angulos congruentes entre s).
Por lo tanto, para establecer una relacion uno a uno entre las coordenadas cartesianas y las polares, debe

25
asignarse un solo valor de argumento a cada punto, por ejemplo de la siguiente manera:
Arg :
C {(0 0)}
(x y)
y
+
Arctan
2
y
Arg(z) = Arctan

+ Arctan y
x
x < 0, y < 0
x = 0, y < 0
x > 0, y
x = 0, y > 0
x < 0, y > 0
Arg(z) := Determinacion principal del argumento de z o valor principal.

Esta determinacion llamada principal del argumento de z se identifica por el smbolo Arg(z), encabezado con A (may
uscula).
Observacion 1: La funcion
Arctan :
R (/2 , /2)
x 7 Arctan(x)
escrita con A may

uscula, es por convencion la determinacion principal de la funcion multiforme (que por
lo tanto no es una aplicacion) {x , arctan(x)}, relaci
on inversa de la tangente:
tan :
R {(n + 1/2) : n Z}
x
R
tan(x)
En resumen, la transformacion biyectiva

f:
C C
p

x2 + y 2 , Arg(z)
(x y) 7 (r ) =
(0 , )
1
z 6= (0 0)
z = (0 0) , 1 R
es una de las posibilidades que define al nuevo par (r ), cuyos elementos son las coordenadas polares de
un punto del plano complejo.
A su vez, la funcion inversa de F es:
F 1 :
C C
(r ) 7 (x y) = (r cos , r sen )
a partir de la cual puede deducirse la forma binomica a:
x + iy = r (cos + i sen )
llamada forma polar o forma trigonometrica del n
umero complejo.
Observacion 2: Para definir las coordenadas polares, podra elegirse cualquier otra determinacion del
argumento de z, en vez de la principal, obteniendose resultados equivalentes.
Las diferentes determinaciones tienen tambien su utilidad, como por ejemplo para el calculo de logaritmos
y potencias complejas.

CAPITULO 1. NUMEROS
COMPLEJOS
26
1.10.2.
Igualdad en forma polar. Congruencia
A partir de la igualdad entre pares ordenados se obtiene:

(
r = r

(r ) = (r )
=
Es decir, la igualdad de dos n
umeros complejos es condicion necesaria y suficiente de la igualdad de sus
respectivos modulos y argumentos.
Un concepto que no debe confundirse con el de igualdad es el de congruencia.
Se dice que dos complejos expresados en forma polar, son congruentes; con distinta o igual determinaci
on
del argumento, cuando son correspondientes de un mismo punto del plano complejo. Esto significa:
(r ) , (r ) := r(cos + i sen ) = r (cos + i sen )
(r ) , (r ) := (r ) es congruente con (r )
La congruencia para z 6= (0 0) se reduce a la igualdad solo en el caso de la igualdad de los argumentos.
Es decir que dos complejos expresados en forma polar con modulo no nulo (z 6= (0 0)) son congruentes,
cuando tienen los modulos iguales y sus argumentos difieren en una cantidad entera de 2.
En el caso de que el modulo sea nulo, esta es condicion suficiente para la igualdad de dos complejos;
con independencia del valor de los respectivos argumentos.
r 6= 0
(r ) , (r )
r = r
=
r=0
(r ) , (r ) r = r = 0
Observacion 3: No debe perderse de vista la diferencia existente entre la igualdad y la congruencia. En
algunos casos, donde debe destacarse esta diferencia, se han creado artificios especiales. Por ejemplo,
puede suponerse que al plano polar de los complejos (r ) se le hace corresponder uno o m
as planos
cartesianos (uno para cada determinaci
on) que geometricamente se tienen por superpuestos. Estos planos
se llaman de Riemann, y son una forma de establecer una correspondencia biunvoca aplicable para
trabajar con funciones multiformes.
1.10.3.
Producto en forma polar. Cociente
Una primera aplicacion donde la forma polar es particularmente eficaz es en el producto complejo:
r(cos + i sen ) r (cos + i sen ) = r r ((cos cos sen sen ) + i(cos sen + cos sen ))
= r r (cos( + ) + i sen( + ))
donde se comprueba que:
I. El modulo del producto es igual al producto de los modulos, teorema ya demostrado en
1.6.3
II. Una de las determinaciones del argumento del producto es igual a la suma de los argumentos de los factores

27
Aqu, la suma de los argumentos puede cambiar la determinacion elegida, pero no afecta los resultados
en cartesianas. esto es un ejemplo de la ventaja de la creacion de artificios como los mencionados en la
Observacion 3 de este apartado.
En rigor, si se deseara mantener la determinacion principal para el argumento del producto, se debe
convenir:
+ >
+
> + >
Arg(z z ) = +
+ +
> +
La forma polar tambien es de sencilla aplicacion para la obtencion del cociente de dos complejos, con
divisor no nulo, donde se generaliza la expresion del producto
r 6= 0
1.10.4.
r(cos + i sen )
r
= (cos( ) + i sen( ))
r (cos + i sen )
r
Potencia en forma polar. Radicaci

on
En el caso de potencia natural, aplicando la formula del producto y el principio de induccion completa,
se obtiene:
(r(cos + i sen ))n = rn (cos n + i sen n)
expresion que puede generalizarse para todo n entero si se conviene:
1
z
La formula de la potencia se puede emplear tambien para la extraccion de la raz enesima de un
complejo no nulo.
En efecto, si un complejo r (cos + i sen ) es raz enesima de otro complejo r(cos + i sen ), estos
satisfacen:
z 1 :=
(r (cos + i sen ))n = r(cos + i sen )

equivalente a un sistema en coordenadas polares, cuya solucion no es u
nica para n > 1 pues existen
diversas determinaciones que lo satisfacen y que originan races diferentes:
(
rn = r
n = + 2k
kZ
se sigue
(
r = r1/n
=
+2k
n
a partir de la cual se obtiene la expresion de la raz,

+ 2k
+ 2k
+ i sen
)
n
n
la cual produce n
umeros complejos diferentes para todo k < 0, n 1 >.
Existen, por lo tanto, n races diferentes para un complejo no nulo; y son solamente n como se puede
comprobar analizando su congruencia.
La u
ltima de las formulas halladas, permite generalizar la expresion de la potencia, ahora tambien para
exponentes fraccionarios.
(r(cos + i sen ))1/n = r1/n (cos

CAPITULO 1. NUMEROS
COMPLEJOS
28
1.10.5.
Interpretaci
on geom
etrica de las operaciones complejas
Suma y diferencia
Dados dos complejos z y z , representados como segmentos orientados, su suma z + z est
a representada por la diagonal del paralelogramo de acuerdo con el diagrama anexo.
La suma geometrica de dos n
umeros complejos se reduce entonces a la ley del paralelogramo.
La representacion de los complejos por medio de segmentos orientados permite observar claramente
su caracterstica de estructura vectorial.
El significado geometrico de la diferencia de dos complejos es facil de interpretar a partir de la suma.
En el segundo grafico se ha representado esta operacion.
Un buen ejercicio es analizar los significados geometricos del neutro de la suma y del opuesto de un
complejo.
z
z+z
z
y
z
y
x
z z
z
x
Figura
1.3:
Representaci
on
geometrica de la suma de dos
complejos.
x
Figura
1.4:
Representaci
on
geometrica de la diferencia de dos
complejos.
Producto y cociente
El producto dedos complejos se puede representar recordando que:
a. El modulo del producto es el producto del modulo de los factores.
b. El argumento del producto es la suma del argumento de los factores.

A partir de esta construccion se obtiene tambien por analoga la representacion del cociente.
Un caso particular de interes es la construccion de la recproca de un complejo no nulo, que se deja a
cargo del lector.

1.11. FORMA EXPONENCIAL DE UN NUMERO
COMPLEJO
29
y
z z
rr
z
r

on geometrica del producto de dos complejos.
Potencia y radicaci
on entera
La representacion grafica de la potencia es simplemente una aplicacion reiterada de la realizada para
el producto.
Es de mayor interes el analisis de la radicacion.
Las n races enesimas no congruentes de un complejo (r ) tienen:
a. Modulo: r1/n , igual para todas las races; lo que significa que se hallan sobre una circunferencia de radio r1/n .
b. Argumento:
+2k
n
k < 0, n 1 >. Una raz tiene argumento /n, el resto se ubica sobre la
circunferencia en forma sucesiva con intervalos 2/n.
En la figura 1.6 se han representado a ttulo de ejemplo las races quintas de un complejo (r )
z1
(r )
z0
2/5
2/5
z2
/5
x
r 1/n
z4
z3
Figura 1.6: Races quintas de un n
umero complejo z.
1.11.
Forma exponencial de un n
umero complejo
Una nueva expresion de la forma polar, llamada forma exponencial, tiene gran importancia debido a
la simplicidad operativa que entra
na su empleo.
Ejemplo de ello es que toda la trigonometra puede deducirse en forma inmediata de las propiedades de
la forma exponencial. Otra aplicacion para destacar es la definicion del logaritmo y de la potencia en el
campo complejo, que se hace por medio de dicha forma exponencial.

CAPITULO 1. NUMEROS
COMPLEJOS
30
1.11.1.
Expresi
on de la forma exponencial
La base de la forma es la formula de Euler:

ei = cos + i sen
la cual permite introducir a la forma exponencial de un n
umero complejo como:
r ei := r(cos + i sen )
r ei := forma exponencial de un n
umero complejo
La validez de esta expresion se reduce a la discusion de la formula de Euler, que se hace a continuaci
on.
1.11.2.
Definici
on de la funci
on ez
Los caminos para llegar a la formula de Euler son dos, basados ambos en la definicion de la funci
on
compleja ez
Primer m
etodo de definici
on de ez :
El primer metodo consiste en la definicion de la funcion ez por medio de una serie:
ez :=
+ k
X
z
k=0
k!
=1+
z
z2
zn
+
+ +
+ ...
1!
2!
n!
que se estudiara en el captulo especfico. Esta serie es entera, es decir convergente para cualquier complejo z.
A partir de la definicion se pueden verificar las propiedades:
z = x = ez = ex
que muestra como la exponencial compleja se reduce a la real cuando z tambien lo es. Adem
as
(z z ) = ez+z = ez ez
que es la propiedad fundamental de la funcion ez , llamada ley de los exponentes, que tambien es cumplida
en el campo real por la funcion ex .
Ambas propiedades muestran como con esta definicion de ez se obtiene un extension de la funci
on
real ex al campo complejo, manteniendose sus principales propiedades.
Una tercera propiedad que se obtiene de la serie, tomando z = x + iy y recordando los desarrollos de
las funciones reales cos y y sen y es la f
ormula de Euler
y = eiy = cos y + i sen y
Observacion 1: La introduccion de la formula de Euler para obtener la forma exponencial, se justifica por
la gran simplicidad que implica su empleo en el producto complejo; donde se reduce dicha operaci
on al
algebra de los exponentes:
r(cos + i sen ) r (cos + i sen ) = r ei r ei
= r r ei(+ )
= r r (cos( + ) + i sen( + ))

1.11. FORMA EXPONENCIAL DE UN NUMERO
COMPLEJO
31
Esta es la razon del porque adelantar la definicion de ez como una serie.

No debe pensarse por ello, sin embargo, que se ha cado en un crculo vicioso, porque los desarrollos
posteriores para llegar a dicha serie no son afectados por el uso que se hara de la forma exponencial.
Esta forma puede ser considerada sencillamente como una expresion formal (una forma de escribir) de la
forma polar, para ser usada como regla mnemotecnica en el producto de dos complejos.
El segundo metodo se basa en un enfoque de esta ndole para definir la formula de Euler.
Segundo m
etodo de definici
on de ez :
Las dificultades de la introduccion anticipada de una serie para definir ez se obvian con una definici
on
de tipo formal como la que sigue:
ez := ex (cos y + i sen y)
Las propiedades principales de ez deducidas anteriormente tambien se obtienen como corolario de esta
definicion:
z=x
ez = ex
(z z )
ez+z = ez ez
eiy = cos y + i sen y
y ademas es en el captulo de series se podra demostrar que:

ez = 1 +
z
z2
zn
+
+ +
+ ...
1!
2!
n!
Observacion 2: Hay otro razonamiento, de tipo heurstico, para indicar la razonabilidad de este segundo
metodo de definicion de ez . Si se desea hacer una extension de la funcion real ez al campo complejo de
modo tal que se mantengan las siguientes propiedades:
a. Para z real la funcion ez se reduce a ex .
b. Se mantiene la validez de la ley de los exponentes.
c. Se mantienen las propiedades formales de la derivacion del campo real en el campo complejo.
el problema se reduce a la definicion de la exponencial eiy (formula de Euler) por ser:
ex+iy = ex eiy
de acuerdo con la ley de los exponentes y sabiendo que ex es la funcion de variable real conocida.
Por ser eiy un n
umero complejo se tiene:
eiy = u(y) + iv(y)
derivando como en el campo real,
i eiy = u (y) + iv (y)
eiy = u (y) + iv (y)
obteniendose entonces el sistema
(
u + u = 0
v + v = 0

CAPITULO 1. NUMEROS
COMPLEJOS
32
Como para y = 0 ez se reduce a ex , y aplicando la ley de los exponentes

ex+i0 = ex
ei 0 = 1
de donde se deducen las siguientes condiciones iniciales,

u(0) = 1
v(0) = 0
u (0) = 0
v (0) = 1
que aseguran al sistema de ecuaciones anterior a una soluci

on u
nica:
(
u(y) = cos y
v(y) = sen y
Este razonamiento por supuesto no es una demostracion, sino es una orientacion a la definici
on de la
exponencial eiy .
1.11.3.
El producto, el cociente y la potencia de complejos en forma exponencial.
Empleando la forma exponencial; el producto, el cociente y la potencia entera en el conjunto de los

complejos, adquieren su expresion mas reducida.
r ei r ei = r r ei(+ )
r ei
r i( )
e
=
i
r e
r
(r ei )n = rn ei n
(r ei ) n = r n ei(
1
+2k
n
(r 6= 0)
)
formulas que se verifican facilmente por su reduccion a la forma polar y que son ejemplo de la facilidad
de operacion que entra
na la forma exponencial.
1.12.
Conjugado de un complejo
Se define como conjugado de un n

umero complejo z a otro n
umero complejo, simbolizado por z, de
igual parte real y parte imaginaria opuesta.
z := (x, y)
z := Conjugado de z
La funcion conjugado de z, definida por:
C C
z 7 z = (x, y) = x iy
es biyectiva y ademas cumple

I. z1 + z2 = z1 + z2
33
1.12. CONJUGADO DE UN COMPLEJO
II. z1 z2 = z1 z2
con lo cual establece un isomorfismo entre el cuerpo (C + ) y s mismo.

Otras propiedades para destacar del conjugado de un complejo son:
III. z = z
IV. z + z = 2x
V. z z = i 2x
VI. z z = |z|2
VII.
z
z
z z
|z|2
VIII. Pn (x) =
Pn
k=0
ak z k
ak R = Pn (z) = Pn (z)
Graficamente, el conjugado de un complejo z es el simetrico respecto del eje x.
Y
z
r
x
r
X
y
Figura 1.7: Conjugado de un n

umero complejo.
En coordenadas polares, el conjugado es el complejo de igual modulo y argumento opuesto. Por lo

tanto para la forma exponencial resulta:
z = r ei z = r ei
La nocion de complejo conjugado aparece en la resolucion de ecuaciones algebraicas con coeficientes
reales, donde las races o son reales, o son complejas conjugadas.
Ademas de esta aplicacion, el conjugado se introduce por la comodidad que implica su empleo en las
operaciones de producto y cociente de acuerdo a las propiedades VI y VII.
34
CAPITULO 1. NUMEROS
COMPLEJOS
Captulo 2
Elementos de Topologa en el Campo

Complejo
Como ha sido desarrollado en el parrafo 1.6, el conjunto de los complejos C conforma estructura de
espacio metrico.
Mas en particular, es un espacio eucldeo; al definirse sobre el una distancia de acuerdo con la expresi
on
pitagorica que caracteriza dichos espacios.
De este hecho se arrastra entonces que en C puede construirse una estructura topologica, que acoplada
a la caracterstica de cuerpo, permite llegar al desarrollo de los conceptos de continuidad y diferencial.
Es conveniente, por lo tanto, analizar la aplicacion de los elementos basicos de topologa al campo
complejo.
2.1.
Definici
on de bola
En un espacio metrico general se define como bola de centro c y radio r, cuyo smbolo es B(c r), a:
r
B(c r) := {x : d(x c) < r
r > 0}
B(c r) := Bola de centro c y radio r

d(x c) := Distancia del elemento x al elemento c
B(c r)
Figura 2.1: Bola de centro c y radio r.
En particular, en el campo complejo

B(c r) = {z : |z c| < r
r > 0}
se llama tambien disco, y desde el punto de vista geometrico representa un crculo de centro en el
complejo c y radio r, sin la circunferencia |z c| = r.
Observacion: Conviene se
nalar que en la definicion de bola (tambien llamada bola abierta) es indispensable
que las desigualdades sean estrictas (r > 0 y d(x c) < r), porque en caso contrario careceran de sentido
las definiciones posteriores de puntos interiores, exteriores y fronteras, como as tambien las definiciones
de puntos de acumulacion y aislados, con todas las consecuencias resultantes.
35
CAPITULO 2. ELEMENTOS DE TOPOLOGIA EN EL CAMPO COMPLEJO
36
De la definicion de bola se implica inmediatamente que su centro siempre le pertenece y por lo tanto
ella es un conjunto no vaco.
B(c r) = c B(c r)
= B(c r) 6=
2.2.
Entorno de un punto c
Se llama entorno de un punto c a todo conjunto del espacio metrico (y en particular C) que contenga
una bola de centro c.
r
b
U (c) Entorno de c := B(c r) : B(c r) U (c)

U (c)
Figura 2.2: Entorno

de un punto c.
De esta definicion se extraen dos consecuencias inmediatas:

a. Toda bola B(c r) es un entorno de c.
B(c r) = B(c r) Entorno de c
b. La existencia de un entorno de c es condicion necesaria y suficiente de la existencia de una

bola de centro c.
U (c) B(c r)
2.3.
Vecinal de un punto c
Se llama vecinal (o tambien entorno reducido) de un punto c, en un espacio metrico (en particular
C), a todo entorno de c al cual se le excluye el mismo punto c.
DE PUNTOS: INTERIORES, EXTERIORES Y FRONTERA

2.4. CLASIFICACION
V (c) := U (c)
bc
37
C {c}
V (c) := Vecinal de c
C {c} := Conjunto complementario de {c}
V (c)
Figura 2.3: Vecinal
de un punto c.
Observacion 1: Es usual representar a A
C {c}, por la notacion de conjuntos
A B := A
con ella la notacion de vecinal se expresara:
C {c}
V (c) = U (c) {c}

Observacion 2: Se ha preferido el empleo del termino vecinal (del frances voisinage), en vez del m
as
com
un entorno reducido, porque este u
ltimo puede inducir a error.
En efecto, cuando a un sustantivo se agrega un adjetivo, se establece una subclase particular de la clase
general definida por dicho sustantivo. Ejemplo: Conjunto definido por el sustantivo: hombre. Subconjunto
definido por el sustantivo y el adjetivo: hombres altos.
Sin embargo, este no es el caso de los entornos reducidos, pues no son entornos.
Observacion 3: A diferencia de los entornos que nunca pueden ser vacos, los vecinales si pueden serlo
2.4.
Clasificaci
on de puntos: Interiores, exteriores y frontera
Los puntos de un espacio metrico E pueden ser clasificados como: puntos interiores, puntos exteriores
o puntos frontera de un conjunto A (incluido en E) seg
un la relacion de inclusion que puede establecerse
entre los entornos del punto y el conjunto A.
Las definiciones son las siguientes:
Un punto se dice que es interior a un conjunto, cuando existe un entorno suyo que es parte del conjunto. Es decir, existe un entorno del punto en el cual todos sus puntos pertenecen al conjunto.
Un punto se dice que es exterior a un conjunto cuando existe un entorno suyo, que es parte del complemento de dicho conjunto en el espacio metrico considerado. Es decir, existe un entorno del punto que
no contiene ning
un punto del conjunto.
Un punto se dice que es frontera de un conjunto (al cual puede o no pertenecer) cuando no existe
ning
un entorno del punto incluido totalmente en el conjunto o en su complemento. Esto quiere decir que
38
en todo entorno de un punto frontera, hay puntos del conjunto y puntos del complemento del conjunto.
(E d) Estr. Espacio Metrico

AE
a Punto interior de A
a Punto exterior de A
:=
:=
a Punto frontera de A :=
U (a) : U (a) A
U (a) : U (a) C A
(
U (a) A
U (a) :
U (a) C A
En el esquema adjunto se han representado ejemplos

de los distintos tipos de puntos en el plano complejo.
Debe observarse que el conjunto A (representado en
color) consta de tres partes, una de ellas reducida
a un punto.
Los centros de los entornos en los puntos considerados se han representado con punto negro en el caso
de que pertenezcan a A, y con punto rojo en caso
contrario.
A
b
Pt. frontera
b
b
b
Pt. interior
Pt. exterior
Figura 2.4: Clasificaci

on de puntos en un espacio metrico.
Observacion 1: La nocion de interior establecida a traves de la definicion de punto interior, es relativa al

espacio dentro del cual se define. Por ejemplo, el centro de un crculo plano (conjunto A) es un punto
interior del mismo si se toma como espacio metrico de referencia al plano mencionado, pero no es un
punto interior del conjunto A si se toma como espacio de referencia a R3 .
Observacion 2: Conviene remarcar que un punto frontera puede o no pertenecer al conjunto del cual es
frontera.
La clasificacion de puntos introducida permite ahora definir:
A los conjuntos formados por los puntos interiores, exteriores y frontera, se los llama respectivamente,
39
2.5. ADHERENCIA
Interior, Exterior y Frontera del conjunto A.

IN T (A) := {a : a Pt. interior a A}
EXT (A) := {a : a Pt. exterior a A}

F R(A) := {a : a Pt. frontera a A}
IN T (A) := Conjunto de puntos interiores a A
EXT (A) := Conjunto de puntos exteriores a A
F R(A) := Conjunto de puntos frontera a A
Estos tres conjuntos son una particion del conjunto E porque:
IN T (A) EXT (A) =
EXT (A)
F R(A) =
F R(A)
IN T (A) =
IN T (A) EXT (A) F R(a) = E
De esta manera se comprueba que la clasificacion de puntos de un espacio metrico en interiores, exteriores
y frontera, es exhaustiva.
Las propiedades resultantes de las anteriores definiciones son:
I.
II.
III.
IV.
V.
VI.
2.5.
IN T (A) A
(a Pt. int. A = a A)
EXT (A) = IN T (C A)
EXT (A) C A
T
A C (IN T (A)) = F R(A)
)
aA
= a Pt. fr. A
a
/ Pt. int. A
F R(A) = F R(C A)
F R(E) =
F R() =
Adherencia
Un elemento de un espacio metrico E se dice que es punto de adherencia de un conjunto A E

cuando cualquier entorno suyo contiene puntos del conjunto A.
AE
a Punto de adherencia de A
:=
U (a) = U (a)
A 6=
Al conjunto de los puntos de adherencia de un conjunto A se lo llama Adherencia de A.

ADH(A) := {a : a Pt. de adherencia de A}
ADH(A) := Conjunto de los puntos de adherencia de A
40
Algunas propiedades que se pueden extraer de las definiciones son:

I.
II.
III.
IV.
V.
VI.
VII.
VIII.
IX.
X.
XI.
XII.
XIII.
2.6.
A ADH(a)
IN T (A) ADH(A)
F R(A) ADH(A)
T
EXT (A) ADH(A) =
S
EXT (A) ADH(A) = E
S
ADH(A) = IN T (A) F R(A)
F R(A) = F R(ADH(A))
T
F R(A) = ADH(A) ADH(C A)
ADH(A) = ADH(ADH(A))
ADH(E) = E
ADH() =
A B = ADH(A) ADH(B)
S
S
ADH(A B) = ADH(A) ADH(B)
T
T
ADH(A B) = ADH(A) ADH(B)
Clasificaci
on de puntos de adherencia
Los puntos de adherencia de un conjunto A E se clasifican en dos tipos: puntos de acumulaci

on y
puntos aislados.
Estos conceptos tienen particular importancia por su aplicacion en la definicion de lmite y convergencia, como as en otros temas que se trataran en el texto.
Esta segunda clasificacion para los puntos de un espacio metrico (reducida a los puntos de adherencia)
se caracteriza porque se realiza de acuerdo a la relacion de inclusion que puede establecerse entre los
vecinales de un punto y el conjunto A.
La clasificacion realizada en 2.4 tena en cuenta los entornos de un punto en vez de los vecinales.
Un punto se dice que es de acumulaci
on de un conjunto A, cuando la interseccion de cualquier vecinal
suyo con el conjunto A no es vaca. Es decir, en todo vecinal del punto de acumulacion hay puntos
pertenecientes al conjunto A. Es claro que todo punto de acumulacion es de adherencia.
Un punto perteneciente al conjunto A se dice que es aislado cuando existe un vecinal suyo cuya
interseccion con A es vaca. Esto significa que existe un vecinal del punto que no contiene ning
un punto
del conjunto A.
AE
a Pt. de acumulacion de A :=
a Pt. aislado de A
:=
V (a) = V (a) A 6=
(
aA
V (a) : V (a) A =
DE PUNTOS DE ADHERENCIA
2.6. CLASIFICACION
41
Observacion 1: La nocion de punto de acumulacion

nos es relativa al espacio dentro del cual se define
(comparar con Observacion 1 del punto 2.4)
Un punto que tiene esa cualidad, la mantiene si se
extiende el espacio a un superconjunto del primero.
Las definiciones que se han introducido de punto de
acumulacion y punto aislado permiten ahora crear
dos nuevos conjuntos:
Pt. aislado
Pt. acumulaci
on
Figura 2.5: Puntos aislados y puntos de acumulaci
on del conjunto A.
ACU M (A) := {a : a Pt. acumulacion de A}

AISL(A) := {a : a Pt. aislado de A}
ACU M (A) := Conjunto de puntos de acumulacion de A

AISL(A) := Conjunto de puntos aislados de A
Observacion 2: El conjunto de puntos de acumulacion de A suele llamarse tambien derivado de A, o

tambien clausura de A.
Las propiedades que se desprenden de las definiciones son:
I.
II.
III.
IV.
V.
VI.
VII.
VIII.
IN T (A) ACU M (A)

EXT (A) ACU M (C A)
T
EXT (A) ACU M (A) =
ACU M (A) ADH(A)
AISL(A) F R(A)
AISL(A) ADH(A)
T
ACU M (A) AISL(A) =
S
ACU M (A) AISL(A) = ADH(A)
IX.
ACU M (E) = E
X.
ACU M () =
XI.
AISL(E) =
XII.
AISL() =
Las propiedades VII a VIII aseguran que los conjuntos ACU M (A) y AISL(A) son una particion del
conjunto ADH(A). Esto permite escribir el siguiente teorema:
(
a Pt. adherencia de A
a Pt. acumulacion de A a
/ Pt. aislado de A
De esta manera se verifica que la clasificacion de puntos de la adherencia en acumulacion y aislados es
exhaustiva. Ademas de esto, no debe olvidarse que los puntos de adherencia se pueden dividir en interiores
y frontera.
42
2.7.
Conjuntos abiertos y conjuntos cerrados
La condicion de abierto y/o cerrado de un conjunto definido en un espacio metrico, se introduce para
establecer una caracterstica de su frontera. En el primer caso, ning
un punto de la frontera pertenece al
conjunto, en el segundo caso le pertenecen todos.
Se define entonces:
Un conjunto se llama abierto si ning
un punto de su frontera le pertenece.
Un conjunto se llama cerrado si todos los puntos de su frontera le pertenecen.
A Ab := F R(A) A =
A Cr := F R(A) A = F R(A)
A Ab := A es un conjunto abierto
A Cr := A es un conjunto cerrado
Observacion 1: Esta clasificacion no es exhaustiva, ni

debe pensarse que ambas caractersticas no pueden
cumplirse simultaneamente.
En efecto, si un conjunto no es abierto, no significa
que sea cerrado, y viceversa,
A
/ Ab ; A Cr
A
/ Cr ; A Ab
Abierto
Cerrado
No abierto y no cerrado
Figura 2.6: Clasificaci
on de conjuntos seg
un contengan
o no a sus fronteras.
Basta analizar para ello que si la frontera esta compuesta por puntos del conjunto y por puntos del
complemento, no es ni abierto ni cerrado el conjunto en cuestion.
En la figura 2.6 se muestra un ejemplo de conjunto abierto, otro cerrado y un tercero que no es ni lo uno
ni lo otro.
Por otro lado, existen conjuntos que son abiertos y cerrados simultaneamente. Son los que no tienen
frontera: el universo E y el conjunto vaco .
Observacion 2: Los conceptos de conjunto abierto y cerrado dependen del espacio metrico E, pues de
acuerdo con la Observacion 1 realizada en 2.4 la nocion de interior es relativa al espacio de referencia E.
Por ejemplo, en una extension del espacio E, un punto interior se puede transformar en frontera, seg
un
el caso mencionado en 2.4.
Observacion 3: La terminologa usada por los textos en toda esta tematica es todava muy diversificada.
En cada caso se aconseja precisarla para evitar confusiones. Un sinonimo de conjunto cerrado es conjunto
completo.
2.8. CONJUNTO ACOTADO Y CONJUNTO COMPACTO
43
Algunos teoremas que el lector puede demostrar como ejercicio son:

A Ab A = IN T (A)
F R(A) C A
A Cr A = ADH(A)
A = ACU M (A)
F R(A) A
)
A Ab
= A B Ab
B Ab
= A B Ab
A Cr
B Cr
= A B Cr
= A B Cr
A Ab C A Cr
Es interesante ver tambien como se caracterizan, de acuerdo con las definiciones de conjunto abierto
y cerrado, algunos de los conjuntos creados en los parrafos precedentes
B(c r) Ab
IN T (A) Ab
EXT (A) Ab
F R(A) Cr
ADH(A) Cr
ACU M (A) Cr
AISL(A Cr
Observacion 4: Como se ha visto, toda bola de un espacio metrico es un conjunto abierto. Esta es la raz
on
por la cual tambien suele designarse como bola abierta.
2.8.
Conjunto acotado y conjunto compacto
Un conjunto de un espacio metrico se llama acotado si existe una bola B(c r), de radio finito, que lo
contenga.
Visto de otra manera, un conjunto es acotado cuando el supremo de la distancia entre dos cualesquiera
de sus puntos esta acotado.
A Acotado := B(c r) :
r<k
A B(c r)
A Acotado sup[ d(z z ) ] < r : (z z ) A2
44
Los conjuntos cerrados y acotados juegan un papel muy importante por sus propiedades particulares.
Por esta razon se los designa con el nombre de compactos.
(
A Cr
A Compacto :=
A Acot
Si un conjunto es compacto y esta incluido en un abierto, entonces para todo punto del compacto
puede construirse una bola con centro en ese punto y que este contenida en el abierto
A Compacto
D Ab
= x A B(x r) D
AD
Este teorema no es cierto para los conjuntos no acotados y tampoco para los conjuntos que no son cerrados.
En los conjuntos compactos se pueden generalizar los teoremas de funciones continuas de una variable
real definidas sobre un intervalo determinado, a funciones reales de varas variables y continuas, definidas
sobre un compacto.
Por ejemplo, una funcion f real y continua definida sobre un compacto A cumple:
f esta acotada
f alcanza su maximo y su mnimo absoluto en el compacto A.
f es uniformemente continua en A.
2.9.
2.9.1.
Infinito en el Campo Complejo

Concepto de punto infinito en C
Para analizar el comportamiento de funciones de

variable compleja en el lmite, para valores no acotados de la variable, resulta conveniente introducir
dos nuevas definiciones: el infinito complejo y el
entorno de infinito.
r
|z| > r
Con ellas se pueden generalizar, en primer lugar,

las definiciones conjuntistas de lmite y continuidad, y posteriormente se aprovechan tambien para
la extension de otros conceptos de variable compleja.
Figura 2.7: |z| > r.
La base del razonamiento para crear los nuevos conceptos, es que el conjunto
{z : |z| > r}
puede ser asimilado y tratado como una bola del conjunto C por medio del artificio de crear un nuevo
ente llamado infinito complejo o punto infinito, que no es un elemento de C.
2.9. INFINITO EN EL CAMPO COMPLEJO
45
Uno de los medios para definir el punto infinito es a traves de la funcion inversion:
inv :
C {0} C {0}
z 7 1/z
definida sobre todo el campo complejo excepto el origen de coordenadas.

Esta funcion es una biyeccion de C {0} a C {0}, y tiene la propiedad de transformar a:
Crculos del plano z en crculos del plano w cuando el origen de coordenadas es exterior al primero.
Crculos del plano z en conjuntos exteriores a un crculo en el plano w, cuando el origen de coordenadas es interior al primero.
En la figura 2.8 se han representado dos ejemplos de la transformacion que produce la inversion.
En particular, el segundo caso muestra como el crculo |z| < a se convierte en el conjunto |z| > 1/a,
por supuesto que hacemos excepcion del origen.
A A
F R(A) F R(A )
B B
46
A
B
x
A
|z| > 1/a

|z| < a
B
x
B
Figura 2.8: Diversos conjuntos transformados mediante la funci

on inversi
on.
El analisis geometrico indica que un medio de interpretar a |z| > r como un crculo (bola del plano
complejo) es introduciendo dos definiciones:
a. Se introduce un nuevo ente ideal, no representable, llamado punto infinito que es el correspondiente
del origen de coordenadas a traves de la funcion inversion.
b. Se considera que la parte exteriorde un crculo es tambien un crculo.
De esta manera, la funcion inversion se generaliza, pudiendo enunciarse entonces: Todo crculo que
no tiene por frontera el origen se transforma en otro crculo.
Ademas, la inversion da el medio de reducir el estudio de las funciones para valores no acotados de la
variable al entorno de 0.
Desde el punto de los espacios metricos, la idea anterior significa una extension de los conceptos de
bola y de entorno para el campo complejo. El planteo analtico es:
47
1o Se define un nuevo ente (que no es un elemento de C) simbolizado por , y llamado punto infinito,
de manera tal que generalice la inversion de la siguiente forma:
:
Inv : C {} C {}
1/z
z 7
z=
6 0, z 6=
z=0
z=
:= Punto infinito o punto impropio

Esta funcion tambien es biyectiva
2o Se define bola de centro en :
B( r) := {z : |z| > r}
Con esta definicion se extienden autom
aticamente los conceptos de entorno y de vecinal al punto
infinito, siempre en el conjunto C {}.
Cabe se
nalar, sin embargo, que V () esta compuesto totalmente por puntos de C y por ende es
una nocion aplicable en ese conjunto.
2.9.2.
Conjunto Complejo Extendido
Se llama conjunto complejo extendido a:

:= C {}
C
:= Conjunto complejo extendido
C
postulando:
Algebraicamente, se puede intentar extender las definiciones de suma y producto a C,
aC
b 6= 0
+a= a+=
b= b =
z/ = 0
z/0 =
Quedan sin definir + y 0 , porque se vulneraran las leyes de la aritmetica. De todos modos,
no alcanza ni la estructura de espacio
estas definiciones son de relativa eficacia porque el conjunto C
vectorial ni la estructura de cuerpo.
2.9.3.
Esfera de Riemann
Los conceptos de punto infinito, conjunto complejo extendido, entorno y vecinal de infinito pueden
ser concebidos a traves de una equivalencia que puede establecerse entre el plano complejo y una esfera
tangente a el, llamada esfera de Riemann.
La equivalencia se establece en lo siguientes terminos:
48
Si se proyectan, con centro en N , los puntos de la esfera sobre el plano, se define una aplicacion biyectiva
entre los puntos de la esfera (exceptuando el punto
N ) y los puntos del plano.
f : Esf {N } C
bz
Z 7 z
Figura 2.9: Esfera de Riemann.
Esta aplicacion puede extenderse tambien a N si se define un nuevo elemento arbitrario que le corresponde, es decir, el punto infinito.
f : Esf C

z
Z 6= N
Z 7
Z=N
Las caractersticas mas destacadas de esta correspondencia son:
I. La esfera tambien es un espacio metrico, provisto de una distancia definida por la geodesica entre
dos puntos (mnima distancia).
II. A circunferencias en el plano C le corresponden circunferencias sobre la esfera que no pasan por N .
le corresponde un entorno del punto Z (aplicaci
III. A un entorno del punto z del plano C,
on de z) de
la esfera de Riemann.
Figura 2.10: Proyecci

on estereogr
afica de
una circunferencia que no pasa por el origen
de coordenadas.
Figura 2.11: Proyecci

on estereogr
afica de una circunferencia que pasa por el origen de coordenadas.
Esta u
ltima es la propiedad mas importante y se hace una de ella cuando se desea interpretar a un
entorno del punto infinito a traves de la equivalencia plano complejo - esfera de Riemann.
En la figura 2.11 se muestra como un casquete esferico con centro en el punto N (bola del espacio
metrico constituido por la esfera) se transforma en una bola del plano complejo con centro en el punto
infinito.
49
Si el casquete esferico no contiene a N se transforma en un crculo plano.

Observacion 1: La proyeccion usada se llama estereogr
afica, y por esta razon a la esfera de Riemann se la
suele llamar tambien esfera estereogr
afica.
2.9.4.
Diversas acepciones de infinito
La palabra infinitotiene una gran variedad de acepciones en el lenguaje matematico y en el lenguaje

corriente.
El infinito complejo no debe ser confundido po lo tanto con otros significados dados de infinito.
Algunos de los diferentes sentidos que se le atribuyen son:
1o Dado un conjunto D incluido en R, se dice que tiene cota superior k si:
DR
k cota sup. D := k R : x D = x 6 k
Se dice que el conjunto D tiene extremo superior infinito cuando no esta acotado.
Esta primera acepcion de infinito se refiere a una propiedad de un conjunto real, la de no estar
acotado.
Este concepto puede ser generalizado a cualquier conjunto ordenado y por lo tanto no puede serlo
en el campo complejo. Analogamente, puede decirse que un conjunto D real tiene por extremo
inferior a menos infinito cuando no existe cota inferior.
2o Una segunda definicion de infinito se emplea al agregar al conjunto de los reales des elementos
nuevos llamados m
as infinito (+ )y menos infinito (), para conformar el conjunto de los
reales extendidos, simbolizado por R.
Se establece convencionalmente la extension de la suma y el producto a R.

xR
< x < +
xR
x + (+) = (+) + x = +
x + () = () + x =
x (+) = (+) + x =
x () = () + x = +
x
x
=
=0
+
x>0
x (+) = (+) x = +
x () = () x =
x<0
x (+) = (+) x =
x () = () x = +
Quedan sin definir entre otros + + () y 0 (+).
Esta interpretacion de infinitotiene un paralelo con la vista en 2.9.2 pero son concepciones dis se crea un solo elemento, el infinito complejo,
tintas. Basta ver para ello que para pasar del C al C
se crean dos: mas infinito y menos infinito.
mientras que en el caso de extender R a R
se alcanza la estructura de cuerpo.
Tampoco en el caso de R
50
3o Un tercer empleo de la palabra infinito se hace en la frase x tiende a +, la cual no tiene de

por s ning
un significado particular. En el contexto de f (x) tiende al lmite L cuando x tiende a
+quiere decir que los valores para los cuales se analiza la variable independiente, pertenecen a
conjuntos del tipo x > k.
Como corolario de este parrafo se aconseja no usar desprejuiciadamente el termino infinito, y es
conveniente precisar en cada caso su significado.
Captulo 3
Funciones de Variable Compleja.

Continuidad y Lmite
3.1.
Funciones de variable compleja
Se llama funci
on de variable compleja a una aplicacion cuyo dominio D y rango R son subconjuntos
de C.
La notacion habitual para este tipo de funciones es z = (x y) para representar a un elemento de D y
w = (u v) para un elemento de R.
D C
R C
f func. var. compleja :=
f:
D R
z = (x y) 7 w = (u v) = f (z)
Se desprende de la definicion que u y v, partes real e imaginaria de w, son sendas funciones reales de
dos variables.
f:
z 7 f (z) = u(x y) + i v(x y)
Observacion 1: Para designar a las funciones de variable compleja es usual tambien emplear el termino
funcion compleja.
3.2.
Interpretaci
on geom
etrica
El analisis geometrico de las funciones de variable compleja requiere de cuatro dimensiones: dos para
la variable z y dos para la variable w.
Una solucion para ello es representar los elementos del dominio de la funcion sobre un plano (llamado
|z ) y los elementos del rango sobre otro plano (llamado |w ).
51
CAPITULO 3. FUNCIONES DE VARIABLE COMPLEJA. CONTINUIDAD Y LIMITE
52
f (z)
b
Figura 3.1: Transformaci

on de regiones en R2 mediante una funci
on de variable compleja.
De esta manera puede decirse que una funcion de variable compleja establece una relaci
on entre un
punto z del plano |z y un punto w del plano |w .
Una forma de caracterizar geometricamente a las funciones de variable compleja es a traves de la
representacion de las transformaciones que produce a curvas y conjuntos en general, de un plano a otro.
Esta representacion es u
til para resolver diversos problemas fsicos de campos y potenciales.
Ejemplo: Para analizar un caso determinado, se elige la funcion:
f:
C C
z 7 z 2 = x2 y 2 + i 2xy
que define el sistema:

(
u = x2 y 2
v = 2xy
Para caracterizar la transformacion se eligen dos familias de rectas, la primera de las paralelas al eje
y (familia 1 ), y la segunda de las paralelas al eje x (familia 2 ).
La funcion z 2 transforma las familias 1 y 2 del plano |z en las familias 1 y 2 , respectivamente,
del plano |w , que representan familias de parabolas como se demuestra a continuacion.
x = k
1 y = y
yR
2
2
u = k y
2
z
1 v = 2ky
yR
x = x
2 y = k
xR
2
2
u = x k
z2
2 v = 2kx
xR
v2
u
=
k
4k 2
(
=
u60
v=0
v2
u = 4k 2 k
(
=
u>0
v=0
k 6= 0
k=0
k 6= 0
k=0
La funcion z 2 transforma rectangulos del plano |z en rectangulos de lados parabolicos en el plano |w.
Se mantienen los angulos salvo en el caso cuando z = 0.
3.3. FUNCIONES DE VARIABLE COMPLEJA. CARACTERISTICAS Y EJEMPLOS
53
Este hecho no es casual, es una propiedad general de ciertas funciones complejas que se estudiar
an en
los proximos captulos.
El lector puede verificar que las familias 1 y 2 son ortogonales entre s.
2
b
1
1

on de caminos mediante la funci
on f (z) = z 2 .
3.3.
3.3.1.
Funciones de variable compleja. Caractersticas y ejemplos

Caractersticas
Se definen algunas propiedades de las funciones complejas.

Sea una de estas,
f:
D R
z 7 f (z)
entonces se define como funci

on acotada a aquella cuyo modulo tiene cota superior.
f Acotada := k R : z D = |f (z)| < k
k := Cota del modulo de la funcion
Se llama funci
on peri
odica de perodo T a aquella que cumple:
f Periodica := T C : f (z + T ) = f (z)
54
3.3.2.
Ejemplos
En el transcurso del texto ya se han visto diversas funciones complejas como:

Parte real
Parte imaginaria
Modulo de z
Argumento de z
Conjugado de z
Inversion
las que se completaran con algunas otras de empleo frecuente:
Constante
Cte :
C C
z 7 k = w
Polinomio complejo de grado n
Pn :
C C
n
X
z 7
ak z k = Pn (z)
n N0 , an 6= 0
k=0
Esta definicion es una extension de los polinomios reales. Como en ese caso n se llama grado del
polinomio.
Funci
on racional
Rac :
C{r : Qm (r) = 0} C
z 7
Pn (z)
Qn z
La funcion racional esta definida entonces por el cociente de dos polinomios con dominio v
alida s
olo
para aquellos complejos que no anulan el denominador.
Exponencial
La definicion de la funcion exponencial ha sido discutida detalladamente en el apartado 1.11.2.
Si se sigue la segunda orientacion all presentada, se tiene:
exp :
C C
z 7 ez = ex cos y + i sen y
3.3. FUNCIONES DE VARIABLE COMPLEJA. CARACTERISTICAS Y EJEMPLOS
55
definicion valida sobre todo el campo complejo, como extension de la funcion exponencial real.
Algunas de las propiedades para destacar son:
Re(ez ) = ex cos y
Im(ez ) = ex sen y
| ez | = ex
arg(ez ) = y
ez = ez
1
= ez
ez
z : ez = 0
ez = 1 = z = i 2k
kZ
La exponencial compleja es periodica con perodo T = 2i

Funciones trigonom
etricas
A partir de la funcion exponencial pueden extenderse al campo complejo las funciones trigonometricas
reales:
C C
sen :
eiz eiz
z
7
2i
C C
cos :
eiz + eiz
z
7
2
Las demas funciones trigonometricas, tangente, cotangente, secante y cosecante se definen a partir de
las anteriores, formalmente igual a sus homonimas reales.
El desarrollo de la funcion sen en forma binomica es:
ey
ey
(cos x + i sen x) (cos x i sen x)
2i
2i
= sen(x) cosh(y) + i cos(x) senh(y)
sen z =
de donde se implica que es una funcion no acotada.

Para estas funciones se prueba:
sen2 z + cos2 z = 1
sen(z + z ) = sen(z) cos(z ) + cos(z) sen(z )
cos(z + z ) = cos(z) cos(z ) sen(z) sen(z )
ademas, tanto sen z como cos z tienen perodo real 2.
56
Funciones hiperb
olicas
Como extension de las funciones homonimas reales se define en el plano complejo a las funciones seno
hiperb
olico y coseno hiperb
olico:
senh :
C C
z 7
cosh :
(ez ez )
2
C C
z 7
(ez + ez )
2
Las restantes funciones hiperbolicas se definen tambien de la manera habitual.

Estas funciones se relacionan con las trigonometricas a traves de:
sen z = i senh(iz)
cos z = cosh(iz)
y son evidentemente periodicas con perodo 2i.
Queda a cargo del lector el analisis de las propiedades semejante a las de las funciones trigonometricas
y exponencial.
3.4.
3.4.1.
Continuidad
Definici
on
Para dotar de rigor al tratamiento del calculo integral, diferencial, sucesiones, series, etc. es necesario
precisar la nocion de continuidad.
Esta, es una de las ideas mas importantes y fascinantes del analisis matematico, que ha abierto la
necesidad y el camino para nuevos cursos de estudio y creacion, entre ellos por ejemplo los espacios
metricos y los espacios topologicos en general.
Para introducirse en la concepcion de la nocion de continuidad es mas sencillo pasar por el significado
de su opuesto logico: la falta de continuidad.
Un primer acercamiento a la idea podra ser : Los puntos x proximos al punto a no tienen una
aplicacion f (x) proxima a f (a).
57
3.4. CONTINUIDAD
b
b
D
U(f (a))
U(a)
f (a)
U(f (a))
R
b
f (a)
c
b
Imagen de U (a)
U(a)
Figura 3.3: Funci

on de una variable real discontinua en a.
Figura 3.4: Funci

on de una variable compleja discontinua en a.
Sin embargo, esta expresion carece de sentido porque la palabra proximidades indefinida, y tiene
en el lenguaje corriente un significado relativo al contexto de referencia. Lo que puede ser proximo en un
caso, puede no serlo en otro.
La nocion de distancia con la consiguiente definicion de entorno es la que permite dotar de rigor a las
definiciones buscadas.
Se puede decir con precision entonces para una funcion
f:
D R
X 7 Y = f (X)
donde D y R son subconjuntos de los espacios metricos E y E , si dado un entorno de f (a), U (f (a)), no
puede encontrarse ning
un entorno de a, U (a), de modo tal que todos los elementos de U (a) D, tengan
aplicacion en U (f (a)), entonces la funcion f es discontinua en a.
Simbolicamente:
f
/ C/a
:=
U (f (a)), U (a) : x U (a) D = f (X) U (f (a))
f
/ C/a
:=
La funcion f no es continua en a
En el grafico anterior se han representado dos ejemplos de discontinuidad, uno para una funcion de
variable real, y otro para una funcion de variable compleja. Sobre el rango de cada una de las aplicaciones
se ha coloreado la imagen de U (a), que como se observa no esta incluida en U (f (a)).
El opuesto logico de esta definicion nos asegura que no hay salto, es decir que la funcion es continua.
La definicion es valida para cualquier funcion f entre dos espacios metricos o subconjuntos de dichos
espacios metricos. Se incluye como caso particular, por supuesto, a los casos de funciones reales de una
o varias variables y a las funciones complejas.
(
DE
f : D R
:
R E
X 7 f (X)
f C/a
:=
U (f (a)) , U (a) : X U (a) D = f (X) U (f (a))
58
Observacion 1: Debe observarse que en la definicion no se exige ninguna condicion especial al punto a,
salvo que pertenezca al dominio de la funcion para que exista f (a).
Observacion 2: En la definicion se interseca a U (a) con D, dominio de la funcion, para asegurar que para
los puntos X considerados exista imagen f (X).
En particular, el conjunto U (a) D nunca es vaco porque por lo menos contiene al punto a.
A partir de la definicion de continuidad se extrae el siguiente teorema:
Teorema 3.4.1. Toda funci
on es continua en los puntos aislados de su dominio.
a Pt. aislado D = f C/a
Demostraci
on.
Por definicion de Pt. aisl:
U (f (a)) U (a) : U (a) D = {a}
Luego
X U (a) D
X {a}
=
= f (a) U (f (a))
Observacion 3: Se ha introducido la nocion de continuidad precediendo al concepto de lmite por dos

razones:
1o Porque desde un punto de vista heurstico el lmite es una extension de la nocion de continuidad,
y tambien por ello desde el punto de vista pedagogico se puede explicar y entender mejor dicho
concepto.
2o Hay funciones continuas que no tienen lmite, las definidas sobre un punto aislado.
Para el caso particular de funciones de variable compleja, la definicion de continuidad se puede reducir
a una forma operativa, tomando como entornos a bolas con centro a y f (a) respectivamente en los planos
|z y |w.
U (a) = {z : |z a| < }
U (f (a)) = {w : |w f (a)| < }

resultando:
f C/a
3.4.2.
:=
> 0 , > 0 : z {z : |z a| < } D = |f (z) f (a)| <
Continuidad sobre un conjunto
La definicion de continuidad se refera a un punto especfico a del dominio de la funcion.

Si esta propiedad se puede extender a un conjunto de puntos, se dice que la funcion es continua sobre
el, y se escribe:
f C/A := a A = f C/a
f C/A := La funcion f es continua sobre el conjunto A.
3.5. LIMITE
3.5.
59
Lmite
3.5.1.
Definici
on de lmite
Puede hacerse una extension del concepto de continuidad a los puntos de acumulacion del dominio de
una funcion f (pertenezcan o no a el), cuando existe un elemento L del espacio E (donde se aplica f ),
que pueda hacer las veces de f (a) en la definicion de continuidad.
No se toma en cuenta lo que sucede en a, punto para el cual puede existir o no la funcion.
Es decir, el lmite L es el valor hipotetico que habra que asignarle al punto a para que la funci
on
fuera en el continua. Por supuesto esto no siempre es posible y en ese caso se dice que no existe el lmite.
La terminologa usada para expresar la existencia de tal n
umero L es: f (X) tiende a L cuando X
tiende a a.
La frase X tiende a ano tiene significado propio sino como parte de la expresion anterior.
Simbolicamente se define entonces:
f:
D R
X 7 f (X)
DE
R E
a Pt. acumulacion de D
f (X) L := U (L) , V (a) : X V (a) D = f (X) U (L)
Xa
f (X) L := f tiende a L cuando X tiende a a.

Xa
Otra notacion usual para representar a la definicion de lmite es:

lm f (X) = L
X a
Observacion 1: La diferencia formal de esta definicion con respecto a la de continuidad es que se ha

empleado el smbolo V (a) en lugar de U (a). Es decir, el uso de vecinales de a es obligado porque no debe
tenerse en cuenta si existe o no la funcion en a y tampoco, en caso afirmativo, cual es ese valor f (a).
Observacion 2: Para asegurar el sentido de la definicion de lmite, es necesario que V (a) D 6= . Esta es
la razon para postular que el punto a debe ser de acumulacion de D.
De acuerdo a la Observacion 2 del parrafo 3.4.1 esto no era necesario en la definicion de continuidad.
Observacion 3: La definicion del lmite de una funcion no permite su obtencion, sino simplemente su
verificacion. El llamado calculo de lmitesse reduce a la aplicacion de teoremas que ligan lmites de
funciones conocidas y tabuladas.
La definicion de vecinal de infinito en el plano complejo permite la extension de la definicion de lmite
a ese caso sin necesidad de modificaciones.
En particular, si la definicion de lmite se expresa para funciones de variable compleja tomando como
60
entorno a bolas del plano, resulta:

f (z) L := > 0 , > 0 : z {0 < |z a| < } D = |f (z) L| <
za
f (z) L := > 0 , r : z {|z| > r} D = |f (z) L| <

z
f (z) := M , > 0 : z {0 < |z a| < } D = |f (z)| > M

za
La u
ltima expresion significa que en el vecinal del punto a la funcion no esta acotada.
La relacion entre las definiciones de continuidad y lmite esta dado por el siguiente teorema:
Teorema 3.5.1. Para que una funci
on f : D R sea continua en un punto a de acumulaci
on de D,
es condici
on necesaria y suficiente que exista lmite de la funci
on para X tendiendo a a, que exista f (a)
y tambien que el lmite sea igual al valor de la funci
on f (a).
H1 f (X) L
(
Xa
a Pt. acum D
H2 f : a 7 f (a)
f C/a
H L = f (a)
3
Demostraci
on. En primer lugar se encara la condicion necesaria
(
a 7 f (a)
f C/a =
U (f (a)) , U (a) : X U (a) D = f (X) U (f (a))
Eligiendo V (a)
V (a) = U (a) {a}
a ACU M (D) = V (a) D 6=

Resulta entonces:
U (f (a)) , V (a) : X V (a) D = f (X) U ((f (a)))
Aplicando la definicion de lmite, se observa que existe y es f(a)
L = f (a)
Se pasa a la condicion suficiente
H1 = U (L) , V (a) : X V (a) D = f (X) U (L)
H3 = U (f (a)) , V (a) : X V (a) D = f (X) U (f (a))
H2 = {a} = {a} D = f (a) U (f (a))
Eligiendo entonces
U (a) = V (a) {a}
3.5. LIMITE
61
Resulta
U (f (a)) , U (a) : X U (a) D = f (X) U (f (a))
Con lo cual queda probado que la funcion es continua. Que a es un punto de acumulacion esta implcito
en la definicion de lmite.
H1 = a Pt. acumulacion de D
3.5.2.
Operaciones con lmites
El enfoque hecho en los conceptos de lmite y continuidad por medio de las estructuras de los espacios
metricos permite demostrar una sola vez propiedades que son comunes a determinados conjuntos.
Esto tambien significa que si dos conjuntos tienen leyes de composicion formalmente iguales, las propiedades y teoremas demostrados para uno son validos para el otro.
Muchas de las propiedades estudiadas en las funciones reales pueden ser extendidas.
En el caso de las funciones compuestas en cualquier espacio metrico, el lmite de una funcion compuesta
es igual a la composicion de los lmites. En cuanto a la continuidad, la composicion de dos funciones
continuas es continua, como lo expresa el siguiente teorema:
Teorema 3.5.2.
f:
D R
D R : R D
)
f C/a
= g f C/a
g C/f (a)
g:
R
R
f
D
X
a
U(a)
D
Y = f (X)
g(Y )
f (a)
U(f (a))
g(f (a))
U(g(f (a)))
Figura 3.5: Composici

on de funciones de una variable compleja.
Demostraci
on. La existencia de la funcion compuesta esta asegurada porque R D .
H2 = U (g(f (a)) , U (f (a)) : Y U (f (a)) D = g(Y ) U (g(f (a)))
H1 = U (f (a)) , U (a) : X U (a) D = f (X) U (f (a))
62
Eligiendo en la segunda expresion un U (f (a)) conveniente

U (g(f (a))) , U (a) : X U (a) D = g f (X) U (g(f (a)))
La continuidad y el calculo de lmites para las operaciones vectoriales se extiende a todos los espacios
normados.
Esta es la relacion esencial entre las dos estructuras del espacio normado, la metrica y la vectorial.
)
f (X) F
= f + g F + G
g(X) G
f (X) F
f F
f f
La prueba de estas propiedades de la suma y producto vectorial, es inmediata aplicando la definici

on de
lmite y teniendo en cuenta que
N ((f + g) (F + G)) 6 N (f F ) + N (g G)
N (f F ) = || N (f F )
N (f f ) = | | N (f )
Todas las propiedades vistas hasta el momento pueden ser aplicadas a funciones complejas.
Pero, ademas, como las definiciones de continuidad y de lmite hechas para dichas funciones, coinciden
formalmente con las correspondientes a las funciones reales de una variable.
La consecuencia de este analisis es que la continuidad y el calculo de lmite de las operaciones del
cuerpo de los reales se extienden al cuerpo de los complejos.
En concreto, suponiendo que los lmites existan, la suma, diferencia, producto y cociente (exceptuando
el caso de denominador cero) de lmites es igual al lmite de la suma, diferencia, producto y cociente de
las funciones complejas, siempre suponiendo que los lmites son finitos.
Para el caso de continuidad, el resultado de la extension de las funciones reales de una variable es
analogo.
Un teorema relativo al lmite de la parte real e imaginaria de una funcion de variable compleja es:
Teorema 3.5.3. Una funci
on de variable compleja tiende a un lmite si y s
olo si su parte real tiende a
la parte real del lmite, como as tambien la parte imaginaria tiende a la parte imaginaria del lmite.
u(x y) U
za
u(x y) + i v(x y) U + i V
za
v(x y) V
za
Demostraci
on. La condicion suficiente se puede demostrar directamente a partir del teorema del lmite
de la suma, pero ademas se puede demostrar directamente a partir de
|(u + i v) (U + i V )| 6 |u U | + |v V |
Como puede acotarse el segundo miembro por la suma de dos n
umeros arbitrarios, reales no negativos,
el primer miembro tambien esta acotado arbitrariamente, y por lo tanto hay lmite.
63
3.6. CURVAS EN EL CAMPO COMPLEJO. CAMINOS Y LAZOS
Del mimo modo la condicion necesaria:

|Re(z)| 6 |z|
|Im(z)| 6 |z|
de acuerdo con las propiedades de 1.6.2

|u U | 6 |(u + i v) (U + i V )|
|v V | 6 |(u + i v) (U + i V )|
entonces por razonamiento analogo al anterior existen los lmites de la parte real e imaginaria de la
funcion compleja y son U y V , respectivamente.
Una consecuencia inmediata de este teorema es la siguiente:
Corolario 3.5.3.1. Una funci
on compleja es continua si y s
olo si son continuas sus partes real e imaginaria.
)
u C/a
u + i v C/a
v C/a
3.6.
Curvas en el campo complejo. Caminos y lazos
Para el desarrollo de la derivacion e integracion en el campo complejo, se trabaja con conjuntos tales
como curvas, caminos, lazos,etc. conceptos que conviene precisar y analizar con detenimiento.
3.6.1.
Continuidad por partes de funciones reales
Una funcion de variable real, se dice que es continua por partes sobre un intervalo cerrado y acotado (compacto) [a b] cuando salvo para un n
umero finito de puntos es continua sobre dicho intervalo,
y ademas en los puntos de discontinuidad existen los lmites de la funcion por la derecha y por la izquierda.
No es necesario para esta definicion que la funcion tome valores en los puntos de discontinuidad.
Simbolicamente:
f CP [a b] := f : I = [a, b] {ak } Rn :
k < 0, n >
a = a0 < a1 < a2 < < an = b
f CI
k , f (a+
m f (x)
k ) = l
xak
x>ak
f (a
m f (x)
k ) = l
xak
x<ak
f CP [a b] := La funcion f es continua por partes sobre el intervalo [a b]
Observacion: De acuerdo con la definicion, el intervalo I se puede descomponer en un n

umero finito de
intervalos
[a0 , a1 ], [a1 , a2 ], . . . , [an1 , an ]
64
donde para cada uno de ellos se puede definir

[ak , ak+1 ] Rn
f (a+
k)
x 7 f (x)
f (a
k)
fk
x = ak
x (ak , ak+1 )
x = ak+1
y a partir de all la integral definida seg

un Cauchy se extiende como suma de un n
umero finito de integrales
definidas (las funciones fk son continuas sobre un compacto):
Z
n1
X
f (x) dx =
k=0
3.6.2.
ak+1
fk (t) dt
ak
Camino
Se llama camino a toda aplicacion continua de un intervalo real cerrado y acotado (compacto) [a b]
sobre el conjunto de los complejos C, con la condicion adicional de que la aplicacion tenga derivada
continua por partes.
Camino
:=
: I = [a b] C
a 6= b
t 7 x(t) + i y(t) : C[a b]

CP [a b]
Observacion: Por ser CP entonces

(t) = C +
(s) ds
La terminologa usada con relacion a los caminos es la siguiente:

(a) := Origen del camino o extremo inicial.
(b) := Extremo final del camino.
t := Parametro
Tambien se suele expresar que es un camino que une los puntos origen (a) y el extremo (b).
Desde el punto de vista geometrico (t) describe una trayectoria (I) (imagen de I) con las caractersticas:
I. Cc

/ Cd
II. (d+ )
(d )
6= 0
= puntos angulosos con dos tangentes
III. La trayectoria puede tener puntos m

ultiples, es decir, para diferentes valores de t puede corresponderle el mismo par (x y). Ejemplo el punto m.
65
(a)
b
c = (t0 )
|b
t0
(b)
Figura 3.6: Camino en el campo complejo.
Otra definicion u
til para los desarrollos posteriores es:
Camino contenido en D := Camino : (I) D
3.6.3.
Lazo
Se dice que un camino es un lazo cuando los extremos son iguales:

Lazo := Camino : (a) = (b)
Es usual decir tambien que el lazo tiene origen en (a).
(a) = (b)
|b
t0
(t0 )
Figura 3.7: Lazo en el campo complejo.
3.6.4.
Curva
Se llama curva a la imagen de , (I).

No deben confundirse los conceptos de camino y curva, pues entre ambos existe la misma diferencia
que entre funcion e imagen de la funcion.
Puede haber varios caminos con la misma curva.
Si un camino pasa varias veces por un mismo punto (para diferentes valores del parametro t), corresponden un solo elemento de la curva (un solo elemento de (I)).
66
Ejemplo: Los tres caminos

cf1 :
[0 2] C
t 7 cos t + i sen t = eit
cf2 :
[0 2] C
t 7 e2it
cf2 :
[0 2] C
t 7 i eit
tienen por imagen a una misma curva, la circunferencia de centro en el origen de coordenadas y radio 1,
|z| = 1.
Sin embargo son caminos diferentes, basta para ellos comparar:
origen
extremo
no de vueltas
sentido giro
longitud
cf1
(1; 0)
(1; 0)
1
+
2
cf2
(1; 0)
(1; 0)
2
+
2
cf3
0; 1
0; 1
1
2
Nota: Se ha designado con signo positivo al sentido de giro contrario al de las agujas del reloj y
negativo al opuesto.
Observacion: La diferencia de las nociones de camino y curva es importante y debe ser tenida en cuenta en
el calculo de integrales complejas. Caminos diferentes con igual imagen pueden dar resultados diferentes.
3.6.5.
Caminos opuestos y yuxtapuestos
Camino opuesto
Un camino se llama opuesto de otro definido sobre I, y simbolizado por , a:
:
Camino opuesto de :=
I = [a b] C
I = [a b] C
t 7 (a + b t)
El origen y el extremo de son respectivamente (b) y (a). Desde el punto de vista geometrico, la
curva que representa al camino y a su opuesto es la misma, pero recorrida en sentido inverso.
67
Caminos yuxtapuestos
Un camino es la yuxtaposici
on de otros dos 1 y 2 cuando al extremo del primero es el origen del
segundo y se define de acuerdo a las condiciones siguientes.
I1 = [a b] C
I1 = [c d] C
1 :
2 :
1 (b) = 2 (c)
[a, b + d c] C
1 2 :
t 7 (t) =
t [a b]
1 (t)
2 (t + c b)
t [b, b + d c]
1 2 := Camino yuxtaposicion de 1 y 2
2 (d)
b
1 (I1 )
1 (a)
2 (I2 )
b
1 (b) = 2 (c)
I1
I2
b+dc
Figura 3.8: Caminos yuxtapuestos.
Se deduce inmediatamente de la definicion que si

:= 1 2
entonces se cumple
(a) = 1 (a)
(b) = 1 (b) = 2 (c)
(b + d c) = 2 (d)
Un camino puede ser considerado como la yuxtaposicion de otros dos, obtenidos dividiendo el intervalo
de la siguiente manera:
: [a b] C
c : a < c < b
= = 1 2
1 : [a c] C
2 : [c b] C
Eligiendo un punto c de este modo, se puede considerar un lazo tambien como yuxtaposicion de dos
caminos, 1 2 . El camino 2 1 tambien es un lazo, pero de origen en el punto (c).
68
3.6.6.
Ejemplos de caminos
Algunos casos de interes particular son:

Camino constante
Se dice que un camino es constante si su imagen se reduce a un solo punto.
Camino constante := (I) = {a}
Arco de circunferencia unidad
Esta funcion es:
cf () :
[0 1] C
t 7 e2it : R
y es un camino cuya imagen es parte (o todo) de la circunferencia de radio unitario |z| = 1.

Si es entero no nulo, la imagen (I) es la circunferencia unidad recorrida veces (ver ejemplo del
parrafo 3.6.4). Si = 0 la funcion se reduce a un camino constante.
Segmento
El clasico segmento de recta se representa analticamente por:
Sgm :
I = [a b] C
t 7 ct + d
c C, d C
Poligonal o lnea quebrada

Toda yuxtaposicion de segmentos se llama poligonal.
a = a0 < a1 < < an = b
P = S1 S2 Sn
Sk : [ak1 , ak ] C
P : I = [a b] C :
t 7 ck t + dk
ck ak + dk = ck+1 ak+1 + dk+1
P (a)
P (b)
a
|
a0
I1
k < 1, n >
I2
|
a1
b
|
a2
Figura 3.9: Camino poligonal.
La u
ltima condicion es la de yuxtaposicion, pues Sk (ak ) = Sk+1 (ak ).
an
69
3.6.7.
Camino simple. Lazo simple
Un tipo de camino particularmente importante es el que se llamara camino simple o arco de Jordan.
As se designa a todo camino determinado por una funcion inyectiva, esto significa geometricamente
que no hay puntos m
ultiples, hecha excepcion de los extremos del camino.
Si es un lazo y camino simple, se dice que es un lazo simple.
b
b
b
b
Camino simple
Caminos no simples
b
b
Lazo simple
Lazos no simples
Figura 3.10: Ejemplos de caminos y lazos.
Analticamente:
: I = [a b] C
Camino simple := (t s) I I {(a b)} = ((t) = (a) t = a)
3.6.8.
Caminos equivalentes
Des caminos se dicen equivalentes cuando puede establecerse una biyeccion creciente entre los respectivos intervalos de definicion, de acuerdo con las condiciones
1 : I1 = [a b] C
2 : I2 = [c d] C
biyectiva
(1 2 ) Caminos equiv. :=
creciente
C/I2
: I2 I1 :
CP/I2
2 (t) = 1 ((t))
70
Los caminos equivalentes, tienen igual imagen, origen y extremo.
1 (I) = 2 (I)
(1 2 ) Caminos equiv. = 1 (a) = 2 (c)
1 (b) = 2 (d)
Un camino
2 :
t 7 1 (t + ) : > 0
es siempre equivalente al camino 1 . Este resultado permite reducir todo camino a un equivalente con
intervalo de definicion I = [0 1].
3.7.
Conjuntos conexos
Un conjunto D de un espacio Rn se dice conexo, cuando todo par de puntos de D puede ser unido
por un camino contenido en D.
D Rn
(a) = x
D Conexo :=
n
(x
y)
D
=
:
I
=
[a
b]
R
:
(b) = y
(I) D
En particular, el camino puede ser una poligonal.
Un crculo en el plano complejo |z a| < r (bola en el campo complejo) es conexo.

Geometricamente algunos ejemplos son:
A
E
Figura 3.11: Ejemplo de conjuntos conexos.
3.8.
3.8.1.
Figura 3.12: Ejemplo de conjuntos no conexos.
Homotopa de caminos y lazos

Homotopa de caminos
La idea de homotopa entre dos caminos significa intuitivamente que puede pasarse de uno a otro a
traves de una deformacion continua.
3.8. HOMOTOPIA DE CAMINOS Y LAZOS
71
Matematicamente puede definirse:
(1 2 ) h(D ) :=
D abierto
DC
1 : I = [a b] C :
2 : I = [a b] C :
: I J D :
1 (I) D
2 (I) D
J = [c d]
C/I J
(t c) = 1 (t)
(t d) = 2 (t)
(1 2 ) h(D ) := 1 y 2 son caminos homotopos en D por la homotopa

:= Homotopa de 1 y 2 en D
1 (I)
2 (I)
b
Figura 3.13: Homotopa de los caminos 1 y 2 en D
Observacion: Se destacan algunas particularidades de la definicion de caminos homotopos:

1 y 2 estan definidos sobre el mismo intervalo I.
es continua respecto de dos variables, (t s) I J.
No se exigen condiciones de derivacion para salvo las impuestas a 1 y 2 .
3.8.2.
Homotopa de lazos
Se llama homotopa de lazos a aquella que para todo elemento de J da un lazo. Esto significa que
todos los caminos de la homotopa son lazos.
(1 2 ) h (D ) := (1 2 ) h(D ) : s J = (a s) = (b s)
(1 2 ) h (D ) := 1 y 2 son hom
otopos por la homotopa de lazos en el conjunto D.
72
Observacion: Si D D puede no existir homotopa

en D, pero si en D .
Tanto la homotopa de caminos como la de lazos son
relaciones de equivalencia.
Su verificacion es inmediata
1 (I)
2 (I)
Figura 3.14: Homotopa de los lazos 1 y 2 .
3.8.3.
Homotopa a un punto
Se dice que un lazo es hom

otopo a un punto en D si existe una homotopa de lazos de dicho lazo al
lazo constante (cuya imagen es un punto).
(1 2 ) h (D ) := (1 2 ) h (D ) : 2 (I) = {P }
3.9.
3.9.1.
Clasificaci
on de conjuntos conexos en C
Conjuntos simplemente conexos
Un conjunto D del plano complejo, abierto y conexo se dice que es simplemente conexo cuando todo
lazo contenido en el es homotopo a un punto.
Es decir, sobre D existe una sola clase de equivalencia de homotopa de lazos, que ademas es homotopa
a un punto.
En forma intuitiva, el conjunto simplemente conexo
es aquel que no tiene agujeros.
Una propiedad de estos conjuntos que puede ser empleada para definirlos es:
D Abierto y conexo
Conexo
D Simplemente conexo = C (D/C)
3.9.2.
Figura 3.15: Conjunto simplemente conexo.
Conjuntos m
ultiplemente conexos
Un conjunto se llama m
ultiplemente conexo cuando no es simplemente conexo.
DE CONJUNTOS CONEXOS EN C
3.9. CLASIFICACION
73
Desde el punto de vista intuitivo significa que tiene

uno o mas agujeros.
Ejemplos:
Un anillo en el campo complejo.
Una bola en el campo complejo sin su centro.
Figura 3.16: Conjunto m
ultiplemente conexo.
La definicion de conjuntos m
ultiplemente conexos es el contrario logico de la definicion de simplemente
conexo. Esto quiere decir que tiene que haber mas de una clase de equivalencia de lazos homotopos.
Tal observacion permitira una clasificacion de los conjuntos m
ultiplemente conexos.
Otro metodo para ello es por medio de cortaduras, que se ver
a a continuacion.
3.9.3.
Cortadura
Se llama cortadura en un conjunto abierto y conexo,

a la exclusion del mismo de un camino simple (arco
de Jordan) cuyos puntos deben ser todos interiores
con excepcion de los extremos, que pueden no serlo.
En otras palabras, como D es abierto, los puntos no
extremos del camino deben ser de D.
Cortadura de D
3.9.4.
:=
: [a b] C :
Figura 3.17: Ejemplos de cortadura.
Camino simple
t (a b) = (t) IN T (D)
Grado de multiplicidad
Se llama grado de multiplicidad de un conjunto

m
ultiplemente conexo a la mnima cantidad de
cortaduras que deben hacerse para transformarlo en
simplemente conexo.
El grado de multiplicidad tambien es llamado orden
de conexi
on.
La cantidad de clases de lazos homotopos esta relacionada con el grado de multiplicidad.
Figura 3.18: Conjunto con grado de multiplicidad=3
74
En efecto,
q = 2n
q := Cantidad de clases de lazos homotopos
n := Grado de multiplicidad de conexion
Esta relacion puede usarse para definir el grado de multiplicidad sin introducir el concepto de cortadura.
Observacion: Algunos textos definen como orden de conexion a n 1.
Intuitivamente, el grado de multiplicidad representa la cantidad de agujerosque tiene un conjunto
m
ultiplemente conexo.
Captulo 4
Derivaci
on en el Campo Complejo
4.1.
Derivaci
on
Dada una funcion de variable compleja,

(
DC
f : D R :
RC
se define como derivada de la funcion f en un punto a del dominio D, simbolizada por f (a), a:
f (a) :=
lm
z0
f (a + z) f (a)
z
f (a) := Derivada de f en el punto a

Cuando existe la derivada, es decir el lmite del cociente incremental, se suele decir que la funci
on f
es derivable en el punto:
f DER/a := f (a)
f DER/a := La funcion f es derivable en el punto a
Observacion: La definicion anterior de derivada es
formalmente igual a la de funcion de una variable
real.
Sin embargo, a pesar de que se aprovechar
a la semejanza formal para extraer conclusiones sobre algunas
propiedades de la derivada de las funciones de variable compleja, no debe caerse en un analisis superficial.
z
a b
V (a)
V (a) D
Figura 4.1: Incremento de z a traves de un

camino .
La definicion de derivada para variable compleja lleva implcito que el lmite es doble, es decir, el
incremento z debe tomarse sobre todo un vecinal V (a) en su interseccion con el dominio.
75
EN EL CAMPO COMPLEJO
CAPITULO 4. DERIVACION
76
Por lo tanto si se incrementa z sobre un camino cualquiera , el lmite del cociente incremental es
constante.
En particular, el lmite del cociente incremental es el mismo (e igual a la derivada en el punto) a
lo largo de cualquier recta que pase por a. Esta es una condicion necesaria pero no suficiente, como se
verifica en la funcion,
3
2 2
x y +i x y
z 6= 0
4
2
4
x + y2
f : z 7 f (z) = x + y
0 z=0
que tiene derivada nula en el origen seg

un cualquier direccion, pero no por un camino parabolico y = kx2 ,
y entonces se asegura que no es derivable en modo complejo.
4.2.
Diferencial
Se dice que una funcion de variable compleja f es diferenciable cuando su incremento f puede
escribirse:
(
AC
f DIF/a := f = A z + (z)z :
(z) 0
z0
f DIF/a
:=
La funcion f es diferenciable en el punto a
La definicion de diferenciabilidad significa que el incremento de una funcion puede escribirse como la
suma de:
Producto de una constante A por el incremento de la variable z.
Producto de un infinitesimo (z) por el incremento de la variable z.
y por lo tanto la diferenciabilidad asegura la aproximacion lineal de la funcion f .
Esta es la importancia del diferencial, que se define como
df := A z
df := Diferencial de f
Observacion: La definicion de diferenciabilidad de THOMAE para funciones de varias variables reales,
particularizando el ejemplo a dos dimensiones, es:
u:
D R
(x y) 7 u(x y) : D C
u DIF/(a b)
u DIF/(a b)
:=
:=
u = A x + B y + 1 x + 2 y :
AR
BR
1 0
z0
2 0
La funcion u es diferenciable en el punto (a b)
z0
77
4.2. DIFERENCIAL
Este enunciado pone en evidencia que la diferenciabilidad asegura la aproximacion lineal de la funci
on
u.
Desde el punto de vista geometrico, dicha aproximacion lineal se materializa en la existencia de plano
tangente para varias variables y recta tangente para una.
La derivabilidad en variable real significa geometricamente que existe la tangente en una sola direcci
on,
mientras que el diferencial asegura la existencia de todas las tangentes (en las direcciones donde puede
incrementarse) y ademas ligadas todas entre s, por pertenecer a un mismo plano.
Por esta razon, el segundo concepto tiene mucha mas importancia que el primero.
Las propiedades que se enuncian a continuacion marcan algunas de las diferencias existentes entre
ambos conceptos.
Teorema 4.2.1.
f DIF/P = f C/P
Demostraci
on. La demostracion es inmediata aplicando la definicion de diferencial.
La derivabilidad no arrastra la continuidad.
Pueden existir funciones diferenciables no derivables (sin derivadas parciales) y tambien funciones
derivables, a
un en todas las direcciones sin ser diferenciables.
y
El primer caso se presenta cuando el dominio de la

funcion esta restringido, y no puede incrementarse
en la direccion de los ejes, sin embargo en todas
las demas direcciones las tangentes definen un plano.
Este caso solo puede presentarse en puntos de frontera.
Figura 4.2: Dominio restringido de una funci

El segundo caso es aquel en el cual las tangentes no estan en un plano, por ejemplo en el vertice de
un cono.
Si se obvian los problemas de frontera, la diferenciabilidad implica la derivabilidad. Esta es la raz
on
por la cual se postula que el punto P es interior y se trabaja con conjuntos abiertos mas adelante.
(a b) Pt. interior de D
(
A = fx
f DIF/(a b) =
B = fy
No es cierto que una funcion de varias variables reales, continua y derivable sea diferenciable. Basta
analizar el caso del vertice del cono.
Pero si es valido,
)
fx C
= f DIF
fy C
78
es decir, si una funcion admite derivadas continuas es diferenciable (en rigor es suficiente la continuidad
de una sola derivada y la existencia de ambas).
En funciones de una variable real, el concepto de derivada y diferencial se confunden, porque hay una
sola tangente. Lo mismo se produce en funciones de variable compleja como se vera a continuaci
on, pero
debe tenerse en cuenta que son conceptos diferentes.
En resumen, para un punto interior del dominio:
recta tg f DIF f DER
plano tg f DIF f DER
f DIF f DER
func. 1 var. real

func. n var. reales (n 6= 2)
func. var. compleja
4.3.
Relaci
on entre derivada y diferencial. Existencia
Teorema 4.3.1. Dada una funci

on de variable compleja f , condici
on necesaria y suficiente de derivabilidad es la diferenciabilidad.
f DER/a f DIF/a
Demostraci
on. Se demuestra la condici
on suficiente:
f
f (a) = (z)
z
)
|(z)| <
= f = f (a)z + (z)z
f (a) C
con lo cual se cumple la definicion de diferencial.
La condicion necesaria:
f = Az + (z)z
AC
0
z0
f
A 0
z0
z
Por lo tanto existe derivada, que adem
as es igual a la constante A
f (a) = A
Observacion 1: En la demostracion anterior no es necesario que el punto a sea interior al dominio D.

Condicion necesaria y suficiente de diferenciabilidad es que las funciones u y v (parte real e imaginaria
de f ) sean diferenciables y que se verifiquen las igualdades siguientes:
(
ux = vy
uy = vx
ENTRE DERIVADA Y DIFERENCIAL. EXISTENCIA

4.3. RELACION
79
llamadas com
unmente de Cauchy-Riemann.
En este caso es necesario que se asegure la posibilidad de incrementar la funcion en direcciones paralelas
al eje x y al eje y. Seg
un la observacion realizada en 4.2 es condicion suficiente que el punto sea interior
a D. Esto da paso al siguiente teorema:
Teorema 4.3.2.
f DIF/c
u DIF/c
v DIF/c
ux = vy
uy = vx
Demostraci
on. Por ser f DIF y tomando A = a + ib:
f = A z + z
u + iv = (a + ib)(x + iy) + (1 + i2 )(x + iy)

(
u = ax by + 1 x 2 y
v = bx + ay + 2 x + 1 y
u DIF/c
v DIF/c
a = ux = vy
b = vx = uy
Esta condici
on es necesaria y suficiente como resulta de observar la doble implicacion entre todas las
proposiciones.
Este teorema demuestra entonces que la diferenciabilidad (o derivabilidad) de f no solo implica la
diferenciabilidad de u y de v sino ademas una estrecha relacion entre ellas dada por las ecuaciones de
Cauchy-Riemann.
Observacion 2: Las condiciones que ligan las derivadas de la parte real e imaginaria de una funcion compleja, son llamadas tradicionalmente de Cauchy-Riemann pero son originalmente de DAlembert-Euler.
Es interesante interpretar el significado de las ecuaciones de Cauchy-Riemann.
Ellas representan la igualdad de los lmites de los cocientes incrementales seg
un caminos rectos paralelos a los ejes coordenados.
2
En efecto, seg
un la observacion hecha en el parrafo
4.1, una funcion compleja que es derivable (diferenciable) implica que el lmite del cociente incremental
sobre las infinitas rectas que pasan por el punto, es
invariable.
Figura 4.3: Incremento de una funci

on a
traves de caminos rectos paralelos a los ejes.
80
En particular, seg
un los dos caminos 1 , 2 paralelos a los ejes:
f
u + iv
=
z
x + iy
1 { y = 0
2 { x = 0

f
u + iv
=
ux + ivx = fx = f (a)
x0
z 1
x

f
u + iv
1
=
(uy + ivy ) = fy = f (a)

y0 i
z 2
i y
De la igualdad de estas dos derivadas direccionales, resulta:

(
ux
vx
= vy
= uy
Las condiciones de Cauchy-Riemann son entonces necesarias pero no suficientes.

Sin embargo, si se agrega la hipotesis de continuidad de las derivadas parciales de u y de v de acuerdo
a la observacion del parrafo 4.2, entonces u y v son diferenciables, y por lo tanto:
ux = vy
vx = uy = f DIF
ux C
Observacion 3: De acuerdo a lo mencionado en 4.2 es suficiente la continuidad de una sola derivada
parcial.
4.4.
Derivaci
on y continuidad
Teorema 4.4.1. Toda funci

on de variable compleja f derivable, es continua.
f DER/a = f C/a
Demostraci
on. La demostracion es consecuencia inmediata de la diferenciabilidad.
f DER = |f | < |A z| + | z|
Este teorema es semejante al de una variable real. Para funciones de varias variables reales no es
cierto. La diferenciabilidad en todos los casos, funciones de uno o varias variables reales y complejas,
implica la continuidad.
4.5.
Funciones mon
ogenas y holomorfas
Todas las propiedades y conceptos desarrollados hasta el momento son de caracter local o puntual.
Para entender el analisis diferencial a conjunto conviene precisar nuevas definiciones.

4.5. FUNCIONES MONOGENAS
Y HOLOMORFAS
81
Las funciones derivables en un punto y en un entorno del mismo tienen especial interes en la teora
de las funciones potenciales y en la teora de integrales complejas de Cauchy.
Se dice que una funcion es mon
ogena en un punto a si tiene derivada en ese punto. La monogeneidad
es sinonimo de derivabilidad.
f monogena/a := f DER/a
Se dice que una funcion de variable compleja es holomorfa si tiene derivada en todos los puntos de
un entorno de a.
f H/a := U (a) : z U (a) = f DER/z
f H/a := f es holomorfa en el punto a
A partir de las definiciones es evidente que:
f H/a = f monogena/a
Hay funciones que son monogenas pero no holomorfas
Ejemplo I
f:
C C
z 7 |z|2 = x2 + y 2
)
u = x2 + y 2 son diferenciables pero las condiciones de Cauchy-Riemann solo valen para
z = (0 0) pues:
v=0
ux = 2x uy = 2y
vx = 0 vy = 0
Ejemplo II
f:
C C
z
7 x2 + iy 2
)
u = x2 son diferenciables y las condiciones de Cauchy-Riemann solo valen para
v = y 2 la recta y = x porque:
ux = 2x uy = 0 vx = 0
vy = 2y
Una funcion f es monogena sobre un conjunto D cuando es monogena en todos sus puntos.
f M ON/D := z D = f mon
ogena/z
f M ON/D := f es monogena sobre el conjunto D
Una funcion f es holomorfa sobre un conjunto D cuando es holomorfa en todos sus puntos.
f H/D := z D = f H/z
Observacion 1: La monogeneidad sobre un conjunto D exige la derivabilidad sobre cada uno de sus puntos, incluso los frontera que pertenecen a el.
82
Para los abiertos ambos conceptos coinciden.

Observacion 2: Muchos autores no diferencian los conceptos de monogeneidad y holomorfa. En otros
textos se confunde holomorfa con analiticidad.
Se llama funci
on analtica a la desarrollable en serie de Taylor. Es claro que en principio las funciones
analticas son conceptos diferentes de las funciones holomorfas.
Sin embargo, uno de los grandes resultados de Cauchy fue probar la equivalencia de los conceptos de
holomorfa y analiticidad sobre conjuntos abiertos y conexos en el campo complejo.
Observacion 3: El origen de la palabra monogena hace referencia a la propiedad que todas las derivadas
direccionales son iguales (mono=uno, gena=generada).
La palabra holomorfa significa de forma entera, en contraposicion de las funciones meromorfas, que se
estudiaran mas adelante.
Sinonimo de holomorfa es regular.
Se dice tambien que una funcion de variable compleja tiene un punto singular, cuando en el no es
holomorfa.
4.6.
Reglas de derivaci
on
Como la definicion de derivada para las funciones complejas es formalmente igual a la de funciones de
una variable real, se implica que las reglas de la suma, multiplicacion, division (denominador no nulo),
funcion de funcion, funcion inversa, etc. se extienden en forma analoga al campo complejo.
Por lo tanto, la suma, diferencia, producto o cociente (excepto el caso de denominador nulo) de funciones holomorfas sobre un abierto es tambien holomorfo.
En particular, los polinomios son holomorfos sobre todo el plano. Las funciones racionales, sobre todo
su dominio, es decir el conjunto complementario de los ceros del denominador.
4.7.
4.7.1.
Holomorfa y ecuaci
on de Laplace
Las componentes de una funci
on holomorfa como funciones arm
onicas
Sea f una funcion holomorfa en un punto a, si se hace la hipotesis suplementaria de la existencia y

continuidad de las derivadas segundas de la parte real e imaginaria de f en el entorno de a (las funciones
reales u y v respectivamente), entonces se verifica:
(
uxx + uyy = 0
vxx + vyy = 0
es decir, tanto u como v satisfacen la ecuacion de Laplace.
La ecuacion de Laplace es la que aparece en el estudio de los potenciales gravitatorios, electricos,
magneticos, de velocidades en fluidos, de la transmision del calor (regimen estacionario), etc.
Esta relacion permite vislumbrar, la importancia de las funciones holomorfas en el analisis de problemas bidimensionales de potencial.
DE LAPLACE
4.7. HOLOMORFIA Y ECUACION
83
Observacion 1: Los analisis realizados hasta el momento son de caracter puntual, pues han requerido
solamente de la hipotesis de la monogeneidad de la funcion en un punto.
Sin embargo, para el estudio de las relaciones existentes entre las componentes de una funcion compleja y las funciones que satisfacen la ecuacion de Laplace, es necesario imponer condiciones de derivabilidad
en el punto y tambien en su entorno.
Esto es, porque en primer lugar, para la existencia de las derivadas segundas en el punto es necesario
que ux y uy puedan ser incrementadas en el entorno del punto.
En segundo lugar, porque como se vera es fundamental en la teora de Cauchy, a traves de la introduccion de la integral curvilnea en el campo complejo, el uso de conjuntos abiertos y conexos. Entre
otras propiedades de las funciones derivables sobre tales conjuntos (abiertos y conexos) se destaca su
desarrollabilidad en series de Taylor (analiticidad).
De aqu la importancia del concepto de holomorfa.
Observacion 2: La hipotesis de continuidad de las derivadas segundas de u y v (o de alguna de ellas) hecha
al comienzo del parrafo es superflua, porque como se demostrara en el proximo captulo, toda funci
on
holomorfa tiene derivadas de todos los ordenes.
Para llegar a este resultado, que una funci
on holomorfa tiene derivadas de cualquier orden, y por ende
continuas, no se usa en absoluto los desarrollos que siguen en este parrafo.
Por lo tanto, no se entra en un crculo vicioso, si se obvia la continuidad de las derivadas segundas en
el siguiente teorema:
Teorema 4.7.1.
f H/a
2 u = 0
2 v = 0
Demostraci
on. Derivando las ecuaciones de Cauchy-Riemann, la primera respecto de x y la segunda
respecto de y, se obtiene:
(
uxx = vyx
uyy = vxy
sumando, teniendo en cuenta el teorema de Schwarz sobre la igualdad de las derivadas cruzadas,
2 u = 0
y analogamente
2 v = 0
Una funcion real de dos variables, con derivadas parciales de segundo orden continuas, que satisface
la ecuacion de Laplace, se llama arm
onica.
C R
u :
uxx C/a
u Armonica/a :=
(x y) 7 u(x y) :
uyy C/a
2
u=0
84
Si una funcion es armonica sobre todos los puntos de un conjunto D, se dice que es armonica en D.
u Armonica/D := z D = u Armonica/z
Si dos funciones reales u y v son armonicas y satisfacen en D las ecuaciones de Cauchy-Riemann,
entonces se dice que v es conjugada arm
onica de u.
u Armonica/D
v Armonica/D
(u v) Conjugadas armonicas/D := (
ux = vy
uy = vx
Teorema 4.7.2. Condici

on necesaria y suficiente para que una funci
on sea holomorfa sobre un conjunto
D es que su parte real e imaginaria sean conjugadas arm
onicas en D.
f H/D (u v) Conjugadas Arm
onicas/D
Demostraci
on. Que una funcion holomorfa tiene partes real e imaginaria (u v) conjugadas arm
onicas ya
ha sido demostrado.
Ademas, si u y v son armonicas tienen derivadas primeras continuas ux , uy , vx , vy , que aseguran
la diferenciabilidad de dichas funciones. Por lo tanto, de acuerdo al teorema 4.3.1, se implica que f es
holomorfa.
Es cierto entonces que las partes real e imaginaria de una funcion holomorfa no pueden ser arbitrarias,
llevan una estrecha relacion entre s, establecido por el concepto de conjugadas armonicas.
4.7.2.
Propiedades de funciones conjugadas arm

onicas
1o
Conviene remarcar en primer termino que si un par de funciones reales (u v) son conjugadas arm
onicas,
el par (v u) no lo es.
(u v) Conjugadas armonicas/a = (v u)
/ Conjugadas armonicas/a
es decir que no existe la simetra en la relacion de conjugadas armonicas y en la expresion v es conjugada
armonica de uno debe trastocarse el orden de las funciones.
Pero por otra parte s se cumple el siguiente teorema:
Teorema 4.7.3.
(u v) Conjugadas arm
onicas/a (v u) Conjugadas arm
onicas/a
Demostraci
on. La demostracion es inmediata, teniendo en cuenta que,
f H/a if H/a
(u + iv) H/a (v + iu) H/a
Otra demostracion es por verificacion directa de las condiciones de Cauchy-Riemann.
DE LAPLACE
85
2o
Teorema 4.7.4. una funci
on de variable compleja es constante si y s
olo si su derivada compleja es nula,
en un entorno de un punto.
)
U (a) D
= z U (a) , f (z) = k f (z) = 0
kC
Demostraci
on. La condicion suficiente es inmediata, la condicion necesaria se demuestra,
z U (a) = f (z) = 0
(
ux = 0
=
uy = 0
Aplicando el teorema del valor medio
u = ux (a + z)x + uy (a + z)y
[0 1]
El complejo a + z pertenece al entorno de a, y como en todo punto de dicho entorno las derivadas
parciales se anulan, resulta:
u = 0 = u = k1
k1 R
analogamente,
v = k2
k2 R
luego,
f (z) = k = k1 + ik2
Es claro entonces que la conjugada armonica de una constante es otra constante, arbitraria.
3o
Teorema 4.7.5. La funci
on v, conjugada arm
onica de u, es u
nica salvo constante.
)
v : (u v) Conj. arm./D
= v V = k
kC
V
: (u V ) Conj. arm./D
Demostraci
on. Por definicion de conjugadas armonicas:
(
ux = vy = Vy
uy = vx = Vx
De acuerdo con el teorema 4.7.4,
vV =k
kC
86
4o
on holomorfa f , cuyas partes real e imaginara son respectivamente u y v, con
derivada no nula, asegura que las familias
(
u(x y) = k1
v(x y) = k2
son trayectorias ortogonales entre s.
f (z) = u + iv H/a
f (z) 6= 0
= (u(x y) = k1 , v(x y) = k2 ) Trayectorias ortogonales
Demostraci
on. Basta verificar que a partir de las ecuaciones de Cauchy-Riemann:
u v = ux vx + uy vy = 0
Expresion que demuestra la ortogonalidad salvo en el caso de derivada nula1 .
Por lo tanto, si una funcion armonica v es conjugada armonica de otra u, en los campos vectoriales
u, v, las lneas equipotenciales de uno son lneas de campo del otro y viceversa.
Ejemplo
f:
C C
z 7 z 2 = x2 y 2 + i2xy
Entonces, son trayectorias ortogonales:
1 El
u = x2 y 2 = k1
v = 2xy = k2
smbolo se utiliza para representar el producto interno entre vectores
DE LAPLACE
87
Figura 4.4: Trayectorias ortogonales de un par de funciones conjugadas arm

onicas
En el grafico se han representado las dos familias que son ortogonales entre s, salvo en z = 0.
Este analisis esta relacionado con las propiedades de las funciones complejas mencionado en 3.2 (ver
ejemplo) y se explicara en detalle en el estudio de la representacion conforme en 4.9.
4.7.3.
Obtenci
on de la conjugada arm
onica de una funci
on en el entorno de
un punto
Un problema que se plantea es, dado un u (funcion real de dos variables y armonica sobre un determinado conjunto), hallar otra funcion v que sea conjugada armonica de u.
Este problema, como veremos, siempre tiene solucion sobre conjuntos abiertos conexos.
Ademas, la solucion es u
nica (salvo constante) para el entorno de un punto, como se desprende del
teorema 4.7.5. Este resultado se puede generalizar tambien para conjuntos simplemente conexos.
Con esta conclusion se puede aseverar que cualquiera sea el metodo empleado para obtener la conjugada armonica, esta solo puede diferir en una constante.
El problema planteado, de hallar la conjugada armonica de una funcion u, es equivalente a cualquiera
de estos planteos:
a. Hallar una funcion potencial v, conocido su gradiente, v = (vx , vy ) = (uy , ux )
b. Hallar la familia de funciones ortogonales de la familia u(x y) = k
Estos problemas significan, en todos los casos, resolver la ecuacion diferencial exacta
dv = vx dx + vy dy
que de acuerdo a las condiciones de Cauchy-Riemann, se transforma en:
dv = uy dx + ux dy
88
Para la resolucion de esta ecuacion diferencial, pueden encararse diferentes metodos que se desarrollan
a continuacion.
Primer m
etodo
Con este metodo se resuelve la ecuacion diferencial en forma general, expresando v como integral
curvilnea a lo largo de un camino contenido en un conjunto D, para el cual u es armonica.
Este analisis, se reduce en primer lugar al caso de que D sea una bola en el campo complejo, pudiendo
extenderse sin dificultad a conjuntos simplemente conexos y abiertos.
El caso de conjuntos m
ultiplemente conexos se estudiara una vez analizada la integral en el campo
complejo, sobre las cuales v puede no ser u
nica.
Sea una bola B(c r) del plano complejo, sobre la cual u es armonica, entonces, existe una funci
on de
variable real que es conjugada armonica de u.
En primer termino conviene investigar, por medio de una discusion heurstica, las caractersticas que
puede tener v; suponiendo que exista.
Partiendo de las condiciones de Cauchy-Riemann
(
ux = vy
uy = vx
Partiendo de la primera de ellas e integrando respecto de y:
Z y
v(x y) =
vy (x t) dt + (x)
b
Z y
=
ux (x t) dt + (x)
b
donde b es un n
umero real, de manera tal que (x b) B y es una funcion de x que hace las veces de
constante de integracion.
Derivando bajo el signo integral, posible porque las derivadas primera y segunda de u son continuas
al ser armonica, a efectos de aplicar la segunda condicion de Cauchy-Riemann:
Z y
vx (x y) =
uxx (x t) dt + (x)
b
recordando ademas que uyy = uxx

uy (x y) =
uyy (x t) dt + (x)
= uy (x y) + uy (x b) + (x)
Por lo tanto
(x) = ux (x b)
Z x
(x) =
uy (t b) dt + C
a
DE LAPLACE
89
donde a es un real tal que (a b) B y C es una constante de integracion. Se llega entonces a:

Z y
Z x
v(x y) =
uy (t b) dt +
ux (x t) dt + C
a
Esta es la solucion del problema de hallar la funcion v, conjugada armonica de u, sobre B(c r).
La integral obtenida, puede ser considerada como
una integral curvilnea a lo largo del camino (poligonal) contenido en B:
Z
v(x y) =
uy dx + ux dy
(x y)
que es tambien la circulacion del vector

b
v = (vx , vy )
= (uy , ux )
(a b)
B(c r)
a lo largo de dicha poligonal

Z
v(x y) = (uy , ux ) d
Figura 4.5: Integraci

on a traves de un camino poligonal.
d = (dx, dy)
Este estudio de orientacion permite justificar la definici

on de una funcion v(x y) como la integral
curvilnea anterior, y a partir de all probar que sobre una bola del campo complejo, v es conjugada
armonica de u(x y) y por lo tanto existe y es u
nica, de acuerdo a 4.7.5 (salvo constante). Esta proposici
on
se demuestra a continuacion.
Teorema 4.7.7.
u Arm
onica/B(c r)
Poligonal contenida en B
= (u v) Conjugadas arm
onicas/B
Z x
Z y
v(x y) :=
uy (t b) dt +
ux (x t) dt
a
Demostraci
on. Derivando v respecto de y:
vy (x y) = ux (x y)
y tambien respecto de x
vx (x y) = uy (x b) +
= uy (x b) +
uxx (x t) dt
y
uyy (x t) dt
= uy (x b) uy (x y) + uy (x b)
= uy (x y)
por lo tanto, se cumplen las dos condiciones de Cauchy-Riemann y siendo las derivadas de v continuas,
el par (u v) son conjugadas armonicas.
Este resultado puede generalizarse extendiendo la validez de v como integral curvilnea a lo largo de
un camino generico contenido en conjuntos abiertos y simplemente conexos.
90
Para ello basta recordar que una integral curvilnea no depende del camino sino solamente de los
extremos cuando:
D Abierto y simplemente conexo
(a) = A
Z
Camino contenido en D :
= V (x y) :
P dx + Q dy = V (B) V (A)
(b) = B
Px , Py , Qx , Qy C
Py = Qx
b
Esto significa que existe una funcion potencial

V (x y). Es esencial que D sea simplemente conexo,
pues en caso contrario no puede asegurarse la independencia del camino.
Figura 4.6: Reemplazo de un camino por

otro poligonal.
Aplicando este teorema a nuestro caso, se obtiene:

Teorema 4.7.8.
Camino contenido en D
u Arm
onica/D
Z
v(x y) :=
uy dx + ux dy
= (u v) Conjugadas arm
onicas/D
Demostraci
on. En primer termino se cumplen las hipotesis del teorema anterior, pues:
(
uxx , uxy , uyx , uyy C/D
u Armonica/D =
uyy = uxx
y entonces, como la integral curvilnea es independiente del camino , puede elegirse una poligonal P tal
como lo muestra la figura 4.6.
La poligonal formada por un n
umero finito de segmentos paralelos a los ejes existe siempre porque,
por hipotesis, D es abierto y conexo, y es cerrado y acotado (compacto).
Z
Z
D Ab. Conexo =
P :
=
A partir de aqu puede aplicarse el resultado anterior del estudio sobre una bola
(u v) Conjugadas armonicas/D
Este analisis se retomara una vez estudiada la integral en el campo complejo. En particular se estudiara el caso de los conjuntos m
ultiplemente conexos.
DE LAPLACE
91
Segundo m
etodo
Conociendo el resultado del metodo anterior, que asegura la existencia de v, conjugada armonica de
u, sobre un conjunto abierto y simplemente conexo, puede aplicarse el procedimiento visto al comienzo
del parrafo anterior.
Este metodo, que suele convenir en la resolucion de ejercicios, consiste en resolver el sistema de
ecuaciones diferenciales:
uy = vx
ux = vy
por calculo de primitivas (integracion indefinida), por ejemplo:

Z
v(x y) = ux dy + (x)
derivando
vx = uy =
x
ux dy + (x)
de donde puede despejarse (x), y por lo tanto calcular (x) y v(x y)

Z
(x) = uy
ux dy
x
o tambien, de acuerdo a lo visto en el primer metodo:
(x) = uy (x b)
Llegando al resultado final:
Z
v(x y) = ux (x y) dy + (x)
Z
Z
v(x y) = ux (x y) dy + uy (x b) dx
Tercer m
etodo. Milne-Thomson.
El metodo de Milne-Thomson permite resolver en forma elegante y directa casos que con los metodos
anteriores son dificultosos.
La demostracion es una modificacion de la original, y no es simple, pero la aplicacion del metodo,
como se vera, es muy sencilla.
Como hipotesis se toma un conjunto abierto y simplemente conexo, que contenga el origen (0 0), para
simplificar. Si no lo contuviera, el problema se reduce al primero con una traslacion.
Teorema 4.7.9 (Milne-Thomson).
(0 0) D
U (x y) Arm
onica/D
U (x) = lm U (x y)
y0
Z
V (x) =
lm Uy (x y) dx
y0
U (z) + iV (z) H/D

(U, V ) Conjugadas arm
onicas/D
92
Demostraci
on. En base al estudio realizado para el primer metodo se asegura que sobre D existe conjugada armonica de u, que se llamara v. De acuerdo entonces al teorema 4.7.1, u + iv es holomorfa sobre
D.
f (z) = u + iv : f H/D
un primer paso de la demostracion es el siguiente lema: Una funci
on f de imagen f (z) tiende a f (x) para
y 0. Esto significa que el lmite para y 0 se obtiene reemplazando formalmente x por z.
Si f es holomorfa en el entorno de (0 0) se asegura la existencia de dicho lmite.
f (z) = f (x + iy) f (x)
y0
Viceversa, este resultado dice que si se conoce f (x) puede obtenerse f (z) reemplazando formalmente x
por z.
(
sen x sen z
Ejemplos:
ex
ez
El lmite para y 0 adquiere entonces, para el caso de una funcion holomorfa, la siguiente forma:
f (x + iy) = u(x y) + i v(x y)
y0

U (x)
f (x)
y0

+
i V (x)
Donde U (x) y V (x) representan respectivamente los lmites de u(x y) y de v(x y) que existen por la
continuidad de f en (0 0), debida a la holomorfa.
En nuestro caso, la U (x) se obtiene facilmente y entonces el problema se reduce a la b
usqueda de
V (x).
Para ello se demuestra que:
lm
y0
v=
lm v
x
x y0
es decir:
v(x y)
y0

V (x)
/ vx (x y)
y0

/ V (x) = V1 (x)
En efecto, como v es armonica tiene derivadas continuas, y por el teorema de Heine-Cantor de la

continuidad uniforme 2 se asegura que V (x) = V1 (x).
Aplicando, por lo tanto, las condiciones de Cauchy-Riemann:
Z
V (x) =
lm vx (x y) dx
y0
Z
=
lm uy (x y) dx
y0
El teorema de Heine-Cantor, aplicado a una funci

on f : Rn R, afirma que si f est
a definida sobre un compacto D:
>0, >0
x , x D : ||x x || < = |f (x ) f (x )| <
Esto quiere decir que se puede elegir un tal que toda la imagen de f en D este contenida en una banda uniforme
[f (x ), f (x + )].
DE LAPLACE
93
Puede formarse entonces

f (x) = U (x) + iV (x)
y de acuerdo al resultado del lema analizado al comienzo
f (z) = U (z) + iV (z)
Esta funcion, de acuerdo con lo visto, es holomorfa y sus partes real e imaginaria son:
(
u(x y) = Re(U + iV )
v(x y) = Im(U + iV )
Que son armonicas conjugadas.

La practicidad del metodo lo prueba el ejemplo siguiente:
u=
x+1
(x + 1)2 + y 2
u verifica la ecuacion de Laplace para todo z 6= (1, 0) y ademas tiene las derivadas segundas continuas,
siendo por lo tanto armonica. Eligiendo entonces, un conjunto D abierto y simplemente conexo que no
contenga a (-1,0):
u U (x) =
y0
1
x+1
Por otra parte

uy =
2y(x + 1)
0 = V (x)
((x + 1)2 + y 2 )2 y0
V (x) = k
kR
resultando entonces
f (z) = U (z) + iV (z)
1
=
+ ik
z+1
cuyas partes real e imaginaria son conjugadas armonicas:
x+1
(x + 1)2 + y 2
y
v=
+k
(x + 1)2 + y 2
u=
Observacion: Si se deseara plantear el problema de obtener u, conocida la funcion v de manera tal que
(u v) sean conjugadas armonicas, basta recordar que (v u) son conjugadas armonicas, y por lo tanto son
de aplicacion los metodos anteriores.
94
4.8.
Holomorfa en el infinito
aunque no se conserva la esCuando se trabaja con funciones definidas en el complejo extendido C,

tructura de espacio vectorial, es posible dar un sentido al concepto de funcion holomorfa en .
Esta definicion es de especial utilidad para el calculo de integrales en el campo complejo.
Sea una funcion f definida en el complejo extendido:
f : D C
:
D C , D
z 7 f (z)
de acuerdo a lo visto en 2.9.1, el 0 es imagen del punto por la inversion:
C
Inv : C
z 6= 0, z 6=
1/z
z=0
z 7
0
z=
o tambien por una restriccion de la inversion al entorno de :
Inv : U () C

1/z
z U () {}
z 7
0
z=
y entonces el problema del estudio de la funcion f en se reduce a un problema en el entorno de 0 de

la funcion compuesta
f Inv : U () C

f (1/z)
z 6=
z 7
f (0)
z=
Observacion: La necesidad de restringir la inversion surge de asegurar la existencia de la funci

on compuesta f Inv, pues debe cumplirse que el rango de la Inv debe estar incluido en el dominio D de la
funcion f . Esto se muestra en la figura 4.7.
f
Inv
C
D
R
U()
Figura 4.7: Dominio e imagen de Inv y f
El analisis anterior permite definir:

D abierto y conexo
: D
f : D C
f H/ := f Inv H/D
Ejemplo:
sen(1/z) H/ = sen(z) H/D
CONFORME
4.9. REPRESENTACION
4.9.
95
Representaci
on conforme
La transformacion de caminos por medio de funciones holomorfas tiene caractersticas tales como para
merecer un estudio particular.
La aplicacion de estas propiedades permite resolver, en dos dimensiones, problemas de potencial en
campos gravitatorios, electricos, magneticos, de temperatura, etc. y en general para cualquier campo conservativo, ademas de problemas se ingeniera electrica: diagramas de impedancia-admitancia y problemas
de cartografa.
4.9.1.
Angulo
entre caminos
Vector tangente a un camino

Para definir el angulo orientado entre dos caminos, conviene establecer previamente el concepto de
vector tangente a un camino.
Se llama vector tangente al camino , en el punto (c), a:

x (c)
T (, (c)) :=
: (x (c), y (c)) 6= (0 0)
y (c)
T (, (c)) := Vector tangente al camino en el punto (c)
El vector tangente T (, (c),) no es mas que (c) expresado en notacion matricial.
T (, (c))
(c)
Figura 4.8: Vector tangente a en el punto (c).
La condicion impuesta, que (c) 6= (0 0), equivalente a que el vector tangente es no nulo, es indispensable para definir la recta tangente en el punto (c):
Tg : R C
t 7 (c) + t (c)
Tg := Recta tangente al camino en el punto (c)

Es usual tambien introducir la siguiente terminologa:
Se dice que un camino es regular en el punto (c) si (c) 6= 0, es decir, si existe vector tangente en
ese punto.
Asimismo, un camino se dice que es regular a secas, si lo es en todos sus puntos.
Camino regular/(c)
:= (c) 6= 0
Camino regular
:= c [a b] = (c) 6= 0
96
Angulo
entre dos caminos
Dados dos caminos
2
1 : [a1 b1 ] C
2 : [a2 b2 ] C
que se cortan en el punto zc , es decir:
)
c1 [a1 b1 ]
: 1 (c1 ) = 2 (c2 )
c2 [a2 b2 ]
T (2 , zc )
b
zc
T (1 , zc )
Figura 4.9: Angulo

entre los caminos 1 y
2 en el punto zc .
zc := 1 (c1 )
entonces se llama a
ngulo orientado de 1 a 2 , designado en la figura 4.9 por , al angulo orientado
entre los respectivos vectores tangentes en el punto
de corte zc .
Analticamente, el angulo orientado de 1 a 2 es el n
umero real definido por:
Ang(1 , 2 ) := Arg(2 (c2 )) Arg(1 (c1 ))
Ang(1 , 2 ) := Angulo
orientado entre los caminos 1 y 2
Observacion 1: Conviene remarcar que en la definicion anterior se ha empleado la funcion valor principal
del argumento, que establece una u
nica determinacion del mismo.
Una propiedad del angulo entre dos caminos, que destaca el concepto de orientacion intrnseco a la
definicion, es:
Ang(1 , 2 ) = Ang(2 , 1 )
Una cota superior para el angulo orientado esta dada por:
|Ang(1 , 2 )| 6 |Arg(2 (c2 ))| + |Arg(1 (c1 ))|
6+
6 2
Observacion 2: El modulo del angulo entre los caminos 1 y 2 puede ser expresado bajo forma vectorial
a partir de:
cos() =
4.9.2.
T1 T2
||T1 || ||T2 ||
Transformaci
on de caminos

on f : D R de variable compleja, cuyas partes real e imaginaria tienen
derivadas primeras continuas, transforma un camino : [a b] C, contenido en D, en otro camino
f contenido en R.
CONFORME
4.9. REPRESENTACION
97
f
f

on de caminos por una funci
: [a b] D
t 7 x(t) + iy(t)
f : D R
z 7 (u v) :
ux , uy C/D
vx , vy C/D
Demostraci
on. Sea la composicion
= f Camino contenido en R
f : [a b] R
t 7 u(x(t), y(t)) + iv(x(t), y(t))
es un camino, y por lo tanto es continua. es continua por partes:
)
C/[a b]
= f C/[a b]
f C/D
(f ) = (ux xt + uy yt ) + i(vx xt + vy yt )
que es continua por partes porque las derivadas primeras de u y de v son continuas
(f ) CP/[a b]
Con las mismas hipotesis del teorema anterior, si f es ademas inyectiva, transforma un camino simple
(arco de Jordan) en otro camino simple:
Teorema 4.9.2.
Camino simple contenido en D
(
f : D R
ux , uy C/D
= f Camino simple contenido en R
z 7 (u v) :
vx , vy C/D
f Inyectiva
98
Demostraci
on. De acuerdo al teorema 4.9.1, f es un camino, pero ademas:
Camino simple = Inyectiva
por lo tanto:
)
Inyectiva
f Inyectiva
= f inyectiva
entonces f es un camino simple.

Las transformaciones de lazos se rigen por los mismos teoremas anteriores. Si f es una funci
on de las
caractersticas indicadas, todo lazo se transforma en lazo y ademas, se f es inyectiva, todo lazo simple se
transforma en un lazo simple.
Corolario 4.9.2.1.
Lazo contenido en D
f : D R
z 7 (u v) :
ux , uy C/D
vx , vy C/D
Corolario 4.9.2.2.
Lazo simple contenido en D
f : D R
z 7 (u v) :
f Inyectiva
4.9.3.
ux , uy C/D
vx , vy C/D
= f Lazo contenido en R
= f Lazo simple contenido en R
Transformaci
on de vectores tangentes
Dada la funcion f : D R de variable compleja, cuyas partes real e imaginaria tienen derivadas
primeras continuas, como se ha visto transforma un camino en otro f por medio de una transformaci
on
que se puede caracterizar por:
(
ut = ux xt + uy yt
vt = vx xt + vy yt
sistema que escrito en notacion matricial toma la forma:

ut
ux uy
xt
=
vt
vx vy
yt
que representa la aplicacion lineal que transforma los vectores tangentes al camino en el punto (c)
en los vectores tangentes a f , en el punto (f )(c); siempre y cuando se cumplan las condiciones
detalladas al final de este parrafo.
La aplicacion anterior es llamada aplicaci
on lineal tangente a f en el punto (c) y se caracteriza como
sigue:
J(f, (c)) : T (, (c)) 7 J(f, (c)) T (, (c))
J(f, (c)) := Aplicacion lineal tangente a f en el punto (c)
CONFORME
4.9. REPRESENTACION
99
donde la matriz

ux
J(f, (c)) =
vx
uy
vy
no es otra que la matriz jacobiana del sistema

(
u = u(x y)
v = v(x y)
y por lo tanto, si el determinante de J no es nulo (|J| =

6 0), se asegura la existencia y unicidad de la
funcion inversa f 1 continua y con derivadas primeras continuas para sus partes real e imaginaria, es
decir:
(
x = x(u v)
y = y(u v)
Se deduce directamente de la definicion de la aplicacion J(f, (c)) que:

Condicion necesaria y suficiente para que una aplicacion lineal tangente J(f, (c)) transforme el vector
tangente al camino en el punto (c) en el vector tangente al camino f en el punto f (c), es que
la matriz J sea regular (|J| =
6 0) y que tenga vector tangente (c) 6= 0.
f : D R
z 7 (u v) : ux , uy , vx , vy C/D
)
(c) 6= 0
= (f ) 6= 0
|J(f, (c))| =
6 0
4.9.4.
Aplicaci
on conforme
Se dice que una funcion f : D R de variable compleja, cuyas partes real e imaginaria tienen
derivadas primeras continuas, es una aplicaci
on conforme en el punto zc ; si la matriz J(f, (c)) conserva
los angulos orientados de los vectores tangentes a dos caminos.
Esto significa que el angulo orientado entre dos caminos 1 y 2 es igual al angulo orientado entre los
caminos transformados f 1 y f 2 .
f : D R
z 7 (u v) : ux , uy , vx , vy C/D
f Aplicacion conforme/zc :=
(1 2 ) : zc = 1 (c1 ) = 2 (c2 ) = Ang(1 , 2 ) = Ang(f 1 , f 2 )
100
2
f 1
1
f 2
b
zc
f (zc )
Figura 4.11: Conservaci

on del
angulo entre dos caminos mediante una aplicaci
on conforme f .
En particular, una aplicacion conforme transforma caminos ortogonales = 2 en caminos ortogonales, caso de interes para el estudio de las lneas equipotenciales de un campo y sus trayectorias
ortogonales: las lneas de campo.
Observacion 1: Una aplicacion f se dice que es isogonal cuando en su transformacion conserva los angulos
de dos caminos en modulo, es decir sin especificar la orientacion.
Es decir, la aplicacion isogonal asegura la conservacion del valor absoluto del angulo en la transformaci
on,
pero no asegura la conservacion del signo.
Es condicion necesaria entonces, para que una aplicacion sea conforme, que sea isogonal.
Condicion necesaria y suficiente, desde el punto de vista vectorial, para que una transformaci
on sea
isogonal es que para todo par de vectores (x1 x2 ) se cumpla:
(x1 x2 )
x1 x2
X1 X2
=
|X1 ||X2 |
|x1 ||x2 |
donde con X may

usculas se has simbolizado los transformados de x min
usculas, es decir:
A : x 7 A x = X
Antes de estudiar las condiciones generales que debe cumplir una funcion f de variable compleja para
ser una aplicacion conforme es inmediato observar que:
Condicion necesaria para que f sea una aplicacion conforme en zc es que el jacobiano sea distinto de
cero:
f Aplicacion conforme/zc = |J(f, zc )| =
6 0
Es obvio que para que existan los
angulos orientados entre caminos, tanto como f deben ser
regulares.
Por lo tanto, (f ) 6= 0 implica que el jacobiano no es nulo de acuerdo con el resultado obtenido en
la seccion anterior in fine.
CONFORME
4.9. REPRESENTACION
101
Observacion 2: A los efectos posteriores de estudiar las caractersticas generales de la aplicacion lineal
J(f, zc ) : T J T : |J| =
6 0
cuyo determinante no es nulo, conviene recordar las propiedades que debe tener una aplicacion lineal de
dos dimensiones:
A : x A x = X
para que conserve los angulos entre dos vectores de la transformacion.
Para ello es condicion necesaria (no suficiente) que se conserve el producto interno, salvo constante
positiva, para cualquier par de vectores (x1 x2 )3 :
(x1 x2 )
X1 X2 = k x1 x2
xT1 AT
xT1
A x2 = k
k>0
x2
Como esta igualdad debe cumplirse para cualquier par (x1 x2 ) debe ser:
AT A = k I
Es decir, A es ortogonal salvo constante
AT = k A1
La forma general de A se deduce de esta u
ltima igualdad haciendo:

a b
A=
|A| =
6 0
c d

k
a c
d b
=
b d
ad bc c a
Llamando K =
k
adbc
resulta
=

Kd Kb
Kc Ka
De la igualdad de matrices se obtiene como u

nica posibilidad:
K = 1
Por lo tanto, las dos matrices que mantienen el producto interno, salvo constante son:

a b
cos() sen()
K = 1 = A =
=R
b a
sen()
cos()

a b
cos() sen()
K = 1 = A =
=R
b a
sen() cos()
3 En el desarrollo siguiente se expresa el producto interno de dos vectores cualesquiera x, y R2 como x y = xT y,

donde xT representa el vector transpuesto de x, y representa el producto usual de matrices.
102
donde
(
R = a2 + b 2
= Arg(a, b)
sin embargo, una sola de ellas conserva los angulos orientados, pues:

cos() sen()
r cos()
cos() cos() sen() sen()
=r
sen()
cos()
r sen()
sen() cos() + cos() sen()
= r ei(+)
representando entonces la primera de las dos matrices una rotacion para R = 1 o una rotaci
on con
dilatacion para R 6= 1 (homotecia), y por lo tanto conservando los angulos orientados, mientras que:

cos() sen()
r cos()
cos() cos() + sen() sen()
=
sen() cos()
r sen()
sen() cos() cos() sen()
= r ei()
la aplicacion de la segunda matriz es una simetra respecto de la recta que pasa por el origen, de pendiente
a y una dilatacion si R 6= 1, no conservandose por lo tanto los angulos orientados.

2 . Si R = 1 es una simetr
X2
X2
z
X1
X1
x2
x1
x1
K=1
x2
K = 1

on de
angulos para aplicaciones con distintos valores de K. Para K = 1 es conforme,
mientras que para K = 1 es s
olo isogonal.
En resumen:
Teorema 4.9.3. Para que una aplicaci
on lineal en dos dimensiones A : x 7 A x conserve los a
ngulos
orientados, es condici
on necesaria y suficiente que la matriz A sea regular y del tipo:

a b
A=
b a
Es decir:
A : R2 R2
x 7 A x
(x1 x2 )
Ang(x1 , x2 ) = Ang(A x1 , A x2 )
A =
a
b
|A| =
6 0
!
b
a
CONFORME
4.9. REPRESENTACION
103
Analizando las caractersticas que debe cumplir una funcion de variable compleja, para que sea una
aplicacion conforme se llega a:
Teorema 4.9.4. Condici
on necesaria y suficiente para que una funci
on f : D R de partes real e
imaginaria con derivadas primeras continuas, sea aplicaci
on conforme en zc , es que f sea holomorfa y
de derivada primera no nula en ese punto.
)
f H/zc
f Aplicaci
on conforme/zc
f (zc ) 6= 0
Demostraci
on. De acuerdo al analisis hecho en la Observacion 2 anterior, para que la aplicacion lineal
tangente conserve los angulos orientados debe ser del tipo

a b
J(f, zc ) =
b a
|J(f, zc )| =
6 0
Como por definicion, J tiene como elementos las derivadas parciales de u y de v, que son continuas,
resulta:

ux uy
J(f, zc ) =
vx vy
ux = vy
uy = vx
ux , uy , vx , vy C/zc
|J| = ux vy uy vx
=
u2x
vx2
6= 0
f H/zc
f (zc ) 6= 0
La doble implicacion del teorema surge inmediatamente de la reversibilidad de la demostracion.

De acuerdo con el resultado obtenido, se desprende:
Corolario 4.9.4.1. Condici
on necesaria y suficiente para que un camino transformado por una funci
on
holomorfa sea regular, es que el camino original sea regular y que la derivada primera sea no nula.
f H/zc
)
f (zc ) 6= 0
(f ) 6= 0
(c) 6= 0
Bajo las hipotesis anteriores, f es holomorfa en zc y con derivada no nula, resulta:
(f ) = f
por lo tanto, la aplicacion lineal tangente J(f, (c)) puede ser expresada por:
z 7 f (zc ) z
que representa una homotecia compleja (rotacion y dilatacion) de sobre s mismo. El coeficiente de
dilatacion es |f (zc )| y el angulo de rotacion es Arg(f (zc )).
104
En el caso de que f (zc ) = 0, siendo f una funcion no constante, no se mantiene el angulo orientado.
Se puede demostrar que el angulo entre dos caminos, en este caso, se transforma de un valor a un valor
n, donde n es el orden de la menor derivada no nula en zc .
Si la funcion f : D R es una aplicacion conforme sobre todos los puntos del domino D, se dice
que f es una representaci
on conforme de D sobre f (D).
f Representacion conforme/D, f (D) := z D,
f Aplicacion conforme/z
f Representacion conforme/D, f (D) := La funcion f es una representacion conforme de D sobre f (D)

La existencia de f (z) 6= 0 asegura la no nulidad del jacobiano |J(f, z)|; lo cual, de acuerdo a lo ya
mencionado en 4.9.3, implica la existencia de la funcion inversa de f
f 1 : f (D) D
w 7 z : w = f (z)
Existe tambien la derivada de la funcion inversa, seg
un las reglas normales
(f 1 ) =
1
f (z)
En este caso, entonces, la funcion f es biyectiva.

La funcion inversa tambien es una representacion conforme de f (D) sobre D.
Quedan explicadas, a la luz de la representacion conforme, las propiedades de las transformaciones
complejas dadas como ejemplo en 3.2 y 4.7.2.
4.9.5.
Transformaci
on de
areas e integrales dobles
Sea f una representacion conforme de D sobre f (D). Para estas funciones se puede llegar a una
formula particular de calculo de areas.
Si f (D) es un conjunto sobre el cual puede calcularse la integral que define el area, entonces se acuerdo
a las reglas de cambio de variables:
ZZ
ZZ
A=
du dv =
|J| dx dy
D
f (D)
pero como
|J| = u2x + vx2
= |f (z)|2
Resulta entonces:
ZZ
ZZ
du dv =
|f (z)|2 dx dy
f (D)
formula que establece la relacion de areas en una transformacion conforme.
CONFORME
4.9. REPRESENTACION
4.9.6.
105
Los problemas de la representaci

on conforme
Sea una funcion de variable compleja f que transforma un conjunto D en otro f (D).
Se pueden plantear entonces dos problemas llamados directo e inverso de representacion conforme.
I. Problema directo de la representacion conforme.
Dado el conjunto D y la funcion f , hallar la imagen f (D). La funcion f tiene que ser holomorfa y
no constante.
II. Problema Inverso de la representacion conforme.
Dados dos conjuntos D y D , hallar la funcion f holomorfa que sea una representacion conforme
de D sobre D .
El problema inverso no siempre tiene solucion y existen teoremas generales que se ocupan del tema,
pero tampoco dan solucion en todos los casos.
En la practica se suelen emplear soluciones aproximadas que dan origen a difciles problemas de calculo
numerico.
Otro metodo importante para resolver el problema inverso es la tabulacion de representaciones conformes seg
un el problema directo.
El problema inverso tiene especialsimo interes en las cuestiones relacionadas con los campos potenciales, es decir, los conjuntos abiertos sobre los cuales se cumple la ecuacion de Laplace:
2 u = uxx + uyy = 0
que rige en campos electricos, magneticos, gravitatorios, hidrodinamicos y teora del calor.
Un problema tipo es el siguiente:
Conocido el potencial sobre la frontera de un conjunto abierto D (representada por el lazo ) que en
particular puede ser una lnea equipotencial, hallar la distribucion de potencial en el interior de D.
Este puede encararse (no siempre tiene solucion) hallando una funcion f que sea una representaci
on
conforme de D sobre un conjunto D de geometra sencilla (por ejemplo un crculo) sobre el cual se
conozca el potencial en todos sus puntos.
Invirtiendo la funcion f , el problema planteado queda resuelto. En particular pueden hallarse las
lneas equipotenciales y las lneas de campo en el conjunto D.
f
D
Figura 4.13: Lneas de campo y equipotenciales para un problema inverso de representaci

on conforme.
106
4.9.7.
La inversi
on
El estudio de la funcion inversion tiene particular importancia en las aplicaciones de representaci

on
conforme.
C
inv : C
1/z
z 7 0
z 6= 0, z 6=
z=
z=0
sobre s mismo.
Es facil verificar que la inversion es una biyeccion de C
En coordenadas cartesianas las inversion, para z 6= 0 y z 6= puede presentarse como la transformacion que sigue, y su inversa:
x
y
,
)
x2 + y 2 x2 + y 2
u
v
(u v) 7 (x y) = ( 2
,
)
u + v 2 u2 + v 2
(x y) 7 (u v) = (
o tambien en coordenadas polares

(r ) 7 (R ) = ( 1r , )
(R ) 7 (r ) = ( R1 , )
Las expresiones en coordenadas polares permiten una interpretacion sencilla de la inversi

on de un
complejo z = (r ). El complejo z1 tiene por modulo al recproco del modulo de z, y por argumento el
opuesto del argumento de z, es decir z1 = ( r1 , ). Geometricamente:
b
1
r
1
z

on de vectores mediante una inversi
on.
Las construcciones geometricas mas sencillas para obtener la recproca de un complejo son:
Construyendo dos triangulos semejantes, como muestra la figura 4.15, se obtiene que R = 1r , pues:
r
1
=
sen()
sen()
1
= R =
R
1
r
=
sen()
sen()
Figura 4.15: Construcci

on geometrica para
z
obtener la recproca de un complejo.
CONFORME
4.9. REPRESENTACION
107
z
r
1
1
r
Un segundo metodo, mostrado en la figura 4.16, se

basa en un metodo semejante al anterior con apoyo
en la circunferencia de radio unitario.
1
z
Figura 4.16: Construcci

on geometrica alternativa para hallar la recproca de un n
umero
complejo.
Una aplicaci
on de utilidad es la inversion de la familia

a(x2 + y 2 ) + bx + cy + d = 0
que representa a todas las circunferencias del plano para a 6= 0 y a todas las rectas del plano para a = 0.
Si se aplica la inversion a la familia anterior, resulta:

f
a + bu cv + d(u2 + v 2 ) = 0
que es una ecuacion de las mismas caractersticas de la anterior, representando todas las circunferencias
del plano para d 6= 0 y a todas las rectas del plano para d = 0.
En el cuadro 4.1, preparado al efecto, se muestran todos los casos posibles de transformacion de circunferencias y rectas por medio de la inversion.
En los respectivos graficos se presentan las construcciones geometricas convenientes para obtener la
inversion propuesta. Para ello debe recordarse que el punto z, perteneciente a de maximo modulo, se
transforma en el punto w, perteneciente a f de mnimo modulo; y que tambien la transformaci
on es
conforme, es decir, mantiene los angulos orientados.
4.9.8.
La funci
on homogr
afica
Se llama funci
on homogr
afica no degenerada u homografa a la funcion racional:
C
Hom : C
az + b
cz + d
z 7 a
d
z=
6
c
z=
d
z=
c
z 6=
a, b, c, d C
ad bc 6= 0
108
|z
|w
(0 0) f
(0 0)
u
f
a=0
d=0
Recta que pasa por (0 0)
Recta que pasa por (0 0)

y
(0 0) f
(0 0)
/
b
f
b
a=0
d 6= 0
Recta que no pasa por (0 0)

y
(0 0)
Circunf. que pasa por (0 0)

v
(0 0)
/ f
b
A
f
a 6= 0
d=0
Circunf. que pasa por (0 0)

y
z
A
b
(0 0)
/
Recta que no pasa por (0 0)

v
(0 0)
/ f
x
A
a 6= 0
d 6= 0
Circunf. que no pasa por (0 0)
Circunf. que no pasa por (0 0)
Cuadro 4.1: Diversas transformaciones mediante la funci

on inversi
on.
CONFORME
4.9. REPRESENTACION
109
Si se supusiera que ad bc = 0, la funcion homografica se reducira a una constante.

Si c = 0, la homografa se reduce a la funcion lineal
z 7
a
b
z+
d
d
Si c 6= 0, la homografa puede llevarse a la forma

w=
que representa sucesivamente:

z1 = z
I. Desplazamiento
II. Inversion
III. Homotecia
z2 = z11
z3 = z2
IV. Desplazamiento
w = + z3
y que permite interpretar facilmente la transformacion de circunferencias y rectas por medio de la

tabla hecha para la inversion.
Recta que pasa por
Recta que no pasa por
Circunf. que pasa por
Circunf. que no pasa por
Recta que pasa por
Circunf. que no pasa por
Circunf. que pasa por

Recta que no pasa por
La homotecia esta caracterizada por un giro definido por el Arg() y una dilatacion definida por el ||.
La homografa permite tambien estudiar la representaci
on conforme de crculos en semiplanos, o
crculos en crculos, u otras combinaciones de conjuntos del plano limitados por circunferencias y rectas.

Variable Complaja

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Variable Complaja

Cargado por

Copyright:

Formatos disponibles

Analisis de Funciones de Variable Compleja

Ing. Juan Sacerdoti

Agradecemos al Sr. Alejandro Quadrini por la transcripci

2. Elementos de Topologa en el Campo Complejo

Concepto de punto infinito en C

3. Funciones de Variable Compleja. Continuidad y Lmite

Representacion del complejo (x y) en el plano cartesiano. . . .

2.1. Bola de centro c y radio r. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.1. Transformacion de regiones en R2 mediante una funcion de variable compleja.

4.1. Incremento de z a traves de un camino . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Sobre el conjunto de los complejos C se definen dos leyes de composicion interna:

((x y), (x y )) 7 (xx yy , xy + yx )

Algunos elementos destacables en el cuerpo C son:

Los smbolos con los cuales se identificaran estos elementos son:

1.4. IMPOSIBILIDAD DE ESTRUCTURAR C COMO CUERPO ORDENADO

Imposibilidad de estructurar C como cuerpo ordenado

RO Rel. de comp. con suma y producto :=

A partir de estas definiciones se establece entonces:

(E, T, P ) Cuerpo abeliano

(E, T, P ) Cuerpo abeliano ordenado := RO Relacion de orden amplio

RO Relacion de orden total

RO Relacion compatible con la suma y el producto

El esquema de prueba se basa en que para dos n

{(0 0) , (s 1))} ((0 0) , (0 1)) RO

6. (4.), (5.) y antisim.

Como la primera posibilidad

((0 1)(0 0)) RO

((0 0)(0 , 1)) RO

((0 0)(0 , 1)) RO

((0 0)(0 , 1)) RO

DE C COMO ESTRUCTURA VECTORIAL

11. (1.), (6.) y (10.)

RO Relacion de orden amplio

RO Relacion de orden total

con la suma y producto complejo

Observacion 1: El hecho de que C no sea un cuerpo ordenado, deja como u

P := Ley de composicion externa de C sobre K.

(R + ) Cuerpo de los Reales

Esta caracterstica es una consecuencia inmediata de que C = R2 , es decir un caso particular de Rn .

= (C , d) Estructura de espacio eucldeo

Propiedades generales de la funci

Las propiedades mas importantes para destacar de la funci

respectivamente par el neutro de C respecto de la suma T , y el opuesto de z respecto de T . Tambien se

DE C COMO ESTRUCTURA DE ESPACIO METRICO

El detalle de las propiedades mencionadas es:

VI. d(z , z ) = ||d(z z )

DE C COMO ESPACIO NORMADO

a. La definicion de la forma polar del n

(E K + T P ) Estr. espacio vectorial)

x 7 N (x) : N (x) = ||N (x)

N (xT y) 6 N (x) + N (y)

A partir de las propiedades I, V I y V II del p

Ejemplo: La funcion logaritmo natural

establece un isomorfismo entre las estructuras (R+ ) y (R +).

Generalizando, una funcion f puede establecer un isomorfismo entre las estructuras (E T P ) y (E T P )

Isomorfismo entre los reales y el conjunto de los complejos con segunda

Definimos como C1 al conjunto de los complejos con segunda componente nula.

establece un isomorfismo entre las estructuras (C1 T P ) y (R + ).

= ((R + ) (C1 T P ) pr1 ) Estructuras isomorfas

Observacion 1: El par (x, 0) no es un n

En el segundo caso, que no es una definicion operacional de elementos de C sino de entes de B, el

= ((B + ) (C T P ) f ) Estr. isomorfas

La demostracion de este isomorfismo surge directamente de la definicion de las leyes de composici