VC 01

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.011
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 9 10 10 11 13 14 14 15 16 17 18 18 19 20 22 23 23 26 26 27 28 29 30 30 32 32 35 35 36 36 37 39 40 42 43 44
INDICE GENERAL
2.9.1. 2.9.2. 2.9.3. 2.9.4.
Concepto de punto innito en C Conjunto Complejo Extendido . Esfera de Riemann . . . . . . . . Diversas acepciones de innito
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44 47 47 49 51 51 51 53 53 54 56 56 58 59 59 61 63 63 64 65 65 66 68 69 69 70 70 70 71 72 72 72 72 73 73 75 75 76 78 80 80 82 82 82 84 87 94 95 95
3. 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 . . . . . . . . . . . . . . .
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 o o o 4.8. Holomorf en el innito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 4.9. Representacin conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 4.9.1. Angulo entre caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . punto . . . . . . . . . . . .
INDICE GENERAL
4.9.2. 4.9.3. 4.9.4. 4.9.5. 4.9.6. 4.9.7. 4.9.8.
Transformacin de caminos . . . . . . . . . . o Transformacin de vectores tangentes . . . . o Aplicacin conforme . . . . . . . . . . . . . . o Transformacin de reas e integrales dobles . o a Los problemas de la representacin conforme o La inversin . . . . . . . . . . . . . . . . . . . o La funcin homogrca . . . . . . . . . . . . o a
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
96 98 99 104 105 106 107
INDICE GENERAL
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 24 28 28 29 29 33 35 36 37 38 41 42 44 46 48 48 48 52 53 57 57 61 65 65 67 68 69 70 70 71 72 72 73 73 73
2.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 coordenadas. o a 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
INDICE DE FIGURAS
4.1. Incremento de z a travs de un camino . . . . . . . . . . . . . . . . . . . . . . . . . . . . e 4.2. Dominio restringido de una funcin de variable compleja. . . . . . . . . . . . . . . . . . . o 4.3. Incremento de una funcin a travs de caminos rectos paralelos a los ejes. . . . . . . . . . o e 4.4. Trayectorias ortogonales de un par de funciones conjugadas armnicas . . . . . . . . . . . o 4.5. Integracin a travs de un camino poligonal. . . . . . . . . . . . . . . . . . . . . . . . . . . o e 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 ngulo entre dos caminos mediante una aplicacin conforme f . . . . . . o a o 4.12. Transformacin de ngulos para aplicaciones con distintos valores de K. . . . . . . . . . . o a 4.13. L neas de campo y equipotenciales para un problema inverso de representacin conforme. o 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
75 77 79 87 89 90 94 95 96 97 100 102 105 106 106 107
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 componente u del n mero complejo. u Asimismo, al n mero real y (segunda componente del par ordenado) se lo llama parte imaginaria o u 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 complejo o u (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. En el caso particular de R2 , adems de las estructuras mencionadas, se agrega la estructuracin en a o 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 , se establece o a tambin la multiplicacin, condicin que le permite alcanzar la estructura de cuerpo abeliano. e o o
10
CAP ITULO 1. NUMEROS COMPLEJOS
1.2.
Igualdad de n meros complejos u
La igualdad de los n meros complejos es una consecuencia de la igualdad denida entre conjuntos, y u 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 reales u o a 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 reales. o u El conjunto de los n meros complejos C se estructura en cuerpo abeliano con respecto a las leyes de u composicin interna suma de n meros complejos T y producto de n meros complejos P . o u u T : C C C ((x y), (x y )) (x + x , y + y ) = (C T P ) Cuerpo abeliano P : C C C ((xy) , (x y )) (xx yy , xy + yx ) La demostracin de esta aseveracin es inmediata. o o Algunos elementos destacables en el cuerpo C son: (0 , 0) (x , y) (1 , 0) y x , x2 + y 2 x2 + y 2 neutro de C respecto de T 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 u
:= (0 , 0) := (x , y) := (1 , 0) := x y , x2 + y 2 x2 + y 2
1.4. IMPOSIBILIDAD DE ESTRUCTURAR C COMO CUERPO ORDENADO
11
1.4.
Imposibilidad de estructurar C como cuerpo ordenado
El conjunto C no puede ser estructurado como cuerpo ordenado. Ello 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 relacin de e o orden sobre E, pueden expresarse de la siguiente manera: Reexividad x E (x x) RO (x y) RO x=y Antisimetr a (y x) RO RO Relacin de orden amplio := o (x y) RO (x z) RO Transitividad (y z) RO 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, resulta o a 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 texto o 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 ser o ordenado.
12
El esquema de prueba se basa en que para dos n meros complejos, (0 0) (neutro de T ) y el (0 1) (ms u a adelante llamado unidad imaginaria), no puede establecerse ninguna relacin de orden que satisfaga las o condiciones anteriores. (C, T, P ) Cuerpo abeliano = RO sobre C : (C, T, P ) Cuerpo ordenado 1. Orden total {(0 0) , (s 1))} ((0 0) , (0 1)) RO o ((0 1) , (0 0)) RO Suponiendo la primera de las dos posibilidades: 2. ((0 0) (0 1)) RO ((0 0) (0 1)) RO ((0 0) (0 1)) RO ((0 0) (1 , 0)) RO ((0 0) (1 , 0)) RO ((1 0) (0 0)) RO (prop. falsa)
3. Compat. P
4. Compat. P
((0 0) (1 , 0)) RO ((0 0) (1 , 0)) RO ((0 0) (1 , 0)) RO (1 , 0) C ((0 0) (1 0)) RO ((1 0) (0 0)) RO
5. Compat. T
6. (4.), (5.) y antisim.
(0 0) = (0 1)
Como la primera posibilidad ha conducido a una proposicin o falsa, se prueba con la segunda: 7. ((0 1) (0 0)) RO ((0 1)(0 0)) RO ((0 0)(0 , 1)) RO ((0 0) (1 , 0)) RO Este resultado es el mismo obtenido en (3.). Si se sigue un procedimiento igual al ya realizado, se obtiene tambin: e 10. = (0 0) = (1 0) prop. falsa Se deben descartar entonces las dos posibilidades. De donde:
8. Compat. T
(0 , 1) C
9. Compat. P
((0 0)(0 , 1)) RO
((0 0)(0 , 1)) RO
1.5. ESTRUCTURACION DE C COMO ESTRUCTURA VECTORIAL
13
11. (1.), (6.) y (10.)
o RO Relacin de orden amplio RO Relacin de orden total o RO sobre C : RO Relacin de compatibilidad o con la suma y producto complejo
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 K, u respecto de las leyes de composicin interna T (suma de n meros complejos) y composicin externa P o u o 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 particular de o R .
n
Tiene particular inters tomar a la terna (R + ) como cuerpo K sobre el cual conforma C la estructura e vectorial. C = { (xy) : x R , y R} (R + ) Cuerpo de los Reales T : CC C = (C R + T P ) Estructura vectorial ((x y) , (x y )) (x + x , y + y ) P : CC C ((x y) , (x y )) (xx yy , xy + yx ) Observacin 1: Para no incurrir en confusiones de conceptos se debe tener presente siempre las diferencias o que existen entre las leyes: - Producto de n meros reales: u - Producto de n meros complejos: p u
14
- Producto de C sobre K: P Observacin 2: Para evitar interpretaciones errneas se hace notar que la convencin adoptada para la o o o 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.
Estructuracin de C como estructura de espacio mtrico o e
El conjunto C conforma una estructura de espacio mtrico, y en particular una estructura de espacio e eucl deo, al denirse la funcin distancia por la expresin pitagrica: o o o d: (z , z ) C C R (x x )2 + (y y )2 = d(z z )
d(z z ) := distancia de z a z Esta caracter stica es una consecuencia inmediata de que C = R2 , es decir un caso particular de Rn . 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 (E , d) y o n 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 algebraica a de cuerpo, y una estructura topolgica, siendo ambas las dos condiciones esenciales para poder denir los o conceptos que son fundamento del anlisis matemtico: la continuidad (la convergencia) y la diferencial. a a
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 eucl a o deos. Para facilitar su presentacin es conveniente usar los s o mbolos e := (0 0) respectivamente par el neutro de C respecto de la suma T , y el opuesto de z respecto de T . Tambin se e agregar el nuevo s a mbolo: z z := z T z z z := Diferencia entre los n meros complejos z y z u z := (x , y)
1.6. ESTRUCTURACION DE C COMO ESTRUCTURA DE ESPACIO METRICO
15
El detalle de las propiedades mencionadas es: I. d(z e) = 0 z = e II. z z = w w = d(z z ) = d(w w ) III. d(z + z , z) = d(z e) IV. d(z z , e) = d(z z ) V. d(z z , e) = d(z z , e) VI. d(z , z ) = ||d(z z ) VII. d(z e) d(z e) VIII. d(z e) d(z e) IX. |Re(z)| |Im(z)| C. d(z, e) d(z, e) |d(z e) d(z e)| |d(z e) d(z e)| d(z + z , e) d(z z , e) d(z e) + d(z e) d(z e) + d(z e) R
Es buen ejercicio demostrar estas frmulas en forma directa a partir de la denicin de distancia sobre o o
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 cualquier o o 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 denoo minacin 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 por el o hecho de que ayuda a recordar todas las propiedades del prrafo anterior asimilndolas a las anlogas de a a a la funcin valor absoluto en el campo real. 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
16
II. z z = w w = |z z | = |w w | III. |(z + z ) z| = |z | IV. |(z z ) e| = |z z | V. |z z | = |z z| VI. |z z | = |||z z | VII. |z| |z | VIII. |z| |z | IX. |Re(z)| |Im(z)| ||z| |z || ||z| |z || |z| |z| |z + z | |z z | |z| + |z | |z| + |z |
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 valor o 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 ambas no o o 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 muy importante o e que desempe a en todo el lgebra y anlisis complejo. n a a Basta para ello mencionar que su empleo permite:
1.7. ESTRUCTURACION DE C COMO ESPACIO NORMADO
17
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 multiplicacin, e a o divisin, potencia, radicacin y logaritmacin. 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 sobre los o o o 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 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 )(x2 + y 2 ) = |z|2 |z |2
= x2 x2 + y 2 y 2 + x2 y 2 + y 2 x2
1.7.
Estructuracin de C como espacio normado o
Se llama espacio normado a todo espacio vectorial provisto de una aplicacin sobre los reales no o 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 mdulo a o o de z es efectivamente una norma. ||: C R = (E K + T P ) Estr. de espacio normado
(x y)
x2 + y 2
18
En todo espacio normado, la funcin distancia d(zz ) = N (z z ) lo estructura como espacio mtrico. o 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 entre las o estructuras (E T ) y (E T ), donde T y T son leyes de composicin interna denidas respectivamente o 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 aplicacin o o o sobre E de la composicin interna T de dichos elementos de E, es decir: o f (a T b) = f (a) T f (b)
En resumen: E = {abc . . . } T : E E E E = {a b c . . . } ((E T ) (E T ) f ) Estructuras isomorfas := T : E E E f : E E f biyectiva a a : a T b a T b R+ R
Ejemplo: La funcin logaritmo natural o L:
x L(x)
establece un isomorsmo entre las estructuras (R+ ) y (R +).
1.8. FORMA BINOMICA DE LOS COMPLEJOS
19
1.8.2.
Generalizando, una funcin f puede establecer un isomorsmo entre las estructuras (E T P ) y (E T P ) o 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
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
Teorema 1.8.1.
establece un isomorsmo entre las estructuras (C1 T P ) y (R + ). C1 = {(x, 0)} (x (x, 0)) pr1 x (x, 0) x = x x = x 0=0 = ((R + ) (C1 T P ) pr1 ) Estructuras isomorfas
Demostracin. Se demuestra en primer lugar que la relacin pr1 es una aplicacin biyectiva. o o o
(x, 0) = (x , 0) Enseguida se ver como la aplicacin pr1 establece el isomorsmo. a o y (y, 0) x + y (x, 0) T (y, 0) = (x + y, 0) x y (x, 0) P (y, 0) = (x y, 0) x (x, 0)
20
Observacin 1: El par (x, 0) no es un n mero real a pesar de que es frecuente denominarlo as en un o u , 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 comu ponente 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 lgebra de los n meros reales. a u En efecto, deniendo al conjunto de los nuevos entes x + iy, B := {x + iy : x R , y R} 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 sobre o el conjunto B, denidas en forma conveniente de acuerdo al lgebra de los n meros reales. a u i := Unidad imaginaria
1.8. FORMA BINOMICA DE LOS COMPLEJOS
21
Las deniciones de estas leyes se hallan en el enunciado del teorema siguiente, y merece se alarse unican mente que es necesario convenir que: i2 := 1 Observacin 1: Debe tenerse sumo cuidado de no entrar en confusiones con las dos deniciones hechas de o 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, el o 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 +: B B B ((x + iy), (x + iy )) (x + x ) + i(y + y )
B B B ((x + iy), (x + iy ))
xx + ixy + iyx + yy i2 =
i i 1 f: C B (x y) x + iy
(xx yy ) + i(xy + yx )
= ((B + ) (C T P ) f ) Estr. isomorfas
La demostracin de este isomorsmo surge directamente de la denicin de las leyes de composicin o o o interna denidas sobre B. La denominacin de forma binmica del n mero complejo es justicada con claridad por el isomorsmo o o u demostrado.
22
Se remarca que la importancia de este resultado reside en que la forma binmica permite operar con o los n meros complejos como simples n meros reales, con la condicin de sustituir en la multiplicacin a u u o o i2 por 1. 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 operar o 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 partir de ahora o a 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 de una u recta, tampoco existe ninguna diferencia entre el n mero complejo (x y) y el punto (x y) del plano R R. u Se comprende que a partir de este razonamiento, no puede hacerse ninguna distincin entre el lgeo a bray la geometr a. La representacin geomtrica de un n mero complejo es sencillamente otra forma de simbolizarlos, es o e u decir, otra forma de escribirlos o representarlos. Sin embargo, histricamente ha sido, y todav es, un modelo muy conveniente para estudiar e intero a pretar 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 plano o a 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 n mero o a u complejo y punto del plano son sinnimos. o Tambin son equivalentes los trminos RR y plano, primera componente y abscisa, segunda componente e e 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 , el o complejo (x 0) es representado por puntos del eje imaginario.
1.10. FORMA POLAR DE UN NUMERO COMPLEJO. PROPIEDADES
23
y (0 y) (x y)
(0 0) x
(x 0) x
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 evidentemente o o o 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 vrtice o e en el punto (x y). La representacin polar permitir estudiar en detalle este nuevo enfoque. o a Esta simple observacin destaca como la representacin geomtrica ayuda a estudiar las propiedades del o o e n mero complejo. En este caso, la relacin entre el conjunto C y los espacios vectoriales como segmentos u o 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, la o 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 par o e (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
24
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 z o estudiado en 1.6.3.
y z r x y
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 ngulo entre el segmento o z y el eje a 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 lo o e 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, debe o
25
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 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 (que por u o o o 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 : (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 del o a o 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 logaritmos e a y potencias complejas. C C
(0 , ) 1
26
1.10.2.
Igualdad en forma polar. Congruencia
A partir de la igualdad entre pares ordenados se obtiene: (r ) = (r ) r = r =
Es decir, la igualdad de dos n meros complejos es condicin necesaria y suciente de la igualdad de sus u o 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 o del argumento, cuando son correspondientes de un mismo punto del plano complejo. Esto signica: (r ) (r ) (r ) := r(cos + i sen ) = r (cos + i sen ) (r ) := (r ) es congruente con (r )
La congruencia para z = (0 0) se reduce a la igualdad slo en el caso de la igualdad de los argumentos. o Es decir que dos complejos expresados en forma polar con mdulo no nulo (z = (0 0)) son congruentes, o 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 complejos; o e o 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. En o 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 planos a cartesianos (uno para cada determinacin) que geomtricamente se tienen por superpuestos. Estos planos o e 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 complejo: o r(cos + i sen ) r (cos + i sen ) = r r ((cos cos sen sen ) + i(cos sen + cos sen )) = r r (cos( + ) + i sen( + )) donde se comprueba que: I. El mdulo del producto es igual al producto de los mdulos, teorema ya demostrado en o o 1.6.3 II. Una de las determinaciones del argumento del producto es igual a la suma de los argumentos de los factores
27
Aqu la suma de los argumentos puede cambiar la determinacin elegida, pero no afecta los resultados , o en cartesianas. esto es un ejemplo de la ventaja de la creacin de articios como los mencionados en la o Observacin 3 de este apartado. o En rigor, si se deseara mantener la determinacin principal para el argumento del producto, se debe o convenir: + > + + > Arg(z z ) = + + + + La forma polar tambin es de sencilla aplicacin para la obtencin del cociente de dos complejos, con e o o 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
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 completa, o o 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 1 z La frmula de la potencia se puede emplear tambin para la extraccin de la ra ensima de un o e o z e complejo no nulo. En efecto, si un complejo r (cos + i sen ) es ra ensima de otro complejo r(cos + i sen ), estos z e satisfacen: z 1 := (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, + 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 para o o e exponentes fraccionarios. (r(cos + i sen ))1/n = r1/n (cos
28
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 represena tada 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 claramente o su caracter stica de estructura vectorial. El signicado geomtrico de la diferencia de dos complejos es fcil de interpretar a partir de la suma. e a 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 de un e complejo.
y z
z z+z y z y x x x

z z z x
Figura 1.3: Representacin o geomtrica de la suma de dos e complejos.
Figura 1.4: Representacin o geomtrica de la diferencia 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.
1.11. FORMA EXPONENCIAL DE UN NUMERO COMPLEJO
29
y z z 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 para o a o 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 la z circunferencia en forma sucesiva con intervalos 2/n.
+2k n
En la gura 1.6 se han representado a t tulo de ejemplo las ra quintas de un complejo (r ) ces
z1 (r ) z0 r z2 2/5 2/5 /5 x r 1/n z4 z3 Figura 1.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 debido a o 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 de a la forma exponencial. Otra aplicacin para destacar es la denicin del logaritmo y de la potencia en el o o campo complejo, que se hace por medio de dicha forma exponencial.
30
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 continuacin. o o o 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 funcin o o o compleja ez 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
zk z z2 zn =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

que es la propiedad fundamental de la funcin ez , llamada ley de los exponentes, que tambin es cumplida o e en el campo real por la funcin ex . o Ambas propiedades muestran como con esta denicin de ez se obtiene un extensin de la funcin o o o real ex al campo complejo, mantenindose sus principales propiedades. 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 justica por o o o la gran simplicidad que implica su empleo en el producto complejo; donde se reduce dicha operacin al o a lgebra de los exponentes: r(cos + i sen ) r (cos + i sen ) = r ei r ei

= r r ei(+ ) = r r (cos( + ) + i sen( + ))
1.11. FORMA EXPONENCIAL DE UN NUMERO COMPLEJO
31
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) de la o 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 denicin o o de tipo formal como la que sigue: ez := ex (cos y + i sen y) Las propiedades principales de ez deducidas anteriormente tambin se obtienen como corolario de esta e 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 complejo de e o o o 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 complejo. o el problema se reduce a la denicin de la exponencial eiy (frmula de Euler) por ser: o o ex+iy = ex eiy 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
32
Como para y = 0 ez se reduce a ex , y aplicando la ley de los exponentes ex+i0 = ex ei 0 = 1 de donde se deducen las siguientes condiciones iniciales, u(0) = 1 v(0) = 0 u (0) = 0 v (0) = 1
que aseguran al sistema de ecuaciones anterior a una 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 de la o o o 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( ) ei r r (r ei )n = rn ei n 1 1 +2k n
(r = 0) )
(r ei ) n = r n ei(
frmulas que se verican fcilmente por su reduccin a la forma polar y que son ejemplo de la facilidad o a o 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 z, de u u igual parte real y parte imaginaria opuesta. z := (x, y) z := Conjugado de z 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
1.12. CONJUGADO DE UN COMPLEJO
33
II. z1 z2 = z1 z2
con lo cual establece un isomorsmo entre el cuerpo (C + ) y s mismo. Otras propiedades para destacar del conjugado de un complejo son:
III. z = z IV. z + z = 2x V. z z = i 2x VI. z z = |z|2 VII.

z z
z z |z|2 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 lo o 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 coecientes o o 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 en las a o operaciones de producto y cociente de acuerdo a las propiedades VI y VII.
34
Cap tulo 2
Elementos de Topolog en el Campo a Complejo

Como ha sido desarrollado en el prrafo 1.6, el conjunto de los complejos C conforma estructura de a espacio mtrico. e Ms en particular, es un espacio eucl a deo; al denirse sobre l una distancia de acuerdo con la expresin e o pitagrica que caracteriza dichos espacios. o De este hecho se arrastra entonces que en C puede construirse una estructura topolgica, que acoplada o 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 campo o a a 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), a:
r
B(c r) := {x : d(x c) < r
r > 0}
B(c r) := Bola de centro c y radio r d(x c) := Distancia del elemento x al elemento c En particular, en el campo complejo B(c r) = {z : |z c| < r , r > 0}
B(c r)
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 indispensable o n o e que las desigualdades sean estrictas (r > 0 y d(x c) < r), porque en caso contrario carecer de sentido an las deniciones posteriores de puntos interiores, exteriores y fronteras, como as tambin las deniciones e de puntos de acumulacin y aislados, con todas las consecuencias resultantes. o
35
36
CAP ITULO 2. ELEMENTOS DE TOPOLOG EN EL CAMPO COMPLEJO IA
De la denicin de bola se implica inmediatamente que su centro siempre le pertenece y por lo tanto o ella es un conjunto no vac o. B(c r) = c B(c r)
= B(c r) =
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 contenga e una bola de centro c.
r c
U (c) Entorno de c := B(c r) : B(c r) U (c)

U (c)
Figura 2.2: Entorno de un punto c.
De esta 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 de una o 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 particular e e C), a todo entorno de c al cual se le excluye el mismo punto c.
2.4. CLASIFICACION DE PUNTOS: INTERIORES, EXTERIORES Y FRONTERA
37
r c
V (c) := U (c)
C {c}
V (c) := Vecinal de c
V (c)
C {c} := Conjunto complementario de {c}
Figura 2.3: Vecinal de un punto c.
Observacin 1: Es usual representar a A o
C {c}, por la notacin de conjuntos o A B := A C {c}
con ella la notacin de vecinal se expresar o a: V (c) = U (c) {c} Observacin 2: Se ha preferido el empleo del trmino vecinal (del francs voisinage), en vez del ms o e e a com n entorno reducido, porque este ultimo puede inducir a error. 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 serlo o os,
2.4.
Clasicacin de puntos: Interiores, exteriores y frontera o
Los puntos de un espacio mtrico E pueden ser clasicados como: puntos interiores, puntos exteriores e o puntos frontera de un conjunto A (incluido en E) seg n la relacin de inclusin que puede establecerse u o o 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 punto que e 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 quiere decir que u
38
en todo entorno de un punto frontera, hay puntos del conjunto y puntos del complemento del conjunto.
(E d) Estr. Espacio Mtrico e AE a Punto interior de A a Punto exterior de A := := U (a) : U (a) A U (a) : U (a) C A U (a) : U (a) A U (a) C A
a Punto frontera de A :=
En el esquema adjunto se han representado ejemplos de los distintos tipos de puntos en el plano complejo. 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. frontera
Pt. interior
Pt. exterior
Figura 2.4: Clasicacin de puntos en un espacio mtrio e co.
Observacin 1: La nocin de interior establecida a travs de la denicin de punto interior, es relativa al o o e o 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, pero no es un e 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 cual es o 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,
2.5. ADHERENCIA
39
Interior, Exterior y Frontera del conjunto A. EXT (A) := {a : a Pt. exterior a A} F R(A) := {a : a Pt. frontera a A} IN T (A) := Conjunto de puntos interiores a A EXT (A) := Conjunto de puntos exteriores a A F R(A) := Conjunto de puntos frontera a A Estos tres conjuntos son una 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 IN T (A) := {a : a Pt. interior a A}
De esta manera se comprueba que la clasicacin de puntos de un espacio mtrico en interiores, exteriores o e y frontera, es exhaustiva. Las propiedades resultantes de las anteriores deniciones son: I. II. III. IV. IN T (A) A (a Pt. int. A = a A) EXT (A) = IN T (C A) EXT (A) C A A aA V. VI. C (IN T (A)) = F R(A) = a Pt. fr. A
a Pt. int. A / F R(E) = F R() =
F R(A) = F R(C A)
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 AE a Punto de adherencia de A := U (a) = U (a) A=
Al conjunto de los puntos de adherencia de un conjunto A se lo llama Adherencia de A. ADH(A) := {a : a Pt. de adherencia de A} ADH(A) := Conjunto de los puntos de adherencia de A
40
Algunas propiedades que se pueden extraer de las 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)
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 o puntos aislados. 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 adherencia) o e se caracteriza porque se realiza de acuerdo a la relacin de inclusin que puede establecerse entre los o o 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 vecinal o o suyo con el conjunto A no es vac Es decir, en todo vecinal del punto de acumulacin hay puntos a. o 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 punto o a. u 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 =
2.6. CLASIFICACION DE PUNTOS DE ADHERENCIA
41
Observacin 1: La nocin de punto de acumulacin o o o nos es relativa al espacio dentro del cual se dene (comparar con Observacin 1 del punto 2.4) o 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 ahora crear o dos nuevos conjuntos:
Pt. aislado
Pt. acumulacin o 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 o e tambin clausura de A. e Las propiedades que se desprenden de las deniciones son: I. II. III. IV. V. VI. VII. VIII. IX. X. XI. XII. IN T (A) ACU M (A) EXT (A) ACU M (C A) EXT (A) ACU M (A) = ACU M (A) ADH(A) AISL(A) F R(A) AISL(A) ADH(A) ACU M (A) ACU M (A) AISL(A) = AISL(A) = ADH(A)
ACU M (E) = E ACU M () = AISL(E) = AISL() =
Las propiedades VII a VIII aseguran que los conjuntos ACU M (A) y AISL(A) son una particin del o 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 es o o exhaustiva. Adems de esto, no debe olvidarse que los puntos de adherencia se pueden dividir en interiores a y frontera.
42
2.7.
Conjuntos abiertos y conjuntos cerrados
La condicin de abierto y/o cerrado de un conjunto denido en un espacio mtrico, se introduce para o e establecer una caracter stica de su frontera. En el primer caso, ning n punto de la frontera pertenece al u 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 Cr := A es un conjunto cerrado A Ab := A es un conjunto abierto
A Ab := F R(A) A =
Observacin 1: Esta clasicacin no es exhaustiva, ni o o 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
Abierto
Cerrado
A Cr /
A Ab
No abierto y no cerrado Figura 2.6: Clasicacin de conjuntos segn contengan o u o no a sus fronteras.
Basta analizar para ello que si la frontera est compuesta por puntos del conjunto y por puntos del a complemento, no es ni abierto ni cerrado el conjunto en cuestin. o En la gura 2.6 se muestra un ejemplo de conjunto abierto, otro cerrado y un tercero que no es ni lo uno ni lo otro. Por otro lado, existen conjuntos que son abiertos y cerrados 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 de o e acuerdo con la Observacin 1 realizada en 2.4 la nocin de interior es relativa al espacio de referencia E. o o Por ejemplo, en una extensin del espacio E, un punto interior se puede transformar en frontera, seg n o u el caso mencionado en 2.4. Observacin 3: La terminolog usada por los textos en toda esta temtica es todav muy diversicada. o a a a En cada caso se aconseja precisarla para evitar confusiones. Un sinnimo de conjunto cerrado es conjunto o completo.
2.8. CONJUNTO ACOTADO Y CONJUNTO COMPACTO
43
Algunos teoremas que el lector puede demostrar como ejercicio son: A Ab A = IN T (A)
F R(A) C A
A Cr A = ADH(A)
A = ACU M (A) F R(A) A = A B Ab = A B Ab = A B Cr = A B Cr
A Ab B Ab A Cr
B Cr
A Ab C A Cr Es interesante ver tambin como se caracterizan, de acuerdo con las deniciones de conjunto abierto e y cerrado, algunos de los conjuntos creados en los prrafos precedentes a B(c r) Ab
IN T (A) Ab EXT (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 la razn o e o por la cual tambin suele designarse como bola abierta. e
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, que lo e contenga. 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
44
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
Este teorema no es cierto para los conjuntos no acotados y tampoco para los conjuntos que no son cerrados. En los conjuntos compactos se pueden generalizar los teoremas de funciones continuas de una variable real 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.
2.9.
2.9.1.
Innito en el Campo Complejo

Concepto de punto innito en C
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 e la extensin de otros conceptos de variable compleja. o
r |z| > r
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.
2.9. INFINITO EN EL CAMPO COMPLEJO
45
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.8 se han representado dos ejemplos de la transformacin que produce la inversin. o 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
46
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
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 de la a o variable al entorno de 0. Desde el punto de los espacios mtricos, la idea anterior signica una extensin de los conceptos de e o bola y de entorno para el campo complejo. El planteo anal tico es:
47
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 punto o a innito, siempre en el conjunto C {}. Cabe se alar, sin embargo, que V () est compuesto totalmente por puntos de C y por ende es n a 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 modos, an e estas deniciones son de relativa ecacia porque el conjunto C no alcanza ni la estructura de espacio vectorial ni la estructura de cuerpo.
2.9.3.
Esfera de Riemann
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 y una esfera e tangente a l, llamada esfera de Riemann. e La equivalencia se establece en lo siguientes trminos: e
48
Si se proyectan, con centro en N , los puntos de la esfera sobre el plano, se dene una aplicacin biyectiva o entre los puntos de la esfera (exceptuando el punto N ) y los puntos del plano. f : Esf {N } C Z z
x z Figura 2.9: Esfera de Riemann.
Esta aplicacin puede extenderse tambin a N si se dene un nuevo elemento arbitrario que le correso e ponde, 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 entre e e e 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 z) de o la esfera de Riemann.
N y
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 circunfeo a rencia 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 un a entorno del punto innito a travs de la equivalencia plano complejo - esfera de Riemann. e En la gura 2.11 se muestra como un casquete esfrico con centro en el punto N (bola del espacio e mtrico constituido por la esfera) se transforma en una bola del plano complejo con centro en el punto e innito.
49
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 se la o o a o 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 lenguaje a 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 estar o 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 extremo a 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 los a 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 (+) = (+) x = +
x () = () x = x<0 x (+) = (+) x = x () = () x = +
Quedan sin denir entre otros + + () y 0 (+).
Esta interpretacin de innitotiene un paralelo con la vista en 2.9.2 pero son concepciones diso tintas. Basta ver para ello que para pasar del C al C se crea un solo elemento, el innito complejo, mientras que en el caso de extender R a R se crean dos: ms innito y menos innito. a se alcanza la estructura de cuerpo. Tampoco en el caso de R
50
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, y es e a e 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 subconjuntos o o de C. La notacin habitual para este tipo de funciones es z = (x y) para representar a un elemento de D y o w = (u v) para un elemento de R. D C R C f func. var. compleja := f : D R z = (x y) w = (u v) = f (z)
Se desprende de la denicin que u y v, partes real e imaginaria de w, son sendas funciones reales de o 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 trmino o e e funcin compleja. o
3.2.
Interpretacin geomtrica o e
El anlisis geomtrico de las funciones de variable compleja requiere de cuatro dimensiones: dos para a e 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 (llamado o o |z ) y los elementos del rango sobre otro plano (llamado |w ).
51
52
CAP ITULO 3. FUNCIONES DE VARIABLE COMPLEJA. CONTINUIDAD Y L IMITE
f (z) A z w x A
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 un o o punto z del plano |z y un punto w del plano |w . Una forma de caracterizar geomtricamente a las funciones de variable compleja es a travs de la e e representacin de las transformaciones que produce a curvas y conjuntos en general, de un plano a otro. o 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 al eje o 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 , respectivamente, o 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 2 z 1 v = 2ky yR u = x2 k 2 z2 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
k=0 k=0
La funcin z 2 transforma rectngulos del plano |z en rectngulos de lados parablicos en el plano |w. o a a o Se mantienen los ngulos salvo en el caso cuando z = 0. a
3.3. FUNCIONES DE VARIABLE COMPLEJA. CARACTER ISTICAS Y EJEMPLOS
53
Este hecho no es casual, es una propiedad general de ciertas funciones complejas que se estudiarn en a los prximos cap o tulos. El lector puede vericar que las familias 1 y 2 son ortogonales entre s .
y z
A A
1
1
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
54
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 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 del o o 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 slo o a a o para aquellos complejos que no anulan el denominador. 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
3.3. FUNCIONES DE VARIABLE COMPLEJA. CARACTER ISTICAS Y EJEMPLOS
55
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 Funciones trigonomtricas e A partir de la funcin exponencial pueden extenderse al campo complejo las funciones trigonomtricas o e reales: 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 partir de a e 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.
56
Funciones hiperblicas o Como extensin de las funciones homnimas reales se dene en el plano complejo a las funciones seno o o 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 trigonomtricas a e y exponencial.
3.4.
3.4.1.
Continuidad
Denicin o
Para dotar de rigor al tratamiento del clculo integral, diferencial, sucesiones, series, etc. es necesario a precisar la nocin de continuidad. o Esta, es una de las ideas ms importantes y fascinantes del anlisis matemtico, que ha abierto la a a a necesidad y el camino para nuevos cursos de estudio y creacin, entre ellos por ejemplo los espacios o mtricos y los espacios topolgicos en general. e o Para introducirse en la concepcin de la nocin de continuidad es ms sencillo pasar por el signicado o o a de su opuesto lgico: la falta de continuidad. 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
3.4. CONTINUIDAD
57
D
U(f (a)) f (a) U(a)
U(f (a))
f (a)
a U(a)
Imagen de U (a) Figura 3.4: Funcin de una variable compleja discontio nua en 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 tiene o en el lenguaje corriente un signicado relativo al contexto de referencia. Lo que puede ser prximo en un o caso, puede no serlo en otro. La nocin de distancia con la consiguiente denicin de entorno es la que permite dotar de rigor a las o o 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), U (f (a)), no e puede encontrarse ning n entorno de a, U (a), de modo tal que todos los elementos de U (a) D, tengan u 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)) La funcin f no es continua en a o
En el grco anterior se han representado dos ejemplos de discontinuidad, uno para una funcin de a o variable real, y otro para una funcin de variable compleja. Sobre el rango de cada una de las aplicaciones o se ha coloreado la imagen de U (a), que como se observa no est incluida en U (f (a)). a El opuesto lgico de esta denicin nos asegura que no hay salto, es decir que la funcin es continua. o o o La denicin es vlida para cualquier funcin f entre dos espacios mtricos o subconjuntos de dichos o a o e espacios mtricos. Se incluye como caso particular, por supuesto, a los casos de funciones reales de una e o varias variables y a las funciones complejas. f: D R : DE R E
X f (X) f C/a :=
U (f (a)) , U (a) : X U (a) D = f (X) U (f (a))
58
Observacin 1: Debe observarse que en la denicin no se exige ninguna condicin especial al punto a, o o o 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 que para o o o 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 continuidad, o o y tambin por ello desde el punto de vista pedaggico se puede explicar y entender mejor dicho e o 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 reducir o 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 sobre o 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
3.5. L IMITE
59
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 dominio de o o una funcin f (pertenezcan o no a l), cuando existe un elemento L del espacio E (donde se aplica f ), o e 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 funcin e a o fuera en l continua. Por supuesto esto no siempre es posible y en ese caso se dice que no existe el l e mite. La terminolog usada para expresar la existencia de tal nmero L es: f (X) tiende a L cuando X a u 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 R E
a Pt. acumulacin de D o f (X) L := U (L) , V (a) : X V (a) D = f (X) U (L)

