Variable Compleja 1

1. Introduccin o
En este curso vamos a tratar la teor de las funciones anal a ticas. La analiticidad es la propiedad de expresar una funcin a travs de una serie convergente o e en la vecindad de un punto. Con este concepto nos topamos en clculo donde las a funciones son funciones reales de variable real. Ahora estudiaremos esta misma propiedad pero para funciones complejas de variable compleja. Descubriremos que para este tipo de funciones hay un criterio muy sencillo de analiticidad. Para el clculo funciones reales de variable real se necesita de las propiedades de a los reales como un espacio normado completo, un espacio de Banach. Los complejos, es un sistema numrico que contiene a los reales y que tambin es un espacio de e e Banach. Entonces debe ser posible hacer clculo ah a . Puesto que los complejos contienen a los reales, si, despus de los cursos de e clculo, se introduce el concepto de funciones complejas de variable compleja, uno a podr pensar que los conceptos de clculo para estas nuevas funciones deben cona a tener a los conceptos de clculo para funciones reales de variable real. Esto es en a parte cierto, pero hay propiedades nuevas que surgen en el caso complejo que hace que esta teor sea diferente. La teor de las funciones complejas de variable coma a pleja resalta por su bella armon y completitud. Hay en esta teor una serie de a a resultados sorprendentes y muy diferentes a lo que sabemos de clculo de funciones a reales de variable real.

2.
2.1.

N meros complejos u
El campo de los n meros complejos u

Vamos primero a introducir los nmeros complejos desde el punto de vista u algebraico. En la Historia de las matemticas los complejos fueron introducidos a por Gerolamo Cardano en el siglo XVI. Se introdujeron como nmeros auxiliares u los llam cticios y no los considero como para resolver ecuaciones cbicas. El u o nmeros, sino como una herramienta para obtener los resultados reales de las u ecuaciones. Despus de Cardano, todav en el siglo XVI, Rafael Bombelli se le e a ocurri desarrollar el lgebra de esos nmeros cticios e inexistentes. El formao a u lismo de los complejos, ms o menos como lo conocemos ahora, fue desarrollado en a el siglo XIX por William Rowan Hamilton. Partimos de N y observamos que no es posible resolver la ecuacin x + 2 = 1. o Introducimos una solucin y esto nos lleva a la construccin de los nmeros enteros o o u Z. De manera anloga se extienden los enteros al campo de los racionales. Despus a e 1

notamos que algunas ecuaciones requieren la incorporacin de algunos irracionales o teniendo as el campo de los algebraicos reales. Recordamos que un campo es una estructura algebraica en la que hay operaciones de adicin y multiplicacin donde o o cada una de ellas satisface las propiedades de cerradura, asociatividad, conmutatividad, la existencia de la identidad, la existencia del inverso, y esas operaciones estn conectadas por la distribucin de la multiplicacin sobre la adicin. a o o o Si a los algebraicos reales le agregamos los trascendentes o, lo que es lo mismo tomamos la unin de los racionales con los irracionales obtenemos los reales. Los o reales adems de tener las propiedades algebraicas de un campo y resolver ms ecuaa a ciones que los racionales poseen propiedades topolgicas importantes (derivadas de o la denicin de una mtrica en ellos) adems de constituir un sistema completao e a mente ordenado. Los reales tambin tienen la propiedad de tener una cardinalidad e superior a la de los otros sistemas numricos mencionados arriba (cardinalidad del e continuo). Hay, sin embargo ecuaciones que hemos dejado sin resolver, por ejemplo x2 + 1 = 0. Podemos resolver esta ecuacin si inventamos el nmero i, asegurano u 2 do que i = 1. Con ayuda de este nmero inventado por nosotros denimos un u nuevo conjunto de nmeros a + ib donde a, b son reales. Siendo congruentes con u nuestra denicin de i, podemos denir las operaciones de suma y multiplicacin. o o Es fcil ahora comprobar que nuestro nuevo sistema es un campo. Tambin podea e mos introducir una mtrica en este conjunto de forma anloga a como se hizo en e a los reales de manera que los complejos comparten propiedades topolgicas con los o reales. Ms adelante veremos que la cardinalidad de este conjunto es la misma que a la cardinalidad de los reales. Desde el punto de vista del lgebra, el campo de los a complejos tiene una propiedad muy importante que lo hace diferente a todos los sistemas numricos mencionados antes, a saber, que este campo es algebraicamente e cerrado (tiene lugar el teorema fundamental del lgebra). Cabe mencionar que los a nmeros algebraicos (subconjunto de los complejos) tambin constituyen un camu e po algebraicamente cerrado. Sin embargo este sistema no comparte las propiedades topolgicas de los complejos y tampoco tiene su misma cardinalidad (los nmeros o u algebraicos son numerables). Por ultimo haremos notar que los nmeros complejos u no son un sistema ordenado (carecen de relacin de orden). o Parte real. Parte imaginaria. Reales como subconjunto de los complejos. Los nmeros puramente imaginarios. u

