CAPTULO 0 I

N meros complejos: u conocimientos previos.

0.1 INTRODUCCION Recopilamos en este captulo las propiedades b sicas de los n meros complejos, a u ya vistas a lo largo de cursos anteriores. Como libros de consulta pueden usarse, por ejemplo, Apostol, T.M.: An lisis Matem tico (segunda edici n). Revert , a a o e Barcelona (1991) (algunas explicaciones est n m s detalladas en Apostol, T.M.: a a Calculus, vol. I (segunda edici n). Revert , Barcelona (1989)); para practicar con o e operaciones y representaciones gr cas, Spiegel, M.R.: Variable compleja. Mca Graw Hill (colecci n Schaum) (1971). o Comencemos recordando que se dena C = {(a, b) : a, b R} con las operaciones SUMA: PRODUCTO: (a, b) + (c, d) = (a + c, b + d) (a, b).(c, d) = (ac bd, bc + ad)

Obs rvese que, como conjunto, C es en realidad R2 . La novedad (y lo interee sante como veremos) est en introducir el producto, pues se comprueba f cilmente a a que C con las dos operaciones anteriores se obtiene un cuerpo conmutativo, con (0, 0) y (1, 0) como elementos neutros respectivos. Adem s, el cuerpo C contiene al cuerpo R. Precisemos esta armaci n: a o - La aplicaci n a R (a, 0) C es un homomorsmo inyectivo de o cuerpos. Esta identicaci n de R como subcuerpo de C nos permite usar la notaci n o o simplicada a = (a, 0), y observando que todo elemento (a, b) C se puede escribir como (a, b) = (a, 0).(1, 0) + (b, 0)(0, 1), si denotamos i = (0, 1), con esta nueva nomenclatura, tenemos (a, b) = a + ib. 1

Numeros complejos: conocimientos previos.

Esta forma de escribir un n mero complejo (forma bin mica) hace m s facil u o a la multiplicaci n. En efecto, teniendo en cuenta que o i 2 = (0, 1).(0, 1) = (1, 0) = 1 comprobamos que (a, b).(c, d) = (ac bd, bc + ad) se traduce en (a + ib).(c + id) = ac bd + i(bc + ad), donde para hacer esta operaci n s lo hace falta recordar las reglas habituales de la o o multiplicaci n y las identicaciones anteriores. o Cuando se utiliza una sola letra para denotar un n mero complejo, se suele u elegir la z, y si z = a + ib con a, b R, los n meros a, b se llaman partes real e u imaginaria de z, respectivamente. Escribiremos entonces a = e z, b = m z. Desde el punto de vista algebraico, la principal ventaja de C es que soluciona el defecto algebraico de R de no ser algebraicamente cerrado, es decir, de que existan ecuaciones polin micas con coecientes reales que no tienen soluciones o reales. El ejemplo m s aparente es x 2 + 1 = 0. Esto ya no va a ocurrir en C. a 0.2 PROPIEDADES ALGEBRAICAS DE LOS NUMEROS COMPLEJOS

Recogiendo de manera abreviada lo que acabamos de exponer, resulta: 1. C es un espacio vectorial sobre R de dimensi n 2 ({1, i} es la base can nica). o o 2. C es un cuerpo conmutativo que contiene un subcuerpo isomorfo a R. 3. Existe un elemento de C soluci n de z 2 + 1 (precisamente i es soluci n). o o Pero, mucho m s general, C es algebraicamente cerrado, i.e., todo polinomio a con coecientes complejos tiene una soluci n en C. o Este hecho no es f cil de demostrar con argumentos elementales pero, m s a a adelante, ser una consecuencia sencilla del an lisis que desarrollaremos sobre C. a a Adem s, C es el menor cuerpo algebraicamente cerrado que contiene a R. a Con mayor precisi n, si un cuerpo algebraicamente cerrado contiene un subcuerpo o isomorfo a R, debe contener un subcuerpo isomorfo a C. 4. Aplicaci n conjugaci n. La aplicaci n de C en C denida por o o o z = a + ib z = a ib

