An´lisis de Funciones de Variable Compleja a

Ing. Juan Sacerdoti

Facultad de Ingenier´ ıa Departamento de Matem´tica a Universidad de Buenos Aires 2005 V 1.011

1

Agradecemos al Sr. Alejandro Quadrini por la transcripci´n de este documento. o

2

´ Indice general
1. N´ meros Complejos u 1.1. Definici´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.2. Igualdad de n´ meros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 1.3. Estructuraci´n de C como cuerpo abeliano . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.4. Imposibilidad de estructurar C como cuerpo ordenado . . . . . . . . . . . . . . . . . . . . 1.5. Estructuraci´n de C como estructura vectorial . . . . . . . . . . . . . . . . . . . . . . . . o 1.6. Estructuraci´n de C como estructura de espacio m´trico . . . . . . . . . . . . . . . . . . . o e 1.6.1. Propiedades generales de la funci´n distancia en C . . . . . . . . . . . . . . . . . . o 1.6.2. Notaci´n para la funci´n distancia sobre C . . . . . . . . . . . . . . . . . . . . . . o o 1.6.3. M´dulo de z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.7. Estructuraci´n de C como espacio normado . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.8. Forma bin´mica de los complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 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 bin´mica de los n´ meros complejos . . . . . . . . . . . . . . . . . . . . . . . o u 1.9. Representaci´n geom´trica de los complejos . . . . . . . . . . . . . . . . . . . . . . . . . . o e 1.10. Forma Polar de un N´ mero Complejo. Propiedades . . . . . . . . . . . . . . . . . . . . . . u 1.10.1. Forma Polar de un N´ mero Complejo . . . . . . . . . . . . . . . . . . . . . . . . . u 1.10.2. Igualdad en forma polar. Congruencia . . . . . . . . . . . . . . . . . . . . . . . . . 1.10.3. Producto en forma polar. Cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.10.4. Potencia en forma polar. Radicaci´n . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.10.5. Interpretaci´n geom´trica de las operaciones complejas . . . . . . . . . . . . . . . . o e 1.11. Forma exponencial de un n´ mero complejo . . . . . . . . . . . . . . . . . . . . . . . . . . u 1.11.1. Expresi´n de la forma exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.11.2. Definici´n de la funci´n ez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o o 1.11.3. El producto, el cociente y la potencia de complejos en forma exponencial. . . . . . 1.12. Conjugado de un complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. Elementos de Topolog´ en el Campo Complejo ıa 2.1. Definici´n de bola . . . . . . . . . . . . . . . . . . . . . o 2.2. Entorno de un punto c . . . . . . . . . . . . . . . . . . . 2.3. Vecinal de un punto c . . . . . . . . . . . . . . . . . . . 2.4. Clasificaci´n de puntos: Interiores, exteriores y frontera o 2.5. Adherencia . . . . . . . . . . . . . . . . . . . . . . . . . 2.6. Clasificaci´n de puntos de adherencia . . . . . . . . . . . o 2.7. Conjuntos abiertos y conjuntos cerrados . . . . . . . . . 2.8. Conjunto acotado y conjunto compacto . . . . . . . . . 2.9. Infinito en el Campo Complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 9 10 10 11 13 14 14 15 16 17 18 18 19 20 22 23 23 26 26 27 28 29 30 30 32 32 35 35 36 36 37 39 40 42 43 44

3

. . . . . . . . . . .2.4. . . . . . . . . . . . . . . . . . . . . . . .4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ıa 4. . . . . . . . Definici´n . . . . . . . . . . . . . .9. . . . . . . . . . .1. . . . Homotop´ de lazos . . . . . . . 3. . . . Reglas de derivaci´n . . . Caminos equivalentes . . . . . . . . Curvas en el campo complejo. . Caracter´ ısticas . . Interpretaci´n geom´trica . . . . o 3. . . . . ıa 3. . . . . .8. .7. .1. .2. . . . . . . . . . . . . . . . . Caminos opuestos y yuxtapuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4. . . . .6. . . . . . . . . . . . . . . . . . Homotop´ a un punto . . . . . . . . . . . .8.7. . . . . . . 3. . . . 3. .5. . 3. . . . . . . . .2. . . . .6. . . . 3. . . . . . . . . . . . . . . . . . . . .3. . .1. . . . . . Ejemplos de caminos . . . . . . . Concepto de punto infinito en C Conjunto Complejo Extendido . Angulo entre caminos . . . . . . Curva . .4. . . 4. . . . . . . . Funciones de Variable Compleja. . . . . . . . . . . . . . . . . . . . . . . Las componentes de una funci´n holomorfa como funciones arm´nicas . . . . . . o 3. . . . . . . . . . . . Operaciones con l´ ımites . . . . . . Diferencial . . . . . . . . . . . . . . . . . . . . . . . . . . 3. . . . . . . . . . . . . . . . . . . Conjuntos simplemente conexos .2. . . o 4. . . . . . .9. . . . . . .9. . . . . . . . . . . . . . . . . . . . .8. . Derivaci´n y continuidad . . . . . . . . . .7. . . . . . . . . . . . . . . . . . . . . .3. . . . . . . . . 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . Derivaci´n . . . . . . . .9. . . . . . . . . . . . . . . . . . Caracter´ ısticas y ejemplos 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2. . . . . . . 3. ıa 3. . . . . . . . . . . . Obtenci´n de la conjugada arm´nica de una funci´n en el entorno de un o o o 4. . . . . 3. .3. . . .2. . . . . . 2. . . . . . . . Holomorf´ en el infinito . . . . . . . . 3. . . . . . . . . . .9. . . . . o 4. . . . . . . . . . . . . . . . . . . Homotop´ de caminos y lazos . . . o 4. . . . . . . . .1. . . . . . . . . . 2. . . .2. . . . . . . .6. . . . . . . . . . . . . . . .3. . . . . . . . . . . . . . . . Funciones de variable compleja. . .8. . . . . . . . . . . . . . . . . . . 3. . . . . . . . o ´ 4. . . . . . . . . . . . . . . . . . Continuidad y L´ ımite 3. Grado de multiplicidad . . . . . . . . . . . . . . . .1. .3. . . . . . . . . . . . . . . . .9. . . . . . . . . . . . . . . . . . . . . . .3. . . . . . . . . . . . Derivaci´n en el Campo Complejo o 4. . . . . . . . . . . . . . . . . . .8. . . . Caminos y lazos . . . . . . . .9. .9. . . . . 2.5. . . . . . . Clasificaci´n de conjuntos conexos en C . . . . . . . . . . o 4. 44 47 47 49 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 75 75 76 78 80 80 82 82 82 84 87 94 95 95 3. . . . . . o e 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . Existencia . . . . . . 4.4. . . . . . . . . . . . . . . . . .1. . . . . . . . . Camino simple. . . .4. . . . . . Continuidad por partes de funciones reales . . ıa 3. . . . . . . .6. . . Propiedades de funciones conjugadas arm´nicas . . . . . . . . . . . . . . . . . . . .2. . . . . . . . . . . . L´ ımite . . . . . . .4 ´ INDICE GENERAL 2. . Conjuntos conexos . . . . . . . 3. . . . . . . .1. . . . . . . . . . . . . . . . Holomorf´ y ecuaci´n de Laplace . . Conjuntos m´ ltiplemente conexos . . . . . . . . . . . . 3. . . . . . . . . . . . . . . . . 3. . . Ejemplos . . . . . . . . . . Representaci´n conforme .7. . . . . . .3. . . . . .3. . . . . .1. . . . . . .5. . . . . Relaci´n entre derivada y diferencial. . . . . . . . .2. . . . . . . . . . . . u 3. . . . . . . . . . . . .2. . . .9. . . . . . . . . . . . . . . . . . . . Camino . . . . . . . . . . . . . . . . . . . . . Esfera de Riemann . 3. . .6. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Lazo simple . . . . . . . . Definici´n de l´ o ımite . . . . . . . . . . . . . . . . . . .5. . . . . .6. . . . . . . Continuidad sobre un conjunto . . . . . . . 3. . . . . . . . . .6. . . . . . . . .9. . . . . . . . .8. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Cortadura .5. Lazo . . . . . . . . . . . . . . . . . . . . ıa o 4. . . . .7. . . . . .6. . . .4. . .1. . . 3. 3. . . . . . . . . . . . . . . Continuidad . . . . . . . .6. . . o o 4. ıa 3. . . . . . . . . .3. . Homotop´ de caminos .4. . . . . . . . . . . . . . . . . . . . . . . Funciones mon´genas y holomorfas . . . . . . . . . . Funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9. . . . . . .7. . o 4. . . . . . . . . . . . . . .1. . . . . . . . . . . . . . . . . . punto . . 3. Diversas acepciones de “infinito” . . . . . .6. . . . . . . . . . . 3.1. . .

. 4. 96 98 99 104 105 106 107 . . . 4. . . . . . . . . . . . . .9. .9. . . . . . . . 4. . . . . .7. . . . . . . . . . . . . . 4. . . . . . . . . . . .9. . . . Transformaci´n de caminos . . . . .8. . . . . .9.9. . . . . . . . . . . .2. . .3. . . . o a . o Transformaci´n de ´reas e integrales dobles . . . . . . . . . . . . . . . o a Los problemas de la representaci´n conforme o La inversi´n . . . o Aplicaci´n conforme . . . . . . . . . 4. . . . . . . . . . . . . .6. . . . . . . . . . . .9. . .4. . . . . . 4. . . . . . . . .5. o Transformaci´n de vectores tangentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9. . . . . . . . . o La funci´n homogr´fica . . . . . . . . . . . .´ INDICE GENERAL 5 4. .

6 ´ INDICE GENERAL .

. . . . . .2. . 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .18. . . . .14. Homotop´ de los lazos γ1 y γ2 . . . . 3. . . . . 3. . . Conjunto simplemente conexo. . . . . . . . . . . . . . . . . . . . . . . . . 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . Bola de centro c y radio r. . Camino en el campo complejo.6. . . . . . . . . . . ıa 3. . . . . . . . . . . . . . . . 7 . . . . . . . . . . . . . . . . . . . . . Clasificaci´n de conjuntos seg´ n contengan o no a sus fronteras. . . . . Representaci´n del complejo (x y) en el plano cartesiano. . . . . . . . . . . . . . . . . . Funci´n de una variable compleja discontinua en a. . . . . Funci´n de una variable real discontinua en a. . . . 2. . . . . o 2. . 23 24 28 28 29 29 33 35 36 37 38 41 42 44 46 48 48 48 52 53 57 57 61 65 65 67 68 69 70 70 71 72 72 73 73 73 2. . ıa 3. . . . . . . . . . . . . . . . . . . .17. . . . . . . . . . . . . . . . . . . . .4. . . . . . . . . . . . . . . . . . . . . . .3. . . 1. o o 3. . . . . . . . . . .8. . . . . . . . . . .16. . . . . . . . . . . . . .5. . . . . . . . . 3. . . . . . . . . . . . . . . . . . . . . . .12. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .3. .9. . . o Representaci´n del complejo z en coordenadas polares. Ejemplos de cortadura.6. .15. . Vecinal de un punto c. . . . . . . Transformaci´n de regiones en R2 mediante una funci´n de variable compleja. . . . . . .7. . . . . . . . . . . . 3. Ejemplo de conjuntos no conexos. . . . . . . . .10. . . . .13. . . . . . . . . . . . . . . . 3. . . . . . . . .11. . . .11. . . . .9. . . 3. . . . . . . . . . . Puntos aislados y puntos de acumulaci´n del conjunto A. . . . . Ejemplos de caminos y lazos. . . . . . o 3. . Camino poligonal. . . . Lazo en el campo complejo. . . . . . . . . . u 3. Proyecci´n estereogr´fica de una circunferencia que pasa por el origen de coordenadas.8. . o e Representaci´n geom´trica del producto de dos complejos. . . . . . . . . . . Conjunto con grado de multiplicidad=3 . . 1. . . 1. . . . . Proyecci´n estereogr´fica de una circunferencia que no pasa por el origen de coordenadas. . . . . . . . . o o 2. . . . . . . . . o e 2. . .4. o e Representaci´n geom´trica de la diferencia de dos complejos. . . . . . . . . Homotop´ de los caminos γ1 y γ2 en D . . . . . . . . . . . . . . . . . . . . . |z| > r. . . . 3. o 3. . . . . . . . . u . . . Diversos conjuntos transformados mediante la funci´n inversi´n. . . . . . .1. . . . .1. . 1. . . . . . . . . .4. . . . . . . o 3. . . . . . . . . .2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5. . . . . . . . . . . . . . Composici´n de funciones de una variable compleja. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. . . Clasificaci´n de puntos en un espacio m´trico. . . . o a 3. . . . . . . . .10. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Transformaci´n de caminos mediante la funci´n f (z) = z 2 . . . . . Caminos yuxtapuestos. . . . . . . . . . . . . . . . . . . . . . Esfera de Riemann. . . . . . . . . Conjunto m´ ltiplemente conexo. . . . . . . . . . . . . . 2. . . . . . . . . . . o o 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Entorno de un punto c. . . . . . . . . . o u 2. . . . . . o Representaci´n geom´trica de la suma de dos complejos. . . . . . . . . . . . . . . . . 3. . . . . . 1. . . . . . . . . . . . 3. . . . . . . . . . o e Ra´ quintas de un n´ mero complejo z. . . . . . . . .7. . . . . . . . . . Ejemplo de conjuntos conexos. . . . . . . . . . . . . .6.5. .2. . . . . . . . . . . . . . . . . . . o a 2. . . . . . . . . . . . . . . . . . . . . . . 2. . . . . ıces u Conjugado de un n´ mero complejo.3. . . . . . . . . . .´ Indice de figuras 1. . . . . . . . . . . . . .1. . . .7.

. . . o e 4. . . . Conservaci´n del ´ngulo entre dos caminos mediante una aplicaci´n conforme f . . . . . . . . . . . . . . . . . Trayectorias ortogonales de un par de funciones conjugadas arm´nicas . . . . . . Dominio e imagen de Inv’ y f . . .8. . . . . . . . .3. . . Construcci´n geom´trica alternativa para hallar la rec´ o e ıproca de un n´ mero complejo. . . . . . . . . . . L´ ıneas de campo y equipotenciales para un problema inverso de representaci´n conforme. . . . . 4. . . . .2. . . .10. . .15. . . . . . . . . . . .4. . . . . o e 4. . . . . Angulo entre los caminos γ1 y γ2 en el punto zc . . . . . . .12. . . Reemplazo de un camino γ por otro poligonal. o o 4. . . . . . Transformaci´n de vectores mediante una inversi´n. . . . . Construcci´n geom´trica para obtener la rec´ o e ıproca de un complejo. . . . . o a 4. . . . . . . . o 4. . . . . . . . . . . . . . . . . . 4. . . . . . . . . o 4. . . . . . . . . . Integraci´n a trav´s de un camino poligonal. . . . Vector tangente a γ en el punto γ(c). . . . ´ 4. Incremento de una funci´n a trav´s de caminos rectos paralelos a los ejes. . . . . . . Dominio restringido de una funci´n de variable compleja. . . . . . . . . . . . . . . . .9. . 4. . . . . .1. . . . . . . . . . . . . . e 4. o 4. 4. . . u 75 77 79 87 89 90 94 95 96 97 100 102 105 106 106 107 . . . . . . . Transformaci´n de caminos por una funci´n de variable compleja. .5.6. .7. .8 ´ INDICE DE FIGURAS 4. . . . . . . . . . . . . . . o o 4. . . . . . . . .16.11. .14. . . . . . . . . . . . .13. . . . . . . . . . . . . Incremento de z a trav´s de un camino γ. . . . . . . . o a o 4. . . . . . Transformaci´n de ´ngulos para aplicaciones con distintos valores de K. . . . . . .

u Re(z) := x Im(z) := y Re(z) := parte real de z Im(z) := parte imaginaria de z Observaci´n: Conviene remarcar que tanto la parte real. adem´s de las estructuras mencionadas. a Todo Rn conforma estructura de espacio vectorial y tambi´n estructura de espacio eucl´ e ıdeo. es conveniente para destacar y recordar la diferencia existente entre R2 y los dem´s Rn . u C := {(x y) : x ∈ R .1. en vez de usar directamente R2 . (ver punto 1. se agrega la estructuraci´n en a o cuerpo abeliano. o u Al conjunto de todos los n´ meros complejos. al n´ mero real y (segunda componente del par ordenado) se lo llama parte imaginaria o u segunda componente del n´ mero complejo. u Asimismo. e o o 9 . como la parte imaginaria de un n´ mero complejo o u (a pesar de su denominaci´n). Definici´n o Se llama n´mero complejo a todo par ordenado (x y) de n´ meros reales. la introducci´n del nuevo s´ o ımbolo C para representar al conjunto de los complejos.Cap´ ıtulo 1 N´meros Complejos u 1. y ∈ R } C := Conjunto de todos los n´ meros complejos u Observaci´n: A partir de la definici´n de C es inmediato que: o o C=R×R o sea que C = R2 Sin embargo. y ∈ R z := N´ mero complejo u Al n´ mero real x (primera componente del par ordenado) se lo llama parte real o primera componente u del n´ mero complejo. se establece o a tambi´n la multiplicaci´n. se lo simboliza con C. u u z := (x y) : x ∈ R . u La raz´n de esta diferencia es porque en C. condici´n que le permite alcanzar la estructura de cuerpo abeliano. adem´s de definirse la suma como en todo Rn . En el caso particular de R2 .3). Esta caracter´ ıstica no se extiende a ning´ n Rn con n ≥ 3. son ambos n´ meros reales.

10

´ CAP´ ITULO 1. NUMEROS COMPLEJOS

1.2.

Igualdad de n´ meros complejos u

La igualdad de los n´ meros complejos es una consecuencia de la igualdad definida entre conjuntos, y u su aplicaci´n sobre los pares ordenados. Resulta entonces: o (x y) = (x′ y ′ ) ⇔ x = x′ y = y′

Es decir, dos n´ meros complejos son iguales, si y s´lo si simult´neamente, las respectivas partes reales u o a e imaginarias son iguales entre s´ Una igualdad en C representa entonces dos igualdades en R. ı.

1.3.
T : P :

Estructuraci´n de C como cuerpo abeliano o
C × C −→ C ((x y), (x′ y ′ )) −→ (x + x′ , y + y ′ ) ((x y), (x′ y ′ )) −→ (xx′ − yy ′ , xy ′ + yx′ ) T := Ley suma de n´ meros complejos u P := Ley producto de n´ meros complejos u C × C −→ C

Sobre el conjunto de los complejos C se definen dos leyes de composici´n interna: o

Los signos ”+” y ”·” representan las leyes de composici´n interna, suma y producto de n´ meros reales. o u El conjunto de los n´ meros complejos C se estructura en cuerpo abeliano con respecto a las leyes de u composici´n interna suma de n´ meros complejos ”T ” y producto de n´ meros complejos ”P ”. o u u  T : C × C −→ C     ((x y), (x′ y ′ )) −→ (x + x′ , y + y ′ )  =⇒ (C T P ) ∈ Cuerpo abeliano   P : C × C −→ C    ((xy) , (x′ y ′ )) −→ (xx′ − yy ′ , xy ′ + yx′ ) La demostraci´n de esta aseveraci´n es inmediata. o o 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 ∈ sim´trico de (x y) respecto de T e ∈ neutro de C respecto de P ∈ sim´trico de (x y) respecto de P , ∀(x y) = (0 0) e

Los s´ ımbolos con los cuales se identificar´n estos elementos son: a s z u

:= (0 , 0) := (−x , −y) := (1 , 0) := x −y , x2 + y 2 x2 + y 2

z•

1.4. IMPOSIBILIDAD DE ESTRUCTURAR C COMO CUERPO ORDENADO

11

1.4.

Imposibilidad de estructurar C como cuerpo ordenado

El conjunto C no puede ser estructurado como cuerpo ordenado. Ello significa que no existe ninguna relaci´n sobre C × C que cumpla simult´neamente: o a (a) Relaci´n de orden amplio sobre C. o (b) Relaci´n de orden total. o (c) Relaci´n de compatibilidad con las leyes de suma y producto complejo. o Estas condiciones presentadas para el caso de un cuerpo gen´rico (E T P ), llamando RO a la relaci´n de e o orden sobre E, pueden expresarse de la siguiente manera:  Reflexividad  ∀x ∈ E (x x) ∈ RO     (x y) ∈ RO  ⇒ x=y Antisimetr´ ıa (y x) ∈ RO RO ∈ Relaci´n de orden amplio := o    (x y) ∈ RO    ⇒ (x z) ∈ RO Transitividad (y z) ∈ RO RO ∈ Relaci´n de orden total := ∀x ∈ E, ∀y ∈ E o {x y} =⇒ (x y) ∈ RO o (y x) ∈ RO

A partir de estas definiciones se establece entonces:  (E, T, P ) ∈ Cuerpo abeliano       (E, T, P ) ∈ Cuerpo abeliano ordenado := RO ∈ Relaci´n de orden amplio o   RO ∈ Relaci´n de orden total o    RO ∈ Relaci´n compatible con la suma y el producto o

  (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 )

Observaci´n 1: Al cumplirse simult´neamente las condiciones de orden amplio y total sobre E, resulta o a superflua la condici´n de reflexividad, como se muestra a continuaci´n: o o A partir de la condici´n de orden total, tomando x = y se obtiene: o ∀x ∈ E ∀x ∈ E {x x} =⇒ (x x) ∈ RO o (x x) ∈ RO resultando entonces: =⇒ (x x) ∈ RO

Observaci´n 2: Las notaciones usuales para las relaciones de orden son x ≥ y o (x y) ∈ RO. En el texto o se ha preferido el uso de ´sta ultima para evitar confusiones. e ´ A continuaci´n se pasa a demostrar la tesis propuesta, que el cuerpo de los complejos no puede ser o ordenado.

12

´ CAP´ ITULO 1. NUMEROS COMPLEJOS

El esquema de prueba se basa en que para dos n´ meros complejos, (0 0) (neutro de T ) y el (0 1) (m´s u a adelante llamado unidad imaginaria), no puede establecerse ninguna relaci´n de orden que satisfaga las o 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 o ((0 1) , (0 0)) ∈ RO Suponiendo la primera de las dos posibilidades: 2. ((0 0) (0 1)) ∈ RO ((0 0) (0 1)) ∈ RO ((0 0) (0 1)) ∈ RO ⇒ ((0 0) (−1 , 0)) ∈ RO ⇒ ((0 0) (1 , 0)) ∈ RO ⇒ ((1 0) (0 0)) ∈ RO (prop. falsa)

3. Compat. P

4. Compat. P

((0 0) (−1 , 0)) ∈ RO ((0 0) (−1 , 0)) ∈ RO ((0 0) (−1 , 0)) ∈ RO (1 , 0) ∈ C ((0 0) (1 0)) ∈ RO ((1 0) (0 0)) ∈ RO

5. Compat. T

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

⇒ (0 0) = (0 1)

Como la primera posibilidad ha conducido a una proposici´n o falsa, se prueba con la segunda: 7. ((0 1) (0 0)) ∈ RO ((0 1)(0 0)) ∈ 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 tambi´n: e 10. =⇒ (0 0) = (1 0) prop. falsa Se deben descartar entonces las dos posibilidades. De donde:

8. Compat. T

(0 , −1) ∈ C

9. Compat. P

((0 0)(0 , −1)) ∈ RO