2.2.

Propiedades geomtricas de n meros complejos e u

Los complejos pueden representarse por puntos en el plano R2 . Tradicionalmente la parte real corresponde a la abscisa y la imaginaria a la ordenada. Una vez que identicamos los complejos con puntos en el plano, podemos pasar a discutir la cardinalidad de este sistema numrico. Con ayuda de las curvas que llenan supere cies se puede demostrar que la cardinalidad de R y C es la misma, por lo tanto, 2

la cardinalidad de los complejos es la cardinalidad del continuo. Nosotros posponemos esta demostracin a la Seccin 2.5 donde contaremos con los instrumentos o o necesarios para realizarla. Un punto en el plano puede determinarse tambin por medio de coordenadas e polares lo que lleva a la representacin polar de los complejos (mdulo y argumento o o de un nmero complejo). El valor principal del argumento. Geometr de la suma, u a resta, multiplicacin y divisin. El modulo y el concepto de distancia. Algebra de o o complejos y la frmula de de Moivre (1667-1754). o Utilizaremos indistintamente los conceptos de punto en el plano y de nmero u complejo.

2.3.

Topolog bsica de los complejos a a

En la seccin anterior discutimos brevemente el concepto de distancia entre o cualesquiera dos nmeros complejos, es decir, entre puntos en el plano. Con ayuda u de este concepto se puede denir la vecindad de un punto. Este concepto es similar al concepto de vecindad en los reales, pero el conjunto resultante es bidimensional a diferencia de las vecindades en los reales que son unidimensionales. Un conjunto es acotado si existe una vecindad del cero que lo contenga. Un punto se dice que es interior de un conjunto dado si existe una vecindad de ese punto completamente contenida en el conjunto. Un conjunto se dice abierto si todos sus puntos son interiores. El conjunto vac y el conjunto de todos los o complejos se consideran abiertos. La interseccin de dos abiertos y la unin de o o cualquier coleccin de abiertos es un conjunto abierto. o Ejemplos de conjutos abiertos. Ntese que un intervalo abierto en el eje real no es un conjunto abierto en los o complejos. Debido a la desigualdad del tringulo se tiene que una vecindad es siempre un a conjunto abierto. Tambin es claro que una vecindad es un conjunto acotado. e Una vecindad agujerada de un punto es una vecindad a la que se le quita ese punto. Un punto es un punto l mite de un conjunto si cualquiera de sus vecindades agujeradas contienen al menos un punto de ese conjunto. El punto l mite de un conjunto puede no pertenecer a un conjunto. Ilustrar puntos l mites en varios conjuntos. Un conjunto es cerrado si contiene a todos sus puntos l mites. Si a un conjunto le unimos todos sus puntos l mites obtenemos la cerradura de ese conjunto. De esta forma un conjunto es cerrado si coincide con su cerradura. Claramente un conjunto que no tenga puntos l mite es cerrado, pues un conjunto siempre contiene al conjunto vac En este sentido algunas veces se enuncia la denicin de conjunto o. o cerrado como aquel que si un punto no le pertenece, entonces ese punto no puede ser l mite para l. e 3

El conjunto vac y el conjunto de todos los complejos son conjuntos cerrados. o Tambin son cerrados los conjuntos que se obtienen de la interseccin de cualquier e o coleccin de cerrados y la unin de dos cerrados. o o Ejemplos de conjuntos cerrados. Teorema 2.1. Cualquier vecindad de un punto lmite contiene un nmero innito u de puntos de ese conjunto. Corolario 1. Un conjunto nito es cerrado Teorema 2.2. El complemento de un conjunto cerrado es un conjunto abierto. Un punto frontera de un conjunto es tal que cualquiera de sus vecindades contiene puntos que estn en el conjunto y que no estn en l. a a e Ejemplos de puntos frontera de conjuntos. El conjunto de todos los puntos de frontera de un conjunto constituye la frontera de ese conjunto. Decimos que dos conjuntos no vac son separados si son disjuntos y ninguno os de ellos contiene puntos l mites del otro. O sea que cada uno es disjunto de la cerradura del otro. Un conjunto es conexo si no existe una particin de l en dos conjuntos seo e parados. Equivalentemente, un conjunto es conexo si no puede ser partido en dos conjuntos no vac abiertos con respecto a la topolog inducida. Esta ultima idea os a nos permite dar la siguiente denicin de conjunto conexo. o Un conjunto S se dice conexo si no existen conjuntos abiertos disjuntos A, B tales que 1. A B S 2. A S = , B S = Ms adelante introduciremos el concepto de conexidad por caminos o arco coa nexidad y veremos como estos conceptos estn relacionados con el concepto que a introducimos aqu Tambin veremos que conjuntos pueden ser conexos de dife. e rente forma. Un conjunto abierto conexo se denominar regin. a o