Numeros complejos: conocimientos previos. tiene las siguientes propiedades: 4.1. Es un isomorsmo de cuerpo (z + w = z + w, zw = zw). 4.2. Es una proyecci n (z = z). o 4.3. Deja jo el cuerpo R (z = z si y solo si z R). 5. Aplicaci n m dulo. La aplicaci n de C en R+ denida por o o o z = a + ib |z| = + zz = + a 2 + b2 tiene las siguientes propiedades: 5.1. |z| 0, |z| = 0 z = 0. 5.2. |z + w| |z| + |w| (desigualdad triangular). 5.3. |zw| = |z||w|.

Una consecuencia de estas propiedades es la que suele llamarse desigualdad triangular inversa, 5.4. |z w| ||z| |w||. 6. En C no existe un orden total compatible con la estructura algebraica que extienda el orden de R. En efecto, si este fuera el caso los elementos i y 0 deberan ser comparables. Entonces, o i > 0, en cuyo caso por la compatibilidad con el producto tendramos 2 o e i = 1 > 0, o i < 0, en cuyo caso y por la misma raz n, tambi n se tendra 2 i = 1 > 0, con lo cual, obviamente, no se extiende el orden de R. Observaciones. 1. En la construcci n de los n meros se busca siempre solucionar un defecto, o u pero con una propiedad de minimalidad. As, en los contenidos N Z Q R C, Z es el menor grupo que contiene a N, Q es el menor cuerpo que contiene a Z, R es el menor cuerpo completo que contiene a Q y C es el menor cuerpo algebraicamente cerrado que contiene a R. 2. Hay otros contextos matem ticos que llevan a construcciones de C, es decir a a la construcci n de cuerpos isomorfos a nuestro C. Dos ejemplos son los o siguientes:

Numeros complejos: conocimientos previos. i) Sea R[x] el anillo de polinomios en una variable con coecientes reales (con las operaciones habituales). Sea I el ideal maximal generado por el polinomio x 2 +1. Entonces, el espacio cociente R/I, con las operaciones inducidas, resulta ser un cuerpo conmutativo isomorfo a C. ii) Sea M(2 2; R) el anillo de las matrices 2 2 con coecientes reales, con las operaciones habituales. El subanillo M={ a b b a : a, b R}

es un cuerpo conmutativo isomorfo a C. 0.3 EL PLANO COMPLEJO

u Debido a la identicaci n entre C y R2 , todo n mero complejo z = a + ib lo podeo mos representar en el plano como el punto de coordenadas (a, b). Pero adem s, a es de gran inter s la llamada representaci n polar de un n mero complejo. Obe o u servemos que todo punto del plano z = 0 queda unvocamente determinado por su distancia al origen y por el angulo que forma el segmento [0, z] con el eje real. Dicha distancia ya sabemos que es el m dulo, y el angulo va a dar lugar al concepto o de argumento de un n mero complejo. u Mirando la gura, tenemos las igualdades e z = |z| cos , m z = |z| sen , de donde z = |z|(cos + i sen ) = |z|ei . Aqu hemos utilizado la notaci n o i z=(a,b ) e = cos + i sen . |z | De momento, la igualdad anterior se b= Im z debe interpretar como una denici n, o aunque m s adelante se corresponder a a con el valor en i de la funci n expoo O a = Re z nencial compleja. Notemos que en este punto damos por bueno que las funciones seno y coseno del An lisis matem tico se corresponden con las funciones denidas gr camente a a a en Trigonometra, sin que para ello tengamos ninguna justicaci n rigurosa. Para o ser totalmente honestos, ni siquiera tenemos hasta ahora una denici n rigurosa o de las funciones seno y coseno: nos hemos conformado con admitir su existencia y propiedades. Volveremos sobre este punto cuando estudiemos las funciones elementales b sicas. a

Numeros complejos: conocimientos previos. Observaci n importante. o

