Variable Compleja

An alisis de Funciones de Variable Compleja
Ing. Juan Sacerdoti
Facultad de Ingenier a Departamento de Matem atica Universidad de Buenos Aires 2005 V 1.011
Agradecemos al Sr. Alejandro Quadrini por la transcripci on de este documento.
Indice general
1. N umeros Complejos 1.1. Denici on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Igualdad de n umeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Estructuraci on de C como cuerpo abeliano . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.4. Imposibilidad de estructurar C como cuerpo ordenado . . . . . . . . . . . . . . . . . . . . 1.5. Estructuraci on de C como estructura vectorial . . . . . . . . . . . . . . . . . . . . . . . . 1.6. Estructuraci on de C como estructura de espacio m etrico . . . . . . . . . . . . . . . . . . . 1.6.1. Propiedades generales de la funci on distancia en C . . . . . . . . . . . . . . . . . . 1.6.2. Notaci on para la funci on distancia sobre C . . . . . . . . . . . . . . . . . . . . . . 1.6.3. M odulo de z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.7. Estructuraci on de C como espacio normado . . . . . . . . . . . . . . . . . . . . . . . . . . 1.8. Forma bin omica de los complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 bin omica de los n umeros complejos . . . . . . . . . . . . . . . . . . . . . . . 1.9. Representaci on geom etrica de los complejos . . . . . . . . . . . . . . . . . . . . . . . . . . 1.10. Forma Polar de un N umero Complejo. Propiedades . . . . . . . . . . . . . . . . . . . . . . 1.10.1. Forma Polar de un N umero Complejo . . . . . . . . . . . . . . . . . . . . . . . . . 1.10.2. Igualdad en forma polar. Congruencia . . . . . . . . . . . . . . . . . . . . . . . . . 1.10.3. Producto en forma polar. Cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.10.4. Potencia en forma polar. Radicaci on . . . . . . . . . . . . . . . . . . . . . . . . . . 1.10.5. Interpretaci on geom etrica de las operaciones complejas . . . . . . . . . . . . . . . . 1.11. Forma exponencial de un n umero complejo . . . . . . . . . . . . . . . . . . . . . . . . . . 1.11.1. Expresi on de la forma exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.11.2. Denici on de la funci o n ez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 a en el Campo Complejo 2.1. Denici on de bola . . . . . . . . . . . . . . . . . . . . . 2.2. Entorno de un punto c . . . . . . . . . . . . . . . . . . . 2.3. Vecinal de un punto c . . . . . . . . . . . . . . . . . . . 2.4. Clasicaci on de puntos: Interiores, exteriores y frontera 2.5. Adherencia . . . . . . . . . . . . . . . . . . . . . . . . . 2.6. Clasicaci on de puntos de adherencia . . . . . . . . . . . 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. Interpretaci on geom etrica . . . . . . . . . . . . . . . . . . 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. Denici on . . . . . . . . . . . . . . . . . . . . . . . 3.4.2. Continuidad sobre un conjunto . . . . . . . . . . . 3.5. L mite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.5.1. Denici on de l 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 a de caminos y lazos . . . . . . . . . . . . . . . . 3.8.1. Homotop a de caminos . . . . . . . . . . . . . . . . 3.8.2. Homotop a de lazos . . . . . . . . . . . . . . . . . 3.8.3. Homotop a a un punto . . . . . . . . . . . . . . . . 3.9. Clasicaci on de conjuntos conexos en C . . . . . . . . . . 3.9.1. Conjuntos simplemente conexos . . . . . . . . . . . 3.9.2. Conjuntos m ultiplemente conexos . . . . . . . . . . 3.9.3. Cortadura . . . . . . . . . . . . . . . . . . . . . . . 3.9.4. Grado de multiplicidad . . . . . . . . . . . . . . .
4. Derivaci on en el Campo Complejo 4.1. Derivaci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2. Diferencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3. Relaci on entre derivada y diferencial. Existencia . . . . . . . . . . . . . . . . . . 4.4. Derivaci on y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.5. Funciones mon ogenas y holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . 4.6. Reglas de derivaci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.7. Holomorf a y ecuaci on de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . 4.7.1. Las componentes de una funci on holomorfa como funciones arm onicas . 4.7.2. Propiedades de funciones conjugadas arm onicas . . . . . . . . . . . . . . 4.7.3. Obtenci on de la conjugada arm onica de una funci on en el entorno de un 4.8. Holomorf a en el innito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.9. Representaci on conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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.
Transformaci on de caminos . . . . . . . . . . Transformaci on de vectores tangentes . . . . Aplicaci on conforme . . . . . . . . . . . . . . Transformaci on de areas e integrales dobles . Los problemas de la representaci on conforme La inversi on . . . . . . . . . . . . . . . . . . . La funci on homogr aca . . . . . . . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
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. Representaci on del complejo (x y ) en el plano cartesiano. . . . Representaci on del complejo z en coordenadas polares. . . . . Representaci on geom etrica de la suma de dos complejos. . . . Representaci on geom etrica de la diferencia de dos complejos. Representaci on geom etrica del producto de dos complejos. . . Ra ces quintas de un n umero complejo z . . . . . . . . . . . . Conjugado de un n umero complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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. Clasicaci on de puntos en un espacio m etrico. . . . . . . . . . . . . . . . . . . . . . . . . . 2.5. Puntos aislados y puntos de acumulaci on del conjunto A. . . . . . . . . . . . . . . . . . . 2.6. Clasicaci on de conjuntos seg un contengan o no a sus fronteras. . . . . . . . . . . . . . . . 2.7. |z | > r. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.8. Diversos conjuntos transformados mediante la funci on inversi on. . . . . . . . . . . . . . . 2.9. Esfera de Riemann. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.10. Proyecci on estereogr aca de una circunferencia que no pasa por el origen de coordenadas. 2.11. Proyecci on estereogr aca de una circunferencia que pasa por el origen de coordenadas. . . 3.1. Transformaci on de regiones en R2 mediante una funci on de variable compleja. 3.2. Transformaci on de caminos mediante la funci on f (z ) = z 2 . . . . . . . . . . . . 3.3. Funci on de una variable real discontinua en a. . . . . . . . . . . . . . . . . . . 3.4. Funci on de una variable compleja discontinua en a. . . . . . . . . . . . . . . . 3.5. Composici on de funciones de una variable compleja. . . . . . . . . . . . . . . 3.6. Camino en el campo complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . 3.7. Lazo en el campo complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.8. Caminos yuxtapuestos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.9. Camino poligonal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.10. Ejemplos de caminos y lazos. . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.11. Ejemplo de conjuntos conexos. . . . . . . . . . . . . . . . . . . . . . . . . . . 3.12. Ejemplo de conjuntos no conexos. . . . . . . . . . . . . . . . . . . . . . . . . . 3.13. Homotop a de los caminos 1 y 2 en D . . . . . . . . . . . . . . . . . . . . . 3.14. Homotop a de los lazos 1 y 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.15. Conjunto simplemente conexo. . . . . . . . . . . . . . . . . . . . . . . . . . . 3.16. Conjunto m ultiplemente conexo. . . . . . . . . . . . . . . . . . . . . . . . . . 3.17. Ejemplos de cortadura. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.18. Conjunto con grado de multiplicidad=3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
INDICE DE FIGURAS
4.1. Incremento de z a trav es de un camino . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2. Dominio restringido de una funci on de variable compleja. . . . . . . . . . . . . . . . . . . 4.3. Incremento de una funci on a trav es de caminos rectos paralelos a los ejes. . . . . . . . . . 4.4. Trayectorias ortogonales de un par de funciones conjugadas arm onicas . . . . . . . . . . . 4.5. Integraci on a trav es de un camino poligonal. . . . . . . . . . . . . . . . . . . . . . . . . . . 4.6. Reemplazo de un camino por otro poligonal. . . . . . . . . . . . . . . . . . . . . . . . . 4.7. Dominio e imagen de Inv y f . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.8. Vector tangente a en el punto (c). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.9. Angulo entre los caminos 1 y 2 en el punto zc . . . . . . . . . . . . . . . . . . . . . . . . 4.10. Transformaci on de caminos por una funci on de variable compleja. . . . . . . . . . . . . . . 4.11. Conservaci on del angulo entre dos caminos mediante una aplicaci on conforme f . . . . . . 4.12. Transformaci on de angulos para aplicaciones con distintos valores de K . . . . . . . . . . . 4.13. L neas de campo y equipotenciales para un problema inverso de representaci on conforme. 4.14. Transformaci on de vectores mediante una inversi on. . . . . . . . . . . . . . . . . . . . . . 4.15. Construcci on geom etrica para obtener la rec proca de un complejo. . . . . . . . . . . . . . 4.16. Construcci on geom etrica alternativa para hallar la rec proca de un n umero complejo. . . .
75 77 79 87 89 90 94 95 96 97 100 102 105 106 106 107
Cap tulo 1
N umeros Complejos
1.1. Denici on
Se llama n umero complejo a todo par ordenado (x y ) de n umeros reales. z := (x y ) : x R , y R z := N umero complejo Al n umero real x (primera componente del par ordenado) se lo llama parte real o primera componente del n umero complejo. Asimismo, al n umero real y (segunda componente del par ordenado) se lo llama parte imaginaria o segunda componente del n umero complejo. Re(z ) := x Im(z ) := y Re(z ) := parte real de z Im(z ) := parte imaginaria de z Observaci on: Conviene remarcar que tanto la parte real, como la parte imaginaria de un n umero complejo (a pesar de su denominaci on), son ambos n umeros reales. Al conjunto de todos los n umeros complejos, se lo simboliza con C. C := {(x y ) : x R , y R } C := Conjunto de todos los n umeros complejos Observaci on: A partir de la denici on de C es inmediato que: C=RR o sea que C = R2
Sin embargo, la introducci on del nuevo s 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 dem a s Rn . Todo Rn conforma estructura de espacio vectorial y tambi en estructura de espacio eucl deo. En el caso particular de R2 , adem as de las estructuras mencionadas, se agrega la estructuraci on en cuerpo abeliano. (ver punto 1.3). Esta caracter stica no se extiende a ning un Rn con n 3. La raz on de esta diferencia es porque en C, adem as de denirse la suma como en todo Rn , se establece tambi en la multiplicaci on, condici on que le permite alcanzar la estructura de cuerpo abeliano.
10
CAP ITULO 1. NUMEROS COMPLEJOS
1.2.
Igualdad de n umeros complejos
La igualdad de los n umeros complejos es una consecuencia de la igualdad denida entre conjuntos, y su aplicaci on sobre los pares ordenados. Resulta entonces: (x y ) = (x y ) x = x y = y
Es decir, dos n umeros complejos son iguales, si y s olo si simult aneamente, las respectivas partes reales e imaginarias son iguales entre s . Una igualdad en C representa entonces dos igualdades en R.
1.3.
T : P :
Estructuraci on de C como cuerpo abeliano

C C C ((x y ), (x y )) (x + x , y + y ) ((x y ), (x y )) (xx yy , xy + yx ) T := Ley suma de n umeros complejos P := Ley producto de n umeros complejos C C C
Sobre el conjunto de los complejos C se denen dos leyes de composici on interna:
Los signos + y representan las leyes de composici on interna, suma y producto de n umeros reales. El conjunto de los n umeros complejos C se estructura en cuerpo abeliano con respecto a las leyes de composici on interna suma de n umeros complejos T y producto de n umeros complejos P . T : C C C ((x y ), (x y )) (x + x , y + y ) = (C T P ) Cuerpo abeliano P : C C C ((xy ) , (x y )) (xx yy , xy + yx ) La demostraci on de esta aseveraci on es inmediata. Algunos elementos destacables en el cuerpo C son: (0 , 0) (x , y ) (1 , 0) y x , x2 + y 2 x2 + y 2 neutro de C respecto de T sim etrico de (x y ) respecto de T neutro de C respecto de P sim etrico de (x y ) respecto de P , (x y ) = (0 0)
Los s mbolos con los cuales se identicar an estos elementos son: 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 relaci on sobre C C que cumpla simult aneamente: (a) Relaci on de orden amplio sobre C. (b) Relaci on de orden total. (c) Relaci on de compatibilidad con las leyes de suma y producto complejo. Estas condiciones presentadas para el caso de un cuerpo gen erico (E T P ), llamando RO a la relaci on de orden sobre E , pueden expresarse de la siguiente manera: x E (x x) RO Reexividad (x y ) RO x=y Antisimetr a (y x) RO RO Relaci on de orden amplio := (x y ) RO (x z ) RO Transitividad (y z ) RO RO Relaci on de orden total := x E, y E {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 Relaci on de orden amplio RO Relaci on de orden total RO Relaci on compatible con la suma y el producto
(x y ) RO = (xT z , yT z ) RO z E RO Rel. de comp. con suma y producto := (x y ) RO ( s z ) RO = (xP z , yP z ) RO s :=Neutro de (E , T )
Observaci on 1: Al cumplirse simult aneamente las condiciones de orden amplio y total sobre E , resulta superua la condici on de reexividad, como se muestra a continuaci on: A partir de la condici on de orden total, tomando x = y se obtiene: x E x E {x x} = (x x) RO o (x x) RO resultando entonces: = (x x) RO
Observaci on 2: Las notaciones usuales para las relaciones de orden son x y o (x y ) RO. En el texto se ha preferido el uso de esta u ltima para evitar confusiones. A continuaci on se pasa a demostrar la tesis propuesta, que el cuerpo de los complejos no puede ser ordenado.
12
El esquema de prueba se basa en que para dos n umeros complejos, (0 0) (neutro de T ) y el (0 1) (m as adelante llamado unidad imaginaria ), no puede establecerse ninguna relaci on de orden que satisfaga las condiciones anteriores. (C, T, P ) Cuerpo abeliano = RO sobre C : (C, T, P ) Cuerpo ordenado 1. Orden total {(0 0) , (s 1))} ((0 0) , (0 1)) RO o ((0 1) , (0 0)) RO Suponiendo la primera de las dos posibilidades: 2. ((0 0) (0 1)) RO ((0 0) (0 1)) RO ((0 0) (0 1)) RO ((0 0) (1 , 0)) RO ((0 0) (1 , 0)) RO ((1 0) (0 0)) RO (prop. falsa)
3. Compat. P
4. Compat. P
((0 0) (1 , 0)) RO ((0 0) (1 , 0)) RO ((0 0) (1 , 0)) RO (1 , 0) C ((0 0) (1 0)) RO ((1 0) (0 0)) RO
5. Compat. T
6. (4.), (5.) y antisim.
(0 0) = (0 1)
Como la primera posibilidad ha conducido a una proposici on falsa, se prueba con la segunda: 7. ((0 1) (0 0)) RO ((0 1)(0 0)) RO ((0 0)(0 , 1)) RO ((0 0) (1 , 0)) RO Este resultado es el mismo obtenido en (3.). Si se sigue un procedimiento igual al ya realizado, se obtiene tambi en: 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
DE C COMO ESTRUCTURA VECTORIAL 1.5. ESTRUCTURACION
13
11. (1.), (6.) y (10.)
RO Relaci on de orden amplio RO Relaci on de orden total RO sobre C : RO Relaci on de compatibilidad con la suma y producto complejo
Observaci on 1: El hecho de que C no sea un cuerpo ordenado, deja como u nico Rn que cumple tal condici on al conjunto de los reales R. Este es el cuerpo ordenado por excelencia. Observaci on 2: Conviene remarcar que en C carece totalmente de sentido la proposici on: z > z Por lo tanto, en el caso de presentarse esta notaci on, es sencillamente un grave error.
1.5.
Estructuraci on de C como estructura vectorial
El conjunto de los n umeros complejos C conforma una estructura vectorial, sobre un cuerpo K, respecto de las leyes de composici on interna T (suma de n umeros complejos) y composici on externa P oportunamente denida: P : C C C (, (x y )) (x, y )
P := Ley de composici on externa de C sobre K. K := Cuerpo de apoyo de la estructura vectorial o conjunto de los escalares. La proposici on mencionada es consecuencia inmediata de que C = R2 , es decir un caso particular de R .
n
Tiene particular inter es tomar a la terna (R + ) como cuerpo K sobre el cual conforma C la estructura vectorial. C = { (xy ) : x R , y R} (R + ) Cuerpo de los Reales T : CC C = (C R + T P ) Estructura vectorial ((x y ) , (x y )) (x + x , y + y ) P : CC C ((x y ) , (x y )) (xx yy , xy + yx ) Observaci on 1: Para no incurrir en confusiones de conceptos se debe tener presente siempre las diferencias que existen entre las leyes: - Producto de n umeros reales: - Producto de n umeros complejos: p
14
- Producto de C sobre K: P Observaci on 2: Para evitar interpretaciones err oneas se hace notar que la convenci on adoptada para la denominaci on de la s extupla (E K + T P ) y el conjunto E es: (E K + T P ) := Estructura de espacio vectorial o estructura vectorial E := Espacio vectorial
1.6.
Estructuraci on de C como estructura de espacio m etrico
El conjunto C conforma una estructura de espacio m etrico, y en particular una estructura de espacio eucl deo, al denirse la funci on distancia por la expresi on pitag orica: 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 ) Observaci on 1: Para evitar confusiones se se nala que las denominaciones adoptadas para el par (E , d) y para el conjunto E son: (E , d) := Estructura de espacio m etrico o estructura m etrica E := Espacio m etrico El hecho de poder estructurar E como espacio m etrico tiene enorme importancia. En efecto, se logra con ello la base (funci on distancia) para construir una estructura topol ogica. De esta manera el conjunto de los complejos C conforma simult aneamente una estructura algebraica de cuerpo, y una estructura topol ogica, siendo ambas las dos condiciones esenciales para poder denir los conceptos que son fundamento del an alisis matem atico: la continuidad (la convergencia) y la diferencial.
1.6.1.
Propiedades generales de la funci on distancia en C
Las propiedades m as importantes para destacar de la funci on distancia sobre el conjunto de los complejos, se desprenden directamente del caso m as general, funci on distancia sobre los espacios eucl deos. Para facilitar su presentaci on es conveniente usar los s mbolos e := (0 0) respectivamente par el neutro de C respecto de la suma T , y el opuesto de z respecto de T . Tambi en se agregar a el nuevo s mbolo: z z := z T z z z := Diferencia entre los n umeros complejos z y z z := (x , y )
DE C COMO ESTRUCTURA DE ESPACIO METRICO 1.6. ESTRUCTURACION
15
El detalle de las propiedades mencionadas es: I. d(z e) = 0 z = e II. z z = w w = d(z z ) = d(w w ) III. d(z + z , z ) = d(z e) IV. d(z z , e) = d(z z ) V. d(z z , e) = d(z z , e) VI. d(z , z ) = ||d(z z ) VII. d(z e) d(z e) 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 f ormulas en forma directa a partir de la denici on de distancia sobre
1.6.2.
Notaci on para la funci on distancia sobre C
La notaci on de la funci on distancia sobre C, que por otra parte se emplea normalmente para cualquier Rn es: |z z | := d(z z ) |z z | := Distancia de z a z De acuerdo a esta u ltima convenci on resulta: d(z e) = |z | En efecto: d(z e) = |z e|
= |z T e | = |z T e| = |z |
La distancia d(z e) tiene una gran aplicaci on e importancia, tanto como para adjudicarle una denominaci on particular. Esto se tratar a en el apartado 1.6.3. La introducci on del nuevo s mbolo |z z | para representar la funci on distancia, es justicada por el hecho de que ayuda a recordar todas las propiedades del p arrafo anterior asimil andolas a las an alogas de la funci on valor absoluto en el campo real. 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 |
Observaci on: El valor absoluto en el campo real por su parte estructura al conjunto R como espacio eucl deo, pues: d(x y ) = (x y )2
= |x y |
Entonces, la distancia del espacio eucl deo Rn puede entenderse como una generalizaci on del valor absoluto denido para R.
1.6.3.
M odulo de z
Se dene como m odulo de z , tambi en llamado valor absoluto de z , a la distancia d(z e). |z | := d(z e) |z | := M odulo de z Esta denici on es complementaria de la notaci on de distancia introducida en 1.6.2, ya que ambas no son independientes, como se demuestra acto seguido: Teorema 1.6.1. d(z z ) = |z z | d(z e) = |z | Demostraci on. La demostraci on de la condici on necesaria es: d(z e) = |z e| = |z | La condici on suciente: d(z z ) = d(z z , e) = |z z | La asignaci on de una denominaci on espec ca dada a la distancia d(z e) se justica no solamente por la frecuencia con que aparece en las f ormulas anteriores, sino tambi en para resaltar el papel muy importante que desempe na en todo el algebra y an alisis complejo. Basta para ello mencionar que su empleo permite:
DE C COMO ESPACIO NORMADO 1.7. ESTRUCTURACION
17
a. La denici on de la forma polar del n umero complejo. b. El hallazgo de m etodos operativos m as sencillos, derivados de la forma polar, para la multiplicaci on, divisi on, potencia, radicaci on y logaritmaci on. c. Establecer una norma sobre C Todos estos conceptos ser an desarrollados m as adelante. El m odulo de z , de acuerdo con la denici on es una aplicaci on del conjunto de los complejos sobre los reales. ||: C R
(x y )
x2 + y 2
Las propiedades m as importantes del m odulo de z son las detalladas en el p arrafo anterior. A ellas conviene agregar: |z | = |z | |z |2 = |z |2 cuya demostraci on es inmediata, y adem as: Teorema 1.6.2. El m odulo del producto es igual al producto de los m odulos. (zz ) C = |z P z | = |z ||z | Demostraci on. |z P z |2 = (xx yy )2 + (xy + yx )2 = (x2 + y 2 )(x2 + y 2 ) = |z |2 |z |2
= x2 x2 + y 2 y 2 + x2 y 2 + y 2 x2
1.7.
Estructuraci on de C como espacio normado
Se llama espacio normado a todo espacio vectorial provisto de una aplicaci on sobre los reales no negativa, llamada norma, que cumple las condiciones que se mencionan a continuaci on: (E K + T P ) Estr. espacio vectorial) N : E R (E K + T P N ) := N (x) = 0 x = e x N (x) : N (x) = ||N (x) N (xT y ) N (x) + N (y ) N (x) := Norma del vector x A partir de las propiedades I , V I y V II del p arrafo 1.6.2 se concluye de inmediato que la funci on m odulo 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 funci on distancia d(zz ) = N (z z ) lo estructura como espacio m etrico. d: C C R (z z ) N (z z ) = (C d) Estructura de espacio m etrico
La norma establece una elaci on directa entre los espacios vectoriales y los espacios m etricos. La importancia de este hecho reside en que con ello se asegura la continuidad de las operaciones vectoriales suma y producto externo.
1.8.
1.8.1.
Forma bin omica de los complejos