2.4.

Funciones complejas de variable compleja

Una funcin (univaluada), denotada f : A B, es una regla de correspondencia o que asocia a cada elemento de su dominio A un unico elemento de su contradominio B. Imagen, preimagen y rango. Funciones inyectivas, suprayectivas y biyectivas. Si una funcin f es inyectiva podemos denir la funcin inversa f 1 cuyo dominio o o ser el rango de f y cuyo rango ser el dominio de f . a a 4

Ejemplo de funciones y en particular el ejemplo de sucesin como funcin. o o Funciones complejas de variable compleja. Funciones multivaluadas aparecen tambin en la teor de funciones complejas e a de variable compleja. Las funciones complejas multivaluadas asocian, a cada punto de cierto conjunto de los complejos, un subconjunto no vac de los complejos. Un o ejemplo sencillo de funcin compleja multivaluada es la funcin Arg(z). Utilizareo o mos el trmino funcin para referirnos a funciones univaluadas. Siempre que nos e o reramos a funciones multivaluadas este adjetivo siempre estar presente. a Denir una funcin compleja corresponde a dar una pareja de funciones reales o en general de dos variables (la parte real e imaginaria de la variable independiente) cada una describiendo la parte real e imaginaria del valor de la funcin. La conversa o de esta armacin es tambin cierta a cualquier par de funciones reales de dos o e variables le corresponde una funcin compleja. o Dentro de nuestra denicin de funciones entran las funciones reales de variable o real como caso particular. Asimismo podemos estudiar funciones reales de dos variables como una particularidad de la teor de funciones complejas de variable a compleja. Suma de funciones, multiplicacin de funciones por escalar. Espacio lineal de o funciones. Multiplicacin y divisin de funciones. o o De la misma forma que podemos considerar a una funcin real de variable real o como un mapeo de un conjunto de los reales (en el eje x) a otro subconjunto de los reales (en el eje y), podemos ver a una funcin compleja de variable compleja o como un mapeo de un subconjunto del plano complejo (x, y) donde vive z = x + iy a un subconjunto de otro plano complejo (u, v) donde vive w = u + iv. El usar dos versiones de R en el caso de la funcin real de variable real nos permite gracar o la funcin. Lamentablemente, en este mundo tridimensional, no es posible hacer lo o mismo con las dos versiones de C que requiere una funcin compleja de variable o compleja. No obstante es posible gracar la parte real e imaginaria de tal funcin o por separado. Una funcin se dice acotada cuando su rango es un conjunto acotado. o Vamos a empezar por estudiar un tipo muy simple de funciones, a saber las sucesiones. Presentaremos tambin algunos conceptos relacionados con este tipo de e funciones. Interesantemente, las sucesiones nos permitirn ms adelante estudiar a a algunas propiedades de las funciones en general e incluso las utilizaremos como instrumento en un estudio ms a profundidad de las propiedades topolgicas de los a o complejos.

2.5.

Sucesiones, l mites y series

Denicin de sucesin. Sucesiones complejas en N y en Z. Nosotros nos ocupao o remos en esta seccin de sucesiones en N. El ensimo elemento de una sucesin. o e o 5