La denici n de m dulo no plantea ninguna ambig edad, pero no as la del o o u angulo (o argumento) puesto que y + 2k con k Z hacen el mismo papel. Esto nos hace abordar las siguientes precisiones sobre la denici n de argumento. o Denici n. Dado z C \ {0}, o arg z = { R : cos = e z/|z|, sen = m z/|z|}.

Por tanto, arg z es un conjunto! Pero es obvio que es de la forma {0 + 2k : 0 arg z, k Z}. Es decir, conocido un argumento de z, cualquier otro se diferencia de este en un m ltiplo entero de 2 . De esta forma, en cualquier intervalo semiabierto u de longitud 2, [, + 2) o (, + 2 ], R, existe un unico elemento perteneciente al conjunto arg z. A este elemento se le denota por Arg[,+2) z (respectivamente, por Arg(,+2 ] z). Arg(, ] z = Arg z. A este argumento se le llama argumento principal (precauci n: en algunos o textos se llama argumento principal al que est en el intervalo [0, 2 )). a e La expresi n ei , R (recu rdese que, de momento, es cos + i sen por o denici n) tiene las mismas propiedades algebraicas que la exponencial real. o ei ei = ei(+) , , R, (ei )n = ein , R, n N, (ei )1 = ei() , R. 0.4 RAICES n-ESIMAS DE UN NUMERO COMPLEJO

Normalmente, se toma el intervalo (, ] y se escribe simplemente

La representaci n polar tiene especial importancia en este estudio, pues us ndola, o a n es f cil ver que, dado z = 0 y n N, la ecuaci n w = z tiene exactamente n a o soluciones, que son: , k = 0, 1, 2, . . . , n 1. Si queremos alguna notaci n, n z debera denotar el conjunto de estos n o Arg z n elementos, aunque en algunos textos, z indica solamente el valor |z|1/n ei n (que nosotros llamaremos raz n- sima principal). e w = |z|1/n ei
Arg z+2k n

6 0.5 LA TOPOLOGIA DE C

Numeros complejos: conocimientos previos.

La topologa (est ndar) en C viene dada por la aplicaci n m dulo, que al cumplir a o o las propiedades 5.1, 5.2 y 5.3, tiene las propiedades de una norma y como tal da lugar a una distancia d(z, w) = |z w| Mirado en R2 , esta es la distancia eucldea. Por tanto, la topologa de C es, 2 exactamente, la topologa eucldea de R . Nos limitaremos a recordar los aspectos de esta topologa que ser n de inter s en el desarrollo de la asignatura. a e 1. Dado un punto z 0 C y un > 0, D(z 0 ; ) = {z C : |z z 0 | < } se llama disco (abierto) de centro z 0 y radio . Es lo que en espacios m tricos e abstractos se denomina bola. La familia de todas las bolas centradas en un punto z 0 , (D(z 0 ; ))>0 es una base de entornos del punto z 0 . 2. Un subconjunto si de C es abierto si es entorno de todos sus puntos. Es decir, z , > 0 tal que D(z; ) .

3. Una sucesi n z n z 0 si (por denici n) o o > 0, n 0 N Es muy f cil comprobar que a z n z 0 e z n e z0 m z n m z 0 . Por tanto, la convergencia de una sucesi n de n meros complejos se remite o u al estudio de la convergencia de dos sucesiones de n meros reales. A partir u de aqu es sencillo ver que (C, d) es un espacio m trico completo. Es decir, e toda sucesi n de Cauchy es una sucesi n convergente. o o 4. Un subconjunto A C es cerrado si su complementario es abierto, o equivalentemente, coincide con su clausura A. Recordemos que z A si > 0, D(z; ) A = . Como estamos en un espacio m trico, es interesante observar que esta propiee dad se puede caracterizar por sucesiones: z A (z n ) A z n z. 5. Un subconjunto A C es compacto si y solo si es cerrado y acotado. Como consecuencia se cumple el teorema de Bolzano-Weierstrass: n n 0 , |z n z 0 | < .

Toda sucesi n acotada posee una subsucesi n convergente. o o