((0 0)(0 , −1)) ∈ RO

 C = { (xy) : x ∈ R . sobre un cuerpo K.´ 1. o 1. y + y ′ )        P : C×C → C   ′ ′ ′ ′ ′ ′  ((x y) . y ∈ R}       (R + ·) ∈ Cuerpo de los Reales       T : C×C → C =⇒ (C R + · T P ) ∈ Estructura vectorial   ((x y) . u respecto de las leyes de composici´n interna T (suma de n´ meros complejos) y composici´n externa P o u o oportunamente definida: P : C × C −→ C (λ. λy) P := Ley de composici´n externa de C sobre K.5.).)  o RO ∈ Relaci´n de orden amplio   RO ∈ Relaci´n de orden total o ∄ RO sobre C : RO ∈ Relaci´n de compatibilidad o    con la suma y producto complejo Observaci´n 1: El hecho de que C no sea un cuerpo ordenado.Producto de n´ meros reales: · u . ESTRUCTURACION DE C COMO ESTRUCTURA VECTORIAL 13 11. deja como unico Rn que cumple tal o ´ condici´n al conjunto de los reales R. (x′ y ′ )) → (x + x′ .Producto de n´ meros complejos: p u . (x y)) −→ (λx. n Tiene particular inter´s tomar a la terna (R + ·) como cuerpo K sobre el cual conforma C la estructura e vectorial. es decir un caso particular de o R . La proposici´n mencionada es consecuencia inmediata de que C = R2 . (1. xy + yx ) Observaci´n 1: Para no incurrir en confusiones de conceptos se debe tener presente siempre las diferencias o que existen entre las leyes: . (6. es sencillamente un grave error. o Observaci´n 2: Conviene remarcar que en C carece totalmente de sentido la proposici´n: o o z > z′ Por lo tanto. en el caso de presentarse esta notaci´n.5. Este es el cuerpo ordenado por excelencia. o K := Cuerpo de apoyo de la estructura vectorial o conjunto de los escalares. (x y )) → (xx − yy .) y (10. Estructuraci´n de C como estructura vectorial o El conjunto de los n´ meros complejos C conforma una estructura vectorial.

Propiedades generales de la funci´n distancia en C o Las propiedades m´s importantes para destacar de la funci´n distancia sobre el conjunto de los a o complejos. d) := Estructura de espacio m´trico o estructura m´trica e e E := Espacio m´trico e El hecho de poder estructurar E como espacio m´trico tiene enorme importancia. Estructuraci´n de C como estructura de espacio m´trico o e El conjunto C conforma una estructura de espacio m´trico. es decir un caso particular de Rn . −y) . se desprenden directamente del caso m´s general. funci´n distancia sobre los espacios eucl´ a o ıdeos.1. d) ∈ Estructura de espacio eucl´ ıdeo d : C × C −→ R    (z .Producto de C sobre K: P Observaci´n 2: Para evitar interpretaciones err´neas se hace notar que la convenci´n adoptada para la o o o denominaci´n de la s´xtupla (E K + · T P ) y el conjunto E es: o e (E K + · T P ) := Estructura de espacio vectorial o estructura vectorial E := Espacio vectorial 1. Tambi´n se e agregar´ el nuevo s´ a ımbolo: z − z ′ := z T z ′∗ z − z ′ := Diferencia entre los n´ meros complejos z y z ′ u z ∗ := (−x . y en particular una estructura de espacio e eucl´ ıdeo. Para facilitar su presentaci´n es conveniente usar los s´ o ımbolos e := (0 0) respectivamente par el neutro de C respecto de la suma T .6. d) y o n para el conjunto E son: (E . NUMEROS COMPLEJOS . y una estructura topol´gica. z ′ ) −→ (x − x′ )2 + (y − y ′ )2 = d(z z ′ ) Observaci´n 1: Para evitar confusiones se se˜ ala que las denominaciones adoptadas para el par (E .6. z ′ ) −→ C × C −→ R (x − x′ )2 + (y − y ′ )2 = d(z z ′ ) d(z z ′ ) := distancia de z a z ′ Esta caracter´ ıstica es una consecuencia inmediata de que C = R2 . siendo ambas las dos condiciones esenciales para poder definir los o conceptos que son fundamento del an´lisis matem´tico: la continuidad (la convergencia) y la diferencial. y el opuesto de z respecto de T .  C = { (x y) : x ∈ R . al definirse la funci´n distancia por la expresi´n pitag´rica: o o o d: (z . a a 1. e En efecto.14 ´ CAP´ ITULO 1. y ∈ R }    =⇒ (C . se logra con ello la base (funci´n distancia) para construir una estructura topol´gica. o o De esta manera el conjunto de los complejos C conforma simult´neamente una estructura algebraica a de cuerpo.

z) = d(z ′ e) IV. d(z. si formalmente se opera d(z z ′ ) con las propiedades del valor absoluto real.1: I. λz ′ ) = |λ|d(z z ′ ) VII. tanto como para adjudicarle una denoo minaci´n particular.6.6. e) d(z.3. e) d(z − z ′ .6. Esto se tratar´ en el apartado 1. d(z − z ′ . o En efecto. o a La introducci´n del nuevo s´ o ımbolo |z − z ′ | para representar la funci´n distancia. d(z e) − d(z ′ e) IX. Notaci´n para la funci´n distancia sobre C o o La notaci´n de la funci´n distancia sobre C. d(z e) − d(z ′ e) VIII. e) = d(z z ′ ) V. d(z e) = 0 ⇔ z = e II. d(λz . d(z + z ′ . que por otra parte se emplea normalmente para cualquier o o Rn es: |z − z ′ | := d(z z ′ ) |z − z ′ | := Distancia de z a z ′ De acuerdo a esta ultima convenci´n resulta: ´ o 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 aplicaci´n e importancia. e) d(z e) + d(z ′ e) d(z e) + d(z ′ e) λ∈R Es buen ejercicio demostrar estas f´rmulas en forma directa a partir de la definici´n de distancia sobre o o 1. ESTRUCTURACION DE C COMO ESTRUCTURA DE ESPACIO METRICO 15 El detalle de las propiedades mencionadas es: I.´ ´ 1. se verifican sin dificultad las propiedades vistas en 1. e) |d(z e) − d(z ′ e)| |d(z e) − d(z ′ e)| d(z + z ′ . |z − e| = 0 ⇔ z = e |z| = 0 ⇔ z = e . d(z − z ′ .2. |Re(z)| |Im(z)| C. es justificada por el o hecho de que ayuda a recordar todas las propiedades del p´rrafo anterior asimil´ndolas a las an´logas de a a a la funci´n valor absoluto en el campo real. e) = d(z ′ − z . e) VI. z − z ′ = w − w′ =⇒ d(z z ′ ) = d(w w′ ) III.6.

|z − z ′ | = |z ′ − z| VI. 1. a la distancia d(z e). |Re(z)| |Im(z)| ||z| − |z ′ || ||z| − |z ′ || |z| |z| |z + z ′ | |z − z ′ | |z| + |z ′ | |z| + |z ′ | Observaci´n: El valor absoluto en el campo real por su parte estructura al conjunto R como espacio o eucl´ ıdeo.6. |z| − |z ′ | IX. n a a Basta para ello mencionar que su empleo permite: . |(z + z ′ ) − z| = |z ′ | IV. |z| − |z ′ | VIII. ya que ambas no o o son independientes.3.1. la distancia del espacio eucl´ ıdeo Rn puede entenderse como una generalizaci´n del valor o absoluto definido para R. La demostraci´n de la condici´n necesaria es: o o o d(z e) = |z − e| = |z| La condici´n suficiente: o d(z z ′ ) = d(z − z ′ . M´dulo de z o Se define como m´dulo de z. d(z z ′ ) = |z − z ′ | ⇐⇒ d(z e) = |z| Demostraci´n.16 ´ CAP´ ITULO 1. |λz − λz ′ | = |λ||z − z ′ | VII. |(z − z ′ ) − e| = |z − z ′ | V.2.6. NUMEROS COMPLEJOS II. e) = |z − z ′ | La asignaci´n de una denominaci´n espec´ o o ıfica dada a la distancia d(z e) se justifica no solamente por la frecuencia con que aparece en las f´rmulas anteriores. tambi´n llamado valor absoluto de z. o e |z| := d(z e) |z| := M´dulo de z o Esta definici´n es complementaria de la notaci´n de distancia introducida en 1. como se demuestra acto seguido: Teorema 1.6. z − z ′ = w − w′ =⇒ |z − z ′ | = |w − w′ | III. pues: d(x y) = (x − y)2 = |x − y| Entonces. sino tambi´n para resaltar el papel muy importante o e que desempe˜ a en todo el ´lgebra y an´lisis complejo.

´ 1.7. ESTRUCTURACION DE C COMO ESPACIO NORMADO

17

a. La definici´n de la forma polar del n´ mero complejo. o u b. El hallazgo de m´todos operativos m´s sencillos, derivados de la forma polar, para la multiplicaci´n, e a o divisi´n, potencia, radicaci´n y logaritmaci´n. o o o c. Establecer una norma sobre C Todos estos conceptos ser´n desarrollados m´s adelante. a a El m´dulo de z, de acuerdo con la definici´n es una aplicaci´n del conjunto de los complejos sobre los o o o reales. ||: C −→ R

(x y) −→

x2 + y 2

Las propiedades m´s importantes del m´dulo de z son las detalladas en el p´rrafo anterior. a o a A ellas conviene agregar: |z| = |z ′ | ⇔ |z|2 = |z ′ |2 cuya demostraci´n es inmediata, y adem´s: o a Teorema 1.6.2. El m´dulo del producto es igual al producto de los m´dulos. o o (zz ′ ) ∈ C =⇒ |z P z ′ | = |z||z ′ | Demostraci´n. o |z P z ′ |2 = (xx′ − yy ′ )2 + (xy ′ + yx′ )2 = (x2 + y 2 )(x′2 + y ′2 ) = |z|2 |z ′ |2

= x2 x′2 + y 2 y ′2 + x2 y ′2 + y 2 x′2

1.7.

Estructuraci´n de C como espacio normado o

Se llama espacio normado a todo espacio vectorial provisto de una aplicaci´n sobre los reales no o negativa, llamada norma, que cumple las condiciones que se mencionan a continuaci´n: o  (E K + · T P ) ∈ Estr. espacio vectorial)      N : E −→ R    (E K + · T P N ) := N (x) = 0 ⇔ x = e      x −→ N (x) : N (λx) = |λ|N (x)       N (xT y) N (x) + N (y) N (x) := Norma del vector x A partir de las propiedades I, V I y V II del p´rrafo 1.6.2 se concluye de inmediato que la funci´n m´dulo a o o de z es efectivamente una norma. ||: C −→ R =⇒ (E K + · T P ) ∈ Estr. de espacio normado

(x y) −→

x2 + y 2

18

´ CAP´ ITULO 1. NUMEROS COMPLEJOS

En todo espacio normado, la funci´n distancia d(zz ′ ) = N (z − z ′ ) lo estructura como espacio m´trico. o e d: C × C −→ R (z z ′ ) −→ N (z − z ′ ) =⇒ (C d) ∈ Estructura de espacio m´trico e

La norma establece una elaci´n directa entre los espacios vectoriales y los espacios m´tricos. o e 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´mica de los complejos o
Isomorfismos entre estructuras

Se dice que una aplicaci´n f del conjunto E sobre el conjunto E ′ establece un isomorfismo entre las o estructuras (E T ) y (E ′ T ′ ), donde T y T ′ son leyes de composici´n interna definidas respectivamente o sobre E y E ′ , cuando: a. f es biyectiva b. La composici´n interna T ′ de la aplicaci´n de dos elementos de E sobre E ′ es igual a la aplicaci´n o o o sobre E ′ de la composici´n interna T de dichos elementos de E, es decir: o 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 −→ a′ :  a T b −→ a′ T ′ b′ R+ −→ R

Ejemplo: La funci´n logaritmo natural o L:

x −→ L(x)

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

´ 1.8. FORMA BINOMICA DE LOS COMPLEJOS

19

1.8.2.

Generalizando, una funci´n f puede establecer un isomorfismo entre las estructuras (E T P ) y (E ′ T ′ P ′ ) o dotadas cada una de ellas con dos leyes de composici´n interna, cuando: o  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 −→ a : a T b −→ a′ T ′ b′      a P b −→ a′ P ′ b′

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 funci´n pr1 que se llamar´ primera proyecci´n, o a o pr1 : C1 −→ R (x, 0) −→ x

Teorema 1.8.1.

establece un isomorfismo entre las estructuras (C1 T P ) y (R + ·). C1 = {(x, 0)} (x (x, 0)) ∈ pr1 ∀x ∃ (x, 0) x = x′ ⇔ x = x′ 0=0 =⇒ ((R + ·) (C1 T P ) pr1 ) ∈ Estructuras isomorfas

Demostraci´n. Se demuestra en primer lugar que la relaci´n pr1 es una aplicaci´n biyectiva. o o o

⇔ (x, 0) = (x′ , 0) Enseguida se ver´ como la aplicaci´n pr1 establece el isomorfismo. a o y −→ (y, 0) x + y −→ (x, 0) T (y, 0) = (x + y, 0) x · y −→ (x, 0) P (y, 0) = (x · y, 0) x −→ (x, 0)

a u i := Unidad imaginaria . a u En efecto.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 ´lgebra de los n´ meros reales. o u Es conveniente tomar: i := (0 1) Queda entonces: (x y) = (x 0) T ((y 0) P i) Este resultado. y) −→ y como se verifica considerando las leyes respectivas se suma pero no las leyes de multiplicaci´n. evidente abuso de notaci´n.3. con segunda y primera comu ponente nula.20 ´ CAP´ ITULO 1. 0) es el correspondiente al real x a trav´s del isomorfismo definido. respectivamente: (x y) = (x 0) T (0 y) Por el otro lado tambi´n se verifica e (0 y) = (y 0) T (0 1) y entonces se concluye que un n´ mero complejo puede ser representado como: u (x y) = (x 0) T ((y 0) P (0 1)) que es la llamada forma cartesiana o bin´mica de los n´ meros complejos. o 1. o El complejo (x. NUMEROS COMPLEJOS Observaci´n 1: El par (x. 0) no es un n´ mero real a pesar de que es frecuente denominarlo as´ en un o u ı. B := {x + iy : x ∈ R . y)} −→ R (0. definidas en forma conveniente de acuerdo al ´lgebra de los n´ meros reales. Forma bin´mica de los n´meros complejos o u Todo n´ mero complejo puede descomponerse en la suma de otros dos. e Observaci´n 2: Es inmediato demostrar a partir del isomorfismo estudiado entre C1 y R que tambi´n o e puede establecerse otro isomorfismo entre los complejos con segunda componente nula y los reales a trav´s de la funci´n: e o pr2 : {(0. definiendo al conjunto de los nuevos entes x + iy.8. y ∈ R} la funci´n o f : C −→ B (x y) −→ x + iy establece un isomorfismo entre (B + ·) y (C + ·) donde + y · son las leyes de composici´n interna sobre o el conjunto B. conjuntamente con el isomorfismo estudiado en 1.

Se ha usado la misma letra solamente por razones tradicionales. y merece se˜ alarse unican ´ mente que es necesario convenir que: i2 := −1 Observaci´n 1: Debe tenerse sumo cuidado de no entrar en confusiones con las dos definiciones hechas de o i porque sin distintas. el o s´ ımbolo i2 representa a: i2 = i · i es decir. FORMA BINOMICA DE LOS COMPLEJOS 21 Las definiciones de estas leyes se hallan en el enunciado del teorema siguiente. La denominaci´n de forma bin´mica del n´ mero complejo es justificada con claridad por el isomorfismo o o u demostrado. 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). que no es una definici´n operacional de elementos de C sino de entes de B. 0) y por lo tanto de acuerdo a la Observaci´n 1 del p´rrafo 1. (x + iy ′ )) −→ (x + x′ ) + i(y + y ′ ) ′ ·: B × B −→ B ((x + iy). .´ 1.8.8. (x′ + iy ′ )) −→ xx′ + ixy ′ + iyx′ + yy ′ i2 = i · i −→ −1 f: C −→ B (x y) −→ x + iy (xx′ − yy ′ ) + i(xy ′ + yx′ )                                          =⇒ ((B + ·) (C T P ) f ) ∈ Estr. isomorfas La demostraci´n de este isomorfismo surge directamente de la definici´n de las leyes de composici´n o o o interna definidas sobre B.2 o a i2 = −1 siendo i2 simplemente el correspondiente de −1 en el isomorfismo analizado entre C1 y R: pr1 : i2 −→ −1 En el segundo caso. un producto con respecto a la ley · en B. 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.

Observaci´n 2: No debe olvidarse que del mismo modo que el complejo (x 0) y el real x son nociones o diferentes. el o complejo (x 0) es representado por puntos del eje imaginario. por razones tradicionales. un modelo muy conveniente para estudiar e intero ıa pretar las relaciones entre los complejos. La representaci´n geom´trica de un n´ mero complejo es sencillamente otra forma de simbolizarlos. con la condici´n de sustituir en la multiplicaci´n a u u o o i2 por −1. . es importante el manejo fluido de los complejos teniendo siempre presente su significado geom´trico. Sin embargo. Representaci´n geom´trica de los complejos o e De la misma manera que no puede establecerse diferencia entre el n´ mero real x y el punto x de una u recta. o Tambi´n son equivalentes los t´rminos R×R y plano. a 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 representaci´n en coordenadas cartesianas . otra forma de escribirlos o representarlos. que se usar´n indistintamente a lo largo del texto. se usar´n. a partir de ahora o a los signos + y · tambi´n para las primeras siempre que ello no induzca a confusiones. Esto no produce dificultades al operar o con complejos si se toman las precauciones del caso.. es o e u decir.22 ´ CAP´ ITULO 1. Por lo tanto.9. u Se comprende que a partir de este razonamiento. etc. y todav´ es. Llegado a este punto del texto en el cual se han estudiado las diferencias y relaciones existentes entre las leyes de composici´n interna complejas y reales. NUMEROS COMPLEJOS Se remarca que la importancia de este resultado reside en que la forma bin´mica permite operar con o los n´ meros complejos como simples n´ meros reales. e Sin embargo es usual confundirlos en evidente abuso de notaci´n. tambi´n lo son el complejo (x y) y el binomio x + iy. las palabras n´ mero o a u complejo y punto del plano son sin´nimos. a Un n´ mero complejo z = (x y) es representado por un punto del plano de coordenadas: u x = Re(z) y = Im(z) como abscisa como ordenada Observaci´n 1: Debe observarse que de acuerdo a las apreciaciones hechas m´s arriba. e 1. segunda componente e e y ordenada. primera componente y abscisa. mediante un plano o a que se denominar´ plano complejo. e La representaci´n m´s frecuente de R2 es en coordenadas cartesianas ortogonales. tampoco existe ninguna diferencia entre el n´ mero complejo (x y) y el punto (x y) del plano R × R. hist´ricamente ha sido. no puede hacerse ninguna distinci´n entre el “´lgeo a bra”y la “geometr´ ıa”.