Debemos tener cuidado de no identicar la sucesin con su rango. Una sucesin o o siempre tiene un nmero innito de elementos aunque su rango sea nito. De esta u forma no es lo mismo un elemento de la sucesin que el correspondiente punto en o el plano complejo. Ilustrar este punto. Suma de sucesiones y multiplicacin de sucesiones por un escalar. Referirse a o la seccin anterior. Espacio lineal de sucesiones. o o o Tomemos una sucesin cualquiera {wn } y una sucesin montona creciente o n=1 o de nmeros naturales {nk } . Con ayuda de esta segunda sucesin podemos seu k=1 parar algunos elementos de la sucesin {wn } ; precisamente aquellos que estn o a n=1 enumerados por nuestra sucesin de naturales. La sucesin resultante {wnk } es o o k=1 una subsucesin de nuestra sucesin original {wn } . Claramente, una subsucesin o o o n=1 de una subsucesin es una subsucesin. o o Un punto del plano complejo w es un punto l mite de la sucesin {wn } si o n=1 para cualquier vecindad de w existe una subsucesin de {wn }n=1 tal que todos sus o elementos pertenecen a esa vecindad. Ejemplos de puntos l mites de sucesiones. Ntese que el punto l o mite de una sucesin no necesariamente es un punto l o mite del rango de la sucesin. Ya que una subsucesin de una subsucesin es una subsuo o o cesin, un punto l o mite de una subsucesin es punto l o mite de la sucesin original. o La armacin conversa no es siempre cierta. o En concordancia con la denicin de funcin acotada, una sucesin es acotada o o o si su rango es un conjunto acotado. Al igual que el resultado conocido de los cursos bsicos de clculo sobre sucea a siones de intervalos inmersos tenemos el siguiente resultado para el plano complejo o a Lema 2.1. Sea {Sn } una sucesin de rectngulos acotados en el plano complejo. n=1 Si Sn+1 Sn para todo n y la longitud de los lados de Sn tiende a cero cuando n , entonces hay un slo punto comn a todos los rectngulos. o u a La primera aplicacin que daremos de este lema es la demostracin de que la o o cardinalidad de los reales y los complejos es la misma. Consideremos el intervalo cerrado [0, 1] y un cuadrado cerrado cualquiera del plano complejo. Dividamos el intervalo y el cuadrado en cuatro subintervalos y cuadrados iguales. Asociemos a cada cuadrado un subintervalo como lo propuso D. Hilbert. Ahora repitamos el proceso para cada uno de los subintervalos y subcuadrados que se obtuvieron. De esta forma podemos construir sucesiones de intervalos y cuadrados inmersos. La sucesiones de cuadrados e intervalos se encuentran en una relacin uno a uno. Por el o lema anterior y lo que sabemos de intervalos inmersos a cada sucesin de intervalos o le corresponde un slo punto en [0, 1] y a cada sucesin de cuadrados le corresponde o o un slo punto en el cuadrado original. Ahora jemos un punto arbitrario t [0, 1]. o Es claro que a este punto le corresponde una o dos sucesiones dependiendo si este punto est o no en los extremos de los intervalos. Si t no est en los extremos a a de los intervalos, en la unica sucesin que corresponde a t determina una unica o 6

sucesin de cuadrados que a su vez determina un unico complejo en el cuadrado o original. Por otra parte si t est en los extremos de los intervalos, entonces a las a dos sucesiones generadas por t le corresponden dos sucesiones de cuadrados. Por la forma como hemos asociado intervalos con cuadrados los elementos de una sucesin o de cuadrados van a ser siempre adyacentes a los elementos de la otra sucesin. Esto o va a implicar que ambas sucesiones determinan el mismo punto. De esta forma a cada t [0, 1] hemos asociado un slo complejo, es decir hemos construido una o funcin compleja de variable real que denotaremos f. o Lema 2.2. f es una funcin suprayectiva o Corolario 2. Los complejos tienen la misma cardinalidad que los reales. El resultado siguiente es el anlogo al principio de Bolzano-Weierstrass para a sucesiones. Teorema 2.3. Una sucesin acotada tiene al menos un punto lmite o Teorema 2.4. La siguientes armaciones son equivalentes: 1) {zn } es acotada y z0 es su unico punto lmite. n=1 2) Para cualquier existe N N tal que n N implica que zn V (z0 ).

Si sucede 1) o 2) entonces decimos que la sucesin {zn } es convergente y su o n=1 l mite es z0 . Teorema 2.5. Si una sucesin converge a cierto nmero complejo entonces cualo u quiera de sus subsucesiones converge a ese mismo nmero. u Teorema 2.6. Una sucesin es convergente si y slo si tiene lugar el llamado o o criterio Cauchy. Es fcil demostrar que una sucesin es convergente si y slo si las correspona o o dientes sucesiones de su parte real e imaginaria son convergentes. Debido a esto todos los resultados de l mites conocidos para sucesiones de nmeros reales se exu tienden al caso de sucesiones de complejos. En particular esto es cierto para el l mite de la sumas y multiplicaciones de sucesiones. Podr amos haber denido la convergencia de una sucesin compleja en base a las sucesiones reales de sus partes o real e imaginaria y haber derivado los teoremas de arriba de los correspondientes para sucesiones reales. Notemos que el hecho de que una sucesin converja al cero signica que la suceo sin de los mdulos converge a cero. Esto indica que si tomamos la representacin o o o polar de los elementos de la sucesin podemos olvidarnos de lo que pase con el o argumento de los elementos de la sucesin. En el caso general las convergencias de o 7