6. Conexi n. Recordemos la denici n, en general. o o

Numeros complejos: conocimientos previos.

Denici n. Un espacio topol gico X se dice conexo si no es uni n de dos conjuntos o o o abiertos no vacos disjuntos (o, equivalentemente, si los unicos subconjuntos de X cerrados y abiertos a la vez son y X ). Un subconjunto X C se considera espacio topol gico con la topologa o inducida (o relativa) de C. Los abiertos en X son la intersecci n de los abiertos de o C con X . Para el concepto de conexi n por arcos, hace falta recordar alg n concepto o u previo. i) Una curva en C es una aplicaci n : [a, b] C continua. (a) y (b) o son los puntos inicial y nal de la curva (se dice tambi n que la curva une los e puntos (a) y (b)). El subconjunto de C, ([a, b]) se llama soporte de la curva. Se dice que la curva est contenida en un subconjunto A de C, si lo a est el soporte. a ii) Un arco es una curva inyectiva. iii) Dados z, w C, z = w, el arco : [0, 1] C tal que t (1 t)z + tw, se llama segmento de extremos z y w. Efectivamente, el soporte de este arco es el segmento con dichos extremos. Esta notaci n que usamos confunde la curva con su soporte, lo cual no es muy o conveniente como se ver en captulos posteriores. Pero, para los aspectos que a estamos aqu tratando no importa esta confusi n. o iv) Dados z 1 , z 2 , . . . z n C, llamaremos poligonal de v rtices z 1 , z 2 , . . . z n a la e a uni n de los n 1 segmentos consecutivos que unen z i y z i+1 . Es f cil ver o que esta uni n corresponde a una curva y si los segmentos no se cruzan es un o arco. v) Un conjunto A C se dice conexo por arcos si dos cualesquiera de sus puntos pueden unirse por un arco contenido en A. An logamente se puede dar a la denici n m s especca de conexo por poligonales. o a

(b)

.
z O

w z2 zn z1 O

(a)

En C y para abiertos, tenemos el siguiente:

8 Teorema. Sea i) ii) iii)

Numeros complejos: conocimientos previos.

abierto de C. Son equivalentes:

es conexo. es conexo por arcos. es conexo por poligonales. es conexo por poligonales de lados

Tambi n podramos haber a adido e n paralelos a los ejes.

Es importante la hip tesis de que sea abierto. Si la quitamos, la implicaci n o o ii) i) sigue siendo cierta, pero el subconjunto de C, A = [i, i] {x + i y : y = sen(1/x), x (0, 1)} es un conjunto conexo que no es conexo por arcos. 7. Componentes conexas. Sea = X C. Una componente conexa (o, simplemente, componente) de X es un subconjunto conexo de X y maximal. Es decir, X 1 es componente conexa de X si X 1 X , X 1 es conexo y no existe A conexo tal que X 1 A X . Sobre componentes conexas recordaremos lo siguiente: 7.1. Si X es conexo, su unica componente conexa es X . 7.2 Las componentes son disjuntas. 7.3 Cada subconjunto conexo de X est contenido en una (y solo una) coma ponente. 7.4 Si C es abierto, cada componente conexa de es un abierto de C y existen, a lo m s, un n mero contable de componentes conexas. a u 7.5 Si X C es un conjunto acotado, C\X = X c posee una sola componente no acotada. 0.6 COMPACTIFICACION DE C

En este apartado, vamos a introducir el punto del innito complejo, , con el objetivo de manejar conceptos como lim z n = , lim f (z) = , lim f (z) = .
z zz 0

En C s lo aparecer un punto del . Los conceptos + y est n asociados o a a a R debido a que es un cuerpo totalmente ordenado. La forma rigurosa de proceder es utilizando el teorema de compacticaci n o de Alexandrov de topologa general, aunque posteriormente el concepto se maneja con facilidad. El resultado general dice lo siguiente:

Numeros complejos: conocimientos previos.