Xa
X f (X)
f (X) L := f tiende a L cuando X tiende a a.

Xa
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 valor f (a). o 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 simplemente su o o vericacin. El llamado clculo de l o a mitesse reduce a la aplicacin de teoremas que ligan l o mites de funciones conocidas y tabuladas. La denicin de vecinal de innito en el plano complejo permite la extensin de la denicin de l o o o 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
60
entorno a bolas del plano, resulta: f (z) L := > 0 , > 0 : z {0 < |z a| < } D = |f (z) L| <
za
f (z) L := > 0 , r : z {|z| > r} D = |f (z) L| <

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

za
La 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 de D, o o es condicin necesaria y suciente que exista lmite de la funcin para X tendiendo a a, que exista f (a) o o y tambin que el lmite sea igual al valor de la funcin f (a). e o H1 f (X) L Xa a Pt. acum D H2 f : a f (a) f C/a H3 L = f (a) f C/a = Eligiendo V (a) V (a) = U (a) {a} Resulta entonces: U (f (a)) , V (a) : X V (a) D = f (X) U ((f (a))) Aplicando la 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} a f (a) U (f (a)) , U (a) : X U (a) D = f (X) U (f (a))
Demostracin. En primer lugar se encara la condicin necesaria o o
a ACU M (D) = V (a) D =
3.5. L IMITE
61
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 est impl o o a cito en la denicin de l o mite. H1 = a Pt. acumulacin de D o
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 conjuntos. e Esto tambin signica que si dos conjuntos tienen leyes de composicin formalmente iguales, las proe o piedades 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 compuesta o es igual a la composicin de los l o mites. En cuanto a la continuidad, la composicin de dos funciones o continuas es continua, como lo expresa el siguiente teorema: Teorema 3.5.2. f: g: D R D R : R D
f C/a g C/f (a)
= g f C/a
R f D
X a U(a) f (a) U(f (a))
R D
Y = f (X)
g
g(Y ) g(f (a)) U(g(f (a)))
Figura 3.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))
62
Eligiendo en la segunda expresin un U (f (a)) conveniente o U (g(f (a))) , U (a) : X 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 vectorial. o e f (X) F g(X) G f (X) F = = = f + g F + G f F f f
La prueba de estas propiedades de la suma y producto vectorial, es inmediata aplicando la denicin de o l mite y teniendo en cuenta que N ((f + g) (F + G)) N (f F ) + N (g G)
N (f F ) = || N (f F ) N (f f ) = | | N (f )
Todas las propiedades vistas hasta el momento pueden ser aplicadas a funciones complejas. 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 las 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 es o anlogo. a Un teorema relativo al l mite de la parte real e imaginaria de una funcin de variable compleja es: o Teorema 3.5.3. Una funcin de variable compleja tiende a un lmite si y slo si su parte real tiende a o o la parte real del lmite, como as tambin la parte imaginaria tiende a la parte imaginaria del lmite. e 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 l o o 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 negativos, u el primer miembro tambin est acotado arbitrariamente, y por lo tanto hay l e a mite.
3.6. CURVAS EN EL CAMPO COMPLEJO. CAMINOS Y LAZOS
63
Del mimo modo la condicin necesaria: o |Re(z)| |z| |Im(z)| |z|
de acuerdo con las propiedades de 1.6.2 |u U | |(u + i v) (U + i V )|
|v V |
|(u + i v) (U + i V )|
entonces por razonamiento anlogo al anterior existen los l a mites de la parte real e 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 imao o ginaria. u C/a v C/a u + i v C/a
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 tales o o 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 acoo tado (compacto) [a b] cuando salvo para un n mero nito de puntos es continua sobre dicho intervalo, u y adems en los puntos de discontinuidad existen los l a mites de la funcin por la derecha y por la izquierda. o No es necesario para esta denicin que la funcin tome valores en los puntos de discontinuidad. o o Simblicamente: o k < 0, n >
f CP
[a b]
:= f : I = [a, b] {ak } Rn :
f C I k , f (a+ ) = l f (x) m k
xak
x>ak
a = a0 < a1 < a2 < < an = b
f (a ) = l f (x) m k
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 de o o u intervalos [a0 , a1 ], [a1 , a2 ], . . . , [an1 , an ]
64
donde para cada uno de ellos se puede denir fk [ak , ak+1 ] Rn f (a+ ) k x f (x) f (a ) k
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 integrales u u denidas (las funciones fk son continuas sobre un compacto):
b n1 ak+1
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) [a b] o sobre el conjunto de los complejos C, con la condicin adicional de que la aplicacin tenga derivada o o continua por partes. Camino := : I = [a b] C a = b t x(t) + i y(t) : C [a b] CP [a b]
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 carace ter sticas: I. C c = 0
III. La trayectoria puede tener puntos m ltiples, es decir, para diferentes valores de t puede corresponu derle el mismo par (x y). Ejemplo el punto m.
C d / II. (d+ ) = puntos angulosos con dos tangentes (d )
65
(a) c = (t0 ) m
(b)
t0
Figura 3.6: Camino en el campo complejo.
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
(a) = (b)
(t0 )
t0
Figura 3.7: Lazo en el campo complejo.
3.6.4.
Curva
Se llama curva a la imagen de , (I). No deben confundirse los conceptos de camino y curva, pues entre ambos existe la misma diferencia que entre 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), corresa ponden un slo elemento de la curva (un slo elemento de (I)). o o
66
Ejemplo: Los tres caminos cf1 : [0 2] C [0 2] C [0 2] C
t cos t + i sen t = eit t e2it t i eit
cf2 :
cf2 :
tienen por imagen a una misma curva, la circunferencia de centro en el origen de coordenadas y radio 1, |z| = 1. Sin embargo son caminos diferentes, basta para ellos comparar:
origen extremo no de vueltas sentido giro longitud
cf1 (1; 0) (1; 0) 1 + 2
cf2 (1; 0) (1; 0) 2 + 2
cf3 0; 1 0; 1 1 2
Nota: Se ha designado con signo positivo al sentido de giro contrario al de las agujas del reloj y negativo al opuesto.
Observacin: La diferencia de las nociones de camino y curva es importante y debe ser tenida en cuenta en o el clculo de integrales complejas. Caminos diferentes con igual imagen pueden dar resultados diferentes. a
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, la e curva que representa al camino y a su opuesto es la misma, pero recorrida en sentido inverso.
67
Caminos yuxtapuestos Un camino es la yuxtaposicin de otros dos 1 y 2 cuando al extremo del primero es el origen del o 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 :
t (t) =
1 (t) 2 (t + c b)
t [a b]
t [b, b + d c]
1 2 := Camino yuxtaposicin de 1 y 2 o 2 (d)