los mdulos y argumentos de los elementos de una sucesin son sucientes para la o o convergencia de la sucesin. La armacin conversa es ms complicada. Por una o o a parte es sencillo probar que la convergencia de una sucesin implica la convergencia o de los mdulos. Sin embargo, la sucesin de los argumentos puede divergir aunque o o la sucesin misma sea convergente. Se puede probar que escogiendo apropiadameno te el valor del argumento siempre se puede lograr que la sucesin de argumentos o sea convergente para una sucesin convergente. o Teorema 2.7. Un punto es un punto lmite de un conjunto si y slo si existe una o sucesin, cuyos elementos son todos diferentes y pertenecen al conjunto, tal que o converge a ese punto. Teorema 2.8. Un conjunto innito acotado tiene al menos un punto lmite. Denicin de serie. Una serie se estudia a travs de sucesiones. Efectivamente, o e si consideramos la sucesin de sumas parciales de la serie, y esa sucesin es cono o vergente, entonces decimos que la serie es convergente y el valor de su suma es precisamente el l mite de la sucesin. Si la sucesin no es convergente, entonces o o la serie es divergente. De esto se desprende directamente que una serie es convergente si y slo si las correspondientes series de sus partes real e imaginaria son o convergentes. As una condicin necesaria de la convergencia de zn es que , o n=1 l n zn = 0. Tambin, aplicando el Teorema 2.6, se puede llegar al criterio m e Cauchy de convergencia de series. La serie y la cola de la serie convergen al mismo tiempo. Adems, la sucesin a o que se obtiene al multiplicar por escalar una serie convergente es convergente. Podemos sumar los trminos de una serie como queramos sin cambiar su orden. La e suma de dos series convergentes es convergente. Teorema 2.9. Sea zn = wn wn para toda n N. Supongamos que a) Cualquier el conjunto de sumas parciales de b) l n wn = 0 m c)
n=1 n=1

wn forma un conjunto acotado

|wn wn+1 | converge.

n=1 zn

Entonces

es convergente.

Una serie se llama absolutamente convergente si la serie de los valores absolutos de los trminos de la serie es convergente. Como la convergencia absoluta de una e serie signica la convergencia de una serie con trminos no negativos, tenemos a e nuestra disposicin todos los criterios de convergencia para series con trminos no o e negativos, entre los cuales mencionamos el de DAlambert y Cauchy. La serie que se obtiene de multiplicar dos series absolutamente convergentes es absolutamente convergente. En una serie absolutamente convergente podemos cambiar los trminos de lugar y siempre obtenemos la misma suma. e 8

2.6.

Continuidad

Tomemos un punto l mite z0 del dominio de una funcin f . Por el Teorema 2.7 o existen sucesiones en el dominio de f que convergen a z0 tales que z0 no est en el a rango de las sucesiones. Teorema 2.10. Sea f una funcin compleja de variable compleja y z0 un punto o l mite del dominio de f . La siguientes armaciones son equivalentes. 1) La sucesin {f (zn )} converge siempre que {zn } sea una sucesin de eleo o n=1 n=1 mentos en el dominio de f tal que z0 = zn para toda n N y tal que zn z0
n

2) Existe w C tal que para cualquier > 0 existe tal que si z V0 (z0 ), entonces f (z) V (w). Cuando 1) o 2) tienen lugar decimos que w es el l mite de la funcin f en z0 . o La denicin que hemos dado para el l o mite de una funcin contiene como caso o particular la denicin que se da en los cursos de clculo al l o a mite de una funcin o real de variable real. Ms an, en el caso general, nuestra denicin es equivalente a u o al l mite de dos funciones reales de dos variables, a saber la parte real e imaginaria. As todos los resultado bien conocidos sobre l , mites de funciones reales de dos variables son vlidos tambin para l a e mites de funciones complejas, en particular, los que se reeren a la suma, resta, multiplicacin y divisin. o o Sea z0 un punto l mite del dominio de una funcin y tal que l pertenece a ese o e dominio. f se dice continua en z0 cuando el l mite de la funcin en z0 es igual a la o funcin evaluada en z0 . Se puede vericar fcilmente que una funcin es continua o a o cuando las funciones reales de dos variables que denen su parte real e imaginaria son a su vez continuas. De aqu se sigue directamente que suma y multiplicacin de o funciones continuas son tambin funciones continuas. La composicin de funciones e o continuas es una funcin continua. o Una funcin continua denida en un conjunto cerrado es una funcin acotada o o y uniformemente continua. Adems por el teorema de Weierstrass el rango de la a funcin es acotado y cerrado. o Fijemos un conjunto acotado y cerrado A en el plano complejo. Denimos la distancia de un punto z C al conjunto A como (z, A) := |z | nf
A

Como el valor absoluto es una funcin continua, si dejamos jo z C y considerao mos la funcin f () = |z |, tendremos por el Teorema de Weierstrass que hay o un punto 0 A donde se alcanza el nmo, por lo que (z, A) > 0 si y slo si o z A. Con ayuda de esto se puede probar que la funcin g(z) = (z, A) es tambin o e 9

continua. As aplicando nuevamente el Teorema de Weierstras concluimos que si B es tambin un conjunto acotado y cerrado entonces e (B, A) := (z, A) nf
B

tiene la propiedad de ser positiva siempre que B y A no se intersecten.

2.7.

Curvas en el plano complejo