adem´s de las ya vistas. o Observaci´n 2: La denominaci´n de forma cartesiana como equivalente de la bin´mica surge evidentemente o o o de la representaci´n gr´fica de los complejos. 1. Forma Polar de un N´ mero Complejo. que cualquier par o e (x y) = (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´ mero complejo. FORMA POLAR DE UN NUMERO COMPLEJO. o En particular adquieren importancia por su facilidad de operaci´n la forma polar. Forma Polar de un N´mero Complejo u En el plano complejo puede observarse con ayuda de la representaci´n geom´trica. En este caso.1. la o forma exponencial. y su derivada. o a Esta simple observaci´n destaca como la representaci´n geom´trica ayuda a estudiar las propiedades del o o e n´ mero complejo.1: Representaci´n del complejo (x y) en el plano cartesiano. u a Dada una funci´n biyectiva o f: C −→ C (x y) −→ (u v) : f ∈ biyectiva Al establecer una correspondencia uno a uno entre los pares (x y) y (u v). origen de coordenadas. PROPIEDADES 23 y (0 y) (x y) z y (0 0) x (x 0) x Figura 1. la relaci´n entre el conjunto C y los espacios vectoriales como segmentos u o orientados. u Al par (0 0). o a El origen de coordenadas representa al par (0 0) Otra interpretaci´n del complejo z puede ser la de segmento orientado con origen en (0 0) y v´rtice o e en el punto (x y).10.10.´ 1. La representaci´n polar permitir´ estudiar en detalle este nuevo enfoque. Propiedades u Los n´ meros complejos (x y) pueden ser representados de otras maneras.10. se asignan convencionalmente los valores: r=0 θ = θ1 . 1. permite interpretar al segundo par como una nueva forma o representaci´n del primer par.

r. que como se dijo. por la aplicaci´n: o a u u o || : C −→ R (x y) −→ |z| = x2 + y 2 ya estudiada anteriormente. u La primera coordenada polar. tambi´n lo o e es θ1 + 2kπ : k ∈ Z (´ngulos congruentes entre s´ a ı).2: Representaci´n del complejo z en coordenadas polares. de manera que satisfaga el sistema: r cos(θ) = x r sen(θ) = y A todos los valores de θ. para establecer una relaci´n uno a uno entre las coordenadas cartesianas y las polares. La segunda coordenada polar θ.3. representa el ´ngulo entre el segmento o z y el eje a x. NUMEROS COMPLEJOS donde θ1 es un n´ mero real arbitrario. Por lo tanto. se los llama argumento de z. y z r θ x y z x Figura 1. Debe elegirse entonces anal´ ıticamente. pues si θ1 es soluci´n.6. representa entonces la distancia d(z e). ıces arg(z) := θ : θ ∈ arctan y x arg(z) := argumento del complejo z La soluci´n de este sistema. no est´ un´ o a ıvocamente determinada en θ. a´ n el (0 0). debe o . es decir el m´dulo de z o estudiado en 1. o r := |z| = d(z e) r := m´dulo de z o El m´dulo de z est´ definido para cualquier n´ mero complejo. ra´ del sistema.24 ´ CAP´ ITULO 1.

u Observaci´n 1: La funci´n o o Arctan : R −→ (−π/2 . y 0 (x y) −→ Arg(z) := Determinaci´n principal del argumento de z o valor principal. C −→ C  (0 . como por ejemplo para el c´lculo de logaritmos e a y potencias complejas. es por convenci´n la determinaci´n principal de la funci´n multiforme (que por u o o o lo tanto no es una aplicaci´n) {x . e u Observaci´n 2: Para definir las coordenadas polares. relaci´n inversa de la tangente: o o tan : R − {(n + 1/2)π : n ∈ Z} x −→ −→ R tan(x) En resumen. por ejemplo de la siguiente manera: o Arg : C − {(0 0)} −→ R  y  − π + Arctan   x    −π    2   y Arg(z) = Arctan  x  π    2      π + Arctan y x x < 0. r sen θ) a partir de la cual puede deducirse la forma bin´mica a: o x + iy = r (cos θ + i sen θ) llamada forma polar o forma trigonom´trica del n´ mero complejo. θ ) 1 . o Esta determinaci´n llamada principal del argumento de z se identifica por el s´ o ımbolo Arg(z). la funci´n inversa de F es: o F −1 : (r θ) −→ (x y) = (r cos θ . FORMA POLAR DE UN NUMERO COMPLEJO. e Las diferentes determinaciones tienen tambi´n su utilidad. ∀ y x = 0. π/2) x −→ Arctan(x) escrita con A may´ scula. encabezado con A (may´ scula). en vez de la principal. A su vez. y < 0 x > 0.´ 1. Arg(z) z = (0 0) z = (0 0) . arctan(x)}. obteni´ndose resultados equivalentes. PROPIEDADES 25 asignarse un s´lo valor de argumento a cada punto. cuyos elementos son las coordenadas polares de un punto del plano complejo. y > 0 x < 0. podr´ elegirse cualquier otra determinaci´n del o ıa o argumento de z.10. la transformaci´n biyectiva o f: C −→ C   (x y) −→ (r θ) = x2 + y 2 . y < 0 x = 0. θ1 ∈ R es una de las posibilidades que define al nuevo par (r θ).

3 II. ´sta es condici´n suficiente para la igualdad de dos complejos. 1. donde debe destacarse esta diferencia. puede suponerse que al plano polar de los complejos (r θ) se le hace corresponder uno o m´s planos a cartesianos (uno para cada determinaci´n) que geom´tricamente se tienen por superpuestos.6. El m´dulo del producto es igual al producto de los m´dulos. o e o con independencia del valor de los respectivos argumentos. Producto en forma polar. Esto significa: (r θ) (r θ) (r′ θ′ ) := r(cos θ + i sen θ) = r′ (cos θ′ + i sen θ′ ) (r′ θ′ ) := (r θ) es congruente con (r′ θ′ ) La congruencia para z = (0 0) se reduce a la igualdad s´lo en el caso de la igualdad de los argumentos. son congruentes. Estos planos o e se llaman de Riemann. En o algunos casos. r=0 (r θ) r=0 (r θ) (r′ θ′ ) ⇔ r = r′ = 0 (r′ θ′ ) ⇔ r = r′ θ = θ′ Observaci´n 3: No debe perderse de vista la diferencia existente entre la igualdad y la congruencia. Una de las determinaciones del argumento del producto es igual a la suma de los argumentos de los factores . o Es decir que dos complejos expresados en forma polar con m´dulo no nulo (z = (0 0)) son congruentes.10. Igualdad en forma polar. teorema ya demostrado en o o 1. Congruencia A partir de la igualdad entre pares ordenados se obtiene: (r θ) = (r′ θ′ ) ⇔ r = r′ θ = θ′ Es decir.10. Cociente Una primera aplicaci´n donde la forma polar es particularmente eficaz es en el producto complejo: o 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. Por ejemplo.2.3. con distinta o igual determinaci´n o del argumento. Se dice que dos complejos expresados en forma polar. o En el caso de que el m´dulo sea nulo. se han creado artificios especiales. cuando son correspondientes de un mismo punto del plano complejo. NUMEROS COMPLEJOS 1. o cuando tienen los m´dulos iguales y sus argumentos difieren en una cantidad entera de 2π. o Un concepto que no debe confundirse con el de igualdad es el de congruencia. y son una forma de establecer una correspondencia biun´ ıvoca aplicable para trabajar con funciones multiformes.26 ´ CAP´ ITULO 1. la igualdad de dos n´ meros complejos es condici´n necesaria y suficiente de la igualdad de sus u o respectivos m´dulos y argumentos.

En efecto. n − 1 >. ahora tambi´n para ´ o o e exponentes fraccionarios. aplicando la f´rmula del producto y el principio de inducci´n completa. permite generalizar la expresi´n de la potencia. por lo tanto. θ + 2kπ θ + 2kπ + i sen ) n n la cual produce n´ meros complejos diferentes para todo k ∈ < 0. y son solamente n como se puede comprobar analizando su congruencia. estos ız e satisfacen: z −1 := (r′ (cos θ′ + i sen θ′ ))n = r(cos θ + i sen θ) equivalente a un sistema en coordenadas polares.´ 1. o en cartesianas. Radicaci´n o En el caso de potencia natural. La ultima de las f´rmulas halladas. cuya soluci´n no es unica para n > 1 pues existen o ´ diversas determinaciones que lo satisfacen y que originan ra´ diferentes: ıces r′n = r nθ′ = θ + 2kπ se sigue r′ = r1/n θ′ = θ+2kπ n k∈Z a partir de la cual se obtiene la expresi´n de la ra´ o ız. donde se generaliza la expresi´n del producto o r′ = 0 r(cos θ + i sen θ) r = ′ (cos(θ − θ′ ) + i sen(θ − θ′ )) r′ (cos θ′ + i sen θ′ ) r 1. se debe o convenir:  θ + θ′ > π  θ + θ′ − π  π θ + θ′ > −π Arg(z · z ′ ) = θ + θ′   θ + θ′ + π −π θ + θ′ La forma polar tambi´n es de sencilla aplicaci´n para la obtenci´n del cociente de dos complejos. o En rigor.4. PROPIEDADES 27 Aqu´ la suma de los argumentos puede cambiar la determinaci´n elegida. n ra´ ıces diferentes para un complejo no nulo. esto es un ejemplo de la ventaja de la creaci´n de artificios como los mencionados en la o Observaci´n 3 de este apartado. (r(cos θ + i sen θ))1/n = r1/n (cos .10. pero no afecta los resultados ı. u Existen. Potencia en forma polar.10. con e o o divisor no nulo. o o se obtiene: (r(cos θ + i sen θ))n = rn (cos nθ + i sen nθ) expresi´n que puede generalizarse para todo n entero si se conviene: o 1 z La f´rmula de la potencia se puede emplear tambi´n para la extracci´n de la ra´ en´sima de un o e o ız e complejo no nulo. FORMA POLAR DE UN NUMERO COMPLEJO. si se deseara mantener la determinaci´n principal para el argumento del producto. si un complejo r′ (cos θ′ + i sen θ′ ) es ra´ en´sima de otro complejo r(cos θ + i sen θ).

e u La representaci´n de los complejos por medio de segmentos orientados permite observar claramente o su caracter´ ıstica de estructura vectorial. Interpretaci´n geom´trica de las operaciones complejas o e Suma y diferencia Dados dos complejos z y z ′ . La suma geom´trica de dos n´ meros complejos se reduce entonces a la ley del paralelogramo. y z′ z z+z y′ z y x x x ′ ′ y z z′ z′ − z z x Figura 1. representados como segmentos orientados.28 ´ CAP´ ITULO 1. El argumento del producto es la suma del argumento de los factores. A partir de esta construcci´n se obtiene tambi´n por analog´ la representaci´n del cociente. .10. o o b. Figura 1. Producto y cociente El producto dedos complejos se puede representar recordando que: a. El m´dulo del producto es el producto del m´dulo de los factores.3: Representaci´n o geom´trica de la suma de dos e complejos. El significado geom´trico de la diferencia de dos complejos es f´cil de interpretar a partir de la suma. o e ıa o Un caso particular de inter´s es la construcci´n de la rec´ e o ıproca de un complejo no nulo.5.4: Representaci´n o geom´trica de la diferencia de dos e complejos. e a En el segundo gr´fico se ha representado esta operaci´n. su suma z + z ′ est´ represena tada por la diagonal del paralelogramo de acuerdo con el diagrama anexo. a o Un buen ejercicio es analizar los significados geom´tricos del neutro de la suma y del opuesto de un e complejo. que se deja a cargo del lector. NUMEROS COMPLEJOS 1.

n Ejemplo de ello es que toda la trigonometr´ puede deducirse en forma inmediata de las propiedades de ıa la forma exponencial. FORMA EXPONENCIAL DE UN NUMERO COMPLEJO 29 y z z′ α rr θ θ′ r θ 1 ′ z′ z α x Figura 1. o e Potencia y radicaci´n entera o La representaci´n gr´fica de la potencia es simplemente una aplicaci´n reiterada de la realizada para o a o el producto.6: Ra´ ıces quintas de un n´mero complejo z. lo que significa que se hallan sobre una circunferencia de radio r1/n . tiene gran importancia debido a o la simplicidad operativa que entra˜ a su empleo. Argumento: k ∈< 0. Una ra´ tiene argumento θ/n. llamada forma exponencial.6 se han representado a t´ ıtulo de ejemplo las ra´ quintas de un complejo (r θ) ıces z1 (r θ) z0 r z2 2π/5 θ 2π/5 θ/5 x r 1/n z4 z3 Figura 1. n − 1 >. Es de mayor inter´s el an´lisis de la radicaci´n. M´dulo: r1/n . el resto se ubica sobre la ız circunferencia en forma sucesiva con intervalos 2π/n. Forma exponencial de un n´ mero complejo u Una nueva expresi´n de la forma polar. Otra aplicaci´n para destacar es la definici´n del logaritmo y de la potencia en el o o campo complejo.11.5: Representaci´n geom´trica del producto de dos complejos. b. e a o Las n ra´ en´simas no congruentes de un complejo (r θ) tienen: ıces e a. u 1. igual para todas las ra´ o ıces. θ+2kπ n En la figura 1. .´ 1. que se hace por medio de dicha forma exponencial.11.

manteni´ndose sus principales propiedades. basados ambos en la definici´n de la funci´n o o o compleja ez Primer m´todo de definici´n de ez : e o El primer m´todo consiste en la definici´n de la funci´n ez por medio de una serie: e o o +∞ ez := k=0 zk z z2 zn =1+ + + ··· + + ..2. o Ambas propiedades muestran como con esta definici´n de ez se obtiene un extensi´n de la funci´n o o o real ex al campo complejo. A partir de la definici´n se pueden verificar las propiedades: o z = x =⇒ ez = ex que muestra como la exponencial compleja se reduce a la real cuando z tambi´n lo es. tomando z = x + iy y recordando los desarrollos de las funciones reales cos y y sen y es la f´rmula de Euler o ∀ y =⇒ eiy = cos y + i sen y Observaci´n 1: La introducci´n de la f´rmula de Euler para obtener la forma exponencial.11. o o o o 1. e Una tercera propiedad que se obtiene de la serie. llamada ley de los exponentes. Adem´s e a ∀ (z z ′ ) =⇒ ez+z = ez · ez ′ ′ que es la propiedad fundamental de la funci´n ez . k! 1! 2! n! que se estudiar´ en el cap´ a ıtulo espec´ ıfico.11. Esta serie es entera. se justifica por o o o la gran simplicidad que implica su empleo en el producto complejo. donde se reduce dicha operaci´n al o a ´lgebra de los exponentes: r(cos θ + i sen θ) · r′ (cos θ′ + i sen θ′ ) = r eiθ ·r′ eiθ ′ ′ = r r′ ei(θ+θ ) = r r′ (cos(θ + θ′ ) + i sen(θ + θ′ )) . Definici´n de la funci´n ez o o Los caminos para llegar a la f´rmula de Euler son dos. es decir convergente para cualquier complejo z. NUMEROS COMPLEJOS 1.. que se hace a continuaci´n.30 ´ CAP´ ITULO 1. que tambi´n es cumplida o e en el campo real por la funci´n ex . Expresi´n de la forma exponencial o La base de la forma es la f´rmula de Euler: o eiθ = cos θ + i sen θ la cual permite introducir a la forma exponencial de un n´ mero complejo como: u r eiθ := r(cos θ + i sen θ) r eiθ := forma exponencial de un n´ mero complejo u La validez de esta expresi´n se reduce a la discusi´n de la f´rmula de Euler.1.

1! 2! n! Observaci´n 2: Hay otro razonamiento. o e o No debe pensarse por ello. Se mantienen las propiedades formales de la derivaci´n del campo real en el campo complejo. e El segundo m´todo se basa en un enfoque de esta ´ e ındole para definir la f´rmula de Euler. de tipo heur´ o ıstico. sin embargo.. FORMA EXPONENCIAL DE UN NUMERO COMPLEJO 31 Esta es la raz´n del porqu´ adelantar la definici´n de ez como una serie. o el problema se reduce a la definici´n de la exponencial eiy (f´rmula de Euler) por ser: o o ex+iy = ex · eiy de acuerdo con la ley de los exponentes y sabiendo que ex es la funci´n de variable real conocida. Se mantiene la validez de la ley de los exponentes. o Por ser eiy un n´ mero complejo se tiene: u eiy = u(y) + iv(y) derivando como en el campo real. o b. o Segundo m´todo de definici´n de ez : e o Las dificultades de la introducci´n anticipada de una serie para definir ez se obvian con una definici´n o o de tipo formal como la que sigue: ez := ex (cos y + i sen y) Las propiedades principales de ez deducidas anteriormente tambi´n se obtienen como corolario de esta e definici´n: o z=x ∀ (z z ′ ) ∀y =⇒ =⇒ =⇒ ez = ex ez+z = ez · ez ′ ′ eiy = cos y + i sen y y adem´s es en el cap´ a ıtulo de series se podr´ demostrar que: a ez = 1 + z z2 zn + + ···+ + .. c. i eiy = u′ (y) + iv ′ (y) − eiy = u′′ (y) + iv ′′ (y) obteni´ndose entonces el sistema e u′′ + u = 0 v ′′ + v = 0 . a Esta forma puede ser considerada sencillamente como una expresi´n formal (una forma de escribir) de la o forma polar. porque los desarrollos posteriores para llegar a dicha serie no son afectados por el uso que se har´ de la forma exponencial. para indicar la razonabilidad de este segundo m´todo de definici´n de ez .11. para ser usada como regla mnemot´cnica en el producto de dos complejos. que se ha ca´ en un c´ ıdo ırculo vicioso.´ 1. Para z real la funci´n ez se reduce a ex . Si se desea hacer una extensi´n de la funci´n real ez al campo complejo de e o o o modo tal que se mantengan las siguientes propiedades: a.

definida por: o − : C −→ C z −→ z = (x. el producto. z1 + z2 = z1 + z2 es biyectiva y adem´s cumple a . o n 1.12. Empleando la forma exponencial.32 ´ CAP´ ITULO 1. u(0) = 1 v(0) = 0 u′ (0) = 0 v ′ (0) = 1 que aseguran al sistema de ecuaciones anterior a una soluci´n unica: o ´ u(y) = cos y v(y) = sen y Este razonamiento por supuesto no es una demostraci´n. de u u igual parte real y parte imaginaria opuesta. −y) z := Conjugado de z La funci´n conjugado de z. el cociente y la potencia de complejos en forma exponencial. El producto.11. adquieren su expresi´n m´s reducida. y aplicando la ley de los exponentes ex+i0 = ex ei 0 = 1 de donde se deducen las siguientes condiciones iniciales.3. NUMEROS COMPLEJOS Como para y = 0 ez se reduce a ex . el cociente y la potencia entera en el conjunto de los complejos. Conjugado de un complejo Se define como conjugado de un n´ mero complejo z a otro n´ mero complejo. −y) = x − iy I. z := (x. 1. sino es una orientaci´n a la definici´n de la o o o exponencial eiy . o a r eiθ ·r′ eiθ = r r′ ei(θ+θ ) ′ ′ ′ r eiθ r = ′ · ei(θ−θ ) ′ eiθ ′ r r (r eiθ )n = rn ei nθ 1 1 θ+2kπ n (r′ = 0) ) (r eiθ ) n = r n ei( f´rmulas que se verifican f´cilmente por su reducci´n a la forma polar y que son ejemplo de la facilidad o a o de operaci´n que entra˜ a la forma exponencial. simbolizado por z.

z z = |z|2 VII. el conjugado de un complejo z es el sim´trico respecto del eje x. z1 · z2 = z1 · z2 con lo cual establece un isomorfismo entre el cuerpo (C + ·) y s´ mismo. u En coordenadas polares. z′ z = z ′ ·z |z|2 n k=0 VIII. z = z IV. ı Otras propiedades para destacar del conjugado de un complejo son: III.1. Por lo o tanto para la forma exponencial resulta: z = r eiθ ⇔ z = r e−iθ La noci´n de complejo conjugado aparece en la resoluci´n de ecuaciones algebraicas con coeficientes o o reales. ıces Adem´s de esta aplicaci´n. z + z = 2x V.7: Conjugado de un n´mero complejo.12. Pn (x) = ak z k : ak ∈ R =⇒ Pn (z) = Pn (z) Gr´ficamente. el conjugado es el complejo de igual m´dulo y argumento opuesto. el conjugado se introduce por la comodidad que implica su empleo en las a o operaciones de producto y cociente de acuerdo a las propiedades VI y VII. o son complejas conjugadas. donde las ra´ o son reales. CONJUGADO DE UN COMPLEJO 33 II. . a e Y z r y x r −y X z ¯ Figura 1. z − z = i 2x VI.

34 ´ CAP´ ITULO 1. NUMEROS COMPLEJOS .

se llama tambi´n disco. 2. el conjunto de los complejos C conforma estructura de a espacio m´trico. por lo tanto. o De este hecho se arrastra entonces que en C puede construirse una estructura topol´gica. al definirse sobre ´l una distancia de acuerdo con la expresi´n e o pitag´rica que caracteriza dichos espacios.1: Bola de centro c y radio r. Definici´n de bola o En un espacio m´trico general se define como bola de centro c y radio r. analizar la aplicaci´n de los elementos b´sicos de topolog´ al campo o a ıa complejo. en el campo complejo B(c r) = {z : |z − c| < r . es un espacio eucl´ a ıdeo. exteriores y fronteras. cuyo s´ e ımbolo es B(c r). como as´ tambi´n las definiciones ı e de puntos de acumulaci´n y aislados. porque en caso contrario carecer´ de sentido ıan las definiciones posteriores de puntos interiores. o 35 .6. Observaci´n: Conviene se˜ alar que en la definici´n de bola (tambi´n llamada bola abierta) es indispensable o n o e que las desigualdades sean estrictas (r > 0 y d(x c) < r). e M´s en particular.Cap´ ıtulo 2 Elementos de Topolog´ en el Campo ıa Complejo Como ha sido desarrollado en el p´rrafo 1. Es conveniente. permite llegar al desarrollo de los conceptos de continuidad y diferencial. y desde el punto de vista geom´trico representa un c´ e e ırculo de centro en el complejo c y radio r. a: r B(c r) := {x : d(x c) < r . r > 0} B(c r) Figura 2.1. sin la circunferencia |z − c| = r. que acoplada o a la caracter´ ıstica de cuerpo. r > 0} c B(c r) := Bola de centro c y radio r d(x c) := Distancia del elemento x al elemento c En particular. con todas las consecuencias resultantes.

36 CAP´ ITULO 2.2: Entorno de un punto c. Toda bola B(c r) es un entorno de c. La existencia de un entorno de c es condici´n necesaria y suficiente de la existencia de una o bola de centro c. a todo entorno de c al cual se le excluye el mismo punto c. ∃ B(c r) =⇒ B(c r) ∈ Entorno de c b. ELEMENTOS DE TOPOLOG´ EN EL CAMPO COMPLEJO IA De la definici´n de bola se implica inmediatamente que su centro siempre le pertenece y por lo tanto o ella es un conjunto no vac´ ıo. r c U (c) ∈ Entorno de c := ∃ B(c r) : B(c r) ⊂ U (c) U (c) Figura 2. ∃ U (c) ⇔ ∃ B(c r) 2. De esta definici´n se extraen dos consecuencias inmediatas: o a. Vecinal de un punto c Se llama vecinal (o tambi´n entorno reducido) de un punto c.2. .3. Entorno de un punto c Se llama entorno de un punto c a todo conjunto del espacio m´trico (y en particular C) que contenga e una bola de centro c. ∃ B(c r) =⇒ c ∈ B(c r) =⇒ B(c r) = ∅ 2. en un espacio m´trico (en particular e e C).

se establece una subclase particular de la clase general definida por dicho sustantivo. Es decir. Sin embargo. exteriores y frontera o Los puntos de un espacio m´trico E pueden ser clasificados como: puntos interiores. porque este ultimo puede inducir a error.4. cuando a un sustantivo se agrega un adjetivo. cuando existe un entorno suyo que es parte del conjunto. Subconjunto definido por el sustantivo y el adjetivo: hombres altos.´ 2. existe un entorno del punto que e no contiene ning´ n punto del conjunto. 2. CLASIFICACION DE PUNTOS: INTERIORES.3: Vecinal de un punto c. pues no son entornos. este no es el caso de los entornos reducidos. puntos exteriores e o puntos frontera de un conjunto A (incluido en E) seg´ n la relaci´n de inclusi´n que puede establecerse u o o entre los entornos del punto y el conjunto A. que es parte del complemento de dicho conjunto en el espacio m´trico considerado. Ejemplo: Conjunto definido por el sustantivo: hombre. Observaci´n 1: Es usual representar a A o C ◦ {c}. Esto quiere decir que u . u Un punto se dice que es frontera de un conjunto (al cual puede o no pertenecer) cuando no existe ning´ n entorno del punto incluido totalmente en el conjunto o en su complemento. Clasificaci´n de puntos: Interiores. EXTERIORES Y FRONTERA 37 r c V (c) := U (c) C ◦ {c} V (c) := Vecinal de c V (c) C ◦ {c} := Conjunto complementario de {c} Figura 2. Es decir.4. Observaci´n 3: A diferencia de los entornos que nunca pueden ser vac´ los vecinales si pueden serlo o ıos. Las definiciones son las siguientes: Un punto se dice que es interior a un conjunto. en vez del m´s o e e a com´ n entorno reducido. u ´ En efecto. por la notaci´n de conjuntos o A − B := A C ◦ {c} con ella la notaci´n de vecinal se expresar´ o ıa: V (c) = U (c) − {c} Observaci´n 2: Se ha preferido el empleo del t´rmino vecinal (del franc´s “voisinage”). 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.

Espacio M´trico e A⊂E a ∈ Punto interior de A a ∈ Punto exterior de A := := ∃ U (a) : U (a) ⊂ A ∃ U (a) : U (a) ⊂ C ◦ A ∄ U (a) : U (a) ⊂ A U (a) ⊂ C ◦ A a ∈ Punto frontera de A := En el esquema adjunto se han representado ejemplos de los distintos tipos de puntos en el plano complejo. Por ejemplo. exteriores y frontera. La clasificaci´n de puntos introducida permite ahora definir: o A los conjuntos formados por los puntos interiores. una de ellas reducida a un punto. Observaci´n 2: Conviene remarcar que un punto frontera puede o no pertenecer al conjunto del cual es o frontera. Observaci´n 1: La noci´n de interior establecida a trav´s de la definici´n de punto interior. el centro de un c´ ırculo plano (conjunto A) es un punto interior del mismo si se toma como espacio m´trico de referencia al plano mencionado. . hay puntos del conjunto y puntos del complemento del conjunto. interior Pt. A Pt. pero no es un e punto interior del conjunto A si se toma como espacio de referencia a R3 . Debe observarse que el conjunto A (representado en color) consta de tres “partes”. (E d) ∈ Estr. exterior Figura 2. frontera Pt.38 CAP´ ITULO 2. Los centros de los entornos en los puntos considerados se han representado con punto negro en el caso de que pertenezcan a A. se los llama respectivamente.4: Clasificaci´n de puntos en un espacio m´trio e co. y con punto rojo en caso contrario. ELEMENTOS DE TOPOLOG´ EN EL CAMPO COMPLEJO IA en todo entorno de un punto frontera. es relativa al o o e o espacio dentro del cual se define.

5. exteriores o e y frontera. A =⇒ a ∈ A) EXT (A) = IN T (C ◦ A) EXT (A) ⊂ C ◦ A A a∈A V. ADH(A) := {a : a ∈ Pt. es exhaustiva. Adherencia Un elemento de un espacio m´trico E se dice que es punto de adherencia de un conjunto A ⊂ E e cuando cualquier entorno suyo contiene puntos del conjunto A. (E d) ∈ Estr. int. de adherencia de A} ADH(A) := Conjunto de los puntos de adherencia de 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 partici´n del conjunto E porque: o   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 IN T (A) := {a : a ∈ Pt. VI. Espacio M´trico e A⊂E a ∈ Punto de adherencia de A := ∀ U (a) =⇒ U (a) A=∅ Al conjunto de los puntos de adherencia de un conjunto A se lo llama Adherencia de A. EXT (A) := {a : a ∈ Pt. interior a A} De esta manera se comprueba que la clasificaci´n de puntos de un espacio m´trico en interiores.5. exterior a A} F R(A) := {a : a ∈ Pt. IN T (A) ⊂ A (a ∈ Pt. int. III. Las propiedades resultantes de las anteriores definiciones son: I. Exterior y Frontera del conjunto A.2. IV. A / F R(E) = ∅ F R(∅) = ∅ F R(A) = F R(C ◦ A) 2. II. ADHERENCIA 39 Interior. fr. C ◦ (IN T (A)) = F R(A) =⇒ a ∈ Pt.

en todo vecinal del punto de acumulaci´n hay puntos ıa. como as´ en otros temas que se tratar´n en el texto. o pertenecientes al conjunto A. Estos conceptos tienen particular importancia por su aplicaci´n en la definici´n de l´ o o ımite y convergencia.4 ten´ en cuenta los entornos de un punto en vez de los vecinales. X. XII. Clasificaci´n de puntos de adherencia o Los puntos de adherencia de un conjunto A ⊂ E se clasifican en dos tipos: puntos de acumulaci´n y o puntos aislados. (E d) ∈ Estr. XIII. A ⊂ ADH(a) IN T (A) ⊂ ADH(A) F R(A) ⊂ ADH(A) EXT (A) EXT (A) ADH(A) = ∅ ADH(A) = E F R(A) ADH(A) = IN T (A) F R(A) = F R(ADH(A)) F R(A) = ADH(A) ADH(C ◦ A) ADH(A) = ADH(ADH(A)) ADH(E) = E ADH(∅) = ∅ A ⊂ B =⇒ ADH(A) ⊂ ADH(B) ADH(A ADH(A B) = ADH(A) B) = ADH(A) ADH(B) ADH(B) 2. VII. ı a Esta segunda clasificaci´n para los puntos de un espacio m´trico (reducida a los puntos de adherencia) o e se caracteriza porque se realiza de acuerdo a la relaci´n de inclusi´n que puede establecerse entre los o o vecinales de un punto y el conjunto A. o ıa Un punto se dice que es de acumulaci´n de un conjunto A. o Un punto perteneciente al conjunto A se dice que es aislado cuando existe un vecinal suyo cuya intersecci´n con A es vac´ Esto significa que existe un vecinal del punto que no contiene ning´ n punto o ıa. cuando la intersecci´n de cualquier vecinal o o suyo con el conjunto A no es vac´ Es decir. ELEMENTOS DE TOPOLOG´ EN EL CAMPO COMPLEJO IA Algunas propiedades que se pueden extraer de las definiciones son: I. IV. Es claro que todo punto de acumulaci´n es de adherencia. VIII. IX. III.40 CAP´ ITULO 2. VI. V. de acumulaci´n de A := o a ∈ Pt.6. La clasificaci´n realizada en 2. aislado de A := ∀ V (a) =⇒ V (a) ∩ A = ∅ a∈A ∃ V (a) : V (a) ∩ A = ∅ . XI. u del conjunto A. Espacio M´trico e A⊂E a ∈ Pt. II.

VII. o o o e tambi´n clausura de A. XI. IX. II. acumulaci´n de A} o AISL(A) := {a : a ∈ Pt.´ 2. III.4) o Un punto que tiene esa cualidad. o ACU M (A) := {a : a ∈ Pt. aislado de A o / De esta manera se verifica que la clasificaci´n de puntos de la adherencia en acumulaci´n y aislados es o o exhaustiva. adherencia de A a ∈ Pt. Las definiciones que se han introducido de punto de acumulaci´n y punto aislado permiten ahora crear o dos nuevos conjuntos: A Pt. X. VIII. IV. VI.6. Esto permite escribir el siguiente teorema: a ∈ Pt. CLASIFICACION DE PUNTOS DE ADHERENCIA 41 Observaci´n 1: La noci´n de punto de acumulaci´n o o o nos es relativa al espacio dentro del cual se define (comparar con Observaci´n 1 del punto 2. Adem´s de esto. aislado Pt. la mantiene si se extiende el espacio a un superconjunto del primero. XII. acumulaci´n de A ⇔ a ∈ Pt. aislado de A} ACU M (A) := Conjunto de puntos de acumulaci´n de A o AISL(A) := Conjunto de puntos aislados de A Observaci´n 2: El conjunto de puntos de acumulaci´n de A suele llamarse tambi´n derivado de A. IN T (A) ⊂ ACU M (A) EXT (A) ⊂ ACU M (C ◦ A) EXT (A) ACU M (A) = ∅ ACU M (A) ⊂ ADH(A) AISL(A) ⊂ F R(A) AISL(A) ⊂ ADH(A) ACU M (A) ACU M (A) AISL(A) = ∅ AISL(A) = ADH(A) ACU M (E) = E ACU M (∅) = ∅ AISL(E) = ∅ AISL(∅) = ∅ Las propiedades VII a VIII aseguran que los conjuntos ACU M (A) y AISL(A) son una partici´n del o conjunto ADH(A). no debe olvidarse que los puntos de adherencia se pueden dividir en interiores a y frontera. .5: Puntos aislados y puntos de acumulaci´n del conjunto A. V. e Las propiedades que se desprenden de las definiciones son: I. acumulaci´n o Figura 2.

si un conjunto no es abierto.4 la noci´n de interior es relativa al espacio de referencia E. seg´ n o u el caso mencionado en 2. En el primer caso. en una extensi´n del espacio E. se introduce para o e establecer una caracter´ ıstica de su frontera. u Un conjunto se llama cerrado si todos los puntos de su frontera le pertenecen. Observaci´n 3: La terminolog´ usada por los textos en toda esta tem´tica es todav´ muy diversificada. Se define entonces: Un conjunto se llama abierto si ning´ n punto de su frontera le pertenece. a En efecto. A ∈ Cr := F R(A) ∩ A = F R(A) A ∈ Cr := A es un conjunto cerrado A ∈ Ab := A es un conjunto abierto A ∈ Ab := F R(A) ∩ A = ∅ Observaci´n 1: Esta clasificaci´n no es exhaustiva.6 se muestra un ejemplo de conjunto abierto. ELEMENTOS DE TOPOLOG´ EN EL CAMPO COMPLEJO IA 2. Conjuntos abiertos y conjuntos cerrados La condici´n de abierto y/o cerrado de un conjunto definido en un espacio m´trico. Por otro lado.42 CAP´ ITULO 2. pues de o e acuerdo con la Observaci´n 1 realizada en 2. o En la figura 2. o o Por ejemplo.4.6: Clasificaci´n de conjuntos seg´n contengan o u o no a sus fronteras. otro cerrado y un tercero que no es ni lo uno ni lo otro. Basta analizar para ello que si la frontera est´ compuesta por puntos del conjunto y por puntos del a complemento. ni o o debe pensarse que ambas caracter´ ısticas no pueden cumplirse simult´neamente. o ıa a ıa En cada caso se aconseja precisarla para evitar confusiones. A ∈ Ab / A ∈ Cr Abierto Cerrado A ∈ Cr / A ∈ Ab No abierto y no cerrado Figura 2. ıo Observaci´n 2: Los conceptos de conjunto abierto y cerrado dependen del espacio m´trico E. Son los que no tienen a frontera: el universo E y el conjunto vac´ ∅.7. existen conjuntos que son abiertos y cerrados simult´neamente. Un sin´nimo de conjunto cerrado es conjunto o completo. un punto interior se puede transformar en frontera. ning´ n punto de la frontera pertenece al u conjunto. en el segundo caso le pertenecen todos. y viceversa. . no significa que sea cerrado. no es ni abierto ni cerrado el conjunto en cuesti´n.

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 ∪ B ∈ Ab =⇒ A ∩ B ∈ Ab =⇒ A ∪ B ∈ Cr =⇒ A ∩ B ∈ Cr A ∈ Ab B ∈ Ab A ∈ Cr B ∈ Cr A ∈ Ab ⇔ C ◦ A ∈ Cr Es interesante ver tambi´n como se caracterizan. a A ∈ Acotado := ∃ B(c r) : r<k A ⊂ B(c r) A ∈ Acotado ⇔ sup[ d(z z ′ ) ] < r : (z z ′ ) ∈ A2 .8. Visto de otra manera. algunos de los conjuntos creados en los p´rrafos precedentes a B(c r) ∈ Ab IN T (A) ∈ Ab EXT (A) ∈ Ab ADH(A) ∈ Cr ACU M (A) ∈ Cr AISL(A ∈ Cr Observaci´n 4: Como se ha visto. Esta es la raz´n o e o por la cual tambi´n suele designarse como bola abierta. de radio finito. e F R(A) ∈ Cr 2. de acuerdo con las definiciones de conjunto abierto e y cerrado. toda bola de un espacio m´trico es un conjunto abierto.8.2. que lo e contenga. un conjunto es acotado cuando el supremo de la distancia entre dos cualesquiera de sus puntos est´ acotado. Conjunto acotado y conjunto compacto Un conjunto de un espacio m´trico se llama acotado si existe una bola B(c r).

En los conjuntos compactos se pueden generalizar los teoremas de funciones continuas de una variable real definidas sobre un intervalo determinado. entonces para todo punto del compacto a puede construirse una bola con centro en ese punto y que est´ contenida en el abierto e  A ∈ Compacto  D ∈ Ab =⇒ ∀ x ∈ A ∃ B(x r) ⊂ D   A⊂D Este teorema no es cierto para los conjuntos no acotados y tampoco para los conjuntos que no son cerrados. y posteriormente se aprovechan tambi´n para e la extensi´n de otros conceptos de variable compleja. 2.7: |z| > r. Por ejemplo. resulta conveniente introducir dos nuevas definiciones: el infinito complejo y el entorno de infinito. a funciones reales de varas variables y continuas. o r |z| > r Figura 2. 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. 2. para valores no acotados de la variable. una funci´n f real y continua definida sobre un compacto A cumple: o f est´ acotada a f alcanza su m´ximo y su m´ a ınimo absoluto en el compacto A. ELEMENTOS DE TOPOLOG´ EN EL CAMPO COMPLEJO IA Los conjuntos cerrados y acotados juegan un papel muy importante por sus propiedades particulares. o A ∈ Compacto := A ∈ Cr A ∈ Acot Si un conjunto es compacto y est´ incluido en un abierto.9. en primer lugar. . La base del razonamiento para crear los nuevos conceptos.44 CAP´ ITULO 2.9. Por esta raz´n se los designa con el nombre de compactos. Con ellas se pueden generalizar. que no es un elemento de C. definidas sobre un compacto.1. f es uniformemente continua en A. las definiciones conjuntistas de l´ ımite y continuidad. Infinito en el Campo Complejo Concepto de punto infinito en C Para analizar el comportamiento de funciones de variable compleja en el l´ ımite.

8 se han representado dos ejemplos de la transformaci´n que produce la inversi´n. y tiene la propiedad de transformar a: o o C´ ırculos del plano z en c´ ırculos del plano w cuando el origen de coordenadas es exterior al primero. o A −→ A′ F R(A) −→ F R(A′ ) B −→ B ′ . C´ ırculos del plano z en conjuntos exteriores a un c´ ırculo en el plano w. el segundo caso muestra como el c´ ırculo |z| < a se convierte en el conjunto |z| > 1/a. INFINITO EN EL CAMPO COMPLEJO 45 Uno de los medios para definir el punto infinito es a trav´s de la funci´n inversi´n: e o o inv : C −{0} −→ C −{0} z −→ 1/z definida sobre todo el campo complejo excepto el origen de coordenadas. o o En particular.2. por supuesto que hacemos excepci´n del origen. Esta funci´n es una biyecci´n de C −{0} a C −{0}.9. En la figura 2. cuando el origen de coordenadas es interior al primero.

o o El an´lisis geom´trico indica que un medio de interpretar a |z| > r como un c´ a e ırculo (bola del plano complejo) es introduciendo dos definiciones: a. Se considera que la parte “exterior”de un c´ ırculo es tambi´n un c´ e ırculo. De esta manera.46 CAP´ ITULO 2. Desde el punto de los espacios m´tricos. la funci´n inversi´n se generaliza. llamado punto infinito que es el correspondiente del origen de coordenadas a trav´s de la funci´n inversi´n. e o o b.8: Diversos conjuntos transformados mediante la funci´n inversi´n. Se introduce un nuevo ente ideal. no representable. Adem´s. ELEMENTOS DE TOPOLOG´ EN EL CAMPO COMPLEJO IA y z v w A B x A′ B′ u y z v w |z| > 1/a |z| < a A x B A′ B′ u Figura 2. la inversi´n da el medio de reducir el estudio de las funciones para valores no acotados de la a o variable al entorno de 0. El planteo anal´ ıtico es: . la idea anterior significa una extensi´n de los conceptos de e o bola y de entorno para el campo complejo. pudiendo enunciarse entonces: “Todo c´ o o ırculo que no tiene por frontera el origen se transforma en otro c´ ırculo”.

De todos modos. Conjunto Complejo Extendido Se llama conjunto complejo extendido a: ˆ C := C ∪ {∞} ˆ C := Conjunto complejo extendido ˆ Algebraicamente. llamada esfera de Riemann.9. siempre en el conjunto C ∪ {∞}. porque se vulnerar´ las leyes de la aritm´tica.9. y llamado punto infinito. z = ∞ z=0 z=∞ ∞ := Punto infinito o punto impropio Esta funci´n tambi´n es biyectiva o e 2o Se define bola de centro en ∞: B(∞ r) := {z : |z| > r} Con esta definici´n se extienden autom´ticamente los conceptos de entorno y de vecinal al punto o a infinito. entorno y vecinal de infinito pueden ser concebidos a trav´s de una equivalencia que puede establecerse entre el plano complejo y una esfera e tangente a ´l. o 2.2. Cabe se˜ alar. sin embargo.2. e La equivalencia se establece en lo siguientes t´rminos: e . se puede intentar extender las definiciones de suma y producto a C. de manera tal que generalice la inversi´n de la siguiente forma: o ∃∞ : Inv : C ∪ {∞} −→ C ∪ {∞}   1/z z −→ ∞  0 z = 0. Esfera de Riemann Los conceptos de punto infinito. postulando: ∀a∈C b=0 ∞+a= a+∞= ∞ ∞·b= b·∞ =∞ z/∞ = 0 z/0 = ∞ Quedan sin definir ∞ + ∞ y 0 · ∞. INFINITO EN EL CAMPO COMPLEJO 47 1o Se define un nuevo ente (que no es un elemento de C) simbolizado por ∞. 2.3.9. conjunto complejo extendido. ıan e ˆ estas definiciones son de relativa eficacia porque el conjunto C no alcanza ni la estructura de espacio vectorial ni la estructura de cuerpo. que V (∞) est´ compuesto totalmente por puntos de C y por ende es n a una noci´n aplicable en ese conjunto.

e En la figura 2.9: Esfera de Riemann. N y N y x x Figura 2. ELEMENTOS DE TOPOLOG´ EN EL CAMPO COMPLEJO IA N Si se proyectan. Esta ultima es la propiedad m´s importante y se hace una de ella cuando se desea interpretar a un ´ a entorno del punto infinito a trav´s de la equivalencia plano complejo . f : Esf −{N } −→ C Z −→ z Z y x z Figura 2. se define una aplicaci´n biyectiva o entre los puntos de la esfera (exceptuando el punto N ) y los puntos del plano. provisto de una distancia definida por la geod´sica entre e e e dos puntos (m´ ınima distancia). A circunferencias en el plano C le corresponden circunferencias sobre la esfera que no pasan por N . es decir. le corresponde un entorno del punto Z (aplicaci´n de z) de o la esfera de Riemann.esfera de Riemann. el punto infinito. Figura 2. II. los puntos de la esfera sobre el plano. La esfera tambi´n es un espacio m´trico.48 CAP´ ITULO 2.11: Proyecci´n estereogr´fica de una circunfeo a rencia que pasa por el origen de coordenadas. ˆ f : Esf −→ C Z −→ z Z=N ∞ Z=N Las caracter´ ısticas m´s destacadas de esta correspondencia son: a I.10: Proyecci´n estereogr´fica de o a una circunferencia que no pasa por el origen de coordenadas. Esta aplicaci´n puede extenderse tambi´n a N si se define un nuevo elemento arbitrario que le correso e ponde. ˆ III.11 se muestra como un casquete esf´rico con centro en el punto N (bola del espacio e m´trico constituido por la esfera) se transforma en una bola del plano complejo con centro en el punto e infinito. . A un entorno del punto z del plano C. con centro en N .

9. se dice que tiene cota superior k si: D⊂R k ∈ cota sup.2 pero son concepciones diso ˆ tintas. D := ∃ k ∈ R : ∀ x ∈ D =⇒ x k Se dice que el conjunto D tiene extremo superior infinito cuando no est´ acotado. Tampoco en el caso de R . INFINITO EN EL CAMPO COMPLEJO 49 Si el casquete esf´rico no contiene a N se transforma en un c´ e ırculo plano. a ˆ se alcanza la estructura de cuerpo.9. puede decirse que un conjunto D real tiene por extremo a inferior a menos infinito cuando no existe cota inferior. el infinito complejo. Observaci´n 1: La proyecci´n usada se llama estereogr´fica.2. Esta interpretaci´n de “infinito”tiene un paralelo con la vista en 2. 2o Una segunda definici´n de infinito se emplea al agregar al conjunto de los reales des elementos o nuevos llamados m´s infinito (+∞ )y menos infinito (−∞). Algunos de los diferentes sentidos que se le atribuyen son: 1o Dado un conjunto D incluido en R. Basta ver para ello que para pasar del C al C se crea un solo elemento. la de no estar o acotado. y por esta raz´n a la esfera de Riemann se la o o a o suele llamar tambi´n esfera estereogr´fica. ˆ Se establece convencionalmente la extensi´n de la suma y el producto a R. para conformar el conjunto de los a ˆ reales extendidos.4. El infinito complejo no debe ser confundido po lo tanto con otros significados dados de “infinito”. a Esta primera acepci´n de infinito se refiere a una propiedad de un conjunto real. e a 2.9. Diversas acepciones de “infinito” La palabra “infinito”tiene una gran variedad de acepciones en el lenguaje matem´tico y en el lenguaje a corriente. o ∀x∈R ∀x∈R −∞ < x < +∞ 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 · (+∞). Este concepto puede ser generalizado a cualquier conjunto ordenado y por lo tanto no puede serlo en el campo complejo. An´logamente. ˆ mientras que en el caso de extender R a R se crean dos: m´s infinito y menos infinito. simbolizado por R.

la cual no tiene de por s´ ning´ n significado particular.50 CAP´ ITULO 2. Como corolario de ´ste p´rrafo se aconseja no usar desprejuiciadamente el t´rmino “infinito”. En el contexto de “f (x) tiende al l´ ı u ımite 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. ELEMENTOS DE TOPOLOG´ EN EL CAMPO COMPLEJO IA 3o Un tercer empleo de la palabra infinito se hace en la frase “x tiende a +∞”. y es e a e conveniente precisar en cada caso su significado. .

Cap´ ıtulo 3 Funciones de Variable Compleja. f: z −→ f (z) = u(x y) + i v(x y) Observaci´n 1: Para designar a las funciones de variable compleja es usual tambi´n emplear el t´rmino o e e “funci´n compleja”. 51 . Interpretaci´n geom´trica o e El an´lisis geom´trico de las funciones de variable compleja requiere de cuatro dimensiones: dos para a e la variable z y dos para la variable w. La notaci´n habitual para este tipo de funciones es z = (x y) para representar a un elemento de D y o w = (u v) para un elemento de R.  D ⊂ C    R ⊂ C f ∈ func. var. Continuidad y L´ ımite 3. partes real e imaginaria de w. son sendas funciones reales de o dos variables. o 3.2. Funciones de variable compleja Se llama funci´n de variable compleja a una aplicaci´n cuyo dominio D y rango R son subconjuntos o o de C.1. compleja := f : D −→ R     z = (x y) −→ w = (u v) = f (z) Se desprende de la definici´n que u y v. Una soluci´n para ello es representar los elementos del dominio de la funci´n sobre un plano (llamado o o |z ) y los elementos del rango sobre otro plano (llamado |w ).

Ejemplo: Para analizar un caso determinado. la primera de las paralelas al eje o y (familia γ1 ). La funci´n z 2 transforma las familias γ1 y γ2 del plano |z en las familias Γ1 y Γ2 . o o De esta manera puede decirse que una funci´n de variable compleja establece una relaci´n entre un o o punto z del plano |z y un punto w del plano |w . Una forma de caracterizar geom´tricamente a las funciones de variable compleja es a trav´s de la e e representaci´n de las transformaciones que produce a curvas y conjuntos en general. o Esta representaci´n es util para resolver diversos problemas f´ o ´ ısicos de campos y potenciales. de un plano a otro.1: Transformaci´n de regiones en R2 mediante una funci´n de variable compleja. respectivamente. FUNCIONES DE VARIABLE COMPLEJA. CONTINUIDAD Y L´ IMITE y z v w Γ f (z) A z w x A′ γ u Figura 3. a . o del plano |w . y la segunda de las paralelas al eje x (familia γ2 ). o a a o Se mantienen los ´ngulos salvo en el caso cuando z = 0. a o  x = k  γ1 y = y   y∈R  x = x  γ2 y = k   x∈R  u = k 2 −y 2  2 z −→ Γ1 v = 2ky   y∈R  u = x2 −k 2  z2 −→ Γ2 v = 2kx   x∈R  2  u = k2 − v    4k 2     =⇒ u 0 v=0  2  u = v − k2    4k 2     u 0 v=0 k=0 k=0 =⇒ k=0 k=0 La funci´n z 2 transforma rect´ngulos del plano |z en rect´ngulos de lados parab´licos en el plano |w.52 CAP´ ITULO 3. se elige la funci´n: o f: C −→ C z −→ z 2 = x2 −y 2 + i 2xy que define el sistema: u = x2 −y 2 v = 2xy Para caracterizar la transformaci´n se eligen dos familias de rectas. que representan familias de par´bolas como se demuestra a continuaci´n.

f: D −→ R z −→ f (z) entonces se define como funci´n acotada a aquella cuyo m´dulo tiene cota superior.3.3. o o 3. y z v w Γ2 γ2 A′ A x u γ1 Γ1 Figura 3. El lector puede verificar que las familias Γ1 y Γ2 son ortogonales entre s´ ı.3. Sea una de estas.2: Transformaci´n de caminos mediante la funci´n f (z) = z 2 .1. o o f ∈ Acotada := ∃ k ∈ R : ∀ z ∈ D =⇒ |f (z)| < k k := Cota del m´dulo de la funci´n o o Se llama funci´n peri´dica de per´ o o ıodo T a aquella que cumple: f ∈ Peri´dica := ∃ T ∈ C : f (z + T ) = f (z) o . 3.3. Caracter´ ısticas y ejemplos Caracter´ ısticas Se definen algunas propiedades de las funciones complejas. FUNCIONES DE VARIABLE COMPLEJA. Funciones de variable compleja. es una propiedad general de ciertas funciones complejas que se estudiar´n en a los pr´ximos cap´ o ıtulos. CARACTER´ ISTICAS Y EJEMPLOS 53 Este hecho no es casual.

2. Funci´n racional o Rac : C−{r : Qm (r) = 0} −→ C z −→ Pn (z) Qn z La funci´n racional est´ definida entonces por el cociente de dos polinomios con dominio v´lida s´lo o a a o para aquellos complejos que no anulan el denominador. Ejemplos En el transcurso del texto ya se han visto diversas funciones complejas como: Parte real Parte imaginaria M´dulo de z o Argumento de z Conjugado de z Inversi´n o las que se completar´n con algunas otras de empleo frecuente: a Constante Cte : C −→ C z −→ k = w Polinomio complejo de grado n Pn : C −→ C z −→ n ak z k = Pn (z) k=0 n ∈ N0 . se tiene: o ı exp : C −→ C z −→ ez = ex cos y + i sen y . Como en ese caso n se llama grado del o o polinomio. FUNCIONES DE VARIABLE COMPLEJA.11. Exponencial La definici´n de la funci´n exponencial ha sido discutida detalladamente en el apartado 1. CONTINUIDAD Y L´ IMITE 3.2. o o Si se sigue la segunda orientaci´n all´ presentada. an = 0 Esta definici´n es una extensi´n de los polinomios reales.54 CAP´ ITULO 3.3.

formalmente igual a sus hom´nimas reales. secante y cosecante se definen a partir de a e las anteriores. CARACTER´ ISTICAS Y EJEMPLOS 55 definici´n v´lida sobre todo el campo complejo.3. o El desarrollo de la funci´n sen en forma bin´mica es: o o sen z = e−y ey (cos x + i sen x) − (cos x − i sen x) 2i 2i = sen(x) cosh(y) + i cos(x) senh(y) de donde se implica que es una funci´n no acotada.3. o 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 ′ ) adem´s. tanto sen z como cos z tienen per´ a ıodo real 2π. cotangente. . FUNCIONES DE VARIABLE COMPLEJA. tangente. como extensi´n de la funci´n exponencial real. o a o o Algunas de las propiedades para destacar son: Re(ez ) = ex cos y Im(ez ) = ex sen y arg(ez ) = y | ez | = ex ez = ez 1 = e−z ez ∄ z : ez = 0 ez = 1 =⇒ z = i 2kπ k∈Z La exponencial compleja es peri´dica con per´ o ıodo T = 2πi Funciones trigonom´tricas e A partir de la funci´n exponencial pueden extenderse al campo complejo las funciones trigonom´tricas o e reales: sen : C −→ C z −→ cos : eiz − e−iz 2i C −→ C z −→ eiz + e−iz 2 Las dem´s funciones trigonom´tricas.

56 CAP´ ITULO 3. Continuidad Definici´n o Para dotar de rigor al tratamiento del c´lculo integral. etc. o Esta. e o Para introducirse en la concepci´n de la noci´n de continuidad es m´s sencillo pasar por el significado o o a de su opuesto l´gico: la falta de continuidad. entre ellos por ejemplo los espacios o m´tricos y los espacios topol´gicos en general. o e Estas funciones se relacionan con las trigonom´tricas a trav´s de: e e sen z = −i senh(iz) cos z = cosh(iz) y son evidentemente peri´dicas con per´ o ıodo 2πi. 3. diferencial. es una de las ideas m´s importantes y fascinantes del an´lisis matem´tico. o Un primer acercamiento a la idea podr´ ser : “Los puntos x pr´ximos al punto a no tienen una ıa o aplicaci´n f (x) pr´xima a f (a)”.1. FUNCIONES DE VARIABLE COMPLEJA. sucesiones. 3. o o . es necesario a precisar la noci´n de continuidad. series. Queda a cargo del lector el an´lisis de las propiedades semejante a las de las funciones trigonom´tricas a e y exponencial.4.4. que ha abierto la a a a necesidad y el camino para nuevos cursos de estudio y creaci´n. CONTINUIDAD Y L´ IMITE Funciones hiperb´licas o Como extensi´n de las funciones hom´nimas reales se define en el plano complejo a las funciones seno o o hiperb´lico y coseno hiperb´lico: o o senh : C −→ C z −→ cosh : (ez − e−z ) 2 C −→ C z −→ (ez + e−z ) 2 Las restantes funciones hiperb´licas se definen tambi´n de la manera habitual.

uno para una funci´n de a o variable real. entonces la funci´n f es discontinua en a.3. a los casos de funciones reales de una e o varias variables y a las funciones complejas. Se incluye como caso particular. o o Simb´licamente: o f ∈ C/a / f ∈ C/a / := := ∃ U (f (a)).4. no e puede encontrarse ning´ n entorno de a. ∄ U (a) : ∀ x ∈ U (a) ∩ D =⇒ f (X) ∈ U (f (a)) La funci´n f no es continua en a o En el gr´fico anterior se han representado dos ejemplos de discontinuidad. o o o La definici´n es v´lida para cualquier funci´n f entre dos espacios m´tricos o subconjuntos de dichos o a o e espacios m´tricos. y tiene o en el lenguaje corriente un significado relativo al contexto de referencia. f: D −→ R : D⊂E R ⊂ E′ X −→ f (X) f ∈ C/a := ∀ U (f (a)) . es decir que la funci´n es continua.3: Funci´n de una vao riable real discontinua en a. de modo tal que todos los elementos de U (a) ∩ D. por supuesto.4: Funci´n de una variable compleja discontio nua en a. U (a). U (f (a)). que como se observa no est´ incluida en U (f (a)). La noci´n de distancia con la consiguiente definici´n de entorno es la que permite dotar de rigor a las o o definiciones buscadas. esta expresi´n carece de sentido porque la palabra “proximidad”es indefinida. si dado un entorno de f (a). CONTINUIDAD 57 D U(f (a)) f (a) U(a) R a U(f (a)) f (a) a U(a) x Imagen de U (a) Figura 3. Lo que puede ser pr´ximo en un o caso. ∃ U (a) : ∀ X ∈ U (a) ∩ D =⇒ f (X) ∈ U (f (a)) . y otro para una funci´n de variable compleja. Sin embargo. Se puede decir con precisi´n entonces para una funci´n o o f: D −→ R X −→ Y = f (X) donde D y R son subconjuntos de los espacios m´tricos E y E ′ . a El opuesto l´gico de esta definici´n nos asegura que no hay “salto”. Sobre el rango de cada una de las aplicaciones o se ha coloreado la imagen de U (a). Figura 3. tengan u aplicaci´n en U (f (a)). puede no serlo en otro.

CONTINUIDAD Y L´ IMITE Observaci´n 1: Debe observarse que en la definici´n no se exige ninguna condici´n especial al punto a.1. para asegurar que para o o o los puntos X considerados exista imagen f (X). o a ∈ Pt. ıo A partir de la definici´n de continuidad se extrae el siguiente teorema: o Teorema 3. o o o salvo que pertenezca al dominio de la funci´n para que exista f (a). U (f (a)) = {w : |w − f (a)| < ǫ} resultando: f ∈ C/a := ∀ ǫ > 0 .4. Toda funci´n es continua en los puntos aislados de su dominio. 2o Hay funciones continuas que no tienen l´ ımite. ∃ δ > 0 : ∀ z ∈ {z : |z − a| < δ} ∩ D =⇒ |f (z) − f (a)| < ǫ U (a) = {z : |z − a| < δ} 3. dominio de la funci´n. o o y tambi´n por ello desde el punto de vista pedag´gico se puede explicar y entender mejor dicho e o concepto. y se escribe: e f ∈ C/A := ∀ a ∈ A =⇒ f ∈ C/a f ∈ C/A := La funci´n f es continua sobre el conjunto A. En particular. o Por definici´n de Pt.2. Para el caso particular de funciones de variable compleja.58 CAP´ ITULO 3. aislado D =⇒ f ∈ C/a Demostraci´n. FUNCIONES DE VARIABLE COMPLEJA.4. tomando como entornos a bolas con centro a y f (a) respectivamente en los planos |z y |w. se dice que la funci´n es continua sobre o ´l. Continuidad sobre un conjunto La definici´n de continuidad se refer´ a un punto espec´ o ıa ıfico a del dominio de la funci´n. o . la definici´n de continuidad se puede reducir o a una forma operativa. o Si esta propiedad se puede extender a un conjunto de puntos. las definidas sobre un punto aislado. o Observaci´n 2: En la definici´n se interseca a U (a) con D. el conjunto U (a) ∩ D nunca es vac´ porque por lo menos contiene al punto a. aisl: o ∀ U (f (a)) ∃ U (a) : U (a) ∩ D = {a} Luego ∀ X ∈ U (a) ∩ D ∀ X ∈ {a} =⇒ =⇒ f (a) ∈ U (f (a)) Observaci´n 3: Se ha introducido la noci´n de continuidad precediendo al concepto de l´ o o ımite por dos razones: 1o Porque desde un punto de vista heur´ ıstico el l´ ımite es una extensi´n de la noci´n de continuidad.

es necesario que V (a) ∩ D = ∅. Esta es la raz´n para postular que el punto a debe ser de acumulaci´n de D. cual es ese valor f (a). o a o Observaci´n 3: La definici´n del l´ o o ımite de una funci´n no permite su obtenci´n. La frase “X tiende a a”no tiene significado propio sino como parte de la expresi´n anterior. Por supuesto esto no siempre es posible y en ese caso se dice que no existe el l´ e ımite. o No se toma en cuenta lo que sucede en a. en caso afirmativo. o o De acuerdo a la Observaci´n 2 del p´rrafo 3.1 esto no era necesario en la definici´n de continuidad. o Simb´licamente se define entonces: o f: D −→ R : D⊂E R ⊂ E′ a ∈ Pt. 3.3. L´ ımite Definici´n de l´ o ımite Puede hacerse una extensi´n del concepto de continuidad a los puntos de acumulaci´n del dominio de o o una funci´n f (pertenezcan o no a ´l). El llamado “c´lculo de l´ o a ımites”se reduce a la aplicaci´n de teoremas que ligan l´ o ımites de funciones conocidas y tabuladas. L´ IMITE 59 3. acumulaci´n de D o f (X) − − → L := ∀ U (L) .5. ∃ V (a) : ∀ X ∈ V (a) ∩ D =⇒ f (X) ∈ U (L) −− X−→a X −→ f (X) f (X) − − → L := f tiende a L cuando X tiende a a. o Observaci´n 2: Para asegurar el sentido de la definici´n de l´ o o ımite.5. En particular. o Es decir. cuando existe un elemento L del espacio E ′ (donde se aplica f ). Es decir. −− X−→a Otra notaci´n usual para representar a la definici´n de l´ o o ımite es: X→ a l´ f (X) = L ım Observaci´n 1: La diferencia formal de esta definici´n con respecto a la de continuidad es que se ha o o empleado el s´ ımbolo V (a) en lugar de U (a). punto para el cual puede existir o no la funci´n. el uso de vecinales de a es obligado porque no debe tenerse en cuenta si existe o no la funci´n en a y tampoco.4. sino simplemente su o o verificaci´n. si la definici´n de l´ o ımite se expresa para funciones de variable compleja tomando como . o e que pueda hacer las veces de f (a) en la definici´n de continuidad.5. La terminolog´ usada para expresar la existencia de tal n´mero L es: “f (X) tiende a L cuando X ıa u tiende a a”.1. el l´ ımite L es el valor hipot´tico que habr´ que asignarle al punto a para que la funci´n e ıa o fuera en ´l continua. La definici´n de vecinal de infinito en el plano complejo permite la extensi´n de la definici´n de l´ o o o ımite a ese caso sin necesidad de modificaciones.

60 CAP´ ITULO 3. ∃ 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} a −→ f (a) ∀ U (f (a)) . ∃ δ > 0 : ∀ z ∈ {0 < |z − a| < δ} ∩ D =⇒ |f (z) − L| < ǫ −→ z→a f (z) − − L := ∀ ǫ > 0 . CONTINUIDAD Y L´ IMITE entorno a bolas del plano. ∃ δ > 0 : ∀ z ∈ {0 < |z − a| < δ} ∩ D =⇒ |f (z)| > M −→ z→a La ultima expresi´n significa que en el vecinal del punto a la funci´n no est´ acotada. resulta: f (z) − − L := ∀ ǫ > 0 . Para que una funci´n f : D −→ R sea continua en un punto a de acumulaci´n de D.5. ∃ V (a) : ∀ X ∈ V (a) ∩ D =⇒ f (X) ∈ U (L) H3 =⇒ ∀ U (f (a)) . FUNCIONES DE VARIABLE COMPLEJA. ´ o o a La relaci´n entre las definiciones de continuidad y l´ o ımite est´ dado por el siguiente teorema: a Teorema 3. acum D H2 f : a −→ f (a) ⇐⇒ f ∈ C/a   H3 L = f (a) f ∈ C/a =⇒ Eligiendo V (a) V (a) = U (a) − {a} Resulta entonces: ∀ U (f (a)) . ∃ V (a) : ∀ X ∈ V (a) ∩ D =⇒ f (X) ∈ U ((f (a))) Aplicando la definici´n de l´ o ımite. se observa que existe y es f(a) L = f (a) Se pasa a la condici´n suficiente o H1 =⇒ ∀ U (L) .1. e ı o  H1 f (X) − − L  −→   X→a a ∈ Pt. En primer lugar se encara la condici´n necesaria o o a ∈ ACU M (D) =⇒ V (a) ∩ D = ∅ . o o es condici´n necesaria y suficiente que exista l´mite de la funci´n para X tendiendo a a. ∃ r : ∀ z ∈ {|z| > r} ∩ D =⇒ |f (z) − L| < ǫ −→ z→∞ f (z) − − ∞ := ∀ M . ∃ U (a) : ∀ X ∈ U (a) ∩ D =⇒ f (X) ∈ U (f (a)) Demostraci´n. que exista f (a) o ı o y tambi´n que el l´mite sea igual al valor de la funci´n f (a).

En cuanto a la continuidad. La existencia de la funci´n compuesta est´ asegurada porque R ⊂ D′ . Que a es un punto de acumulaci´n est´ impl´ o o a ıcito en la definici´n de l´ o ımite.5: Composici´n de funciones de una variable compleja. ∃ U (a) : ∀X ∈ U (a) ∩ D =⇒ f (X) ∈ U (f (a)) Con lo cual queda probado que la funci´n es continua. ∃ U (a) : ∀ X ∈ U (a) ∩ D =⇒ f (X) ∈ U (f (a)) . Operaciones con l´ ımites El enfoque hecho en los conceptos de l´ ımite y continuidad por medio de las estructuras de los espacios m´tricos permite demostrar una sola vez propiedades que son comunes a determinados conjuntos.3. H1 =⇒ a ∈ Pt. la composici´n de dos funciones o continuas es continua.5. acumulaci´n de D o 3.5. f: g: D′ −→R′ D −→R : R ⊂ D′ f ∈ C/a g ∈ C/f (a) =⇒ g ◦ f ∈ C/a R′ f D X a U(a) f (a) U(f (a)) R D′ Y = f (X) g g(Y ) g(f (a)) U(g(f (a))) Figura 3.2. ∃U (f (a)) : ∀ Y ∈ U (f (a)) ∩ D′ =⇒ g(Y ) ∈ U (g(f (a))) H1 =⇒ ∀ U (f (a)) .5. En el caso de las funciones compuestas en cualquier espacio m´trico. e Esto tambi´n significa que si dos conjuntos tienen leyes de composici´n formalmente iguales. o Demostraci´n. L´ IMITE 61 Resulta ∀ U (f (a)) . las proe o piedades y teoremas demostrados para uno son v´lidos para el otro. como lo expresa el siguiente teorema: Teorema 3.2. el l´ e ımite de una funci´n compuesta o es igual a la composici´n de los l´ o ımites. o o a H2 =⇒ ∀ U (g(f (a)) . a Muchas de las propiedades estudiadas en las funciones reales pueden ser extendidas.

o e f (X) −→ F g(X) −→ G f (X) −→ F λ −→ Λ =⇒ =⇒ =⇒ f + g −→ F + G λf −→ λF λf −→ Λf La prueba de estas propiedades de la suma y producto vectorial. La consecuencia de este an´lisis es que la continuidad y el c´lculo de l´ a a ımite de las operaciones del cuerpo de los reales se extienden al cuerpo de los complejos. la m´trica y la vectorial. Para el caso de continuidad.5. CONTINUIDAD Y L´ IMITE Eligiendo en la segunda expresi´n un U (f (a)) conveniente o ∀ U (g(f (a))) . diferencia. adem´s. Esta es la relaci´n esencial entre las dos estructuras del espacio normado. suponiendo que los l´ ımites existan. pero adem´s se puede demostrar directamente a partir de a |(u + i v) − (U + i V )| |u − U | + |v − V | Como puede acotarse el segundo miembro por la suma de dos n´ meros arbitrarios. En concreto.62 CAP´ ITULO 3. La condici´n suficiente se puede demostrar directamente a partir del teorema del l´ o o ımite de la suma. diferencia. ∃U (a) : ∀ X ∈ U (a) ∩ D =⇒ g ◦ f (X) ∈ U (g(f (a))) La continuidad y el c´lculo de l´ a ımites para las operaciones vectoriales se extiende a todos los espacios normados. . reales no negativos. Pero. la suma. producto y cociente (exceptuando el caso de denominador cero) de l´ ımites es igual al l´ ımite de la suma. Una funci´n de variable compleja tiende a un l´mite si y s´lo si su parte real tiende a o ı o la parte real del l´mite. u el primer miembro tambi´n est´ acotado arbitrariamente. coinciden formalmente con las correspondientes a las funciones reales de una variable.3. es inmediata aplicando la definici´n de o l´ ımite y teniendo en cuenta que N ((f + g) − (F + G)) 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. a Un teorema relativo al l´ ımite de la parte real e imaginaria de una funci´n de variable compleja es: o Teorema 3. y por lo tanto hay l´ e a ımite. el resultado de la extensi´n de las funciones reales de una variable es o an´logo. siempre suponiendo que los l´ ımites son finitos. FUNCIONES DE VARIABLE COMPLEJA. como as´ tambi´n la parte imaginaria tiende a la parte imaginaria del l´mite. producto y cociente de las funciones complejas. ı ı e ı  u(x y) − − U  −→ z→a ⇐⇒ u(x y) + i v(x y) − − U + i V −→ z→a v(x y) − − V  −→ z→a Demostraci´n. como las definiciones de continuidad y de l´ a ımite hechas para dichas funciones.

1. conceptos que conviene precisar y analizar con detenimiento. [an−1 . u y adem´s en los puntos de discontinuidad existen los l´ a ımites de la funci´n por la derecha y por la izquierda. n > f ∈ CP [a b] := f : I = [a. CURVAS EN EL CAMPO COMPLEJO. se trabaja con conjuntos tales o o como curvas. el intervalo I se puede descomponer en un n´ mero finito de o o u intervalos [a0 . [a1 . Caminos y lazos Para el desarrollo de la derivaci´n e integraci´n en el campo complejo. u ∈ C/a v ∈ C/a ⇐⇒ u + i v ∈ C/a 3. a1 ].6. .5.6.1. Curvas en el campo complejo. . 3. o Una consecuencia inmediata de este teorema es la siguiente: Corolario 3. lazos. a2 ]. caminos. o No es necesario para esta definici´n que la funci´n tome valores en los puntos de discontinuidad.3. Continuidad por partes de funciones reales Una funci´n de variable real. .3.6. b] − {ak } −→ Rn : f ∈C I ∀ k .6. respectivamente. CAMINOS Y LAZOS 63 Del mimo modo la condici´n necesaria: o |Re(z)| |z| ∧ |Im(z)| |z| de acuerdo con las propiedades de 1. an ] . . ∃ f (a+ ) = l´ f (x) ım k x→ak x>ak a = a0 < a1 < a2 < · · · < an = b ∃ f (a− ) = l´ f (x) ım k x→ak x<ak f ∈ CP [a b] := La funci´n f es continua por partes sobre el intervalo [a b] o Observaci´n: De acuerdo con la definici´n. Una funci´n compleja es continua si y s´lo si son continuas sus partes real e imao o ginaria. o o Simb´licamente: o                        k ∈ < 0.etc. se dice que es continua por partes sobre un intervalo cerrado y acoo tado (compacto) [a b] cuando salvo para un n´ mero finito de puntos es continua sobre dicho intervalo.2 |u − U | |(u + i v) − (U + i V )| |v − V | |(u + i v) − (U + i V )| entonces por razonamiento an´logo al anterior existen los l´ a ımites de la parte real e imaginaria de la funci´n compleja y son U y V .

FUNCIONES DE VARIABLE COMPLEJA. La trayectoria puede tener puntos m´ ltiples. γ(b) := Extremo final del camino.2.  γ ′ ∈ C d /  II. ∃ γ ′ (d+ ) =⇒ ∃ puntos angulosos con dos tangentes   ′ − ∃ γ (d ) .6. e Desde el punto de vista geom´trico γ(t) describe una trayectoria γ(I) (imagen de I) con las carace ter´ ısticas: I. CONTINUIDAD Y L´ IMITE donde para cada uno de ellos se puede definir fk [ak . t := Par´metro a Tambi´n se suele expresar que γ es un camino que une los puntos origen γ(a) y el extremo γ(b). para diferentes valores de t puede corresponu derle el mismo par (x y). γ ′ ∈ C c ∧ γ′ = 0 III. Camino Se llama camino a toda aplicaci´n continua de un intervalo real cerrado y acotado (compacto) [a b] o sobre el conjunto de los complejos C. γ ∈ Camino := γ : I = [a b] −→ C  a = b  t −→ x(t) + i y(t) : γ ∈ C [a b]  ′  γ ∈ CP [a b] Observaci´n: Por ser γ ′ ∈ CP entonces o b γ(t) = C + a γ ′ (s) ds La terminolog´ usada con relaci´n a los caminos es la siguiente: ıa o γ(a) := Origen del camino o extremo inicial. es decir. ak+1 ] −→ Rn   f (a+ ) k x −→ f (x)  f (a− ) k x = ak x ∈ (ak .64 CAP´ ITULO 3. Ejemplo el punto m. con la condici´n adicional de que la aplicaci´n tenga derivada o o continua por partes. ak+1 ) x = ak+1 y a partir de all´ la integral definida seg´ n Cauchy se extiende como suma de un n´ mero finito de integrales ı u u definidas (las funciones fk son continuas sobre un compacto): b n−1 ak+1 f (x) dx = a k=0 ak fk (t) dt 3.

Si un camino pasa varias veces por un mismo punto (para diferentes valores del par´metro t).3.6. Otra definici´n util para los desarrollos posteriores es: o ´ γ ∈ Camino contenido en D := γ ∈ Camino : γ(I) ⊂ D 3.6.6: Camino en el campo complejo. Lazo Se dice que un camino es un lazo cuando los extremos son iguales: γ ∈ Lazo := γ ∈ Camino : γ(a) = γ(b) Es usual decir tambi´n que el lazo γ tiene origen en γ(a). CURVAS EN EL CAMPO COMPLEJO. pues entre ambos existe la misma diferencia que entre funci´n e imagen de la funci´n.4.6. corresa ponden un s´lo elemento de la curva (un s´lo elemento de γ(I)). e γ(a) = γ(b) γ(t0 ) | | | a t0 b Figura 3. CAMINOS Y LAZOS 65 γ(a) c = γ(t0 ) m γ(b) | | | a t0 d b Figura 3. γ(I).7: Lazo en el campo complejo. No deben confundirse los conceptos de camino y curva. o o . 3. Curva Se llama curva a la imagen de γ.3. o o Puede haber varios caminos con la misma curva.

|z| = 1. Sin embargo son caminos diferentes. . la circunferencia de centro en el origen de coordenadas y radio 1. CONTINUIDAD Y L´ IMITE Ejemplo: Los tres caminos cf1 : [0 2π] −→ C [0 2π] −→ C [0 2π] −→ C t −→ cos t + i sen t = eit t −→ e2it t −→ i eit cf2 : cf2 : tienen por imagen a una misma curva. 0) (1. a:   γ:  ∗ γ∗ : γ ∈ Camino opuesto de γ :=   I = [a b] −→ C I = [a b] −→ C t −→ γ(a + b − t) El origen y el extremo de γ ∗ son respectivamente γ(b) y γ(a). a 3. 0) 1 + 2π cf2 (1. 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. y simbolizado por γ ∗ . Desde el punto de vista geom´trico.6. basta para ellos comparar: origen extremo no de vueltas sentido giro longitud cf1 (1. Caminos diferentes con igual imagen pueden dar resultados diferentes. pero “recorrida en sentido inverso”. 0) 2 + 2π cf3 0. FUNCIONES DE VARIABLE COMPLEJA. Observaci´n: La diferencia de las nociones de camino y curva es importante y debe ser tenida en cuenta en o el c´lculo de integrales complejas. 1 0.5. Caminos opuestos y yuxtapuestos Camino opuesto Un camino se llama opuesto de otro γ definido sobre I. 0) (1.66 CAP´ ITULO 3. la e curva que representa al camino γ y a su opuesto es la misma.

3. se puede considerar un lazo tambi´n como yuxtaposici´n de dos e o caminos. CURVAS EN EL CAMPO COMPLEJO. e . Se deduce inmediatamente de la definici´n que si o γ := γ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 yuxtaposici´n de otros dos. b + d − c] γ1 ∨ γ2 := Camino yuxtaposici´n de γ1 y γ2 o γ2 (d) γ1 (I1 ) γ1 (a) γ1 (b) = γ2 (c) I1 | | | | γ2 (I2 ) I2 | a b b+d−c c d Figura 3. obtenidos dividiendo el intervalo o 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. b + d − c] −→ C γ1 (b) = γ2 (c) γ1 ∨ γ2 : t −→ γ(t) = γ1 (t) γ2 (t + c − b) t ∈ [a b] t ∈ [b. γ1 ∨ γ2 .8: Caminos yuxtapuestos. pero de origen en el punto γ(c). El camino γ2 ∨ γ1 tambi´n es un lazo. γ1 : γ2 : I1 = [a b] −→ C I1 = [c d] −→ C [a.6. CAMINOS Y LAZOS 67 Caminos yuxtapuestos Un camino es la yuxtaposici´n de otros dos γ1 y γ2 cuando al extremo del primero es el origen del o segundo y se define de acuerdo a las condiciones siguientes.

pues Sk (ak ) = Sk+1 (ak ). ´ o o . Si α = 0 la funci´n se reduce a un camino constante.6. n > P (a) P (b) a a0 | I1 a1 | I2 a2 | b an | Figura 3. Si α es entero no nulo. Ejemplos de caminos Algunos casos de inter´s particular son: e Camino constante Se dice que un camino es constante si su imagen se reduce a un solo punto. CONTINUIDAD Y L´ IMITE 3.68 CAP´ ITULO 3.6.4).6. la imagen γ(I) es la circunferencia unidad recorrida α veces (ver ejemplo del p´rrafo 3.9: Camino poligonal. ak ] −→ C P : I = [a b] −→ C :    t −→ ck t + dk    ck ak + dk = ck+1 ak+1 + dk+1 k ∈ < 1. o   a = a0 < a1 < · · · < an = b    P = S ∨S ∨ ···∨ S  1 2 n  Sk : [ak−1 . a o Segmento El cl´sico segmento de recta se representa anal´ a ıticamente por: Sgm : I = [a b] −→ C t −→ ct + d : c ∈ C. FUNCIONES DE VARIABLE COMPLEJA. d ∈ C Poligonal o l´ ınea quebrada Toda yuxtaposici´n de segmentos se llama poligonal. La ultima condici´n es la de yuxtaposici´n. γ ∈ Camino constante := γ(I) = {a} Arco de circunferencia unidad Esta funci´n es: o cf (α) : [0 1] −→ C t −→ e2πiαt : α ∈ R y es un camino cuya imagen es parte (o todo) de la circunferencia de radio unitario |z| = 1.

Camino simple.6. esto significa geom´tricamente ı o e que no hay puntos m´ ltiples. :=   ϕ ∈ creciente      ∃ ϕ : I2 −→ I1 : ϕ ∈ C/I2    ′     ϕ ∈ CP/I2          γ2 (t) = γ1 (ϕ(t)) . Caminos equivalentes Des caminos se dicen equivalentes cuando puede establecerse una biyecci´n creciente entre los respeco tivos intervalos de definici´n. CAMINOS Y LAZOS 69 3. Camino simple Caminos no simples Lazo simple Lazos no simples Figura 3. CURVAS EN EL CAMPO COMPLEJO.6. u o Si γ es un lazo y camino simple.3. se dice que es un lazo simple.10: Ejemplos de caminos y lazos. a As´ se designa a todo camino γ determinado por una funci´n inyectiva.8. Anal´ ıticamente: γ : I = [a b] −→ C γ ∈ Camino simple := ∀ (t s) ∈ I × I − {(a b)} =⇒ (γ(t) = γ(a) ⇔ t = a) 3. hecha excepci´n de los extremos del camino.6. de acuerdo con las condiciones o   γ1 : I1 = [a b] −→ C      γ2 : I2 = [c d] −→ C         ϕ ∈ biyectiva     (γ1 γ2 ) ∈ Caminos equiv. Lazo simple Un tipo de camino particularmente importante es el que se llamar´ camino simple o arco de Jordan.7.

o 3. FUNCIONES DE VARIABLE COMPLEJA.8.11: Ejemplo de conjuntos conexos.   D ⊂ Rn     γ(a) = x  D ∈ Conexo :=  ∀ (x y) ∈ D × D =⇒ ∃ γ : I = [a b] −→ Rn : γ(b) = y      γ(I) ⊂ D En particular. origen y extremo. Conjuntos conexos Un conjunto D de un espacio Rn se dice conexo.8.1. Un c´ ırculo en el plano complejo |z − a| < r (bola en el campo complejo) es conexo. Este resultado permite reducir todo camino a un equivalente con intervalo de definici´n I = [0 1].7.12: Ejemplo de conjuntos no conexos. cuando todo par de puntos de D puede ser unido por un camino contenido en D. Homotop´ de caminos y lazos ıa Homotop´ de caminos ıa La idea de homotop´a entre dos caminos significa intuitivamente que puede pasarse de uno a otro a ı trav´s de una deformaci´n continua. 3. Geom´tricamente algunos ejemplos son: e A B E C D F Figura 3. el camino γ puede ser una poligonal.   γ1 (I) = γ2 (I)  (γ1 γ2 ) ∈ Caminos equiv. e o . Figura 3.70 CAP´ ITULO 3. =⇒ γ1 (a) = γ2 (c)   γ1 (b) = γ2 (d) t −→ γ1 (λt + µ) : λ > 0 es siempre equivalente al camino γ1 . CONTINUIDAD Y L´ IMITE Un camino γ2 : Los caminos equivalentes. 3. tienen igual imagen.

Esto significa que ı todos los caminos de la homotop´ son lazos. ıa (γ1 γ2 ) ∈ h⊙ (D ϕ) := (γ1 γ2 ) ∈ h(D ϕ) : ∀ s ∈ J =⇒ ϕ(a s) = ϕ(b s) (γ1 γ2 ) ∈ h⊙ (D ϕ) := γ1 y γ2 son hom´topos por la homotop´ de lazos ϕ en el conjunto D.2. o 3. Homotop´ de lazos ıa Se llama homotop´a de lazos a aquella que para todo elemento de J da un lazo.8. a ϕ es continua respecto de dos variables.13: Homotop´ de los caminos γ1 y γ2 en D ıa Observaci´n: Se destacan algunas particularidades de la definici´n de caminos hom´topos: o o o γ1 y γ2 est´n definidos sobre el mismo intervalo I.3. (t s) ∈ I × J. o ıa . No se exigen condiciones de derivaci´n para ϕ salvo las impuestas a γ1 y γ2 . HOMOTOP´ DE CAMINOS Y LAZOS IA 71 Matem´ticamente puede definirse: a                                D ∈ abierto D⊂C γ1 : I = [a b] −→ C : γ2 : I = [a b] −→ C :          (γ1 γ2 ) ∈ h(D ϕ) := γ1 (I) ⊂ D γ2 (I) ⊂ D J = [c d] ϕ ∈ C/I × J ϕ(t c) = γ1 (t) ϕ(t d) = γ2 (t) ∃ ϕ : I × J −→ D : (γ1 γ2 ) ∈ h(D ϕ) := γ1 y γ2 son caminos hom´topos en D por la homotop´ ϕ o ıa ϕ := Homotop´ de γ1 y γ2 en D ıa γ1 (I) γ2 (I) Figura 3.8.

3. En forma intuitiva.9. Conjuntos m´ltiplemente conexos u Un conjunto se llama m´ltiplemente conexo cuando no es simplemente conexo. abierto y conexo se dice que es simplemente conexo cuando todo lazo contenido en ´l es hom´topo a un punto.3. Tanto la homotop´ de caminos como la de lazos son ıa relaciones de equivalencia. (γ1 γ2 ) ∈ h• (D ϕ) := (γ1 γ2 ) ∈ h⊙ (D ϕ) : γ2 (I) = {P } 3. Su verificaci´n es inmediata o γ1 (I) γ2 (I) Figura 3.72 CAP´ ITULO 3. e o Es decir. ıa 3.15: Conjunto simplemente conexo.8.1.9.2.9. el conjunto simplemente conexo es aquel que no tiene “agujeros”. Homotop´ a un punto ıa Se dice que un lazo es hom´topo a un punto en D si existe una homotop´ de lazos ϕ de dicho lazo al o ıa lazo constante (cuya imagen es un punto). u . Clasificaci´n de conjuntos conexos en C o Conjuntos simplemente conexos Un conjunto D del plano complejo. FUNCIONES DE VARIABLE COMPLEJA. pero si en D′ . 3. CONTINUIDAD Y L´ IMITE Observaci´n: Si D ⊂ D′ puede no existir homotop´ o ıa en D. Una propiedad de estos conjuntos que puede ser empleada para definirlos es: D ∈ Abierto y conexo ˆ D ∈ Simplemente conexo =⇒ C ⊙ (D/C) ∈ Conexo Figura 3. sobre D existe una sola clase de equivalencia de homotop´ de lazos. que adem´s es homotop´ ıa a ıa a un punto.14: Homotop´ de los lazos γ1 y γ2 .

o En otras palabras.9. Esto quiere decir que tiene que haber m´s de una clase de equivalencia de lazos hom´topos. que se ver´ a continuaci´n. Figura 3.´ 3. o a o u Otro m´todo para ello es por medio de cortaduras. o La cantidad de clases de lazos hom´topos est´ relao a cionada con el grado de multiplicidad.9. Cortadura Se llama cortadura en un conjunto abierto y conexo. a Ejemplos: Un anillo en el campo complejo. como D es abierto. El grado de multiplicidad tambi´n es llamado orden e de conexi´n. los puntos no extremos del camino deben ser de D. CLASIFICACION DE CONJUNTOS CONEXOS EN C 73 Desde el punto de vista intuitivo significa que tiene uno o m´s “agujeros”. Figura 3.17: Ejemplos de cortadura.4. a la exclusi´n del mismo de un camino simple (arco o de Jordan) cuyos puntos deben ser todos interiores con excepci´n de los extremos. a o Tal observaci´n permitir´ una clasificaci´n de los conjuntos m´ ltiplemente conexos. que pueden no serlo. e a o 3.9. Una bola en el campo complejo sin su centro. Grado de multiplicidad Se llama grado de multiplicidad de un conjunto m´ ltiplemente conexo a la m´ u ınima cantidad de cortaduras que deben hacerse para transformarlo en simplemente conexo. Figura 3. u La definici´n de conjuntos m´ ltiplemente conexos es el contrario l´gico de la definici´n de simplemente o u o o conexo.16: Conjunto m´ltiplemente conexo.3.18: Conjunto con grado de multiplicidad=3 . γ ∈ Cortadura de D := γ : [a b] −→ C : γ ∈ Camino simple ∀ t ∈ (a b) =⇒ γ(t) ∈ IN T (D) 3.

CONTINUIDAD Y L´ IMITE En efecto. el grado de multiplicidad representa la cantidad de “agujeros”que tiene un conjunto m´ ltiplemente conexo. o o Intuitivamente. Observaci´n: Algunos textos definen como orden de conexi´n a n − 1. FUNCIONES DE VARIABLE COMPLEJA. q = 2n q := Cantidad de clases de lazos hom´topos o n := Grado de multiplicidad de conexi´n o Esta relaci´n puede usarse para definir el grado de multiplicidad sin introducir el concepto de cortao dura.74 CAP´ ITULO 3. u .

simbolizada por f ′ (a). γ ∆z D a V (a) V (a) ∩ D Figura 4. es decir. se suele decir que la funci´n f o es derivable en el punto: f ∈ DER/a := ∃ f ′ (a) f ∈ DER/a := La funci´n f es derivable en el punto a o Observaci´n: La definici´n anterior de derivada es o o formalmente igual a la de funci´n de una variable o real. La definici´n de derivada para variable compleja lleva impl´ o ıcito que el l´ ımite es doble.1: Incremento de z a trav´s de un e camino γ.Cap´ ıtulo 4 Derivaci´n en el Campo Complejo o 4. a pesar de que se aprovechar´ la semea janza formal para extraer conclusiones sobre algunas propiedades de la derivada de las funciones de variable compleja. es decir el l´ ımite del cociente incremental. o 75 . a: o f ′ (a) := ∆z→0 l´ ım f (a + ∆z) − f (a) ∆z f ′ (a) := Derivada de f en el punto a Cuando existe la derivada. Sin embargo. el incremento ∆z debe tomarse sobre todo un vecinal V (a) en su intersecci´n con el dominio. o f : D −→ R : se define como derivada de la funci´n f en un punto a del dominio D. no debe caerse en un an´lisis superfia cial.1. Derivaci´n o D⊂C R⊂C Dada una funci´n de variable compleja.

pero no por un camino parab´lico y = kx2 . e y por lo tanto la diferenciabilidad asegura la aproximaci´n lineal de la funci´n f . Por lo tanto si se incrementa z sobre un camino cualquiera γ.2. En particular. DERIVACION EN EL CAMPO COMPLEJO que tiene derivada nula en el origen seg´ n cualquier direcci´n. el l´ ımite del cociente incremental es el mismo (e igual a la derivada en el punto) a lo largo de cualquier recta que pase por a. o o particularizando el ejemplo a dos dimensiones. el l´ ımite del cociente incremental es constante. Diferencial Se dice que una funci´n de variable compleja f es diferenciable cuando su incremento ∆f puede o escribirse: f ∈ DIF/a f ∈ DIF/a := ∆f = A ∆z + δ(∆z)∆z : A∈C δ(∆z) − − → 0 −− ∆z→0 := La funci´n f es diferenciable en el punto a o La definici´n de diferenciabilidad significa que el incremento de una funci´n puede escribirse como la o o suma de: Producto de una constante A por el incremento de la variable z. que se define como df := A ∆z df := Diferencial de f Observaci´n: La definici´n de diferenciabilidad de THOMAE para funciones de varias variables reales. Esta es una condici´n necesaria pero no suficiente. es: u: D −→ R (x y) −→ u(x y) : D ⊂ C            A∈R B∈R δ1 − − → 0 −− ∆z→0 ∆z→0 u ∈ DIF/(a b) := ∆u = A ∆x + B ∆y + δ1 ∆x + δ2 ∆y : δ2 − − → 0 −− u ∈ DIF/(a b) := La funci´n u es diferenciable en el punto (a b) o .76 ´ CAP´ ITULO 4. o  3 2 2  x y +i x y z=0 4 + y2 4 + y2 x f : z −→ f (z) = x  0 z=0 4. o o Esta es la importancia del diferencial. como se o verifica en la funci´n. u o o y entonces se asegura que no es derivable en modo complejo. Producto de un infinit´simo δ(∆z) por el incremento de la variable z.

la diferenciabilidad implica la derivabilidad. y no puede incrementarse o a en la direcci´n de los ejes.4. La derivabilidad en variable real significa geom´tricamente que existe la tangente en una sola direcci´n. interior de D f ∈ DIF/(a b) =⇒ A B ′ = fx ′ = fy No es cierto que una funci´n de varias variables reales. el segundo concepto tiene mucha m´s importancia que el primero. sin embargo en todas o las dem´s direcciones las tangentes definen un plano. e Pero si es v´lido. e o mientras que el diferencial asegura la existencia de todas las tangentes (en las direcciones donde puede incrementarse) y adem´s ligadas todas entre s´ por pertenecer a un mismo plano. Si se obvian los problemas de frontera. por ejemplo en el v´rtice de a e un cono. continua y derivable sea diferenciable. o o o La derivabilidad no arrastra la continuidad. Basta o analizar el caso del v´rtice del cono.1.2. dicha aproximaci´n lineal se materializa en la existencia de plano e o tangente para varias variables y recta tangente para una. f ∈ DIF/P =⇒ f ∈ C/P Demostraci´n. Esta es la raz´n o por la cual se postula que el punto P es interior y se trabaja con conjuntos abiertos m´s adelante.2. DIFERENCIAL 77 Este enunciado pone en evidencia que la diferenciabilidad asegura la aproximaci´n lineal de la funci´n o o u. o El segundo caso es aquel en el cual las tangentes no est´n en un plano. o a Las propiedades que se enuncian a continuaci´n marcan algunas de las diferencias existentes entre o ambos conceptos. a ı. Por esta raz´n. La demostraci´n es inmediata aplicando la definici´n de diferencial. u y z El primer caso se presenta cuando el dominio de la funci´n est´ restringido. a´ n en todas las direcciones sin ser diferenciables. a ′ fx ∈ C ′ fy ∈ C =⇒ f ∈ DIF . Teorema 4. a (a b) ∈ Pt. Pueden existir funciones diferenciables no derivables (sin derivadas parciales) y tambi´n funciones e derivables. a Este caso s´lo puede presentarse en puntos de frono tera. ∆y D P ∆x x Figura 4. Desde el punto de vista geom´trico.2: Dominio restringido de una funci´n de variable compleja.

78 ´ CAP´ ITULO 4.3. el concepto de derivada y diferencial se confunden. Relaci´n entre derivada y diferencial. pero a o debe tenerse en cuenta que son conceptos diferentes. Dada una funci´n de variable compleja f . Lo mismo se produce en funciones de variable compleja como se ver´ a continuaci´n. Se demuestra la condici´n suficiente: o o ∆f − f ′ (a) = δ(∆z) ∆z |δ(∆z)| < ǫ f ′ (a) ∈ C =⇒ ∆f = f ′ (a)∆z + δ(∆z)∆z con lo cual se cumple la definici´n de diferencial.1. n var.3. o o Condici´n necesaria y suficiente de diferenciabilidad es que las funciones u y v (parte real e imaginaria o de f ) sean diferenciables y que se verifiquen las igualdades siguientes: ux uy = vy = −vx . var. compleja recta tg ⇔ f ∈ DIF ⇔ f ∈ DER plano tg ⇔ f ∈ DIF ⇒ f ∈ DER f ∈ DIF ⇔ f ∈ DER 4. que adem´s es igual a la constante A a f ′ (a) = A : A∈C δ −−→ 0 −− ∆z→0 Observaci´n 1: En la demostraci´n anterior no es necesario que el punto a sea interior al dominio D. Existencia o Teorema 4. reales (n = 2) func. para un punto interior del dominio: func. o La condici´n necesaria: o ∆f = A∆z + δ(∆z)∆z ∆f −A −−→ 0 −− ∆z→0 ∆z Por lo tanto existe derivada. real func. En resumen. porque hay una sola tangente. si una funci´n admite derivadas continuas es diferenciable (en rigor es suficiente la continuidad o de una sola derivada y la existencia de ambas). 1 var. DERIVACION EN EL CAMPO COMPLEJO es decir. En funciones de una variable real. condici´n necesaria y suficiente de derivabio o lidad es la diferenciabilidad. f ∈ DER/a ⇐⇒ f ∈ DIF/a Demostraci´n.

seg´ n la observaci´n hecha en el p´rrafo u o a 4.3. ∆y a ∆x γ1 Figura 4. Por ser f ∈ DIF y tomando A = a + ib: o ∆f = A ∆z + δ∆z ⇐⇒ ⇐⇒          ⇐⇒ ∆u + i∆v = (a + ib)(∆x + i∆y) + (δ1 + iδ2 )(∆x + i∆y) ∆u = a∆x − b∆y + δ1 ∆x − δ2 ∆y ∆v = b∆x + a∆y + δ2 ∆x + δ1 ∆y u ∈ DIF/c v ∈ DIF/c a = ux = vy b = vx = −uy ⇐⇒ Esta condici´n es necesaria y suficiente como resulta de observar la doble implicaci´n entre todas las o o proposiciones. Esto da paso al siguiente teorema: Teorema 4.2. Es interesante interpretar el significado de las ecuaciones de Cauchy-Riemann. Ellas representan la igualdad de los l´ ımites de los cocientes incrementales seg´ n caminos rectos parau lelos a los ejes coordenados. son llamadas tradicionalmente de Cauchy-Riemann pero son originalmente de D’Alembert-Euler. Observaci´n 2: Las condiciones que ligan las derivadas de la parte real e imaginaria de una funci´n como o pleja. RELACION ENTRE DERIVADA Y DIFERENCIAL. EXISTENCIA 79 llamadas com´ nmente de Cauchy-Riemann. γ2 En efecto.          u ∈ DIF/c v ∈ DIF/c ux = vy uy = −vx f ∈ DIF/c ⇐⇒ Demostraci´n.2 es condici´n suficiente que el punto sea interior u o o a D. Seg´ n la observaci´n realizada en 4. e . u En este caso es necesario que se asegure la posibilidad de incrementar la funci´n en direcciones paralelas o al eje x y al eje y. es invariable. Este teorema demuestra entonces que la diferenciabilidad (o derivabilidad) de f no s´lo implica la o diferenciabilidad de u y de v sino adem´s una estrecha relaci´n entre ellas dada por las ecuaciones de a o Cauchy-Riemann.3.3: Incremento de una funci´n a o trav´s de caminos rectos paralelos a los ejes.1.´ 4. una funci´n compleja que es derivable (difereno ciable) implica que el l´ ımite del cociente incremental sobre las infinitas rectas que pasan por el punto.

4. 4.5.80 ´ CAP´ ITULO 4. La demostraci´n es consecuencia inmediata de la diferenciabilidad. Para funciones de varias variables reales no es cierto. funciones de uno o varias variables reales y complejas. entonces u y v son diferenciables. La diferenciabilidad en todos los casos. implica la continuidad. si se agrega la hip´tesis de continuidad de las derivadas parciales de u y de v de acuerdo o a la observaci´n del p´rrafo 4. o f ∈ DER/a =⇒ f ∈ C/a Demostraci´n. DERIVACION EN EL CAMPO COMPLEJO En particular. a . γ2 paralelos a los ejes: u ∆f ∆u + i∆v = ∆z ∆x + i∆y γ1 { ∆y = 0 γ2 { ∆x = 0 ∆f ∆z ∆f ∆z = γ1 ∆u + i∆v ′ − − → ux + ivx = fx = f ′ (a) −− ∆x→0 ∆x ∆u + i∆v 1 ′ − − → (uy + ivy ) = fy = f ′ (a) −− ∆y→0 i i ∆y = γ2 De la igualdad de estas dos derivadas direccionales.1.4. 4. a Para entender el an´lisis diferencial a conjunto conviene precisar nuevas definiciones. resulta: ux vx = vy = −uy Las condiciones de Cauchy-Riemann son entonces necesarias pero no suficientes. y por lo tanto: o a  ux = vy   vx = −uy =⇒ f ∈ DIF   ux ∈ C Observaci´n 3: De acuerdo a lo mencionado en 4. seg´ n los dos caminos γ1 . Funciones mon´genas y holomorfas o Todas las propiedades y conceptos desarrollados hasta el momento son de car´cter local o puntual. Sin embargo.2 es suficiente la continuidad de una sola derivada o parcial. o o f ∈ DER =⇒ |∆f | < |A ∆z| + |δ ∆z| Este teorema es semejante al de una variable real. Derivaci´n y continuidad o Teorema 4. es continua. Toda funci´n de variable compleja f derivable.2.

o o o f ∈ M ON/D := ∀ z ∈ D =⇒ f ∈ mon´gena/z o f ∈ M ON/D := f es mon´gena sobre el conjunto D o Una funci´n f es holomorfa sobre un conjunto D cuando es holomorfa en todos sus puntos. o f ∈ H/D := ∀ z ∈ D =⇒ f ∈ H/z Observaci´n 1: La monogeneidad sobre un conjunto D exige la derivabilidad sobre cada uno de sus puno tos. La monogeneidad o o es sin´nimo de derivabilidad. e .5. incluso los frontera que pertenecen a ´l. 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 ∈ mon´gena/a o Hay funciones que son mon´genas pero no holomorfas o Ejemplo I f: C −→ C z −→ |z|2 = x2 + y 2 son diferenciables pero las condiciones de Cauchy-Riemann s´lo valen para o z = (0 0) pues: vx = 0 vy = 0 u = x2 + y 2 v=0 ux = 2x uy = 2y Ejemplo II f: C −→ C z −→ x2 + iy 2 u = x2 v = y2 son diferenciables y las condiciones de Cauchy-Riemann s´lo valen para o la recta y = x porque: vy = 2y ux = 2x uy = 0 vx = 0 Una funci´n f es mon´gena sobre un conjunto D cuando es mon´gena en todos sus puntos. o f ∈ mon´gena/a := f ∈ DER/a o Se dice que una funci´n de variable compleja es holomorfa si tiene derivada en todos los puntos de o un entorno de a. ıa Se dice que una funci´n es mon´gena en un punto a si tiene derivada en ese punto.´ 4. FUNCIONES MONOGENAS Y HOLOMORFAS 81 Las funciones derivables en un punto y en un entorno del mismo tienen especial inter´s en la teor´ e ıa de las funciones potenciales y en la teor´ de integrales complejas de Cauchy.

4. o e magn´ticos.7. 4. etc. la suma. o o o a Por lo tanto.1. a a Sin´nimo de holomorfa es regular. gena=generada). en contraposici´n de las funciones meromorfas. entonces se verifica: uxx + uyy vxx + vyy =0 =0 es decir. uno de los grandes resultados de Cauchy fue probar la equivalencia de los conceptos de holomorf´ y analiticidad sobre conjuntos abiertos y conexos en el campo complejo. el´ctricos. Observaci´n 2: Muchos autores no diferencian los conceptos de monogeneidad y holomorf´ En otros o ıa. sobre todo su dominio. la importancia de las funciones holomorfas en el an´lisis de probleo a mas bidimensionales de potencial. o o funci´n de funci´n. producto o cociente (excepto el caso de denominador nulo) de funciones holomorfas sobre un abierto es tambi´n holomorfo. tanto u como v satisfacen la ecuaci´n de Laplace. e o e Esta relaci´n permite vislumbrar. es decir el conjunto complementario de los ceros del denominador. La palabra holomorfa significa “de forma entera”. de velocidades en fluidos. e En particular. cuando en ´l no es e o e holomorfa.7. divisi´n (denominador no nulo). que se o estudiar´n m´s adelante. se implica que las reglas de la suma. . diferencia.6. o Se dice tambi´n que una funci´n de variable compleja tiene un punto singular. DERIVACION EN EL CAMPO COMPLEJO Para los abiertos ambos conceptos coinciden. funci´n inversa. Holomorf´ y ecuaci´n de Laplace ıa o Las componentes de una funci´n holomorfa como funciones arm´nicas o o Sea f una funci´n holomorfa en un punto a. los polinomios son holomorfos sobre todo el plano. si se hace la hip´tesis suplementaria de la existencia y o o 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). Sin embargo. etc. Las funciones racionales. de la transmisi´n del calor (r´gimen estacionario). ıa Se llama funci´n anal´tica a la desarrollable en serie de Taylor. textos se confunde holomorf´ con analiticidad. se extienden en forma an´loga al campo complejo. ıa Observaci´n 3: El origen de la palabra mon´gena hace referencia a la propiedad que todas las derivadas o o direccionales son iguales (mono=uno. 4. Reglas de derivaci´n o Como la definici´n de derivada para las funciones complejas es formalmente igual a la de funciones de o una variable real.82 ´ CAP´ ITULO 4. multiplicaci´n. o La ecuaci´n de Laplace es la que aparece en el estudio de los potenciales gravitatorios. Es claro que en principio las funciones o ı anal´ ıticas son conceptos diferentes de las funciones holomorfas.

pues han requerido o a a solamente de la hip´tesis de la monogeneidad de la funci´n en un punto. que una funci´n holomorfa tiene derivadas de cualquier orden. De aqu´ la importancia del concepto de holomorf´ ı ıa. o o Sin embargo. a trav´s de la introa ıa e ducci´n de la integral curvil´ o ınea en el campo complejo. para la existencia de las derivadas segundas en el punto es necesario que ux y uy puedan ser incrementadas en el entorno del punto. es necesario imponer condiciones de derivabilidad o en el punto y tambi´n en su entorno. a Por lo tanto. f ∈ H/a ⇐⇒ ∇2 u = 0 ∇2 v = 0 Demostraci´n. e Esto es. porque como se demostrar´ en el pr´ximo cap´ a a o ıtulo. Entre otras propiedades de las funciones derivables sobre tales conjuntos (abiertos y conexos) se destaca su desarrollabilidad en series de Taylor (analiticidad). si se obvia la continuidad de las derivadas segundas en el siguiente teorema: Teorema 4. Derivando las ecuaciones de Cauchy-Riemann. con derivadas parciales de segundo orden continuas. porque en primer lugar. la primera respecto de x y la segunda o respecto de y.´ 4.7. En segundo lugar. o Para llegar a este resultado. que satisface o la ecuaci´n de Laplace. Observaci´n 2: La hip´tesis de continuidad de las derivadas segundas de u y v (o de alguna de ellas) hecha o o al comienzo del p´rrafo es superflua. teniendo en cuenta el teorema de Schwarz sobre la igualdad de las derivadas cruzadas. y por ende o continuas. HOLOMORF´ Y ECUACION DE LAPLACE IA 83 Observaci´n 1: Los an´lisis realizados hasta el momento son de car´cter puntual. el uso de conjuntos abiertos y conexos. o o   C −→ R u : uxx ∈ C/a   u ∈ Arm´nica/a := o (x y) −→ u(x y) : u ∈ C/a   yy   2 ∇ u=0 . toda funci´n o holomorfa tiene derivadas de todos los ´rdenes.1. porque como se ver´ es fundamental en la teor´ de Cauchy. no se entra en un c´ ırculo vicioso. se llama arm´nica. ∇2 u = 0 y an´logamente a ∇2 v = 0 Una funci´n real de dos variables. para el estudio de las relaciones existentes entre las componentes de una funci´n compleo ja y las funciones que satisfacen la ecuaci´n de Laplace. se obtiene: uxx uyy = vyx = −vxy sumando. no se usa en absoluto los desarrollos que siguen en este p´rrafo.7.

(u v) ∈ Conjugadas arm´nicas/a =⇒ (v u) ∈ Conjugadas arm´nicas/a o / o es decir que no existe la simetr´ en la relaci´n de conjugadas arm´nicas y en la expresi´n “v es conjugada ıa o o o arm´nica de u”no debe trastocarse el orden de las funciones. de acuerdo al teorema 4.3. o o o u ∈ Arm´nica/D := ∀ z ∈ D =⇒ u ∈ Arm´nica/z o o Si dos funciones reales u y v son arm´nicas y satisfacen en D las ecuaciones de Cauchy-Riemann. o ı. o 4. o  o u ∈ Arm´nica/D   v ∈ Arm´nica/D o (u v) ∈ Conjugadas arm´nicas/D := o   ux = vy   uy = −vx Teorema 4. o o f ∈ H/a ⇐⇒ if ∈ H/a (u + iv) ∈ H/a ⇐⇒ (−v + iu) ∈ H/a Otra demostraci´n es por verificaci´n directa de las condiciones de Cauchy-Riemann. o llevan una estrecha relaci´n entre s´ establecido por el concepto de conjugadas arm´nicas. o o . se dice que es arm´nica en D. vx . o Pero por otra parte s´ se cumple el siguiente teorema: ı Teorema 4. uy . si u y v son arm´nicas tienen derivadas primeras continuas ux . La demostraci´n es inmediata. (u v) ∈ Conjugadas arm´nicas/a ⇐⇒ (−v u) ∈ Conjugadas arm´nicas/a o o Demostraci´n. Condici´n necesaria y suficiente para que una funci´n sea holomorfa sobre un conjunto o o D es que su parte real e imaginaria sean conjugadas arm´nicas en D. vy .2.3. o entonces se dice que v es conjugada arm´nica de u. teniendo en cuenta que. Es cierto entonces que las partes real e imaginaria de una funci´n holomorfa no pueden ser arbitrarias.7. que aseguran a o la diferenciabilidad de dichas funciones. 1o Propiedades de funciones conjugadas arm´nicas o Conviene remarcar en primer t´rmino que si un par de funciones reales (u v) son conjugadas arm´nicas. Por lo tanto. o f ∈ H/D ⇐⇒ (u v) ∈ Conjugadas Arm´nicas/D o Demostraci´n. Adem´s.1. se implica que f es holomorfa. Que una funci´n holomorfa tiene partes real e imaginaria (u v) conjugadas arm´nicas ya o o o ha sido demostrado. e o el par (v u) no lo es.84 ´ CAP´ ITULO 4.7. DERIVACION EN EL CAMPO COMPLEJO Si una funci´n es arm´nica sobre todos los puntos de un conjunto D.7.2.

Por definici´n de conjugadas arm´nicas: o o o ux = vy = Vy −uy = vx = Vx De acuerdo con el teorema 4. f (z) = k ⇐⇒ f ′ (z) = 0 Demostraci´n. U (a) ⊂ D k∈C =⇒ ∀ z ∈ U (a) . La condici´n suficiente es inmediata. conjugada arm´nica de u. arm. f (z) = k = k1 + ik2 k2 ∈ R k1 ∈ R Es claro entonces que la conjugada arm´nica de una constante es otra constante. o o en un entorno de un punto. o 3o Teorema 4. o o ´ ∃v : : (u v) ∈ Conj. La funci´n v./D =⇒ v − V = k k∈C ∃V (u V ) ∈ Conj.4. arm.7. la condici´n necesaria se demuestra.4.7./D Demostraci´n. arbitraria. HOLOMORF´ Y ECUACION DE LAPLACE IA 85 2o Teorema 4. resulta: ∆u = 0 =⇒ u = k1 an´logamente.7. una funci´n de variable compleja es constante si y s´lo si su derivada compleja es nula. y como en todo punto de dicho entorno las derivadas parciales se anulan. es unica salvo constante.´ 4. v−V =k k∈C .7.5. o o o ∀ 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. a v = k2 luego.

o Por lo tanto. v(x y) = k2 ) ∈ Trayectorias ortogonales Demostraci´n. DERIVACION EN EL CAMPO COMPLEJO 4o Teorema 4. cuyas partes real e imaginara son respectivamente u y v.6. Ejemplo f: C −→ C z −→ z 2 = x2 − y 2 + i2xy Entonces. si una funci´n arm´nica v es conjugada arm´nica de otra u. ı f (z) = u + iv ∈ H/a f ′ (z) = 0 =⇒ (u(x y) = k1 .86 ´ CAP´ ITULO 4. ∇v. las l´ ıneas equipotenciales de uno son l´ ıneas de campo del otro y viceversa. son trayectorias ortogonales: u = x2 − y 2 = k1 v = 2xy = k2 1 El s´ ımbolo • se utiliza para representar el producto interno entre vectores . asegura que las familias u(x y) = k1 v(x y) = k2 son trayectorias ortogonales entre s´. Una funci´n holomorfa f .7. en los campos vectoriales o o o ∇u. Basta verificar que a partir de las ecuaciones de Cauchy-Riemann: o ∇u • ∇v = ux vx + uy vy = 0 Expresi´n que demuestra la ortogonalidad salvo en el caso de derivada nula1 . con o derivada no nula.

resolver la ecuaci´n diferencial exacta o dv = vx dx + vy dy que de acuerdo a las condiciones de Cauchy-Riemann. o Adem´s. HOLOMORF´ Y ECUACION DE LAPLACE IA 87 y z v w x u Figura 4. es equivalente a cualquiera o o de estos planteos: a.7. Este an´lisis est´ relacionado con las propiedades de las funciones complejas mencionado en 3. Hallar una funci´n potencial v. conocido su gradiente. en todos los casos. ux ) o b. como veremos. ´sta solo puede diferir en una constante. hallar otra funci´n v que sea conjugada arm´nica de u. ∇v = (vx . Obtenci´n de la conjugada arm´nica de una funci´n en el entorno de o o o un punto Un problema que se plantea es. o o Este problema. Este resultado se puede generalizar tambi´n para conjuntos simplemente conexos. o e El problema planteado.7. de hallar la conjugada arm´nica de una funci´n u.3. Hallar la familia de funciones ortogonales de la familia u(x y) = k Estos problemas significan.7. la soluci´n es unica (salvo constante) para el entorno de un punto.´ 4. a o 4.4: Trayectorias ortogonales de un par de funciones conjugadas arm´nicas o En el gr´fico se han representado las dos familias que son ortogonales entre s´ salvo en z = 0.5. a ı.2 (ver a a ejemplo) y se explicar´ en detalle en el estudio de la representaci´n conforme en 4. se transforma en: dv = −uy dx + ux dy . vy ) = (−uy .9. como se desprende del a o ´ teorema 4. dado un u (funci´n real de dos variables y arm´nica sobre un detero o minado conjunto). siempre tiene soluci´n sobre conjuntos abiertos conexos. e Con esta conclusi´n se puede aseverar que cualquiera sea el m´todo empleado para obtener la conjuo e gada arm´nica.

para el cual u es arm´nica. o Primer m´todo e Con este m´todo se resuelve la ecuaci´n diferencial en forma general. a efectos de aplicar la segunda condici´n de Cauchy-Riemann: o o y vx (x y) = b uxx (x t) dt + ϕ′ (x) recordando adem´s que uyy = −uxx a y −uy (x y) = − uyy (x t) dt + ϕ′ (x) b = −uy (x y) + uy (x b) + ϕ′ (x) Por lo tanto ϕ′ (x) = −ux (x b) x ϕ(x) = a −uy (t b) dt + C . o Derivando bajo el signo integral. por medio de una discusi´n heur´ e o ıstica. posible porque las derivadas primera y segunda de u son continuas al ser arm´nica. DERIVACION EN EL CAMPO COMPLEJO Para la resoluci´n de esta ecuaci´n diferencial. suponiendo que exista. entonces. sobre la cual u es arm´nica.88 ´ CAP´ ITULO 4. se reduce en primer lugar al caso de que D sea una bola en el campo complejo. existe una funci´n de o o variable real que es conjugada arm´nica de u. las caracter´ ısticas que puede tener v. o En primer t´rmino conviene investigar. El caso de conjuntos m´ ltiplemente conexos se estudiar´ una vez analizada la integral en el campo u a complejo. o Este an´lisis. pueden encararse diferentes m´todos que se desarrollan o o e a continuaci´n. ´ Sea una bola B(c r) del plano complejo. Partiendo de las condiciones de Cauchy-Riemann ux = vy uy = −vx Partiendo de la primera de ellas e integrando respecto de y: y v(x y) = b y vy (x t) dt + ϕ(x) ux (x t) dt + ϕ(x) b = donde b es un n´ mero real. de manera tal que (x b) ∈ B y ϕ es una funci´n de x que hace las veces de u o constante de integraci´n. pudiendo a extenderse sin dificultad a conjuntos simplemente conexos y abiertos. expresando v como integral e o curvil´ ınea a lo largo de un camino contenido en un conjunto D. sobre las cuales v puede no ser unica.

Esta proposici´n o ´ o se demuestra a continuaci´n. dy) Este estudio de orientaci´n permite justificar la definici´n de una funci´n v(x y) como la integral o o o curvil´ ınea anterior. se cumplen las dos condiciones de Cauchy-Riemann y siendo las derivadas de v continuas.7.5: Integraci´n a trav´s de un cao e mino poligonal. u ∈ Arm´nica/B(c r) o γ ∈ Poligonal contenida en B x y v(x y) := a −uy (t b) dt + b Demostraci´n. v es conjugada ı arm´nica de u(x y) y por lo tanto existe y es unica. sobre B(c r). e . el par (u v) son conjugadas arm´nicas. y a partir de all´ probar que sobre una bola del campo complejo. o o o La integral obtenida. conjugada arm´nica de u. vy ) = (−uy .7. de acuerdo a 4.7.5 (salvo constante). ux ) a lo largo de dicha poligonal v(x y) = γ (a b) B(c r) Figura 4. o Este resultado puede generalizarse extendiendo la validez de v como integral curvil´ ınea a lo largo de un camino gen´rico γ contenido en conjuntos abiertos y simplemente conexos. HOLOMORF´ Y ECUACION DE LAPLACE IA 89 donde a es un real tal que (a b) ∈ B y C es una constante de integraci´n. Se llega entonces a: o x y v(x y) = a −uy (t b) dt + ux (x t) dt + C b Esta es la soluci´n del problema de hallar la funci´n v. puede ser considerada como una integral curvil´ ınea a lo largo del camino γ (poligonal) contenido en B: r (x y) γ c v(x y) = γ −uy dx + ux dy que es tambi´n la circulaci´n del vector e o ∇v = (vx .´ 4. (−uy . ux ) • dγ dγ = (dx. Derivando v respecto de y: o vy (x y) = ux (x y) y tambi´n respecto de x e y   ux (x t) dt       =⇒ (u v) ∈ Conjugadas arm´nicas/B o vx (x y) = −uy (x b) + = −uy (x b) + = −uy (x y) uxx (x t) dt b y b −uyy (x t) dt = −uy (x b) − uy (x y) + uy (x b) por lo tanto.7. o Teorema 4.

Conexo =⇒ ∃P : = γ P A partir de aqu´ puede aplicarse el resultado anterior del estudio sobre una bola ı (u v) ∈ Conjugadas arm´nicas/D o Este an´lisis se retomar´ una vez estudiada la integral en el campo complejo. D es abierto y conexo.6.  D ∈ Abierto y simplemente conexo     γ ∈ Camino contenido en D  u ∈ Arm´nica/D o v(x y) := γ −uy dx + ux dy Demostraci´n. Qy ∈ C    Py = Qx B D Esto significa que existe una funci´n potencial o V (x y). Py .7. se obtiene: Teorema 4. pues: o e o u ∈ Arm´nica/D =⇒ o uxx .8. como la integral curvil´ ınea es independiente del camino γ.90 ´ CAP´ ITULO 4. En particular se estua a diar´ el caso de los conjuntos m´ ltiplemente conexos. γ A Figura 4. puede elegirse una poligonal P tal como lo muestra la figura 4. pues en caso contrario no puede asegurarse la independencia del camino. La poligonal formada por un n´ mero finito de segmentos paralelos a los ejes existe siempre porque. u por hip´tesis. Es esencial que D sea simplemente conexo. uyx . a u .6: Reemplazo de un camino γ por otro poligonal. y γ es cerrado y acotado (compacto). uxy . uyy ∈ C/D −uyy = uxx       =⇒ (u v) ∈ Conjugadas arm´nicas/D o y entonces. DERIVACION EN EL CAMPO COMPLEJO Para ello basta recordar que una integral curvil´ ınea no depende del camino sino solamente de los extremos cuando:  D ∈ Abierto y simplemente conexo      γ(a) = A   γ ∈ Camino contenido en D : =⇒ ∃ V (x y) : P dx + Q dy = V (B) − V (A) γ(b) = B  γ    Px . Aplicando este teorema a nuestro caso. o D ∈ Ab. Qx . En primer t´rmino se cumplen las hip´tesis del teorema anterior.

HOLOMORF´ Y ECUACION DE LAPLACE IA 91 Segundo m´todo e Conociendo el resultado del m´todo anterior.  D ∈ Abierto y simplemente conexo     (0 0) ∈ D     U (x y) ∈ Arm´nica/D o U (x) = l´ U (x y) ım y→0 =⇒ V (x) = y→0 l´ Uy (x y) dx ım          U (z) + iV (z) ∈ H/D (U. que suele convenir en la resoluci´n de ejercicios. que asegura la existencia de v. por ejemplo: a o v(x y) = derivando vx = −uy = ∂ ∂x ux dy + ϕ′ (x) ux dy + ϕ(x) de donde puede despejarse ϕ′ (x).´ 4. o Teorema 4. y no es simple. de acuerdo a lo visto en el primer m´todo: e e ϕ′ (x) = −uy (x b) Llegando al resultado final: v(x y) = v(x y) = ux (x y) dy + ϕ(x) ux (x y) dy + −uy (x b) dx Tercer m´todo. e El m´todo de Milne-Thomson permite resolver en forma elegante y directa casos que con los m´todos e e anteriores son dificultosos. y por lo tanto calcular ϕ(x) y v(x y) ϕ′ (x) = −uy − ∂ ∂x ux dy o tambi´n. Milne-Thomson. V ) ∈ Conjugadas arm´nicas/D o . para o simplificar. es muy sencilla. Si no lo contuviera. La demostraci´n es una modificaci´n de la original. el problema se reduce al primero con una traslaci´n. conjugada arm´nica de e o u.7. sobre un conjunto abierto y simplemente conexo. a Como hip´tesis se toma un conjunto abierto y simplemente conexo. o o o e como se ver´. consiste en resolver el sistema de e o ecuaciones diferenciales: ux = vy uy = −vx por c´lculo de primitivas (integraci´n indefinida). que contenga el origen (0 0). puede aplicarse el procedimiento visto al comienzo del p´rrafo anterior. pero la aplicaci´n del m´todo. a Este m´todo.7.9 (Milne-Thomson).

y por el teorema de Heine-Cantor de la o continuidad uniforme 2 se asegura que V ′ (x) = V1 (x). este resultado dice que si se conoce f (x) puede obtenerse f (z) reemplazando formalmente x por z. Si f es holomorfa en el entorno de (0 0) se asegura la existencia de dicho l´ ımite. ∃δ >0 : ∀ x′ . que se llamar´ v. la U (x) se obtiene f´cilmente y entonces el problema se reduce a la b´ squeda de a u V (x). la siguiente forma: o f (x + iy) = u(x y) + i v(x y) y→0 y→0 f (x) =  U (x)  + i V (x) Donde U (x) y V (x) representan respectivamente los l´ ımites de u(x y) y de v(x y) que existen por la continuidad de f en (0 0). De acuerdo entonces al teorema 4. 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 − ǫ). En nuestro caso. aplicado a una funci´n f : Rn −→ R.92 ´ CAP´ ITULO 4.7. Esto significa que el l´ ımite para y → 0 se obtiene reemplazando formalmente x por z. En base al estudio realizado para el primer m´todo se asegura que sobre D existe conjuo e gada arm´nica de u. ∃ f (z) = u + iv : f ∈ H/D un primer paso de la demostraci´n es el siguiente lema: Una funci´n f de imagen f (z) tiende a f (x) para o o y → 0. Aplicando. DERIVACION EN EL CAMPO COMPLEJO Demostraci´n. Para ello se demuestra que: y→0 l´ ım ∂ ∂ v= l´ v ım ∂x ∂x y→0 ∂ ∂x es decir: v(x y) y→0 / vx (x y) y→0  V (x) ∂ ∂x  / V ′ (x) = V1 (x) En efecto. . para el caso de una funci´n holomorfa. sen x −→ sen z Ejemplos: ex −→ ez El l´ ımite para y → 0 adquiere entonces. u + iv es holomorfa sobre o a D. las condiciones de Cauchy-Riemann: V (x) = = y→0 l´ vx (x y) dx ım l´ uy (x y) dx ım y→0 2 El teorema de Heine-Cantor. afirma que si f est´ definida sobre un compacto D: o a ∀ǫ>0. f (x + ǫ)]. debida a la holomorf´ ıa. por lo tanto.1. como v es arm´nica tiene derivadas continuas. f (z) = f (x + iy) − − f (x) −→ y→0 Viceversa.

0) y adem´s tiene las derivadas segundas continuas. un conjunto D abierto y simplemente conexo que no o contenga a (-1.0): u − − U (x) = −→ y→0 1 x+1 Por otra parte uy = −2y(x + 1) − − 0 = V ′ (x) −→ ((x + 1)2 + y 2 )2 y→0 k∈R V (x) = k resultando entonces f (z) = U (z) + iV (z) 1 = + ik z+1 cuyas partes real e imaginaria son conjugadas arm´nicas: o u= x+1 (x + 1)2 + y 2 −y v= +k (x + 1)2 + y 2 Observaci´n: Si se deseara plantear el problema de obtener u.7. o a siendo por lo tanto arm´nica. de acuerdo con lo visto. y por lo tanto son o o de aplicaci´n los m´todos anteriores.´ 4. basta recordar que (−v u) son conjugadas arm´nicas. Eligiendo entonces. o La practicidad del m´todo lo prueba el ejemplo siguiente: e u= x+1 (x + 1)2 + y 2 u verifica la ecuaci´n de Laplace para todo z = (−1. o e . HOLOMORF´ Y ECUACION DE LAPLACE IA 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 funci´n. es holomorfa y sus partes real e imaginaria son: o u(x y) = Re(U + iV ) v(x y) = Im(U + iV ) Que son arm´nicas conjugadas. conocida la funci´n v de manera tal que o o (u v) sean conjugadas arm´nicas.

7: Dominio e imagen de Inv’ y f El an´lisis anterior permite definir: a D ∈ abierto y conexo ˆ f : D −→ C : ∞ ∈ D f ∈ H/∞ := f ◦ Inv’ ∈ H/D Ejemplo: sen(1/z) ∈ H/∞ ⇐= sen(z) ∈ H/D .1.94 ´ CAP´ ITULO 4. o Esta definici´n es de especial utilidad para el c´lculo de integrales en el campo complejo. aunque no se conserva la estructura de espacio vectorial. Esto se muestra en la figura 4.8. z = ∞  1/z z=0 z −→ ∞  0 z=∞ o tambi´n por una restricci´n de la inversi´n al entorno de ∞: e o o ˆ Inv’ : U (∞) −→ C z −→ 1/z 0 ∀ z ∈ U (∞) − {∞} z=∞ y entonces el problema del estudio de la funci´n f en ∞ se reduce a un problema en el entorno de 0 de o la funci´n compuesta o ˆ f ◦ Inv’ : U (∞) −→ C z −→ f (1/z) f (0) z=∞ z=∞ Observaci´n: La necesidad de restringir la inversi´n surge de asegurar la existencia de la funci´n como o o puesta f ◦ Inv’.9. Holomorf´ en el infinito ıa ˆ Cuando se trabaja con funciones definidas en el complejo extendido C. o a Sea una funci´n f definida en el complejo extendido: o ˆ ˆ f : D −→ C : D⊂C.7. ∞∈D z −→ f (z) de acuerdo a lo visto en 2. DERIVACION EN EL CAMPO COMPLEJO 4. el 0 es imagen del punto ∞ por la inversi´n: o ˆ ˆ Inv : C −→ C  z = 0. es posible dar un sentido al concepto de funci´n holomorfa en ∞. pues debe cumplirse que el rango de la Inv’ debe estar incluido en el dominio D de la funci´n f . o Inv’ f ˆ C ∞ U(∞) D R Figura 4.

La aplicaci´n de estas propiedades permite resolver. γ(c)) γ(c) a | c | | b Figura 4. de temperatura.1. ´ Angulo entre caminos Vector tangente a un camino Para definir el ´ngulo orientado entre dos caminos. a: T (γ.8: Vector tangente a γ en el punto γ(c). magn´ticos. problemas de potencial en o campos gravitatorios. y en general para cualquier campo cone e servativo. 4. La condici´n impuesta. y ′ (c)) = (0 0) T (γ.9. a o T (γ. adem´s de problemas se ingenier´ el´ctrica: diagramas de impedancia-admitancia y problemas a ıa e de cartograf´ ıa. es indispeno sable para definir la recta tangente en el punto γ(c): Tg : R −→ C t −→ γ(c) + t γ ′ (c) Tg := Recta tangente al camino γ en el punto γ(c) Es usual tambi´n introducir la siguiente terminolog´ e ıa: Se dice que un camino es regular en el punto γ(c) si γ ′ (c) = 0. Asimismo. el´ctricos. si lo es en todos sus puntos. en dos dimensiones.) no es m´s que γ ′ (c) expresado en notaci´n matricial. si existe vector tangente en ese punto.9. que γ ′ (c) = (0 0). γ(c). equivalente a que el vector tangente es no nulo. es decir. un camino se dice que es regular a secas. Representaci´n conforme o La transformaci´n de caminos por medio de funciones holomorfas tiene caracter´ o ısticas tales como para merecer un estudio particular. etc.9. γ ∈ Camino regular/γ(c) γ ∈ Camino regular := γ ′ (c) = 0 := ∀ c ∈ [a b] =⇒ γ ′ (c) = 0 . conviene establecer previamente el concepto de a vector tangente a un camino. γ(c)) := Vector tangente al camino γ en el punto γ(c) El vector tangente T (γ. REPRESENTACION CONFORME 95 4. Se llama vector tangente al camino γ.´ 4. γ(c)) := x′ (c) y ′ (c) : (x′ (c). en el punto γ(c).

γ2 ) := Arg(γ2 (c2 )) − Arg(γ1 (c1 )) ´ Ang(γ1 . contenido en D. al angulo orientado ´ entre los respectivos vectores tangentes en el punto de corte zc . el ´ngulo orientado de γ1 a γ2 es el n´ mero real definido por: a u ′ ′ Ang(γ1 . Anal´ ıticamente. entonces se llama angulo orientado de γ1 a γ2 . que destaca el concepto de orientaci´n intr´ a o ınseco a la definici´n. DERIVACION EN EL CAMPO COMPLEJO ´ Angulo entre dos caminos Dados dos caminos γ2 γ1 : [a1 b1 ] −→ C γ2 : [a2 b2 ] −→ C que se cortan en el punto zc . γ2 )| ′ ′ |Arg(γ2 (c2 ))| + |Arg(γ1 (c1 ))| π+π 2π Observaci´n 2: El m´dulo del ´ngulo entre los caminos γ1 y γ2 puede ser expresado bajo forma vectorial o o a a partir de: cos(α) = T1 • T2 ||T1 || ||T2 || 4.9: Angulo entre los caminos γ1 y γ2 en el punto zc . que establece una unica determinaci´n del mismo. . cuyas partes real e imaginaria tienen o derivadas primeras continuas. en otro camino f ◦ γ contenido en R. γ2 ) = −Ang(γ2 . zc ) ∃ c1 ∈ [a1 b1 ] ∃ c2 ∈ [a2 b2 ] zc := γ1 (c1 ) : γ1 (c1 ) = γ2 (c2 ) ´ Figura 4.96 ´ CAP´ ITULO 4. de´ signado en la figura 4. γ2 ) := Angulo orientado entre los caminos γ1 y γ2 Observaci´n 1: Conviene remarcar que en la definici´n anterior se ha empleado la funci´n valor principal o o o del argumento. ´ o Una propiedad del ´ngulo entre dos caminos.2. Una funci´n f : D −→ R de variable compleja. γ1 ) Una cota superior para el ´ngulo orientado α est´ dada por: a a |Ang(γ1 .1.9 por α. es: o Ang(γ1 .9. transforma un camino γ : [a b] −→ C.9. es decir: T (γ2 . zc ) γ1 α zc T (γ1 . Transformaci´n de caminos o Teorema 4.

9. y(t)) γ es un camino. y(t)) + iv(x(t). vy ∈ C/D        f ∈ Inyectiva . transforma un camino simple o a (arco de Jordan) en otro camino simple: Teorema 4. y por lo tanto es continua. si f es adem´s inyectiva. uy ∈ C/D vx . Sea la composici´n o o f ◦ γ : [a b] −→ R t −→ u(x(t).2.9.  γ ∈ Camino simple contenido en D        f : D −→ R  ux . γ ′ es continua por partes: γ ∈ C/[a b] f ∈ C/D =⇒ f ◦ γ ∈ C/[a b] (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 hip´tesis del teorema anterior.´ 4.10: Transformaci´n de caminos por una funci´n de variable compleja. REPRESENTACION CONFORME 97 R D γ f f ◦γ Figura 4. o o γ : [a b] −→ D t −→ x(t) + iy(t) γ ∈ Camino contenido en D f : D −→ R z −→ (u v) : ux . vy ∈ C/D                      =⇒ f ◦ γ ∈ Camino contenido en R Demostraci´n. uy ∈ C/D =⇒ f ◦ γ ∈ Camino simple contenido en R z −→ (u v) :  vx .

9.2.9.2. cuyas partes real e imaginaria tienen derivadas o primeras continuas. en el punto (f ◦ γ)(c). Si f es una funci´n de las o caracter´ ısticas indicadas. uy ∈ C/D vx . todo lazo simple se a transforma en un lazo simple. Corolario 4.3. pero adem´s: o a γ ∈ Camino simple =⇒ γ ∈ Inyectiva por lo tanto: γ ∈ Inyectiva =⇒ f ◦ γ ∈ inyectiva f ∈ Inyectiva entonces f ◦ γ es un camino simple. DERIVACION EN EL CAMPO COMPLEJO Demostraci´n. vy ∈ C/D =⇒ f ◦ γ ∈ Lazo simple contenido en R f ∈ Inyectiva 4. γ(c)) −→ J(f.9. γ ∈ Lazo simple contenido en D f : D −→ R z −→ (u v) : ux .1. uy ∈ C/D vx . γ ∈ Lazo contenido en D f : D −→ R z −→ (u v) : ux .2.98 ´ CAP´ ITULO 4. γ(c)) : T (γ. γ(c)) J(f. a La aplicaci´n anterior es llamada aplicaci´n lineal tangente a f en el punto γ(c) y se caracteriza como o o sigue: J(f. Las transformaciones de lazos se rigen por los mismos teoremas anteriores. todo lazo se transforma en lazo y adem´s. f ◦ γ es un camino. γ(c)) · T (γ. γ(c)) := Aplicaci´n lineal tangente a f en el punto γ(c) o . como se ha visto transforma un camino γ en otro f ◦γ por medio de una transformaci´n o que se puede caracterizar por: ut = ux xt + uy yt vt = vx xt + vy yt sistema que escrito en notaci´n matricial toma la forma: o ut vt = ux vx uy vy xt yt que representa la aplicaci´n lineal que transforma los vectores tangentes al camino γ en el punto γ(c) o en los vectores tangentes a f ◦ γ. Transformaci´n de vectores tangentes o Dada la funci´n f : D −→ R de variable compleja. se f es inyectiva. siempre y cuando se cumplan las condiciones detalladas al final de este p´rrafo. vy ∈ C/D                             =⇒ f ◦ γ ∈ Lazo contenido en R Corolario 4.9.1. De acuerdo al teorema 4.

es o decir: x = x(u v) y = y(u v) Se deduce directamente de la definici´n de la aplicaci´n J(f. es una aplicaci´n conforme en el punto zc .   f : D −→ R  z −→ (u v) : ux .´ 4. es que la matriz J sea regular (|J| = 0) y que γ tenga vector tangente γ ′ (c) = 0. γ2 ) = Ang(f ◦ γ1 . si el determinante de J no es nulo (|J| = 0). vy ∈ C/D γ ∈ Camino contenido en D γ ′ (c) = 0 |J(f. uy . vx . uy .4.9. Aplicaci´n conforme o Se dice que una funci´n f : D −→ R de variable compleja. si la matriz J(f.9. vy ∈ C/D f ∈ Aplicaci´n conforme/zc := o   ∀ (γ1 γ2 ) : zc = γ1 (c1 ) = γ2 (c2 ) =⇒ Ang(γ1 . vx . REPRESENTACION CONFORME 99 donde la matriz J(f. γ(c)) = ux vx uy vy no es otra que la matriz jacobiana del sistema u = u(x y) v = v(x y) y por lo tanto. f ◦ γ2 ) . γ(c)) transforme el vector o o tangente al camino γ en el punto γ(c) en el vector tangente al camino f ◦ γ en el punto f ◦ γ(c). a Esto significa que el ´ngulo orientado entre dos caminos γ1 y γ2 es igual al ´ngulo orientado entre los a a caminos transformados f ◦ γ1 y f ◦ γ2 . cuyas partes real e imaginaria tienen o derivadas primeras continuas. γ(c)) que: o o Condici´n necesaria y suficiente para que una aplicaci´n lineal tangente J(f. se asegura la existencia y unicidad de la funci´n inversa f −1 continua y con derivadas primeras continuas para sus partes real e imaginaria. γ(c))| = 0 =⇒ (f ◦ γ)′ = 0 4. γ(c)) conserva o los ´ngulos orientados de los vectores tangentes a dos caminos. f : D −→ R z −→ (u v) : ux .

100 ´ CAP´ ITULO 4. (f ◦ γ)′ = 0 implica que el jacobiano no es nulo de acuerdo con el resultado obtenido en la secci´n anterior “in fine”. la aplicaci´n isogonal asegura la conservaci´n del valor absoluto del ´ngulo en la transformaci´n. es decir sin especificar la orientaci´n. Observaci´n 1: Una aplicaci´n f se dice que es isogonal cuando en su transformaci´n conserva los angulos o o o ´ de dos caminos en m´dulo. es decir: u u A : x −→ A x = X Antes de estudiar las condiciones generales que debe cumplir una funci´n f de variable compleja para o ser una aplicaci´n conforme es inmediato observar que: o Condici´n necesaria para que f sea una aplicaci´n conforme en zc es que el jacobiano sea distinto de o o cero: f ∈ Aplicaci´n conforme/zc =⇒ |J(f. para que una transformaci´n sea o o 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´ sculas se has simbolizado los transformados de x min´ sculas. o o Condici´n necesaria y suficiente. una aplicaci´n conforme transforma caminos ortogonales α = ± π en caminos ortoo 2 gonales. o . caso de inter´s para el estudio de las l´ e ıneas equipotenciales de un campo y sus trayectorias ortogonales: las l´ ıneas de campo.11: Conservaci´n del ´ngulo entre dos caminos mediante una aplicaci´n conforme f . zc )| = 0 o Es obvio que para que existan los ´ngulos orientados entre caminos. que sea isogonal. para que una aplicaci´n sea conforme. o o Es decir. tanto γ como f ◦ γ deben ser a regulares. DERIVACION EN EL CAMPO COMPLEJO γ2 f ◦ γ1 γ1 zc α f ◦ γ2 α f (zc ) Figura 4. o Es condici´n necesaria entonces. o a o En particular. o o a o pero no asegura la conservaci´n del signo. Por lo tanto. desde el punto de vista vectorial.

para cualquier par de vectores (x1 x2 )3 : ∀ (x1 x2 ) xT AT 1 X1 • X2 = k x1 • x2 · A x2 = k xT 1 · x2 : k>0 Como esta igualdad debe cumplirse para cualquier par (x1 x2 ) debe ser: AT · A = k I Es decir. y ∈ R2 como x • y = xT · y. A es ortogonal salvo constante AT = k A−1 La forma general de A se deduce de esta ultima igualdad haciendo: ´ A= a b Llamando K = k ad−bc a c b d d −c |A| = 0 −b a c d = k ad − bc resulta = Kd −Kb −Kc Ka De la igualdad de matrices se obtiene como unica posibilidad: ´ K = ±1 Por lo tanto.´ 4. . a o Para ello es condici´n necesaria (no suficiente) que se conserve el producto interno. las dos matrices que mantienen el producto interno.9. conviene recordar las propiedades que debe tener una aplicaci´n lineal de o dos dimensiones: A : x −→ A x = X para que conserve los ´ngulos entre dos vectores de la transformaci´n. zc ) : T −→ J · T : |J| = 0 cuyo determinante no es nulo. salvo constante son: K = 1 =⇒ A = K = −1 =⇒ A = a b a b −b a b −a =R =R cos(α) sen(α) cos(α) sen(α) − sen(α) cos(α) sen(α) − cos(α) 3 En el desarrollo siguiente se expresa el producto interno de dos vectores cualesquiera x. salvo constante o positiva. REPRESENTACION CONFORME 101 Observaci´n 2: A los efectos posteriores de estudiar las caracter´ o ısticas generales de la aplicaci´n lineal o J(f. donde xT representa el vector transpuesto de x. y · representa el producto usual de matrices.

A x2 ) ⇐⇒ a b −b a      A= a b −b a |A| = 0 . Si R = 1 es una simetr´ y una dilataci´n si R = 1. o a mientras que para K = −1 es s´lo isogonal. DERIVACION EN EL CAMPO COMPLEJO donde √ R = a2 + b 2 α = Arg(a. o En resumen: Teorema 4.12: Transformaci´n de ´ngulos para aplicaciones con distintos valores de K. pues: a cos(α) sen(α) − sen(α) cos(α) r cos(θ) r sen(θ) =r cos(α) cos(θ) − sen(α) sen(θ) sen(α) cos(θ) + cos(α) sen(θ) = r ei(α+θ) representando entonces la primera de las dos matrices una rotaci´n para R = 1 o una rotaci´n con o o dilataci´n para R = 1 (homotecia).9.3. y X2 X1 z y X2 X1 z x2 x1 α 2 x1 x2 K=1 x K = −1 x Figura 4. y por lo tanto conservando los ´ngulos orientados. es condici´n necesaria y suficiente que la matriz A sea regular y del tipo: o A= Es decir: A : R2 −→ R2 x −→ A x ∀ (x1 x2 ) Ang(x1 .102 ´ CAP´ ITULO 4. b) sin embargo. Para que una aplicaci´n lineal en dos dimensiones A : x −→ A x conserve los angulos o ´ orientados. x2 ) = Ang(A x1 . Para K = 1 es conforme. mientras que: o a cos(α) sen(α) sen(α) − cos(α) r cos(θ) r sen(θ) = cos(α) cos(θ) + sen(α) sen(θ) sen(α) cos(θ) − cos(α) sen(θ) = r ei(α−θ) la aplicaci´n de la segunda matriz es una simetr´ respecto de la recta que pasa por el origen. de pendiente o ıa α ıa o a a 2 . no conserv´ndose por lo tanto los ´ngulos orientados. una sola de ellas conserva los ´ngulos orientados.

9. es que f sea holomorfa y o de derivada primera no nula en ese punto.4. resulta: o (f ◦ γ)′ = f ′ · γ ′ por lo tanto. sea aplicaci´n conforme en zc .´ 4. o o De acuerdo con el resultado obtenido.4.9. se desprende: Corolario 4. J tiene como elementos las derivadas parciales de u y de v. Condici´n necesaria y suficiente para que una funci´n f : D −→ R de partes real e o o imaginaria con derivadas primeras continuas. para que sea una o aplicaci´n conforme se llega a: o Teorema 4. zc ) = ux = vy uy = −vx ux vx uy vy      ux . f ∈ H/zc f ′ (zc ) = 0 ⇐⇒ f ∈ Aplicaci´n conforme/zc o Demostraci´n. γ ∈ Camino contenido en D f ∈ H/zc f ′ (zc ) = 0 γ ′ (c) = 0 ⇐⇒ (f ◦ γ)′ = 0 Bajo las hip´tesis anteriores. zc )| = 0 Como por definici´n. vy ∈ C/zc |J| = ux vy − uy vx = u2 x + 2 vx ⇐⇒ f ∈ H/zc =0 ⇐⇒ f ′ (zc ) = 0 La doble implicaci´n del teorema surge inmediatamente de la reversibilidad de la demostraci´n. o a o . REPRESENTACION CONFORME 103 Analizando las caracter´ ısticas que debe cumplir una funci´n de variable compleja. la aplicaci´n lineal tangente J(f. zc ) = a b −b a |J(f. f es holomorfa en zc y con derivada no nula. o resulta: J(f.1.9. Condici´n necesaria y suficiente para que un camino transformado por una funci´n o o holomorfa sea regular. γ(c)) puede ser expresada por: o z −→ f ′ (zc ) · z que representa una homotecia compleja (rotaci´n y dilataci´n) de γ sobre s´ mismo. para que la aplicaci´n lineal o a o o tangente conserve los ´ngulos orientados debe ser del tipo a J(f. uy . que son continuas. De acuerdo al an´lisis hecho en la Observaci´n 2 anterior. El coeficiente de o o ı dilataci´n es |f ′ (zc )| y el ´ngulo de rotaci´n es Arg(f ′ (zc )). es que el camino original sea regular y que la derivada primera sea no nula. vx .

la funci´n f es biyectiva. o f ∈ Representaci´n conforme/D. de acuerdo a lo ya mencionado en 4. 4. no se mantiene el ´ngulo orientado. o a Se puede demostrar que el ´ngulo entre dos caminos.9. o o a o . f (D) := La funci´n f es una representaci´n conforme de D sobre f (D) o o o La existencia de f ′ (z) = 0 asegura la no nulidad del jacobiano |J(f. siendo f una funci´n no constante. o e o Quedan explicadas. Si la funci´n f : D −→ R es una aplicaci´n conforme sobre todos los puntos del domino D. Para estas funciones se puede llegar a una o f´rmula particular de c´lculo de ´reas. se dice o o que f es una representaci´n conforme de D sobre f (D).5. f (D) := ∀ z ∈ D. lo cual. o La funci´n inversa tambi´n es una representaci´n conforme de f (D) sobre D. o f ∈ Aplicaci´n conforme/z o f ∈ Representaci´n conforme/D. se transforma de un valor α a un valor a nα.3. entonces. o a a Si f (D) es un conjunto sobre el cual puede calcularse la integral que define el ´rea. en este caso. DERIVACION EN EL CAMPO COMPLEJO En el caso de que f ′ (zc ) = 0.2 y 4. Transformaci´n de ´reas e integrales dobles o a Sea f una representaci´n conforme de D sobre f (D).7.2.104 ´ CAP´ ITULO 4. a la luz de la representaci´n conforme. seg´ n las reglas normales e o u (f −1 )′ = 1 f ′ (z) En este caso. entonces se acuerdo a a las reglas de cambio de variables: A= f (D) du dv = D |J| dx dy pero como 2 |J| = u2 + vx x = |f ′ (z)|2 Resulta entonces: du dv = f (D) D |f ′ (z)|2 dx dy f´rmula que establece la relaci´n de ´reas en una transformaci´n conforme. las propiedades de las transformaciones o complejas dadas como ejemplo en 3. implica la existencia de la funci´n inversa de f o f −1 : f (D) −→ D w −→ z : w = f (z) Existe tambi´n la derivada de la funci´n inversa.9. donde n es el orden de la menor derivada no nula en zc . z)|.

La funci´n f tiene que ser holomorfa y o o no constante. hidrodin´micos y teor´ del calor. e Otro m´todo importante para resolver el problema inverso es la tabulaci´n de representaciones cone o formes seg´ n el problema directo. gravitatorios. o I. Problema directo de la representaci´n conforme. es decir. Problema Inverso de la representaci´n conforme.6. o Dados dos conjuntos D y D′ . El problema inverso no siempre tiene soluci´n y existen teoremas generales que se ocupan del tema. II. En particular pueden hallarse las o l´ ıneas equipotenciales y las l´ ıneas de campo en el conjunto D. o Dado el conjunto D y la funci´n f . hallar la funci´n f holomorfa que sea una representaci´n conforme o o de D sobre D′ . o Este puede encararse (no siempre tiene soluci´n) hallando una funci´n f que sea una representaci´n o o o conforme de D sobre un conjunto D′ de geometr´ sencilla (por ejemplo un c´ ıa ırculo) sobre el cual se conozca el potencial en todos sus puntos. los conjuntos abiertos sobre los cuales se cumple la ecuaci´n de Laplace: o ∇2 u = uxx + uyy = 0 que rige en campos el´ctricos.´ 4. hallar la distribuci´n de potencial en el interior de D. o pero tampoco dan soluci´n en todos los casos. o Se pueden plantear entonces dos problemas llamados directo e inverso de representaci´n conforme.13: L´ ıneas de campo y equipotenciales para un problema inverso de representaci´n conforme. hallar la imagen f (D). el problema planteado queda resuelto. REPRESENTACION CONFORME 105 4. γ f D γ′ D′ Figura 4. e e a ıa 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 l´ ınea equipotencial. o En la pr´ctica se suelen emplear soluciones aproximadas que dan origen a dif´ a ıciles problemas de c´lculo a num´rico. Los problemas de la representaci´n conforme o Sea una funci´n de variable compleja f que transforma un conjunto D en otro f (D).9. Invirtiendo la funci´n f . u El problema inverso tiene especial´ ısimo inter´s en las cuestiones relacionadas con los campos potene ciales.9. magn´ticos. o .

14: Transformaci´n de vectores mediante una inversi´n. La inversi´n o El estudio de la funci´n inversi´n tiene particular importancia en las aplicaciones de representaci´n o o o conforme. ˆ ˆ inv : C −→ C   1/z  z −→ 0   ∞ z = 0. para z = 0 y z = ∞ puede presentarse como la transformao ci´n que sigue. El complejo z tiene por m´dulo al rec´ 1 1 opuesto del argumento de z. DERIVACION EN EL CAMPO COMPLEJO 4. −Θ) Las expresiones en coordenadas polares permiten una interpretaci´n sencilla de la inversi´n de un o o 1 o ıproco del m´dulo de z. se obtiene que R = 1 .7. es decir z = ( r . −θ). .9. ) u + v 2 u2 + v 2 (r θ) −→ (R Θ) = ( 1 . y su inversa: o (x y) −→ (u v) = ( x −y .15. o o Las construcciones geom´tricas m´s sencillas para obtener la rec´ e a ıproca de un complejo son: β r z Construyendo dos tri´ngulos semejantes. pues: r  r 1   = sen(α) sen(θ)  1 =⇒ R = R 1  r   = sen(θ) sen(α) θ θ α β 1 R α 1 x Figura 4. a o o ı En coordenadas cartesianas las inversi´n. y por argumento el o complejo z = (r θ). Geom´tricamente: e z r θ x −θ 1 r u 1 z Figura 4.106 ´ CAP´ ITULO 4. como muesa tra la figura 4. ) x2 + y 2 x2 + y 2 u −v (u v) −→ (x y) = ( 2 . −θ) r o tambi´n en coordenadas polares e 1 (R Θ) −→ (r θ) = ( R . z = ∞ z=∞ z=0 ˆ Es f´cil verificar que la inversi´n es una biyecci´n de C sobre s´ mismo.15: Construcci´n geom´trica para o e z obtener la rec´ ıproca de un complejo.

Para ello debe recordarse que el punto z.1. b. a 4. o En los respectivos gr´ficos se presentan las construcciones geom´tricas convenientes para obtener la a e inversi´n propuesta. resulta: o f ◦γ a + bu − cv + d(u2 + v 2 ) = 0 que es una ecuaci´n de las mismas caracter´ o ısticas de la anterior. La funci´n homogr´fica o a Se llama funci´n homogr´fica no degenerada u homograf´a a la funci´n racional: o a ı o ˆ ˆ Hom : C −→ C   az + b     cz + d  z −→ a c     ∞ z=− d c z=∞ : z=∞ d z=− c a.9.16. representando todas las circunferencias del plano para d = 0 y a todas las rectas del plano para d = 0. se e basa en un m´todo semejante al anterior con apoyo e en la circunferencia de radio unitario.8.´ 4. c. perteneciente a γ de m´ximo m´dulo. mantiene los ´ngulos orientados. REPRESENTACION CONFORME 107 z r θ 1 1 r θ 1 z x Un segundo m´todo. d ∈ C ad − bc = 0 . se muestran todos los casos posibles de transformaci´n de ciro cunferencias y rectas por medio de la inversi´n. En el cuadro 4. y que tambi´n la transformaci´n es o e o conforme. se o a o transforma en el punto w. preparado al efecto. perteneciente a f ◦ γ de m´ ınimo m´dulo. Si se aplica la inversi´n a la familia anterior. Figura 4.16: Construcci´n geom´trica altero e nativa para hallar la rec´ ıproca de un n´mero u complejo. es decir. Una aplicaci´n de utilidad es la inversi´n de la familia γ o o γ a(x2 + y 2 ) + bx + cy + d = 0 que representa a todas las circunferencias del plano para a = 0 y a todas las rectas del plano para a = 0. mostrado en la figura 4.9.

DERIVACION EN EL CAMPO COMPLEJO γ y (0 0) ∈ γ γ α |z z f ◦γ v (0 0) ∈ f ◦ γ |w w x α f ◦γ u a=0 d=0 Recta que pasa por (0 0) y z Recta que pasa por (0 0) v (0 0) ∈ f ◦ γ w (0 0) ∈ γ / α A γ x α f ◦γ A′ u a=0 d=0 Recta que no pasa por (0 0) y (0 0) ∈ γ A α γ x α A ′ Circunf. que pasa por (0 0) v (0 0) ∈ f ◦ γ / w z f ◦γ u a=0 d=0 Circunf. que pasa por (0 0) y (0 0) ∈ γ / A γ B α x z Recta que no pasa por (0 0) v (0 0) ∈ f ◦ γ / w α A′ f ◦γ B′ u a=0 d=0 Circunf.108 ´ CAP´ ITULO 4. o o . que no pasa por (0 0) Circunf. que no pasa por (0 0) Cuadro 4.1: Diversas transformaciones mediante la funci´n inversi´n.

´ 4. REPRESENTACION CONFORME 109 Si se supusiera que ad − bc = 0. . que pasa por α Recta que no pasa por α Circunf. o a ıa Si c = 0. o Recta que pasa por δ Recta que no pasa por δ Circunf. que no pasa por α La homotecia est´ caracterizada por un giro definido por el Arg(β) y una dilataci´n definida por el |β|. la homograf´ puede llevarse a la forma ıa w−α= β z−δ z1 = z − δ que representa sucesivamente: I. o c´ ırculos en c´ ırculos. Desplazamiento 1 z 2 = z1 z3 = β z2 w = α + z3 y que permite interpretar f´cilmente la transformaci´n de circunferencias y rectas por medio de la a o tabla hecha para la inversi´n. Homotecia IV. a o La homograf´ permite tambi´n estudiar la representaci´n conforme de c´ ıa e o ırculos en semiplanos. Inversi´n o III. u otras combinaciones de conjuntos del plano limitados por circunferencias y rectas. la funci´n homogr´fica se reducir´ a una constante. que pasa por δ Circunf. la homograf´ se reduce a la funci´n lineal ıa o z −→ a b z+ d d Si c = 0. Desplazamiento II.9. que no pasa por δ ←→ ←→ ←→ ←→ Recta que pasa por α Circunf.

Sign up to vote on this title
UsefulNot useful