1 (I1 )
1 (a) 1 (b) = 2 (c)

I1
| | | |
2 (I2 )
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) Un camino puede ser considerado como la yuxtaposicin de otros dos, obtenidos dividiendo el intervalo o de la siguiente manera: : [a b] C c : a < c < b = = 1 2 1 : [a c] C 2 : [c b] C
Eligiendo un punto c de este modo, se puede considerar un lazo tambin como yuxtaposicin de dos e o caminos, 1 2 . El camino 2 1 tambin es un lazo, pero de origen en el punto (c). e
68
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)
P (b)
a a0
|
I1 a1
|
I2 a2
|
b an
|
Figura 3.9: Camino poligonal.
La ultima condicin es la de yuxtaposicin, pues Sk (ak ) = Sk+1 (ak ). o o
69
3.6.7.
Camino simple. Lazo simple
Un tipo de camino particularmente importante es el que se llamar camino simple o arco de Jordan. a As se designa a todo camino determinado por una funcin inyectiva, esto signica geomtricamente o e 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.
Camino simple
Caminos no simples
Lazo simple
Lazos no simples
Figura 3.10: Ejemplos de caminos y lazos.
Anal ticamente: : I = [a b] C Camino simple := (t s) I I {(a b)} = ((t) = (a) t = a)
3.6.8.
Caminos equivalentes
Des caminos se dicen equivalentes cuando puede establecerse una biyeccin creciente entre los respeco tivos 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))
70
Un camino 2 :
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) 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.
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
3.8. HOMOTOP DE CAMINOS Y LAZOS IA
71
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)
2 (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
72
Observacin: Si D D puede no existir homotop o a en D, pero si en D . Tanto la homotop de caminos como la de lazos son a 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 lazo al o a 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 homotop a a a a un punto. En forma intuitiva, el conjunto simplemente conexo es aquel que no tiene agujeros. Una propiedad de estos conjuntos que puede ser empleada para 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
3.9. CLASIFICACION DE CONJUNTOS CONEXOS EN C
73
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
La denicin de conjuntos m ltiplemente conexos es el contrario lgico de la denicin de simplemente o u o o conexo. Esto quiere decir que tiene que haber ms de una clase de equivalencia de lazos homtopos. a 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 simple (arco o de Jordan) cuyos puntos deben ser todos interiores con excepcin de los extremos, que pueden no serlo. o En otras palabras, como D es abierto, los puntos no extremos del camino deben ser de D.
Figura 3.17: Ejemplos de cortadura.
Cortadura de D
:=
: [a b] C :
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 orden e de conexin. o La cantidad de clases de lazos homtopos est relao a cionada con el grado de multiplicidad.
Figura 3.18: Conjunto con grado de multiplicidad=3
74
En efecto, q = 2n q := Cantidad de clases de lazos homtopos o n := Grado de multiplicidad de conexin o Esta relacin puede usarse para denir el grado de multiplicidad sin introducir el concepto de cortao dura. 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) :=
z0
l m
f (a + z) f (a) z
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 o es derivable en el punto: 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 semea janza formal para extraer conclusiones sobre algunas propiedades de la derivada de las funciones de variable compleja, no debe caerse en un anlisis supera cial.
V (a) V (a) D
Figura 4.1: Incremento de z a travs de un e 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
75
76
CAP ITULO 4. DERIVACION EN EL CAMPO COMPLEJO
que tiene derivada nula en el origen seg n cualquier direccin, pero no por un camino parablico y = kx2 , u o o y entonces se asegura que no es derivable en modo complejo.
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, como se o verica en la funcin, o 3 2 2 x y +i x y z=0 4 + y2 4 + y2 x f : z f (z) = x 0 z=0
4.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 como la o o 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 reales, o o particularizando el ejemplo a dos dimensiones, es: u: D R
(x y) u(x y) : D C AR BR 1 0
z0 z0
u DIF/(a b)
:=
u = A x + B y + 1 x + 2 y :
2 0
u DIF/(a b)
:=
La funcin u es diferenciable en el punto (a b) o
4.2. DIFERENCIAL
77
Este enunciado pone en evidencia que la diferenciabilidad asegura la aproximacin lineal de la funcin o o u. Desde el punto de vista geomtrico, dicha aproximacin lineal se materializa en la existencia de plano e o tangente para varias variables y recta tangente para una. La derivabilidad en variable real signica geomtricamente que existe la tangente en una sola direccin, e o mientras que el diferencial asegura la existencia de todas las tangentes (en las direcciones 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 entre o ambos conceptos. 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 funciones e 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 incrementarse o a en la direccin de los ejes, sin embargo en todas o las dems direcciones las tangentes denen un plano. a Este caso slo puede presentarse en puntos de frono tera.
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 de a e un cono. Si se obvian los problemas de frontera, la diferenciabilidad implica la derivabilidad. Esta es la razn o por la cual se postula que el punto P es interior y se trabaja con conjuntos abiertos ms adelante. a (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. Basta o analizar el caso del vrtice del cono. e Pero si es vlido, a
fx C
fy C
= f DIF
78
es decir, si una funcin admite derivadas continuas es diferenciable (en rigor es suciente la continuidad o 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 continuacin, pero a o debe tenerse en cuenta que son conceptos diferentes. 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.
Relacin entre derivada y diferencial. Existencia o
Teorema 4.3.1. Dada una funcin de variable compleja f , condicin necesaria y suciente de derivabio o lidad es la diferenciabilidad. f DER/a f DIF/a Demostracin. Se demuestra la condicin suciente: o o f f (a) = (z) z |(z)| < f (a) C = f = f (a)z + (z)z
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 : AC 0
z0
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 imaginaria o de f ) sean diferenciables y que se veriquen las igualdades siguientes: ux uy = vy = vx
4.3. RELACION ENTRE DERIVADA Y DIFERENCIAL. EXISTENCIA
79
llamadas com nmente de Cauchy-Riemann. u En este caso es necesario que se asegure la posibilidad de incrementar la funcin en direcciones paralelas o al eje x y al eje y. Seg n la observacin realizada en 4.2 es condicin suciente que el punto sea interior u o o 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
Esta condicin es necesaria y suciente como resulta de observar la doble implicacin entre todas las o o proposiciones. Este teorema demuestra entonces que la diferenciabilidad (o derivabilidad) de f no slo implica la o diferenciabilidad de u y de v sino adems una estrecha relacin entre ellas dada por las ecuaciones de a o Cauchy-Riemann. Observacin 2: Las condiciones que ligan las derivadas de la parte real e imaginaria de una funcin como o pleja, son llamadas tradicionalmente de Cauchy-Riemann pero son originalmente de 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 parau lelos a los ejes coordenados.
2
En efecto, seg n la observacin hecha en el prrafo u o a 4.1, una funcin compleja que es derivable (difereno ciable) 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 a o travs de caminos rectos paralelos a los ejes. e
80
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 u + iv 1 (uy + ivy ) = fy = f (a) y0 i i y
=
2
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 acuerdo o 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.
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 puntual. a Para entender el anlisis diferencial a conjunto conviene precisar nuevas deniciones. a
4.5. FUNCIONES MONOGENAS Y HOLOMORFAS
81
Las funciones derivables en un punto y en un entorno del mismo tienen especial inters en la teor e a de las funciones potenciales y en la teor de integrales complejas de Cauchy. a Se dice que una funcin es mongena en un punto a si tiene derivada en ese punto. La monogeneidad o o 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 de o 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 para o z = (0 0) pues: vx = 0 vy = 0
u = x2 + y 2 v=0
ux = 2x uy = 2y Ejemplo II f: C C z x2 + iy 2
u = x2 v = y2
son diferenciables y las condiciones de Cauchy-Riemann slo valen para o la recta y = x porque: vy = 2y
ux = 2x uy = 0 vx = 0
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 puno tos, incluso los frontera que pertenecen a l. e
82
Para los abiertos ambos conceptos coinciden. Observacin 2: Muchos autores no diferencian los conceptos de monogeneidad y holomorf En otros o a. textos se confunde holomorf con analiticidad. a Se llama funcin analtica a la desarrollable en serie de Taylor. Es claro que en principio las funciones o 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 derivadas o o direccionales son iguales (mono=uno, gena=generada). La palabra holomorfa signica de forma entera, en contraposicin de las funciones meromorfas, que se o 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 es e o e holomorfa.
4.6.
Reglas de derivacin o
Como la denicin de derivada para las funciones complejas es formalmente igual a la de funciones de o una variable real, se implica que las reglas de la suma, multiplicacin, divisin (denominador no nulo), o o 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 armnicas o o
Sea f una funcin holomorfa en un punto a, si se hace la hiptesis suplementaria de la existencia y o o continuidad de las derivadas segundas de la parte real e imaginaria de f en el entorno de a (las funciones reales u y v respectivamente), entonces se verica: uxx + uyy vxx + vyy =0 =0
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, elctricos, o e 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 probleo a mas bidimensionales de potencial.
4.7. HOLOMORF Y ECUACION DE LAPLACE IA
83
Observacin 1: Los anlisis realizados hasta el momento son de carcter puntual, pues han requerido 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 compleo ja y las funciones que satisfacen la ecuacin de Laplace, es necesario imponer condiciones de derivabilidad o 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 introa a e duccin 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) hecha o o al comienzo del prrafo es superua, porque como se demostrar en el prximo cap a a o tulo, toda funcin o holomorfa tiene derivadas de todos los rdenes. o Para llegar a este resultado, que una funcin holomorfa tiene derivadas de cualquier orden, y por ende o 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. f H/a 2 u = 0 2 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 sobre 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 satisface o 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
84
Si una funcin es armnica sobre todos los puntos de un conjunto D, se dice que es armnica en D. o o o 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 conjunto o o 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 armnicas ya o o o ha sido demostrado. Adems, si u y v son armnicas tienen derivadas primeras continuas ux , uy , vx , vy , que aseguran a o 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 arbitrarias, o 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 armnicas, e o el par (v u) no lo es. (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 conjugada a o o o 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
85
2o Teorema 4.7.4. una funcin de variable compleja es constante si y slo si su derivada compleja es nula, o o en un entorno de un punto. U (a) D kC = z U (a) , f (z) = k f (z) = 0
Demostracin. La condicin suciente es inmediata, la condicin necesaria 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 k2 R k1 R
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
(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 kC
86
4o Teorema 4.7.6. Una funcin holomorfa f , cuyas partes real e imaginara son respectivamente u y v, con o derivada no nula, asegura que las familias
u(x y) = k1 v(x y) = k2
son trayectorias ortogonales entre s.
f (z) = u + iv H/a f (z) = 0
= (u(x y) = k1 , v(x y) = k2 ) Trayectorias ortogonales
Demostracin. Basta vericar que a partir de las ecuaciones de Cauchy-Riemann: o u v = ux vx + uy vy = 0 Expresin que demuestra la ortogonalidad salvo en el caso de derivada nula1 . o
Por lo tanto, si una funcin armnica v es conjugada armnica de otra u, en los campos vectoriales o o o u, v, las l neas equipotenciales de uno son l neas de campo del otro y viceversa. Ejemplo f: C C
z z 2 = x2 y 2 + i2xy
Entonces, son trayectorias ortogonales:
u = x2 y 2 = k1 v = 2xy = k2
1 El
s mbolo se utiliza para representar el producto interno entre vectores
87
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 (ver a a 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 de o o o un punto
Un problema que se plantea es, dado un u (funcin real de dos variables y armnica sobre un detero o minado 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 del a o 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 conjuo e gada 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 cualquiera o o de estos planteos: a. Hallar una funcin potencial v, conocido su gradiente, v = (vx , vy ) = (uy , ux ) o 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
88
Para la resolucin de esta ecuacin diferencial, pueden encararse diferentes mtodos que se desarrollan o o e a continuacin. o Primer mtodo e Con este mtodo se resuelve la ecuacin diferencial en forma general, expresando v como integral e o 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, pudiendo a 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 campo u a 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 funcin de o o variable real que es conjugada armnica de u. 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 de u o 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
y
vx (x y) =
b
uxx (x t) dt + (x)
recordando adems que uyy = uxx a

y
uy (x y) =
uyy (x t) dt + (x)
= uy (x y) + uy (x b) + (x) Por lo tanto (x) = ux (x b)

x
(x) =
a
uy (t b) dt + C
89
donde a es un real tal que (a b) B y C es una 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 La integral obtenida, puede ser considerada como una integral curvil nea a lo largo del camino (poligonal) contenido en B:
r (x y) c
v(x y) =
uy dx + ux dy
que es tambin la circulacin del vector e o v = (vx , vy ) = (uy , ux ) a lo largo de dicha poligonal v(x y) =
(a b) B(c r)
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 proposicin o o se demuestra a continuacin. 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
= 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
90
Para ello basta recordar que una integral curvil nea no depende del camino sino solamente de los extremos cuando: D Abierto y simplemente conexo (a) = A Camino contenido en D : = V (x y) : P dx + Q dy = V (B) V (A) (b) = B Px , Py , Qx , Qy C Py = Qx
B D
Esto signica que existe una funcin potencial o V (x y). Es esencial que D sea simplemente conexo, pues en caso contrario no puede asegurarse la independencia del camino.
Figura 4.6: Reemplazo de un camino por otro poligonal.
Aplicando este teorema a nuestro caso, se obtiene: Teorema 4.7.8. 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.6. La poligonal formada por un n mero nito de segmentos paralelos a los ejes existe siempre porque, u 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 estua a diar el caso de los conjuntos m ltiplemente conexos. a u
91
Segundo mtodo e Conociendo el resultado del mtodo anterior, que asegura la existencia de v, conjugada armnica de e o 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 de e o 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 dy + (x)
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 mtodos e e anteriores son dicultosos. La demostracin es una modicacin de la original, y no es simple, pero la aplicacin del mtodo, o o o e como se ver, es muy sencilla. a Como hiptesis se toma un conjunto abierto y simplemente conexo, que contenga el origen (0 0), para o 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
U (z) + iV (z) H/D (U, V ) Conjugadas armnicas/D o
92
Demostracin. En base al estudio realizado para el primer mtodo se asegura que sobre D existe conjuo e gada armnica de u, que se llamar v. De acuerdo entonces al teorema 4.7.1, u + iv es holomorfa sobre o a 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 f (x) para o o 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
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 forma: o f (x + iy) = u(x y) + i v(x y)
y0 y0
f (x)
U (x)
+ i V (x)
Donde U (x) y V (x) representan respectivamente los l mites de u(x y) y de v(x y) que existen por la continuidad de f en (0 0), debida a la holomorf a. En nuestro caso, la U (x) se obtiene fcilmente y entonces el problema se reduce a la b squeda de a u V (x). Para ello se demuestra que:
y0
l m
v= l v m x x y0
x
es decir: v(x y)
y0
/ 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 la o continuidad uniforme 2 se asegura que V (x) = V1 (x). Aplicando, por lo tanto, las condiciones de Cauchy-Riemann: V (x) = =
y0
l vx (x y) dx m l uy (x y) dx m
y0
El teorema de Heine-Cantor, aplicado a una funcin f : Rn R, arma que si f est denida sobre un compacto D: o a >0, >0 : x , x D : ||x x || < = |f (x ) f (x )| <
Esto quiere decir que se puede elegir un tal que toda la imagen de f en D este contenida en una banda uniforme [f (x ), f (x + )].
93
Puede formarse entonces f (x) = U (x) + iV (x) y de acuerdo al resultado del lema analizado al comienzo f (z) = U (z) + iV (z) Esta 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 + 1)2 + y 2
u verica la ecuacin de Laplace para todo z = (1, 0) y adems tiene las derivadas segundas continuas, o a siendo por lo tanto armnica. Eligiendo entonces, un conjunto D abierto y simplemente conexo que no o contenga a (-1,0): u U (x) =
y0
1 x+1
Por otra parte uy = 2y(x + 1) 0 = V (x) ((x + 1)2 + y 2 )2 y0 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 v= +k (x + 1)2 + y 2
Observacin: Si se deseara plantear el problema de obtener u, conocida la funcin v de manera tal que o o (u v) sean conjugadas armnicas, basta recordar que (v u) son conjugadas armnicas, y por lo tanto son o o de aplicacin los mtodos anteriores. o e
94
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 z = 0, z = 1/z z=0 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 en se reduce a un problema en el entorno de 0 de o la funcin compuesta o f Inv : U () C z f (1/z) f (0) z= z=
Observacin: La necesidad de restringir la inversin surge de asegurar la existencia de la funcin como o o puesta f Inv, pues debe cumplirse que el rango de la Inv debe estar incluido en el dominio D de la funcin f . Esto se muestra en la gura 4.7. o
Inv f
C U() D R
Figura 4.7: Dominio e imagen de Inv y f
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. REPRESENTACION CONFORME
95
4.9.
Representacin conforme o
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 potencial en o campos gravitatorios, elctricos, magnticos, de temperatura, etc. y en general para cualquier campo cone e servativo, adems de problemas se ingenier elctrica: diagramas de impedancia-admitancia y problemas a a e de cartograf a.
4.9.1.
Angulo entre caminos
Vector tangente a un camino Para denir el ngulo orientado entre dos caminos, conviene establecer previamente el concepto de a 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))
(c)
Figura 4.8: Vector tangente a en el punto (c).
La condicin impuesta, que (c) = (0 0), equivalente a que el vector tangente es no nulo, es indispeno sable 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 := (c) = 0 := c [a b] = (c) = 0
96
Angulo entre dos caminos Dados dos caminos

2
1 : [a1 b1 ] C 2 : [a2 b2 ] C que se cortan en el punto zc , es decir:
T (2 , zc ) 1
zc
T (1 , zc )
c1 [a1 b1 ] c2 [a2 b2 ] zc := 1 (c1 )
: 1 (c1 ) = 2 (c2 )
Figura 4.9: Angulo entre los caminos 1 y 2 en el punto zc .
entonces se llama angulo orientado de 1 a 2 , de signado en la gura 4.9 por , al angulo orientado entre los respectivos vectores tangentes en el punto de corte zc . Anal ticamente, el ngulo orientado de 1 a 2 es el n mero real denido por: a 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 principal o o o del argumento, que establece una unica determinacin del mismo. o Una propiedad del ngulo entre dos caminos, que destaca el concepto de orientacin intr a o nseco a la denicin, es: o Ang(1 , 2 ) = Ang(2 , 1 ) Una cota superior para el ngulo orientado est dada por: a a |Ang(1 , 2 )|
|Arg(2 (c2 ))| + |Arg(1 (c1 ))| +
2 Observacin 2: El mdulo del ngulo entre los caminos 1 y 2 puede ser expresado bajo forma vectorial o o a a partir de: cos() = T1 T2 ||T1 || ||T2 ||
4.9.2.
Transformacin de caminos o
Teorema 4.9.1. Una funcin f : D R de variable compleja, cuyas partes real e imaginaria tienen o derivadas primeras continuas, transforma un camino : [a b] C, contenido en D, en otro camino f contenido en R.
97
D f f
Figura 4.10: Transformacin de caminos por una funcin de variable compleja. o o
: [a b] D
t x(t) + iy(t)
Camino contenido en D f : D R z (u v) : ux , uy C/D vx , vy C/D
= f Camino contenido en R
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 simple o a (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
98
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 de las o caracter sticas indicadas, todo lazo se transforma en lazo y adems, se f es inyectiva, todo lazo simple se a 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 derivadas o primeras continuas, como se ha visto transforma un camino en otro f por medio de una transformacin o que se puede caracterizar por: 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 (c) o en los vectores tangentes a f , en el punto (f )(c); 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 como o o sigue: J(f, (c)) : T (, (c)) J(f, (c)) T (, (c)) J(f, (c)) := Aplicacin lineal tangente a f en el punto (c) o
99
donde la matriz J(f, (c)) = ux vx uy vy
no es otra que la matriz jacobiana del sistema u = u(x y) v = v(x y) y por lo tanto, 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, es o decir: x = x(u v) y = y(u v)
Se deduce directamente de la denicin de la aplicacin J(f, (c)) que: o o Condicin necesaria y suciente para que una aplicacin lineal tangente J(f, (c)) transforme el vector o o tangente al camino en el punto (c) en el vector tangente al camino f en el punto f (c), 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)) conserva o los ngulos orientados de los vectores tangentes a dos caminos. a Esto signica que el ngulo orientado entre dos caminos 1 y 2 es igual al ngulo orientado entre los a a caminos transformados f 1 y f 2 . 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 )
100
2 f 1 1 zc
f 2
f (zc )
Figura 4.11: Conservacin del ngulo entre dos caminos mediante una aplicacin conforme f . o a o
En particular, una aplicacin conforme transforma caminos ortogonales = en caminos ortoo 2 gonales, 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 angulos o o o 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 ngulo en la transformacin, o o a o pero no asegura la conservacin del signo. 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 sea o o isogonal es que para todo par de vectores (x1 x2 ) se cumpla: (x1 x2 ) x1 x2 X1 X2 = |X1 ||X2 | |x1 ||x2 |
donde con X may sculas se has simbolizado los transformados de x min sculas, es decir: u u A : x A x = X
Antes de estudiar las condiciones generales que debe cumplir una funcin f de variable compleja para o 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 distinto de o o cero: f Aplicacin conforme/zc = |J(f, zc )| = 0 o Es obvio que para que existan los ngulos orientados entre caminos, tanto como f deben ser a regulares. Por lo tanto, (f ) = 0 implica que el jacobiano no es nulo de acuerdo con el resultado obtenido en la seccin anterior in ne. o
101
Observacin 2: A los efectos posteriores de estudiar las caracter o sticas generales de la aplicacin lineal o J(f, zc ) : T J T : |J| = 0 cuyo determinante no es nulo, conviene recordar las propiedades que debe tener una aplicacin lineal de o dos dimensiones: A : x A x = X para que conserve los ngulos entre dos vectores de la transformacin. a o Para ello es condicin necesaria (no suciente) que se conserve el producto interno, salvo constante o positiva, para cualquier par de vectores (x1 x2 )3 : (x1 x2 ) xT AT 1 X1 X2 = k x1 x2 A x2 = k xT 1 x2 : k>0
Como esta igualdad debe cumplirse para cualquier par (x1 x2 ) debe ser: AT A = k I Es decir, 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 = a b a b b a b a =R =R cos() sen() cos() sen() sen() cos() sen() cos()
3 En el desarrollo siguiente se expresa el producto interno de dos vectores cualesquiera x, y R2 como x y = xT y, donde xT representa el vector transpuesto de x, y representa el producto usual de matrices.
102
donde R = a2 + b 2 = Arg(a, b) sin embargo, una sola de ellas conserva los ngulos orientados, pues: a cos() sen() sen() cos() r cos() r sen() =r cos() cos() sen() sen() sen() cos() + cos() sen()
= r ei(+) representando entonces la primera de las dos matrices una rotacin para R = 1 o una rotacin con o o dilatacin para R = 1 (homotecia), y por lo tanto conservando los ngulos orientados, mientras que: o a 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 pendiente o a a o a a 2 . Si R = 1 es una simetr y una dilatacin si R = 1, no conservndose por lo tanto los ngulos orientados.
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 conforme, o a 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 angulos o 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
103
Analizando las caracter sticas que debe cumplir una funcin de variable compleja, para que sea una o aplicacin conforme se llega a: o Teorema 4.9.4. Condicin necesaria y suciente para que una funcin f : D R de partes real e o o imaginaria con derivadas primeras continuas, sea aplicacin conforme en zc , es que f sea holomorfa y o 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 lineal o a o o tangente conserve los ngulos orientados debe ser del tipo a 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 uy = vx ux vx uy vy
ux , uy , vx , vy C/zc |J| = ux vy uy vx = u2 x +
2 vx
f H/zc
=0
f (zc ) = 0
La doble implicacin del teorema surge inmediatamente de la reversibilidad de la demostracin. o o De acuerdo con el resultado obtenido, se desprende: Corolario 4.9.4.1. Condicin necesaria y suciente para que un camino transformado por una funcin o o holomorfa sea regular, es que el camino original sea regular y que la derivada primera sea no nula. Camino contenido en D f H/zc f (zc ) = 0 (c) = 0 (f ) = 0
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 de o o dilatacin es |f (zc )| y el ngulo de rotacin es Arg(f (zc )). o a o
104
En el caso de que f (zc ) = 0, siendo f una funcin no constante, no se mantiene el ngulo orientado. o a Se puede demostrar que el ngulo entre dos caminos, en este caso, se transforma de un valor a un valor a 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 dice o o 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 transformaciones o 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 una o frmula particular de clculo de reas. o a a Si f (D) es un conjunto sobre el cual puede calcularse la integral que dene el rea, entonces se acuerdo a a las reglas de cambio de variables: A=
f (D)
du dv =
D
|J| dx dy
pero como
2 |J| = u2 + vx x
= |f (z)|2
Resulta entonces: du dv =
f (D) D
|f (z)|2 dx dy
frmula que establece la relacin de reas en una transformacin conforme. o o a o
105
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 conforme. o 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 y o o 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 conforme o o de D sobre D . El problema inverso no siempre tiene solucin y existen teoremas generales que se ocupan del tema, o 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 a numrico. e Otro mtodo importante para resolver el problema inverso es la tabulacin de representaciones cone o formes seg n el problema directo. u El problema inverso tiene especial simo inters en las cuestiones relacionadas con los campos potene ciales, 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 de D. o Este puede encararse (no siempre tiene solucin) hallando una funcin f que sea una representacin o o o conforme de D sobre un conjunto D de geometr sencilla (por ejemplo un c a rculo) sobre el cual se conozca el potencial en todos sus puntos. Invirtiendo la funcin f , el problema planteado queda resuelto. En particular pueden hallarse las o l neas equipotenciales y las l neas de campo en el conjunto D.
f D
Figura 4.13: L neas de campo y equipotenciales para un problema inverso de representacin conforme. o
106
4.9.7.
La inversin o
El estudio de la funcin inversin tiene particular importancia en las aplicaciones de representacin o o o conforme. 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 transformao cin que sigue, y su inversa: o (x y) (u v) = ( x y , ) x2 + y 2 x2 + y 2 u v (u v) (x y) = ( 2 , ) u + v 2 u2 + v 2 (r ) (R ) = ( 1 , ) r
o tambin en coordenadas polares e