Isomorsmos entre estructuras
Se dice que una aplicaci on f del conjunto E sobre el conjunto E establece un isomorsmo entre las estructuras (E T ) y (E T ), donde T y T son leyes de composici on interna denidas respectivamente sobre E y E , cuando: a. f es biyectiva b. La composici on interna T de la aplicaci on de dos elementos de E sobre E es igual a la aplicaci on sobre E de la composici on interna T de dichos elementos de E , es decir: f (a T b) = f (a) T f (b)
En resumen: E = {abc . . . } T : E E E E = { a b c . . . } ((E T ) (E T ) f ) Estructuras isomorfas := T : E E E f : E E f biyectiva a a : a T b a T b R+ R
Ejemplo: La funci on logaritmo natural 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 funci on f puede establecer un isomorsmo entre las estructuras (E T P ) y (E T P ) dotadas cada una de ellas con dos leyes de composici on interna, cuando: E = {abc . . . } T : E E E P : E E E E = { a b c . . . } T : E E E ((E T ) (E T ) f ) Estructuras isomorfas := P : E E E f : E E f biyectiva a 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 funci on pr1 que se llamar a primera proyecci on, 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
Demostraci on. Se demuestra en primer lugar que la relaci on pr1 es una aplicaci on biyectiva.
(x, 0) = (x , 0) Enseguida se ver a como la aplicaci on pr1 establece el isomorsmo. 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
Observaci on 1: El par (x, 0) no es un n umero real a pesar de que es frecuente denominarlo as , en un evidente abuso de notaci on. El complejo (x, 0) es el correspondiente al real x a trav es del isomorsmo denido. Observaci on 2: Es inmediato demostrar a partir del isomorsmo estudiado entre C1 y R que tambi en puede establecerse otro isomorsmo entre los complejos con segunda componente nula y los reales a trav es de la funci on: pr2 : {(0, y )} R (0, y ) y
como se verica considerando las leyes respectivas se suma pero no las leyes de multiplicaci on.
1.8.3.
Forma bin omica de los n umeros complejos
Todo n umero complejo puede descomponerse en la suma de otros dos, con segunda y primera componente nula, respectivamente: (x y ) = (x 0) T (0 y ) Por el otro lado tambi en se verica (0 y ) = (y 0) T (0 1) y entonces se concluye que un n umero complejo puede ser representado como: (x y ) = (x 0) T ((y 0) P (0 1)) que es la llamada forma cartesiana o bin omica de los n umeros complejos. Es conveniente tomar: i := (0 1) Queda entonces: (x y ) = (x 0) T ((y 0) P i) Este resultado, conjuntamente con el isomorsmo estudiado en 1.8.2 induce a pensar la posibilidad de la existencia de un isomorsmo entre el conjunto de los complejos C y el conjunto de los binomios x + iy operados formalmente con las reglas del algebra de los n umeros reales. En efecto, deniendo al conjunto de los nuevos entes x + iy , B := {x + iy : x R , y R} la funci on f : C B (x y ) x + iy establece un isomorsmo entre (B + ) y (C + ) donde + y son las leyes de composici on interna sobre el conjunto B, denidas en forma conveniente de acuerdo al algebra de los n umeros reales. 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 nalarse u nicamente que es necesario convenir que: i2 := 1 Observaci on 1: Debe tenerse sumo cuidado de no entrar en confusiones con las dos deniciones hechas de i porque sin distintas. Se ha usado la misma letra solamente por razones tradicionales. En el primer caso se ha denido sobre el conjunto de los complejos i = (0 1) lo cual lleva a i2 = i P i = (1, 0) y por lo tanto de acuerdo a la Observaci on 1 del p arrafo 1.8.2 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 denici on operacional de elementos de C sino de entes de B, el s mbolo i2 representa a: i2 = i i es decir, un producto con respecto a la ley en B. Y se establece a contrario sensu: i2 = 1 El planteo del isomorsmo de las estructuras es: (C T P ) Cuerpo complejo +: 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 demostraci on de este isomorsmo surge directamente de la denici on de las leyes de composici on interna denidas sobre B. La denominaci on de forma bin omica del n umero complejo es justicada con claridad por el isomorsmo demostrado.
22
Se remarca que la importancia de este resultado reside en que la forma bin omica permite operar con los n umeros complejos como simples n umeros reales, con la condici on de sustituir en la multiplicaci on a i2 por 1. Observaci on 2: No debe olvidarse que del mismo modo que el complejo (x 0) y el real x son nociones diferentes, tambi en lo son el complejo (x y) y el binomio x + iy . Sin embargo es usual confundirlos en evidente abuso de notaci on. Esto no produce dicultades al operar con complejos si se toman las precauciones del caso. Llegado a este punto del texto en el cual se han estudiado las diferencias y relaciones existentes entre las leyes de composici on interna complejas y reales, se usar an, por razones tradicionales, a partir de ahora los signos + y tambi en para las primeras siempre que ello no induzca a confusiones.
1.9.
Representaci on geom etrica de los complejos
De la misma manera que no puede establecerse diferencia entre el n umero real x y el punto x de una recta, tampoco existe ninguna diferencia entre el n umero complejo (x y ) y el punto (x y ) del plano R R. Se comprende que a partir de este razonamiento, no puede hacerse ninguna distinci on entre el algebray la geometr a. La representaci on geom etrica de un n umero complejo es sencillamente otra forma de simbolizarlos, es decir, otra forma de escribirlos o representarlos. Sin embargo, hist oricamente ha sido, y todav a es, un modelo muy conveniente para estudiar e interpretar las relaciones entre los complejos. Por lo tanto, es importante el manejo uido de los complejos teniendo siempre presente su signicado geom etrico. La representaci on m as frecuente de R2 es en coordenadas cartesianas ortogonales, mediante un plano que se denominar a plano complejo. Un n umero complejo z = (x y ) es representado por un punto del plano de coordenadas: x = Re(z ) y = Im(z ) como abscisa como ordenada
Observaci on 1: Debe observarse que de acuerdo a las apreciaciones hechas m as arriba, las palabras n umero complejo y punto del plano son sin onimos. Tambi en son equivalentes los t erminos R R y plano, primera componente y abscisa, segunda componente y ordenada, etc.; que se usar an indistintamente a lo largo del texto. En el plano complejo a los ejes x e y se los denomina real e imaginario respectivamente. De acuerdo a las convenciones establecidas para la representaci on en coordenadas cartesianas , el 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: Representaci on del complejo (x y ) en el plano cartesiano.
Observaci on 2: La denominaci on de forma cartesiana como equivalente de la bin omica surge evidentemente de la representaci on gr aca de los complejos. El origen de coordenadas representa al par (0 0) Otra interpretaci on del complejo z puede ser la de segmento orientado con origen en (0 0) y v ertice en el punto (x y ). La representaci on polar permitir a estudiar en detalle este nuevo enfoque. Esta simple observaci on destaca como la representaci on geom etrica ayuda a estudiar las propiedades del n umero complejo. En este caso, la relaci on entre el conjunto C y los espacios vectoriales como segmentos orientados.
1.10.
Forma Polar de un N umero Complejo. Propiedades
Los n umeros complejos (x y ) pueden ser representados de otras maneras, adem as de las ya vistas. Dada una funci on biyectiva 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 representaci on del primer par. En particular adquieren importancia por su facilidad de operaci on la forma polar, y su derivada, la forma exponencial.
1.10.1.
Forma Polar de un N umero Complejo
En el plano complejo puede observarse con ayuda de la representaci on geom etrica, que cualquier par (x y ) = (0 0) puede ser denido por otro par (r ) cuyos elementos son: r := Distancia al origen de coordenadas w := Angulo formado entre el segmento o z y el eje x El par (r ) dene las llamadas coordenadas polares del n umero complejo. Al par (0 0), origen de coordenadas, se asignan convencionalmente los valores: r=0 = 1
24
donde 1 es un n umero real arbitrario. La primera coordenada polar, r, representa entonces la distancia d(z e), es decir el m odulo de z estudiado en 1.6.3.
y z r x y
Figura 1.2: Representaci on del complejo z en coordenadas polares.
r := |z | = d(z e) r := m odulo de z El m odulo de z est a denido para cualquier n umero complejo, a un el (0 0), por la aplicaci on: || : C R
(x y ) |z | =
x2 + y 2
ya estudiada anteriormente. La segunda coordenada polar , que como se dijo, representa el angulo entre el segmento o z y el eje x. Debe elegirse entonces anal ticamente, de manera que satisfaga el sistema: r cos() = x r sen() = y A todos los valores de , ra ces del sistema, se los llama argumento de z . arg(z ) := : arctan y x
arg(z ) := argumento del complejo z La soluci on de este sistema, no est a un vocamente determinada en , pues si 1 es soluci on, tambi en lo es 1 + 2k : k Z ( angulos congruentes entre s ). Por lo tanto, para establecer una relaci on uno a uno entre las coordenadas cartesianas y las polares, debe
25
asignarse un s olo valor de argumento a cada punto, por ejemplo de la siguiente manera: 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 ) := Determinaci on principal del argumento de z o valor principal. Esta determinaci on llamada principal del argumento de z se identica por el s mbolo Arg(z ), encabezado con A (may uscula). Observaci on 1: La funci on Arctan : R (/2 , /2) x Arctan(x)
escrita con A may uscula, es por convenci on la determinaci on principal de la funci on multiforme (que por lo tanto no es una aplicaci on) {x , arctan(x)}, relaci on inversa de la tangente: tan : R {(n + 1/2) : n Z} x R tan(x)
En resumen, la transformaci on biyectiva 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 funci on inversa de F es: F 1 : (r ) (x y ) = (r cos , r sen ) a partir de la cual puede deducirse la forma bin omica a: x + iy = r (cos + i sen ) llamada forma polar o forma trigonom etrica del n umero complejo. Observaci on 2: Para denir las coordenadas polares, podr a elegirse cualquier otra determinaci on del argumento de z , en vez de la principal, obteni endose resultados equivalentes. Las diferentes determinaciones tienen tambi en su utilidad, como por ejemplo para el c alculo de logaritmos 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 umeros complejos es condici on necesaria y suciente de la igualdad de sus respectivos m odulos y argumentos. Un concepto que no debe confundirse con el de igualdad es el de congruencia. Se dice que dos complejos expresados en forma polar, son congruentes ; con distinta o igual determinaci on del argumento, cuando son correspondientes de un mismo punto del plano complejo. Esto 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 s olo en el caso de la igualdad de los argumentos. Es decir que dos complejos expresados en forma polar con m odulo no nulo (z = (0 0)) son congruentes, cuando tienen los m odulos iguales y sus argumentos dieren en una cantidad entera de 2 . En el caso de que el m odulo sea nulo, esta es condici on suciente para la igualdad de dos complejos; con independencia del valor de los respectivos argumentos. r=0 (r ) r=0 (r ) (r ) r = r = 0 (r ) r = r =
Observaci on 3: No debe perderse de vista la diferencia existente entre la igualdad y la congruencia. En algunos casos, donde debe destacarse esta diferencia, se han creado articios especiales. Por ejemplo, puede suponerse que al plano polar de los complejos (r ) se le hace corresponder uno o m as planos cartesianos (uno para cada determinaci on) que geom etricamente se tienen por superpuestos. Estos planos se llaman de Riemann, y son una forma de establecer una correspondencia biun voca aplicable para trabajar con funciones multiformes.
1.10.3.
Producto en forma polar. Cociente
Una primera aplicaci on donde la forma polar es particularmente ecaz es en el producto complejo: r(cos + i sen ) r (cos + i sen ) = r r ((cos cos sen sen ) + i(cos sen + cos sen )) = r r (cos( + ) + i sen( + )) donde se comprueba que: I. El m odulo del producto es igual al producto de los m odulos, teorema ya demostrado en 1.6.3 II. Una de las determinaciones del argumento del producto es igual a la suma de los argumentos de los factores
27
Aqu , la suma de los argumentos puede cambiar la determinaci on elegida, pero no afecta los resultados en cartesianas. esto es un ejemplo de la ventaja de la creaci on de articios como los mencionados en la Observaci on 3 de este apartado. En rigor, si se deseara mantener la determinaci on principal para el argumento del producto, se debe convenir: + > + + > Arg(z z ) = + + + + La forma polar tambi en es de sencilla aplicaci on para la obtenci on del cociente de dos complejos, con divisor no nulo, donde se generaliza la expresi on del producto r = 0 r(cos + i sen ) r = (cos( ) + i sen( )) r (cos + i sen ) r
1.10.4.
Potencia en forma polar. Radicaci on
En el caso de potencia natural, aplicando la f ormula del producto y el principio de inducci on completa, se obtiene: (r(cos + i sen ))n = rn (cos n + i sen n) expresi on que puede generalizarse para todo n entero si se conviene: 1 z La f ormula de la potencia se puede emplear tambi en para la extracci on de la ra z en esima de un complejo no nulo. En efecto, si un complejo r (cos + i sen ) es ra z en esima de otro complejo r(cos + i sen ), estos satisfacen: z 1 := (r (cos + i sen ))n = r(cos + i sen ) equivalente a un sistema en coordenadas polares, cuya soluci on no es u nica para n > 1 pues existen diversas determinaciones que lo satisfacen y que originan ra ces diferentes: rn = r n = + 2k se sigue r = r1/n =
+2k n
kZ
a partir de la cual se obtiene la expresi on de la ra z, + 2k + 2k + i sen ) n n la cual produce n umeros complejos diferentes para todo k < 0, n 1 >. 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 u ltima de las f ormulas halladas, permite generalizar la expresi on de la potencia, ahora tambi en para exponentes fraccionarios. (r(cos + i sen ))1/n = r1/n (cos
28
1.10.5.
Interpretaci on geom etrica de las operaciones complejas
Suma y diferencia Dados dos complejos z y z , representados como segmentos orientados, su suma z + z est a representada por la diagonal del paralelogramo de acuerdo con el diagrama anexo. La suma geom etrica de dos n umeros complejos se reduce entonces a la ley del paralelogramo. La representaci on de los complejos por medio de segmentos orientados permite observar claramente su caracter stica de estructura vectorial. El signicado geom etrico de la diferencia de dos complejos es f acil de interpretar a partir de la suma. En el segundo gr aco se ha representado esta operaci on. Un buen ejercicio es analizar los signicados geom etricos del neutro de la suma y del opuesto de un complejo.
y z
z z+z y z y x x x

z z z x
Figura 1.3: Representaci on geom etrica de la suma de dos complejos.
Figura 1.4: Representaci on geom etrica de la diferencia de dos complejos.
Producto y cociente El producto dedos complejos se puede representar recordando que: a. El m odulo del producto es el producto del m odulo de los factores.
b. El argumento del producto es la suma del argumento de los factores. A partir de esta construcci on se obtiene tambi en por analog a la representaci on del cociente. Un caso particular de inter es es la construcci on de la rec 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: Representaci on geom etrica del producto de dos complejos.
Potencia y radicaci on entera La representaci on gr aca de la potencia es simplemente una aplicaci on reiterada de la realizada para el producto. Es de mayor inter es el an alisis de la radicaci on. Las n ra ces en esimas no congruentes de un complejo (r ) tienen: a. M odulo: r1/n , igual para todas las ra ces; lo que signica que se hallan sobre una circunferencia de radio r1/n . b. Argumento:
k < 0, n 1 >. Una ra z tiene argumento /n, el resto se ubica sobre la 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 ces quintas de un complejo (r )
z1 (r ) z0 r z2 2/5 2/5 /5 x r 1/n z4 z3 Figura 1.6: Ra ces quintas de un n umero complejo z .
1.11.
Forma exponencial de un n umero complejo
Una nueva expresi on de la forma polar, llamada forma exponencial, tiene gran importancia debido a la simplicidad operativa que entra na su empleo. Ejemplo de ello es que toda la trigonometr a puede deducirse en forma inmediata de las propiedades de la forma exponencial. Otra aplicaci on para destacar es la denici on del logaritmo y de la potencia en el campo complejo, que se hace por medio de dicha forma exponencial.
30
1.11.1.
Expresi on de la forma exponencial
La base de la forma es la f ormula de Euler: ei = cos + i sen la cual permite introducir a la forma exponencial de un n umero complejo como: r ei := r(cos + i sen ) r ei := forma exponencial de un n umero complejo La validez de esta expresi on se reduce a la discusi on de la f ormula de Euler, que se hace a continuaci on.
1.11.2.
Denici on de la funci on ez
Los caminos para llegar a la f ormula de Euler son dos, basados ambos en la denici on de la funci on compleja ez Primer m etodo de denici on de ez : El primer m etodo consiste en la denici on de la funci on ez por medio de una serie:
+
ez :=
k=0
zk z z2 zn =1+ + + + + ... k! 1! 2! n!
que se estudiar a en el cap tulo espec co. Esta serie es entera, es decir convergente para cualquier complejo z . A partir de la denici on se pueden vericar las propiedades: z = x = ez = ex que muestra como la exponencial compleja se reduce a la real cuando z tambi en lo es. Adem as (z z ) = ez+z = ez ez

que es la propiedad fundamental de la funci on ez , llamada ley de los exponentes, que tambi en es cumplida x en el campo real por la funci on e . Ambas propiedades muestran como con esta denici on de ez se obtiene un extensi on de la funci on x real e al campo complejo, manteni endose sus principales propiedades. Una tercera propiedad que se obtiene de la serie, tomando z = x + iy y recordando los desarrollos de las funciones reales cos y y sen y es la f ormula de Euler y = eiy = cos y + i sen y Observaci on 1: La introducci on de la f ormula de Euler para obtener la forma exponencial, se justica por la gran simplicidad que implica su empleo en el producto complejo; donde se reduce dicha operaci on al algebra de los exponentes: r(cos + i sen ) r (cos + i sen ) = r ei r ei

= r r ei(+ ) = r r (cos( + ) + i sen( + ))
1.11. FORMA EXPONENCIAL DE UN NUMERO COMPLEJO
31
Esta es la raz on del porqu e adelantar la denici on de ez como una serie. No debe pensarse por ello, sin embargo, que se ha ca do en un c rculo vicioso, porque los desarrollos posteriores para llegar a dicha serie no son afectados por el uso que se har a de la forma exponencial. Esta forma puede ser considerada sencillamente como una expresi on formal (una forma de escribir) de la forma polar, para ser usada como regla mnemot ecnica en el producto de dos complejos. El segundo m etodo se basa en un enfoque de esta ndole para denir la f ormula de Euler. Segundo m etodo de denici on de ez : Las dicultades de la introducci on anticipada de una serie para denir ez se obvian con una denici on de tipo formal como la que sigue: ez := ex (cos y + i sen y ) Las propiedades principales de ez deducidas anteriormente tambi en se obtienen como corolario de esta denici on: z=x (z z ) y = = = ez = ex e z +z = e z e z

eiy = cos y + i sen y
y adem as es en el cap tulo de series se podr a demostrar que: ez = 1 + z z2 zn + + + + ... 1! 2! n!
Observaci on 2: Hay otro razonamiento, de tipo heur stico, para indicar la razonabilidad de este segundo m etodo de denici on de ez . Si se desea hacer una extensi on de la funci on real ez al campo complejo de modo tal que se mantengan las siguientes propiedades: a. Para z real la funci on ez se reduce a ex . b. Se mantiene la validez de la ley de los exponentes. c. Se mantienen las propiedades formales de la derivaci on del campo real en el campo complejo. el problema se reduce a la denici on de la exponencial eiy (f ormula de Euler) por ser: ex+iy = ex eiy de acuerdo con la ley de los exponentes y sabiendo que ex es la funci on de variable real conocida. Por ser eiy un n umero complejo se tiene: eiy = u(y ) + iv (y ) derivando como en el campo real, i eiy = u (y ) + iv (y ) eiy = u (y ) + iv (y ) obteni endose entonces el sistema 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 soluci on u nica: u(y ) = cos y v (y ) = sen y Este razonamiento por supuesto no es una demostraci on, sino es una orientaci on a la denici on de la exponencial eiy .
1.11.3.
El producto, el cociente y la potencia de complejos en forma exponencial.
Empleando la forma exponencial; el producto, el cociente y la potencia entera en el conjunto de los complejos, adquieren su expresi on m as reducida. r ei r ei = r r ei(+ )

r ei r i( ) e = i r e r (r ei )n = rn ei n
1 1 +2k n
(r = 0) )
(r ei ) n = r n ei(
f ormulas que se verican f acilmente por su reducci on a la forma polar y que son ejemplo de la facilidad de operaci on que entra na la forma exponencial.
1.12.
Conjugado de un complejo
Se dene como conjugado de un n umero complejo z a otro n umero complejo, simbolizado por z , de igual parte real y parte imaginaria opuesta. z := (x, y ) z := Conjugado de z La funci on conjugado de z , denida por:
C C z z = (x, y ) = x iy I. z1 + z2 = z1 + z2
es biyectiva y adem as cumple
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 )
Gr acamente, el conjugado de un complejo z es el sim etrico respecto del eje x.
Y z r y
x r y
Figura 1.7: Conjugado de un n umero complejo.
En coordenadas polares, el conjugado es el complejo de igual m odulo y argumento opuesto. Por lo tanto para la forma exponencial resulta: z = r ei z = r ei La noci on de complejo conjugado aparece en la resoluci on de ecuaciones algebraicas con coecientes reales, donde las ra ces o son reales, o son complejas conjugadas. Adem as de esta aplicaci on, el conjugado se introduce por la comodidad que implica su empleo en las operaciones de producto y cociente de acuerdo a las propiedades VI y VII.
34
Cap tulo 2
Elementos de Topolog a en el Campo Complejo

