Analisis de Funciones de Variable Compleja

Anlisis de Funciones de Variable Compleja a
Ing. Juan Sacerdoti
Facultad de Ingenier a Departamento de Matemtica a Universidad de Buenos Aires 2005 V 1.001
Agradecemos al Sr. Alejandro Quadrini por la transcripcin de este documento. o
Indice general
1. N meros Complejos u 1.1. Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.2. Igualdad de n meros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 1.3. Estructuracin de C como cuerpo abeliano . . . . . . . . . . . . . . . . . . . . . . . o 1.4. Imposibilidad de estructurar C como cuerpo ordenado . . . . . . . . . . . . . . . . 1.5. Estructuracin de C como estructura vectorial . . . . . . . . . . . . . . . . . . . . o 1.6. Estructuracin de C como estructura de espacio mtrico . . . . . . . . . . . . . . . o e 1.6.1. Propiedades generales de la funcin distancia en C . . . . . . . . . . . . . . o 1.6.2. Notacin para la funcin distancia sobre C . . . . . . . . . . . . . . . . . . o o 1.6.3. Mdulo de z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.7. Estructuracin de C como espacio normado . . . . . . . . . . . . . . . . . . . . . . o 1.8. Forma binmica de los complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.8.1. Isomorsmos entre estructuras . . . . . . . . . . . . . . . . . . . . . . . . . 1.8.2. Isomorsmo entre los reales y el conjunto de los complejos con segunda componente nula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.8.3. Forma binmica de los n meros complejos . . . . . . . . . . . . . . . . . . . o u 1.9. Representacin geomtrica 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. Radicacin . . . . . . . . . . . . . . . . . . . . . . o 1.10.5. Interpretacin geomtrica de las operaciones complejas . . . . . . . . . . . . o e 1.11. Forma exponencial de un n mero complejo . . . . . . . . . . . . . . . . . . . . . . u 1.11.1. Expresin de la forma exponencial . . . . . . . . . . . . . . . . . . . . . . . o 1.11.2. Denicin de la funcin 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. Denicin de bola . . . . . . . . . . . . . . . . . . . . . o 2.2. Entorno de un punto c . . . . . . . . . . . . . . . . . . . 2.3. Vecinal de un punto c . . . . . . . . . . . . . . . . . . . 2.4. Clasicacin de puntos: Interiores, exteriores y frontera o 2.5. Adherencia . . . . . . . . . . . . . . . . . . . . . . . . . 2.6. Clasicacin de puntos de adherencia . . . . . . . . . . . o 2.7. Conjuntos abiertos y conjuntos cerrados . . . . . . . . . 2.8. Conjunto acotado y conjunto compacto . . . . . . . . . 2.9. Innito en el Campo Complejo . . . . . . . . . . . . . . 2.9.1. Concepto de punto innito en C . . . . . . . . . 2.9.2. Conjunto Complejo Extendido . . . . . . . . . . 2.9.3. Esfera de Riemann . . . . . . . . . . . . . . . . . 2.9.4. Diversas acepciones de innito . . . . . . . . . 6 6 7 7 8 10 11 11 12 13 14 14 14 15 16 18 19 19 21 22 23 23 25 25 25 27 27 29 29 30 30 31 33 34 35 36 37 37 39 40 41
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
INDICE GENERAL
3. Funciones de Variable Compleja. Continuidad y L mite 3.1. Funciones de variable compleja . . . . . . . . . . . . . . . 3.2. Interpretacin geomtrica . . . . . . . . . . . . . . . . . . o e 3.3. Funciones de variable compleja. Caracter sticas y ejemplos 3.3.1. Caracter sticas . . . . . . . . . . . . . . . . . . . . 3.3.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . 3.4. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . 3.4.1. Denicin . . . . . . . . . . . . . . . . . . . . . . . o 3.4.2. Continuidad sobre un conjunto . . . . . . . . . . . 3.5. L mite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.5.1. Denicin de l o mite . . . . . . . . . . . . . . . . . . 3.5.2. Operaciones con l mites . . . . . . . . . . . . . . . 3.6. Curvas en el campo complejo. Caminos y lazos . . . . . . 3.6.1. Continuidad por partes de funciones reales . . . . 3.6.2. Camino . . . . . . . . . . . . . . . . . . . . . . . . 3.6.3. Lazo . . . . . . . . . . . . . . . . . . . . . . . . . . 3.6.4. Curva . . . . . . . . . . . . . . . . . . . . . . . . . 3.6.5. Caminos opuestos y yuxtapuestos . . . . . . . . . 3.6.6. Ejemplos de caminos . . . . . . . . . . . . . . . . . 3.6.7. Camino simple. Lazo simple . . . . . . . . . . . . . 3.6.8. Caminos equivalentes . . . . . . . . . . . . . . . . 3.7. Conjuntos conexos . . . . . . . . . . . . . . . . . . . . . . 3.8. Homotop de caminos y lazos . . . . . . . . . . . . . . . . a 3.8.1. Homotop de caminos . . . . . . . . . . . . . . . . a 3.8.2. Homotop de lazos . . . . . . . . . . . . . . . . . a 3.8.3. Homotop a un punto . . . . . . . . . . . . . . . . a 3.9. Clasicacin de conjuntos conexos en C . . . . . . . . . . o 3.9.1. Conjuntos simplemente conexos . . . . . . . . . . . 3.9.2. Conjuntos m ltiplemente conexos . . . . . . . . . . u 3.9.3. Cortadura . . . . . . . . . . . . . . . . . . . . . . . 3.9.4. Grado de multiplicidad . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43 43 43 45 45 45 48 48 49 50 50 52 54 54 54 55 56 57 58 59 60 60 61 61 61 62 62 62 62 63 63 64 64 65 67 69 69 70 70 70 72 74 80 81 81 83 84 85 89 90 91 94
4. Derivacin en el Campo Complejo o 4.1. Derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.2. Diferencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3. Relacin entre derivada y diferencial. Existencia . . . . . . . . . . . . . . . . . . . . o 4.4. Derivacin y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.5. Funciones mongenas y holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.6. Reglas de derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.7. Holomorf y ecuacin de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . a o 4.7.1. Las componentes de una funcin holomorfa como funciones armnicas . . . o o 4.7.2. Propiedades de funciones conjugadas armnicas . . . . . . . . . . . . . . . . o 4.7.3. Obtencin de la conjugada armnica de una funcin en el entorno de un punto o o o 4.8. Holomorf en el innito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 4.9. Representacin conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.9.1. Angulo entre caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.9.2. Transformacin de caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.9.3. Transformacin de vectores tangentes . . . . . . . . . . . . . . . . . . . . . o 4.9.4. Aplicacin conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.9.5. Transformacin de areas e integrales dobles . . . . . . . . . . . . . . . . . . o 4.9.6. Los problemas de la representacin conforme . . . . . . . . . . . . . . . . . o 4.9.7. La inversin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.9.8. La funcin homogrca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o a
Indice de guras
1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 1.7. Representacin del complejo (x y) en el plano cartesiano. . . . o Representacin del complejo z en coordenadas polares. . . . . o Representacin geomtrica de la suma de dos complejos. . . . o e Representacin geomtrica de la diferencia de dos complejos. o e Representacin geomtrica del producto de dos complejos. . . o e Ra quintas de un n mero complejo z. . . . . . . . . . . . ces u Conjugado de un n mero complejo. . . . . . . . . . . . . . . . u . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 20 24 24 24 25 28 29 30 30 32 34 35 37 38 40 40 40 44 45 48 48 52 55 56 57 59 59 60 60 61 62 62 62 63 63 64 66 68 74 76
2.1. Bola de centro c y radio r. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. Entorno de un punto c. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3. Vecinal de un punto c. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4. Clasicacin de puntos en un espacio mtrico. . . . . . . . . . . . . . . . . . . . . . o e 2.5. Puntos aislados y puntos de acumulacin del conjunto A. . . . . . . . . . . . . . . o 2.6. Clasicacin de conjuntos seg n contengan o no a sus fronteras. . . . . . . . . . . . o u 2.7. |z| > r. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.8. Diversos conjuntos transformados mediante la funcin inversin. . . . . . . . . . . o o 2.9. Esfera de Riemann. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.10. Proyeccin estereogrca de una circunferencia que no pasa por el origen de cooro a denadas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.11. Proyeccin estereogrca de una circunferencia que pasa por el origen de coordenadas. o a 3.1. Transformacin de regiones en R2 mediante una funcin de variable compleja. o o 3.2. Transformacin de caminos mediante la funcin f (z) = z 2 . . . . . . . . . . . . o o 3.3. Funcin de una variable real discontinua en a. . . . . . . . . . . . . . . . . . . o 3.4. Funcin de una variable compleja discontinua en a. . . . . . . . . . . . . . . . o 3.5. Composicin de funciones de una variable compleja. . . . . . . . . . . . . . . o 3.6. Camino en el campo complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . 3.7. Lazo en el campo complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.8. Caminos yuxtapuestos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.9. Camino poligonal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.10. Ejemplos de caminos y lazos. . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.11. Ejemplo de conjuntos conexos. . . . . . . . . . . . . . . . . . . . . . . . . . . 3.12. Ejemplo de conjuntos no conexos. . . . . . . . . . . . . . . . . . . . . . . . . . 3.13. Homotop de los caminos 1 y 2 en D . . . . . . . . . . . . . . . . . . . . . a 3.14. Homotop de los lazos 1 y 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . a 3.15. Conjunto simplemente conexo. . . . . . . . . . . . . . . . . . . . . . . . . . . 3.16. Conjunto m ltiplemente conexo. . . . . . . . . . . . . . . . . . . . . . . . . . u 3.17. Ejemplos de cortadura. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.18. Conjunto con grado de multiplicidad=3 . . . . . . . . . . . . . . . . . . . . . 4.1. 4.2. 4.3. 4.4. 4.5. Incremento de z a travs de un camino . . . . . . . . . . . . . . . . . . . e Dominio restringido de una funcin de variable compleja. . . . . . . . . . o Incremento de una funcin a travs de caminos rectos paralelos a los ejes. o e Trayectorias ortogonales de un par de funciones conjugadas armnicas . . o Integracin a travs de un camino poligonal. . . . . . . . . . . . . . . . . . o e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
INDICE DE FIGURAS
4.6. Reemplazo de un camino por otro poligonal. . . . . . . . . . . . . . . . . . . . . 4.7. Dominio e imagen de Inv y f . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.8. Vector tangente a en el punto (c). . . . . . . . . . . . . . . . . . . . . . . . . . . 4.9. Angulo entre los caminos 1 y 2 en el punto zc . . . . . . . . . . . . . . . . . . . . 4.10. Transformacin de caminos por una funcin de variable compleja. . . . . . . . . . . o o 4.11. Conservacin del angulo entre dos caminos mediante una aplicacin conforme f . . o o 4.12. Transformacin de angulos para aplicaciones con distintos valores de K. . . . . . . o 4.13. L neas de campo y equipotenciales para un problema inverso de representacin cono forme. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.14. Transformacin de vectores mediante una inversin. . . . . . . . . . . . . . . . . . o o 4.15. Construccin geomtrica para obtener la rec o e proca de un complejo. . . . . . . . . . 4.16. Construccin geomtrica alternativa para hallar la rec o e proca de un n mero complejo. u
77 81 81 82 83 85 88 91 91 92 92
Cap tulo 1
Nmeros Complejos u
1.1. Denicin o
Se llama nmero complejo a todo par ordenado (x y) de n meros reales. u u z := (x y) : x R , y R z := N mero complejo u Al n mero real x (primera componente del par ordenado) se lo llama parte real o primera u componente del n mero complejo. u Asimismo, al n mero real y (segunda componente del par ordenado) se lo llama parte imaginaria u o segunda componente del n mero complejo. u Re(z) := x Im(z) := y Re(z) := parte real de z Im(z) := parte imaginaria de z Observacin: Conviene remarcar que tanto la parte real, como la parte imaginaria de un n mero o u complejo (a pesar de su denominacin), son ambos n meros reales. o u Al conjunto de todos los n meros complejos, se lo simboliza con C. u C := {(x y) : x R , y R } C := Conjunto de todos los n meros complejos u Observacin: A partir de la denicin de C es inmediato que: o o C=RR o sea que C = R2
Sin embargo, la introduccin del nuevo s o mbolo C para representar al conjunto de los complejos, en vez de usar directamente R2 , es conveniente para destacar y recordar la diferencia existente entre R2 y los dems Rn . a Todo Rn conforma estructura de espacio vectorial y tambin estructura de espacio eucl e deo. 2 En el caso particular de R , adems de las estructuras mencionadas, se agrega la estructuracin a o en cuerpo abeliano. (ver punto 1.3). Esta caracter stica no se extiende a ning n Rn con n 3. u La razn de esta diferencia es porque en C, adems de denirse la suma como en todo Rn , o a se establece tambin la multiplicacin, condicin que le permite alcanzar la estructura de cuerpo e o o abeliano.
1.2. IGUALDAD DE NUMEROS COMPLEJOS
1.2.
Igualdad de n meros complejos u
La igualdad de los n meros complejos es una consecuencia de la igualdad denida entre conu juntos, y su aplicacin 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 slo si simultneamente, las respectivas partes u o a reales e imaginarias son iguales entre s Una igualdad en C representa entonces dos igualdades en . R.
1.3.
T : P :
Estructuracin 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 denen dos leyes de composicin interna: o
Los signos + y representan las leyes de composicin interna, suma y producto de n meros o u reales. El conjunto de los n meros complejos C se estructura en cuerpo abeliano con respecto a las u leyes de composicin interna suma de n meros complejos T y producto de n meros complejos o u u P . 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 demostracin de esta aseveracin es inmediata. o o Algunos elementos destacables en el cuerpo C son: (0 , 0) (x , y) (1 , 0) x2 x y , 2 x2 + y 2 +y neutro de C respecto de T
simtrico de (x y) respecto de T e neutro de C respecto de P simtrico de (x y) respecto de P , (x y) = (0 0) e
Los s mbolos con los cuales se identicarn estos elementos son: a s z
:= (0 , 0) := (1 , 0) := := (x , y) x y , x2 + y 2 x2 + y 2
u z
CAP ITULO 1. NUMEROS COMPLEJOS
1.4.
Imposibilidad de estructurar C como cuerpo ordenado
El conjunto C no puede ser estructurado como cuerpo ordenado. Ello signica que no existe ninguna relacin sobre C C que cumpla simultneamente: o a (a) Relacin de orden amplio sobre C. o (b) Relacin de orden total. o (c) Relacin de compatibilidad con las leyes de suma y producto complejo. o Estas condiciones presentadas para el caso de un cuerpo genrico (E T P ), llamando RO a la e relacin de orden sobre E, pueden expresarse de la siguiente manera: o x E (x x) RO (x y) RO x=y (y x) RO RO Relacin de orden amplio := o (x y) RO (x z) RO (y z) RO Reexividad Antisimetr a Transitividad
RO Relacin de orden total := x E, y E o
{x y} = (x y) RO
o (y x) RO
A partir de estas deniciones se establece entonces: (E, T, P ) Cuerpo abeliano (E, T, P ) Cuerpo abeliano ordenado := RO Relacin de orden amplio o RO Relacin de orden total o RO Relacin 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 )
Observacin 1: Al cumplirse simultneamente las condiciones de orden amplio y total sobre E, o a resulta superua la condicin de reexividad, como se muestra a continuacin: o o A partir de la condicin 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
Observacin 2: Las notaciones usuales para las relaciones de orden son x y o (x y) RO. En el o texto se ha preferido el uso de sta ultima para evitar confusiones. e A continuacin se pasa a demostrar la tesis propuesta, que el cuerpo de los complejos no puede o ser ordenado. El esquema de prueba se basa en que para dos n meros complejos, (0 0) (neutro de T ) y el (0 1) u (ms adelante llamado unidad imaginaria), no puede establecerse ninguna relacin de orden que a o satisfaga las condiciones anteriores. (C, T, P ) Cuerpo abeliano = RO sobre C : (C, T, P ) Cuerpo ordenado
1.4. IMPOSIBILIDAD DE ESTRUCTURAR C COMO CUERPO ORDENADO
1. Orden total
{(0 0) , (s 1))} ((0 0) , (0 1)) RO
((0 1) , (0 0)) RO
Suponiendo la primera de las dos posibilidades: 2. ((0 0) (0 1)) RO ((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
((0 0) (0 1)) RO
4. Compat. P
((0 0) (1 , 0)) RO ((0 0) (1 , 0)) RO ((0 0) (1 , 0)) RO (1 , 0) C ((1 0) (0 0)) RO ((0 0) (1 0)) RO
5. Compat. T
6. (4.), (5.) y antisim.
(0 0) = (0 1)
Como la primera posibilidad ha conducido a una proposicin falsa, se prueba con la seo gunda: 7. ((0 1) (0 0)) RO ((0 1)(0 0)) RO (0 , 1) C ((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 tambin: e 10. = (0 0) = (1 0) prop. falsa Se deben descartar entonces las dos posibilidades. De donde: o RO Relacin de orden amplio RO Relacin de orden total o RO sobre C : o RO Relacin de compatibilidad con la suma y producto complejo
8. Compat. T
9. Compat. P
((0 0)(0 , 1)) RO
((0 0)(0 , 1)) RO
11. (1.), (6.) y (10.)
10
Observacin 1: El hecho de que C no sea un cuerpo ordenado, deja como unico Rn que cumple tal o condicin al conjunto de los reales R. Este es el cuerpo ordenado por excelencia. o Observacin 2: Conviene remarcar que en C carece totalmente de sentido la proposicin: o o z>z
Por lo tanto, en el caso de presentarse esta notacin, es sencillamente un grave error. o
1.5.
Estructuracin de C como estructura vectorial o
El conjunto de los n meros complejos C conforma una estructura vectorial, sobre un cuerpo u K, respecto de las leyes de composicin interna T (suma de n meros complejos) y composicin o u o externa P oportunamente denida: P : C C C
(, (x y)) (x, y) P := Ley de composicin externa de C sobre K. o K := Cuerpo de apoyo de la estructura vectorial o conjunto de los escalares. La proposicin mencionada es consecuencia inmediata de que C = R2 , es decir un caso partio cular de Rn . Tiene particular inters tomar a la terna (R + ) como cuerpo K sobre el cual conforma C la e estructura vectorial. C = { (xy) T : : xR , y R}
(R + ) Cuerpo de los Reales ((x y) , (x y )) P : CC ((x y) , (x y )) CC C (x + x , y + y )
C (xx yy , xy + yx )
= (C R + T P ) Estructura vectorial
Observacin 1: Para no incurrir en confusiones de conceptos se debe tener presente siempre las o diferencias que existen entre las leyes: - Producto de n meros reales: u - Producto de n meros complejos: p u - Producto de C sobre K: P Observacin 2: Para evitar interpretaciones errneas se hace notar que la convencin adoptada o o o para la denominacin de la sxtupla (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.6. ESTRUCTURACION DE C COMO ESTRUCTURA DE ESPACIO METRICO
11
1.6.
Estructuracin de C como estructura de espacio mtrio e co
El conjunto C conforma una estructura de espacio mtrico, y en particular una estructura de e espacio eucl deo, al denirse la funcin distancia por la expresin pitagrica: o o o d: C C R (z , z )
(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 , es decir un caso particular n de R . C = { (x y) : x R , y R } = (C , d) Estructura de espacio eucl deo d : C C R (z , z ) (x x )2 + (y y )2 = d(z z ) Observacin 1: Para evitar confusiones se se ala que las denominaciones adoptadas para el par o n (E , d) y para el conjunto E son: (E , d) := Estructura de espacio mtrico o estructura mtrica e e E := Espacio mtrico e El hecho de poder estructurar E como espacio mtrico tiene enorme importancia. e En efecto, se logra con ello la base (funcin distancia) para construir una estructura topolgica. o o De esta manera el conjunto de los complejos C conforma simultneamente una estructura a algebraica de cuerpo, y una estructura topolgica, siendo ambas las dos condiciones esenciales o para poder denir los conceptos que son fundamento del anlisis matemtico: la continuidad (la a a convergencia) y la diferencial.
1.6.1.
Propiedades generales de la funcin distancia en C o
Las propiedades ms importantes para destacar de la funcin distancia sobre el conjunto de los a o complejos, se desprenden directamente del caso ms general, funcin distancia sobre los espacios a o eucl deos. Para facilitar su presentacin es conveniente usar los s o mbolos e := (0 0) z := (x , y) respectivamente par el neutro de C respecto de la suma T , y el opuesto de z respecto de T . Tambin e se agregar el nuevo s a mbolo: z z := z T z z z := Diferencia entre los n meros complejos z y z u El detalle de las propiedades mencionadas es: I. d(z e) = 0 z = e II. z z = w w = d(z z ) = d(w w ) III. d(z + z , z) = d(z e) IV. d(z z , e) = d(z z )
12
V. d(z z , e) = d(z z , e) VI. d(z , z ) = ||d(z z ) VII. d(z e) d(z e) VIII. d(z e) d(z e) IX. |Re(z)| |Im(z)| d(z, e) d(z, e)
R d(z + z , e) d(z z , e) d(z e) + d(z e) d(z e) + d(z e)
|d(z e) d(z e)| |d(z e) d(z e)|
Es buen ejercicio demostrar estas frmulas en forma directa a partir de la denicin de distancia o o sobre C.
1.6.2.
Notacin para la funcin distancia sobre C o o
La notacin de la funcin distancia sobre C, que por otra parte se emplea normalmente para o o cualquier Rn es: |z z | := d(z z ) |z z | := Distancia de z a z De acuerdo a esta ultima convencin 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 aplicacin e importancia, tanto como para adjudicarle una o denominacin particular. Esto se tratar en el apartado 1.6.3. o a La introduccin del nuevo s o mbolo |z z | para representar la funcin distancia, es justicada o por el hecho de que ayuda a recordar todas las propiedades del prrafo anterior asimilndolas a a a las anlogas de la funcin valor absoluto en el campo real. a o En efecto, si formalmente se opera d(z z ) con las propiedades del valor absoluto real, se verican sin dicultad las propiedades vistas en 1.6.1: I. |z e| = 0 z = e |z| = 0 z = e II. z z = w w = |z z | = |w w | III. |(z + z ) z| = |z | IV. |(z z ) e| = |z z | V. |z z | = |z z| VI. |z z | = |||z z | VII. |z| |z | VIII. |z| |z | IX. |Re(z)| |Im(z)| ||z| |z || ||z| |z || |z| |z| |z + z | |z z | |z| + |z | |z| + |z |
1.6. ESTRUCTURACION DE C COMO ESTRUCTURA DE ESPACIO METRICO
13
Observacin: El valor absoluto en el campo real por su parte estructura al conjunto R como espacio o eucl deo, pues: d(x y) = (x y)2
= |x y|
Entonces, la distancia del espacio eucl deo Rn puede entenderse como una generalizacin del o valor absoluto denido para R.
1.6.3.
Mdulo de z o
Se dene como mdulo de z, tambin llamado valor absoluto de z, a la distancia d(z e). o e |z| := d(z e) |z| := Mdulo de z o Esta denicin es complementaria de la notacin de distancia introducida en 1.6.2, ya que o o ambas no son independientes, como se demuestra acto seguido: Teorema 1.6.1. d(z z ) = |z z | d(z e) = |z| Demostracin. La demostracin de la condicin necesaria es: o o o d(z e) = |z e| = |z| La condicin suciente: o d(z z ) = d(z z , e) = |z z | La asignacin de una denominacin espec o o ca dada a la distancia d(z e) se justica no solamente por la frecuencia con que aparece en las frmulas anteriores, sino tambin para resaltar el papel o e muy importante que desempe a en todo el algebra y anlisis complejo. n a Basta para ello mencionar que su empleo permite: a. La denicin de la forma polar del n mero complejo. o u b. El hallazgo de mtodos operativos ms sencillos, derivados de la forma polar, para la multie a plicacin, divisin, potencia, radicacin y logaritmacin. o o o o c. Establecer una norma sobre C Todos estos conceptos sern desarrollados ms adelante. a a El mdulo de z, de acuerdo con la denicin es una aplicacin del conjunto de los complejos o o o sobre los reales. ||: C R
(x y)
x2 + y 2
Las propiedades ms importantes del mdulo de z son las detalladas en el prrafo anterior. a o a A ellas conviene agregar: |z| = |z | |z|2 = |z |2 cuya demostracin es inmediata, y adems: o a
14
Teorema 1.6.2. El mdulo del producto es igual al producto de los mdulos. o o (zz ) C = |z P z | = |z||z | Demostracin. 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.
Estructuracin de C como espacio normado o
Se llama espacio normado a todo espacio vectorial provisto de una aplicacin sobre los reales o no negativa, llamada norma, que cumple las condiciones que se mencionan a continuacin: 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 prrafo 1.6.2 se concluye de inmediato que la funcin a o mdulo de z es efectivamente una norma. o ||: C R = (E K + T P ) Estr. de espacio normado
(x y)
x2 + y 2
En todo espacio normado, la funcin distancia d(zz ) = N (z z ) lo estructura como espacio o mtrico. e d: C C R (z z ) N (z z ) = (C d) Estructura de espacio mtrico e
La norma establece una elacin directa entre los espacios vectoriales y los espacios mtricos. 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 binmica de los complejos o

Isomorsmos entre estructuras
Se dice que una aplicacin f del conjunto E sobre el conjunto E establece un isomorsmo o entre las estructuras (E T ) y (E T ), donde T y T son leyes de composicin interna denidas o respectivamente sobre E y E , cuando: a. f es biyectiva b. La composicin interna T de la aplicacin de dos elementos de E sobre E es igual a la o o aplicacin sobre E de la composicin interna T de dichos elementos de E, es decir: o o f (a T b) = f (a) T f (b)
1.8. FORMA BINOMICA DE LOS COMPLEJOS
15
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 L: R+ R
Ejemplo: La funcin logaritmo natural o
x L(x)
establece un isomorsmo entre las estructuras (R+ ) y (R +). Generalizando, una funcin f puede establecer un isomorsmo entre las estructuras (E T P ) y o (E T P ) dotadas cada una de ellas con dos leyes de composicin 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
1.8.2.
Isomorsmo entre los reales y el conjunto de los complejos con segunda componente nula
Denimos 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 funcin pr1 que se llamar primera proyeccin, o a o pr1 : C1 R (x, 0) x
establece un isomorsmo entre las estructuras (C1 T P ) y (R + ). Teorema 1.8.1. C1 = {(x, 0)} = ((R + ) (C1 T P ) pr1 ) Estructuras isomorfas
(x (x, 0)) pr1
16
Demostracin. Se demuestra en primer lugar que la relacin pr1 es una aplicacin biyectiva. o o o x (x, 0) x=x x=x 0=0
(x, 0) = (x , 0) Enseguida se ver como la aplicacin pr1 establece el isomorsmo. a o x (x, 0)
y (y, 0) x + y (x, 0) T (y, 0) = (x + y, 0) x y (x, 0) P (y, 0) = (x y, 0) Observacin 1: El par (x, 0) no es un n mero real a pesar de que es frecuente denominarlo as en o u , un evidente abuso de notacin. o El complejo (x, 0) es el correspondiente al real x a travs del isomorsmo denido. e Observacin 2: Es inmediato demostrar a partir del isomorsmo estudiado entre C1 y R que tambin o e puede establecerse otro isomorsmo entre los complejos con segunda componente nula y los reales a travs de la funcin: e o pr2 : {(0, y)} R (0, y) y
como se verica considerando las leyes respectivas se suma pero no las leyes de multiplicacin. o
1.8.3.
Forma binmica de los nmeros complejos o u
Todo n mero complejo puede descomponerse en la suma de otros dos, con segunda y primera u componente nula, respectivamente: (x y) = (x 0) T (0 y) Por el otro lado tambin se verica 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 binmica de los n meros complejos. o u Es conveniente tomar: i := (0 1) Queda entonces: (x y) = (x 0) T ((y 0) P i) Este resultado, conjuntamente con el isomorsmo estudiado en 1.8.2 induce a pensar la posibilidad de la existencia de un isomorsmo entre el conjunto de los complejos C y el conjunto de los binomios x + iy operados formalmente con las reglas del algebra de los n meros reales. u En efecto, deniendo al conjunto de los nuevos entes x + iy, B := {x + iy : x R , y R} i := Unidad imaginaria
1.8. FORMA BINOMICA DE LOS COMPLEJOS
17
la funcin o f : C B (x y) x + iy establece un isomorsmo entre (B + ) y (C + ) donde + y son las leyes de composicin interna o sobre el conjunto B, denidas en forma conveniente de acuerdo al algebra de los n meros reales. u Las deniciones de estas leyes se hallan en el enunciado del teorema siguiente, y merece se alarse n unicamente que es necesario convenir que: i2 := 1 Observacin 1: Debe tenerse sumo cuidado de no entrar en confusiones con las dos deniciones o hechas de i porque sin distintas. Se ha usado la misma letra solamente por razones tradicionales. En el primer caso se ha denido sobre el conjunto de los complejos i = (0 1) lo cual lleva a i2 = i P i = (1, 0) y por lo tanto de acuerdo a la Observacin 1 del prrafo 1.8.2 o a i2 = 1 siendo i2 simplemente el correspondiente de 1 en el isomorsmo analizado entre C1 y R: pr1 : i2 1 En el segundo caso, que no es una denicin operacional de elementos de C sino de entes de B, o el s mbolo i2 representa a: i2 = i i es decir, un producto con respecto a la ley en B. Y se establece a contrario sensu: i2 = 1 El planteo del isomorsmo de las estructuras es: (C T P ) Cuerpo complejo +: ((x + iy), (x + iy )) (x + x ) + i(y + y ) : B B B ((x + iy), (x + iy )) xx + ixy + iyx + yy i2 = B B B
= ((B + ) (C T P ) f ) Estr. isomorfas
i i 1 f: (x y) x + iy C B
(xx yy ) + i(xy + yx )
La demostracin de este isomorsmo surge directamente de la denicin de las leyes de como o posicin interna denidas sobre B. o La denominacin de forma binmica del n mero complejo es justicada con claridad por el o o u isomorsmo demostrado.
18
Se remarca que la importancia de este resultado reside en que la forma binmica permite opeo rar con los n meros complejos como simples n meros reales, con la condicin de sustituir en la u u o multiplicacin a i2 por 1. o Observacin 2: No debe olvidarse que del mismo modo que el complejo (x 0) y el real x son nociones o diferentes, tambin lo son el complejo (x y) y el binomio x + iy. e Sin embargo es usual confundirlos en evidente abuso de notacin. Esto no produce dicultades al o operar con complejos si se toman las precauciones del caso. Llegado a este punto del texto en el cual se han estudiado las diferencias y relaciones existentes entre las leyes de composicin interna complejas y reales, se usarn, por razones tradicionales, a o a partir de ahora los signos + y tambin para las primeras siempre que ello no induzca a confusiones. e
1.9.
Representacin geomtrica de los complejos o e
De la misma manera que no puede establecerse diferencia entre el n mero real x y el punto x u de una recta, tampoco existe ninguna diferencia entre el nmero complejo (x y) y el punto (x y) u del plano R R. Se comprende que a partir de este razonamiento, no puede hacerse ninguna distincin entre el o lgebray la geometr a a. La representacin geomtrica de un n mero complejo es sencillamente otra forma de simbolio e u zarlos, es decir, otra forma de escribirlos o representarlos. Sin embargo, histricamente ha sido, y todav es, un modelo muy conveniente para estudiar o a e interpretar las relaciones entre los complejos. Por lo tanto, es importante el manejo uido de los complejos teniendo siempre presente su signicado geomtrico. e La representacin ms frecuente de R2 es en coordenadas cartesianas ortogonales, mediante un o a plano que se denominar plano complejo. 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
Observacin 1: Debe observarse que de acuerdo a las apreciaciones hechas ms arriba, las palabras o a n mero complejo y punto del plano son sinnimos. u o Tambin son equivalentes los trminos R R y plano, primera componente y abscisa, segunda e e componente y ordenada, etc.; que se usarn indistintamente a lo largo del texto. 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 representacin en coordenadas cartesianas , o el complejo (x 0) es representado por puntos del eje imaginario.
1.10. FORMA POLAR DE UN NUMERO COMPLEJO. PROPIEDADES

y (0 y)
(0 0)
Figura 1.1: Representacin del complejo (x y) en el plano cartesiano. o
Observacin 2: La denominacin de forma cartesiana como equivalente de la binmica surge evio o o dentemente de la representacin grca de los complejos. o a El origen de coordenadas representa al par (0 0) Otra interpretacin del complejo z puede ser la de segmento orientado con origen en (0 0) y o vrtice en el punto (x y). La representacin polar permitir estudiar en detalle este nuevo enfoque. e o a Esta simple observacin destaca como la representacin geomtrica ayuda a estudiar las propiedao o e des del n mero complejo. En este caso, la relacin entre el conjunto C y los espacios vectoriales u o como segmentos orientados.
1.10.
Forma Polar de un N mero Complejo. Propiedades u
Los n meros complejos (x y) pueden ser representados de otras maneras, adems de las ya vistas. u a Dada una funcin 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), permite interpretar al segundo par como una nueva forma o representacin del primer par. o En particular adquieren importancia por su facilidad de operacin la forma polar, y su derivada, o la forma exponencial.
1.10.1.
Forma Polar de un Nmero Complejo u
En el plano complejo puede observarse con ayuda de la representacin geomtrica, que cualquier o e par (x y) = (0 0) puede ser denido 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 ) dene las llamadas coordenadas polares del n mero complejo. u Al par (0 0), origen de coordenadas, se asignan convencionalmente los valores: r=0 = 1 donde 1 es un n mero real arbitrario. u La primera coordenada polar, r, representa entonces la distancia d(z e), es decir el mdulo de o z estudiado en 1.6.3.
z (x y) (x 0) x
19
20
r x
Figura 1.2: Representacin del complejo z en coordenadas polares. o
r := |z| = d(z e) r := mdulo de z o
El mdulo de z est denido para cualquier n mero complejo, a n el (0 0), por la aplicacin: o a u u o || : C R
(x y) |z| =
x2 + y 2
ya estudiada anteriormente.
La segunda coordenada polar , que como se dijo, representa el angulo entre el segmento o z y el eje x. Debe elegirse entonces anal ticamente, de manera que satisfaga el sistema: r cos() = x r sen() = y A todos los valores de , ra del sistema, se los llama argumento de z. ces arg(z) := : arctan y x
arg(z) := argumento del complejo z La solucin de este sistema, no est un o a vocamente determinada en , pues si 1 es solucin, tambin o e lo es 1 + 2k : k Z (ngulos congruentes entre s a ). Por lo tanto, para establecer una relacin uno a uno entre las coordenadas cartesianas y las polares, o debe asignarse un slo valor de argumento a cada punto, 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, y < 0 x = 0, y < 0 x > 0, y x = 0, y > 0 x < 0, y 0
(x y)
Arg(z) := Determinacin principal del argumento de z o valor principal. o
z z y x
21
Esta determinacin llamada principal del argumento de z se identica por el s o mbolo Arg(z), encabezado con A (may scula). u Observacin 1: La funcin o o Arctan : R (/2 , /2) x Arctan(x)
escrita con A may scula, es por convencin la determinacin principal de la funcin multiforme u o o o (que por lo tanto no es una aplicacin) {x , arctan(x)}, relacin inversa de la tangente: o o tan : R {(n + 1/2) : n Z} x R tan(x)
En resumen, la transformacin biyectiva o f: C C
(x y) (r ) =
x2 + y 2 , Arg(z)
z = (0 0) z = (0 0) , 1 R
es una de las posibilidades que dene al nuevo par (r ), cuyos elementos son las coordenadas polares de un punto del plano complejo. A su vez, la funcin inversa de F es: o F 1 : C C
(0 , ) 1
(r ) (x y) = (r cos , r sen ) a partir de la cual puede deducirse la forma binmica a: o x + iy = r (cos + i sen ) llamada forma polar o forma trigonomtrica del n mero complejo. e u Observacin 2: Para denir las coordenadas polares, podr elegirse cualquier otra determinacin o a o del argumento de z, en vez de la principal, obtenindose resultados equivalentes. e Las diferentes determinaciones tienen tambin su utilidad, como por ejemplo para el clculo de e a logaritmos y potencias complejas.
1.10.2.
Igualdad en forma polar. Congruencia
A partir de la igualdad entre pares ordenados se obtiene: (r ) = (r ) r=r =
Es decir, la igualdad de dos n meros complejos es condicin necesaria y suciente de la igualdad u o de sus respectivos mdulos y argumentos. o Un concepto que no debe confundirse con el de igualdad es el de congruencia. Se dice que dos complejos expresados en forma polar, son congruentes; con distinta o igual determinacin del argumento, cuando son correspondientes de un mismo punto del plano complejo. o Esto signica: (r ) (r ) (r ) := r(cos + i sen ) = r (cos + i sen ) (r ) := (r ) es congruente con (r )
22
La congruencia para z = (0 0) se reduce a la igualdad slo en el caso de la igualdad de los o argumentos. Es decir que dos complejos expresados en forma polar con mdulo no nulo (z = (0 0)) son cono gruentes, cuando tienen los mdulos iguales y sus argumentos dieren en una cantidad entera de 2. o En el caso de que el mdulo sea nulo, sta es condicin suciente para la igualdad de dos o e o complejos; con independencia del valor de los respectivos argumentos. r=0 (r ) r=0 (r ) (r ) r = r = 0 (r ) r=r =
Observacin 3: No debe perderse de vista la diferencia existente entre la igualdad y la congruencia. o En algunos casos, donde debe destacarse esta diferencia, se han creado articios especiales. Por ejemplo, puede suponerse que al plano polar de los complejos (r ) se le hace corresponder uno o ms a planos cartesianos (uno para cada determinacin) que geomtricamente se tienen por superpuestos. o e Estos planos se llaman de Riemann, y son una forma de establecer una correspondencia biun voca aplicable para trabajar con funciones multiformes.
1.10.3.
Producto en forma polar. Cociente
Una primera aplicacin donde la forma polar es particularmente ecaz es en el producto como plejo: r(cos + i sen ) r (cos + i sen ) = r r ((cos cos sen sen ) + i(cos sen + cos sen )) = r r (cos( + ) + i sen( + )) donde se comprueba que: I. El mdulo del producto es igual al producto de los mdulos, teorema ya demostrado o o en 1.6.3 II. Una de las determinaciones del argumento del producto es igual a la suma de los argumentos de los factores Aqu la suma de los argumentos puede cambiar la determinacin elegida, pero no afecta los , o resultados en cartesianas. esto es un ejemplo de la ventaja de la creacin de articios como los o mencionados en la Observacin 3 de este apartado. o En rigor, si se deseara mantener la determinacin principal para el argumento del producto, se o debe convenir: + > + + > Arg(z z ) = + + + +
La forma polar tambin es de sencilla aplicacin para la obtencin del cociente de dos complejos, e o o con divisor no nulo, donde se generaliza la expresin del producto o r =0 r(cos + i sen ) r = (cos( ) + i sen( )) r (cos + i sen ) r
23
1.10.4.
Potencia en forma polar. Radicacin o
En el caso de potencia natural, aplicando la frmula del producto y el principio de induccin o o completa, se obtiene: (r(cos + i sen ))n = rn (cos n + i sen n) expresin que puede generalizarse para todo n entero si se conviene: o z 1 := 1 z
La frmula de la potencia se puede emplear tambin para la extraccin de la ra ensima de o e o z e un complejo no nulo. En efecto, si un complejo r (cos + i sen ) es ra ensima de otro complejo r(cos + i sen ), z e estos satisfacen: (r (cos + i sen ))n = r(cos + i sen ) equivalente a un sistema en coordenadas polares, cuya solucin no es unica para n > 1 pues existen o diversas determinaciones que lo satisfacen y que originan ra diferentes: ces rn =r n = + 2k se sigue r = r1/n =
+2k n
kZ
a partir de la cual se obtiene la expresin de la ra o z, (r(cos + i sen ))1/n = r1/n (cos + 2k + 2k + i sen ) n n
la cual produce n meros complejos diferentes para todo k < 0, n 1 >. u Existen, por lo tanto, n ra ces diferentes para un complejo no nulo; y son solamente n como se puede comprobar analizando su congruencia. La ultima de las frmulas halladas, permite generalizar la expresin de la potencia, ahora tambin o o e para exponentes fraccionarios.
1.10.5.
Interpretacin geomtrica de las operaciones complejas o e
Suma y diferencia Dados dos complejos z y z , representados como segmentos orientados, su suma z + z est rea presentada por la diagonal del paralelogramo de acuerdo con el diagrama anexo. La suma geomtrica de dos n meros complejos se reduce entonces a la ley del paralelogramo. e u La representacin de los complejos por medio de segmentos orientados permite observar clarao mente su caracter stica de estructura vectorial. El signicado geomtrico de la diferencia de dos complejos es fcil de interpretar a partir de la e a suma. En el segundo grco se ha representado esta operacin. a o Un buen ejercicio es analizar los signicados geomtricos del neutro de la suma y del opuesto e de un complejo.
24
y z y z y x x
z z+z
z z z
x Figura 1.4: Representacin o geomtrica de la diferencia de e dos complejos.
Figura 1.3: Representacin o geomtrica de la suma de dos e complejos.
Producto y cociente El producto dedos complejos se puede representar recordando que: a. El mdulo del producto es el producto del mdulo de los factores. o o b. El argumento del producto es la suma del argumento de los factores. A partir de esta construccin se obtiene tambin por analog la representacin del cociente. o e a o Un caso particular de inters es la construccin de la rec e o proca de un complejo no nulo, que se deja a cargo del lector.
y zz rr r 1 z z x
Figura 1.5: Representacin geomtrica del producto de dos complejos. o e
Potencia y radicacin entera o La representacin grca de la potencia es simplemente una aplicacin reiterada de la realizada o a o para el producto. Es de mayor inters el anlisis de la radicacin. e a o Las n ra ensimas no congruentes de un complejo (r ) tienen: ces e a. Mdulo: r1/n , igual para todas las ra o ces; lo que signica que se hallan sobre una circunferencia de radio r1/n . b. Argumento:
k < 0, n 1 >. Una ra tiene argumento /n, el resto se ubica sobre z la circunferencia en forma sucesiva con intervalos 2/n.
+2k n
En la gura 1.10.5 se han representado a t tulo de ejemplo las ra ces quintas de un complejo (r )
1.11. FORMA EXPONENCIAL DE UN NUMERO COMPLEJO
25
z1 (r ) z0 r z2 2/5 2/5 /5 x r
1/n
z4 z3 Figura 1.6: Ra ces quintas de un nmero complejo z. u
1.11.
Forma exponencial de un n mero complejo u
Una nueva expresin de la forma polar, llamada forma exponencial, tiene gran importancia o debido a la simplicidad operativa que entra a su empleo. n Ejemplo de ello es que toda la trigonometr puede deducirse en forma inmediata de las propiedades a de la forma exponencial. Otra aplicacin para destacar es la denicin del logaritmo y de la potencia o o en el campo complejo, que se hace por medio de dicha forma exponencial.
1.11.1.
Expresin de la forma exponencial o
La base de la forma es la frmula 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 expresin se reduce a la discusin de la frmula de Euler, que se hace a o o o continuacin. o
1.11.2.
Denicin de la funcin ez o o
Los caminos para llegar a la frmula de Euler son dos, basados ambos en la denicin de la o o funcin compleja ez o Primer mtodo de denicin de ez : e o El primer mtodo consiste en la denicin de la funcin ez por medio de una serie: e o o
+
ez :=
k=0
z z2 zn zk =1+ + + + + ... k! 1! 2! n!
que se estudiar en el cap a tulo espec co. Esta serie es entera, es decir convergente para cualquier complejo z. A partir de la denicin se pueden vericar las propiedades: o z = x = ez = ex que muestra como la exponencial compleja se reduce a la real cuando z tambin lo es. Adems e a (z z ) = ez+z = ez ez
26
que es la propiedad fundamental de la funcin ez , llamada ley de los exponentes, que tambin es o e cumplida en el campo real por la funcin ex . o Ambas propiedades muestran como con esta denicin de ez se obtiene un extensin de la o o funcin real ex al campo complejo, mantenindose sus principales propiedades. o e Una tercera propiedad que se obtiene de la serie, tomando z = x+iy y recordando los desarrollos de las funciones reales cos y y sen y es la frmula de Euler o y = eiy = cos y + i sen y Observacin 1: La introduccin de la frmula de Euler para obtener la forma exponencial, se o o o justica por la gran simplicidad que implica su empleo en el producto complejo; donde se reduce dicha operacin al algebra de los exponentes: o r(cos + i sen ) r (cos + i sen ) = r ei r ei
= r r ei(+ ) = r r (cos( + ) + i sen( + ))
Esta es la razn del porqu adelantar la denicin de ez como una serie. o e o No debe pensarse por ello, sin embargo, que se ha ca en un c do rculo vicioso, porque los desarrollos posteriores para llegar a dicha serie no son afectados por el uso que se har de la forma exponencial. a Esta forma puede ser considerada sencillamente como una expresin formal (una forma de escribir) o de la forma polar, para ser usada como regla mnemotcnica en el producto de dos complejos. e El segundo mtodo se basa en un enfoque de esta e ndole para denir la frmula de Euler. o Segundo mtodo de denicin de ez : e o Las dicultades de la introduccin anticipada de una serie para denir ez se obvian con una o denicin de tipo formal como la que sigue: o ez := ex (cos y + i sen y) Las propiedades principales de ez deducidas anteriormente tambin se obtienen como corolario e de esta denicin: o z=x (z z ) y = = = ez = ex ez+z = ez ez eiy = cos y + i sen y
y adems es en el cap a tulo de series se podr demostrar que: a ez = 1 + z z2 zn + + + + ... 1! 2! n!
Observacin 2: Hay otro razonamiento, de tipo heur o stico, para indicar la razonabilidad de este segundo mtodo de denicin de ez . Si se desea hacer una extensin de la funcin real ez al campo e o o o complejo de modo tal que se mantengan las siguientes propiedades: a. Para z real la funcin ez se reduce a ex . o b. Se mantiene la validez de la ley de los exponentes. c. Se mantienen las propiedades formales de la derivacin del campo real en el campo o complejo. el problema se reduce a la denicin de la exponencial eiy (frmula de Euler) por ser: o o ex+iy = ex eiy
1.12. CONJUGADO DE UN COMPLEJO
27
de acuerdo con la ley de los exponentes y sabiendo que ex es la funcin de variable real conocida. o Por ser eiy un n mero complejo se tiene: u eiy = u(y) + iv(y) derivando como en el campo real, i eiy = u (y) + iv (y) eiy = u (y) + iv (y) obtenindose entonces el sistema e u +u=0 v +v =0 Como para y = 0 ez se reduce a ex , y aplicando la ley de los exponentes ex+i0 = ex ei 0 = 1 de donde se deducen las siguientes condiciones iniciales, u(0) = 1 v(0) = 0 u (0) = 0 v (0) = 1
que aseguran al sistema de ecuaciones anterior a una solucin unica: o u(y) = cos y v(y) = sen y Este razonamiento por supuesto no es una demostracin, sino es una orientacin a la denicin o o o de la exponencial eiy .
1.11.3.
El producto, el cociente y la potencia de complejos en forma exponencial.
Empleando la forma exponencial; el producto, el cociente y la potencia entera en el conjunto de los complejos, adquieren su expresin ms reducida. o a r ei r ei = r r ei(+ ) r ei r = ei( ) r ei r (r ei )n = rn ei n
1 1
(r = 0) )
(r ei ) n = r n ei(
+2k n
frmulas que se verican fcilmente por su reduccin a la forma polar y que son ejemplo de la o a o facilidad de operacin que entra a la forma exponencial. o n
1.12.
Conjugado de un complejo
Se dene como conjugado de un n mero complejo z a otro n mero complejo, simbolizado por u u z, de igual parte real y parte imaginaria opuesta. z := (x, y) z := Conjugado de z
28
La funcin conjugado de z, denida por: o
C C
z z = (x, y) = x iy I. z1 + z2 = z1 + z2
es biyectiva y adems cumple a
II. z1 z2 = z1 z2
Otras propiedades para destacar del conjugado de un complejo son: III. z = z IV. z + z = 2x V. z z = i 2x VI. z z = |z|2 VII.
z z
con lo cual establece un isomorsmo entre el cuerpo (C + ) y s mismo.
z z |z|2 n k=0
VIII. Pn (x) =
ak z k
ak R = Pn (z) = Pn (z)
Grcamente, el conjugado de un complejo z es el simtrico respecto del eje x. a e
Y z r y
x r y
Figura 1.7: Conjugado de un nmero complejo. u
En coordenadas polares, el conjugado es el complejo de igual mdulo y argumento opuesto. Por o lo tanto para la forma exponencial resulta: z = r ei z = r ei La nocin de complejo conjugado aparece en la resolucin de ecuaciones algebraicas con coeo o cientes reales, donde las ra o son reales, o son complejas conjugadas. ces Adems de esta aplicacin, el conjugado se introduce por la comodidad que implica su empleo a o en las operaciones de producto y cociente de acuerdo a las propiedades VI y VII.
Cap tulo 2
Elementos de Topolog en el a Campo Complejo

Como ha sido desarrollado en el prrafo 1.6, el conjunto de los complejos C conforma estructura a de espacio mtrico. e Ms en particular, es un espacio eucl a deo; al denirse sobre l una distancia de acuerdo con la e expresin pitagrica que caracteriza dichos espacios. o o De este hecho se arrastra entonces que en C puede construirse una estructura topolgica, que o acoplada a la caracter stica de cuerpo, permite llegar al desarrollo de los conceptos de continuidad y diferencial. Es conveniente, por lo tanto, analizar la aplicacin de los elementos bsicos de topolog al o a a campo complejo.
2.1.
Denicin de bola o
En un espacio mtrico general se dene como bola de centro c y radio r, cuyo s e mbolo es B(c r),
r
a:
B(c r) := {x : d(x c) < r
r > 0}
B(c r) := Bola de centro c y radio r d(x c) := Distancia del elemento x al elemento c En particular, en el campo complejo B(c r) = {z : |z c| < r , r > 0}
Figura 2.1: Bola de centro c y radio r.
se llama tambin disco, y desde el punto de vista geomtrico representa un c e e rculo de centro en el complejo c y radio r, sin la circunferencia |z c| = r.
Observacin: Conviene se alar que en la denicin de bola (tambin llamada bola abierta) es o n o e indispensable que las desigualdades sean estrictas (r > 0 y d(x c) < r), porque en caso contrario carecer de sentido las deniciones posteriores de puntos interiores, exteriores y fronteras, como an as tambin las deniciones de puntos de acumulacin y aislados, con todas las consecuencias e o resultantes. De la denicin de bola se implica inmediatamente que su centro siempre le pertenece y por lo o tanto ella es un conjunto no vac o. B(c r) = c B(c r) = B(c r) =
29
c B(c r)
30
CAP ITULO 2. ELEMENTOS DE TOPOLOG EN EL CAMPO COMPLEJO IA
2.2.
Entorno de un punto c
Se llama entorno de un punto c a todo conjunto del espacio mtrico (y en particular C) que e contenga una bola de centro c.
Figura 2.2: Entorno de un punto c.
De esta denicin se extraen dos consecuencias inmediatas: o a. Toda bola B(c r) es un entorno de c. B(c r) = B(c r) Entorno de c
b. La existencia de un entorno de c es condicin necesaria y suciente de la existencia o de una bola de centro c. U (c) B(c r)
2.3.
Vecinal de un punto c
Se llama vecinal (o tambin entorno reducido) de un punto c, en un espacio mtrico (en partie e cular C), a todo entorno de c al cual se le excluye el mismo punto c.
Figura 2.3: Vecinal de un punto c.
Observacin 1: Es usual representar a A o
con ella la notacin de vecinal se expresar o a: V (c) = U (c) {c}
r U (c) r V (c)
U (c) Entorno de c := B(c r) : B(c r) U (c)
V (c) := U (c)
C {c}
V (c) := Vecinal de c C {c} := Conjunto complementario de {c}
C {c}, por la notacin de conjuntos o C {c}
A B := A
2.4. CLASIFICACION DE PUNTOS: INTERIORES, EXTERIORES Y FRONTERA
31
Observacin 2: Se ha preferido el empleo del trmino vecinal (del francs voisinage), en vez del o e e ms com n entorno reducido, porque este ultimo puede inducir a error. a u En efecto, cuando a un sustantivo se agrega un adjetivo, se establece una subclase particular de la clase general denida por dicho sustantivo. Ejemplo: Conjunto denido por el sustantivo: hombre. Subconjunto denido por el sustantivo y el adjetivo: hombres altos. Sin embargo, este no es el caso de los entornos reducidos, pues no son entornos. Observacin 3: A diferencia de los entornos que nunca pueden ser vac los vecinales si pueden o os, serlo
2.4.
Clasicacin de puntos: Interiores, exteriores y frontera o
Los puntos de un espacio mtrico E pueden ser clasicados como: puntos interiores, puntos e exteriores o puntos frontera de un conjunto A (incluido en E) seg n la relacin de inclusin que u o o puede establecerse entre los entornos del punto y el conjunto A.
Las deniciones son las siguientes:
Un punto se dice que es interior a un conjunto, cuando existe un entorno suyo que es parte del conjunto. Es decir, existe un entorno del punto en el cual todos sus puntos pertenecen al conjunto.
Un punto se dice que es exterior a un conjunto cuando existe un entorno suyo, que es parte del complemento de dicho conjunto en el espacio mtrico considerado. Es decir, existe un entorno del e punto que no contiene ning n punto del conjunto. 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. Esto u quiere decir que en todo entorno de un punto frontera, hay puntos del conjunto y puntos del complemento del conjunto.
AE
(E d) Estr. Espacio Mtrico e a Punto interior de A := := U (a) : U (a) A U (a) :
a Punto exterior de A
U (a) : U (a) C A U (a) A U (a) C A
a Punto frontera de A :=
32
En el esquema adjunto se han representado ejemplos de los distintos tipos de puntos en el plano complejo. Debe observarse que el conjunto A (representado en color) consta de tres partes, una de ellas reducida a un punto. Los centros de los entornos en los puntos considerados se han representado con punto negro en el caso de que pertenezcan a A, y con punto rojo en caso contrario.
Pt. interior
Figura 2.4: Clasicacin de puntos en un espacio o mtrico. e
Observacin 1: La nocin de interior establecida a travs de la denicin de punto interior, es reo o e o lativa al espacio dentro del cual se dene. Por ejemplo, el centro de un c rculo plano (conjunto A) es un punto interior del mismo si se toma como espacio mtrico de referencia al plano mencionado, e pero no es un punto interior del conjunto A si se toma como espacio de referencia a R3 . Observacin 2: Conviene remarcar que un punto frontera puede o no pertenecer al conjunto del o cual es frontera. La clasicacin de puntos introducida permite ahora denir: o
A los conjuntos formados por los puntos interiores, exteriores y frontera, se los llama respectivamente, Interior, Exterior y Frontera del conjunto A. IN T (A) := {a : a Pt. interior a A} EXT (A) := {a : a Pt. exterior a A}
F R(A) := {a : a Pt. frontera a A}
IN T (A) := Conjunto de puntos interiores a A EXT (A) := Conjunto de puntos exteriores a A F R(A) := Conjunto de puntos frontera a A
De esta manera se comprueba que la clasicacin de puntos de un espacio mtrico en interiores, o e exteriores y frontera, es exhaustiva. Las propiedades resultantes de las anteriores deniciones son: I. IN T (A) A (a Pt. int. A = a A)
Estos tres conjuntos son una particin 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

A Pt. frontera Pt. exterior
2.5. ADHERENCIA
33
II. III. IV.
EXT (A) = IN T (C A) EXT (A) C A A aA C (IN T (A)) = F R(A) = a Pt. fr. A
a Pt. int. A /
V. VI.
F R(A) = F R(C A) F R(E) = F R() =
2.5.
Adherencia
Un elemento de un espacio mtrico 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. Espacio Mtrico e a Punto de adherencia de A := U (a) = U (a) A=
AE
Al conjunto de los puntos de adherencia de un conjunto A se lo llama Adherencia de A. ADH(A) := {a : a Pt. de adherencia de A} ADH(A) := Conjunto de los puntos de adherencia de A Algunas propiedades que se pueden extraer de las deniciones son: I. II. III. IV. V. VI. VII. VIII. IX. X. XI. XII. 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)
34
2.6.
Clasicacin de puntos de adherencia o
Los puntos de adherencia de un conjunto A E se clasican en dos tipos: puntos de acumulacin y puntos aislados. o Estos conceptos tienen particular importancia por su aplicacin en la denicin de l o o mite y convergencia, como as en otros temas que se tratarn en el texto. a Esta segunda clasicacin para los puntos de un espacio mtrico (reducida a los puntos de adheo e rencia) se caracteriza porque se realiza de acuerdo a la relacin de inclusin que puede establecerse o o entre los vecinales de un punto y el conjunto A. La clasicacin realizada en 2.4 ten en cuenta los entornos de un punto en vez de los vecinales. o a Un punto se dice que es de acumulacin de un conjunto A, cuando la interseccin de cualquier o o vecinal suyo con el conjunto A no es vac Es decir, en todo vecinal del punto de acumulacin hay a. o puntos pertenecientes al conjunto A. Es claro que todo punto de acumulacin es de adherencia. o Un punto perteneciente al conjunto A se dice que es aislado cuando existe un vecinal suyo cuya interseccin con A es vac Esto signica que existe un vecinal del punto que no contiene ning n o a. u punto del conjunto A. (E d) Estr. Espacio Mtrico e AE a Pt. de acumulacin de A := o a Pt. aislado de A := V (a) = V (a) A = aA V (a) : V (a) A =
Observacin 1: La nocin de punto de acumuo o lacin nos es relativa al espacio dentro del cual o se dene (comparar con Observacin 1 del punto o 2.4) Un punto que tiene esa cualidad, la mantiene si se extiende el espacio a un superconjunto del primero. Las deniciones que se han introducido de punto de acumulacin y punto aislado permiten o ahora crear dos nuevos conjuntos:
Figura 2.5: Puntos aislados y puntos de acumulacin del conjunto A. o
ACU M (A) := {a : a Pt. acumulacin de A} o AISL(A) := {a : a Pt. aislado de A} ACU M (A) := Conjunto de puntos de acumulacin de A o AISL(A) := Conjunto de puntos aislados de A
Observacin 2: El conjunto de puntos de acumulacin de A suele llamarse tambin derivado de A, o o e o tambin clausura de A. e Las propiedades que se desprenden de las deniciones son: I. II. III. IN T (A) ACU M (A) EXT (A) ACU M (C A) EXT (A) ACU M (A) =

A Pt. aislado Pt. acumulacin o
2.7. CONJUNTOS ABIERTOS Y CONJUNTOS CERRADOS
35
IV. V. VI. VII. VIII. IX. X. XI. XII.
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 particin o del conjunto ADH(A). Esto permite escribir el siguiente teorema: a Pt. adherencia de A a Pt. acumulacin de A a Pt. aislado de A o / De esta manera se verica que la clasicacin de puntos de la adherencia en acumulacin y aislados o o es exhaustiva. Adems de esto, no debe olvidarse que los puntos de adherencia se pueden dividir a en interiores y frontera.
2.7.
Conjuntos abiertos y conjuntos cerrados
La condicin de abierto y/o cerrado de un conjunto denido en un espacio mtrico, se introduce o e para establecer una caracter stica de su frontera. En el primer caso, ning n punto de la frontera u pertenece al conjunto, en el segundo caso le pertenecen todos. Se dene entonces: Un conjunto se llama abierto si ning n punto de su frontera le pertenece. u Un conjunto se llama cerrado si todos los puntos de su frontera le pertenecen.
A Cr := F R(A) A = F R(A) A Ab := A es un conjunto abierto A Cr := A es un conjunto cerrado
A Ab := F R(A) A =
Observacin 1: Esta clasicacin no es exhaustio o va, ni debe pensarse que ambas caracter sticas no pueden cumplirse simultneamente. a En efecto, si un conjunto no es abierto, no signica que sea cerrado, y viceversa, A Ab / A Cr / A Cr A Ab
Abierto
Cerrado
No abierto y no cerrado Figura 2.6: Clasicacin de conjuntos segn conteno u gan o no a sus fronteras.
36
Basta analizar para ello que si la frontera est compuesta por puntos del conjunto y por puntos a del complemento, no es ni abierto ni cerrado el conjunto en cuestin. o En la gura 2.7 se muestra un ejemplo de conjunto abierto, otro cerrado y un tercero que no es ni lo uno ni lo otro. Por otro lado, existen conjuntos que son abiertos y cerrados simultneamente. Son los que no tienen a frontera: el universo E y el conjunto vac . o Observacin 2: Los conceptos de conjunto abierto y cerrado dependen del espacio mtrico E, pues o e de acuerdo con la Observacin 1 realizada en 2.4 la nocin de interior es relativa al espacio de o o referencia E. Por ejemplo, en una extensin del espacio E, un punto interior se puede transformar o en frontera, seg n el caso mencionado en 2.4. u Observacin 3: La terminolog usada por los textos en toda esta temtica es todav muy dio a a a versicada. En cada caso se aconseja precisarla para evitar confusiones. Un sinnimo de conjunto o cerrado es conjunto completo. Algunos teoremas que el lector puede demostrar como ejercicio son: A Ab A = IN T (A)
F R(A) C A A = ACU M (A) F R(A) A = A B Ab = A B Ab = A B Cr = A B Cr
A Cr A = ADH(A)
A Ab B Ab A Cr
B Cr
A Ab C A Cr Es interesante ver tambin como se caracterizan, de acuerdo con las deniciones de conjunto e abierto y cerrado, algunos de los conjuntos creados en los prrafos precedentes a B(c r) Ab IN T (A) Ab
ADH(A) Cr ACU M (A) Cr AISL(A Cr Observacin 4: Como se ha visto, toda bola de un espacio mtrico es un conjunto abierto. Esta es o e la razn por la cual tambin suele designarse como bola abierta. o e
EXT (A) Ab F R(A) Cr
2.8.
Conjunto acotado y conjunto compacto
Un conjunto de un espacio mtrico se llama acotado si existe una bola B(c r), de radio nito, e que lo contenga.
2.9. INFINITO EN EL CAMPO COMPLEJO
37
Visto de otra manera, un conjunto es acotado cuando el supremo de la distancia entre dos cualesquiera de sus puntos est acotado. a A Acotado := B(c r) : r<k A B(c r)
A Acotado sup[ d(z z ) ] < r : (z z ) A2 Los conjuntos cerrados y acotados juegan un papel muy importante por sus propiedades particulares. Por esta razn se los designa con el nombre de compactos. o A Compacto := A Cr A Acot
Si un conjunto es compacto y est incluido en un abierto, 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 AD En los conjuntos compactos se pueden generalizar los teoremas de funciones continuas de una variable real denidas sobre un intervalo determinado, a funciones reales de varas variables y continuas, denidas sobre un compacto. Por ejemplo, una funcin f real y continua denida sobre un compacto A cumple: o f est acotada a f alcanza su mximo y su m a nimo absoluto en el compacto A. f es uniformemente continua en A.
Este teorema no es cierto para los conjuntos no acotados y tampoco para los conjuntos que no son cerrados.
2.9.
2.9.1.
Innito en el Campo Complejo
Para analizar el comportamiento de funciones de variable compleja en el l mite, para valores no acotados de la variable, resulta conveniente introducir dos nuevas deniciones: el innito complejo y el entorno de innito. Con ellas se pueden generalizar, en primer lugar, las deniciones conjuntistas de l mite y continuidad, y posteriormente se aprovechan tambin para la extensin de otros conceptos de e o variable compleja.
Figura 2.7: |z| > r.
La base del razonamiento para crear los nuevos conceptos, es que el conjunto {z : |z| > r}
puede ser asimilado y tratado como una bola del conjunto C por medio del articio de crear un nuevo ente llamado innito complejo o punto innito, que no es un elemento de C.

r |z| > r
Concepto de punto innito en C
38
Uno de los medios para denir el punto innito es a travs de la funcin inversin: e o o inv : C {0} C {0} z 1/z
denida sobre todo el campo complejo excepto el origen de coordenadas. Esta funcin es una biyeccin de C {0} a C {0}, 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. C rculos del plano z en conjuntos exteriores a un c rculo en el plano w, cuando el origen de coordenadas es interior al primero. En la gura 2.9.1 se han representado dos ejemplos de la transformacin que produce la invero sin. o En particular, el segundo caso muestra como el c rculo |z| < a se convierte en el conjunto |z| > 1/a, por supuesto que hacemos excepcin del origen. o A A F R(A) F R(A ) B B
A B
x A B
|z| > 1/a |z| < a A x B A B u
Figura 2.8: Diversos conjuntos transformados mediante la funcin inversin. o o
39
El anlisis geomtrico indica que un medio de interpretar a |z| > r como un c a e rculo (bola del plano complejo) es introduciendo dos deniciones: a. Se introduce un nuevo ente ideal, no representable, llamado punto innito que es el correspondiente del origen de coordenadas a travs de la funcin inversin. e o o b. Se considera que la parte exteriorde un c rculo es tambin un c e rculo. De esta manera, la funcin inversin se generaliza, pudiendo enunciarse entonces: Todo c o o rculo que no tiene por frontera el origen se transforma en otro c rculo. Adems, la inversin da el medio de reducir el estudio de las funciones para valores no acotados a o de la variable al entorno de 0. Desde el punto de los espacios mtricos, la idea anterior signica una extensin de los conceptos e o de bola y de entorno para el campo complejo. El planteo anal tico es: 1o Se dene un nuevo ente (que no es un elemento de C) simbolizado por , y llamado punto innito, de manera tal que generalice la inversin de la siguiente forma: o : Inv : C {} C {} 1/z z 0
z = 0, z = z=0 z=
:= Punto innito o punto impropio Esta funcin tambin es biyectiva o e 2o Se dene bola de centro en : B( r) := {z : |z| > r} Con esta denicin se extienden automticamente los conceptos de entorno y de vecinal al o a punto innito, siempre en el conjunto C {}.
Cabe se alar, sin embargo, que V () est compuesto totalmente por puntos de C y por ende n a es una nocin aplicable en ese conjunto. o
2.9.2.
Conjunto Complejo Extendido
Se llama conjunto complejo extendido a: C := C {} C := Conjunto complejo extendido Algebraicamente, se puede intentar extender las deniciones de suma y producto a C, postulando: aC b=0 +a=a+= b =b= z/ = 0 z/0 =
Quedan sin denir + y 0 , porque se vulnerar las leyes de la aritmtica. De todos an e modos, estas deniciones son de relativa ecacia porque el conjunto C no alcanza ni la estructura de espacio vectorial ni la estructura de cuerpo.
40
2.9.3.
Esfera de Riemann
La equivalencia se establece en lo siguientes trminos: e
Si se proyectan, con centro en N , los puntos de la esfera sobre el plano, se dene una aplicacin bio yectiva entre los puntos de la esfera (exceptuando el punto N ) y los puntos del plano. f : Esf {N } C Z z
Figura 2.9: Esfera de Riemann.
Esta aplicacin puede extenderse tambin a N si se dene un nuevo elemento arbitrario que le o e corresponde, es decir, el punto innito. f : Esf C Z
z Z=N Z=N
Las caracter sticas ms destacadas de esta correspondencia son: a
I. La esfera tambin es un espacio mtrico, provisto de una distancia denida por la geodsica e e e entre dos puntos (m nima distancia). II. A circunferencias en el plano C le corresponden circunferencias sobre la esfera que no pasan por N . III. A un entorno del punto z del plano C, le corresponde un entorno del punto Z (aplicacin de o z) de la esfera de Riemann.
N y
Figura 2.10: Proyeccin estereogrca de o a una circunferencia que no pasa por el origen de coordenadas.
Figura 2.11: Proyeccin estereogrca de una ciro a cunferencia que pasa por el origen de coordenadas.
Esta ultima es la propiedad ms importante y se hace una de ella cuando se desea interpretar a a un entorno del punto innito a travs de la equivalencia plano complejo - esfera de Riemann. e
" !
N Z y x z y x
Los conceptos de punto innito, conjunto complejo extendido, entorno y vecinal de innito pueden ser concebidos a travs de una equivalencia que puede establecerse entre el plano complejo e y una esfera tangente a l, llamada esfera de Riemann. e
41
En la gura 2.9.3 se muestra como un casquete esfrico con centro en el punto N (bola del e espacio mtrico constituido por la esfera) se transforma en una bola del plano complejo con centro e en el punto innito. Si el casquete esfrico no contiene a N se transforma en un c e rculo plano. Observacin 1: La proyeccin usada se llama estereogrca, y por esta razn a la esfera de Riemann o o a o se la suele llamar tambin esfera estereogrca. e a
2.9.4.
Diversas acepciones de innito
La palabra innitotiene una gran variedad de acepciones en el lenguaje matemtico y en el a lenguaje corriente. El innito complejo no debe ser confundido po lo tanto con otros signicados dados de innito. Algunos de los diferentes sentidos que se le atribuyen son: 1o Dado un conjunto D incluido en R, se dice que tiene cota superior k si: DR
k cota sup. D := k R : x D = x
Se dice que el conjunto D tiene extremo superior innito cuando no est acotado. a Esta primera acepcin de innito se reere a una propiedad de un conjunto real, la de no o estar acotado. Este concepto puede ser generalizado a cualquier conjunto ordenado y por lo tanto no puede serlo en el campo complejo. Anlogamente, puede decirse que un conjunto D real tiene por a extremo inferior a menos innito cuando no existe cota inferior. 2o Una segunda denicin de innito se emplea al agregar al conjunto de los reales des elementos o nuevos llamados ms innito (+ )y menos innito (), para conformar el conjunto de a los reales extendidos, simbolizado por R. Se establece convencionalmente la extensin de la suma y el producto a R. o xR xR < x < + x + (+) = (+) + x = + x + () = () + x =
x (+) = (+) + x = x () = () + x = + x x = =0 + x>0 x<0
x (+) = (+) x = + x () = () x = x () = () x = + x (+) = (+) x =
Esta interpretacin de innitotiene un paralelo con la vista en 2.9.2 pero son concepciones o distintas. Basta ver para ello que para pasar del C al C se crea un solo elemento, el innito se crean dos: ms innito y menos complejo, mientras que en el caso de extender R a R a innito. Tampoco en el caso de R se alcanza la estructura de cuerpo.
Quedan sin denir entre otros + + () y 0 (+).
42
3o Un tercer empleo de la palabra innito se hace en la frase x tiende a +, la cual no tiene de por s ning n signicado particular. 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. Como corolario de ste prrafo se aconseja no usar desprejuiciadamente el trmino innito, e a e y es conveniente precisar en cada caso su signicado.
Cap tulo 3
Funciones de Variable Compleja. Continuidad y L mite

3.1. Funciones de variable compleja
Se llama funcin de variable compleja a una aplicacin cuyo dominio D y rango R son subcono o juntos de C. La notacin habitual para este tipo de funciones es z = (x y) para representar a un elemento o de D y w = (u v) para un elemento de R. D C R C f :
f func. var. compleja :=
z = (x y) w = (u v) = f (z)
D R
Se desprende de la denicin que u y v, partes real e imaginaria de w, son sendas funciones o reales de dos variables. f: z f (z) = u(x y) + i v(x y)
Observacin 1: Para designar a las funciones de variable compleja es usual tambin emplear el o e trmino funcin compleja. e o
3.2.
Interpretacin geomtrica o e
El anlisis geomtrico de las funciones de variable compleja requiere de cuatro dimensiones: dos a e para la variable z y dos para la variable w. Una solucin para ello es representar los elementos del dominio de la funcin sobre un plano o o (llamado |z ) y los elementos del rango sobre otro plano (llamado |w ).
43
44
CAP ITULO 3. FUNCIONES DE VARIABLE COMPLEJA. CONTINUIDAD Y L IMITE
Figura 3.1: Transformacin de regiones en R2 mediante una funcin de variable compleja. o o
De esta manera puede decirse que una funcin de variable compleja establece una relacin entre o o un punto z del plano |z y un punto w del plano |w . Una forma de caracterizar geomtricamente a la funciones de variable compleja es a travs de e e la representacin de las transformaciones que produce a curvas y conjuntos en general, de un plano o a otro. Esta representacin es util para resolver diversos problemas f o sicos de campos y potenciales. Ejemplo: Para analizar un caso determinado, se elige la funcin: o f: C C
z z 2 = x2 y 2 + i 2xy
que dene el sistema: u = x2 y 2 v = 2xy Para caracterizar la transformacin se eligen dos familias de rectas, la primera de las paralelas o al eje y (familia 1 ), y la segunda de las paralelas al eje x (familia 2 ). La funcin z 2 transforma las familias 1 y 2 del plano |z en las familias 1 y 2 , respectivao mente, del plano |w , que representan familias de parbolas como se demuestra a continuacin. a o x = k 1 y = y yR x = x 2 y = k xR u = k 2 y 2 z2 1 v = 2ky yR u = x2 k 2 2 z 2 v = 2kx xR 2 u = k2 v 4k 2 = u 0 v=0 2 u = v k2 4k 2 u 0 v=0 k=0 k=0
La funcin z 2 transforma rectngulos del plano |z en rectngulos de lados parablicos en el o a a o plano |w. Se mantienen los angulos salvo en el caso cuando z = 0. Este hecho no es casual, es una propiedad general de ciertas funciones complejas que se estudiarn en los prximos cap a o tulos. El lector puede vericar que las familias 1 y 2 son ortogonales entre s .
$#
z v w f (z) z w A x u
k=0 k=0
3.3. FUNCIONES DE VARIABLE COMPLEJA. CARACTER ISTICAS Y EJEMPLOS
45
Figura 3.2: Transformacin de caminos mediante la funcin f (z) = z 2 . o o
3.3.
3.3.1.
Funciones de variable compleja. Caracter sticas y ejemplos

Caracter sticas
Se denen algunas propiedades de las funciones complejas. Sea una de estas, f: D R z f (z)
entonces se dene como funcin acotada a aquella cuyo mdulo tiene cota superior. o o f Acotada := k R : z D = |f (z)| < k k := Cota del mdulo de la funcin o o Se llama funcin peridica de per o o odo T a aquella que cumple: f Peridica := T C : f (z + T ) = f (z) o
3.3.2.
Ejemplos
En el transcurso del texto ya se han visto diversas funciones complejas como: Parte real Parte imaginaria Mdulo de z o
& %
z v w
46
Argumento de z Conjugado de z Inversin o las que se completarn con algunas otras de empleo frecuente: a Constante
Cte :
C C z k = w
Polinomio complejo de grado n
Pn :
C C z
ak z k = Pn (z)
k=0
n N0 , an = 0
Esta denicin es una extensin de los polinomios reales. Como en ese caso n se llama grado o o del polinomio. Funcin racional o
Rac :
C{r : Qm (r) = 0} C z
Pn (z) Qn z
La funcin racional est denida entonces por el cociente de dos polinomios con dominio vlida o a a slo para aquellos complejos que no anulan el denominador. o Exponencial La denicin de la funcin exponencial ha sido discutida detalladamente en el apartado 1.11.2. o o Si se sigue la segunda orientacin all presentada, se tiene: o exp : C C z ez = ex cos y + i sen y
denicin vlida sobre todo el campo complejo, como extensin de la funcin 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 = ez ez z : ez = 0 ez = 1 = z = i 2k kZ
La exponencial compleja es peridica con per o odo T = 2i
3.3. FUNCIONES DE VARIABLE COMPLEJA. CARACTER ISTICAS Y EJEMPLOS
47
Funciones trigonomtricas e A partir de la funcin exponencial pueden extenderse al campo complejo las funciones trigoo nomtricas reales: e sen : C C z cos : eiz eiz 2i
C C z
eiz + eiz 2
Las dems funciones trigonomtricas, tangente, cotangente, secante y cosecante se denen a a e partir de las anteriores, formalmente igual a sus homnimas reales. o El desarrollo de la funcin sen en forma binmica es: o o sen z = ey 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 funcin no acotada. 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 ) adems, tanto sen z como cos z tienen per a odo real 2. Funciones hiperblicas o Como extensin de las funciones homnimas reales se dene en el plano complejo a las funciones o o seno hiperblico y coseno hiperblico: o o senh : C C z cosh :
(ez ez ) 2
C C z
(ez + ez ) 2
Las restantes funciones hiperblicas se denen tambin de la manera habitual. o e Estas funciones se relacionan con las trigonomtricas a travs de: e e sen z = i senh(iz) cos z = cosh(iz) y son evidentemente peridicas con per o odo 2i. Queda a cargo del lector el anlisis de las propiedades semejante a las de las funciones trigoa nomtricas y exponencial. e
48
3.4.
3.4.1.
Continuidad
Denicin o
Para dotar de rigor al tratamiento del clculo integral, diferencial, sucesiones, series, etc. es a necesario precisar la nocin de continuidad. o Esta, es una de las ideas ms importantes y fascinantes del anlisis matemtico, que ha abierto a a a la necesidad y el camino para nuevos cursos de estudio y creacin, entre ellos por ejemplo los o espacios mtricos y los espacios topolgicos en general. e o
Un primer acercamiento a la idea podr ser : Los puntos x prximos al punto a no tienen una a o aplicacin f (x) prxima a f (a). o o
U(f (a))
U(a)
Figura 3.3: Funcin de una vao riable real discontinua en a.
Sin embargo, esta expresin carece de sentido porque la palabra proximidades indenida, y o tiene en el lenguaje corriente un signicado relativo al contexto de referencia. Lo que puede ser prximo en un caso, puede no serlo en otro. o La nocin de distancia con la consiguiente denicin de entorno es la que permite dotar de o o rigor a las deniciones buscadas. Se puede decir con precisin entonces para una funcin o o f: D R
X Y = f (X)
donde D y R son subconjuntos de los espacios mtricos E y E , si dado un entorno de f (a), e U (f (a)), no puede encontrarse ning n entorno de a, U (a), de modo tal que todos los elementos de u U (a) D, tengan aplicacin en U (f (a)), entonces la funcin f es discontinua en a. o o Simblicamente: o F C/a / f C/a / := := U (f (a)), U (a) : x U (a) D = f (X) U (f (a))
En el grco anterior se han representado dos ejemplos de discontinuidad, uno para una funa cin de variable real, y otro para una funcin de variable compleja. Sobre el rango de cada una de o o las aplicaciones se ha coloreado la imagen de U (a), que como se observa no est incluida en U (f (a)). a
) 1 0( 32 '
D R
U(a) f (a)
Para introducirse en la concepcin de la nocin de continuidad es ms sencillo pasar por el o o a signicado de su opuesto lgico: la falta de continuidad. o
U(f (a))
f (a)
Imagen de U (a)
Figura 3.4: Funcin de una variable compleja diso continua en a.
La funcin f no es continua en a o
3.4. CONTINUIDAD
49
El opuesto lgico de esta denicin nos asegura que no hay salto, es decir que la funcin es o o o continua. La denicin es vlida para cualquier funcin f entre dos espacios mtricos o subconjuntos de o a o e dichos espacios mtricos. Se incluye como caso particular, por supuesto, a los casos de funciones e reales de una o varias variables y a las funciones complejas. f: D R : DE RE
X f (X) f C/a :=
U (f (a)) , U (a) : x U (a) D = f (X) U (f (a))
Observacin 1: Debe observarse que en la denicin no se exige ninguna condicin especial al punto o o o a, salvo que pertenezca al dominio de la funcin para que exista f (a). o Observacin 2: En la denicin se interseca a U (a) con D, dominio de la funcin, para asegurar o o o que para los puntos X considerados exista imagen f (X). En particular, el conjunto U (a) D nunca es vac porque por lo menos contiene al punto a. o A partir de la denicin de continuidad se extrae el siguiente teorema: o Teorema 3.4.1. Toda funcin es continua en los puntos aislados de su dominio. o a Pt. aislado D = f C/a Demostracin. o Por denicin de Pt. aisl: o U (f (a)) U (a) : U (a) D = {a} Luego X U (a) D X {a} = = f (a) U (f (a))
Observacin 3: Se ha introducido la nocin 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 extensin de la nocin de contio o nuidad, y tambin por ello desde el punto de vista pedaggico se puede explicar y entender e o mejor dicho concepto. 2o Hay funciones continuas que no tienen l mite, las denidas sobre un punto aislado. Para el caso particular de funciones de variable compleja, la denicin de continuidad se puede o reducir a una forma operativa, tomando como entornos a bolas con centro a y f (a) respectivamente en los planos |z y |w. U (f (a)) = {w : |w f (a)| < } resultando: f C/a := > 0 , > 0 : z {z : |z a| < } D = |f (z) f (a)| < U (a) = {z : |z a| < }
3.4.2.
Continuidad sobre un conjunto
La denicin de continuidad se refer a un punto espec o a co a del dominio de la funcin. o Si esta propiedad se puede extender a un conjunto de puntos, se dice que la funcin es continua o sobre l, y se escribe: e f C/A := a A = f C/a f C/A := La funcin f es continua sobre el conjunto A. o
50
3.5.
3.5.1.
L mite
Denicin de l o mite
Puede hacerse una extensin del concepto de continuidad a los puntos de acumulacin del o o dominio de un funcin f (pertenezcan o no a l), cuando existe un elemento L del espacio E o e (donde se aplica f ), que pueda hacer las veces de f (a) en la denicin de continuidad. o No se toma en cuenta lo que sucede en a, punto para el cual puede existir o no la funcin. o Es decir, el l mite L es el valor hipottico que habr que asignarle al punto a para que la e a funcin fuera en l continua. Por supuesto esto no siempre es posible y en ese caso se dice que no o e existe el l mite. La terminolog usada para expresar la existencia de tal nmero L es: f (X) tiende a L cuando a u X tiende a a. La frase X tiende a ano tiene signicado propio sino como parte de la expresin anterior. o Simblicamente se dene entonces: o f: D R : DE RE
a Pt. acumulacin de D o f (X) L := U (L) , 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.

X a
Otra notacin usual para representar a la denicin de l o o mite es:

X a
l f (X) = L m
Observacin 1: La diferencia formal de esta denicin con respecto a la de continuidad es que se ha o o empleado el s mbolo V (a) en lugar de U (a). Es decir, el uso de vecinales de a es obligado porque no debe tenerse en cuenta si existe o no la funcin en a y tampoco, en caso armativo, cual es ese o valor f (a). Observacin 2: Para asegurar el sentido de la denicin de l o o mite, es necesario que V (a) D = . Esta es la razn para postular que el punto a debe ser de acumulacin de D. o o De acuerdo a la Observacin 2 del prrafo 3.4.1 esto no era necesario en la denicin de continuidad. o a o Observacin 3: La denicin del l o o mite de una funcin no permite su obtencin, sino simplemeno o te su vericacin. El llamado clculo de l o a mitesse reduce a la aplicacin de teoremas que ligan o l mites de funciones conocidas y tabuladas. La denicin de vecinal de innito en el plano complejo permite la extensin de la denicin o o o de l mite a ese caso sin necesidad de modicaciones. En particular, si la denicin de l o mite se expresa para funciones de variable compleja tomando como entorno a bolas del plano, resulta: f (z) L := > 0 , > 0 : z {0 < |z a| < } D = |f (z) L| <
za
f (z) L := > 0 , r : z {|z| > r} D = |f (z) L| <

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

za
3.5. L IMITE
51
La ultima expresin signica que en el vecinal del punto a la funcin no est acotada. o o a La relacin entre las deniciones de continuidad y l o mite est dado por el siguiente teorema: a Teorema 3.5.1. Para que una funcin f : D R sea continua en un punto a de acumulacin o o de D, es condicin necesaria y suciente que exista lmite de la funcin para X tendiendo a a, que o o exista f (a) y tambin que el lmite sea igual al valor de la funcin f (a). e o H1 H2 H3 f (X) L Xa f : a f (a) L = f (a) a f (a) U (f (a)) , U (a) : X U (a) D = f (X) U (f (a)) a Pt. acum D f C/a
Demostracin. En primer lugar se encara la condicin necesaria o o 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 denicin de l o mite, se observa que existe y es f(a) L = f (a) Se pasa a la condicin suciente o H1 = U (L) , V (a) : X V (a) D = f (X) U (L) H3 = U (f (a)) , V (a) : X V (a) D = f (X) U (f (a)) H2 = {a} = {a} D = f (a) U (f (a)) Eligiendo entonces U (a) = V (a) {a} Resulta U (f (a)) , U (a) : X U (a) D = f (X) U (f (a)) Con lo cual queda probado que la funcin es continua. Que a es un punto de acumulacin o o est impl a cito en la denicin de l o mite. H1 = a Pt. acumulacin de D o
a ACU M (D) = V (a) D =
52
3.5.2.
Operaciones con l mites
El enfoque hecho en los conceptos de l mite y continuidad por medio de las estructuras de los espacios mtricos permite demostrar una sola vez propiedades que son comunes a determinados e conjuntos. Esto tambin signica que si dos conjuntos tienen leyes de composicin formalmente iguales, e o las propiedades y teoremas demostrados para uno son vlidos para el otro. a Muchas de las propiedades estudiadas en las funciones reales pueden ser extendidas. En el caso de las funciones compuestas en cualquier espacio mtrico, el l e mite de una funcin o compuesta es igual a la composicin de los l o mites. En cuanto a la continuidad, la composicin de o dos funciones continuas es continua, como lo expresa el siguiente teorema: Teorema 3.5.2. f: g : D R f C/a g C/f (a) D R RD
X a
U(a)
Figura 3.5: Composicin de funciones de una variable compleja. o
Demostracin. La existencia de la funcin compuesta est asegurada porque R D . o o a H2 = U (g(f (a)) , U (f (a)) : Y U (f (a)) D = g(Y ) U (g(f (a))) H1 = U (f (a)) , U (a) : X U (a) D = f (X) U (f (a)) Eligiendo en la segunda expresin un U (f (a)) conveniente o
U (a) , U (f (a)) : Y U (a) D = g f (X) U (g(f (a)))
La continuidad y el clculo de l a mites para las operaciones vectoriales se extiende a todos los espacios normados. Esta es la relacin esencial entre las dos estructuras del espacio normado, la mtrica y la o e vectorial. f (X) F g(X) G f (X) F = = = f + g F + G f F f f
865 97 4
R f R D D g
Y = f (X) g(Y ) f (a) g(f (a)) U(f (a)) U(g(f (a)))
= g f C/a
3.5. L IMITE
53
La prueba de estas propiedades de la suma y producto vectorial, es inmediata aplicando la denicin o de 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. Pero, adems, como las deniciones de continuidad y de l a mite hechas para dichas funciones, coinciden formalmente con las correspondientes a las funciones reales de una variable. La consecuencia de este anlisis es que la continuidad y el clculo de l a a mite de la operaciones del cuerpo de los reales se extienden al cuerpo de los complejos. En concreto, suponiendo que los l mites existan, la suma, diferencia, producto y cociente (exceptuando el caso de denominador cero) de l mites es igual al l mite de la suma, diferencia, producto y cociente de las funciones complejas, siempre suponiendo que los l mites son nitos. Para el caso de continuidad, el resultado de la extensin de las funciones reales de una variable o es anlogo. a Un teorema relativo al l mite de la parte real e imaginaria de una funcin de variable compleja o es: Teorema 3.5.3. Una funcin de variable compleja tiende a un lmite si y slo si su parte real o o tiende a la parte real del lmite, como as tambin la parte imaginaria tiende a la parte imaginaria e del lmite. u(x y) U za u(x y) + i v(x y) U + i V za v(x y) V
za
Demostracin. La condicin suciente se puede demostrar directamente a partir del teorema del o o l mite de la suma, pero adems 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, reales no u negativos, el primer miembro tambin est acotado arbitrariamente, y por lo tanto hay l e a mite. Del mimo modo la condicin necesaria: o |Re(z)| |z| |Im(z)| |z|
de acuerdo con las propiedades de 1.6.2 |u U | |v V | |(u + i v) (U + i V )| |(u + i v) (U + i V )|
entonces por razonamiento anlogo al anterior existen los l a mites de la parte real a imaginaria de la funcin compleja y son U y V , respectivamente. o Una consecuencia inmediata de este teorema es la siguiente: Corolario 3.5.3.1. Una funcin compleja es continua si y slo si son continuas sus partes real e o o imaginaria. u C/a v C/a u + i v C/a
54
3.6.
Curvas en el campo complejo. Caminos y lazos
Para el desarrollo de la derivacin e integracin en el campo complejo, se trabaja con conjuntos o o tales como curvas, caminos, lazos,etc. conceptos que conviene precisar y analizar con detenimiento.
3.6.1.
Continuidad por partes de funciones reales
Una funcin de variable real, se dice que es continua por partes sobre un intervalo cerrado y o acotado (compacto) [a b] cuando salvo para un n mero nito de puntos es continua sobre dicho u intervalo, y adems en los puntos de discontinuidad existen los l a mites de la funcin por la derecha o y por la izquierda. No es necesario para esta denicin que la funcin tome valores en los puntos de discontinuidad. o o Simblicamente: o k < 0, n >
a = a0 < a1 < a2 < < an = b f C I k , f (a+ ) = l f (x) m k

xak
x>ak
f CP
[a b]
:= f : I = [a, b] {ak } Rn :
f (a ) k
= l f (x) m
xak
x<ak
f CP
[a b]
:= La funcin f es continua por partes sobre el intervalo [a b] o
Observacin: De acuerdo con la denicin, el intervalo I se puede descomponer en un n mero nito o o u de intervalos [a0 , a1 ], [a1 , a2 ], . . . , [an1 , an ] donde para cada uno de ellos se puede denir fk [ak , ak+1 ] Rn f (a+ ) k x f (x) f (a ) k
n1 ak+1
x = ak x (ak , ak+1 ) x = ak+1
y a partir de all la integral denida seg n Cauchy se extiende como suma de un n mero nito de u u integrales denidas (las funciones fk son continuas sobre un compacto):
b
f (x) dx =
a k=0 ak
fk (t) dt
3.6.2.
Camino
Se llama camino a toda aplicacin continua de un intervalo real cerrado y acotado (compacto) o [a b] sobre el conjunto de los complejos C, con la condicin adicional de que la aplicacin tenga o o derivada continua por partes. Camino := : I = [a b] C a = b t x(t) + i y(t) : C [a b] CP [a b]
3.6. CURVAS EN EL CAMPO COMPLEJO. CAMINOS Y LAZOS
55
Observacin: Por ser CP entonces o

b
(t) = C +
a
(s) ds
La terminolog usada con relacin a los caminos es la siguiente: a o (a) := Origen del camino o extremo inicial. (b) := Extremo nal del camino. t := Parmetro a Tambin se suele expresar que es un camino que une los puntos origen (a) y el extremo (b). e Desde el punto de vista geomtrico (t) describe una trayectoria (I) (imagen de I) con las e caracter sticas: I. C c =0
III. La trayectoria puede tener puntos m ltiples, es decir, para diferentes valores de t puede u corresponderle el mismo par (x y). Ejemplo el punto m.
t0
Otra denicin util para los desarrollos posteriores es: o
Camino contenido en D := Camino : (I) D
3.6.3.
Lazo
Se dice que un camino es un lazo cuando los extremos son iguales: Lazo := Camino : (a) = (b)
Es usual decir tambin que el lazo tiene origen en (a). e
D E B C@ A
(a) c = (t0 ) m (b)
| |
C d / = puntos angulosos con dos tangentes II. (d+ ) (d )
Figura 3.6: Camino en el campo complejo.
56
t0
3.6.4.
Curva
Se llama curva a la imagen de , (I). No deben confundirse los conceptos de camino y curva, pues entre ambos existe la misma diferencia que entre funcin e imagen de la funcin. o o Puede haber varios caminos con la misma curva. Si un camino pasa varias veces por un mismo punto (para diferentes valores del parmetro t), a corresponden un slo elemento de la curva (un slo elemento de (I)). o o Ejemplo: Los tres caminos cf1 : [0 2] C [0 2] C
t cos t + i sen t = eit
cf2 :
t e2it t i eit
cf2 :
[0 2] C
tienen por imagen a una misma curva, la circunferencia de centro en el origen de coordenadas y radio 1, |z| = 1. Sin embargo son caminos diferentes, basta para ellos comparar: cf1 (1; 0) (1; 0) 1 + 2 cf2 (1; 0) (1; 0) 2 + 2 cf3 0; 1 0; 1 1 2
origen extremo no de vueltas sentido giro longitud
Nota: Se ha designado con signo positivo al sentido de giro contrario al de las agujas del reloj y negativo al opuesto.
Observacin: La diferencia de las nociones de camino y curva es importante y debe ser tenida o en cuenta en el clculo de integrales complejas. Caminos diferentes con igual imagen pueden dar a resultados diferentes.
H GF
(a) = (b) (t0 )
| |
Figura 3.7: Lazo en el campo complejo.
57
3.6.5.
Caminos opuestos y yuxtapuestos
Camino opuesto Un camino se llama opuesto de otro denido sobre I, y simbolizado por , 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). Desde el punto de vista geomtrico, e la curva que representa al camino y a su opuesto es la misma, pero recorrida en sentido inverso. Caminos yuxtapuestos Un camino es la yuxtaposicin de otros dos 1 y 2 cuando al extremo del primero es el origen o del segundo y se dene de acuerdo a las condiciones siguientes. 1 : 2 : I1 = [a b] C I1 = [c d] C [a, b + d c] C
1 (b) = 2 (c) 1 2 :
1 2 := Camino yuxtaposicin de 1 y 2 o
1 (I1 )
1 (a)
I1
| | | |
I2
|
b+dc
Figura 3.8: Caminos yuxtapuestos.
Se deduce inmediatamente de la denicin que si o := 1 2 entonces se cumple (a) = 1 (a) (b) = 1 (b) = 2 (c) (b + d c) = 2 (d)
P QI
2 (d)
2 (I2 )
t (t) =
1 (t) 2 (t + c b)
t [a b] t [b, b + d c]
1 (b) = 2 (c)
58
Un camino puede ser considerado como la yuxtaposicin de otros dos, obtenidos dividiendo el o intervalo de la siguiente manera: : [a b] C c : a < c < b = = 1 2 1 : [a c] C 2 : [c b] C
Eligiendo un punto c de este modo, se puede considerar un lazo tambin como yuxtaposicin de e o dos caminos, 1 2 . El camino 2 1 tambin es un lazo, pero de origen en el punto (c). e
3.6.6.
Ejemplos de caminos
Algunos casos de inters particular son: e
Camino constante Se dice que un camino es constante si su imagen se reduce a un solo punto. Camino constante := (I) = {a} Arco de circunferencia unidad Esta funcin es: o cf () : [0 1] C
t e2it : R
y es un camino cuya imagen es parte (o todo) de la circunferencia de radio unitario |z| = 1. Si es entero no nulo, la imagen (I) es la circunferencia unidad recorrida veces (ver ejemplo del prrafo 3.6.4). Si = 0 la funcin se reduce a un camino constante. a o
Segmento El clsico segmento de recta se representa anal a ticamente por: Sgm : I = [a b] C
t ct + d
c C, d C
Poligonal o l nea quebrada Toda yuxtaposicin de segmentos se llama poligonal. o a = a0 < a1 < < an = b P = S S S 1 2 n Sk : [ak1 , ak ] C P : I = [a b] C : t ck t + dk ck ak + dk = ck+1 ak+1 + dk+1
k < 1, n >
P (a)
La ultima condicin es la de yuxtaposicin, pues Sk (ak ) = Sk+1 (ak ). o o
3.6.7.
Un tipo de camino particularmente importante es el que se llamar camino simple o arco de a Jordan.
As se designa a todo camino determinado por una funcin inyectiva, esto signica geomtri o e camente que no hay puntos m ltiples, hecha excepcin de los extremos del camino. u o Si es un lazo y camino simple, se dice que es un lazo simple.
Anal ticamente: :
Camino simple := (t s) I I {(a b)} = ((t) = (a) t = a)
` a V X T YW U S R
P (b) a
|
59
I1
I2
b
|
a0
a1
a2
an
Figura 3.9: Camino poligonal.
Camino simple. Lazo simple
Camino simple
Caminos no simples
Lazo simple
Lazos no simples
Figura 3.10: Ejemplos de caminos y lazos.
I = [a b] C
60
3.6.8.
Caminos equivalentes
Des caminos se dicen equivalentes cuando puede establecerse una biyeccin creciente entre los o respectivos intervalos de denicin, de acuerdo con las condiciones o 1 : I1 = [a b] C 2 : I2 = [c d] C biyectiva (1 2 ) Caminos equiv. := creciente : I2 I1 : C/I2 CP/I2 2 (t) = 1 ((t)) Los caminos equivalentes, tienen igual imagen, origen y extremo. 1 (I) = 2 (I) (1 2 ) Caminos equiv. = 1 (a) = 2 (c) 1 (b) = 2 (d) Un camino 2 : t 1 (t + ) : > 0
es siempre equivalente al camino 1 . Este resultado permite reducir todo camino a un equivalente con intervalo de denicin I = [0 1]. o
3.7.
Conjuntos conexos
Un conjunto D de un espacio Rn se dice conexo, cuando todo par de puntos de D puede ser unido por un camino contenido en D. D Rn (a) = x D Conexo := (x y) D D = : I = [a b] Rn : (b) = y (I) D En particular, el camino puede ser una poligonal. Un c rculo en el plano complejo |z a| < r (bola en el campo complejo) es conexo. Geomtricamente algunos ejemplos son: e
A B E
Figura 3.11: Ejemplo de conjuntos conexos.
Figura 3.12: Ejemplo de conjuntos no conexos.
3.8. HOMOTOP DE CAMINOS Y LAZOS IA
61
3.8.
3.8.1.
Homotop de caminos y lazos a

Homotop de caminos a
La idea de homotopa entre dos caminos signica intuitivamente que puede pasarse de uno a otro a travs de una deformacin continua. e o Matemticamente puede denirse: a D abierto DC 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 homtopos en D por la homotop o a := Homotop de 1 y 2 en D a
1 (I)
Figura 3.13: Homotop de los caminos 1 y 2 en D a
Observacin: Se destacan algunas particularidades de la denicin de caminos homtopos: o o o 1 y 2 estn denidos sobre el mismo intervalo I. a
es continua respecto de dos variables, (t s) I J.
No se exigen condiciones de derivacin para salvo las impuestas a 1 y 2 . o
3.8.2.
Homotop de lazos a
Se llama homotopa de lazos a aquella que para todo elemento de J da un lazo. Esto signica 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 homtopos por la homotop de lazos en el conjunto D. o a
p f d b h q g e c i
2 (I)
62
Observacin: Si D D puede no existir homoo top en D, pero si en D . a Tanto la homotop de caminos como la de lazos a son relaciones de equivalencia. Su vericacin es inmediata o
1 (I)
2 (I)
Figura 3.14: Homotop de los lazos 1 y 2 . a
3.8.3.
Homotop a un punto a
Se dice que un lazo es homtopo a un punto en D si existe una homotop de lazos de dicho o a lazo al lazo constante (cuya imagen es un punto). (1 2 ) h (D ) := (1 2 ) h (D ) : 2 (I) = {P }
3.9.
3.9.1.
Clasicacin de conjuntos conexos en C o

Conjuntos simplemente conexos
Un conjunto D del plano complejo, abierto y conexo se dice que es simplemente conexo cuando todo lazo contenido en l es homtopo a un punto. e o Es decir, sobre D existe una sola clase de equivalencia de homotop de lazos, que adems es a a homotop a un punto. a En forma intuitiva, el conjunto simplemente conexo es aquel que no tiene agujeros. Una propiedad de estos conjuntos que puede ser empleada para denirlos es: D Abierto y conexo
D Simplemente conexo = C (D/C) Conexo
Figura 3.15: Conjunto simplemente conexo.
3.9.2.
Conjuntos mltiplemente conexos u
Un conjunto se llama mltiplemente conexo cuando no es simplemente conexo. u
Desde el punto de vista intuitivo signica que tiene uno o ms agujeros. a Ejemplos: Un anillo en el campo complejo. Una bola en el campo complejo sin su centro.
Figura 3.16: Conjunto mltiplemente conexo. u
3.9. CLASIFICACION DE CONJUNTOS CONEXOS EN C
63
La denicin de conjuntos m ltiplemente conexos es el contrario lgico de la denicin de simo u o o plemente conexo. Esto quiere decir que tiene que haber ms de una clase de equivalencia de lazos a homtopos. o Tal observacin permitir una clasicacin de los conjuntos m ltiplemente conexos. o a o u Otro mtodo para ello es por medio de cortaduras, que se ver a continuacin. e a o
3.9.3.
Cortadura
Se llama cortadura en un conjunto abierto y conexo, a la exclusin del mismo de un camino o simple (arco de Jordan) cuyos puntos deben ser todos interiores con excepcin de los extremos, o que pueden no serlo. En otras palabras, como D es abierto, los puntos no extremos del camino deben ser de D. Cortadura de D := : [a b] C :
Figura 3.17: Ejemplos de cortadura.
Camino simple t (a b) = (t) IN T (D)
3.9.4.
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. El grado de multiplicidad tambin es llamado e orden de conexin. o La cantidad de clases de lazos homtopos est reo a lacionada con el grado de multiplicidad.
Figura 3.18: Conjunto con grado de multiplicidad=3
En efecto, q = 2n q := Cantidad de clases de lazos homtopos o n := Grado de multiplicidad de conexin o Esta relacin puede usarse para denir el grado de multiplicidad sin introducir el concepto de o cortadura. Observacin: Algunos textos denen como orden de conexin a n 1. o o Intuitivamente, el grado de multiplicidad representa la cantidad de agujerosque tiene un conjunto m ltiplemente conexo. u
Cap tulo 4
Derivacin en el Campo Complejo o

4.1. Derivacin o
DC RC
Dada una funcin de variable compleja, o f : D R :
se dene como derivada de la funcin f en un punto a del dominio D, simbolizada por f (a), a: o f (a) := l m f (a + z) f (a) z
z0
f (a) := Derivada de f en el punto a Cuando existe la derivada, es decir el l mite del cociente incremental, se suele decir que la funcin f es derivable en el punto: o f DER/a := f (a) f DER/a := La funcin f es derivable en el punto a o
Observacin: La denicin anterior de derivada es o o formalmente igual a la de funcin de una variable o real. Sin embargo, a pesar de que se aprovechar la a semejanza formal para extraer conclusiones sobre algunas propiedades de la derivada de las funciones de variable compleja, no debe caerse en un anlisis supercial. a
V (a)
Figura 4.1: Incremento de z a travs de e un camino .
La denicin de derivada para variable compleja lleva impl o cito que el l mite es doble, es decir, el incremento z debe tomarse sobre todo un vecinal V (a) en su interseccin con el dominio. o Por lo tanto si se incrementa z sobre un camino cualquiera , el l mite del cociente incremental es constante. En particular, 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. Esta es una condicin necesaria pero no suciente, o
64
s t
V (a) D
4.2. DIFERENCIAL
65
que tiene derivada nula en el origen seg n cualquier direccin, pero no por un camino parablico u o o y = kx2 , y entonces se asegura que no es derivable en modo complejo.
como se verica en la funcin, o 3 2 2 x y +i x y z=0 x4 + y 2 f : z f (z) = x4 + y 2 0 z=0
4.2.
Diferencial
Se dice que una funcin de variable compleja f es diferenciable cuando su incremento f puede o escribirse: f DIF/a f DIF/a := f = A z + (z)z : AC (z) 0
z0
:=
La funcin f es diferenciable en el punto a o
La denicin de diferenciabilidad signica que el incremento de una funcin puede escribirse o o como la suma de: Producto de una constante A por el incremento de la variable z. Producto de un innitsimo (z) por el incremento de la variable z. e y por lo tanto la diferenciabilidad asegura la aproximacin lineal de la funcin f . o o Esta es la importancia del diferencial, que se dene como df := A z df := Diferencial de f Observacin: La denicin de diferenciabilidad de THOMAE para funciones de varias variables o o reales, particularizando el ejemplo a dos dimensiones, es: u: (x y) u(x y) : D C AR BR 1 0
z0
D R
u DIF/(a b)
:=
u = A x + B y + 1 x + 2 y :
2 0
z0
u DIF/(a b)
:=
La funcin u es diferenciable en el punto (a b) o
Este enunciado pone en evidencia que la diferenciabilidad asegura la aproximacin lineal de la o funcin u. o Desde el punto de vista geomtrico, dicha aproximacin lineal se materializa en la existencia e o de plano tangente para varias variables y recta tangente para una. La derivabilidad en variable real signica geomtricamente que existe la tangente en una sola e direccin, mientras que el diferencial asegura la existencia de todas las tangentes (en las direcciones o donde puede incrementarse) y adems ligadas todas entre s por pertenecer a un mismo plano. a , Por esta razn, el segundo concepto tiene mucha ms importancia que el primero. o a Las propiedades que se enuncian a continuacin marcan algunas de las diferencias existentes o entre ambos conceptos.
66
CAP ITULO 4. DERIVACION EN EL CAMPO COMPLEJO
Teorema 4.2.1. f DIF/P = f C/P Demostracin. La demostracin es inmediata aplicando la denicin de diferencial. o o o La derivabilidad no arrastra la continuidad. Pueden existir funciones diferenciables no derivables (sin derivadas parciales) y tambin fune ciones derivables, a n en todas las direcciones sin ser diferenciables. u
y
El primer caso se presenta cuando el dominio de la funcin est restringido, y no puede incremeno a tarse en la direccin de lo ejes, sin embargo en o todas las dems direcciones las tangentes denen a un plano. Este caso slo puede presentarse en puntos de o frontera.
Figura 4.2: Dominio restringido de una funcin de variable compleja. o
El segundo caso es aquel en el cual las tangentes no estn en un plano, por ejemplo en el vrtice a e de un cono. Si se obvian los problemas de frontera, la diferenciabilidad implica la derivabilidad. Esta es la razn por la cual se postula que el punto P es interior y se trabaja con conjuntos abiertos ms o a adelante. (a b) Pt. interior de D f DIF/(a b) = A B = fx = fy
No es cierto que una funcin de varias variables reales, continua y derivable sea diferenciable. o Basta analizar el caso del vrtice del cono. e Pero si es vlido, a fx C fy C = f DIF
es decir, si una funcin admite derivadas continuas es diferenciable (en rigor es suciente la contio nuidad de una sola derivada y la existencia de ambas). En funciones de una variable real, el concepto de derivada y diferencial se confunden, porque hay una sola tangente. Lo mismo se produce en funciones de variable compleja como se ver a a continuacin, pero debe tenerse en cuenta que son conceptos diferentes. o En resumen, para un punto interior del dominio: func. 1 var. real func. n var. reales (n = 2) func. var. compleja recta tg f DIF f DER plano tg f DIF f DER f DIF f DER
4.3. RELACION ENTRE DERIVADA Y DIFERENCIAL. EXISTENCIA
67
4.3.
Relacin entre derivada y diferencial. Existencia o
Teorema 4.3.1. Dada una funcin de variable compleja f , condicin necesaria y suciente de o o derivabilidad es la diferenciabilidad. f DER/a f DIF/a Demostracin. Se demuestra la condicin suciente: o o f f (a) = (z) z |(z)| < = f = f (a)z + (z)z
f (a) C
con lo cual se cumple la denicin de diferencial. o La condicin necesaria: o f = Az + (z)z f A 0 z0 z Por lo tanto existe derivada, que adems es igual a la constante A a f (a) = A Observacin 1: En la demostracin anterior no es necesario que el punto a sea interior al dominio D. o o Condicin necesaria y suciente de diferenciabilidad es que las funciones u y v (parte real e o imaginaria de f ) sean diferenciables y que se veriquen las igualdades siguientes: ux uy = vy = vx : AC 0
z0
llamadas com nmente de Cauchy-Riemann. u En este caso es necesario que se asegure la posibilidad de incrementar la funcin en direcciones o paralelas al eje x y al eje y. Seg n la observacin realizada en 4.2 es condicin suciente que el u o o punto sea interior a D. Esto da paso al siguiente teorema: Teorema 4.3.2. u DIF/c v DIF/c ux = vy uy = vx
f DIF/c
Demostracin. Por ser f DIF y tomando A = a + ib: o f = A z + z u + iv = (a + ib)(x + iy) + (1 + i2 )(x + iy) u = ax by + 1 x 2 y v = bx + ay + 2 x + 1 y u DIF/c v DIF/c a = ux = vy b = vx = uy
68
Esta condicin es necesaria y suciente como resulta de observar la doble implicacin entre o o todas las proposiciones. Este teorema demuestra entonces que la diferenciabilidad (o derivabilidad) de f no slo implica o la diferenciabilidad de u y de v sino adems una estrecha relacin entre ellas dada por las ecuacioa o nes de Cauchy-Riemann. Observacin 2: Las condiciones que ligan las derivadas de la parte real e imaginaria de una o funcin compleja, son llamadas tradicionalmente de Cauchy-Riemann pero son originalmente de o DAlembert-Euler. Es interesante interpretar el signicado de las ecuaciones de Cauchy-Riemann. Ellas representan la igualdad de los l mites de los cocientes incrementales seg n caminos rectos u paralelos a los ejes coordenados.
2
En efecto, seg n la observacin hecha en el prrau o a fo 4.1, una funcin compleja que es derivable (dio ferenciable) implica que el l mite del cociente incremental sobre las innitas rectas que pasan por el punto, es invariable.
Figura 4.3: Incremento de una funcin o a travs de caminos rectos paralelos a los e ejes.
En particular, seg n los dos caminos 1 , 2 paralelos a los ejes: u f u + iv = z x + iy 1 { y = 0 2 { x = 0 f z f z =

1
u + iv ux + ivx = fx = f (a) x0 x
=
2
u + iv 1 (uy + ivy ) = fy = f (a) x0 i y
De la igualdad de estas dos derivadas direccionales, resulta: ux vx = vy = uy
Las condiciones de Cauchy-Riemann son entonces necesarias pero no sucientes. Sin embargo, si se agrega la hiptesis de continuidad de las derivadas parciales de u y de v de o acuerdo a la observacin del prrafo 4.2, entonces u y v son diferenciables, y por lo tanto: o a ux = vy vx = uy = f DIF ux C
Observacin 3: De acuerdo a lo mencionado en 4.2 es suciente la continuidad de una sola derivada o parcial.
u
x 1
4.4. DERIVACION Y CONTINUIDAD
69
4.4.
Derivacin y continuidad o
Teorema 4.4.1. Toda funcin de variable compleja f derivable, es continua. o f DER/a = f C/a Demostracin. La demostracin es consecuencia inmediata de la diferenciabilidad. o o f DER = |f | < |A z| + | z| Este teorema es semejante al de una variable real. Para funciones de varias variables reales no es cierto. La diferenciabilidad en todos los casos, funciones de uno o varias variables reales y complejas, implica la continuidad.
4.5.
Funciones mongenas y holomorfas o
Todas las propiedades y conceptos desarrollados hasta el momento son de carcter local o puna tual. Para entender el anlisis diferencial a conjunto conviene precisar nuevas deniciones. a Las funciones derivables en un punto y en un entorno del mismo tienen especial inters en la e teor de las funciones potenciales y en la teor de integrales complejas de Cauchy. a a Se dice que una funcin es mongena en un punto a si tiene derivada en ese punto. La monoo o geneidad es sinnimo de derivabilidad. o f mongena/a := f DER/a o Se dice que una funcin de variable compleja es holomorfa si tiene derivada en todos los puntos o de un entorno de a. f H/a := U (a) : z U (a) = f DER/z f H/a := f es holomorfa en el punto a A partir de las deniciones es evidente que: f H/a = f mongena/a o Hay funciones que son mongenas pero no holomorfas o Ejemplo I f: C C z |z|2 = x2 + y 2 son diferenciables pero las condiciones de Cauchy-Riemann slo valen o para 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
2
u = x2 v=y
son diferenciables y las condiciones de Cauchy-Riemann slo valen o para la recta y = x porque: vx = 0 vy = 2y
ux = 2x uy = 0
70
Una funcin f es mongena sobre un conjunto D cuando es mongena en todos sus puntos. o o o f M ON/D := z D = f mongena/z o f M ON/D := f es mongena sobre el conjunto D o Una funcin f es holomorfa sobre un conjunto D cuando es holomorfa en todos sus puntos. o f H/D := z D = f H/z Observacin 1: La monogeneidad sobre un conjunto D exige la derivabilidad sobre cada uno de sus o puntos, incluso los frontera que pertenecen a l. e Para los abiertos ambos conceptos coinciden. Observacin 2: Muchos autores no diferencian los conceptos de monogeneidad y holomorf En o a. otros textos se confunde holomorf con analiticidad. a Se llama funcin analtica a la desarrollable en serie de Taylor. Es claro que en principio las o funciones anal ticas son conceptos diferentes de las funciones holomorfas. Sin embargo, 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. a Observacin 3: El origen de la palabra mongena hace referencia a la propiedad que todas las o o derivadas direccionales son iguales (mono=uno, gena=generada). La palabra holomorfa signica de forma entera, en contraposicin de las funciones meromorfas, o que se estudiarn ms adelante. a a Sinnimo de holomorfa es regular. o Se dice tambin que una funcin de variable compleja tiene un punto singular, cuando en l no e o e es holomorfa.
4.6.
Reglas de derivacin o
Como la denicin de derivada para las funciones complejas es formalmente igual a la de funcioo nes de una variable real, se implica que las reglas de la suma, multiplicacin, divisin (denominador o o no nulo), funcin de funcin, funcin inversa, etc. se extienden en forma anloga al campo complejo. o o o a Por lo tanto, la suma, diferencia, producto o cociente (excepto el caso de denominador nulo) de funciones holomorfas sobre un abierto es tambin holomorfo. e En particular, los polinomios son holomorfos sobre todo el plano. Las funciones racionales, sobre todo su dominio, es decir el conjunto complementario de los ceros del denominador.
4.7.
4.7.1.
Holomorf y ecuacin de Laplace a o

Las componentes de una funcin holomorfa como funciones armnio o cas
Sea f una funcin holomorfa en un punto a, si se hace la hiptesis suplementaria de la existencia o o y continuidad de las derivadas segundas de la parte real e imaginaria de f en el entorno de a (las funciones reales u y v respectivamente), entonces se verica: uxx + uyy vxx + vyy =0 =0
4.7. HOLOMORF Y ECUACION DE LAPLACE IA
71
es decir, tanto u como v satisfacen la ecuacin de Laplace. o La ecuacin de Laplace es la que aparece en el estudio de los potenciales gravitatorios, elctrio e cos, magnticos, de velocidades en uidos, de la transmisin del calor (rgimen estacionario), etc. e o e Esta relacin permite vislumbrar, la importancia de las funciones holomorfas en el anlisis de o a problemas bidimensionales de potencial. Observacin 1: Los anlisis realizados hasta el momento son de carcter puntual, pues han regulado o a a solamente de la hiptesis de la monogeneidad de la funcin en un punto. o o Sin embargo, para el estudio de las relaciones existentes entre las componentes de una funcin o compleja y las funciones que satisfacen la ecuacin de Laplace, es necesario imponer condiciones o de derivabilidad en el punto y tambin en su entorno. e Esto es, porque en primer lugar, para la existencia de las derivadas segundas en el punto es necesario que ux y uy puedan ser incrementadas en el entorno del punto. En segundo lugar, porque como se ver es fundamental en la teor de Cauchy, a travs de la a a e introduccin de la integral curvil o nea en el campo complejo, el uso de conjuntos abiertos y conexos. Entre otras propiedades de las funciones derivables sobre tales conjuntos (abiertos y conexos) se destaca su desarrollabilidad en series de Taylor (analiticidad). De aqu la importancia del concepto de holomorf a. Observacin 2: La hiptesis de continuidad de las derivadas segundas de u y v (o de alguna de ellas) o o hecha al comienzo del prrafo es superua, porque como se demostrar en el prximo cap a a o tulo, toda funcin holomorfa tiene derivadas de todos los ordenes. o Para llegar a este resultado, que una funcin holomorfa tiene derivadas de cualquier orden, y o por ende continuas, no se usa en absoluto los desarrollos que siguen en este prrafo. a Por lo tanto, no se entra en un c rculo vicioso, si se obvia la continuidad de las derivadas segundas en el siguiente teorema: Teorema 4.7.1.
2
f H/a
u=0 v=0
Demostracin. Derivando las ecuaciones de Cauchy-Riemann, la primera respecto de x y la segunda o respecto de y, se obtiene: uxx uyy = vyx = vxy
sumando, teniendo en cuenta el teorema de Schwarz spbre la igualdad de las derivadas cruzadas,
2
u=0
y anlogamente a
2
v=0
Una funcin real de dos variables, con derivadas parciales de segundo orden continuas, que o satisface la ecuacin de Laplace, se llama armnica. o o C R u : uxx C/a u Armnica/a := o (x y) u(x y) : u C/a yy 2 u=0
72
Si una funcin es armnica sobre todos los puntos de un conjunto D, se dice que es armnica o o o en D. u Armnica/D := z D = u Armnica/z o o Si dos funciones reales u y v son armnicas y satisfacen en D las ecuaciones de Cauchy-Riemann, o entonces se dice que v es conjugada armnica de u. o o u Armnica/D v Armnica/D o (u v) Conjugadas armnicas/D := o ux = vy uy = vx
Teorema 4.7.2. Condicin necesaria y suciente para que una funcin sea holomorfa sobre un o o conjunto D es que su parte real e imaginaria sean conjugadas armnicas en D. o f H/D (u v) Conjugadas Armnicas/D o Demostracin. Que una funcin holomorfa tiene partes real e imaginaria (u v) conjugadas armnio o o cas ya ha sido demostrado. Adems, si u y v son armnicas tienen derivadas primeras continuas ux , uy , vx , vy , que a o aseguran la diferenciabilidad de dichas funciones. Por lo tanto, de acuerdo al teorema 4.3.1, se implica que f es holomorfa. Es cierto entonces que las partes real e imaginaria de una funcin holomorfa no pueden ser arbio trarias, llevan una estrecha relacin entre s establecido por el concepto de conjugadas armnicas. o , o
4.7.2.
1o
Propiedades de funciones conjugadas armnicas o
Conviene remarcar en primer trmino que si un par de funciones reales (u v) son conjugadas e armnicas, el par (v u) no lo es. o (u v) Conjugadas armnicas/a = (v u) Conjugadas armnicas/a o / o es decir que no existe la simetr en la relacin de conjugadas armnicas y en la expresin v es a o o o conjugada armnica de uno debe trastocarse el orden de las funciones. o Pero por otra parte s se cumple el siguiente teorema: Teorema 4.7.3. (u v) Conjugadas armnicas/a (v u) Conjugadas armnicas/a o o Demostracin. La demostracin es inmediata, teniendo en cuenta que, o o f H/a if H/a (u + iv) H/a (v + iu) H/a Otra demostracin es por vericacin directa de las condiciones de Cauchy-Riemann. o o 2o Teorema 4.7.4. una funcin de variable compleja es constante si y slo si su derivada compleja o o es nula, en un entorno de un punto. U (a) D = z U (a) , f (z) = k f (z) = 0
kC
73
Demostracin. La condicin suciente es inmediata, la condicin suciente se demuestra, 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, y como en todo punto de dicho entorno las derivadas parciales se anulan, resulta: u = 0 = u = k1 anlogamente, a v = k2 luego, f (z) = k = k1 + ik2 Es claro entonces que la conjugada armnica de una constante es otra constante, arbitraria. o 3o Teorema 4.7.5. La funcin v, conjugada armnica de u, es unica salvo constante. o o v : : (u v) Conj. arm./D = v V = k kC k2 R k1 R
(u V ) Conj. arm./D
Demostracin. Por denicin de conjugadas armnicas: o o o ux = vy = Vy uy = vx = Vx De acuerdo con el teorema 4.7.4, vV =k 4o Teorema 4.7.6. Una funcin holomorfa f , cuyas partes real e imaginara son respectivamente u o y v, con derivada no nula, asegura que las familias x(x y) = k1 v(x y) = k2 son trayectorias ortogonales entre s. f (z) = u + iv H/a f (z) = 0 = (u(x y) = k1 , v(x y) = k2 ) Trayectorias ortogonales kC
Demostracin. Basta vericar que a partir de las ecuaciones de Cauchy-Riemann: o u

1 El
v = ux vx + uy vy = 0
Expresin que demuestra la ortogonalidad salvo en el caso de derivada nula1 . o

s mbolo se utiliza para representar el producto interno entre vectores
74
Por lo tanto, si una funcin armnica v es conjugada armnica de otra u, en los campos vectoo o o riales u, v, las l neas equipotenciales de uno son l neas de campo del otro y viceversa. Ejemplo f: C C
z z 2 = xx2 y 2 + i2xy
Entonces, son trayectorias ortogonales: u = x2 y 2 = k1 v = 2xy = k2
y z
Figura 4.4: Trayectorias ortogonales de un par de funciones conjugadas armnicas o
En el grco se han representado las dos familias que son ortogonales entre s salvo en z = 0. a , Este anlisis est relacionado con las propiedades de las funciones complejas mencionado en 3.2 a a (ver ejemplo) y se explicar en detalle en el estudio de la representacin conforme en 4.9. a o
4.7.3.
Obtencin de la conjugada armnica de una funcin en el entorno o o o de un punto
Un problema que se plantea es, dado un u (funcin real de dos variables y armnica sobre un o o determinado conjunto), hallar otra funcin v que sea conjugada armnica de u. o o Este problema, como veremos, siempre tiene solucin sobre conjuntos abiertos conexos. o Adems, la solucin es unica (salvo constante) para el entorno de un punto, como se desprende a o del teorema 4.7.5. Este resultado se puede generalizar tambin para conjuntos simplemente conexos. e Con esta conclusin se puede aseverar que cualquiera sea el mtodo empleado para obtener la o e conjugada armnica, sta solo puede diferir en una constante. o e El problema planteado, de hallar la conjugada armnica de una funcin u, es equivalente a o o cualquiera de estos planteos:
75
a. Hallar una funcin potencial v, conocido su gradiente, o
v = (vx , vy ) = (uy , ux )
b. Hallar la familia de funciones ortogonales de la familia u(x y) = k Estos problemas signican, en todos los casos, resolver la ecuacin diferencial exacta o dv = vx dx + vy dy que de acuerdo a las condiciones de Cauchy-Riemann, se transforma en: dv = uy dx + ux dy Para la resolucin de esta ecuacin diferencial, pueden encararse diferentes mtodos que se o o e desarrollan a continuacin. o Primer mtodo e Con este mtodo se resuelve la ecuacin diferencial en forma general, expresando v como intee o gral curvil nea a lo largo de un camino contenido en un conjunto D, para el cual u es armnica. o Este anlisis, se reduce en primer lugar al caso de que D sea una bola en el campo complejo, a pudiendo extenderse sin dicultad a conjuntos simplemente conexos y abiertos. El caso de conjuntos m ltiplemente conexos se estudiar una vez analizada la integral en el u a campo complejo, sobre las cuales v puede no ser unica. Sea una bola B(c r) del plano complejo, sobre la cual u es armnica, entonces, existe una funo cin de variable real que es conjugada armnica de u. o o En primer trmino conviene investigar, por medio de una discusin heur e o stica, las caracter sticas que puede tener v; suponiendo que exista. Partiendo de las condiciones de Cauchy-Riemann ux = vy uy = vx Partiendo de la primera de ellas e integrando respecto de y:
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 funcin de x que hace las veces u o de constante de integracin. o Derivando bajo el signo integral, posible porque las derivadas primera y segunda de u son continuas al ser armnica, a efectos de aplicar la segunda condicin de Cauchy-Riemann: o o (x) = ut (x b)
x
(x) =
a
uy (t b) dt + C
donde a es un real tal que (a b) B y C es un constante de integracin. Se llega entonces a: o

x y
v(x y) =
a
uy (t b) dt +
ux (x t) dt + C
b
Esta es la solucin del problema de hallar la funcin v, conjugada armnica de u, sobre B(c r). o o o
76
La integral obtenida, puede ser considerada como una integral curvil nea a lo largo del camino (poligonal) contenido en B: v(x y) =
uy dx + ux dy
que es tambin la circulacin del vector e o v = (vx , vy ) = (uy , ux ) a lo largo de dicha poligonal v(x y) =
(a b)
Figura 4.5: Integracin a travs de un cao e mino poligonal.
(uy , ux ) d
d = (dx, dy)
Este estudio de orientacin permite justicar la denicin de una funcin v(x y) como la integral o o o curvil nea anterior, y a partir de all probar que sobre una bola del campo complejo, v es conjugada armnica de u(x y) y por lo tanto existe y es unica, de acuerdo a 4.7.5 (salvo constante). Esta o proposicin se demuestra a continuacin. o o Teorema 4.7.7. u Armnica/B(c r) o Poligonal contenida en B
x
v(x y) :=
a
uy (t b) dt +
Demostracin. Derivando v respecto de y: o vy (x y) = ux (x y) y tambin respecto de x e

y
ux (x t) dt
= (u v) Conjugadas armnicas/B o
vx (x y) = uy (x b) + = uy (x b) + = uy (x y)
uxx (x t) dt
b y
uyy (x t) dt
b
= uy (x b) uy (x y) + uy (x b) por lo tanto, se cumplen las dos condiciones de Cauchy-Riemann y siendo las derivadas de v continuas, el par (u v) son conjugadas armnicas. o Este resultado puede generalizarse extendiendo la validez de v como integral curvil nea a lo largo de un camino genrico contenido en conjuntos abiertos y simplemente conexos. e Para ello basta recordar que una integral curvil nea no depende del camino sino solamente de los extremos cuando: D Abierto y simplemente conexo Camino contenido en D : Px , Py , Qx , Qy C Py = Qx (a) = A (b) = B
= V (x y) :
P dx + Q dy = V (B) V (A)
w v x
r (x y) c B(c r)
Esto signica que existe una funcin potencial o U (x y). Es esencial que D ea simplemente conexo, pues en caso contrario no puede asegurarse la independencia del camino.
Figura 4.6: Reemplazo de un camino por otro poligonal.
Aplicando este teorema a nuestro caso, se obtiene: Teorema 4.7.8. D Abierto y simplemente conexo Camino contenido en D
u Armnica/D o v(x y) :=
uy dx + ux dy
Demostracin. En primer trmino se cumplen las hiptesis del teorema anterior, pues: o e o u Armnica/D = o uxx , uxy , uyx , uyy C/D uyy = uxx
= (u v) Conjugadas armnicas/D o
y entonces, como la integral curvil nea es independiente del camino , puede elegirse una poligonal P tal como lo muestra la gura 4.7.3. La poligonal formada por un n mero nito de segmentos paralelos a los ejes existe siempre u porque, por hiptesis, D es abierto y conexo, y es cerrado y acotado (compacto). o D Ab. Conexo = P : =
P
A partir de aqu puede aplicarse el resultado anterior del estudio sobre una bola (u v) Conjugadas armnicas/D o Este anlisis se retomar una vez estudiada la integral en el campo complejo. En particular se a a estudiar el caso de los conjuntos m ltiplemente conexos. a u Segundo mtodo e Conociendo el resultado del mtodo anterior, que asegura la existencia de v, conjugada armnie o ca de u, sobre un conjunto abierto y simplemente conexo, puede aplicarse el procedimiento visto al comienzo del prrafo anterior. a Este mtodo, que suele convenir en la resolucin de ejercicios, consiste en resolver el sistema e o de ecuaciones diferenciales: ux = vy uy = vx
por clculo de primitivas (integracin indenida), por ejemplo: a o v(x y) = derivando vx = uy = x ux dy + (x) ux dx + (x)
y
77
B D
78
de donde puede despejarse (x), y por lo tanto calcular (x) y v(x y) (x) = uy x ux dy
o tambin, de acuerdo a lo visto en el primer mtodo: e e (x) = uy (x b) Llegando al resultado nal: v(x y) = v(x y) = ux (x y) dy + (x) ux (x y) dy + uy (x b) dx
Tercer mtodo. Milne-Thomson. e El mtodo de Milne-Thomson permite resolver en forma elegante y directa casos que con los e mtodos anteriores son dicultosos. e La demostracin es una modicacin de la original, y no es simple, pero la aplicacin del mtoo o o e do, como se ver, es muy sencilla. a Como hiptesis se toma un conjunto abierto y simplemente conexo, que contenga el origen (0 0), o para simplicar. Si no lo contuviera, el problema se reduce al primero con una traslacin. o Teorema 4.7.9 (Milne-Thomson). D Abierto y simplemente conexo (0 0) D U (x y) Armnica/D o U (x) = l U (x y) m
y0
V (x) =
y0
l Uy (x y) dx m
Demostracin. En base al estudio realizado para el primer mtodo se asegura que sobre D existe o e conjugada armnica de U , que se llamar V . De acuerdo entonces al teorema 4.7.1, U + iV es o a holomorfa sobre D. f (z) = u + iv : f H/D un primer paso de la demostracin es el siguiente lema: Una funcin f de imagen f (z) tiende a o o f (x) para y 0. Esto signica que el l mite para y 0 se obtiene reemplazando formalmente x por z. Si f es holomorfa en el entorno de (0 0) se asegura la existencia de dicho l mite. f (z) = f (x + iy) f (x)
y0
U (z) + iV (z) H/D (U, V ) Conjugadas armnicas/D o
Viceversa, este resultado dice que si se conoce f (x) puede obtenerse f (z) reemplazando formalmente x por z. sen x sen z Ejemplos: ex ez El l mite para y 0 adquiere entonces, para el caso de una funcin holomorfa, la siguiente o forma: f (x + iy) = u(x y) + i v(x y)
y0 y0
f (x)
U (x)
+ i V (x)
79
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), debida a la holomorf a. En nuestro caso, la U (x) se obtiene fcilmente y entonces el problema se reduce a la b squeda a u de V (x). Para ello se demuestra que: v= l v m y0 x x y0 l m es decir: v(x y)
y0
x
/ vx (x y)
y0
V (x)
/ V (x) = V1 (x)
En efecto, como v es armnica tiene derivadas continuas, y por el teorema de Heine-Cantor de o la continuidad uniforme 2 se asegura que V (x) = V1 (x). Aplicando, por lo tanto, las condiciones de Cauchy-Riemann: V (x) = = l vx (x y) dx m l uy (x y) dx m
y0
y0
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 funcin, de acuerdo con lo visto, es holomorfa y sus partes real e imaginaria son: o u(x y) = Re(U + iV ) v(x y) = Im(U + iV ) Que son armnicas conjugadas. o La practicidad del mtodo lo prueba el ejemplo siguiente: e u= x+1 (x + 12 ) + y 2
u verica la ecuacin de Laplace para todo z = (1, 0) y adems tiene las derivadas segundas o a continuas, siendo por lo tanto armnica. Eligiendo entonces, un conjunto D abierto y simplemente o conexo que no contenga a (-1,0): u U (x) =
y0
1 x+1
2 El teorema de Heine-Cantor, aplicado a una funcin f : Rn R, arma que si f est denida sobre un o a compacto D:
>0, >0
x , x D : ||x x || < = |f (x ) f (x )| < tal que toda la imagen de f en D este contenida en una banda uniforme
Esto quiere decir que se puede elegir un [f (x ), f (x + )].
80
Por otra parte uy = 2y(x + 1) 0 = V (x) ((x + 1)2 + y 2 )2 y0 kR
V (x) = k
resultando entonces f (z) = U (z) + iV (z) 1 + ik = z+1 cuyas partes real e imaginaria son conjugadas armnicas: o u= x+1 (x + 1)2 + y 2 y +k v= (x + 1)2 + y 2
Observacin S: i se deseara plantear el problema de obtener u, conocida la funcin v de manera o o tal que (u v) sean conjugadas armnicas, basta recordar que (v u) son conjugadas armnicas, y o o por lo tanto son de aplicacin los mtodos anteriores. o e
4.8.
Holomorf en el innito a
Cuando se trabaja con funciones denidas en el complejo extendido C, aunque no se conserva la estructura de espacio vectorial, es posible dar un sentido al concepto de funcin holomorfa en . o Esta denicin es de especial utilidad para el clculo de integrales en el campo complejo. o a Sea una funcin f denida en el complejo extendido: o f: D C : DC, D
z f (z)
de acuerdo a lo visto en 2.9.1, el 0 es imagen del punto por la inversin: o Inv : C C 1/z z 0 z = 0, z = z=0 z=
o tambin por una restriccin de la inversin al entorno de : e o o Inv : U () C z 1/z 0 z U () {} z=
y entonces el problema del estudio de la funcin f es se reduce a un problema en el entorno de o 0 de la funcin compuesta o f Inv : U () C z f (1/z) Observacin: La necesidad de restringir la inversin surge de asegurar la existencia de la funcin o o o compuesta f Inv, pues debe cumplirse que le rango de la Inv debe estar incluido en el dominio D de la funcin f . Esto se muestra en la gura 4.8. o
4.9. REPRESENTACION CONFORME
El anlisis anterior permite denir: a D abierto y conexo f : D C : D
f H/ := f Inv H/D Ejemplo:
sen(1/z) H/ = sen(z) H/D
4.9.
La transformacin de caminos por medio de funciones holomorfas tiene caracter o sticas tales como para merecer un estudio particular. La aplicacin de estas propiedades permite resolver, en dos dimensiones, problemas de poteno cial en campos gravitatorios, elctricos, magnticos, de temperatura, etc. y en general para cuale e quier campo conservativo, adems de problemas se ingenier elctrica: diagramas de impedanciaa a e admitancia y problemas de cartograf a.
4.9.1.
Vector tangente a un camino Para denir el angulo orientado entre dos caminos, conviene establecer previamente el concepto de vector tangente a un camino. Se llama vector tangente al camino , en el punto (c), a: T (, (c)) := x (c) y (c) : (x (c), y (c)) = (0 0)
T (, (c)) := Vector tangente al camino en el punto (c) El vector tangente T (, (c),) no es ms que (c) expresado en notacin matricial. a o
T (, (c))
Figura 4.8: Vector tangente a en el punto (c).
(c) a
|
Inv U()
81
C D R
Figura 4.7: Dominio e imagen de Inv y f
Representacin conforme o
Angulo entre caminos
82
La condicin impuesta, que (c) = (0 0), equivalente a que el vector tangente es no nulo, es o indispensable para denir 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 tambin introducir la siguiente terminolog e a: Se dice que un camino es regular en el punto (c) si (c) = 0, es decir, si existe vector tangente en ese punto. Asimismo, un camino se dice que es regular a secas, si lo es en todos sus puntos. Camino regular/(c) Camino regular Angulo entre dos caminos Dados dos caminos 1 : [a1 b1 ] C 2 : [a2 b2 ] C que se cortan en el punto zc , es decir: c1 [a1 b1 ] c2 [a2 b2 ] zc := 1 (c1 ) entonces se llama angulo orientado de 1 a 2 , de signado en la gura 4.9.1 por , al angulo orien tado entre los respectivos vectores tangentes en el punto de corte zc . : 1 (c1 ) = 2 (c2 ) := (c) = 0
zc
Figura 4.9: Angulo entre los caminos 1 y 2 en el punto zc .
Anal ticamente, el angulo orientado de 1 a 2 es el n mero real denido por: u Ang(1 , 2 ) := Arg(2 (c2 )) Arg(1 (c1 )) Ang(1 , 2 ) := Angulo orientado entre los caminos 1 y 2
Observacin 1: Conviene remarcar que en la denicin anterior se ha empleado la funcin valor o o o principal del argumento, que establece una unica determinacin del mismo. o Una propiedad del angulo entre dos caminos, que destaca el concepto de orientacin intr o nseco a la denicin, es: o Ang(1 , 2 ) = Ang(2 , 1 ) Una cota superior para el angulo orientado est dada por: a |Ang(1 , 2 )| |Arg(2 (c2 ))| + |Arg(1 (c1 ))| + 2
2 1
:= c [a b] = (c) = 0
T (2 , zc )
T (1 , zc )
83
Observacin 2: El mdulo del angulo entre los caminos 1 y 2 puede ser expresado bajo forma o o vectorial a partir de: cos() = T1 T2 ||T1 || ||T2 ||
4.9.2.
Transformacin de caminos o
Teorema 4.9.1. Una funcin f : D R de variable compleja, cuyas partes real e imaginaria o tienen derivadas primeras continuas, transforma un camino : [a b] C, contenido en D, en otro camino f contenido en R.
R
Figura 4.10: Transformacin de caminos por una funcin de variable compleja. o o
: [a b] D t x(t) + iy(t) f : D R
Camino contenido en D z (u v) :
Demostracin. Sea la composicin o o f : [a b] R
t u(x(t), y(t)) + iv(x(t), y(t))
es un camino, y por lo tanto es continua. es continua por partes: C/[a b] f C/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 hiptesis del teorema anterior, si f es adems inyectiva, transforma un camino o a simple (arco de Jordan) en otro camino simple: Teorema 4.9.2. Camino simple contenido en D f : D R ux , uy C/D = f Camino simple contenido en R z (u v) : vx , vy C/D f Inyectiva

D f f
ux , uy C/D vx , vy C/D
= f Camino contenido en R
84
Demostracin. De acuerdo al teorema 4.9.1, f es un camino, pero adems: o a Camino simple = Inyectiva por lo tanto: Inyectiva = f inyectiva
f Inyectiva
entonces f es un camino simple. Las transformaciones de lazos se rigen por los mismos teoremas anteriores. Si f es una funcin o de las caracter sticas indicadas, todo lazo se transforma en lazo y adems, se f es inyectiva, todo a lazo simple se transforma en un lazo simple. Corolario 4.9.2.1. Lazo contenido en D f : D R z (u v) : ux , uy C/D vx , vy C/D
= f Lazo contenido en R
Corolario 4.9.2.2. Lazo simple contenido en D f : D R z (u v) : ux , uy C/D vx , vy C/D
= f Lazo simple contenido en R
f Inyectiva
4.9.3.
Transformacin de vectores tangentes o
Dada la funcin f : D R de variable compleja, cuyas partes real e imaginaria tienen o derivadas primeras continuas, como se ha visto transforma un camino en otro f por medio de una transformacin que se puede caracterizar por: o ut = ux xt + uy yt vt = vx xt + vy yt sistema que escrito en notacin matricial toma la forma: o ut vt = ux vx uy vy xt yt
que representa la aplicacin lineal que transforma los vectores tangentes al camino en el punto o (c) en los vectores tangentes a f ; siempre y cuando se cumplan las condiciones detalladas al nal de este prrafo. a La aplicacin anterior es llamada aplicacin lineal tangente a f en el punto (c) y se caracteriza o o como sigue: J(f, (c)) : T (, (c)) J(f, (c)) T (, (c)) J(f, (c)) := Aplicacin lienal tangente a f en el punto (c) o donde la matriz J(f, (c)) = ux vx uy vy
85
no es otra que la matriz jacobiana del sistema u = u(x y) v = v(x y) y por lo tanto, si el determinante de J no es nulo (|J| = 0), se asegura la existencia y unicidad de la funcin inversa f 1 continua y con derivadas primeras continuas para sus partes real e imaginaria, o es decir: x = x(u v) y = y(u v) Se deduce directamente de la denicin de la aplicacin J(, (c)) que: o o Condicin necesaria y suciente para que una aplicacin lineal tangente J(, (c)) transforme o o el vector tangente al camino en el punto (c) en el vector tangente al camino f en el punto f (c), es que la matriz J sea regular (|J| = 0) y que tenga vector tangente (c) = 0. f : D R z (u v) : ux , uy , vx , vy C/D
Camino contenido en D (c) = 0 |J(f, (c))| = 0 = (f ) = 0
4.9.4.
Aplicacin conforme o
Se dice que una funcin f : D R de variable compleja, cuyas partes real e imaginaria tienen o derivadas primeras continuas, es una aplicacin conforme en el punto zc ; si la matriz J(f, (c)) o conserva los angulos orientados de los vectores tangentes a dos caminos. Esto signica que el angulo orientado entre dos caminos 1 y 2 es igual al angulo orientado entre los caminos transformados f 1 y f 2 . f : D R z (u v) : ux , uy , vx , vy C/D f Aplicacin conforme/zc := o (1 2 ) : zc = 1 (c1 ) = 2 (c2 ) = Ang(1 , 2 ) = Ang(f 1 , f 2 )
zc
Figura 4.11: Conservacin del ngulo entre dos caminos mediante una aplicacin conforme f . o a o

2 f 1 1 f 2 f (zc )
86
En particular, una aplicacin conforme transforma caminos ortogonales = en caminos o 2 ortogonales, caso de inters para el estudio de las l e neas equipotenciales de un campo y sus trayectorias ortogonales: las l neas de campo. Observacin 1: Una aplicacin f se dice que es isogonal cuando en su transformacin conserva los o o o angulos de dos caminos en mdulo, es decir sin especicar la orientacin. o o Es decir, la aplicacin isogonal asegura la conservacin del valor absoluto del angulo en la transo o formacin, pero no asegura la conservacin del signo. o o Es condicin necesaria entonces, para que una aplicacin sea conforme, que sea isogonal. o o Condicin necesaria y suciente, desde el punto de vista vectorial, para que una transformacin o o sea isogonal es que para todo par de vectores (x1 x2 ) se cumpla: (x1 x2 ) X1 X2 x1 x2 = |X1 ||X2 | |x1 ||x2 |
donde con X may sculas se has simbolizado los transformados de x min sculas, es decir: u u A : x A x = X
Antes de estudiar las condiciones generales que debe cumplir una funcin f de variable compleja o para ser una aplicacin conforme es inmediato observar que: o Condicin necesaria para que f sea una aplicacin conforme en zc es que el jacobiano sea o o distinto de cero: f Aplicacin conforme/zc = |J(f, zc )| = 0 o Es obvio que para que existan los angulos orientados entre caminos, tanto como f deben ser regulares. Por lo tanto, (f ) = 0 implica que el jacobiano n es nulo de acuerdo con el resultado obtenido en la seccin anterior in ne. o Observacin 2: A los efectos posteriores de estudiar las caracter o sticas generales de la aplicacin o lineal J(f, zc ) : T J T : |J| = 0 cuyo determinante no es nulo, conviene recordar las propiedades que debe tener una aplicacin o lineal de dos dimensiones: A : x A x = X para que conserve los angulos entre dos vectores de la transformacin. o Para ello es condicin necesaria (no suciente) que se conserve el producto interno, salvo conso tante positiva, para cualquier par de vectores (x1 x2 )3 : (x1 x2 ) X1 X2 = k x1 x2 A x2 = k x1 x2 : k>0
xT AT 1
Como esta igualdad debe cumplirse para cualquier par (x1 x2 ) debe ser: AT A = k I
3 En el desarrollo siguiente se expresa el producto interno de dos vectores cualesquiera x, y R2 como xy = xT y, donde xT representa el vector transpuesto de x, y representa el producto usual de matrices.
87
Es decir, A es ortogonal salvo constante AT = k A1 La forma general de A se deduce de esta ultima igualdad haciendo: A= a b Llamando K =
k adbc
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, las dos matrices que mantienen el producto interno, salvo constante son: K = 1 = A = K = 1 = A = donde R = a2 + b 2 = Arg(a, b) sin embargo, una sola de ellas conserva los angulos orientados, pues: cos() sen() sen() cos() r cos() r sen() = cos() cos() sen() sen() sen() cos() + cos() sen() a b a b b a b a =R =R cos() sen() cos() sen() sen() cos() sen() cos()
= r ei(+) representando entonces la primera de las dos matrices una rotacin para R = 1 o una rotacin con o o dilatacin para R = 1 (homotecia), y por lo tanto conservando los angulos orientados, mientras o que: cos() sen() sen() cos() r cos() r sen() = cos() cos() + sen() sen() sen() cos() cos() sen()
= r ei() la aplicacin de la segunda matriz es una simetr respecto de la recta que pasa por el origen, de o a pendiente . Si R = 1 es una simetr y una dilatacin si R = 1, no conservndose por lo tanto a o a 2 los angulos orientados.
88
X2 X1
X2 X1
x2 x1
2
x1
x2
K=1
K = 1
Figura 4.12: Transformacin de ngulos para aplicaciones con distintos valores de K. Para K = 1 es o a conforme, mientras que para K = 1 es slo isogonal. o
En resumen: Teorema 4.9.3. Para que una aplicacin lineal en dos dimensiones A : x A x conserve los o angulos orientados, es condicin necesaria y suciente que la matriz A sea regular y del tipo: o A= Es decir: A : R2 R2 x A x (x1 x2 ) Ang(x1 , x2 ) = Ang(A x1 , A x2 ) a b b a
A =
a b
b a
|A| = 0
Analizando las caracter sticas que debe cumplir una funcin de variable compleja, para que sea o una aplicacin conforme se llega a: o Teorema 4.9.4. Condicin necesaria y suciente para que una funcin f : D R de partes o o real e imaginaria con derivadas primeras continuas, sea aplicacin conforme en zc , es que f sea o holomorfa y de derivada primera no nula en ese punto. f H/zc f (zc ) = 0 f Aplicacin conforme/zc o
Demostracin. De acuerdo al anlisis hecho en la Observacin 2 anterior, para que la aplicacin o a o o lineal tangente conserve los angulos orientados debe ser del tipo J(f, zc ) = a b b a
|J(f, zc )| = 0 Como por denicin, J tiene como elementos las derivadas parciales de u y de v, que son continuas, o resulta: J(f, zc ) = ux = vy ux vx uy vy
|J| = ux vy uy vx
2 = u2 + vx = 0 x
uy = vx f H/zc ux , uy , vx , vy C/zc f (zc ) = 0
La doble implicacin el teorema surge inmediatamente de la reversibilidad de la demostracin. o o
89
De acuerdo con el resultado obtenido, se desprende: Corolario 4.9.4.1. Condicin necesaria y suciente para que un camino transformado por un o funcin holomorfa sea regular, es que el camino original sea regular y que la derivada primera sea o no nula. Camino contenido en D f (zc ) = 0 (c) = 0 (f ) = 0
f H/zc
Bajo las hiptesis anteriores, f es holomorfa en zc y con derivada no nula, resulta: o (f ) = f por lo tanto, la aplicacin lineal tangente J(f, (c)) puede ser expresada por: o z f (zc ) z que representa una homotecia compleja (rotacin y dilatacin) de sobre s mismo. El coeciente o o de dilatacin es |f (zc )| y el angulo de rotacin es Arg(f (zc )). o o En el caso de que f (zc ) = 0, siendo f una funcin no constante, no se mantiene el angulo o orientado. Se puede demostrar que el angulo entre dos caminos, en este caso, se transforma de un valor a un valor n, donde n es el orden de la menor derivada no nula en zc . Si la funcin f : D R es una aplicacin conforme sobre todos los puntos del domino D, se o o dice que f es una representacin conforme de D sobre f (D). o f Representacin conforme/D, f (D) := z D, o f Aplicacin conforme/z o
f Representacin conforme/D, f (D) := La funcin f es una representacin conforme de D sobre f (D) o o o La existencia de f (z) = 0 asegura la no nulidad del jacobiano |J(f, z)|; lo cual, de acuerdo a lo ya mencionado en 4.9.3, implica la existencia de la funcin inversa de f o f 1 : f (D) D w z : w = f (z) Existe tambin la derivada de la funcin inversa, seg n las reglas normales e o u (f 1 ) = 1 f (z)
En este caso, entonces, la funcin f es biyectiva. o La funcin inversa tambin es una representacin conforme de f (D) sobre D. o e o Quedan explicadas, a la luz de la representacin conforme, las propiedades de las transformao ciones complejas dadas como ejemplo en 3.2 y 4.7.2.
4.9.5.
Transformacin de reas e integrales dobles o a
Sea f una representacin conforme de D sobre f (D). Para estas funciones se puede llegar a o una frmula particular de clculo de areas. o a Si f (D) es un conjunto sobre el cual puede calcularse la integral que dene el area, entonces se acuerdo a las reglas de cambio de variables: A=
f (D)
du dv =
D
|J| dx dy
90
pero como
2 |J| = u2 + vx x
= |f (z)|2
Resulta entonces: du dv =
f (D) D
|f (z)|2 dx dy
frmula que establece la relacin de areas en una transformacin conforme. o o o
4.9.6.
Los problemas de la representacin conforme o
Sea una funcin de variable compleja f que transforma un conjunto D en otro f (D). o Se pueden plantear entonces dos problemas llamados directo e inverso de representacin cono forme. I. Problema directo de la representacin conforme. o Dado el conjunto D y la funcin f , hallar la imagen f (D). La funcin f tiene que ser holomorfa o o y no constante. II. Problema Inverso de la representacin conforme. o Dados dos conjuntos D y D , hallar la funcin f holomorfa que sea una representacin o o conforme de D sobre D . El problema inverso no siempre tiene solucin y existen teoremas generales que se ocupan del o tema, pero tampoco dan solucin en todos los casos. o En la prctica se suelen emplear soluciones aproximadas que dan origen a dif a ciles problemas de clculo numrico. a e Otro mtodo importante para resolver el problema inverso es la tabulacin de representaciones e o conformes seg n el problema directo. u El problema inverso tiene especial simo inters en las cuestiones relacionadas con los campos e potenciales, es decir, los conjuntos abiertos sobre los cuales se cumple la ecuacin de Laplace: o
2
u = uxx + uyy = 0
que rige en campos elctricos, magnticos, gravitatorios, hidrodinmicos y teor del calor. 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, hallar la distribucin de potencial en el interior o de D. Este puede encararse (no siempre tiene solucin) hallando un funcin f que sea una represeno o tacin conforme de D sobre un conjunto D de geometr sencilla (por ejemplo un c o a rculo) sobre el cual se conozca el potencial en todos sus puntos. Invirtiendo la funcin f , el problema planteado queda resuelto. En particular pueden hallarse o las l neas equipotenciales y las l neas de campo en el conjunto D .
91
f D
Figura 4.13: L neas de campo y equipotenciales para un problema inverso de representacin conforme. o
4.9.7.
La inversin o
El estudio de la funcin inversin tiene particular importancia en las aplicaciones de represeno o tacin conforme. o inv : C C 1/z z 0
z = 0, z = z= z=0
Es fcil vericar que la inversin es una biyeccin de C sobre s mismo. a o o En coordenadas cartesianas las inversin, para z = 0 y z = puede presentarse como la o transformacin que sigue, y su inversa: o (x y) (u v) = ( y x , ) x2 + y 2 x2 + y 2 u v , ) (u v) (x y) = ( 2 u + v 2 u2 + v 2
o tambin en coordenadas polares e
1 (R ) (r ) = ( R , )
Las expresiones en coordenadas polares permiten una interpretacin sencilla de la inversin o o 1 de un complejo z = (r ). El complejo z tiene por mdulo al rec o proco del mdulo de z, y por o 1 argumento el opuesto del argumento z, es decir z = ( 1 , ). Geomtricamente: e r z
Figura 4.14: Transformacin de vectores mediante una inversin. o o
Las construcciones geomtricas ms sencillas para obtener la rec e a proca de un complejo son:
1 r
(r ) (R ) = ( 1 , ) r
1 z
92

z
Construyendo dos tringulos semejantes, como a 1 muestra la gura 4.9.7, se obtiene que R = r , pues: r 1 = sen() sen() 1 = R = 1 R r = sen() sen()
R
1
Figura 4.16: Construccin geomtrica alo e ternativa para hallar la rec proca de un nmero complejo. u
Una aplicacin de utilidad es la inversin 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. Si se aplica la inversin a la familia anterior, resulta: o f a + bu cv + d(u2 + v 2 ) = 0
que es una ecuacin de las mismas caracter o sticas de la anterior, representando todas las circunferencias el plano para d = 0 y a todas las rectas del plano para d = 0. En el cuadro 4.1, preparado al efecto, se muestran todos los casos posibles de transformacin o de circunferencias y rectas por medio de la inversin. o En los respectivos grcos se presentan las construcciones geomtricas convenientes para obtea e ner la inversin propuesta. Para ello debe recordarse que el punto z, perteneciente a de mximo o a mdulo, se transforma en el punto w, perteneciente a f de m o nimo mdulo; y que tambin la o e transformacin es conforme, es decir, mantiene los angulos orientados. o

z r
z Figura 4.15: Construccin geomtrica pao e ra obtener la rec proca de un complejo.
Un segundo mtodo, mostrado en la gura 4.9.7, e se basa en un mtodo semejante al anterior con e apoyo en la circunferencia de radio unitario.
1 r
1 z
93
y (0 0)
|z
z
f
v (0 0) f
|w
w
a=0 Recta que pasa por (0 0)

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

y (0 0) z
a=0 d=0
Circunf. que pasa por (0 0)

y (0 0) / z
a=0 d=0
Circunf. que no pasa por (0 0) Circunf. que no pasa por (0 0)
Cuadro 4.1: Diversas transformaciones mediante la funcin inversin. o o
e d
Recta que pasa por (0 0)
v z w (0 0) f A x f u A
d=0
Circunf. que pasa por (0 0)

v
(0 0) f /
Recta que no pasa por (0 0)

v
(0 0) f /
94
4.9.8.
La funcin homogrca o a
Se llama funcin homogrca no degenerada u homografa a la funcin racional: o a o Hom : C C az + b cz + d z a c
z=
d c
z=
z= d z= c
a, b, c, d C ad bc = 0
Si se supusiera que ad bc = 0, la funcin homogrca se reducir a una constante. o a a Si c = 0, la homograf se reduce a la funcin lineal a o z a b z+ d d
Si c = 0, la homograf puede llevarse a la forma a w= z z1 = z z2 =

1 z1
que representa sucesivamente: I. Desplazamiento II. Inversin o III. Homotecia IV. Desplazamiento
z3 = z2 w = + z3
y que permite interpretar fcilmente la transformacin de circunferencias y rectas por medio a o de la tabla hecha para la inversin. o Recta que pasa por Recta que no pasa por Circunf. que pasa por Circunf. que no pasa por Recta que pasa por
Circunf. que no pasa por
Circunf. que pasa por Recta que no pasa por
La homotecia est caracterizada por un giro denido por el Arg() y una dilatacin denida por a o el ||. La homograf permite tambin estudiar la representacin conforme de c a e o rculos en semiplanos, o c rculos en c rculos, u otras combinaciones de conjuntos del plano limitados por circunferencias y rectas.

Analisis de Funciones de Variable Compleja

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Analisis de Funciones de Variable Compleja

Uploaded by

Copyright:

Available Formats

Anlisis de Funciones de Variable Compleja a

Ing. Juan Sacerdoti

Facultad de Ingenier a Departamento de Matemtica a Universidad de Buenos Aires 2005 V 1.001

Agradecemos al Sr. Alejandro Quadrini por la transcripcin de este documento. o

1.2. IGUALDAD DE NUMEROS COMPLEJOS

Igualdad de n meros complejos u

Estructuracin de C como cuerpo abeliano o

Sobre el conjunto de los complejos C se denen dos leyes de composicin interna: o

simtrico de (x y) respecto de T e neutro de C respecto de P simtrico de (x y) respecto de P , (x y) = (0 0) e

Los s mbolos con los cuales se identicarn estos elementos son: a s z

CAP ITULO 1. NUMEROS COMPLEJOS

Imposibilidad de estructurar C como cuerpo ordenado

RO Relacin de orden total := x E, y E 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 )

1.4. IMPOSIBILIDAD DE ESTRUCTURAR C COMO CUERPO ORDENADO

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

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

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

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

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

CAP ITULO 1. NUMEROS COMPLEJOS

Por lo tanto, en el caso de presentarse esta notacin, es sencillamente un grave error. o

Estructuracin de C como estructura vectorial o

(R + ) Cuerpo de los Reales ((x y) , (x y )) P : CC ((x y) , (x y )) CC C (x + x , y + y )

1.6. ESTRUCTURACION DE C COMO ESTRUCTURA DE ESPACIO METRICO

Estructuracin de C como estructura de espacio mtrio e co

Propiedades generales de la funcin distancia en C o

CAP ITULO 1. NUMEROS COMPLEJOS

R d(z + z , e) d(z z , e) d(z e) + d(z e) d(z e) + d(z e)

|d(z e) d(z e)| |d(z e) d(z e)|

Notacin para la funcin distancia sobre C o o

1.6. ESTRUCTURACION DE C COMO ESTRUCTURA DE ESPACIO METRICO

CAP ITULO 1. NUMEROS COMPLEJOS

Estructuracin de C como espacio normado o

Forma binmica de los complejos o

1.8. FORMA BINOMICA DE LOS COMPLEJOS

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 L: R+ R

Ejemplo: La funcin logaritmo natural o

(x (x, 0)) pr1

CAP ITULO 1. NUMEROS COMPLEJOS

(x, 0) = (x , 0) Enseguida se ver como la aplicacin pr1 establece el isomorsmo. a o x (x, 0)

Forma binmica de los nmeros complejos o u

1.8. FORMA BINOMICA DE LOS COMPLEJOS

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

CAP ITULO 1. NUMEROS COMPLEJOS

Representacin geomtrica de los complejos o e

1.10. FORMA POLAR DE UN NUMERO COMPLEJO. PROPIEDADES

Figura 1.1: Representacin del complejo (x y) en el plano cartesiano. o

Forma Polar de un N mero Complejo. Propiedades u

Forma Polar de un Nmero Complejo u

CAP ITULO 1. NUMEROS COMPLEJOS

Figura 1.2: Representacin del complejo z en coordenadas polares. o

r := |z| = d(z e) r := mdulo de z o

Arg(z) := Determinacin principal del argumento de z o valor principal. o

1.10. FORMA POLAR DE UN NUMERO COMPLEJO. PROPIEDADES

En resumen, la transformacin biyectiva o f: C C

Igualdad en forma polar. Congruencia

A partir de la igualdad entre pares ordenados se obtiene: (r ) = (r ) r=r =

CAP ITULO 1. NUMEROS COMPLEJOS

Producto en forma polar. Cociente

1.10. FORMA POLAR DE UN NUMERO COMPLEJO. PROPIEDADES

Potencia en forma polar. Radicacin o

Interpretacin geomtrica de las operaciones complejas o e

CAP ITULO 1. NUMEROS COMPLEJOS