1 (R ) (r ) = ( R , )
Las expresiones en coordenadas polares permiten una interpretacin sencilla de la inversin de un o o 1 o proco del mdulo de z, y por argumento el o complejo z = (r ). El complejo z tiene por mdulo al rec 1 1 opuesto del argumento de z, es decir z = ( r , ). Geomtricamente: e z r
1 r
1 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:
r
Construyendo dos tringulos semejantes, como muesa tra la gura 4.15, se obtiene que R = 1 , pues: r r 1 = sen() sen() 1 = R = R 1 r = sen() sen()

R
1
Figura 4.15: Construccin geomtrica para o e z obtener la rec proca de un complejo.
107
z r
1
1 r
1 z
Un segundo mtodo, mostrado en la gura 4.16, se e basa en un mtodo semejante al anterior con apoyo e en la circunferencia de radio unitario.
Figura 4.16: Construccin geomtrica altero e nativa para hallar la rec proca de un nmero u complejo.
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 del 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 de ciro cunferencias y rectas por medio de la inversin. o En los respectivos grcos se presentan las construcciones geomtricas convenientes para obtener la a e inversin propuesta. Para ello debe recordarse que el punto z, perteneciente a de mximo mdulo, se o a o transforma en el punto w, perteneciente a f de m nimo mdulo; y que tambin la transformacin es o e o conforme, es decir, mantiene los ngulos orientados. a
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
108
y (0 0)
|z
z
f
v (0 0) f
|w
w
a=0 d=0 Recta que pasa por (0 0)