Teorema. Cualquier espacio topol gico localmente compacto puede ser sumergido o en un espacio compacto X , de forma que X \ X consta de un solo punto. Dicho de otra forma, al espacio X le podemos a adir un punto que no est en n a X , al que se suele denotar , y al espacio X {} se le dota de una topologa que restringida a X es la de X , y adem s con esta topologa X {} es un espacio a compacto. Examinemos los detalles de este procedimiento para nuestro caso particular de C. - C es un espacio localmente compacto (es Hausdorff y cada punto tiene un entorno relativamente compacto). - A adimos un punto y denotaremos C = C {}. n - Si G es la topologa de C, es decir, G es el conjunto de los abiertos de C, denimos la topologa en C como G = G {C \ K : K compacto de C}. N tese que estos conjuntos que a adimos son los entornos abiertos del punto o n del . Se comprueban, sin mucha dicultad, los siguientes hechos: a. G es una topologa en C . b. G |C = G. c. (C ,G ) es compacto. La descripci n de esta topologa por base de entornos es muy sencilla: o - Si el punto es un z 0 C, una base de entornos son los discos D(z 0 , ). - Si el punto es , una base de entornos es {C \ D(0, R)} R>0 . Teniendo en cuenta como es esta base de entornos del punto del , veamos que signica z n , cuando {z n } C. z n R > 0, n 0 N n n 0 , z n C \ D(0, R).

Como z n C \ D(0, R) signica |z n | > R, la denici n anterior es equivalente o a que la sucesi n de n meros reales |z n | tienda a +. o u

10 Observaci n. o

Numeros complejos: conocimientos previos.

Es un hecho te rico importante que esta topologa de C es metrizable. Es o decir, se puede denir una m trica en C que da lugar a dicha topologa. No es e f cil describir una tal m trica, de hecho, no tiene mucho que ver con la m trica a e e de C. Se puede demostrar que no existe ninguna m trica en C que de lugar a la e e topologa de C y que extienda la m trica de C. No obstante, y por completar este estudio, en el siguiente apartado obtendremos una de estas m tricas. e 9. Representaci n geom trica de C . La esfera de Riemann. o e El plano no puede ser una representaci n geom trica de C , pues no queda o e sitio para dibujar el punto del . No obstante, en la pr ctica, conviene imaginarse a al punto del como algo que est m s all en todas las direcciones, es decir, como a a a la circunferencia de un crculo imaginario de centro el origen y radio +. Una buena representaci n geom trica la di Riemann utilizando la esfera o e o 3 unidad de R . Denotamos por
2 2 2 S = {(x1 , x2 , x3 ) R3 : x1 + x2 + x3 = 1}

a dicha esfera y la dotamos de la topologa relativa que le da la eucldea de R3 . o Vamos a identicar C con S algebraicamente (obteniendo una biyecci n entre ambos) y topol gicamente (dicha biyecci n ser homeomorsmo). o o a La biyecci n es muy intuio tiva si nos jamos en la gura (0,0,1) adjunta. Se proyectan los puntos s = ( x1 , x 2 , x 3) (x1 , x2 , x3 ) de S desde el polo norte (0, 0, 1) sobre el plano del ecuador x3 = 0 y a (0, 0, 1) x1 u queda sin ima(s) = ( , 1 x 2x3 , 0) [ nico punto queel punto del in1 x3 gen] se le asocia nito C . o Denotando por : S C a esta biyecci n, es un sencillo problema de geometra elemental obtener expresiones explcitas de y 1 : (x1 , x2 , x3 ) = y (0, 0, 1) = .
1

x1 + i x2 , si (x1 , x2 , x3 ) S \ {(0, 0, 1)}, 1 x3