Consideremos una funcin compleja continua de variable real denida en un o intervalo cerrado. Esta funcin dene una curva en el plano. El rango de la funcin o o constituye el conjunto de puntos de la curva. La imagen del m nimo del dominio es el punto inicial de la curva mientras que la imagen del mximo es el punto nal. a Los puntos inicial y nal son los puntos extremos de la curva Cuando los puntos inicial y el nal coinciden la curva se llama cerrada. Decimos que dos curvas son idnticas cuando la funcin que dene a una de ellas e o puede representarse como la composicin de una funcin continua estrictamente o o montona y la funcin que dene a la otra curva. Cuando la funcin montona o o o o es creciente se dice que las curvas idnticas tienen la misma direccin y direccin e o o opuesta en caso contrario. Un punto de la curva se llama punto de multiplicidad de la misma si su preimagen contiene ms de un punto del intervalo y al menos uno de ellos no es frontera a del intervalo. Una curva que no tiene puntos de multiplicidad se llama curva de Jordan. Una curva poligonal es una curva constituida por segmentos de recta. Cuando este tipo de curvas no se intersectan a si mismas las curvas son claramente de Jordan. El conjunto de puntos de puntos de una curva es 1. acotado 2. cerrado 3. conexo. Las dos primeras propiedades se desprenden directamente del Teorema de Weierstrass. La ultima propiedad es ms dif de demostrar. Para ello consideremos que a cil la curva no es conexa. Entonces podemos hacer una particin de la curva en dos o conjuntos 1 , 2 tales que ninguno tiene puntos l mites del otro. Las preimagenes de 1 y 2 forman a su vez una particin del intervalo I en los conjuntos I1 y I2 . o Debido a la continuidad de la funcin los conjuntos I1 y I2 tampoco deben tener o puntos l mites del otro. Debido a que I es cerrado, de lo anterior se desprende que I1 y I2 son cerrados. Como ellos no se intersectan, por lo que se dijo al nal de 10

la seccin 2.6 hay una distancia positiva entre ellos. Por ultimo partiendo I en o segmentos de longitud menor que la distancia entre I1 y I2 se puede mostrar que uno de estos dos conjuntos es vacio. De esta forma contradecimos la armacin o anterior sobre la particin de la curva. o

2.8.

Ms sobre topolog en los complejos a a

Un conjunto se dice que es conexo por caminos o arco conexo si cualesquiera dos de sus puntos se pueden unir por una curva totalmente contenida en el conjunto. En otras palabras, es posible denir una curva contenida en el conjunto cuyos puntos inicial y nal son cualesquiera dos puntos del conjunto. Teorema 2.11. Un conjunto arco conexo en el plano complejo es conexo. La armacin rec o proca (o conversa) no es en general cierta. Un ejemplo de un conjunto conexo pero no arco conexo es la llamada curva sinusoidal del Toplogo. o No obstante, para conjuntos abiertos en el plano complejo los conceptos de arco conectividad y conectividad son equivalentes. Teorema 2.12. Un conjunto abierto en el plano complejo es conexo si y solo si es arco conexo. De esta forma cualesquiera dos puntos de una regin del plano complejo pueden o unirse por una curva. Tomemos ahora un conjunto abierto M arbitrario en el plano complejo. Sea z0 un punto de ese conjunto. Ahora formemos el conjunto que contiene a todos los puntos de M que se pueden unir por una curva a z0 . Es fcil demostrar que el a conjunto as formado no es vac es abierto y es conexo. As hemos construido una o, regin que se llama la componente conexa de M que contiene a z0 . La componente o conexa que contiene a z0 resulta ser la regin ms grande posible dentro de M o a que contiene a z0 . De esta forma si dos componentes conexas de M se intersectan, entonces coinciden. Por otra parte, si M no es conexo entonces contiene al menos dos componentes conexas diferentes. M puede tener un nmero innito de comu ponentes conexas, pero de cualquier forma la cardinalidad de las componentes es numerable. Consideremos ahora una regin acotada cualquiera. Cuando su frontera es un o conjunto conexo diremos que esa regin es simplemente conexa. En caso contrario o diremos que la regin es mltiplemente conexa. A su vez, las regiones mltiplemente o u u conexas se llaman nconexas cuando su frontera consiste en n conjuntos acotados, cerrados, conexos, sin puntos en comn. Las regiones mltiplemente conexas que u u no son nconexas se llaman innitamente conexas. Nota 2.13. Ntese que aqu nuestra denicin de conectividad simple es compatio o ble con la denicin general que uno puede encontrar en los cursos de topolog o a. 11