y z
Recta que pasa por (0 0)

v (0 0) f w
(0 0) /
f A
a=0 d=0 Recta que no pasa por (0 0)

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

v (0 0) f / w
f u
a=0 d=0
Circunf. que pasa por (0 0)

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

v (0 0) f / w
A f B
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
109
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
que representa sucesivamente: I. Desplazamiento II. Inversin o III. Homotecia IV. Desplazamiento
1 z 2 = z1 z3 = z2
w = + z3
y que permite interpretar fcilmente la transformacin de circunferencias y rectas por medio de la a o 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 pasa por Recta que no pasa por Circunf. que no pasa por
La homotecia est caracterizada por un giro denido por el Arg() y una dilatacin denida por el ||. a o 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.

VC 01

Uploaded by

Document Information

Original Title

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

VC 01

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.011

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

2.9.1. 2.9.2. 2.9.3. 2.9.4.

4.9.2. 4.9.3. 4.9.4. 4.9.5. 4.9.6. 4.9.7. 4.9.8.

96 98 99 104 105 106 107

75 77 79 87 89 90 94 95 96 97 100 102 105 106 106 107

CAP ITULO 1. 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

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

1.4. IMPOSIBILIDAD DE ESTRUCTURAR C COMO CUERPO ORDENADO

Imposibilidad de estructurar C como cuerpo ordenado

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