2 m z |z|2 1 2 ez , , ) (z) = ( 2 |z| + 1 |z|2 + 1 |z|2 + 1

y 1 () = (0, 0, 1). Se prueba que:

Numeros complejos: conocimientos previos.

11

Teorema. La aplicaci n , llamada proyecci n estereogr ca, es un isomorsmo o o a entre los espacios topol gicos S (con la topologa eucldea relativa de R3 ) y C o (con la topologa G ). Una vez tenemos este resultado, como S es m trico (con la m trica eucldea e e e d3 ), podemos tener una m trica sobre C como imagen de la eucldea por la aplicaci n , o d (z 1 , z 2 ) = d3 ( 1 (z 1 ), 1 (z 2 )). Esta m trica se denomina distancia cordal (es la longitud de la cuerda que une los e puntos 1 (z 1 ), 1 (z 2 )). Haciendo las operaciones tenemos: Proposici n. C es metrizable y una de las m tricas que origina su topologa es o e d (z 1 , z 2 ) = 2|z 1 z 2 | , z 1 , z 2 C, ((1 + |z 1 |2 )(1 + |z 2 |2 ))1/2 2 , z C, (1 + |z|2 )1/2

d (z, ) =

d (, ) = 0. 0.7 CONTINUIDAD DE LAS FUNCIONES DE VARIABLE COMPLEJA

Por funci n compleja de variable compleja, entendemos una funci n cuyo doo o minio es un subconjunto de C y los valores que toma est n en C. Es decir, a f : A C C. Asociadas a f aparecen las funciones reales de variable compleja, u(z) = e f (z), v(z) = m f (z).

Identicando C con R2 , las funciones u y v pueden ser vistas como funciones de dos variables reales que toman valores en R y, as, es muy frecuente escribir f (z) = u(x, y) + iv(x, y), z = x + i y A. Es decir, tener una funci n compleja de variable compleja es tener dos funciones o reales de dos variables reales. Los conceptos de lmite y continuidad de funciones son totalmente an logos a a los ya conocidos para R, as como sus propiedades, ya que en la denici n de o

12

Numeros complejos: conocimientos previos.

estos s lo interviene el m dulo, que tiene las mismas propiedades tanto en R como o o en C. o Sea f : A C C y sea z 0 C un punto de acumulaci n de A. Es decir, D(z 0 ; ) (A \ {z 0 }) = , > 0 (n tese que el punto z 0 puede pertenecer al dominio A o no). o Diremos que
A zz 0

lim

f (z) = C

si (por denici n) o > 0, > 0 (0 < |z z 0 | < z A) | f (z) | < .

Como C es un espacio m trico, esta denici n (, ) es equivalente a la denici n e o o por sucesiones. Es decir, a que ocurra (z n ) A \ {z 0 } z n z 0 f (z n ) .

Con las notaciones anteriores, diremos que f es continua en z 0 A si lim

A zz 0

f (z) = f (z 0 ).

o N tese que en este caso z 0 debe estar en el dominio de la funci n. o Observaci n. o Principalmente, trataremos con funciones f : C C, denidas en o abierto de C. Entonces, todo punto z 0 es de acumulaci n de y considerando s sucientemente peque os, no nos tenemos que preocupar de que los zs est n n e el dominio. En este caso, acudiendo a la denici n, tendremos: o si y solo si f es continua en z 0 > 0 > 0 tal que D(z 0 ; ) y |z z 0 | < | f (z) f (z 0 )| < . Diremos que f es continua en si lo es en z 0 , z 0 .

A partir de ahora, supondremos que el dominio de las funciones es siempre un abierto de C.

Numeros complejos: conocimientos previos.

13

Las propiedades de los lmites y funciones continuas (con demostraciones an logas a la de R) se pueden resumir en los siguientes apartados. a Sean f, g : C C y z 0
zz 0

tal que
zz 0

lim f (z) = , lim g(z) = .

Entonces: 1. Si f (z) = u(z) + iv(z) = u(x, y) + iv(x, y), z = x + i y lim f (z) = 2.

zz 0

, z 0 = x0 + i y0 ,

zz 0

(x,y)(x0 ,y0 )

lim

u(x, y) =

(x,y)(x0 ,y0 )

lim

v(x, y) = m .

lim f (z) + g(z) = + .

3.
zz 0

lim f (z) g(z) = .

4. Si = 0,
zz 0

lim

f (z) = . g(z)

5. Si f y g son continuas en z 0 , tambi n lo son las funciones f + g y f g. e Asimismo, lo es f /g siempre que g(z 0 ) = 0. Observaci n. o Cualquier otra propiedad conocida en R que solo tenga que ver con el uso del m dulo y la estructura de cuerpo, tambi n ser cierta en C. Por ejemplo, el o e a lmite del producto de una funci n que tienda a 0 por otra funci n acotada en un o o entorno del punto, es 0. No son ciertas, porque ni siquiera tienen sentido en general, propiedades que tienen que ver con el orden, como la regla del sandwich. Lmites innitos y en el innito. Sea f : A C C, tal que es punto de acumulaci n del dominio A. o Por la denici n de los entornos del vista anteriormente, esto querr decir que: o a R > 0, A (C \ D(0; R)) =

14

Numeros complejos: conocimientos previos.

En estas condiciones, podemos hablar de lmites en el , considerando la topologa de C . 6. Diremos que

A z

lim

f (z) = C

si (por denici n) o > 0, R > 0 (|z| > R z A) | f (z) | <

e o o, equivalentemente, por ser C espacio m trico, la denici n por sucesiones, (z n ) A 7. Diremos que
A z

z n f (z n ) .

lim

f (z) =

si (por denici n) o S > 0, R > 0 o, equivalentemente, (z n ) A z n f (z n ) . (|z| > R z A) | f (z)| > S.

o 8. Si f : A C C y z 0 es un punto de acumulaci n de A, diremos que

A zz 0

lim

f (z) =

si (por denici n) o R > 0, > 0 o, equivalentemente, (z n ) A \ {z 0 } z n z 0 f (z n ) . (0 < |z z 0 | < z A) | f (z)| > R.

Tambi n se cumplen las propiedades habituales, de las que se alamos como e n muestra las dos siguientes:

Numeros complejos: conocimientos previos. i) Si