Recordemos que all se dice que un objeto geomtrico es simplemente conexo si e es arco conexo y todas las curvas que unen a dos puntos cualesquiera pueden ser continuamente transformadas unas en otras conservando los puntos extremos. Sea A un conjunto cerrado en C. Las componentes conexas del complemento de A se llaman regiones contiguas de A. Cualquier conjunto cerrado puede tener o un nmero nito de regiones contiguas o un nmero innito numerable de ellas. u u Cuando A es una curva de Jordan cerrada existen slo dos regiones contiguas de o A. Como A es un conjunto acotado es claro que una de sus regiones contiguas es acotada y la otra no. A la regin acotada la llamaremos regin interior de la curva o o de Jordan mientras que a la otra regin exterior. o Sea G una regin simplemente conexa. Se puede demostrar que la regin inteo o rior de una curva de Jordan cerrada completamente contenida en G est tambin a e contenida en G. Ms an, si un conjunto acotado y abierto cualquiera presenta esta a u propiedad, entonces resulta ser simplemente conexo. Vamos a utilizar lo explicado en el pargrafo anterior para introducir los cona ceptos de conectividad simple y mltiple para regiones no acotadas. Diremos que u una regin no acotada es simplemente conexa si la regin interior de cualquier curva o o de Jordan cerrada est contenida en esa regin. De lo contrario ser mltiplemente a o a u conexa. Teorema 2.14. La curva que aparece implicitamente en el Teorema 2.11 puede siempre escogerse de manera que sea una curva de Jordan. Ms an, esa curva de a u Jordan puede escogerse de manera que sea poligonal. Teorema 2.15. Cualquier conjunto cerrado puede inmergirse en otro. Cuando la unin de una coleccin de conjuntos abiertos contiene a cierto cono o junto, decimos que esa coleccin es una cubierta abierta del conjunto. En ocasiones o es posible eliminar algunos de los abiertos que conforman la cubierta y la coleccin o resultante sigue siendo una cubierta abierta del conjunto. En este caso decimos que la nueva coleccin es una subcubierta. o Un conjunto es un compacto cuando de cualquier cubierta abierta podemos obtener una subcubierta nita. Teorema 2.16. Un compacto es siempre un conjunto acotado y cerrado Para los complejos, al igual que para los reales, tiene lugar el llamado lema de Heine-Borel Lema 2.3. Un conjunto acotado y cerrado en C es compacto. Cabe mencionar que hay espacios donde conjuntos acotados y cerrados no son compactos. Por ejemplo en espacios de dimensin innita la bola unitaria cerrada o no es un compacto. 12

Teorema 2.17. Sea S un subconjunto del plano complejo. Las siguientes armaciones son equivalentes. 1) S es cerrado y acotado. 2) S es compacto. 3) Cualquier conjunto innito de S tiene un punto lmite en S. 4) Cualquier sucesin en S tiene una subsucesin que converge a un punto en S. o o La armacin 4) contiene a la denicin de compacidad secuencial. El Teorema o o entonces indica que la compacidad secuencial y la compacidad son equivalentes para los complejos.

2.9.

Proyeccin estereogrca o a

Vamos por un momento a olvidarnos de los complejos y regresar al eje real. Tomemos ahora todas las sucesiones reales convergentes y realicemos una particin o en este conjunto agrupando sucesiones en clases de equivalencia dadas por el l mite de las sucesiones, a saber, dos sucesiones estn en la misma clase de equivalencia a si tienen el mismo l mite. Identiquemos a cualquier nmero real con la corresponu diente clase de equivalencia de sucesiones que tienen a ese nmero como l u mite. Hasta ahora no hemos hecho nada, las sucesiones convergentes se pueden identicas con los reales. Que tal si tomamos, adems de las sucesiones convergentes, las a sucesiones {xn } tales que, dado un nmero M > 0 (M < 0) cualquiera, existe u n=1 un N N tal que xn > M (xn < M ) siempre que n N . Formemos ahora dos clases de equivalencia entre las nuevas sucesiones que consideramos, a saber, las clases de equivalencia de sucesiones que satisfacen las condiciones fuera y dentro del parntesis. La primer clase de equivalencia la identicamos con el el s e mbolo + mientras que la segunda con . Tomando todas las clases de equivalencia mencionadas arriba podemos construir R {+} {} y decir que todas las sucesiones tratadas arriba son convergentes ah . Pudimos haber hecho las cosas de manera diferente. Por ejemplo agregar como una sola clase de equivalencia a las sucesiones convergentes {xn } que dado un n=1 nmero M > 0 existe un N N tal que |xn | > M siempre que n N . De esta u forma podemos denir R {}. Ntese que aqu el conjunto de las sucesiones o convergentes es diferente al caso de arriba. Se puede pasar de R {+} {} a R {} acercando + y . Para esto podemos representar a los reales no como una recta sino como un c rculo. Esto nos lleva a la proyeccin estereogrca de la recta. Hemos entonces identicado o a R {} con el c rculo unitario y este procedimiento se conoce como compacticacin de los reales a un slo punto. Esto es as porque de la recta, que no es o o , 13