CAP ITULO 1. NUMEROS COMPLEJOS

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

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

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

1.5. ESTRUCTURACION DE C COMO ESTRUCTURA VECTORIAL

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

Estructuracin de C como estructura vectorial o

CAP ITULO 1. NUMEROS COMPLEJOS

Estructuracin de C como estructura de espacio mtrico o e

Propiedades generales de la funcin distancia en C o

1.6. ESTRUCTURACION DE C COMO ESTRUCTURA DE ESPACIO METRICO

Notacin para la funcin distancia sobre C o o

CAP ITULO 1. NUMEROS COMPLEJOS

1.7. ESTRUCTURACION DE C COMO ESPACIO NORMADO

Estructuracin de C como espacio normado o

CAP ITULO 1. NUMEROS COMPLEJOS

Forma binmica de los complejos o

En resumen: E = {abc . . . } T : E E E E = {a b c . . . } ((E T ) (E T ) f ) Estructuras isomorfas := T : E E E f : E E f biyectiva a a : a T b a T b R+ R

Ejemplo: La funcin logaritmo natural o L:

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

1.8. FORMA BINOMICA DE LOS COMPLEJOS

CAP ITULO 1. NUMEROS COMPLEJOS

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

1.10. FORMA POLAR DE UN NUMERO COMPLEJO. PROPIEDADES

En resumen, la transformacin biyectiva o f: C C

CAP ITULO 1. NUMEROS COMPLEJOS

Igualdad en forma polar. Congruencia

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

Producto en forma polar. Cociente

1.10. FORMA POLAR DE UN NUMERO COMPLEJO. PROPIEDADES

Potencia en forma polar. Radicacin o

CAP ITULO 1. NUMEROS COMPLEJOS

Interpretacin geomtrica de las operaciones complejas o e

Figura 1.3: Representacin o geomtrica de la suma de dos e complejos.

Figura 1.4: Representacin o geomtrica de la diferencia de dos e complejos.

1.11. FORMA EXPONENCIAL DE UN NUMERO COMPLEJO

Figura 1.5: Representacin geomtrica del producto de dos complejos. o e