Como ha sido desarrollado en el p arrafo 1.6, el conjunto de los complejos C conforma estructura de espacio m etrico. M as en particular, es un espacio eucl deo; al denirse sobre el una distancia de acuerdo con la expresi on pitag orica que caracteriza dichos espacios. De este hecho se arrastra entonces que en C puede construirse una estructura topol ogica, que acoplada a la caracter stica de cuerpo, permite llegar al desarrollo de los conceptos de continuidad y diferencial. Es conveniente, por lo tanto, analizar la aplicaci on de los elementos b asicos de topolog a al campo complejo.
2.1.
Denici on de bola
En un espacio m etrico general se dene como bola de centro c y radio r, cuyo s 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 tambi en disco, y desde el punto de vista geom etrico representa un c rculo de centro en el complejo c y radio r, sin la circunferencia |z c| = r. Observaci on: Conviene se nalar que en la denici on de bola (tambi en llamada bola abierta ) es indispensable que las desigualdades sean estrictas (r > 0 y d(x c) < r), porque en caso contrario carecer an de sentido las deniciones posteriores de puntos interiores, exteriores y fronteras, como as tambi en las deniciones de puntos de acumulaci on y aislados, con todas las consecuencias resultantes.
35
36
CAP ITULO 2. ELEMENTOS DE TOPOLOG IA EN EL CAMPO COMPLEJO
De la denici on de bola se implica inmediatamente que su centro siempre le pertenece y por lo tanto 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 m etrico (y en particular C) que contenga 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 denici on se extraen dos consecuencias inmediatas: a. Toda bola B (c r) es un entorno de c. B (c r) = B (c r) Entorno de c
b. La existencia de un entorno de c es condici on necesaria y suciente de la existencia de una bola de centro c. U (c) B (c r)
2.3.
Vecinal de un punto c
Se llama vecinal (o tambi en entorno reducido ) de un punto c, en un espacio m etrico (en particular C), a todo entorno de c al cual se le excluye el mismo punto c.
DE PUNTOS: INTERIORES, EXTERIORES Y FRONTERA 2.4. CLASIFICACION
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.
Observaci on 1: Es usual representar a A
C {c}, por la notaci on de conjuntos A B := A C { c}
con ella la notaci on de vecinal se expresar a: V (c) = U (c) {c} Observaci on 2: Se ha preferido el empleo del t ermino vecinal (del franc es voisinage ), en vez del m as com un entorno reducido, porque este u ltimo puede inducir a error. En efecto, cuando a un sustantivo se agrega un adjetivo, se establece una subclase particular de la clase general 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. Observaci on 3: A diferencia de los entornos que nunca pueden ser vac os, los vecinales si pueden serlo
2.4.
Clasicaci on de puntos: Interiores, exteriores y frontera
Los puntos de un espacio m etrico E pueden ser clasicados como: puntos interiores, puntos exteriores o puntos frontera de un conjunto A (incluido en E ) seg un la relaci on de inclusi on que puede establecerse entre los entornos del punto y el conjunto A. Las deniciones son las siguientes: Un punto se dice que es interior a un conjunto, cuando existe un entorno suyo que es parte del conjunto. Es decir, existe un entorno del punto en el cual todos sus puntos pertenecen al conjunto. Un punto se dice que es exterior a un conjunto cuando existe un entorno suyo, que es parte del complemento de dicho conjunto en el espacio m etrico considerado. Es decir, existe un entorno del punto que no contiene ning un punto del conjunto. Un punto se dice que es frontera de un conjunto (al cual puede o no pertenecer) cuando no existe ning un entorno del punto incluido totalmente en el conjunto o en su complemento. Esto quiere decir que
38
en todo entorno de un punto frontera, hay puntos del conjunto y puntos del complemento del conjunto.
(E d) Estr. Espacio M etrico 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: Clasicaci on de puntos en un espacio m etrico.
Observaci on 1: La noci on de interior establecida a trav es de la denici on de punto interior, es relativa al espacio dentro del cual se dene. Por ejemplo, el centro de un c rculo plano (conjunto A) es un punto interior del mismo si se toma como espacio m etrico de referencia al plano mencionado, pero no es un punto interior del conjunto A si se toma como espacio de referencia a R3 . Observaci on 2: Conviene remarcar que un punto frontera puede o no pertenecer al conjunto del cual es frontera. La clasicaci on de puntos introducida permite ahora denir: 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 partici on del conjunto E porque: IN T (A) EXT (A) = EXT (A) F R(A) = F R(A) IN T (A) = IN T (A) EXT (A) F R(a) = E IN T (A) := {a : a Pt. interior a A}
De esta manera se comprueba que la clasicaci on de puntos de un espacio m etrico en interiores, exteriores 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 m etrico E se dice que es punto de adherencia de un conjunto A E cuando cualquier entorno suyo contiene puntos del conjunto A. (E d) Estr. Espacio M etrico 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.
Clasicaci on de puntos de adherencia
Los puntos de adherencia de un conjunto A E se clasican en dos tipos: puntos de acumulaci on y puntos aislados. Estos conceptos tienen particular importancia por su aplicaci on en la denici on de l mite y convergencia, como as en otros temas que se tratar an en el texto. Esta segunda clasicaci on para los puntos de un espacio m etrico (reducida a los puntos de adherencia) se caracteriza porque se realiza de acuerdo a la relaci on de inclusi on que puede establecerse entre los vecinales de un punto y el conjunto A. La clasicaci on realizada en 2.4 ten a en cuenta los entornos de un punto en vez de los vecinales. Un punto se dice que es de acumulaci on de un conjunto A, cuando la intersecci on de cualquier vecinal suyo con el conjunto A no es vac a. Es decir, en todo vecinal del punto de acumulaci on hay puntos pertenecientes al conjunto A. Es claro que todo punto de acumulaci on es de adherencia. Un punto perteneciente al conjunto A se dice que es aislado cuando existe un vecinal suyo cuya intersecci on con A es vac a. Esto signica que existe un vecinal del punto que no contiene ning un punto del conjunto A. (E d) Estr. Espacio M etrico AE a Pt. de acumulaci on de A := a Pt. aislado de A := V (a) = V (a) A = aA V (a) : V (a) A =
DE PUNTOS DE ADHERENCIA 2.6. CLASIFICACION
41
Observaci on 1: La noci on de punto de acumulaci on nos es relativa al espacio dentro del cual se dene (comparar con Observaci on 1 del punto 2.4) Un punto que tiene esa cualidad, la mantiene si se extiende el espacio a un superconjunto del primero. Las deniciones que se han introducido de punto de acumulaci on y punto aislado permiten ahora crear dos nuevos conjuntos:
Pt. aislado
Pt. acumulaci on Figura 2.5: Puntos aislados y puntos de acumulaci on del conjunto A.
ACU M (A) := {a : a Pt. acumulaci on de A} AISL(A) := {a : a Pt. aislado de A} ACU M (A) := Conjunto de puntos de acumulaci on de A AISL(A) := Conjunto de puntos aislados de A
Observaci on 2: El conjunto de puntos de acumulaci on de A suele llamarse tambi en derivado de A, o tambi en clausura de A. 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 partici on del conjunto ADH (A). Esto permite escribir el siguiente teorema: a Pt. adherencia de A a Pt. acumulaci on de A a / Pt. aislado de A De esta manera se verica que la clasicaci on de puntos de la adherencia en acumulaci on y aislados es exhaustiva. Adem as de esto, no debe olvidarse que los puntos de adherencia se pueden dividir en interiores y frontera.
42
2.7.
Conjuntos abiertos y conjuntos cerrados
La condici on de abierto y/o cerrado de un conjunto denido en un espacio m etrico, se introduce para establecer una caracter stica de su frontera. En el primer caso, ning un punto de la frontera pertenece al conjunto, en el segundo caso le pertenecen todos. Se dene entonces: Un conjunto se llama abierto si ning un punto de su frontera le pertenece. Un conjunto se llama cerrado si todos los puntos de su frontera le pertenecen.
A Cr := F R(A) A = F R(A) A Cr := A es un conjunto cerrado A Ab := A es un conjunto abierto
A Ab := F R(A) A =
Observaci on 1: Esta clasicaci on no es exhaustiva, ni debe pensarse que ambas caracter sticas no pueden cumplirse simult aneamente. 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: Clasicaci on de conjuntos seg un contengan o no a sus fronteras.
Basta analizar para ello que si la frontera est a compuesta por puntos del conjunto y por puntos del complemento, no es ni abierto ni cerrado el conjunto en cuesti on. 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 simult aneamente. Son los que no tienen frontera: el universo E y el conjunto vac o . Observaci on 2: Los conceptos de conjunto abierto y cerrado dependen del espacio m etrico E , pues de acuerdo con la Observaci on 1 realizada en 2.4 la noci on de interior es relativa al espacio de referencia E . Por ejemplo, en una extensi on del espacio E , un punto interior se puede transformar en frontera, seg un el caso mencionado en 2.4. Observaci on 3: La terminolog a usada por los textos en toda esta tem atica es todav a muy diversicada. En cada caso se aconseja precisarla para evitar confusiones. Un sin onimo de conjunto cerrado es conjunto completo.
2.8. CONJUNTO ACOTADO Y CONJUNTO COMPACTO
43
Algunos teoremas que el lector puede demostrar como ejercicio son: A Ab A = IN T (A)
F R(A) C A
A Cr A = ADH (A)
A = ACU M (A) F R(A) A = A B Ab = A B Ab = A B Cr = A B Cr
A Ab B Ab A Cr
B Cr
A Ab C A Cr Es interesante ver tambi en como se caracterizan, de acuerdo con las deniciones de conjunto abierto y cerrado, algunos de los conjuntos creados en los p arrafos precedentes B (c r) Ab
IN T (A) Ab EXT (A) Ab
ADH (A) Cr ACU M (A) Cr AISL(A Cr Observaci on 4: Como se ha visto, toda bola de un espacio m etrico es un conjunto abierto. Esta es la raz on por la cual tambi en suele designarse como bola abierta.
F R(A) Cr
2.8.
Conjunto acotado y conjunto compacto
Un conjunto de un espacio m etrico se llama acotado si existe una bola B (c r), de radio nito, que lo contenga. Visto de otra manera, un conjunto es acotado cuando el supremo de la distancia entre dos cualesquiera de sus puntos est a acotado. A Acotado := B (c r) : r<k A B (c r)
A Acotado sup[ d(z z ) ] < r : (z z ) A2
44
Los conjuntos cerrados y acotados juegan un papel muy importante por sus propiedades particulares. Por esta raz on se los designa con el nombre de compactos. A Compacto := A Cr A Acot
Si un conjunto es compacto y est a incluido en un abierto, entonces para todo punto del compacto puede construirse una bola con centro en ese punto y que est e contenida en el abierto A Compacto D Ab = x A B (x r) D AD
Este teorema no es cierto para los conjuntos no acotados y tampoco para los conjuntos que no son cerrados. En los conjuntos compactos se pueden generalizar los teoremas de funciones continuas de una variable real denidas sobre un intervalo determinado, a funciones reales de varas variables y continuas, denidas sobre un compacto. Por ejemplo, una funci on f real y continua denida sobre un compacto A cumple: f est a acotada f alcanza su m aximo y su m 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 tambi en para la extensi on de otros conceptos de variable compleja.
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 trav es de la funci on inversi on:
inv :
C {0} C {0} z 1/z
denida sobre todo el campo complejo excepto el origen de coordenadas. Esta funci on es una biyecci on de C {0} a C {0}, y tiene la propiedad de transformar a:
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 transformaci on que produce la inversi on. En particular, el segundo caso muestra como el c rculo |z | < a se convierte en el conjunto |z | > 1/a, por supuesto que hacemos excepci on del origen.
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 funci on inversi on.
El an alisis geom etrico indica que un medio de interpretar a |z | > r como un c 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 trav es de la funci on inversi on. b. Se considera que la parte exteriorde un c rculo es tambi en un c rculo. De esta manera, la funci on inversi on se generaliza, pudiendo enunciarse entonces: Todo c rculo que no tiene por frontera el origen se transforma en otro c rculo. Adem as, la inversi on da el medio de reducir el estudio de las funciones para valores no acotados de la variable al entorno de 0. Desde el punto de los espacios m etricos, la idea anterior signica una extensi on de los conceptos de 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 inversi on de la siguiente forma: : Inv : C {} C {} 1/z z 0
z = 0, z = z=0 z=
:= Punto innito o punto impropio Esta funci on tambi en es biyectiva 2o Se dene bola de centro en : B ( r) := {z : |z | > r} Con esta denici on se extienden autom aticamente los conceptos de entorno y de vecinal al punto innito, siempre en el conjunto C {}. Cabe se nalar, sin embargo, que V () est a compuesto totalmente por puntos de C y por ende es una noci on aplicable en ese conjunto.
2.9.2.
Conjunto Complejo Extendido
Se llama conjunto complejo extendido a: := C {} C := Conjunto complejo extendido C , postulando: Algebraicamente, se puede intentar extender las deniciones de suma y producto a C aC b=0 +a= a+= b= b = z/ = 0 z/0 =
Quedan sin denir + y 0 , porque se vulnerar an las leyes de la aritm etica. De todos modos, no alcanza ni la estructura de espacio estas deniciones son de relativa ecacia porque el conjunto C 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 trav es de una equivalencia que puede establecerse entre el plano complejo y una esfera tangente a el, llamada esfera de Riemann. La equivalencia se establece en lo siguientes t erminos:
48
Si se proyectan, con centro en N , los puntos de la esfera sobre el plano, se dene una aplicaci on biyectiva 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 aplicaci on puede extenderse tambi en a N si se dene un nuevo elemento arbitrario que le corresponde, es decir, el punto innito. f : Esf C Z
z Z=N Z=N
Las caracter sticas m as destacadas de esta correspondencia son: I. La esfera tambi en es un espacio m etrico, provisto de una distancia denida por la geod esica entre dos puntos (m nima distancia). II. A circunferencias en el plano C le corresponden circunferencias sobre la esfera que no pasan por N . , le corresponde un entorno del punto Z (aplicaci III. A un entorno del punto z del plano C on de z ) de la esfera de Riemann.
N y
N y
Figura 2.10: Proyecci on estereogr aca de una circunferencia que no pasa por el origen de coordenadas.
Figura 2.11: Proyecci on estereogr aca de una circunferencia que pasa por el origen de coordenadas.
Esta u ltima es la propiedad m as importante y se hace una de ella cuando se desea interpretar a un entorno del punto innito a trav es de la equivalencia plano complejo - esfera de Riemann. En la gura 2.11 se muestra como un casquete esf erico con centro en el punto N (bola del espacio m etrico constituido por la esfera) se transforma en una bola del plano complejo con centro en el punto innito.
49
Si el casquete esf erico no contiene a N se transforma en un c rculo plano. Observaci on 1: La proyecci on usada se llama estereogr aca, y por esta raz on a la esfera de Riemann se la suele llamar tambi en esfera estereogr aca.
2.9.4.
Diversas acepciones de innito
La palabra innitotiene una gran variedad de acepciones en el lenguaje matem atico y en el lenguaje corriente. El innito complejo no debe ser confundido po lo tanto con otros signicados dados de innito. Algunos de los diferentes sentidos que se le atribuyen son: 1o Dado un conjunto D incluido en R, se dice que tiene cota superior k si: DR k cota sup. D := k R : x D = x
Se dice que el conjunto D tiene extremo superior innito cuando no est a acotado. Esta primera acepci on de innito se reere a una propiedad de un conjunto real, la de no estar acotado. Este concepto puede ser generalizado a cualquier conjunto ordenado y por lo tanto no puede serlo en el campo complejo. An alogamente, puede decirse que un conjunto D real tiene por extremo inferior a menos innito cuando no existe cota inferior. 2o Una segunda denici on de innito se emplea al agregar al conjunto de los reales des elementos nuevos llamados m as innito (+ )y menos innito (), para conformar el conjunto de los . reales extendidos, simbolizado por R . Se establece convencionalmente la extensi on de la suma y el producto a R 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 interpretaci on de innitotiene un paralelo con la vista en 2.9.2 pero son concepciones dis se crea un solo elemento, el innito complejo, tintas. Basta ver para ello que para pasar del C al C se crean dos: m mientras que en el caso de extender R a R as innito y menos innito. Tampoco en el caso de R se alcanza la estructura de cuerpo.
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 un signicado particular. En el contexto de f (x) tiende al l 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 este p arrafo se aconseja no usar desprejuiciadamente el t ermino innito, y es conveniente precisar en cada caso su signicado.
Cap tulo 3
Funciones de Variable Compleja. Continuidad y L mite

3.1. Funciones de variable compleja
Se llama funci on de variable compleja a una aplicaci on cuyo dominio D y rango R son subconjuntos de C. La notaci on habitual para este tipo de funciones es z = (x y ) para representar a un elemento de D y w = (u v ) para un elemento de R. D C R C f func. var. compleja := f: D R z = (x y ) w = (u v ) = f (z )
Se desprende de la denici on que u y v , partes real e imaginaria de w, son sendas funciones reales de dos variables. f: z f (z ) = u(x y ) + i v (x y )
Observaci on 1: Para designar a las funciones de variable compleja es usual tambi en emplear el t ermino funci on compleja.
3.2.
Interpretaci on geom etrica
El an alisis geom etrico de las funciones de variable compleja requiere de cuatro dimensiones: dos para la variable z y dos para la variable w. Una soluci on para ello es representar los elementos del dominio de la funci on sobre un plano (llamado |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: Transformaci on de regiones en R2 mediante una funci on de variable compleja.
De esta manera puede decirse que una funci on de variable compleja establece una relaci on entre un punto z del plano |z y un punto w del plano |w . Una forma de caracterizar geom etricamente a las funciones de variable compleja es a trav es de la representaci on de las transformaciones que produce a curvas y conjuntos en general, de un plano a otro. Esta representaci on es u til para resolver diversos problemas f sicos de campos y potenciales. Ejemplo: Para analizar un caso determinado, se elige la funci on: f: C C
z z 2 = x2 y 2 + i 2xy
que dene el sistema: u = x2 y 2 v = 2xy Para caracterizar la transformaci on se eligen dos familias de rectas, la primera de las paralelas al eje y (familia 1 ), y la segunda de las paralelas al eje x (familia 2 ). La funci on z 2 transforma las familias 1 y 2 del plano |z en las familias 1 y 2 , respectivamente, del plano |w , que representan familias de par abolas como se demuestra a continuaci on. x = k 1 y = y yR x = x 2 y = k xR 2 2 u = k y 2 z 1 v = 2ky yR 2 2 u = x k z2 2 v = 2kx xR v2 2 u = k 4k 2 u 0 v=0 v2 2 u = 4k 2 k u 0 v=0 k=0 k=0
k=0 k=0
La funci on z 2 transforma rect angulos del plano |z en rect angulos de lados parab olicos en el plano |w . Se mantienen los angulos salvo en el caso cuando z = 0.
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 estudiar an en los pr oximos cap tulos. El lector puede vericar que las familias 1 y 2 son ortogonales entre s .
y z
A A
1
1
Figura 3.2: Transformaci on de caminos mediante la funci on f (z ) = z 2 .
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 funci on acotada a aquella cuyo m odulo tiene cota superior. f Acotada := k R : z D = |f (z )| < k k := Cota del m odulo de la funci on Se llama funci on peri odica de per odo T a aquella que cumple: f Peri odica := T C : f (z + T ) = f (z )
54
3.3.2.
Ejemplos
En el transcurso del texto ya se han visto diversas funciones complejas como: Parte real Parte imaginaria M odulo de z Argumento de z Conjugado de z Inversi on las que se completar an con algunas otras de empleo frecuente: 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 denici on es una extensi on de los polinomios reales. Como en ese caso n se llama grado del polinomio. Funci on racional
Rac :
C {r : Qm (r) = 0} C z
Pn (z ) Qn z
La funci on racional est a denida entonces por el cociente de dos polinomios con dominio v alida s olo para aquellos complejos que no anulan el denominador. Exponencial La denici on de la funci on exponencial ha sido discutida detalladamente en el apartado 1.11.2. Si se sigue la segunda orientaci on all presentada, se tiene: exp : C C
z ez = ex cos y + i sen y
3.3. FUNCIONES DE VARIABLE COMPLEJA. CARACTER ISTICAS Y EJEMPLOS
55
denici on v alida sobre todo el campo complejo, como extensi on de la funci on exponencial real. 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 peri odica con per odo T = 2i Funciones trigonom etricas A partir de la funci on exponencial pueden extenderse al campo complejo las funciones trigonom etricas reales: sen : C C z cos :
eiz eiz 2i
C C z
eiz + eiz 2
Las dem as funciones trigonom etricas, tangente, cotangente, secante y cosecante se denen a partir de las anteriores, formalmente igual a sus hom onimas reales. El desarrollo de la funci on sen en forma bin omica es: 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 funci on no acotada. Para estas funciones se prueba: sen2 z + cos2 z = 1 sen(z + z ) = sen(z ) cos(z ) + cos(z ) sen(z ) cos(z + z ) = cos(z ) cos(z ) sen(z ) sen(z ) adem as, tanto sen z como cos z tienen per odo real 2 .
56
Funciones hiperb olicas Como extensi on de las funciones hom onimas reales se dene en el plano complejo a las funciones seno hiperb olico y coseno hiperb olico : senh : C C z cosh :
(ez ez ) 2
C C z
(ez + ez ) 2
Las restantes funciones hiperb olicas se denen tambi en de la manera habitual. Estas funciones se relacionan con las trigonom etricas a trav es de: sen z = i senh(iz ) cos z = cosh(iz ) y son evidentemente peri odicas con per odo 2i. Queda a cargo del lector el an alisis de las propiedades semejante a las de las funciones trigonom etricas y exponencial.
3.4.
3.4.1.
Continuidad
Denici on
Para dotar de rigor al tratamiento del c alculo integral, diferencial, sucesiones, series, etc. es necesario precisar la noci on de continuidad. Esta, es una de las ideas m as importantes y fascinantes del an alisis matem atico, que ha abierto la necesidad y el camino para nuevos cursos de estudio y creaci on, entre ellos por ejemplo los espacios m etricos y los espacios topol ogicos en general. Para introducirse en la concepci on de la noci on de continuidad es m as sencillo pasar por el signicado de su opuesto l ogico: la falta de continuidad. Un primer acercamiento a la idea podr a ser : Los puntos x pr oximos al punto a no tienen una aplicaci on f (x) pr oxima a f (a).
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: Funci on de una variable compleja discontinua en a.
Figura 3.3: Funci on de una variable real discontinua en a.
Sin embargo, esta expresi on carece de sentido porque la palabra proximidades indenida, y tiene en el lenguaje corriente un signicado relativo al contexto de referencia. Lo que puede ser pr oximo en un caso, puede no serlo en otro. La noci on de distancia con la consiguiente denici on de entorno es la que permite dotar de rigor a las deniciones buscadas. Se puede decir con precisi on entonces para una funci on f: D R X Y = f (X )
donde D y R son subconjuntos de los espacios m etricos E y E , si dado un entorno de f (a), U (f (a)), no puede encontrarse ning un entorno de a, U (a), de modo tal que todos los elementos de U (a) D, tengan aplicaci on en U (f (a)), entonces la funci on f es discontinua en a. Simb olicamente: f / C/a f / C/a := := U (f (a)), U (a) : x U (a) D = f (X ) U (f (a)) La funci on f no es continua en a
En el gr aco anterior se han representado dos ejemplos de discontinuidad, uno para una funci on de variable real, y otro para una funci on de variable compleja. Sobre el rango de cada una de las aplicaciones se ha coloreado la imagen de U (a), que como se observa no est a incluida en U (f (a)). El opuesto l ogico de esta denici on nos asegura que no hay salto, es decir que la funci on es continua. La denici on es v alida para cualquier funci on f entre dos espacios m etricos o subconjuntos de dichos espacios m etricos. Se incluye como caso particular, por supuesto, a los casos de funciones reales de una 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
Observaci on 1: Debe observarse que en la denici on no se exige ninguna condici on especial al punto a, salvo que pertenezca al dominio de la funci on para que exista f (a). Observaci on 2: En la denici on se interseca a U (a) con D, dominio de la funci on, para asegurar que para los puntos X considerados exista imagen f (X ). En particular, el conjunto U (a) D nunca es vac o porque por lo menos contiene al punto a. A partir de la denici on de continuidad se extrae el siguiente teorema: Teorema 3.4.1. Toda funci on es continua en los puntos aislados de su dominio. a Pt. aislado D = f C/a Demostraci on. Por denici on de Pt. aisl: U (f (a)) U (a) : U (a) D = {a} Luego X U (a) D X { a} = = f (a) U (f (a))
Observaci on 3: Se ha introducido la noci on de continuidad precediendo al concepto de l mite por dos razones: 1o Porque desde un punto de vista heur stico el l mite es una extensi on de la noci on de continuidad, y tambi en por ello desde el punto de vista pedag ogico se puede explicar y entender mejor dicho concepto. 2o Hay funciones continuas que no tienen l mite, las denidas sobre un punto aislado. Para el caso particular de funciones de variable compleja, la denici on de continuidad se puede reducir a una forma operativa, tomando como entornos a bolas con centro a y f (a) respectivamente en los planos |z y |w . U (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 denici on de continuidad se refer a a un punto espec co a del dominio de la funci on. Si esta propiedad se puede extender a un conjunto de puntos, se dice que la funci on es continua sobre el, y se escribe: f C/A := a A = f C/a f C/A := La funci on f es continua sobre el conjunto A.
3.5. L IMITE
59
3.5.
3.5.1.
L mite
Denici on de l mite
Puede hacerse una extensi on del concepto de continuidad a los puntos de acumulaci on del dominio de una funci on f (pertenezcan o no a el), cuando existe un elemento L del espacio E (donde se aplica f ), que pueda hacer las veces de f (a) en la denici on de continuidad. No se toma en cuenta lo que sucede en a, punto para el cual puede existir o no la funci on. Es decir, el l mite L es el valor hipot etico que habr a que asignarle al punto a para que la funci on fuera en el continua. Por supuesto esto no siempre es posible y en ese caso se dice que no existe el l mite. La terminolog a usada para expresar la existencia de tal n umero L es: f (X ) tiende a L cuando X tiende a a. La frase X tiende a ano tiene signicado propio sino como parte de la expresi on anterior. Simb olicamente se dene entonces: f: D R : DE R E
a Pt. acumulaci on de D f (X ) L := U (L) , V (a) : X V (a) D = f (X ) U (L)

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

X a
Otra notaci on usual para representar a la denici on de l mite es:

X a
l m f (X ) = L
Observaci on 1: La diferencia formal de esta denici on con respecto a la de continuidad es que se ha 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 funci on en a y tampoco, en caso armativo, cual es ese valor f (a). Observaci on 2: Para asegurar el sentido de la denici on de l mite, es necesario que V (a) D = . Esta es la raz on para postular que el punto a debe ser de acumulaci on de D. De acuerdo a la Observaci on 2 del p arrafo 3.4.1 esto no era necesario en la denici on de continuidad. Observaci on 3: La denici on del l mite de una funci on no permite su obtenci on, sino simplemente su vericaci on. El llamado c alculo de l mitesse reduce a la aplicaci on de teoremas que ligan l mites de funciones conocidas y tabuladas. La denici on de vecinal de innito en el plano complejo permite la extensi on de la denici on de l mite a ese caso sin necesidad de modicaciones. En particular, si la denici on de l 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| <
z a
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

z a
La u ltima expresi on signica que en el vecinal del punto a la funci on no est a acotada. La relaci on entre las deniciones de continuidad y l mite est a dado por el siguiente teorema: Teorema 3.5.1. Para que una funci on f : D R sea continua en un punto a de acumulaci on de D, es condici on necesaria y suciente que exista l mite de la funci on para X tendiendo a a, que exista f (a) y tambi en que el l mite sea igual al valor de la funci on f (a). H1 f (X ) L X a a Pt. acum D H2 f : a f (a) f C/a H L = f (a)
3
Demostraci on. En primer lugar se encara la condici on necesaria f C/a = Eligiendo V (a) V (a) = U (a) {a} Resulta entonces: a f (a)
U (f (a)) , U (a) : X U (a) D = f (X ) U (f (a))
a ACU M (D) = V (a) D =
U (f (a)) , V (a) : X V (a) D = f (X ) U ((f (a))) Aplicando la denici on de l mite, se observa que existe y es f(a) L = f (a) Se pasa a la condici on suciente H1 = U (L) , V (a) : X V (a) D = f (X ) U (L) H3 = U (f (a)) , V (a) : X V (a) D = f (X ) U (f (a)) H2 = {a} = {a} D = f (a) U (f (a)) Eligiendo entonces U (a) = V (a) {a}
3.5. 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 funci on es continua. Que a es un punto de acumulaci on est a impl cito en la denici on de l mite. H1 = a Pt. acumulaci on de D
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 m etricos permite demostrar una sola vez propiedades que son comunes a determinados conjuntos. Esto tambi en signica que si dos conjuntos tienen leyes de composici on formalmente iguales, las propiedades y teoremas demostrados para uno son v alidos para el otro. Muchas de las propiedades estudiadas en las funciones reales pueden ser extendidas. En el caso de las funciones compuestas en cualquier espacio m etrico, el l mite de una funci on compuesta es igual a la composici on de los l mites. En cuanto a la continuidad, la composici on de dos funciones 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: Composici on de funciones de una variable compleja.
Demostraci on. La existencia de la funci on compuesta est a asegurada porque R D . H2 = U (g (f (a)) , U (f (a)) : Y U (f (a)) D = g (Y ) U (g (f (a))) H1 = U (f (a)) , U (a) : X U (a) D = f (X ) U (f (a))
62
Eligiendo en la segunda expresi on un U (f (a)) conveniente U (g (f (a))) , U (a) : X U (a) D = g f (X ) U (g (f (a))) La continuidad y el c alculo de l mites para las operaciones vectoriales se extiende a todos los espacios normados. Esta es la relaci on esencial entre las dos estructuras del espacio normado, la m etrica y la vectorial. 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 denici on de l mite y teniendo en cuenta que N ((f + g ) (F + G)) N (f F ) + N (g G)
N (f F ) = || N (f F ) N (f f ) = | | N (f )
Todas las propiedades vistas hasta el momento pueden ser aplicadas a funciones complejas. Pero, adem as, como las deniciones de continuidad y de l mite hechas para dichas funciones, coinciden formalmente con las correspondientes a las funciones reales de una variable. La consecuencia de este an alisis es que la continuidad y el c alculo de l 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 extensi on de las funciones reales de una variable es an alogo. Un teorema relativo al l mite de la parte real e imaginaria de una funci on de variable compleja es: Teorema 3.5.3. Una funci on de variable compleja tiende a un l mite si y s olo si su parte real tiende a la parte real del l mite, como as tambi en la parte imaginaria tiende a la parte imaginaria del l mite. u(x y ) U z a u(x y ) + i v (x y ) U +iV z a v (x y ) V
z a
Demostraci on. La condici on suciente se puede demostrar directamente a partir del teorema del l mite de la suma, pero adem as se puede demostrar directamente a partir de |(u + i v ) (U + i V )| |u U | + |v V |
Como puede acotarse el segundo miembro por la suma de dos n umeros arbitrarios, reales no negativos, el primer miembro tambi en est a acotado arbitrariamente, y por lo tanto hay l mite.
3.6. CURVAS EN EL CAMPO COMPLEJO. CAMINOS Y LAZOS
63
Del mimo modo la condici on necesaria: |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 an alogo al anterior existen los l mites de la parte real e imaginaria de la funci on compleja y son U y V , respectivamente. Una consecuencia inmediata de este teorema es la siguiente: Corolario 3.5.3.1. Una funci on compleja es continua si y s olo si son continuas sus partes real e imaginaria. u C/a v C/a u + i v C/a
3.6.
Curvas en el campo complejo. Caminos y lazos
Para el desarrollo de la derivaci on e integraci on en el campo complejo, se trabaja con conjuntos tales como curvas, caminos, lazos,etc. conceptos que conviene precisar y analizar con detenimiento.
3.6.1.
Continuidad por partes de funciones reales
Una funci on de variable real, se dice que es continua por partes sobre un intervalo cerrado y acotado (compacto) [a b] cuando salvo para un n umero nito de puntos es continua sobre dicho intervalo, y adem as en los puntos de discontinuidad existen los l mites de la funci on por la derecha y por la izquierda. No es necesario para esta denici on que la funci on tome valores en los puntos de discontinuidad. Simb olicamente: k < 0, n >
f CP
[a b]
:= f : I = [a, b] {ak } Rn :
f C I k , f (a+ m f (x) k ) = l
xak
x>ak
a = a0 < a1 < a2 < < an = b
f (a m f (x) k ) = l
xak
x<ak
f CP
[a b]
:= La funci on f es continua por partes sobre el intervalo [a b]
Observaci on: De acuerdo con la denici on, el intervalo I se puede descomponer en un n umero nito de 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 un Cauchy se extiende como suma de un n umero nito de integrales 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 aplicaci on continua de un intervalo real cerrado y acotado (compacto) [a b] sobre el conjunto de los complejos C, con la condici on adicional de que la aplicaci on tenga derivada continua por partes. Camino := : I = [a b] C a = b t x(t) + i y (t) : C [a b] CP [a b]
Observaci on: Por ser CP entonces

b
(t) = C +
a
(s) ds
La terminolog a usada con relaci on a los caminos es la siguiente: (a) := Origen del camino o extremo inicial. (b) := Extremo nal del camino. t := Par ametro Tambi en se suele expresar que es un camino que une los puntos origen (a) y el extremo (b). Desde el punto de vista geom etrico (t) describe una trayectoria (I ) (imagen de I ) con las caracter sticas: I. C c = 0
III. La trayectoria puede tener puntos m ultiples, es decir, para diferentes valores de t puede corresponderle el mismo par (x y ). Ejemplo el punto m.
/ 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 denici on u til para los desarrollos posteriores es: Camino contenido en D := Camino : (I ) D
3.6.3.
Lazo
Se dice que un camino es un lazo cuando los extremos son iguales: Lazo := Camino : (a) = (b) Es usual decir tambi en que el lazo tiene origen en (a).
(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 funci on e imagen de la funci on. Puede haber varios caminos con la misma curva. Si un camino pasa varias veces por un mismo punto (para diferentes valores del par ametro t), corresponden un s olo elemento de la curva (un s olo elemento de (I )).
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.
Observaci on: La diferencia de las nociones de camino y curva es importante y debe ser tenida en cuenta en el c alculo de integrales complejas. Caminos diferentes con igual imagen pueden dar resultados diferentes.
3.6.5.
Caminos opuestos y yuxtapuestos
Camino opuesto Un camino se llama opuesto de otro 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 geom etrico, la curva que representa al camino y a su opuesto es la misma, pero recorrida en sentido inverso.
67
Caminos yuxtapuestos Un camino es la yuxtaposici on de otros dos 1 y 2 cuando al extremo del primero es el origen del segundo y se 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 yuxtaposici on de 1 y 2 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 denici on que si := 1 2 entonces se cumple (a) = 1 (a) (b) = 1 (b) = 2 (c) (b + d c) = 2 (d) Un camino puede ser considerado como la yuxtaposici on de otros dos, obtenidos dividiendo el intervalo de la siguiente manera: : [a b] C c : a < c < b = = 1 2 1 : [a c] C 2 : [c b] C
Eligiendo un punto c de este modo, se puede considerar un lazo tambi en como yuxtaposici on de dos caminos, 1 2 . El camino 2 1 tambi en es un lazo, pero de origen en el punto (c).
68
3.6.6.
Ejemplos de caminos
Algunos casos de inter es particular son: Camino constante Se dice que un camino es constante si su imagen se reduce a un solo punto. Camino constante := (I ) = {a} Arco de circunferencia unidad Esta funci on es: 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 p arrafo 3.6.4). Si = 0 la funci on se reduce a un camino constante. Segmento El cl asico segmento de recta se representa anal ticamente por: Sgm : I = [a b] C t ct + d
c C, d C
Poligonal o l nea quebrada Toda yuxtaposici on de segmentos se llama poligonal. a = a0 < a1 < < an = b P = S1 S2 Sn 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 u ltima condici on es la de yuxtaposici on, pues Sk (ak ) = Sk+1 (ak ).
69
3.6.7.
Camino simple. Lazo simple
Un tipo de camino particularmente importante es el que se llamar a camino simple o arco de Jordan. As se designa a todo camino determinado por una funci on inyectiva, esto signica geom etricamente que no hay puntos m ultiples, hecha excepci on de los extremos del camino. 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 biyecci on creciente entre los respectivos intervalos de denici on, de acuerdo con las condiciones 1 : I1 = [a b] C 2 : I2 = [c d] C biyectiva (1 2 ) Caminos equiv. := creciente C/I2 : I2 I1 : CP/I2 2 (t) = 1 ((t))
70
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 denici on I = [0 1].
3.7.
Conjuntos conexos
Un conjunto D de un espacio Rn se dice conexo, cuando todo par de puntos de D puede ser unido por un camino contenido en D. D Rn (a) = x D Conexo := n ( x y ) D D = : I = [ a b ] R : (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. Geom etricamente algunos ejemplos son:
A B E
Figura 3.11: Ejemplo de conjuntos conexos.
Figura 3.12: Ejemplo de conjuntos no conexos.
3.8.
3.8.1.
Homotop a de caminos y lazos

Homotop a de caminos
La idea de homotop a entre dos caminos signica intuitivamente que puede pasarse de uno a otro a trav es de una deformaci on continua.
3.8. HOMOTOP IA DE CAMINOS Y LAZOS
71
Matem aticamente puede denirse: 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 hom otopos en D por la homotop a := Homotop a de 1 y 2 en D
1 (I )
2 (I )
Figura 3.13: Homotop a de los caminos 1 y 2 en D
Observaci on: Se destacan algunas particularidades de la denici on de caminos hom otopos: 1 y 2 est an denidos sobre el mismo intervalo I . es continua respecto de dos variables, (t s) I J . No se exigen condiciones de derivaci on para salvo las impuestas a 1 y 2 .
3.8.2.
Homotop a de lazos
Se llama homotop a de lazos a aquella que para todo elemento de J da un lazo. Esto signica que todos los caminos de la homotop a son lazos. (1 2 ) h (D ) := (1 2 ) h(D ) : s J = (a s) = (b s) (1 2 ) h (D ) := 1 y 2 son hom otopos por la homotop a de lazos en el conjunto D.
72
Observaci on: Si D D puede no existir homotop a en D, pero si en D . Tanto la homotop a de caminos como la de lazos son relaciones de equivalencia. Su vericaci on es inmediata
1 (I )
2 (I )
Figura 3.14: Homotop a de los lazos 1 y 2 .
3.8.3.
Homotop a a un punto
Se dice que un lazo es hom otopo a un punto en D si existe una homotop a de lazos de dicho lazo al lazo constante (cuya imagen es un punto). (1 2 ) h (D ) := (1 2 ) h (D ) : 2 (I ) = {P }
3.9.
3.9.1.
Clasicaci on de conjuntos conexos en C

Conjuntos simplemente conexos
Un conjunto D del plano complejo, abierto y conexo se dice que es simplemente conexo cuando todo lazo contenido en el es hom otopo a un punto. Es decir, sobre D existe una sola clase de equivalencia de homotop a de lazos, que adem as es homotop 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
) Conexo D Simplemente conexo = C (D/C
Figura 3.15: Conjunto simplemente conexo.
3.9.2.
Conjuntos m ultiplemente conexos
Un conjunto se llama m ultiplemente conexo cuando no es simplemente conexo.
DE CONJUNTOS CONEXOS EN C 3.9. CLASIFICACION
73
Desde el punto de vista intuitivo signica que tiene uno o m as agujeros. Ejemplos: Un anillo en el campo complejo. Una bola en el campo complejo sin su centro.
Figura 3.16: Conjunto m ultiplemente conexo.
La denici on de conjuntos m ultiplemente conexos es el contrario l ogico de la denici on de simplemente conexo. Esto quiere decir que tiene que haber m as de una clase de equivalencia de lazos hom otopos. Tal observaci on permitir a una clasicaci on de los conjuntos m ultiplemente conexos. Otro m etodo para ello es por medio de cortaduras, que se ver a a continuaci on.
3.9.3.
Cortadura
Se llama cortadura en un conjunto abierto y conexo, a la exclusi on del mismo de un camino simple (arco de Jordan) cuyos puntos deben ser todos interiores con excepci on de los extremos, que pueden no serlo. 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 ultiplemente conexo a la m nima cantidad de cortaduras que deben hacerse para transformarlo en simplemente conexo. El grado de multiplicidad tambi en es llamado orden de conexi on. La cantidad de clases de lazos hom otopos est a relacionada con el grado de multiplicidad.
Figura 3.18: Conjunto con grado de multiplicidad=3
74
En efecto, q = 2n q := Cantidad de clases de lazos hom otopos n := Grado de multiplicidad de conexi on Esta relaci on puede usarse para denir el grado de multiplicidad sin introducir el concepto de cortadura. Observaci on: Algunos textos denen como orden de conexi on a n 1. Intuitivamente, el grado de multiplicidad representa la cantidad de agujerosque tiene un conjunto m ultiplemente conexo.
Cap tulo 4
Derivaci on en el Campo Complejo

4.1. Derivaci on
DC RC
Dada una funci on de variable compleja, f : D R :
se dene como derivada de la funci on f en un punto a del dominio D, simbolizada por f (a), a: f (a) :=
z 0
l m
f (a + z ) f (a) z
f (a) := Derivada de f en el punto a Cuando existe la derivada, es decir el l mite del cociente incremental, se suele decir que la funci on f es derivable en el punto: f DER/a := f (a) f DER/a := La funci on f es derivable en el punto a Observaci on: La denici on anterior de derivada es formalmente igual a la de funci on de una variable real. Sin embargo, a pesar de que se aprovechar a la semejanza formal para extraer conclusiones sobre algunas propiedades de la derivada de las funciones de variable compleja, no debe caerse en un an alisis supercial.
V (a) V (a) D
Figura 4.1: Incremento de z a trav es de un camino .
La denici on de derivada para variable compleja lleva impl cito que el l mite es doble, es decir, el incremento z debe tomarse sobre todo un vecinal V (a) en su intersecci on con el dominio.
75
76
EN EL CAMPO COMPLEJO CAP ITULO 4. DERIVACION
que tiene derivada nula en el origen seg un cualquier direcci on, pero no por un camino parab olico y = kx2 , 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 condici on necesaria pero no suciente, como se verica en la funci on, 3 2 2 x y +i x y z=0 4 2 4 x + y2 f : z f (z ) = x + y 0 z=0
4.2.
Diferencial
Se dice que una funci on de variable compleja f es diferenciable cuando su incremento f puede escribirse: f DIF/a f DIF/a := f = A z + (z )z : AC (z ) 0
z 0
:=
La funci on f es diferenciable en el punto a
La denici on de diferenciabilidad signica que el incremento de una funci on puede escribirse como la suma de: Producto de una constante A por el incremento de la variable z . Producto de un innit esimo (z ) por el incremento de la variable z . y por lo tanto la diferenciabilidad asegura la aproximaci on lineal de la funci on f . Esta es la importancia del diferencial, que se dene como df := A z df := Diferencial de f Observaci on: La denici on de diferenciabilidad de THOMAE para funciones de varias variables reales, particularizando el ejemplo a dos dimensiones, es: u: D R
(x y ) u(x y ) : D C AR BR 1 0
z 0 z 0
u DIF/(a b)
:=
u = A x + B y + 1 x + 2 y :
2 0
u DIF/(a b)
:=
La funci on u es diferenciable en el punto (a b)
4.2. DIFERENCIAL
77
Este enunciado pone en evidencia que la diferenciabilidad asegura la aproximaci on lineal de la funci on u. Desde el punto de vista geom etrico, dicha aproximaci on lineal se materializa en la existencia de plano tangente para varias variables y recta tangente para una. La derivabilidad en variable real signica geom etricamente que existe la tangente en una sola direcci on, mientras que el diferencial asegura la existencia de todas las tangentes (en las direcciones donde puede incrementarse) y adem as ligadas todas entre s , por pertenecer a un mismo plano. Por esta raz on, el segundo concepto tiene mucha m as importancia que el primero. Las propiedades que se enuncian a continuaci on marcan algunas de las diferencias existentes entre ambos conceptos. Teorema 4.2.1. f DIF/P = f C/P Demostraci on. La demostraci on es inmediata aplicando la denici on de diferencial. La derivabilidad no arrastra la continuidad. Pueden existir funciones diferenciables no derivables (sin derivadas parciales) y tambi en funciones derivables, a un en todas las direcciones sin ser diferenciables.
y
El primer caso se presenta cuando el dominio de la funci on est a restringido, y no puede incrementarse en la direcci on de los ejes, sin embargo en todas las dem as direcciones las tangentes denen un plano. Este caso s olo puede presentarse en puntos de frontera.
Figura 4.2: Dominio restringido de una funci on de variable compleja.
El segundo caso es aquel en el cual las tangentes no est an en un plano, por ejemplo en el v ertice de un cono. Si se obvian los problemas de frontera, la diferenciabilidad implica la derivabilidad. Esta es la raz on por la cual se postula que el punto P es interior y se trabaja con conjuntos abiertos m as adelante. (a b) Pt. interior de D f DIF/(a b) = A B
= fx = fy
No es cierto que una funci on de varias variables reales, continua y derivable sea diferenciable. Basta analizar el caso del v ertice del cono. Pero si es v alido,
fx C
fy C
= f DIF
78
es decir, si una funci on admite derivadas continuas es diferenciable (en rigor es suciente la continuidad de una sola derivada y la existencia de ambas). En funciones de una variable real, el concepto de derivada y diferencial se confunden, porque hay una sola tangente. Lo mismo se produce en funciones de variable compleja como se ver a a continuaci on, pero 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.
Relaci on entre derivada y diferencial. Existencia
Teorema 4.3.1. Dada una funci on de variable compleja f , condici on necesaria y suciente de derivabilidad es la diferenciabilidad. f DER/a f DIF/a Demostraci on. Se demuestra la condici on suciente: f f (a) = (z ) z | (z )| < f (a) C = f = f (a)z + (z )z
con lo cual se cumple la denici on de diferencial. La condici on necesaria: f = Az + (z )z f A 0 z 0 z Por lo tanto existe derivada, que adem as es igual a la constante A f (a) = A : AC 0
z 0
Observaci on 1: En la demostraci on anterior no es necesario que el punto a sea interior al dominio D. Condici on necesaria y suciente de diferenciabilidad es que las funciones u y v (parte real e imaginaria de f ) sean diferenciables y que se veriquen las igualdades siguientes: ux uy = vy = vx
ENTRE DERIVADA Y DIFERENCIAL. EXISTENCIA 4.3. RELACION
79
llamadas com unmente de Cauchy-Riemann. En este caso es necesario que se asegure la posibilidad de incrementar la funci on en direcciones paralelas al eje x y al eje y. Seg un la observaci on realizada en 4.2 es condici on suciente que el punto sea interior a D. Esto da paso al siguiente teorema: Teorema 4.3.2. u DIF/c v DIF/c ux = vy uy = vx
f DIF/c
Demostraci on. Por ser f DIF y tomando A = a + ib: f = A z + z u + iv = (a + ib)(x + iy ) + (1 + i2 )(x + iy ) u = ax by + 1 x 2 y v = bx + ay + 2 x + 1 y u DIF/c v DIF/c a = ux = vy b = vx = uy
Esta condici on es necesaria y suciente como resulta de observar la doble implicaci on entre todas las proposiciones. Este teorema demuestra entonces que la diferenciabilidad (o derivabilidad) de f no s olo implica la diferenciabilidad de u y de v sino adem as una estrecha relaci on entre ellas dada por las ecuaciones de Cauchy-Riemann. Observaci on 2: Las condiciones que ligan las derivadas de la parte real e imaginaria de una funci on compleja, 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 un caminos rectos paralelos a los ejes coordenados.
2
En efecto, seg un la observaci on hecha en el p arrafo 4.1, una funci on compleja que es derivable (diferenciable) 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 funci on a trav es de caminos rectos paralelos a los ejes.
80
En particular, seg un los dos caminos 1 , 2 paralelos a los ejes: f u + iv = z x + iy 1 { y = 0 2 { x = 0 f z f z =

1
u + iv ux + ivx = fx = f (a) x0 x u + iv 1 (uy + ivy ) = fy = f (a) y 0 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 hip otesis de continuidad de las derivadas parciales de u y de v de acuerdo a la observaci on del p arrafo 4.2, entonces u y v son diferenciables, y por lo tanto: ux = vy vx = uy = f DIF ux C Observaci on 3: De acuerdo a lo mencionado en 4.2 es suciente la continuidad de una sola derivada parcial.
4.4.
Derivaci on y continuidad
Teorema 4.4.1. Toda funci on de variable compleja f derivable, es continua. f DER/a = f C/a Demostraci on. La demostraci on es consecuencia inmediata de la diferenciabilidad. f DER = |f | < |A z | + | z |
Este teorema es semejante al de una variable real. Para funciones de varias variables reales no es cierto. La diferenciabilidad en todos los casos, funciones de uno o varias variables reales y complejas, implica la continuidad.
4.5.
Funciones mon ogenas y holomorfas
Todas las propiedades y conceptos desarrollados hasta el momento son de car acter local o puntual. Para entender el an alisis diferencial a conjunto conviene precisar nuevas deniciones.
4.5. FUNCIONES MONOGENAS Y HOLOMORFAS
81
Las funciones derivables en un punto y en un entorno del mismo tienen especial inter es en la teor a de las funciones potenciales y en la teor a de integrales complejas de Cauchy. Se dice que una funci on es mon ogena en un punto a si tiene derivada en ese punto. La monogeneidad es sin onimo de derivabilidad. f mon ogena/a := f DER/a Se dice que una funci on de variable compleja es holomorfa si tiene derivada en todos los puntos de un entorno de a. f H/a := U (a) : z U (a) = f DER/z f H/a := f es holomorfa en el punto a A partir de las deniciones es evidente que: f H/a = f mon ogena/a Hay funciones que son mon ogenas pero no holomorfas Ejemplo I f: C C z |z |2 = x2 + y 2 son diferenciables pero las condiciones de Cauchy-Riemann s olo valen para z = (0 0) pues: vx = 0 vy = 0
u = x2 + y 2 v=0
ux = 2x uy = 2y Ejemplo II f: C C z x2 + iy 2
u = x2 v = y2
son diferenciables y las condiciones de Cauchy-Riemann s olo valen para la recta y = x porque: vy = 2y
ux = 2x uy = 0 vx = 0
Una funci on f es mon ogena sobre un conjunto D cuando es mon ogena en todos sus puntos. f M ON/D := z D = f mon ogena/z f M ON/D := f es mon ogena sobre el conjunto D Una funci on f es holomorfa sobre un conjunto D cuando es holomorfa en todos sus puntos. f H/D := z D = f H/z Observaci on 1: La monogeneidad sobre un conjunto D exige la derivabilidad sobre cada uno de sus puntos, incluso los frontera que pertenecen a el.
82
Para los abiertos ambos conceptos coinciden. Observaci on 2: Muchos autores no diferencian los conceptos de monogeneidad y holomorf a. En otros textos se confunde holomorf a con analiticidad. Se llama funci on anal tica a la desarrollable en serie de Taylor. Es claro que en principio las funciones anal ticas son conceptos diferentes de las funciones holomorfas. Sin embargo, uno de los grandes resultados de Cauchy fue probar la equivalencia de los conceptos de holomorf a y analiticidad sobre conjuntos abiertos y conexos en el campo complejo. Observaci on 3: El origen de la palabra mon ogena hace referencia a la propiedad que todas las derivadas direccionales son iguales (mono=uno, gena=generada). La palabra holomorfa signica de forma entera, en contraposici on de las funciones meromorfas, que se estudiar an m as adelante. Sin onimo de holomorfa es regular. Se dice tambi en que una funci on de variable compleja tiene un punto singular, cuando en el no es holomorfa.
4.6.
Reglas de derivaci on
Como la denici on de derivada para las funciones complejas es formalmente igual a la de funciones de una variable real, se implica que las reglas de la suma, multiplicaci on, divisi on (denominador no nulo), funci on de funci on, funci on inversa, etc. se extienden en forma an aloga al campo complejo. Por lo tanto, la suma, diferencia, producto o cociente (excepto el caso de denominador nulo) de funciones holomorfas sobre un abierto es tambi en holomorfo. En particular, los polinomios son holomorfos sobre todo el plano. Las funciones racionales, sobre todo su dominio, es decir el conjunto complementario de los ceros del denominador.
4.7.
4.7.1.
Holomorf a y ecuaci on de Laplace

Las componentes de una funci on holomorfa como funciones arm onicas
Sea f una funci on holomorfa en un punto a, si se hace la hip otesis suplementaria de la existencia y continuidad de las derivadas segundas de la parte real e imaginaria de f en el entorno de a (las funciones reales u y v respectivamente), entonces se verica: uxx + uyy vxx + vyy =0 =0
es decir, tanto u como v satisfacen la ecuaci on de Laplace. La ecuaci on de Laplace es la que aparece en el estudio de los potenciales gravitatorios, el ectricos, magn eticos, de velocidades en uidos, de la transmisi on del calor (r egimen estacionario), etc. Esta relaci on permite vislumbrar, la importancia de las funciones holomorfas en el an alisis de problemas bidimensionales de potencial.
DE LAPLACE 4.7. HOLOMORF IA Y ECUACION
83
Observaci on 1: Los an alisis realizados hasta el momento son de car acter puntual, pues han requerido solamente de la hip otesis de la monogeneidad de la funci on en un punto. Sin embargo, para el estudio de las relaciones existentes entre las componentes de una funci on compleja y las funciones que satisfacen la ecuaci on de Laplace, es necesario imponer condiciones de derivabilidad en el punto y tambi en en su entorno. Esto es, porque en primer lugar, para la existencia de las derivadas segundas en el punto es necesario que ux y uy puedan ser incrementadas en el entorno del punto. En segundo lugar, porque como se ver a es fundamental en la teor a de Cauchy, a trav es de la introducci on de la integral curvil 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. Observaci on 2: La hip otesis de continuidad de las derivadas segundas de u y v (o de alguna de ellas) hecha al comienzo del p arrafo es superua, porque como se demostrar a en el pr oximo cap tulo, toda funci on holomorfa tiene derivadas de todos los ordenes. Para llegar a este resultado, que una funci on holomorfa tiene derivadas de cualquier orden, y por ende continuas, no se usa en absoluto los desarrollos que siguen en este p arrafo. 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
Demostraci on. Derivando las ecuaciones de Cauchy-Riemann, la primera respecto de x y la segunda 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 an alogamente 2 v = 0 Una funci on real de dos variables, con derivadas parciales de segundo orden continuas, que satisface la ecuaci on de Laplace, se llama arm onica. C R u : uxx C/a u Arm onica/a := (x y ) u(x y ) : uyy C/a 2 u=0
84
Si una funci on es arm onica sobre todos los puntos de un conjunto D, se dice que es arm onica en D. u Arm onica/D := z D = u Arm onica/z Si dos funciones reales u y v son arm onicas y satisfacen en D las ecuaciones de Cauchy-Riemann, entonces se dice que v es conjugada arm onica de u. onica/D u Arm v Arm onica/D (u v ) Conjugadas arm onicas/D := ux = vy uy = vx
Teorema 4.7.2. Condici on necesaria y suciente para que una funci on sea holomorfa sobre un conjunto D es que su parte real e imaginaria sean conjugadas arm onicas en D. f H/D (u v ) Conjugadas Arm onicas/D Demostraci on. Que una funci on holomorfa tiene partes real e imaginaria (u v ) conjugadas arm onicas ya ha sido demostrado. Adem as, si u y v son arm onicas tienen derivadas primeras continuas ux , uy , vx , vy , que aseguran la diferenciabilidad de dichas funciones. Por lo tanto, de acuerdo al teorema 4.3.1, se implica que f es holomorfa. Es cierto entonces que las partes real e imaginaria de una funci on holomorfa no pueden ser arbitrarias, llevan una estrecha relaci on entre s , establecido por el concepto de conjugadas arm onicas.
4.7.2.
1o
Propiedades de funciones conjugadas arm onicas
Conviene remarcar en primer t ermino que si un par de funciones reales (u v ) son conjugadas arm onicas, el par (v u) no lo es. (u v ) Conjugadas arm onicas/a = (v u) / Conjugadas arm onicas/a es decir que no existe la simetr a en la relaci on de conjugadas arm onicas y en la expresi on v es conjugada arm onica de uno debe trastocarse el orden de las funciones. Pero por otra parte s se cumple el siguiente teorema: Teorema 4.7.3. (u v ) Conjugadas arm onicas/a (v u) Conjugadas arm onicas/a Demostraci on. La demostraci on es inmediata, teniendo en cuenta que, f H/a if H/a (u + iv ) H/a (v + iu) H/a Otra demostraci on es por vericaci on directa de las condiciones de Cauchy-Riemann.
85
2o Teorema 4.7.4. una funci on de variable compleja es constante si y s olo si su derivada compleja es nula, en un entorno de un punto. U (a) D kC = z U (a) , f (z ) = k f (z ) = 0
Demostraci on. La condici on suciente es inmediata, la condici on necesaria se demuestra, z U (a) = f (z ) = 0 = ux = 0 uy = 0
Aplicando el teorema del valor medio u = ux (a + z )x + uy (a + z )y [0 1]
El complejo a + z pertenece al entorno de a, y como en todo punto de dicho entorno las derivadas parciales se anulan, resulta: u = 0 = u = k1 an alogamente, v = k2 luego, f (z ) = k = k1 + ik2 k2 R k1 R
Es claro entonces que la conjugada arm onica de una constante es otra constante, arbitraria. 3o Teorema 4.7.5. La funci on v , conjugada arm onica de u, es u nica salvo constante. v : : (u v ) Conj. arm./D = v V = k kC
(u V ) Conj. arm./D
Demostraci on. Por denici on de conjugadas arm onicas: ux = vy = Vy uy = vx = Vx De acuerdo con el teorema 4.7.4, vV =k kC
86
4o Teorema 4.7.6. Una funci on holomorfa f , cuyas partes real e imaginara son respectivamente u y v , con derivada no nula, asegura que las familias
u(x y ) = k1 v (x y ) = k2
son trayectorias ortogonales entre s .
f (z ) = u + iv H/a f (z ) = 0
= (u(x y ) = k1 , v (x y ) = k2 ) Trayectorias ortogonales
Demostraci on. Basta vericar que a partir de las ecuaciones de Cauchy-Riemann: u v = ux vx + uy vy = 0 Expresi on que demuestra la ortogonalidad salvo en el caso de derivada nula1 .
Por lo tanto, si una funci on arm onica v es conjugada arm onica de otra u, en los campos vectoriales 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 arm onicas
En el gr aco se han representado las dos familias que son ortogonales entre s , salvo en z = 0. Este an alisis est a relacionado con las propiedades de las funciones complejas mencionado en 3.2 (ver ejemplo) y se explicar a en detalle en el estudio de la representaci on conforme en 4.9.
4.7.3.
Obtenci on de la conjugada arm onica de una funci on en el entorno de un punto
Un problema que se plantea es, dado un u (funci on real de dos variables y arm onica sobre un determinado conjunto), hallar otra funci on v que sea conjugada arm onica de u. Este problema, como veremos, siempre tiene soluci on sobre conjuntos abiertos conexos. Adem as, la soluci on es u nica (salvo constante) para el entorno de un punto, como se desprende del teorema 4.7.5. Este resultado se puede generalizar tambi en para conjuntos simplemente conexos. Con esta conclusi on se puede aseverar que cualquiera sea el m etodo empleado para obtener la conjugada arm onica, esta solo puede diferir en una constante. El problema planteado, de hallar la conjugada arm onica de una funci on u, es equivalente a cualquiera de estos planteos: a. Hallar una funci on potencial v , conocido su gradiente, v = (vx , vy ) = (uy , ux ) b. Hallar la familia de funciones ortogonales de la familia u(x y ) = k Estos problemas signican, en todos los casos, resolver la ecuaci on diferencial exacta dv = vx dx + vy dy que de acuerdo a las condiciones de Cauchy-Riemann, se transforma en: dv = uy dx + ux dy
88
Para la resoluci on de esta ecuaci on diferencial, pueden encararse diferentes m etodos que se desarrollan a continuaci on. Primer m etodo Con este m etodo se resuelve la ecuaci on diferencial en forma general, expresando v como integral curvil nea a lo largo de un camino contenido en un conjunto D, para el cual u es arm onica. Este an alisis, se reduce en primer lugar al caso de que D sea una bola en el campo complejo, pudiendo extenderse sin dicultad a conjuntos simplemente conexos y abiertos. El caso de conjuntos m ultiplemente conexos se estudiar a una vez analizada la integral en el campo complejo, sobre las cuales v puede no ser u nica. Sea una bola B (c r) del plano complejo, sobre la cual u es arm onica, entonces, existe una funci on de variable real que es conjugada arm onica de u. En primer t ermino conviene investigar, por medio de una discusi on heur 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 umero real, de manera tal que (x b) B y es una funci on de x que hace las veces de constante de integraci on. Derivando bajo el signo integral, posible porque las derivadas primera y segunda de u son continuas al ser arm onica, a efectos de aplicar la segunda condici on de Cauchy-Riemann:
y
vx (x y ) =
b
uxx (x t) dt + (x)
recordando adem as que uyy = uxx

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 integraci on. Se llega entonces a:
x y
v (x y ) =
a
uy (t b) dt +
ux (x t) dt + C
b
Esta es la soluci on del problema de hallar la funci on v , conjugada arm onica de u, sobre B (c r). 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 tambi en la circulaci on del vector v = (vx , vy ) = (uy , ux ) a lo largo de dicha poligonal v (x y ) =
(a b) B (c r )
Figura 4.5: Integraci on a trav es de un camino poligonal.
(uy , ux ) d
d = (dx, dy )
Este estudio de orientaci on permite justicar la denici on de una funci on v (x y ) como la integral curvil nea anterior, y a partir de all probar que sobre una bola del campo complejo, v es conjugada arm onica de u(x y ) y por lo tanto existe y es u nica, de acuerdo a 4.7.5 (salvo constante). Esta proposici on se demuestra a continuaci on. Teorema 4.7.7. u Arm onica/B (c r) Poligonal contenida en B
x
v (x y ) :=
a
uy (t b) dt +
Demostraci on. Derivando v respecto de y : vy (x y ) = ux (x y ) y tambi en respecto de x

y
ux (x t) dt
= (u v ) Conjugadas arm onicas/B
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 arm onicas. Este resultado puede generalizarse extendiendo la validez de v como integral curvil nea a lo largo de un camino gen erico contenido en conjuntos abiertos y simplemente conexos.
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 funci on potencial V (x y ). Es esencial que D sea simplemente conexo, pues en caso contrario no puede asegurarse la independencia del camino.
Figura 4.6: Reemplazo de un camino por otro poligonal.
Aplicando este teorema a nuestro caso, se obtiene: Teorema 4.7.8. D Abierto y simplemente conexo Camino contenido en D u Arm onica/D v (x y ) :=
uy dx + ux dy
Demostraci on. En primer t ermino se cumplen las hip otesis del teorema anterior, pues: u Arm onica/D = uxx , uxy , uyx , uyy C/D uyy = uxx
= (u v ) Conjugadas arm onicas/D
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 umero nito de segmentos paralelos a los ejes existe siempre porque, por hip otesis, D es abierto y conexo, y es cerrado y acotado (compacto). D Ab. Conexo = P : =
P
A partir de aqu puede aplicarse el resultado anterior del estudio sobre una bola (u v ) Conjugadas arm onicas/D Este an alisis se retomar a una vez estudiada la integral en el campo complejo. En particular se estudiar a el caso de los conjuntos m ultiplemente conexos.
91
Segundo m etodo Conociendo el resultado del m etodo anterior, que asegura la existencia de v , conjugada arm onica de u, sobre un conjunto abierto y simplemente conexo, puede aplicarse el procedimiento visto al comienzo del p arrafo anterior. Este m etodo, que suele convenir en la resoluci on de ejercicios, consiste en resolver el sistema de ecuaciones diferenciales: ux = vy uy = vx
por c alculo de primitivas (integraci on indenida), por ejemplo: 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 tambi en, de acuerdo a lo visto en el primer m etodo: (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 m etodo. Milne-Thomson. El m etodo de Milne-Thomson permite resolver en forma elegante y directa casos que con los m etodos anteriores son dicultosos. La demostraci on es una modicaci on de la original, y no es simple, pero la aplicaci on del m etodo, como se ver a, es muy sencilla. Como hip otesis se toma un conjunto abierto y simplemente conexo, que contenga el origen (0 0), para simplicar. Si no lo contuviera, el problema se reduce al primero con una traslaci on. Teorema 4.7.9 (Milne-Thomson). D Abierto y simplemente conexo (0 0) D U (x y ) Arm onica/D U (x) = l m U (x y )
y 0
V (x) =
y 0
l m Uy (x y ) dx
U (z ) + iV (z ) H/D (U, V ) Conjugadas arm onicas/D
92
Demostraci on. En base al estudio realizado para el primer m etodo se asegura que sobre D existe conjugada arm onica de u, que se llamar a v . De acuerdo entonces al teorema 4.7.1, u + iv es holomorfa sobre D. f (z ) = u + iv : f H/D un primer paso de la demostraci on es el siguiente lema: Una funci on f de imagen f (z ) tiende a f (x) para y 0. Esto signica que el l mite para y 0 se obtiene reemplazando formalmente x por z . Si f es holomorfa en el entorno de (0 0) se asegura la existencia de dicho l mite. f (z ) = f (x + iy ) f (x)
y 0
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 funci on holomorfa, la siguiente forma: f (x + iy ) = u(x y ) + i v (x y )
y 0 y 0
f (x)
U (x)
+ i V (x)
Donde U (x) y V (x) representan respectivamente los l mites de u(x y ) y de v (x y ) que existen por la continuidad de f en (0 0), debida a la holomorf a. En nuestro caso, la U (x) se obtiene f acilmente y entonces el problema se reduce a la b usqueda de V (x). Para ello se demuestra que:
y 0
l m
v= l m v x x y0
x
es decir: v (x y )
y 0
/ vx (x y )
y 0
V (x)
/ V (x) = V1 (x)
En efecto, como v es arm onica tiene derivadas continuas, y por el teorema de Heine-Cantor de la continuidad uniforme 2 se asegura que V (x) = V1 (x). Aplicando, por lo tanto, las condiciones de Cauchy-Riemann: V (x) = =
y 0
l m vx (x y ) dx l m uy (x y ) dx
y 0
El teorema de Heine-Cantor, aplicado a una funci on f : Rn R, arma que si f est a denida sobre un compacto D : >0, >0 : x , x D : ||x x || < = |f (x ) f (x )| <
Esto quiere decir que se puede elegir un tal que toda la imagen de f en D este contenida en una banda uniforme [f (x ), f (x + )].
93
Puede formarse entonces f (x) = U (x) + iV (x) y de acuerdo al resultado del lema analizado al comienzo f (z ) = U (z ) + iV (z ) Esta funci on, de acuerdo con lo visto, es holomorfa y sus partes real e imaginaria son: u(x y ) = Re(U + iV ) v (x y ) = Im(U + iV ) Que son arm onicas conjugadas. La practicidad del m etodo lo prueba el ejemplo siguiente: u= x+1 (x + 1)2 + y 2
u verica la ecuaci on de Laplace para todo z = (1, 0) y adem as tiene las derivadas segundas continuas, siendo por lo tanto arm onica. Eligiendo entonces, un conjunto D abierto y simplemente conexo que no contenga a (-1,0): u U (x) =
y 0
1 x+1
Por otra parte uy = 2y (x + 1) 0 = V (x) ((x + 1)2 + y 2 )2 y0 kR
V (x) = k
resultando entonces f (z ) = U (z ) + iV (z ) 1 = + ik z+1 cuyas partes real e imaginaria son conjugadas arm onicas: u= x+1 (x + 1)2 + y 2 y v= +k (x + 1)2 + y 2
Observaci on: Si se deseara plantear el problema de obtener u, conocida la funci on v de manera tal que (u v ) sean conjugadas arm onicas, basta recordar que (v u) son conjugadas arm onicas, y por lo tanto son de aplicaci on los m etodos anteriores.
94
4.8.
Holomorf a en el innito
, aunque no se conserva la esCuando se trabaja con funciones denidas en el complejo extendido C tructura de espacio vectorial, es posible dar un sentido al concepto de funci on holomorfa en . Esta denici on es de especial utilidad para el c alculo de integrales en el campo complejo. Sea una funci on f denida en el complejo extendido: , D f : D C : DC z f (z ) de acuerdo a lo visto en 2.9.1, el 0 es imagen del punto por la inversi on: C Inv : C z = 0, z = 1/z z=0 z 0 z= o tambi en por una restricci on de la inversi on al entorno de : Inv : U () C z 1/z 0 z U () {} z=
y entonces el problema del estudio de la funci on f en se reduce a un problema en el entorno de 0 de la funci on compuesta f Inv : U () C z f (1/z ) f (0) z= z=
Observaci on: La necesidad de restringir la inversi on surge de asegurar la existencia de la funci on compuesta f Inv, pues debe cumplirse que el rango de la Inv debe estar incluido en el dominio D de la funci on f . Esto se muestra en la gura 4.7.
Inv f
C U () D R
Figura 4.7: Dominio e imagen de Inv y f
El an alisis anterior permite denir: D abierto y conexo : D f : D C
f H/ := f Inv H/D Ejemplo: sen(1/z ) H/ = sen(z ) H/D
CONFORME 4.9. REPRESENTACION
95
4.9.
Representaci on conforme
La transformaci on de caminos por medio de funciones holomorfas tiene caracter sticas tales como para merecer un estudio particular. La aplicaci on de estas propiedades permite resolver, en dos dimensiones, problemas de potencial en campos gravitatorios, el ectricos, magn eticos, de temperatura, etc. y en general para cualquier campo conservativo, adem as de problemas se ingenier a el ectrica: diagramas de impedancia-admitancia y problemas de cartograf a.
4.9.1.
Angulo entre caminos
Vector tangente a un camino Para denir el angulo orientado entre dos caminos, conviene establecer previamente el concepto de vector tangente a un camino. Se llama vector tangente al camino , en el punto (c), a: T (, (c)) := x (c) y (c) : (x (c), y (c)) = (0 0)
T (, (c)) := Vector tangente al camino en el punto (c) El vector tangente T (, (c),) no es m as que (c) expresado en notaci on matricial.
T (, (c))
(c )
Figura 4.8: Vector tangente a en el punto (c).
La condici on impuesta, que (c) = (0 0), equivalente a que el vector tangente es no nulo, es indispensable para denir la recta tangente en el punto (c): Tg : R C t (c) + t (c)
Tg := Recta tangente al camino en el punto (c) Es usual tambi en introducir la siguiente terminolog 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 , z c ) 1
zc
T ( 1 , z c )
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 a ngulo orientado de 1 a 2 , designado en la gura 4.9 por , al a ngulo orientado entre los respectivos vectores tangentes en el punto de corte zc . Anal ticamente, el angulo orientado de 1 a 2 es el n umero real denido por:
Ang(1 , 2 ) := Arg(2 (c2 )) Arg(1 (c1 ))
Ang(1 , 2 ) := Angulo orientado entre los caminos 1 y 2 Observaci on 1: Conviene remarcar que en la denici on anterior se ha empleado la funci on valor principal del argumento, que establece una u nica determinaci on del mismo. Una propiedad del angulo entre dos caminos, que destaca el concepto de orientaci on intr nseco a la denici on, es: Ang(1 , 2 ) = Ang(2 , 1 ) Una cota superior para el angulo orientado est a dada por: |Ang(1 , 2 )|
|Arg(2 (c2 ))| + |Arg(1 (c1 ))| +
2 Observaci on 2: El m odulo del angulo entre los caminos 1 y 2 puede ser expresado bajo forma vectorial a partir de: cos() = T1 T2 ||T1 || ||T2 ||
4.9.2.
Transformaci on de caminos
Teorema 4.9.1. Una funci on f : D R de variable compleja, cuyas partes real e imaginaria tienen derivadas primeras continuas, transforma un camino : [a b] C, contenido en D, en otro camino f contenido en R.
97
D f f
Figura 4.10: Transformaci on de caminos por una funci on de variable compleja.
: [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
Demostraci on. Sea la composici on
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 hip otesis del teorema anterior, si f es adem as inyectiva, transforma un camino simple (arco de Jordan) en otro camino simple: Teorema 4.9.2. Camino simple contenido en D f : D R ux , uy C/D = f Camino simple contenido en R z (u v ) : vx , vy C/D f Inyectiva
98
Demostraci on. De acuerdo al teorema 4.9.1, f es un camino, pero adem as: Camino simple = Inyectiva por lo tanto: Inyectiva = f inyectiva
f Inyectiva
entonces f es un camino simple. Las transformaciones de lazos se rigen por los mismos teoremas anteriores. Si f es una funci on de las caracter sticas indicadas, todo lazo se transforma en lazo y adem as, se f es inyectiva, todo lazo simple se transforma en un lazo simple. Corolario 4.9.2.1. Lazo contenido en D f : D R z (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.
Transformaci on de vectores tangentes
Dada la funci on f : D R de variable compleja, cuyas partes real e imaginaria tienen derivadas primeras continuas, como se ha visto transforma un camino en otro f por medio de una transformaci on que se puede caracterizar por: ut = ux xt + uy yt vt = vx xt + vy yt sistema que escrito en notaci on matricial toma la forma: ut vt = ux vx uy vy xt yt
que representa la aplicaci on lineal que transforma los vectores tangentes al camino en el punto (c) en los vectores tangentes a f , en el punto (f )(c); siempre y cuando se cumplan las condiciones detalladas al nal de este p arrafo. La aplicaci on anterior es llamada aplicaci on lineal tangente a f en el punto (c) y se caracteriza como sigue: J (f, (c)) : T (, (c)) J (f, (c)) T (, (c)) J (f, (c)) := Aplicaci on lineal tangente a f en el punto (c)
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 funci on inversa f 1 continua y con derivadas primeras continuas para sus partes real e imaginaria, es decir: x = x(u v ) y = y (u v )
Se deduce directamente de la denici on de la aplicaci on J (f, (c)) que: Condici on necesaria y suciente para que una aplicaci on lineal tangente J (f, (c)) transforme el vector tangente al camino en el punto (c) en el vector tangente al camino f en el punto f (c), es que la matriz J sea regular (|J | = 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.
Aplicaci on conforme
Se dice que una funci on f : D R de variable compleja, cuyas partes real e imaginaria tienen derivadas primeras continuas, es una aplicaci on conforme en el punto zc ; si la matriz J (f, (c)) conserva los angulos orientados de los vectores tangentes a dos caminos. Esto signica que el angulo orientado entre dos caminos 1 y 2 es igual al angulo orientado entre los caminos transformados f 1 y f 2 . f : D R z (u v ) : ux , uy , vx , vy C/D f Aplicaci on conforme/zc := (1 2 ) : zc = 1 (c1 ) = 2 (c2 ) = Ang(1 , 2 ) = Ang(f 1 , f 2 )
100
2 f 1 1 zc
f 2
f (z c )
Figura 4.11: Conservaci on del angulo entre dos caminos mediante una aplicaci on conforme f .
En particular, una aplicaci on conforme transforma caminos ortogonales = 2 en caminos ortogonales, caso de inter es para el estudio de las l neas equipotenciales de un campo y sus trayectorias ortogonales: las l neas de campo. Observaci on 1: Una aplicaci on f se dice que es isogonal cuando en su transformaci on conserva los a ngulos de dos caminos en m odulo, es decir sin especicar la orientaci on. Es decir, la aplicaci on isogonal asegura la conservaci on del valor absoluto del angulo en la transformaci on, pero no asegura la conservaci on del signo. Es condici on necesaria entonces, para que una aplicaci on sea conforme, que sea isogonal. Condici on necesaria y suciente, desde el punto de vista vectorial, para que una transformaci on sea isogonal es que para todo par de vectores (x1 x2 ) se cumpla: (x1 x2 ) x1 x2 X1 X2 = |X1 ||X2 | |x1 ||x2 |
donde con X may usculas se has simbolizado los transformados de x min usculas, es decir: A : x A x = X
Antes de estudiar las condiciones generales que debe cumplir una funci on f de variable compleja para ser una aplicaci on conforme es inmediato observar que: Condici on necesaria para que f sea una aplicaci on conforme en zc es que el jacobiano sea distinto de cero: f Aplicaci on conforme/zc = |J (f, zc )| = 0 Es obvio que para que existan los angulos orientados entre caminos, tanto como f deben ser regulares. Por lo tanto, (f ) = 0 implica que el jacobiano no es nulo de acuerdo con el resultado obtenido en la secci on anterior in ne.
101
Observaci on 2: A los efectos posteriores de estudiar las caracter sticas generales de la aplicaci on lineal J (f, zc ) : T J T : |J | = 0 cuyo determinante no es nulo, conviene recordar las propiedades que debe tener una aplicaci on lineal de dos dimensiones: A : x A x = X para que conserve los angulos entre dos vectores de la transformaci on. Para ello es condici on necesaria (no suciente) que se conserve el producto interno, salvo constante positiva, para cualquier par de vectores (x1 x2 )3 : (x1 x2 )
T xT 1A
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 u ltima 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 u nica 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 angulos orientados, pues: cos() sen() sen() cos() r cos() r sen() =r cos() cos() sen() sen() sen() cos() + cos() sen()
= r ei(+) representando entonces la primera de las dos matrices una rotaci on para R = 1 o una rotaci on con dilataci on para R = 1 (homotecia), y por lo tanto conservando los angulos orientados, mientras que: cos() sen() sen() cos() r cos() r sen() = cos() cos() + sen() sen() sen() cos() cos() sen()
= r ei() la aplicaci on de la segunda matriz es una simetr a respecto de la recta que pasa por el origen, de pendiente a y una dilataci on si R = 1, no conserv andose por lo tanto los angulos orientados. 2 . Si R = 1 es una simetr
X2 X1
X2 X1
x2 x1
2
x1
x2
K=1
K = 1
Figura 4.12: Transformaci on de angulos para aplicaciones con distintos valores de K . Para K = 1 es conforme, mientras que para K = 1 es s olo isogonal.
En resumen: Teorema 4.9.3. Para que una aplicaci on lineal en dos dimensiones A : x A x conserve los a ngulos orientados, es condici on necesaria y suciente que la matriz A sea regular y del tipo: 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 funci on de variable compleja, para que sea una aplicaci on conforme se llega a: Teorema 4.9.4. Condici on necesaria y suciente para que una funci on f : D R de partes real e imaginaria con derivadas primeras continuas, sea aplicaci on conforme en zc , es que f sea holomorfa y de derivada primera no nula en ese punto. f H/zc f (zc ) = 0 f Aplicaci on conforme/zc
Demostraci on. De acuerdo al an alisis hecho en la Observaci on 2 anterior, para que la aplicaci on lineal tangente conserve los angulos orientados debe ser del tipo J (f, zc ) = a b b a
|J (f, zc )| = 0 Como por denici on, J tiene como elementos las derivadas parciales de u y de v , que son continuas, 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 implicaci on del teorema surge inmediatamente de la reversibilidad de la demostraci on. De acuerdo con el resultado obtenido, se desprende: Corolario 4.9.4.1. Condici on necesaria y suciente para que un camino transformado por una funci on holomorfa sea regular, es que el camino original sea regular y que la derivada primera sea no nula. Camino contenido en D f H/zc f (zc ) = 0 (c) = 0 (f ) = 0
Bajo las hip otesis anteriores, f es holomorfa en zc y con derivada no nula, resulta: (f ) = f por lo tanto, la aplicaci on lineal tangente J (f, (c)) puede ser expresada por: z f (zc ) z que representa una homotecia compleja (rotaci on y dilataci on) de sobre s mismo. El coeciente de dilataci on es |f (zc )| y el angulo de rotaci on es Arg(f (zc )).
104
En el caso de que f (zc ) = 0, siendo f una funci on no constante, no se mantiene el angulo orientado. Se puede demostrar que el angulo entre dos caminos, en este caso, se transforma de un valor a un valor n, donde n es el orden de la menor derivada no nula en zc . Si la funci on f : D R es una aplicaci on conforme sobre todos los puntos del domino D, se dice que f es una representaci on conforme de D sobre f (D). f Representaci on conforme/D, f (D) := z D, f Aplicaci on conforme/z
f Representaci on conforme/D, f (D) := La funci on f es una representaci on conforme de D sobre f (D) 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 funci on inversa de f f 1 : f (D) D w z : w = f (z ) Existe tambi en la derivada de la funci on inversa, seg un las reglas normales (f 1 ) = 1 f (z )
En este caso, entonces, la funci on f es biyectiva. La funci on inversa tambi en es una representaci on conforme de f (D) sobre D. Quedan explicadas, a la luz de la representaci on conforme, las propiedades de las transformaciones complejas dadas como ejemplo en 3.2 y 4.7.2.
4.9.5.
Transformaci on de areas e integrales dobles
Sea f una representaci on conforme de D sobre f (D). Para estas funciones se puede llegar a una f ormula particular de c alculo de areas. Si f (D) es un conjunto sobre el cual puede calcularse la integral que dene el area, entonces se acuerdo a las reglas de cambio de variables: A=
f (D )
du dv =
D
|J | dx dy
pero como
2 |J | = u2 x + vx
= |f (z )|2
Resulta entonces: du dv =
f (D ) D
|f (z )|2 dx dy
f ormula que establece la relaci on de areas en una transformaci on conforme.
105
4.9.6.
Los problemas de la representaci on conforme
Sea una funci on de variable compleja f que transforma un conjunto D en otro f (D). Se pueden plantear entonces dos problemas llamados directo e inverso de representaci on conforme. I. Problema directo de la representaci on conforme. Dado el conjunto D y la funci on f , hallar la imagen f (D). La funci on f tiene que ser holomorfa y no constante. II. Problema Inverso de la representaci on conforme. Dados dos conjuntos D y D , hallar la funci on f holomorfa que sea una representaci on conforme de D sobre D . El problema inverso no siempre tiene soluci on y existen teoremas generales que se ocupan del tema, pero tampoco dan soluci on en todos los casos. En la pr actica se suelen emplear soluciones aproximadas que dan origen a dif ciles problemas de c alculo num erico. Otro m etodo importante para resolver el problema inverso es la tabulaci on de representaciones conformes seg un el problema directo. El problema inverso tiene especial simo inter es en las cuestiones relacionadas con los campos potenciales, es decir, los conjuntos abiertos sobre los cuales se cumple la ecuaci on de Laplace: 2 u = uxx + uyy = 0 que rige en campos el ectricos, magn eticos, gravitatorios, hidrodin amicos y teor a del calor. Un problema tipo es el siguiente: Conocido el potencial sobre la frontera de un conjunto abierto D (representada por el lazo ) que en particular puede ser una l nea equipotencial, hallar la distribuci on de potencial en el interior de D. Este puede encararse (no siempre tiene soluci on) hallando una funci on f que sea una representaci on conforme de D sobre un conjunto D de geometr a sencilla (por ejemplo un c rculo) sobre el cual se conozca el potencial en todos sus puntos. Invirtiendo la funci on f , el problema planteado queda resuelto. En particular pueden hallarse las 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 representaci on conforme.
106
4.9.7.
La inversi on
El estudio de la funci on inversi on tiene particular importancia en las aplicaciones de representaci on conforme. C inv : C 1/z z 0
z = 0, z = z= z=0
sobre s Es f acil vericar que la inversi on es una biyecci on de C mismo. En coordenadas cartesianas las inversi on, para z = 0 y z = puede presentarse como la transformaci on que sigue, y su inversa: (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 tambi en en coordenadas polares

1 (R ) (r ) = ( R , )
Las expresiones en coordenadas polares permiten una interpretaci on sencilla de la inversi on de un 1 tiene por m odulo al rec proco del m odulo de z , y por argumento el complejo z = (r ). El complejo z 1 1 opuesto del argumento de z , es decir z = (r , ). Geom etricamente: z r
1 r
1 z
Figura 4.14: Transformaci on de vectores mediante una inversi on.
Las construcciones geom etricas m as sencillas para obtener la rec proca de un complejo son:
r
Construyendo dos tri angulos semejantes, como muestra la gura 4.15, se obtiene que R = 1 r , pues: r 1 = sen() sen() 1 = R = R 1 r = sen() sen()

R
1
Figura 4.15: Construcci on geom etrica para z obtener la rec proca de un complejo.
107
z r
1
1 r
1 z
Un segundo m etodo, mostrado en la gura 4.16, se basa en un m etodo semejante al anterior con apoyo en la circunferencia de radio unitario.
Figura 4.16: Construcci on geom etrica alternativa para hallar la rec proca de un n umero complejo.
Una aplicaci on de utilidad es la inversi on de la familia 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 inversi on a la familia anterior, resulta: f a + bu cv + d(u2 + v 2 ) = 0
que es una ecuaci on de las mismas caracter 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 transformaci on de circunferencias y rectas por medio de la inversi on. En los respectivos gr acos se presentan las construcciones geom etricas convenientes para obtener la inversi on propuesta. Para ello debe recordarse que el punto z , perteneciente a de m aximo m odulo, se transforma en el punto w, perteneciente a f de m nimo m odulo; y que tambi en la transformaci on es conforme, es decir, mantiene los angulos orientados.
4.9.8.
La funci on homogr aca
Se llama funci on homogr aca no degenerada u homograf a a la funci on racional: C Hom : 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 funci on inversi on.
109
Si se supusiera que ad bc = 0, la funci on homogr aca se reducir a a una constante. Si c = 0, la homograf a se reduce a la funci on lineal z a b z+ d d
Si c = 0, la homograf a puede llevarse a la forma w= z z1 = z
que representa sucesivamente: I. Desplazamiento II. Inversi on III. Homotecia IV. Desplazamiento
1 z2 = z 1 z3 = z2
w = + z3
y que permite interpretar f acilmente la transformaci on de circunferencias y rectas por medio de la tabla hecha para la inversi on. 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 a caracterizada por un giro denido por el Arg( ) y una dilataci on denida por el | |. La homograf a permite tambi en estudiar la representaci on conforme de c rculos en semiplanos, o c rculos en c rculos, u otras combinaciones de conjuntos del plano limitados por circunferencias y rectas.

Variable Compleja

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Variable Compleja

Cargado por

Copyright:

Formatos disponibles

An alisis de Funciones de Variable Compleja

Ing. Juan Sacerdoti

Agradecemos al Sr. Alejandro Quadrini por la transcripci on de este documento.

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 umeros complejos

Estructuraci on de C como cuerpo abeliano

Sobre el conjunto de los complejos C se denen dos leyes de composici on interna:

Los s mbolos con los cuales se identicar an estos elementos son: 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

DE C COMO ESTRUCTURA VECTORIAL 1.5. ESTRUCTURACION

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

Estructuraci on de C como estructura vectorial

CAP ITULO 1. NUMEROS COMPLEJOS

Estructuraci on de C como estructura de espacio m etrico

Propiedades generales de la funci on distancia en C

DE C COMO ESTRUCTURA DE ESPACIO METRICO 1.6. ESTRUCTURACION

Notaci on para la funci on distancia sobre C

CAP ITULO 1. NUMEROS COMPLEJOS

DE C COMO ESPACIO NORMADO 1.7. ESTRUCTURACION

Estructuraci on de C como espacio normado

CAP ITULO 1. NUMEROS COMPLEJOS

Forma bin omica de los complejos

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

Ejemplo: La funci on logaritmo natural L:

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

1.8. FORMA BINOMICA DE LOS COMPLEJOS

CAP ITULO 1. NUMEROS COMPLEJOS

Forma bin omica de los n umeros complejos

1.8. FORMA BINOMICA DE LOS COMPLEJOS

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

CAP ITULO 1. NUMEROS COMPLEJOS

Representaci on geom etrica de los complejos

1.10. FORMA POLAR DE UN NUMERO COMPLEJO. PROPIEDADES

Figura 1.1: Representaci on del complejo (x y ) en el plano cartesiano.

Forma Polar de un N umero Complejo. Propiedades

Forma Polar de un N umero Complejo

CAP ITULO 1. NUMEROS COMPLEJOS

Figura 1.2: Representaci on del complejo z en coordenadas polares.

1.10. FORMA POLAR DE UN NUMERO COMPLEJO. PROPIEDADES

En resumen, la transformaci on biyectiva 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. Radicaci on

CAP ITULO 1. NUMEROS COMPLEJOS

Interpretaci on geom etrica de las operaciones complejas

Figura 1.3: Representaci on geom etrica de la suma de dos complejos.

Figura 1.4: Representaci on geom etrica de la diferencia de dos complejos.

1.11. FORMA EXPONENCIAL DE UN NUMERO COMPLEJO

Figura 1.5: Representaci on geom etrica del producto de dos complejos.

Forma exponencial de un n umero complejo

CAP ITULO 1. NUMEROS COMPLEJOS