compacto, obtuvimos el c rculo que si lo es. Esta compacticacin no es muy util o para los reales, pero nos sirve para ilustrar lo que vamos a hacer con los complejos. Identiquemos primero a los complejos con las clases de equivalencia de las sucesiones convergentes como se hizo arriba. Sea {zn } una sucesin tal que o n=1 dado un nmero M > 0 existe un N N tal que |zn | > M siempre que n u N . Ahora digamos que todas estas sucesiones forman una clase de equivalencia y construyamos C {}. Podemos denir la vecindad de que denotaremos VM () como el conjunto de todos los puntos cuyo mdulo es ms grande que o a M > 0. Entonces las sucesiones de nuestra clase de equivalencia convergen a . En el caso de los complejos extendidos descrito arriba vamos a tener la proyeccin estereogrca del plano a la esfera unitaria. Este proceso se le conoce como o a compacticacin de los complejos. Tambin pasamos de un conjunto no compacto o e a un compacto. La proyeccin estereogrca como una funcin. Conservacin de ngulos y diso a o o a tancia entre puntos.

3.

Funciones elementales

En la seccin anterior se introdujeron las funciones complejas de variable como pleja. Ahora estudiaremos ms a detalle algunas de las funciones complejas ms a a simples.

3.1.

Transformaciones bilineales

La primera funcin que mencionaremos aqu es la llamada funcin de translao o cin. Esta funcin se dene de la siguiente forma: o o f (z) = z + a , a C.

Claramente se observa que podemos denir a esta funcin en todo el plano complejo o (dom(f ) = C). f translada todos los puntos del plano a lo largo del vector a. De esta forma la imagen de un conjunto A en el plano bajo esta funcin es un o conjunto que se obtiene de desplazar A sin ninguna modicacin. o Se dice que la funcin f es una rotacin si se puede escribir o o f (z) = cz , c T.

Esta funcin, que tambin puede denirse en todo el plano complejo, produce una o e rotacin del plano alrededor del origen en un angulo igual al argumento de c. o

14

Otro tipo de funcin se obtiene al considerar o f (z) = |c| z , c C.

Esta funcin es una magnicacin: agranda las escalas cuando |c| > 1, las encoje o o cuando |c| < 1 y las deja sin modicacin cuando |c| = 1. o Sabemos que cualquier nmero complejo puede escribirse de la forma: u c = |c| c , As la funcin o f (z) = cz = |c| cz , produce al mismo tiempo una rotacin y una magnicacin. o o Combinemos ahora los tilpos de funciones que hemos visto en una sla funcin: o o f (z) = cz + a , c, a C . c T.

Esta funcin puede denirse en todo el plano complejo y es llamada funcin lineal. o o Su nombre se debe a que la restriccin a los reales de esta funcin corresponde a o o la funcin que describe una linea recta. Esta funcin, por otra parte, no es una o o funcin lineal en el sentido algebraico a menos que a = 0. o Es fcil mostrar que las funciones lineales mapean l a neas rectas en l neas rectas y c rculos en c rculos. Otro tipo de funcin es la llamada inversin. Se dene como o o f (z) = 1 . z

Ntese que esta funcin, a diferencia de todas las anteriores, no puede denirse o o en todo el plano complejo. En efecto en el cero tenemos una indeterminacin. Sin o embargo podemos considerar no el plano complejo sino la esfera de Riemann (o lo que es lo mismo el plano complejo extendido) y all la funcin est bien denida. o a Observamos que f (0) = , f () = 0 . Consideremos z = x + iy y w = u + iv. Adems sea w = f (z). As la funcin f va a , o del plano z al plano w. Tenemos entonces u= x2 x , + y2 v= x2 y + y2 (1)

Ahora consideremos la ecuacin o (x2 + y 2 ) + x + y + = 0 , 15

la cual describe un c rculo en el plano z cuando a = 0 y una recta en caso contrario. Sustituyamos (1) en la ultima ecuacin para obtener o + u v + (u2 + v 2 ) = 0 lo que de nuevo describe un c rculo en el plano w cuando = 0 y una recta en el caso contrario. De esta forma la inversin mapea c o rculos generalizados en c rculos generalizados. Ntese que aqu no podemos decir que la funcin mapea l o o neas rectas en l neas rectas y c rculos en c rculos. Las propiedades de la funcin inversin descritas arriba se ilustran claramente o o cuando consideramos esferas de Riemann, una correspondiente al plano extendido z y otra al plano extendido w. Para esto hay que observar que cualquier c rculo en la esfera de Riemann que pase por es en realidad una recta en el plano.

3.2.

Funciones polinomiales y trascendentes

4.

Diferenciacin y su signicado geomtrico o e

Referencias
[1] Markushevich, A. I.: Theory of functions of a complex variable. Vol. I. Translated and edited by Richard A. Silverman Prentice-Hall, Englewood Clis, N.J. 1965 [2] Ponnusamy, S. and Silverman, H.: Complex variables with applications. Birkhuser, Boston, MA, 2006. a

16