zz 0

15

lim f (z) = C \ {0} y lim g(z) = 0

zz 0

entonces
zz 0

lim

f (z) = . g(z)

ii) Si
zz 0

lim f (z) = C \ {0} y lim g(z) =

zz 0

entonces
zz 0

lim f (z)g(z) = .

Y tambi n se producen los casos de indeterminaci n habituales. e o Es un buen ejercicio listar todas estas propiedades y demostrar, siguiendo las deniciones, algunas de ellas. Ejemplos. 1. Las funciones constantes ( f (z) = C, z C) y la funci n identidad o ( f (z) = z, z C) son funciones continuas en todo punto de C. 2. Por operaciones con funciones continuas (suma y multiplicaci n), todo polio nomio Pn (z) = an z n + an1 z n1 + . . . a1 z + a0 , ai C es una funci n contnua en todo C. o 3. Toda funci n racional, puesta como cociente de dos polinomios, R(z) = o P(z)/Q(z), en forma irreducible, es continua en C salvo en los ceros del polinomio Q. 4. En el mismo ejemplo anterior, si es un cero de Q, entonces P() = 0 y
z

lim

P(z) = . Q(z)

5.

3z + 5 6z 3 + 5 lim = 0, lim = 3. z z 2 + 1 z 2z 3 + 4z + 1

6. La funci n argumento principal o Arg : z C \ {0} Arg z (, ]( C)

16

Numeros complejos: conocimientos previos. es continua en C \ (, 0].

En cualquier punto z 0 (, 0) no es continua, pues si z n z 0 y si z n z 0 m z n < 0, entonces Arg z n . m z n > 0, entonces Arg z n

De forma an loga, la funci n Arg[,+2 ) es continua en C \ {r ei : r 0}. a o Im genes continuas de conexos y compactos a Finalmente, recordemos un par de resultados topol gicos que usaremos con o frecuencia. Sea f : A C C continua y X A. Si X es conexo, f (X ) es conexo. Si X es compacto, f (X ) es compacto.