Sueros Jonathan Funciones Racionales Variable Compleja

PONTIFICIA UNIVERSIDAD CATLICA DEL PER
Escuela de Postgrado
Dinmica de las Funciones Racionales de una Variable Compleja.

Tesis para optar el grado de Magster en Matemtica
Autor: Jonathan Abrahan Sueros Zarate

Asesor: Dr. Rudy Rosas Bazn
Miembros del jurado:
Dr. Percy Fernndez Snchez

Dr. Jess Zapata Samanez
LIMA - PER
2013
A mi madre, Olga Zarate, por su apoyo y

dedicacin.
A mi padre, Edgar Sueros, por su constante
esfuerzo y apoyo incondicional.
A mi hermana, Eliana Sueros, por

su apoyo y constante apoyo
Agradecimientos
A mi padre, Edgar Sueros y mi madre Olga Zarate, por el apoyo que siempre me
han brindado en cada aventura que emprendo en mi vida y por el incansable esfuerzo que
hacen da a da para darme una vida satisfactoria.
A mi hermana, Eliana Sueros por ese apoyo incondicional de hermana con el que
puedo contar siempre y por ser paciente y comprensible por las cosas que hago o dejo de
hacer.
Al Dr. Rudy Rosas Bazn , no solo por su paciencia y tiempo que me dedico para
preparar mejor este trabajo sino tambin por su amista, confianza, exigencia y motivacin.
Al Dr. Percy Fernndez Snchez y al Dr. Jess Zapata Samanez por sus
observaciones para esta versin final de la tesis. Como tambin por todas sus enseanzas y
consejos compartidos en clase.
Resumen
El objetivo principal de la presente tesis es presentar una aplicacin
de los teoremas de Montel sobre familia normales en los sistemas dinmicos, para as poder caracterizar los conjuntos de Julia, denotados por JR ,
definidos a travs de una aplicacin R meromorfa sobre C. Primero haremos un estudio de las propiedades de las funciones meromorfas sobre el
plano complejo C y el plano complejo extendido C, adems estableceremos
algunas mtricas para poder estudiar la convergencia de las aplicaciones
meromorfas. Lo anterior nos permite introducirnos a las familias normales
para funciones holomorfas y para funciones meromorfas la cual posee muchas propiedades que son usadas en la caracterizacin del conjunto de Julia.
Para facilitar algunos resultados es preciso usar la conjugada de funciones
meromorfas sobre C a travs de las transformaciones de Mbius definidas
en el plano complejo extendido. Tambin es necesario el estudio de los puntos peridicos de las funciones meromorfas sobre C obtenindose una serie
de propiedades que sern importantes en el estudio del conjunto Julia. Finalmente es vital el estudio del conjunto de puntos excepcionales la cual
nos dan una serie de propiedades, para as poder dar una caracterizacin
al conjunto de Julia. Dichas caracterizaciones son tales como, la invariancia
del conjunto de Julia, JR , por la aplicacin R y por su respectiva inversa;
que el conjunto JR es igual a su conjunto de puntos de acumulacin; que el
conjunto JR coincide con C, siempre que J R posea algn punto interior; que
JR coincide con la frontera de la cuenca atractora generada por un punto
atractor ; y el ms importante que el conjunto de julia JR , coincide con
el cierre de los puntos repulsores fijos de todos los rdenes .
Introduccin
La nocin de familia normal fue introducida en 1907 por Paul Montel.
Durante la primera mitad del siglo XIX, Montel desarroll lo que hoy se
conoce como la teora de familias normales, un instrumento de suma importancia en el estudio de varios aspectos de la teora de funciones de una
variable compleja. Esta teora estudia aspectos de compacidad para familia
de funciones holomorfas y se inspira en un hecho fundamental en el anlisis
en el siglo XIX conocido como la propiedad de Bozano Weierstrass, que
nos dice que toda sucesin acotada posee una subsucesin convergente.
De esta manera, encontrar subsucesiones convergentes era muy popular
en ese entonces, por ello Riemann quiso extender esta propiedad de gran
utilidad al conjunto E de funciones continuas definidas en un conjunto
compacto de R , pero pronto se vio que la acotacin de E no era suficiente.
Alrededor de 1880 Ascoli introdujo el requisito adicional que equicontinuidad en E, lo que finalmente garantiza que E tenga la propiedad de Bolzano
Weierstrass. Sin embargo no haba muchas aplicaciones y es all donde
Montel introduce la nocin de familia normal:
Una familia F de funciones analticas sobre un dominio C es normal en , si toda sucesin de funciones {fn } F contiene o una subsucesin la cual converge uniformemente en cualquier subconjunto compacto
de a f o a .
Es as que la teora de familias normales, tiene su origen en el teorema de Ascoli [1883] y Arzela [1889, 1895, 1899]. Si (fn ) es equicontinua
y localmente limitada, entonces (fn ) posee una subsucesin que converge
uniformemente en los compactos del dominio. El hecho fundamental que
Montel observa es que para funciones holomorfas, localmente limitada implica equicontinua y es as que nace el famoso teorema de Montel:
Si F es una familia localmente limitada de funciones holomorfas en un
dominio , entonces F es una familia normal en .
Entre las aplicaciones de la teora de montel podemos mencionar algunos
resultados clsicos de la teora de funciones tales como el teorema de la
aplicacin de Riemann, el pequeo teorema de Picard, el gran teorema de
Picard, el teorema de Landau, el teorema Schottky, as como tambin el

estudio de grupos discontinuos y grupos discretos.
Otra aplicacin de la teora de familias normales son las aplicaciones al
estudio del conjunto de Fatou y de Julia en la dinmica de una variable
compleja, la cual ser tratado especialmente en la presente tesis.
Sea R una aplicacin meromorfa sobre C, entonces es posible crear por
medio de esta aplicacin un conjunto, denotado por JR , llamado el conjunto de Julia. Este conjunto esta formado por los puntos z de C, en donde
la familia {Rn : n N} no es normal en z. Entonces cules son las caracterizaciones de este conjunto?. Dichas caracterizaciones son tales como, la
invariancia del conjunto de Julia, JR , por la aplicacin R y por su respectiva inversa; que el conjunto JR es igual a su conjunto de puntos de
acumulacin; que el conjunto JR coincide con C, siempre que J R posea algn punto interior; que JR coincide con la frontera de la cuenca atractora
generada por un punto atractor ; y que el conjunto de julia JR , coincide
con el cierre de los puntos repulsores fijos de todos los rdenes, es decir
{Puntos peridicos repulsores} = JR
Uno de los complementos para terminar esta prueba es que el conjunto
de puntos peridicos atractores e indiferentes sea finito, este ltimo resultado escapa de los alcances de este trabajo, para la prueba ver Alan F.
Beardon Iteration of Rational Functions seccin 9.6. En este trabajo, solo
se prueba que el conjunto de puntos peridicos atractores es finito.
ndice general
0.1. Notaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1. Preliminares y conceptos bsicos
1.1. Conceptos bsicos de Espacios Mtricos . . .
1.2. Conceptos bsicos de anlisis complejo . . . .
1.3. Funciones Holomorfas . . . . . . . . . . . . .
1.3.1. Funciones analticas . . . . . . . . . .
1.3.2. Las ecuaciones de Cauchy-Riemann .
1.4. Integral de Lnea . . . . . . . . . . . . . . . .
1.5. Teorema de Cauchy . . . . . . . . . . . . . .
1.6. Teorema de Liouville . . . . . . . . . . . . . .
1.6.1. Principio del modulo mximo . . . . .
1.7. Conexidad Simple . . . . . . . . . . . . . . .
1.8. Funciones holomorfas en el punto z = . . .
1.8.1. Los ceros de una funcin holomorfa . .
1.8.2. Continuacin analtica . . . . . . . .
1.8.3. Singularidades aisladas de una funcin
1.9. Series de Laurent y singularidades aisladas . .
1.10. Funciones Meromorfas . . . . . . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
holomorfa
. . . . . .
. . . . . .
2. Anlisis en plano complejo extendido C

2.1. Anlisis en plano complejo extendido C . . . . .
2.1.1. Abiertos en C . . . . . . . . . . . . . . .
2.1.2. Distancia Cordal (z, w) . . . . . . . . .
2.1.3. Distancia Esfrica 0 . . . . . . . . . . .
2.1.4. Derivada esfrica . . . . . . . . . . . . . .
2.2. Convergencia Uniforme y Convergencia Esfrica.
2.3. Condicin de Lipschitz. . . . . . . . . . . . . . .
2.4. La convergencia Normal. . . . . . . . . . . . . . .
2.5. Algunos teoremas Clsicos . . . . . . . . . . . . .
2.6. Familia de funciones acotadas . . . . . . . . . . .
2.7. Equicontinuidad . . . . . . . . . . . . . . . . . .
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
12
14
15
17
18
21
22
23
23
24
24
25
26
27
28
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
33
33
34
35
39
40
43
48
52
54
58
59
NDICE GENERAL
3. Familias normales.
3.1. Normalidad . . . . . . . . . . . . . .
3.2. Teorema de Montel . . . . . . . . . .
3.3. Teorema de Vitali-Porter . . . . . .
3.4. Ceros de Familia Normales . . . . .
3.5. Prueba del Teorema Fundamental de
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
Normalidad
. . . .
. . . .
. . . .
. . . .
(TFN)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
63
63
66
68
70
71
4. Funciones normales de funciones meromorfas

75
4.1. Normalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.2. Teorema de Montel . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.3. Teorema de Marty . . . . . . . . . . . . . . . . . . . . . . . . . . 82
5. Sistemas Dinmicos
5.1. Puntos peridicos. . . . . . .
5.2. El conjunto de Julia y Fatou.
5.3. Puntos Excepcionales. . . . .
5.3.1. Caracterizacin de JR .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
. 90
. 94
. 101
. 109
0.1. NOTACIONES
0.1.
Notaciones
1. C: Es el plano complejo unido con , esto es C = C
{}.
2. D = D (z0 , r) = {z : |z z0 | < r}: Disco de centrado en z0 con radio r.

3. Dz0 ,r = D0 (z0 , r) = {z : 0 < |z z0 | < r}
4. K (z0 , r) = {z : |z z0 | r}.
5. R(n) (z) es la n-sima derivada en z.
6. n (A) es el cardinal del conjunto A.
7. : dominio el cual es abierto y conexo.

8. = {} , donde es como en el anterior.
NDICE GENERAL
Captulo 1
Preliminares y conceptos
bsicos
En este captulo enunciaremos las principales definiciones, teoremas y proposiciones bsicas del anlisis complejo. Pero como posteriormente trabajaremos
con aplicaciones definidas en C que luego se extienden a C siendo estos a su
vez espacios mtricos, entonces es importante y fundamental conocer los conceptos y propiedades bsicas de los espacios mtricos para as tener una mejor
comprensin y facilidad para desarrollar y manejar nuestro problema central de
estudio. Adems como toda mtrica induce una topologa, entonces es posible
establecer los conjuntos abiertos, cerrados, compactos, funciones continuas y
ms propiedades que sern importante en este trabajo.
Por tratarse de nociones bsicas, no desarrollaremos demostraciones en este
captulo. Para ver las demostraciones se puede referir en [16]
1.1.
Conceptos bsicos de Espacios Mtricos
Empezaremos con la definicin de espacios mtricos. Veremos algunos conceptos heredados de topologa a los espacios mtricos, como tambin veremos
algunos resultados importante que sern usados posteriormente.
Definicin 1.1. Una mtrica en un conjunto M es una funcin
d: M M
(x, y)
R
7
d (x, y)
donde para cualquier par ordenado de elementos x, y M se le asigna un

nmero real, de modo que, para cualquier x, y, z M , la aplicacin d cumple
las siguientes propiedades. (d1) d (x, y) = 0 si, y solo si, x = y. (d2) si x 6= y
entonces d (x, y) > 0. (d3) d (x, y) = d (y, x). (d4) d (x, y) d (x, z) + d (z, y).
Un espacio mtrico es un par (M, d), donde M es un conjunto y d es una
5
CAPTULO 1. PRELIMINARES Y CONCEPTOS BSICOS
mtrica definida en el conjunto M . A la propiedad (d4) se le llama desigualdad

triangular.
Ejemplo 1.1. Sea M = Rn y sea x, y Rn , donde x = (x1 , x2 , .., xn ) y
y = (y1 , y2 , ..., yn ), entonces en este espacio es posible definir muchos tipos de
mtricas. Veamos algunas mtricas en este espacio.
"
d1 (x, y)
n
X
#1/2
2
(xi yi )
i=1
d2 (x, y)
n
X
|xi yi |
i=1
d3 (x, y)
max |xi yi |
1in
Ejemplo 1.2. Sea M = C y z,q

w C, entonces una mtrica en el conjunto
C C es definida por d (z, w) = (z w) (z w)
Una bola abierta de centro en a y radio r en (M, d) es el conjunto B (a, r) =
{x M/d (x, a) < r} y una bola cerrada de centro en a y radio r en (M, d) es
el conjunto B (a, r) = {x M/d (x, a) r} .
Un subconjunto X de un espacio mtrico (M, d) es un subconjunto en M , es
decir X M .
Definicin 1.2. Un subconjunto X de un espacio mtrico (M, d) se llama
acotado o limitado, si existe una constante c > 0, tal que d (x, y) c, para
cualquier x, y X.
Proposicin 1.1. Sea (M, d) un espacio mtrico. Entonces X M es acotado
si, y solo si, X est contenida en una bola abierta o cerrada de (M, d).
Definicin 1.3. Sean dos mtricas d1 y d2 sobre el conjunto M . Diremos que
las mtricas d1 y d2 son equivalentes, si existen dos constantes positivas k1 y
k2 , tal que se cumple d1 (x, y) k2 d2 (x, y) y d2 (x, y) k1 d1 (x, y) para todo
par ordenado x, y M .
Definicin 1.4. Sean (M, dM ), (N, dn ) espacios mtricos y una aplicacin
f : M N . Entonces diremos que la aplicacin f es Lipschitziana, si existe
una constante c > 0(llamada constante de Lipschitz) tal que d (f (x) , f (y))
c.d (x, y), para cualquier x, y M .
Topologa en espacios mtricos.
Definicin 1.5. Un espacio topolgico es un par (X, T ) el cual consiste de un
conjunto X y una familia T de subconjuntos de X satisfaciendo las siguientes
condiciones: (1) T y X T . (2) La unin arbitraria de elementos en T es
otro elemento de T (esta unin puede ser infinita). (3) La interseccin arbitraria
finita de elementos en T es otro elemento de T .
1.1. CONCEPTOS BSICOS DE ESPACIOS MTRICOS
El conjunto X es llamado espacio, los elementos de X son llamados puntos

del espacio, y los subconjuntos de X que a su vez pertenecen a T son llamados
abiertos en el espacio X. La familia T , formada por subconjuntos abiertos de
X, es tambin llamado una topologa sobre X.
Todo espacio mtrico (M, d) induce una topologa (M, d ), donde d =
{G M/x G, existe r > 0, con B (x, r) G}. Entonces las definiciones y
propiedades de conjuntos abiertos, conjuntos cerrados, conjuntos compactos,
funciones continuas, homeomorfismos y ms en una topologa son fcilmente
heredados a los espacios mtricos. Entonces note que una bola abierta B (a, r)
en el espacio mtrico (M, d) de centro a M y radio res un elemento de la
topologa inducida d .
Definicin 1.6. Sea un subconjunto X del espacio mtrico (M, d). (1) Un
punto a X es interior de X, si existe una bola abierta de centro a, tal que
B (a, r) X. (2) El interior de X es el conjunto Int (X) conformado por los
puntos interiores de X. (3) X es abierto, si todo punto a de X es un punto
interior de X. (4) Llamaremos vecindad de a a un conjunto V abierto que
contiene a a.
Definicin 1.7. Sea un subconjunto X del espacio mtrico (M, d). (1) Un
punto a se dice adherente a X, si para cada > 0 es posible encontrar un x X
tal que d (a, x) < . (2) La cerradura de X, es el conjuntoX conformado por los
puntos M que son adherente a X. (3) X es cerrado , si todos sus puntos son
adherentes a X. (4) Un subconjuntoX M es denso en M cuandoX = M .
Proposicin 1.2. En cualquier espacio mtrico (M, d), una bola abierta B (a, r)
es un conjunto abierto y una bola cerrada B (a, r) es con un conjunto cerrado.
Definicin 1.8. Sea un subconjunto X del espacio mtrico(M, d). (1) Un punto
a M se llama punto de acumulacin de X cuando toda bola abierta de centro
a contiene algn punto de X, diferente del punto a. (2) Indicaremos con la
notacin X 0 al conjunto de acumulacin de X conformados por la coleccin de
todos los puntos de acumulacin de X en M .
Funciones continuas
Definicin 1.9. Sean (M, dM ), (N, dn ) espacios mtricos. Decimos que f :
M N es continua en a M , si para toda vecindad V de f (a) existe una
vecindad U de M , tal que f (U ) V .
Definicin 1.10. Sean (M, dM ), (N, dn ) espacios mtricos . Decimos que f :
M N es continua en M , si la imagen inversa f 1 (A0 ) de todo subconjunto
abierto A0 N es un subconjunto abierto de M .
Proposicin 1.3. Sean (M, dM ), (N, dn ) espacios mtricos. Entonces las siguientes afirmaciones son equivalentes: (1) f : M N es continua en el punto
a M . (2) Para toda bola abierta B 0 = B (f (a) , ) de centro f (a) y radio ,
es posible encontrar una bola B (a, ) de centro a y radio = (a, ) > 0, tal
que f (B) B 0 . (3) Para todo > 0 es posible encontrar un = () > 0, tal
que si x, y M , dM (x, a) < implica que dN (f (x) , f (a)) < .
Proposicin 1.4. la aplicacin f : M N es continua en M si y solo si f es
continua en todo punto a de M .
Conjuntos conexos
Una incisin de un espacio mtrico M es una descomposicin de M = A B
como la reunin de dos subconjuntos A y B ambos abiertos y disjuntos. Una
incisin M = AB se dice trivial cuando uno de los dos abiertos A o B es vaco.
Un espacio mtrico M se llama conexo cuando la nica incisin que posee es la
trivial. Un subconjunto X de un espacio mtrico M se llama conjunto conexo
cuando X sea conexo, visto X como un subespacio mtrico. Cuando X admita
una incisin no trivial, diremos que X es desconex o.
La propiedad de que X sea conjunto conexo es intrnseca, esto es, si X es
subconjunto de (M, dM ) y (M, dN ) induciendo una mtrica en X, entonces X
es un subconjunto conexo de M si, y solo si, es un subconjunto conexo de N .
Proposicin 1.5. Sea (M, d) un espacio mtrico. Entonces, M es conexo si,
y solo si, M y son los nicos subconjuntos de M al mismo tiempo abiertos y
cerrados.
Proposicin 1.6. La imagen de un conjunto conexo por una aplicacin continua es un conjunto conexo.
Conexidad por caminos.
Un camino en un espacio mtrico M es una aplicacin continua f : [0, 1]
M . Los puntos a = f (0) y b = f (1), pertenecen a M y son los extremos del
camino f ; a es punto inicial y b punto final. Se dice en este caso que el camino f
liga(une) a con b. Cuando a a = b, se dice que f es un camino cerrado en M . Un
espacio mtrico M se llama conexo por caminos cuando dos puntos cualesquiera
de M puede ser ligados por un camino contenido en M . Un conjunto X M se
dice conexo por camino, cuando este conjunto cumple estas mismas propiedades.
Proposicin 1.7. Si el espacio mtrico M es conexo por caminos, entonces M
es conexo.
Lmites de sucesiones
Una sucesin de un conjunto M es realizado por una aplicacin x : N M ,
definida en el conjunto N = {1, 2, 3, .., n, ..}. El valor que la sucesin x asume en
el nmero n N ser indicado por xn , en vez de x (n). Entonces una sucesin
es un conjunto ordenado denotado por (x1 , x2 , .., xn , ...) y cada xn se llamar
n esimo t
ermino de la sucesin.
Usaremos las notaciones {xn }nN para representar una sucesin, es decir
{xn }nN = (x1 , x2 , .., xn , ...). Por otro lado para indicar el conjunto de valores de
trminos de una sucesin lo escribiremos como {x1 , x2 , .., xn , ..} o {xn : n N}.
Esta notacin de conjunto no debe de ser confundido con la notacin de sucesin.
Entonces en ocasiones una sucesin {xn }nN se entender por {xn }.
Una subsucesin de {xn }es una restriccin de la aplicacin n 7 xn a un
subconjunto infinito N = {n1 < n2 < ... < nk < ...} de N. Entonces una subsucesin es indicada por la notacin (xn1 , xn2 , .., xnk , ...) o {xnk }kN o simplemente
{xn }nN .
Sea {xn } una sucesin en un espacio mtrico (M, d). Se dice que el punto
a M es lmite de una sucesin {xn } cuando, dado nmero > 0 arbitrario,
puede obtenerse un n0 N tal que n > n0 implica que d (xn , a) < . Esto se
denota por a = limd xn o a = limd xn . De no haber ambigedad con la mtrica
n
en el conjunto M podemos entonces escribir que a = lim xn o simplemente

n
a = limxn , tambin se dice que xn tiende a a. Tambin a = limxn significa que,

dada cualquier bola abierta B, de centro a, xn B para todo n suficientemente
grande. Cuando existe a = limxn , M se dice que la sucesin de puntos {xn }
M , es convergente para a, lo denotaremos por xn a. Si no existe limxn en
M , diremos que la sucesin es divergente en M .
Una observacin importante es que el esta definicin de lmite depende siempre de la mtrica que se establezca en el conjunto donde se encontrara la sucesin {xn }
Proposicin 1.8. Sea (M.d) un espacio mtrico y una sucesin {xn } M .
(1) (unicidad del lmite) La sucesin {xn } no puede converger a dos valores
diferentes. (2) Toda sucesin convergente es acotada. (3) Si limxn = a, entonces
toda subsucesin de {xn } converge para a.
Proposicin 1.9. Sean (M, dM ) y (N, dN ) espacios mtricos. A fin de que una
aplicacin f : M N sea continua en el punto a M es necesario y suficiente
que xn a en M implique f (xn ) f (a) en N .
Corolario 1.1. la aplicacin f : M N es continua si, y solamente si, para
toda sucesin convergente {xn } en M implica que {f (xn )} tambin converge en
N . En caso afirmativo, se tiene f (limxn ) = limf (xn ).
Proposicin 1.10. Sea X un subconjunto de un espacio mtrico (M, d). A fin
de que se tenga a X en M , es necesario y suficiente, que a sea el lmite de
una sucesin de puntos xn X.
Corolario 1.2. (1) Un subconjunto X M es denso en el espacio mtrico M
si, y solamente si, todo punto de M es lmite de una sucesin {xn } X. (2) A
fin de que un subconjunto F sea cerrado en M , es necesario y suficiente, que F
contenga el lmite de cada sucesin {xn } F que converge en M .
Proposicin 1.11. A fin de que a sea un punto de acumulacin de un conjunto
X M es necesario y suficiente que, el punto a sea lmite de una sucesin
{xn } X, con xn 6= a, para todo n N.
10
Sucesiones de funciones
Definicin 1.11. Una sucesin de funciones fn : X M (definidas en un conjunto arbitrario X y tomando valores en el espacio mtrico (M, d)) es converge
en X, si cuando para cada x X la sucesin{fn (x)} converge en M .
Como para cada x X la sucesin {fn (x)} converge a un valor, entonces
este valor es sabido que es nico. Luego esto hace posible definir una aplicacin
f : X M , donde f (x) = limfn (x), para todo x X. Entonces diremos que
la aplicacin f : X M es la funcin lmite de {fn }, siendo este lmite nico.
Luego decir que {fn } converge en M significar que {fn }converge a la funcin
f , siendo f la funcin lmite de {fn }en la mtrica (M, d). Ahora denotemos
por fn f cuando {fn }converge a f . Esta convergencia se llama tambin
convergencia puntualmente, pues la convergencia depende de cada punto x X.
Esto significa, evidentemente que, dado arbitrariamente x X y cualquier
> 0, existe un n0 N (dependiendo de x y de ) tal que n > n0 implica
d (fn (x) , f (x)) < .
Definicin 1.12. Diremos que una sucesin de funciones fn : X M converge
uniformemente en X a una aplicacin f : X M , cuando, para todo nmero
> 0 dado , fuera posible obtener un n0 N(que depende de X y no en
particular de cada punto de X), tal que si n > n0 implica que d (fn (x) , f (x)) <
, para cualquier x X.
Note que la funcin f es la funcin lmite, entonces decir que {fn } converge
uniformemente en M significar que {fn }converge uniformemente a la funcin
f , siendo f la funcin lmite de {fn } en la mtrica (M, d).
Es evidente que si fn f uniformemente en X entonces fn f puntualmente.
Proposicin 1.12. Sean (M, dM ), (N, dn ) espacios mtricos. Si una sucesin
de aplicaciones fn : M N , continuas en el punto a M , converge uniformemente en M , a la aplicacin f : M N , entonces f es continua e en el punto
a.
Lmites de funciones
Definicin 1.13. Sean (M, dM ), (N, dn ) espacios mtricos, X un subconjunto
del espacio mtrico M , a un punto adherente de X y una aplicacin f : X N
. Entonces diremos que un punto b N es el lmite de f (x) cuando x tiende
para a , denotado por
b = lim f (x) ,
xa
cuando, para todo > 0, existe un = (), tal que x X, d (x, a) < implica
que d (f (x) , f (a)) < .
Proposicin 1.13. Sea (M, d) un espacio mtrico y una aplicacin f : X M .
(1) Si a X , entonces b = lim f (x) M si, y solo si, f es continua en a y
xa
11
f (a) = b. (2) Si a X M . se tiene que b = lim f (x) N si, y solamente si,

xa
para cada sucesin de puntos xn X, con xn a, implica que b = limf (xn ).

Continuidad uniforme.
Definicin 1.14. Sean M y N espacios mtricos. Una aplicacin f : M
N se dice que es uniformemente continua cuando, para todo > 0 dado ,
existe = () > 0, tal que sea cual fuera x, y M , d (x, y) < implica que
d (f (x) , f (y)) < .
Evidentemente toda aplicacin uniformemente continua es en particular continua.
Observacin importante, la continuidad uniforme o continua, depende de la
mtrica que se toma en el conjunto del dominio , como tambin depende de la
mtrica que se toma en el conjunto de llegada de una aplicacin. Entonces la
continuidad depende siempre de las mtricas a considerar.
Espacios Completos y Sucesiones de Cauchy.
Definicin 1.15. Una sucesin {xn } en un espacio mtrico M se llama sucesin
de Cauchy cuando, para todo > 0 dado, existe un n0 N tal que m, n > 0
implica que d (xn , xm ) < .
Proposicin 1.14. (1) Toda sucesin convergente es de Cauchy. (2) Toda sucesin de Cauchy es acotada. (3) Una sucesin de Cauchy que posee una sucesin
convergente , es convergente(teniendo el mismo lmite).
Si la sucesin es de Cauchy no necesariamente es convergente.
Definicin 1.16. Se dice que un espacio mtrico M es completo cuando toda
sucesin de Cauchy en M es convergente.
Ejemplo 1.3. (1) El espacio mtrico Rn , con n N y con la mtrica usual, es
un espacio mtrico completo. (2) El espacio mtrico C tambin es completo.
Espacios mtricos Compactos
Sea X un subconjunto de un espacio mtrico M . Una cobertura
S de X es
una familia C = {C : L} de subconjuntos de M tal que X
C . Esto
L
significa que, para cada x X, existe por lo menos un indice

S L, tal que
x C . Si existe un subconjunto L0 L tal que, X
C , entonces la
L0
subfamilia C 0 = {C : L0 } es una subcobertura de C , donde a su vez C 0 es

tambin es una cobertura de X. Sea C = {A : L} una cobertura de X en
M , entonces se dice que es una cobertura abierta, cuando para cada A , L
es abierto en M . Decimos que C = {A : L} es una cobertura finita de X
en M , si L es finito.
12
Definicin 1.17. (1) Un espacio mtrico M se llama compacto cuando toda

cobertura abierta posee una subcobertura finita. (2) Un subconjunto K de un
espacio mtrico M se llama un subconjunto compacto de M cuando toda cobertura abierta de K en M , se le puede extraer siempre una subcobertura finita
para K.
Proposicin 1.15. (1)Todo subconjunto cerrado de un espacio mtrico compacto es compacto. Recprocamente, un subconjunto compacto de cualquier espacio
mtrico es cerrado. (2) Todo espacio mtrico compacto es completo. (3) Todo
espacio mtrico compacto es acotado. (4)
Corolario 1.3. Sea M un espacio mtrico compacto . Entonces {xn } converge
en M , si y solo si, {xn } es una sucesin de Cauchy en M .
Proposicin 1.16. La imagen de un conjunto compacto por una aplicacin
continua es un conjunto compacto. (2) Si M es compacto entonces toda aplicacin continua f : M N es acotada.
Proposicin 1.17. Las siguientes afirmaciones respecto a un espacio mtrico
M son equivalentes:
1. M es compacto;
2. Todo subconjunto infinito de M posee un punto de acumulacin;
3. Toda sucesin en M posee una subsucesin convergente;
4. M es completo y totalmente acotado(respecto a su mtrica definida);
1.2.
Conceptos bsicos de anlisis complejo
Una sucesin de nmeros complejos se denota por {zn }nN , lo que representa
un conjunto ordenado por ndices en los nmeros naturales, es decir
{zn }nN = z1 , z2 , z3 , ... C
A la sucesin {zn }nN la denotaremos por {zn }, siempre que sus ndices sean
nmeros naturales N.
Definicin 1.18. Una sucesin de nmero complejos {zn } converge a z C,
si para cualquier > 0, existe un entero N 1 tal que |zn z| < para todo
n N.
donde para todo a C se tiene que |a| = a.a.

Definicin 1.19. Si {zn } converge a z C, escribiremos zn z, o tambin
lm zn = z.
n
Proposicin 1.18. Si la sucesin {zn } converge a z C, entonces z es nico.

Definicin 1.20. Una sucesin de nmeros complejos {zn } es acotada si existe
un nmero real R > 0 tal que |zn | R para todo n N. Podemos notar que
{zn } es acotada si est contenida en algn disco.
1.2. CONCEPTOS BSICOS DE ANLISIS COMPLEJO
13
Teorema 1.1. Toda sucesin de nmeros complejos convergente es acotada

Proposicin 1.19. Si {zn } y {yn } son sucesiones de nmeros complejos tales
que {zn } z y {yn } y, entonces
1. (zn + yn ) (z + y).
2. zn yn zy.
3. zn /yn z/y, siempre que y 6= 0.
Definicin 1.21. Una sucesin de nmeros complejos {zn } es una sucesin de
Cauchy si para cualquier > 0, existe N 1 tal que |zn zm | < siempre que
m, n N .
Esto quiere decir que una sucesin de nmeros complejos {zn } es una sucesin
de Cauchy si la diferencia zn zm tiene a cero siempre que n y m tienda a .
Teorema 1.2. Un sucesin de nmeros complejos es convergente si y solo si
es una sucesin de Cauchy.
Definicin 1.22. Series. Dados los nmeros complejos a1 , a2 , .., an , .., decimos
que la serie denotada por:
X
ak = a1 + a2 + a3 + ...
k=1
es convergente si la sucesin {sn } es convergente, donde sn = a1 + a2 + .. + an

son sumas parciales; caso contrario diremos que la serie diverge. En el caso
que lim sn = s C, decimos que la serie es igual a s. A esta serie la denotaremos
n
P
por ak
k
Definicin 1.23. Decimos que

P
|ak | es convergente.
P
ak es absolutamente convergente si la serie
k
Proposicin 1.20. si la serie

P
serie ak converge.
P
ak es absolutamente convergente entonces la
k
Notemos que cada funcin compleja f se puede expresar como f (z) =

u (x, y) + iv (x, y) y z = x + iy , donde u y v son funciones reales en R2 .
Definicin 1.24. Una funcin compleja f tiene lmite L cuando z tiende a z0 ,
si para cualquier > 0, existe > 0, tal que |f (z) L| < siempre que z est
en el dominio de f y 0 < |z z0 | < . En este caso escribiremos que
lm f (z) = L,
zz0
f (z) L cuando z z0 .
14
Teorema 1.3. La funcin compleja f (z) tiene lmite L cuando z z0 si y

solo si f (zn ) L para cualquier sucesin {zn } en el dominio de f (z) tal que
zn 6= z0 y zn z0 .
Teorema 1.4. Si una funcin tiene lmite en z0 , entonces la funcin es acotada
en alguna vecindad de z0 .
Teorema 1.5. Si f (z) L y g (z) M cuando z z0 nosotros tenemos que
1. f (z) + g (z) L + M.
2. f (z) g (z) LM.
3. f (z) /g (z) L/M , siempre que M 6= 0.
Definicin 1.25. Una funcin f (z) es continua en z0 , si existe f (z0 ) y
f (z) f (z0 ) cuando z z0 .
Definicin 1.26. Una funcin continua es una funcin que es continua en
cada punto de su dominio.
Teorema 1.6. Una funcin real continua sobre un dominio compacto alcanza
su mximo valor en dicho dominio.
1.3.
Funciones Holomorfas
Ac observaremos que las definiciones bsicas junto con las propiedades y

reglas para la derivada compleja son casi las mismas como para la derivada usual
en el anlisis real.
Notaremos a una funcin compleja definida en U como f : U C, donde
U C.
Definicin 1.27. (1) Sea f : U C con z0 C, diremos que f es derivable en
z0 , si el lmite:
f (z) f (z0 )
lim
(1.3.1)
z z0
zz0
existe. (2) Diremos que f es holomorfa en U , si f es derivable en todo z0 U .
(3) Diremos que f es holomorfa en z0 si existe una vecindad de z0 abierta en
la que f es holomorfa. El lmite de la ecuacin 1.3.1, lo denotemos por f 0 (z0 ) o
df
(z0 ) y podemos referirnos como la derivada compleja de f (z) en z0 , es
por
dz
decir.
df
f (z) f (z0 )
(z0 ) = f 0 (z0 ) = lm
.
dz
z z0
zz0
Sea la funcin compleja f : U C, escribimos f H (U ), para denotar que
f es holomorfa en todo U .
Teorema 1.7. Si f (z) es holomorfa en z0 C, entonces f (z) es continua en
z0 .
1.3. FUNCIONES HOLOMORFAS
15
Ms adelante mostraremos un resultado que nos dice que, si f 0 es holomorfa,

entonces f 0 es continua.
Proposicin 1.21. Sea f y g holomorfas en z C, entonces se cumplen las
siguientes reglas para la derivada compleja:
0
(cf ) (z) = cf 0 (z) c C

0
(f + g) (z) = f 0 (z) + g 0 (z)
0
(f g) (z) = f (z) g 0 (z) + f 0 (z) g (z)
g (z) f 0 (z) f (z) g 0 (z)
0
, g (z) 6= 0
(f /g) (z) =
2
g (z)
(1.3.2)
(1.3.3)
(1.3.4)
(1.3.5)
Teorema 1.8. (Regla de la cadena) Suponga que g (z) es holomorfa en z0

C, y suponga que f (w) es holomorfa en w0 = g (z0 ). Entonces la composicin
(f g) (z) = f (g (z)) es holomorfa en z0 y
0
(f g) (z0 ) = f 0 (g (z0 )) g 0 (z0 ) .

A continuacin veremos el estudio de funciones analticas, como ejemplos de
funciones holomorfas, pero primero estudiaremos el comportamiento de un tipo
en particular de series llamadas Series de potencias.
1.3.1.
Funciones analticas
Para el estudio de las funciones analtica es importante repasar primero las

definiciones y propiedades bsicas de series de potencias, ya que una funcin
analtica tiene una representacin en una serie de potencia.
Series de Potencia
Definicin 1.28. Una serie de potencia, centrando en z0 es una serie de la
forma
X
k
ak (z z0 )
k=0
Si hacemos un cambio de variable w = z z0 , se reducir al caso en que la

serie de potencia estar centrado en w0 = 0. Donde la denotaremos por
X
k
ak (w)
k
.
Definicin
1.29. Denotaremos por (s) el radio de convergencia de la serie
P
s = ak z k , el cual est dado por
k
(
(s) = Sup r 0 :
)
X
k
|ak | r <
16

P
r 0 : |ak | rk < fuera acotado, caso con-
siempre que el conjunto
trario decimos que (s) = .

Teorema 1.9. Sea (s) < el radio de convergencia de s =
P
ak z k , tenemos
k
que:
1. si |z| < (z), entonces la serie s converge absolutamente.
2. si |z| > (s), entonces la serie diverge

P
La serie s = ak z k con radio de convergencia (s) > 0, nos lleva a definir la
k
funcin S en en disco D (0, (s)), como

S : D (0, (s)) 7 C
X
z
ak z k
k
Teorema
1.10. Sea S (z) la funcin definida en D (0, ) por la serie de potencia
P
ak z k con radio de convergencia > 0 . Entonces S (z) es holomorfa y su
k
derivada es dada por

S 0 (z) =
X
kak z k1 , |z| < (s)
k=0
adems se cumple que

S 0 (z) =
(k + 1) ak+1 z k , |z| < (s)
k=0
Corolario 1.4. La funcin S (z) definida por la serie de potencia s =
P
ak z k ,
k
con radio de convergencia (s) > 0, es infinitamente diferenciable en z

D (0, (z)) y es dada por
X
S (n) =
(k + n) (k + n 1) ... (k + 1) ak+n z k .
k=0
Este corolario es una consecuencia inmediata del teorema anterior.

P
Corolario 1.5. Dada S (z) una funcin definida por la serie s = ak z k con
k
radio de convergencia (s) > 0. Entonces para todo k 0 se cumple que

ak =
1 (k)
S (0) , k 0.
k!
La frmula para los coeficientes es obtenidas derivando k veces la serie para

S (z) y remplazando en z = 0.
1.3. FUNCIONES HOLOMORFAS
17
Funciones analticas
Ahora definiremos a las funciones analticas como funciones representadas
a travs de serie de potencias en cada punto de su dominio. Por lo visto en
serie de potencias, veremos como las funciones analticas son tambin funciones
holomorfas.
Definicin 1.30. Decimos que f : C es representable como serie de
potencias en p U , si existen a0 , a1 , a2 , ... C y r > 0 tal que
2
f (z) = a0 + a1 (z p) + a2 (z p) + ..., z D (p, r)

Definicin 1.31. Decimos que f : C es analtica si f es representable
como una serie de potencias en todo p .
Teorema 1.11. Toda funcin analtica en es holomorfa.
Este resultado es cierto por lo visto en el teorema 1.10. La recproca tambin
es cierta pero para esta prueba se necesita la formula de integral de Cauchy(F.I.C)
esto es en el teorema 1.20.
1.3.2.
Las ecuaciones de Cauchy-Riemann
Estas ecuaciones establecen una relacin importante entre el derivadas parciales reales y la derivada compleja.
Suponga que f = u + iv es holomorfa en un dominio C. y fijado un
z , entonces se observa que la derivada compleja de f 0 (z) , o sea
f 0 (z) =
lim f (z + z) f (z)
z
z0
tambin es equivalente a
u
v
(x, y) +
(x, y) = f 0 (z)
(1.3.6)
x
x
u
v
(x, y) i
(x, y) = f 0 (z)
(1.3.7)
y
y
Denotemos como las Ecuaciones de Cauchy-Riemann a las siguientes
relaciones para u y para v funciones reales en (x, y) R2 si satisfacen que
u
v
v
u
(x, y) =
(x, y) ,
(x, y) =
(x, y) .
x
y
x
u
(1.3.8)
Teorema 1.12. Sea f = u + iv definida sobre un dominio C, donde u y

v son funciones reales en R2 . Entonces f (z) es holomorfa sobre , si y solo si
u (x, y) y v (x, y) tienen derivada parcial de primer orden continua y satisface
la ecuacin 1.3.8.
Teorema 1.13. Si f H (), donde es un dominio y si f 0 (z) = 0 para todo
z , entonces f (z) es constante.
Teorema 1.14. Si f H (), donde es un dominio, adems f () R,
entonces f (z) es constante.
18
Aplicacin inversa
Teorema 1.15. (Aplicacin inversa). Sea f H () y z0 , con f 0 (z0 ) 6=
0. Entonces existe un disco abierto suficientemente pequeo D conteniendo
a z0 , tal que f (z) es inyectiva sobre D, la imagen V = f (D) es abierto, y la
funcin inversa
f 1 : V D
es biholomorfa y satisface que
0
f 1 (f (z)) = 1/f 0 (z) , z U
Figura 1.3.1:
1.4.
Integral de Lnea
Las integrales de lnea juegan un rol importante en el anlisis complejo, una

de ellas es la Frmula integral de Cauchy, empezaremos definiendo caminos.
Definicin 1.32. Un camino continuo en el plano complejo que va del punto
A C y termina en el punto B C, es una funcin
: [a, b] U C
t (t) = u (t) + iv (t)
continua con (a) = A y (b) = B donde u y v son funciones reales en R2 .
Se sabe que si (t) = u (t) + iv (t) es continuo, entonces tanto u como v tiene
que ser continuos. En lo sucesivo, llamaremos camino a todo camino continuo.
Definicin 1.33. El camino es simple si (t) 6= (s) cuando s 6= t. El camino
es Cerrado si empieza y termina en el mismo punto, esto es (a) = (b). Caso
contrario el camino, no sera simple.
1.4. INTEGRAL DE LNEA
19
Figura 1.4.1: caminos simples, no simples y cerrado.

Definicin 1.34. La traza del camino es la imagen ([a, b]).
Si el camino termina donde otro camino empieza, entonces estos caminos se
pueden concatenar, es decir, unir.
Definicin 1.35. Diremos que el camino : [a, b] U C, es de clase C 1 si
es una funcin derivable en todo (a, b) y existen los lmites laterales de en a y
b, esto es
(a + h) (a)
lim 0 (t) = lim
C
h
+
ta
h0
t>a
y
lim 0 (t) = lim
tb
t<b
h0
(b + h) (b)
C.
h
En estas condiciones, si (t) = (t)+i (t) donde y son las componentes

real e imaginaria de , entonces y son funciones de clases C 1 en (a, b) y sus
derivadas se extienden continuamente en los extremos de este intervalos.
Definicin 1.36. Diremos que el camino : [a, b] U C es C 1 por partes,
si es continuo y si existe una particin finita a = a0 < a1 ... < an1 < an = b
de [a, b], tal que para todo j = 1, ..., n, | [aj1 , aj ] es de clase C 1 .
Definicin 1.37. Definiremos la integral sobre el camino : [a, b] C, donde
(t) = u (t) + iv (t) , como
(t) dt =
a
u (t) dt + i
a
v (t) dt
a
Esta definicin es consistente, ya que es un camino, por ende es una aplicacin continua, entonces se tiene que u y v son aplicaciones sobre R2 continua.
Definicin 1.38. Si : [a, b] C es un camino C 1 por parte, f : A C C
es continua en el abierto A y ([a, b]) A, definimos
f=
f (z) dz =
n
X
i=1
ai
f ( (t)) 0 (t) dt C.
ai1
como la integral de f sobre . Note que f ( (t)) 0 (t) es continua en cada uno
de los subintervalo [ai1 , ai ] [a, b].
20
Definicin 1.39. Si 1 : [a, b] C y 2 : [b, c] C son camino C 1 por parte,

con 1 (b) = 2 (a), definimos la curva C 1 por parte 1 +2 : [a, c] C mediante

1 (t) t [a, b]
(1 + 2 ) (t) =
2 (t) t [b, c]
de forma anloga se define la curva C 1 por partes 1 + 2 + .. + n .
Definicin 1.40. Sea un camino C 1 por parte de la forma = 1 +2 +..+n ,
donde i son caminos C 1 por partes, para i = 1, .., n. Si cada imagen de i est
en A abierto, y f : A C es continua en A, definimos la integral sobre como
f=
1 +...+n
n
X
i=1
Proposicin 1.22. Sea un camino C 1 por partes, entonces se cumple la

siguiente desigualdad

f (z) dz
|f (z)| |dz| .

Definicin 1.41. Sea : [a, b] C, un camino C 1 por partes definimos la

longitud de como:
n ai
X
L () =
| 0 (t) dt| <
i=1
ai1
donde es C 1 en cada [ai1 , ai ] para cada i = 1, ..., n.

Proposicin 1.23. Sea : [a, b] C un camino C 1 se tiene que f (z) dz
!
(L ())
sup f (z) .
z[a,b]
Teorema 1.16. Teorema Fundamental del Clculo. Sea F H (). Si

: [a, b] C es C 1 por parte y ([a, b]) entonces se cumple:
F 0 = F ( (b)) F ( (a)) .
en particular, si es cerrada , es decir (b) = (a) se tiene
F 0 = 0,
para toda curva cerrada C 1 por partes.

Definicin 1.42. Llamaremos regin a un conjunto U C que es un dominio(abierto y conexo) y diferente del vaci.
1.5. TEOREMA DE CAUCHY
21
Proposicin 1.24. Independencia de camino. Si f : A C es continua

en una regin A, las siguientes afirmaciones son equivalentes:
1. f es independiente del camino 1 f = 2 f para todo par de caminos

C 1 por parte, 1 y 2 contenidas en A que unen un punto z1 A con otro
punto z2 A.
2. f = 0, para toda curva cerrada C 1 por partes contenida en A.

3. f admite una antiderivada (o primitiva) en A ,si existe F : A C analtica en A tal que F 0 (z) = f (z) para todo z A.
1.5.
Teorema de Cauchy
Empezaremos definiendo una extensin de una funcin al borde del dominio

de manera holomorfa.
Definicin 1.43. Diremos que el dominio C, con C tiene borde
C 1 por partes, si existe camino : [a, b] C de clase C 1 por partes, tal que
[a, b] = . Esto es que el borde se puede parametrizar por un camino
de clase C 1 por partes.
Definicin 1.44. Diremos que una funcin holomorfa f : C se extiende
de forma holomorfa sobre su borde, si existe un dominio abierto 0 con 0
tal que f : 0 C es holomorfa.
Teorema 1.17. Teorema de Cauchy(Versin homolgica) Sea un dominio
acotado donde su borde es C 1 por partes. Si f (z) es holomorfa sobre el
dominio , tal que se extiende de forma holomorfa a su borde , entonces
f =0
Definicin 1.45. Sea U C una regin, y sean 1 y 2 dos caminos continuos

contenidas en U con los mismos extremos z1 , z2 U (z1 6= z2 ) dos curvas
cerradas continuas contenidas en U . Diremos que 1 y 2 son homotpicas en U
si 1 se puede deformar continuamente hasta trasformarse en 2 sin salirse de
U . En el primer caso, los extremos de las curvas deformadas han de mantenerse
iguales a z1 y z2 , y en el segundo todas las curvas deformadas son cerradas. Un
punto z0 U es una curva cerrada constante: (t) = z0 , t [a, b]. Note que
f = 0 para todo f .
z0
Definicin 1.46. Una regin U C es simplemente conexa si toda curva
cerrada continua contenida en U es homotpica a un punto en U .
Teorema 1.18. (Teorema de la deformacin) Sean 1 y 2 dos caminos
C 1 por partes homotpicos en una regin U , y sea f : U C holomorfa en U .
Entonces se verifica
f=
1
f.
2
22
Teorema 1.19. (Teorema de Cauchy, Versin homotpica). Sea un

camino cerrado C 1 por partes homotpico a un punto en una regin U . Si f :
U C es holomorfa en U se cumple
f =0
Teorema 1.20. (Formula Integral de Cauchy en el disco) Sea f : U C

una funcin holomorfa, donde U C es abierto. Sea D un disco cerrado tal que
D U . Entonces para todo z en el interior de D, vale la frmula
1
f (w) dw
f (z) =
2i D w z
Gracias a este teorema se puede enunciar el siguiente teorema el cual termina
de unificar las funciones analticas con las holomorfas
Teorema 1.21. Toda funcin holomorfa en un abierto U C es analtica en
dicho abierto.
1.6.
Teorema de Liouville
Veamos algunas aplicaciones de la frmula integral de Cauchy.

Proposicin 1.25. Frmula integral de Cauchy para las derivadas. Sea
f : C holomorfa en una regin . Entonces f es infinita veces derivable en
cualquier punto de . Adems, si : [a, b] C es una camino C 1 por partes y
homotpica a un punto z0 en y z0 ([a, b]) se verifica
k!
f (w)
(k)
n (, z0 ) .f (z0 ) =
dw, k N.
2i (w z0 )k+1
Donde n (, a) es el nmero de vueltas que da la curva al rededor de z0 .
Proposicin 1.26. (Desigualdad de Cauchy) Sea f analtica en una regin
A, sea a A, y supongamos que D (a; R) = {z C : |z a| R} est en A. Si
M = m
ax |f (z)| entonces
|za|=R
k

f (a) k! M, k = 0, 1, 2, ....
Rk
Teorema 1.22. (Teorema de Liouville) Si f es una funcin entera (es decir,
holomorfa en todo C) y est acotada en C, entonces f es constante.
Proposicin 1.27. Sea f una funcin entera verificando
|f (z)| M |z| , z C\D (0; R)

para algn M, R > 0 y 0. Entonces, f es un polinomio (de grado, a lo
sumo, el mximo entero de .)
1.7. CONEXIDAD SIMPLE
23
Teorema de Morera
Si f : U C es continua en una regin U C y f = 0 para toda curva

cerrada de clase C 1 , contenida en U , entonces f es holomorfa en U .
1.6.1.
Principio del modulo mximo
Propiedad del valor medio

Si f H (), donde es un dominio, entonces todo disco cerrado D (a; r)contenido
en , verifica que
2

1
f a + rei d.
f (a) =
2 0
Principio del mdulo mximo.
Sea f H (),donde es un dominio, y que |f | tiene un mximo relativo
en a A . Entonces f es constante en un entorno de a.
Corolario 1.6. Si f : C C es holomorfa en una regin A y |f | alcanza un
mximo absoluto en A, entonces f es constante en A.
1.7.
Conexidad Simple
Veremos un teorema importante para las regiones simplemente conexas.

Teorema 1.23. Caracterizacin de un simple conexo. Sea una regin
de. Las siguientes propiedades son equivalente entre s:
1. es simplemente conexo.
2. para todo ciclo y para todo f H () se verifica
f (z) dz = 0.
3. todo camino cerrado contenido en es homotpico a cualquier punto

p .
4. todo ciclo contenido en es homlogo a respecto de . (existencia de
la primitiva) Toda funcin f H () admite una primitiva en , es decir,
f = F 0 para alguna F H () .
5. (existencia de logaritmo holomorfo) para toda funcin f H (), con
f (z) 6= 0 en todo z , existe g H () , tal que para todo z se
tiene que f (z) = eg(z) .
6. (existencia de races cuadradas holomorfas) Para toda funcin f H ()
con f (z) 6= 0 en todo z existe g H (), tal que g 2 (z) = f (z) para
todo z .
24
1.8.
Funciones holomorfas en el punto z = .
Diremos que la funcin f (z) es holomorfa en z = si la funcin g (w) =

f (1/w) es holomorfa en w = 0.
Si f (z)es analtica en , entonces g (w) = f (1/w) tiene una expansin de
serie de potencia centrado en w = 0,
g (w) =
X
k
bk (w) = b0 + b1 w + b2 w2 + b3 w3 + ..., |w| < .
k=1
As f (z) es representado por una serie de expansin convergente descendiendo

la potencia de z,
f (z) =
X
bk
zk
= b0 +
b1
b2
b3
1
+ 2 + 3 + ..., |z| > .
z
z
z
k=1
Esta serie converge absolutamente para |z| > 1/, y converge uniformemente en
|z| > r, siempre que r > 1 .
1.8.1.
Los ceros de una funcin holomorfa
Decimos que una funcin no es idnticamente nula en z0 , si existe una vecindad U que contiene a z0 , tal que f 6 0 en U .
Definicin 1.47. Sea f (z) holomorfa en z0 , suponga que f (z0 ) = 0, pero f (z)
no es idnticamente nula, entonces diremos que f (z) tiene un cero de orden
N en z0 si f (z0 ) = f 0 (z0 ) = .... = f (N 1) (z0 ) = 0, mientras que f (N ) (z0 ) 6= 0.
En vista de la frmula de expansin de serie de potencia de f (z), tenemos
que la funcin con cero de orden N en z0 tiene la forma
N
N +1
f (z) = aN (z z0 ) + aN +1 (z z9 )
donde aN 6= 0. Podemos factorizar el trmino (z z0 )

y escribir
N
f (z) = (z z0 ) h (z) ,
+ ...,
de la serie de potencia
donde h (z) es analtica en z0 con h (z0 ) = aN 6= 0.

Un cero de orden uno, es llamado un cero simple y un cero de orden dos es
llamado un doble cero.
Definicin 1.48. Diremos que f (z) tiene un cero en z = de orden N si
g (w) = f (1/w) tiene un cero en w = 0 de orden N .
As con la definicin anterior, la funcin f con cero en z = de orden N
tiene la siguiente representacin
f (z) =
donde bN 6= 0.
bN
bN +1
+ N +1 + ..., |z| > R,
zN
z
1.8. FUNCIONES HOLOMORFAS EN EL PUNTO Z = .
25
Definicin 1.49. Diremos que un punto z0 E es un punto aislado de el

conjunto E si existe > 0, tal que |z z0 | para todos los puntos z E que
no sea z0 .
Diremos que z0 E es un punto de acumulacin de E, si z0 no es aislado
en E.
Teorema 1.24. Sea un dominio, y f H (), tal que no es idnticamente
cero, entonces los ceros de f (z) son aislados.
Teorema 1.25. Si f (z) y g (z) son holomorfas sobre un dominio , y si f (z) =
g (z) para z E , donde E posee un punto de acumulacin, entonces
f (z) = g (z) para todo z .
Teorema 1.26. (Teorema de identidad). Si las funciones holomorfas
g, f : C coinciden sobre un conjunto con algn punto de acumulacin
en entonces f g en el .
1.8.2.
Continuacin analtica
Definicin 1.50. Un Elemento de funcin es un par ordenado (f, D), donde D

es un disco circular abierto y f H (D).
Definicin 1.51. Dos elementos de funcin (f0 , D0 ) y (f1 , D1 )Tson prolongaciones directas uno del otro si se verifican dos condiciones: D0 D1 6= . En
este caso escribimos
(f0 , D0 ) (f1 , D1 ) .
Definicin 1.52. Una cadena es T
una sucesin finita de discos C, por ejemplo
C = {D0 , D1 , ..., Dn } tal que Di1 Di 6= para i = 1, 2, 3, ..., n .
Definicin 1.53. Sea un elemento de funcin (f0 , D0 ), si existen elementos de
funciones (fi , Di ), tales que (fi1 , Di1 ) (fi , Di ) para i = 1, ..., n, entonces
(fn , Dn ) se llama prolongacin analtica de (f0 , D0 ) a lo largo de una cadena
C = {D0 , D1 , ..., Dn }.
Proposicin 1.28. Sea (fn , Dn ) una prolongacin analtica de (f0 , D0 ) a lo
largo de la cadena C = {D0 , D1 , ..., Dn }, entonces (fn , Dn ) est determinada de
manera nica por C y el elemento (f0 , D0 ).
Definicin 1.54. Una cadena C = {D0 , D1 , ..., Dn } se dice que recubre un
camino : [0, 1] C, si existen nmeros 0 = s0 < s1 < ... < sn = 1, tal que
(0) es el centro de D0 , (1) es el centro de Dn , y
[si , si+1 ] Di (i = 0, 1, ..., n 1) .
Definicin 1.55. Si (fn , Dn ) puede prolongarse a lo largo de la cadena
C = {D0 , D1 , ..., Dn } el cual recubre un camino hasta (fn , Dn ), llmanos
a (fn , Dn ) una prolongacin analtica de (f0 , D0 ) a lo largo de ; o tambin
podemos decir que (f0 , D0 ) admite una prolongacin analtica a lo largo de .
A continuacin se presenta un resultado esencial.
26
Teorema 1.27. (Teorema de Monodromia) Supongamos que U es una regin simplemente conexa, (f, D) es un elemento de funcin, D , y que (f, D)
puede prolongarse analticamente a lo largo de toda curva de U que comience en
el centro de D. Entonces existe una g H (U ), tal que g (z) = f (z) para todo
z U.
1.8.3.
Singularidades aisladas de una funcin holomorfa
Definicin 1.56. Un punto z0 es una singularidad aislada de f (z), si f (z) es

holomorfa en algn disco perforado D (a, r) = {z : 0 < |z z0 | < r} centrado
en z0 .
Definicin 1.57. Decimos que el lmite de una funcin f , cuando z tiende a
a, es infinito, si para todo M > 0, existe > 0, tal que |z a| < implica que
|f (z)| > M . A este lmite lo escribiremos como
lim f (z) =
za
Definicin 1.58. Sea f (z) holomorfa en D (a, r). Si existe una funcin holomorfa f en D (a, r), tal que f = f en D (a, r) , entonces la singularidad de f
en z0 se llamar removible.
Teorema 1.28. Supongamos que f (z) es holomorfa en D (a, r) y que f es
acotada en D (a, r0 ) para algn r0 > 0. Entonces, f tiene una singularidad
removible en a.
Corolario 1.7. Si lim f (z) = , entonces existe h : D (a, r) C holomorfa
za
con h (a) 6= 0 y m N, tal que f (z) =
h(z)
(za)m
En las condiciones del corolario anterior diremos que f tiene un polo en a

de orden m.
Definicin 1.59. Diremos que f tiene singularidad esencial en z = a, si f no
tiene polo ni es removible en z = a.
Teorema 1.29. Si a y f es holomorfa en a, entonces debe de presentarse solo uno de los siguientes casos par f :
1. f tiene una singularidad removible en a.
2. Existen nmeros complejos c1 , .., cm donde m es un entero positivo y
cm 6= 0, tales que
m
X
ck
f (z)
k
(z a)
k=1
tiene una singularidad removible en a. Esto ltimo es equivalente a decir
que f posee un polo de orden m en a.
1.9. SERIES DE LAURENT Y SINGULARIDADES AISLADAS
27
3. Para todo disco D (a; r) centrado en a y de radio r > 0 se cumple que f (D0 (a; r)) es denso en el plano. esto equivale a que f (z) tiene
singularidad esencia en z=a.
Teorema 1.30. Sea z0 una singularidad aislada de f (z). Entonces z0 es un
polo de f (z) de orden N si y solo si 1/f (z) es holomorfa en z0 y tiene un cero
de orden N .
1.9.
Series de Laurent y singularidades aisladas
Hemos visto que si f es holomorfa en una regin U , entonces f es analtica

en dicha regin, luego por esta razn f puede ser representada como una serie
de potencia para cada z U . Sin embargo, si f (z) tiene un polo de orden p,
digamos en z = z0 , dentro de la regin U , no ser holomorfa en ese punto, pero
este tipo de funcin definida en U se puede representar como una doble serie,
p
gracias a que g (z) = (z z0 ) f (z), es analtica en todos los puntos de la regin
U.
Definicin 1.60. (Serie de Laurent) Se llama serie de Laurent centrada en
z = z0 a
X
X
an
n
+
an (z z0 )
n
(z z0 )
n=1
n=0
donde an y an son constantes complejas (independientes de z).

Definicin 1.61. Se dice que la serie de Laurent converge puntualmente para
todo z en cuando ambas series convergen puntualmente para todo z .
Definicin 1.62. Se dice que la serie de Laurent converge absolutamente para
todo z en cuando ambas series convergen absolutamente para todo z .
Definicin 1.63. Se dice que la serie de Laurent converge uniformemente en
cuando ambas series convergen uniformemente en .
Definicin 1.64. Diremos que una funcin f (z) definida en en el anillo
< |z z0 | < tiene una expansin de Laurent , si f (z) puede ser escrita
como
X
k
f (z) =
ak (z z0 ) , con < |z z0 | <
k=
el cual dicha serie converge absolutamente y donde su convergencia uniforme se

cumple para r |z z0 | s siendo < r y s < .
Descomposicin de Laurent
Veremos un teorema para saber bajo que condiciones una funcin puede ser
representada como una expansin de una serie de de Laurent.
28
Teorema 1.31. La descomposicin de Laurent Sea 0 < < +, y

supngase que f (z) es holomorfa en < |z z0 | < . Entonces f (z) puede ser
descompuesto como una suma
f (z) = f0 (z) + f1 (z) ,
donde f0 (z) es holomorfa para |z z0 | < , y f1 (z) es holomorfa en |z z0 | >
y en .
Como f0 (z) es holomorfa, entonces se puede representar como
X
k
ak (z z0 ) , |z z0 | < ,
k=0
que converge absolutamente en |z z0 | < y desde luego converge uniformemente para |z z0 | < s con s < . De la misma forma podemos expresar a
f1 (z) como una serie de potencias negativas de z z0 , de la forma
f (z) =
ak (z z0 ) , |z z0 | > .
k=1
el cual converge absolutamente en |z z0 | > y converge absolutamente en

|z z0 | > r con r > . Si sumamos las dos serie , obtenemos una doble expansin
para f (z),
X
k
f (z) =
ak (z z0 ) , < |z z0 | < ,
(1.9.1)
k=
que converge absolutamente, y que la convergencia uniformemente se da para

r |z z0 | s. Notamos que la serie 1.9.1 es la Serie de Laurent expandida
de f (z) con respecto al anillo < |z z0 | < .
Teorema 1.32. ( Serie de expansin de Laurent). Sea f (z) holomorfa para
<|z z0 | < , con 0 < . Entonces f (z) tiene una serie de Laurent
expandida como en 1.9.1, tal que converge absolutamente en cada punto del
anillo y converge uniformemente sobre cada subanillo r |z z0 | s, donde
< r < s < . Los coeficientes son nicamente determinado por f (z) , y ellos
son dados por
1
f (z)
an =
dz, < n < .
2i |zz0 |=r (z z0 )n+1
para cualquier r fijo con < r < .
1.10.
Funciones Meromorfas
Las funciones cuyas nicas singularidades son polos aparecen con frecuencias
suficiente como para merecer un nombre especial.
1.10. FUNCIONES MEROMORFAS
29
Definicin 1.65. Diremos que una funcin f : C es meromorfa en un

abierto si en cada punto de o bien f es holomorfa o bien tiene un polo;
dicho de otra forma si existe un conjunto P f , tal que
1. Pf no tiene puntos de acumulacin en ;
2. f H (\Pf ) ;
3. f tiene un polo en cada punto de Pf .
Como Pf es un subconjunto de que no posee
T puntos de acumulacin, entonces
para cada compacto K el conjunto K Pf es finito, lo que implica que Pf
es finito o numerable. Esta incluida la posibilidad Pf = .
El conjunto de de las funciones meromorfas en el dominio lo denotaremos
por M () . Note que una funcin es meromorfa en un abierto, si lo es en cada
componente conexa del abierto.
Ejemplo 1.4. Las funciones holomorfas en tambin son funciones meromorfas
en .
Definicin 1.66. Diremos que una funcin R : C es racional, si dicha
funcin se puede escribir como el cociente de dos polinomios en , es decir
existen dos polinomios p, q : C, tal que
R (z) =
p (z)
,
q (z)
donde p y q no poseen factores en comn.

Ejemplo 1.5. Las funciones racionales R definidas en el dominio , son tambin
funciones meromorfas en . En efecto, como R es racional, existen dos polinomios p y q definidas en , tal que R (z) = p(z)
q(z) y sea PR = {z /p(z) = 0}.
(1) Veamos PR no tiene puntos de acumulacin, pues el nmero de ceros de un
polinomio, siempre es finito o vaco. (2) R H (\Pr ), pues es el cociente de
p, q H (\PR ) donde el denominador no posee ceros en \PR . (3) Si PR = ,
entonces R holomorfa, si PR 6= , tenemos que para cada z 0 PR podemos hacer
q(z)
1
0 k
0
0
R (z) = (zz
0 )k p 0 (z) , donde p (z) = (z z ) pz (z), siendo pz (z) sin factores
z
q
0
de la forma (z z ). Luego es note que p 0 es analtica en alguna vecindad de z 0
z
y adems pq 0 (z 0 ) 6= 0. por tal R tiene un polo en cada punto z 0 de PR . De estas
z
tres condiciones tenemos que las funciones racionales , son tambin meromorfas.
Proposicin 1.29. Dado un abierto no vaci U en C, el conjunto M () es
un lgebra sobre C respecto de las operaciones usuales con funciones. Si adems
U es conexo, entonces M (U ) es un cuerpo conmutativo.
Definicin 1.67. Sea f : U C, con U C. Diremos que z0 = es una
singularidad aislada de la funcin f si existe R > 0, tal que f H (AR ), donde
AR = {z C : |z| > R} U .
Podemos establecer una clasificacin similar a la considerada para singularidades en puntos dentro de C.
30
Definicin 1.68. Supongamos que es una singularidad aislada de una funcin f . Entonces:
1. Se dice que es una singularidad evitable de f o que f tiene en una
singularidad evitable, si existe
lm f (z) = a C,
z
es decir > 0, > 0/ |z| > |f (z) a| <

2. Se dice que es un polo de f o que f tiene en un polo, si
lm f (z) = ,
z
es decir, > 0, > 0/ |z| > |f (z)| >

3. Se dice que f tiene en una singularidad esencial o que es una singularidad esencial de f si no existe lm f (z) en C
z
Definicin 1.69. Diremos que f tiene en un polo de orden k o que es un

polo de orden k de f , si 0 es un polo de orden k de la funcin f definida como

1
f (z) = f
.
z
Como consecuencia de las definiciones y de los resultados previos sobre polos,
podemos enunciar:
Proposicin 1.30. Supongamos que es una singularidad aislada para una
funcin f . Las siguientes propiedades son equivalentes:
1. f tiene un polo de orden k en .
f (z)
k
z z
2. Existe lm
C\ {0}
3. Existe un R > 0 y una funcin g holomorfa en AR = {z C : |z| > R}

con lm g (z) C\ {0} y verifica
z
f (z) = z k g (z)
para cada z AR .
4. Existe coeficientes Aj (1 j k), an con n N
unvocamente determinados, y un R > 0, tales que
f (z) = Ak z k + ... + A1 z +
{0}), con Ak 6= 0
X
an
zn
n=0
siempre que |z| > R. El polinomio Ak z k + ... + A1 z se denomina parte

singular o parte principal de f en .
1.10. FUNCIONES MEROMORFAS
31
Definicin 1.70. Sea f : C, donde es un dominio en C tal que

C\D (0; R) para algn R > 0. Diremos que f : C es meromorfa
en = {}, denotada por f M ( ), si f es meromorfa en y tiene
en una singularidad evitable o un polo.
Esta definicin extiende las funciones meromorfas definidas en dominios
C, con singularidad evitable o con polo en , a una funcin meromorfa en
= {} C donde la topologa a usar sobre el conjunto C ser , que
estudiaremos ms adelante. Entonces ms adelante veremos que en dicha topologa un disco abierto que contiene a infinito es D (, R) = {z : |z| > R}{}.
Luego note que = {} es un abierto de C, si el conjunto es abierto
en C y el disco D (, R) esta en .

Proposicin 1.31. f es meromorfa en C si g (z) = f z1 es meromorfa
en una vecindad abierta de z = 0.
Proposicin 1.32. Veamos dos resultados importantes
1. Si f es una funcin entera y meromorfa en C, entonces f es un polinomio.

2. f M C si y solo si f es racional.
Demostracin.
Parte (1).En el punto , puede haber una singularidad removible o un polo
de la funcin f .
Primero Supongamos que es una singularidad removible de f , entonces
existe un L C, tal que L = lm f (z). Esto significa que para cualquier > 0,
z
existe un R > 0, tal que si |z| > R implica que |f (z) L| < . Para as poder
inferir que |f (z)| < + L = M , siempre que |z| > R, donde adems nos
sugiere que f es acotada en dicha regin. Luego como f es continua por ser f
entera, entonces f es acotada en el compacto |z| R. Luego tenemos que la
aplicacin entera f est acotada en el plano complejo. Por ltimo es posible
aplicar el teorema de Liouville que nos garantiza que f es constante, es decir,
un polinomio de grado 0.
Supongamos que es un polo de orden k. Entonces
lm
z
f (z)
zk
C\ {0}
y por tanto existen R, M > 0 tales que

k
|f (z)| M |z| , |z| > R;
(1.10.1)
Ahora podemos aplicar el teorema Liouville ya que f es entera y cumple la

desigualdad 1.10.1, donde se nos garantiza que f es un polinomio de grado
menor o igual a k.

Parte (2) Veamos primero que Pf = z C/f (z) = es finito, en efecto
f tiene una singularidad evitable o un polo en el punto z = , entonces f es
holomorfa en el conjunto {|z| > R} , para algn R. Esto ltimo nos dice que
32
en el conjunto {|z| > R} {} solo hay un nico elemento Pf . Luego en el

conjunto |z| R hay un nmero finito de polos, caso contrario habra un punto
de acumulacin, contradiciendo la definicin de funcin meromorfa respecto a
f . Por tal Pf es finita.
Sea un polo de f de orden k0 y a1 , a2 , ..an los polos finitos de f con sus
respectivos ordenes k1 , ..., kn , se sigue que la funcin
k1
g (z) = (z a1 )
... (z an )
kn
f (z)
es analtica en todo C, por tal g es entera. Luego podemos aplicar la parte (1)
de este mismo teorema que nos garantiza que g es un polinomio. Por tanto f es
el cociente de dos polinomios definidos en C y por ende f es racional.
Captulo 2
Anlisis en plano complejo

extendido C
En este captulo se analiza la extensin de las propiedades y teoremas del
plano complejo C al conjunto C , por ello se empezar a hacer las demostraciones necesarias.
2.1.
Anlisis en plano complejo extendido C
Veremos una correspondencia entre el plano complejo junto al punto infinito

y la esfera en R3 .

P
Denotaremos por
a la esfera en R3 con centro en c = 0, 0, 12 y radio
r = 1/2 , esto quiere decir
(
)
2

1
1
3
2
= (x, y, w) R /x + y + z
=
.
2
4
En este conjunto podemos ver que el plano plano x, y plano es tangente
a en (0, 0, 0) y N = (0, 0, 1) es el polo norte. Una lnea P
que une N con
z1 en el x, y plano(plano complejo) intercepta a la esfera
en un punto
P1 = (1 , 1 , 1 ). Esto establece una correspondencia : P1 z1 inyectiva
entre los puntos de {N } y C. Luego asociando N con , la correspondencia
anterior queda extendida uno a uno entre y C donde la correspondencia
es conocida como la proyeccin estereogrfica, veamos esto en la figura 1.1.
Ahora llamaremos a la esfera de Riemann, C =C {} la extensin del plano
complejo y la proyeccin estereogrfica, la denotaremos por , representada por:
X
:
C,
donde

((u, v, w)) =
u
v
,
1w 1w
33

, (u, v, w)
34
CAPTULO 2. ANLISIS EN PLANO COMPLEJO EXTENDIDO C
Luego tenemos la inversa de , denotada por 1 , descrita por 1 : C

donde

(
y
x2 +y 2
x
, si (x, y) 6=
1
x2 +y 2 +1 , x2 +y 2 +1 , x2 +y 2 +1
((x, y)) =
(0, 0, 1)
, si (x, y) =
2.1.1.
P
,
Abiertos en C
Ms adelante trabajaremos con abiertos no solo en C, sino tambin con

abiertos en C para esto necesitamos una topologa en C que nos permita entender
y manipular estos objetos sobre ciertas funciones. Una forma de introducir una
topologa en C es utilizando el hecho de que : C es biyectiva y tambin
que en conocemos sus abiertos, entonces definimos esta topologa de la
siguiente manera

= A C/ 1 (A) es un abierto de
Esto define una topologa en C. En efecto, (1) El es un elemento de , pues
1 () = y este es un abierto en entonces , por otro lado 1
=C
T ()
1
tenemos que C . (2) Sea A, B luego tenemos que 1 (A)
T 1 (B)
1
es un abierto
en
por
ser
ambas
abiertos
en
y
como
(A)
T (B) =
T
1 (A B) entonces este ultimo es un abierto en y por tanto A B es un
abierto
S 1 o elemento de . (3) Sea una familia {A } de elementos en luego
(A ) es un abierto en , por ser la unin arbitraria de abiertos en y

S 1
S
1
como
(A ) =
A tenemos que este ltimo es por tanto un
abierto de . Por tanto de (1) , (2) y (3) tenemos que el conjunto de elementos
forman un topologa en C.
P
Vemos que C hereda la topologa de
R3 .
o que contenga al punto . Sea el conjunto Ar =
n Ahora veamos un abierto
r2
con r fijo y r > 0. Note que Ar es un abierto de
(u, v, z) /1 w 1+r
2
y por tal Br = (Ar ) es un abierto de C, pues 1 (Br ) = 1 ( (Ar )) = Ar es
un abierto de . Luego notemos que Br = C D (0, r) siendo este un abierto de
C que contiene a . De ahora en adelante llamaremos a D (, r), disco abierto
2.1. ANLISIS EN PLANO COMPLEJO EXTENDIDO C
35
de C de centro y radio r, escrito como D (, r) = C D (0, r), adems se

tiene que

D (, r) = (x, y) C/x2 + y 2 > r2 , r > 0 {}
Ahora veremos otra topologa inducida por la mtrica cordal que pasaremos
a definir la cual es denotada por . Esta topologa resultar ser equivalente
a la topologa , lo cual un abierto pensado en es un abierto tambin en
y viceversa.
2.1.2.
Distancia Cordal (z, w)
Es sabido que la definicin de una mtrica en un conjunto cualquiera genera

una topologa inducida por dicha mtrica, entonces sobre el conjunto C definiremos una mtrica para as tener una topologa inducida y saber como son sus
abiertos
en C por medio de esta topologa inducida .La identificacin de C con
P
R3 nos permite definir la mtrica cordal en C de la siguiente forma.
Definicin 2.1. Dados z, w C, la distancia cordal entre z y w, denotada por
(z, w), se define como
P la distancia euclidiana entre los puntos correspondientes
a z y w en la esfera , o sea

(z, w) = 1 (z) 1 (w)
Proposicin 2.1. Dado dos puntos z1 y z2 en C se cumple lo siguiente:
1. Si z1 y z2 estn en C se tiene que
|z1 z2 |
q
.
(z1 , z2 ) = q
2
2
1 + |z1 | 1 + |z2 |
2. Si z1 C y z2 = se tiene que
1
(z1 , z2 ) = q
2
1 + |z1 |
.
3. si z1 = y z2 = se tiene que
(z1 , z2 ) = 0
.
Demostracin. (1) sea z y w en C, donde z = (z1 , z2 ) y w = (w1 , w2 ), entonces
(z1 , z2 ) = 1 ((z1 , z2 )) 1 ((w1 , w2 ))
36

2

|w|2
|w|w21+1 , |w|w22+1 , |w|
= |z|z21+1 , |z|z22+1 , |z||z|

2
2
+1
+1
r
(|w|2 +1)(|z|2 +1)[|z|2 (|w|2 +1)2z1 w1 2z2 w2 2|z|2 |w|2 +|w|2 (|z|2 +1)]
=
2
[(|z|2 +1)(|w|2 +1)]
r
r
[|z|2 2z1 w1 2z2 w2 +|w|2 ]
[z12 +z22 2z1 w1 2z2 w2 +w12 +w22 ]
=
=
2
2
[(|z| +1)(|w| +1)]
[(|z|2 +1)(|w|2 +1)]
=
|zw|
q
[(|z|2 +1)(|w|2 +1)]
y as tenemos la primera parte de la proposicin.

La parte (2) tomamos un z C y w = , donde z = (z1 , z2 ) entonces
tenemos que:

(z1 , z2 ) = 1 ((z1 , z2 )) 1 ()

!
2

z1
z2
|z|

=
, 2
, 2
(0, 0, 1)
2
|z| + 1 |z| + 1 |z| + 1

!
2

z1
z2
|z|

=
,
,
1

|z|2 + 1 |z|2 + 1 |z|2 + 1

!

z1
z2
1

=
,
,

|z|2 + 1 |z|2 + 1 |z|2 + 1
v
u z2 + z2 + 1
1
2
=u
t
2
2
|z| + 1
1
=q
2
|z| + 1
y as tenemos la parte 2. Para la parte (3) , tenemos que

(, ) = 1 () 1 () = |(0, 0, 1) (0, 0, 1)| = |(0, 0, 0)| = 0,
terminando la demostracin.
Proposicin 2.2. La distancia cordal , es una mtrica en C
Demostracin. Como la mtrica cordal esta inducida por la mtrica usual en
R3 sobre , entonces es una mtrica.
Por esta razn , nos podemos referir a la distancia cordal como la mtrica
cordal. Entonces un disco en la mtrica cordal de centro en a C y radio r > 0,
lo denotaremos como D (a, r), el cual ser

D (a, r) = z C/ (z, a) < r, r > 0
este a su vez es un elemento bsico de la topologa .
37
Proposicin 2.3. La distancia cordal tiene las siguientes propiedades veamos

1. (z1 , z2 ) 1.

2. z11 , z12 = (z1 , z2 ), para todoz1 y z2 en C.
3. si |z1 | |z2 | , entonces (0, z1 ) (0, z2 ).
4. (z1 , z2 ) |z1 z2 |, con z1 y z2 en C.

5. (z1 , z2 ) z11 z12 con z1 y z2 en C {0}.

Demostracin. Parte (1). Claramente z11 , z12 1 pues cualquier distancia
cordal siempre ser menor que el dimetro de la esfera es decir menor que uno.
Parte (2). Supongamos que si z1 y z2 son finitos entonces por definicin
vemos que
1 1
,
z1 z2

1
z1 z12
|z1 z2 | / |z1 z2 |
q
= (z1 , z2 ) .
=r
2 r
2 = q
2
2
1
1
1
+
|z
|
1
+
|z
|
/
|z
z
|
1
2
1
2
1 + z1 1 + z2
Si z1 = y z2 = entonces (, ) = 0 = (0, 0) y por ltimo si z1 es

finito y z2 = se cumple que se tiene que

1 1
,
z1

=

1
|1/z1 0|
1
q
,0 = q
=q
= (z1 , )
z1
2
2
2
1 + |1/z1 | 1 + |0|
1 + |z1 |
esto concluye la parte 2.

Parte (3). (0, zi ) = q
1
1 + |zi |
para i = 1, 2. Por hiptesis tenemos que

2
q
q
2
2
1
1
|z1 | |z2 | luego |z2 | |z1 | entonces 1 + |z2 | 1 + |z1 | to1
1
mando la inversa q
q
donde concluimos que (0, z1 )
2
2
1 + |z1 |
1 + |z2 |
(0, z2 ).
|z1 z2 |
q
Parte (4). Tenemos por definicin: (z1 , z2 ) = q
, y
2
2
1 + |z1 | 1 + |z2 |
q
q
2
2
como 1 + |z1 | 1 + |z2 | 1 tomando inversa a esto ltimo tenemos que
1
1, ahora multiplicando por |z1 z2 | a ambos lados de la

2
2
1+|z1 |
1+|z2 |
desigualdad, tendremos lo que buscbamos desmostar.

Parte (5). Por la parte 2 de la proposicin, tenemos que (z1 , z2 ) =
z11 , z12 y como z1 y z2 son diferente de ceros tenemos que su inversa se
38
encuentran en el plano complejo, despus aplicamos la parte 4 de esta misma

proposicin y con esto conseguimos la desigualdad deseada.
Proposicin 2.4. La topologa es igual a la topologa .
Demostracin. Primero demostraremos que

X
Bd 1 (a) , ra
= B (a, ra )
P
en efecto, sea b Bd 1 (a) , ra
, entonces existe
X
y Bd 1 (a) , ra
,
P
P
tal que b = (y), recuerde que es biyectiva de
a C, y como y , entonces

1
1
podemos escribir de manera
nica
y
=
(b),
ahora
como
y
(a)
,
r
,
d
a
1

1

1

entonces se cumple que (a) y = (a) (b) ra , por tal b
B (a, ra ). Ahora en el recproco sea b B (a, ra ), entonces b C y (a, b)
ra , es decir

1
(a) 1 (b) ra ,
ahora como en
escribir
y = 1 (b) de manera ni
P el caso anterior podemos
1
ca con y , esto hace que (a) y ra , por tal tenemos que y
P
Bd 1 (a) , ra
y por ende

X
b = (y) Bd 1 (a) , ra
,
lo que termina nuestra primera parte de la demostracin.
Sea A , entonces A se puede escribir como la unin de abiertos topolgicos bsicos de , es decir A = B (a, ra ), ahora de lo anterior inferimos
aA
que

X
X
A = Bd 1 (a) , ra
= Bd 1 (a) , ra
.
aA
aA
Luego por ser biyectiva de
a C, tenemos que

X
1 (A) = Bd 1 (a) , ra
aA
P
es unin arbitraria de abiertos en , por tal A . El recproco es similar
gracias a la primera igualdad, pues sea A , entonces A se puede escribir
como la unin arbitraria de sus abiertos bsicos, es decir

X
A = 1 Bd 1 (a) , ra
,
aA
al igual que el anterior, tenemos que A = B (a, ra ) y como es la unin

aA
arbitraria de abiertos bsicos de , entonces tenemos que A , con esto se

termina la demostracin.
39
Ahora note que D (, r) y D (a, r) con a 6= son elementos de x y de .

Ahora cuando menciones discos abiertos al rededor de un punto de z C, nos
referiremos a cualquiera de uno de estos dos conjuntos.
Los estudios de funciones meromorfas generalmente son sobre el conjunto C,
pero esto puede extenderse a C, donde es necesario tener en cuenta una topologa
sobre el conjunto C. Luego para cada punto a C, podemos encontrar discos
abiertos de la forma D (a, r) donde, para cada a C estos tambin son discos
abiertos de C, mas no cuando a = . Claro que no es la nica forma de tomar
un disco para cada punto en C, pero es suficiente para trabajar en la extensin
de C a C.
2.1.3.
Distancia Esfrica 0
Tenemos otra mtrica alternativa sobre C llamada la mtrica esfrica, denotada por 0 , el cual es equivalente a la mtrica cordal . Est distancia esfrica
esta definida P
por la longitud euclidiana del camino ms corto sobre la esfera
de Riemann
entre los puntos P1 y P2 representados por z y w en el plano
complejo extendido.
P
P
Dados dos puntos P1 y P2 en , y junto con el origen de , forman un
ngulo , donde tenemos
(z, w) = 2sen (/2) ,
donde z y w son puntos
P del plano complejo extendido representando respectivamente a P1 y P2 en . Este ngulo [0, ]
Definicin 2.2. Definimos la distancia esfrica de dos puntos z y w por 0 (z, w)
como

(z, w)
0 (z, w) = 2arcosen
,
(2.1.1)
2
donde 0 (z, w) [0, ] .
Proposicin 2.5. La distancia esfrica 0 , es una mtrica.
La demostracin es solo un cclulo, ver prueba en [11]
De ahora en adelante nos podemos referir a la distancia esfrica , como
mtrica esfrica
Proposicin 2.6. La mtrica cordal y la la mtrica esfrica son equivalentes.
Demostracin.
Para esto usaremos una desigualdad elemental que nos dice: Si

0, 2 entonces se tiene que
2
sen ()
a nuestro problema como 0 (z, w) [0, ] se tiene que

volviendo

0, 2 , luego por la ecuacin 2.1.2 tenemos que

2 0 (z,w)
0 (z, w)
0 (z, w)
2
sen
2
2
(2.1.2)
0 (z,w)
2
(2.1.3)
40

=
De la definicin de distancia esfrica se tiene que sen 0 (z,w)
2
ltimo remplazamos esto en la ecuacin 2.1.3 lo cual nos da

2
0 (z, w) (z, w) 0 (z, w)
(z,w)
2
y por
(2.1.4)
esto ltimo nos dice que la mtrica cordal y la mtrica esfrica son equivalentes.
2.1.4.
Derivada esfrica
Un concepto anlogo a la derivada de funciones en el cual se utiliza la mtrica

euclidiana, es la derivada esfrica en la cual la mtrica que utilizaremos es la
mtrica cordal, junto a la mtrica usual en C.
Definicin 2.3. Sea f M () y un dominio. Entonces llamaremos a f # (z),
la derivada esfrica de f (z) y la definimos como
(f (z 0 ) , f (z))
, z
|z 0 z|
z 0 z
f # (z) = lim
Ahora veremos una equivalencia. Primero cuando z no es polo de f ,

tenemos lo siguiente.

(f (z 0 ) .f (z))
f # (z) = lim
z 0 z
|z 0 z|
0
|f
(z)
f
(z
)|
1
1
= lim
.q
.q
z 0 z
|z 0 z|
2
2
0
1 + |f (z)|
1 + |f (z )|

|f (z) f (z 0 )|
1
1
= lim
lim q
.q
z 0 z
z 0 z
|z 0 z|
2
2
1 + |f (z)|
1 + |f (z 0 )|
=
|f 0 (z)|
2
1 + |f 0 (z)|
Ahora veamos cuando es polo. Es sabido que f () = y que la funcin

g (z) = 1/f (z), con g () = 0 es una funcin analtica en la cual nos garantiza
(f (z 0 ),)
=
la existencia g 0 (). Luego por definicin tenemos que f (z) = lim
|z 0 |
0
z
1
. 1 0 2 ,
0
1+|f (z )|
z |z |
lim
0
luego factorizando |f (z)| y aplicando lmites tenemos que
f # (z) = lim
z 0

1
f (z)
|z 0
1
. lim r

,
0
| z

1 + f (z1 0 ) 2

luego sabemos que lim s
z 0
1

1+
41
= 1 y adems como g () = 0 tenemos en-
1
2
f (z 0 )
| 1 |
|g(z0 )|
|g(z0 )g()|
tonces que lim |zf0(z)
= |g 0 ()| estos significa que
| = lim |z 0 | = lim
|z 0 |
z 0
z 0
z 0
ambos lmites existen ya que g 0 () existe , por tal

f # () = |g 0 ()|
por otro lado como g (z) es analtica en , entonces tenemos que g 0 () = lim g 0 (z) =
z 0
0

1
luego como la derivada de f (z) existe para cualquier z suficientelim f (z)
z 0
mente cerca a , entonces podemos aplicar la propiedad de la derivada de la

divisin, teniendo
0
(z)
g 0 () = lim ff(z)
2
z 0
(z)
f (z)
adems es note que g 0 () = lim ff(z)
, luego como f # () = |g 0 ()|
2 = lim
f (z)2 +1
z 0
z 0
tenemos entonces que la derivada esfrica en el polo z = , es :

0
f (z)
.
f # () = lim f (z)
2
+1
z 0
Entonces se puede ver que la funcin derivada esfrica se representa como
f # (z) =
0
|
|f (z)
2
0
1+|f (z)|
f (z)0
lim f (z)
2
+1
0
z , no es polo de f (z)
z , es polo de f (z)
por lo visto anterior se obtiene que f # (z) es continua en todo .

Proposicin 2.7. Sea f una funcin meromorfa sobre . Entonces se cumple

#
1
que f # (z) = f (z)
.
Demostracin. Esto es cierto por definicin y por la la proposicin 2.3 parte 2,
es decir
f # (z)
(f (z 0 ) , f (z))
, z
|z 0 z|
z 0 z

1
f (z1 0 ) , f (z)
= lim
|z 0 z|
z 0 z

#
1
=
f (z)
=
lim
42
Lema 2.1. Sea un dominio no vaci. Si f H () y g se define en

mediante
(
f (z)f (w)
w 6= z
zw
g (z, w) =
f 0 (z)
w=z
entonces g es continua en . Ver demostracin en Anlisis real y complejo
de W Rudin pg 202
Observacin 2.1. Note que g es continua, luego para las sucesiones {zn }, {wn }
en , que convergen al valor a, donde zn 6= wn para todo n N, cumple lo
siguiente
f (zn ) f (wn )
lim
= f 0 (a)
zn wn
n
Proposicin 2.8. Sea f una funcin meromorfa en y dadas dos sucesiones
{zn }, {wn } en , que convergen al valor a, donde zn 6= wn para todo n N.
Entonces
(f (zn ) , f (wn ))
= f # (a) .
lim
|zn wn |
n
Demostracin. En efecto supongamos que a no es polo de f , entonces tenemos
que
(f (zn ) , f (wn ))
|zn wn |
n
lim
|f (zn ) f (wn )|
1
q
|zn wn |
n
2
1 + |f (zn )|
lim
1 + |f (wn )|
lim
n
|f (zn ) f (wn )|
lim q
|zn wn |
n
1 + |f (zn )|
lim q

1 + |f (wn )|
|f (zn ) f (wn )|
lim
|zn wn |
n
!
2.
1 + |f (a)|
dado que a no es polo de f , entonces f es analtica en algn disco abierto de

centro en a, luego por la observacin 2.1 y de lo anterior se afirma lo siguiente:
!
(f (zn ) , f (wn ))
1
0
lim
= |f (a)|
2.
|zn wn |
n
1 + |f (a)|
= f # (a)
1
Si a es un polo de f , entonces la funcin g (z) = f (z)
es analtica en algn
disco abierto de centro en a. Luego por lo anterior tenemos que
lim
n
(g (zn ) , g (wn ))
|zn wn |
= g # (a)
2.2. CONVERGENCIA UNIFORME Y CONVERGENCIA ESFRICA.

adems es cierto que g # (a) =
#
1
f (a)
#
43
y si aplicamos la proposicin 2.7, tene-
mos que g (a) = f (a), lo que termina nuestra demostracin.

Ejemplo 2.1. Sea f una funcin meromorfa en y dadas dos sucesiones {zn },
{wn } en , que convergen al valor , donde zn 6= wn para todo n N. Entonces
el siguiente lmite existe en R.
lim
n
(f (zn ) , f (wn ))
(zn , wn )
En efecto, supongamos que a noes polo de f , entonces existe un disco abierto de

centro en a, tal que g (z) = f z1 es analtica sobre dicho disco. Luego si hacemos
zn = z10 y wn = w10 tenemos que {zn0 } y {wn0 } converge a cero, entonces para
n
n

un n suficientemente grande se cumple que g (zn0 ) = f z10 = f (zn ). Volviendo

n
al problema y recordando que (zn0 , wn0 ) = z10 , w10 , tenemos lo siguiente
n
(f (zn ) , f (wn ))
(zn , wn )
n
lim
(g (zn0 ) , g (wn0 ))
(zn0 , wn0 )
n
0
(g (zn
),g(wn0 ))
0 w 0 |
|zn
n
= lim
(z 0 ,w0 )
=
lim
lim
=
0
(g (zn
),g(wn0 ))
0
0 |
|zn wn
lim
n
0 w 0 |
|zn
n
0 ,w 0 )
(zn
n
0 w 0 |
|zn
n
g # (0)
1
1+|0|2
= g # (0)
por tanto el lmite existe, pues sabemos que g es analtica en cero. Lo ltimo que
falta sera para el caso en que el infinito es un polo, donde su demostracin es
parecida a lo anterior, pues se toma su funcin analtica g (z) = f 11 en algn
(z)

#
disco abierto de centro en cero por tal existe g # (0), luego g # (z) = f 11
y
(z)

#
y de esto concluimos que
por la proposicin 2.7, se tiene que g # (z) = f z1
tambin existe la derivada esfrica para el polo infinito.
2.2.
Convergencia Uniforme y Convergencia Esfrica.
Pasaremos al estudio de convergencia uniforme y convergencia esfrica de

funciones, pues para esto es de principal importancia las definiciones de distancia
44
euclidiana y distancia cordal ya que dichas definiciones toman como herramienta

base a dichas distancias.
Definicin 2.4. Sea X C y fn : X C. Una sucesin de funciones {fn }
converge uniformemente a f sobre un conjunto E X, si para cualquier > 0,
existe un nmero n0 = n0 (, E) en los naturales, tal que n > n0 implica que
|f (z) fn (z)| < ,
para todo z E.
En esta definicin vemos que n0 solo depende de y E , mas no depende
de cada valor de z en E , pues n0 ser el mismo para todo los puntos en E.
Vea que f (z) = lim fn (z), adems f (z) 6= , para todo z E, es decir,
n
f (E) C. Luego si mencionamos que {fn } converge uniformemente sobre un

conjunto E X significa que {fn } converge uniformemente sobre E X a
f . Veamos la definicin siguiente, que nos habla de convergencia uniforme a la
funcin infinito, la cual difiere mucho de la definicin anterior
Definicin 2.5. Sea X C y fn : X C. Una sucesin de funciones {fn }
converge uniformemente a sobre un conjunto E X, si para cualquier M > 0,
existe un nmero A0 = A0 (M, E) en los reales, tal que si z > A0 implica
|fn (z)| > M,
para todo z E.
Es evidente que lim fn (z) = .
n
Proposicin 2.9. Sea X C y fn : X C. Una sucesin de funcionesn{fno

}
1
converge uniformemente a sobre un conjunto E X, si y solo, si fn
converge uniformemente a 0 en E.
Demostracin. Sea una sucesin de funciones {fn } la cual converge uniformemente a sobre un conjunto E X, entonces para cualquier m N, existe un
nmero n0 N, tal que n > n0 implica que
|fn (z)| > m,
para todo z E. Luego bajo las mismas condiciones tenemos que

1
1
1

=

0
fn (z)
fn (z) < m .
n o
Por tal f1n converge uniformemente a f = 0 en todo E. Ahora veamos el
n o
recproco, sea f1n converge uniformemente a 0 en E. entonces dado un M N,
podemos encontrar un n0 N que depende de M y de E, tal que n > n0 implica
que

1

< 1
0
fn (z)
M
45
para todo z E. Luego bajo las mismas condiciones inferimos que |fn (z)| > M ,
teniendo as la proposicin.
Definicin 2.6. Sea X C y fn : X C. Una sucesin de funciones {fn } converge esfricamente uniformemente a f sobre un conjunto X, si para cualquier
> 0, existe un nmero n0 tal que n > n0 implica
(f (z) , fn (z)) < ,
para todo z E.
Note que sera razonable usar la mtrica cordal en esta definicin. Pero esta
definicin es usada para fines prcticos, ya que el resultado de que converge o
no, es el mismo para ambas mtricas, pues estas son equivalentes.
Proposicin 2.10. Sea X C y fn : X C. Entonces
n o {fn } converge esfricamente uniformemente a f sobre X, si y solo, si f1n converge esfricamente
uniformemente a
1
f
sobre X.
Demostracin. La demostracin se infiere de la siguiente igualdad

1
1
(fn (z) , f (z)) =
(z) , (z)
fn
f
(2.2.1)
dada por la proposicin 2.3, parte 2. Pues si {fn } converge esfricamente uniformemente a f sobre X, entonces dado un > 0, existe un nmero n0 , tal que
n > n0 implica que

1
1
(z) , (z) = (f (z) , fn (z)) < ,

fn
f
n o
para todo z X, esto nos dice que f1n converge esfricamente a f1 sobre X.
El recproco es similar dada por la igualdad.
Proposicin 2.11. Sea fn : E C . Si {fn } converge uniformemente a f
sobre E C, entonces esta sucesin converge esfricamente uniformemente a
f sobre E
Demostracin. Como {fn } converge uniformemente sobre E C, entonces podemos dar cualquier > 0 y encontrar un n0 N, tal que si n > n0 implica que
|fn (z) f (z)| < . Por otra parte la parte 4 de la proposicin 2.3, nos dice que
(fn (z) , f (z)) < |fn (z) f (z)|, pues fn (z) , f (z) C. Por tanto tenemos que
la sucesin {fn } converge esfricamente uniformemente sobre E.
El recproco no es del todo cierto, para que se cumpla el recproco la funcin lmite f , de la convergencia esfricamente uniforme, tiene que ser acotada;
veamos esto en el siguiente teorema.
Teorema 2.1. Sea X C y fn : X C. Si la sucesin {fn } converge esfricamente uniformemente a una funcin acotada f sobre E X, entonces {fn }
converge uniformemente a f sobre E.
46
Demostracin. Suponga |f (z)| M sobre E, M finito. Entonces

M
(0, f (z)) (0, M ) =
< 1,
1 + M2
M
esto es por la proposicin 3 parte 3. Ahora escojamos < 1 1+M
. Luego
2
por la hiptesis tenemos que existe un entero positivo n0 N, tal que n n0 ,
el cual implica
(f (z) , fn (z)) < , z E

de estas dos desigualdades anteriores y la desigualdad triangular en la mtrica esfrica tenemos lo siguiente
|fn (z)|
q

= 0, fn(z) (0, f (z)) + (, f (z) , fn (z)) , n > n0
1 + |fn (z)|
M
<
+ = m < 1 z E, n > n0 .
1 + M2
Entonces tenemos que |fn (z)|
1+|fn (z)|2
< m siempre que z E y n > n0 . Luego
despejamos |fn (z)| en la desigualdad anterior, se tiene que

m
|fn (z)| <
= M ,
1 m2
para todo n0 n y para todo z E. Esto nos dice que |fn (z)| es acotado,
bajo las condiciones anteriores
q
q
2
2
1 + |f (z)| 1 + |fn (z)| (f (z) , fn (z)) z E
p
p
<
1 + M 2 1 + M2 (f (z) , fn (z)) z E, n > n0
|f (z) fn (z)| =
Luego para todo > 0 existe un un n1 > 0, tal que si n > n0 implica que
(f (z) , fn (z)) <

. Entonces tomando un n0 = max {n0 , n1 }
2
2
1+M
1+M
tenemos que
|f (z) fn (z)| <
0
siempre que n > n y z E.

Definicin 2.7. La funcin f es esfricamente continua en el punto z0 C si,
dado > 0, existe un > 0, tal que
(f (z) , f (z0 )) < ,
siempre que z D (z0 , ).
Esta definicin es la definicin clsica de continuidad pero con la diferencia
que la mtrica usada es la cordal.
47
Definicin 2.8. La funcin f es esfricamente continua sobre E C, si f es

esfricamente continua en cada punto z0 E.
Una definicin parecida a la continuidad uniforme es la siguiente:
Definicin 2.9. Decimos que la funcin f posee en el conjunto E C continuada esfricamente uniforme, si dado > 0, existe > 0 tal que
(f (z) , f (z 0 )) < ,
siempre que z, z 0 E, |z z 0 | < .
depende de y E no de cada punto.
En la siguiente definicin, pasaremos a extender la continuidad en C a la
continuidad en C.
Definicin 2.10. La funcin f : C , definida en el abierto C, es
esfricamente continua en el punto z0 = si, dado > 0, existe un > 0 tal
que
(f (z) , f (z0 )) < ,
siempre que z D (, ) = {} {|z| > }.
Definicin 2.11. La funcin f : C es esfricamente continua sobre E C
si para cualquier z 0 E y cualquier > 0, existe un = (z 0 , ) con > 0, tal
que
(f (z) , f (z 0 )) < ,
siempre que, z D (z 0 , ).
Note que si z = , entonces D (, ) = {z : |z| > } {} y si z 6= ,
entonces D (z 0 , ) = {z : |z| < }
Proposicin 2.12. La funcin f : C es esfricamente continua sobre
z 0 C si, y solo si para cualquier > 0, existe un = (z 0 , )con > 0, tal que
(f (z) , f (z 0 )) < , siempre que z D (z 0 , ).
Demostracin. Si z 0 C se tiene entonces que D (z 0 , ) D (z 0 , ). Luego para
todo disco D (z 0 , ) con z 0 C, es posible encontrar siempre un disco D (z 0 , 0),
2
.
tal que D (z 0 , 0 ) D (z 0 , ). Si z 0 = tenemos que D (, ) = D z 0 , 1+
2
Por tanto la proposicin es cierta.
Proposicin 2.13. Si f (z) es meromorfa en un dominio C, entonces f

es esfricamente continua en .
Demostracin. Si f es holomorfa en z0 , entonces f es continua en z0 ,
por ende dado un > 0, existe un > 0, tal que |z z0 | < implica que
|f (z) f (z0 )| < y como (f (z) , f (z0 )) < |f (z) f (z0 )|, entonces tenemos
que f es esfricamente continua en z0 .
1
Si z0 es un polo de , entonces f (z)
es analtica en el punto z0 . Luego como
en caso anterior, tenemos que dado un > 0, existe un > 0, tal que |z z0 | <
48

1
1
1
f (z)
, f (z1 0 ) <
implica que f (z)
< y como (f (z) , f (z0 )) = f (z)

1

f (z) f (z1 0 ) . Entonces de esto ltimo tenemos la continuidad esfrica en el
polo z0 .
Proposicin 2.14. Si f (z) es meromorfa en z = , entonces f es esfricamente continua en infinito.

Demostracin. Notemos que g (z) = f z1 es meromorfa en z = 0, pues f
es meromorfa en z = . Luego por la proposicin anterior tenemos que g es
esfricamente continua en z = 0, por tal dado un > 0, existe un 1 > 0, tal que
(g (w) , g (0)) < , siempre que |w| < 1 . Ahora haciendo z = w1 , se tiene que
(f (z) , f ()) < , siempre que |z| > z = . Siendo as f esfricamente
continua en infinito.
Corolario 2.1. Si f (z) es meromorfa en un dominio C que contiene a
infinito. entonces f es esfricamente continua en .
Demostracin. Sea f (z) meromorfa en todo C, entonces por la proposicin
2.13, tenemos que f es esfricamente continua en el abierto {} y por la
proposicin anterior, tenemos que f es esfricamente continua en {}, por tal de
la definicin de esfricamente continua tenemos que f es esfricamente continua
en .
Proposicin 2.15. Si f (z) es meromorfa en un abierto conexo C, entonces f () es abierto en C.
Demostracin. Tomemos el conjunto P de polos de f en , entonces f es analtica en {P }, luego f ( P ) es abierta en C y por ende abierta en C. Ahora
tomemos un punto a P , luego podemos tomar un abierto conexo V
que contiene a a y que 0
/ f (V ), por tal f1 es analtica en todo V y por ende
1
f (V ) C es abierta y conexa que contiene a 0, por tanto f (V ) es un abierto
en C de la misma manera se realiza si z = , tomando la funcin analtica
1
g (z) = f (1/z)
en un abierto conexo W de infinito, se obtendr de la misma
manera que f (V 0 ) es abierto en C. Por tanto se tiene que f () es abierta en
C, dado que f () = f ( P ) f (V ) U f (W ) unin de abiertos.
2.3.
Condicin de Lipschitz.
Teorema 2.2. (Condicin de Lipschitz) Una funcin racional R satisface

la condicin de Lipschitz en la mtrica cordal, es decir, existe un M R fijo tal
que se cumple
(R (z) , R (w)) M (z, w)
para todo z, w en el plano extendido.
Antes de continuar con la demostracin veremos la siguiente proposicin
2.3. CONDICIN DE LIPSCHITZ.
49
Proposicin 2.16. Sea M, N espacios mtricos, a X M . Dada

f : X N , se tiene lim f (x) = b N , si y solo, si toda sucesin {xn } X
xa
implica que lim f (xn ) = b.

n
Proposicin 2.17. Sean M, N espacios mtricos, X un subconjunto de M y

f : X N una aplicacin continua. Si, para cada punto a X existe el lmite
lim f (x), entonces la aplicacin F : X N , definida por F (x) = f (x) cuando
xa
x X y F (y) = lim f (x), cuando y X\X.

xy
La prueba de estas dos proposiciones la encontramos en el libro de Elong

Lages Lima espacos mtricos, captulo 5.
Ahora retomaremos la prueba del teorema de la condicin de Lipschitz
Demostracin.
Primero definimos

U = C C\ (a, a) : a C como
Q:
la
funcin
(z, w) 7
Q (z, w)
R
(R(z),R(w))
(z,w)
en
el
conjunto
note que esta aplicacin es continua en todo U . Tambin note que U = C C

Luego por la proposicin 2.8 y por el ejemplo 2.1, garantizamos la existencia
del siguiente lmite
lim
Q (z, w), donde (a, a) U \U . Luego es posible
(z,w)(a,a)
aplicar las 2 proposiciones anteriores, para afirmar que la funcin extendida de

Q a Q es continua.
(R(z),R(w))
z=
6 w
(z,w)
(R(z),R(w))
Q (z, w) =
z=w
0 lim
(z,w)
0
(z
,w
)(z,z)
Como Q (z, w) es continua sobre el compacto C C y la funcin toma valores

en R, entonces se cumple que Q (z, w) es acotado. Luego existe una constante
M , tal que Q (z, w) M , por tanto si z 6= w,entonces tenemos que
(R (z) , R (w))
M, para todo z 6= w, con z, w C
(z, w)
por consiguiente es de Lipschitz
Corolario 2.2. Sea R una funcin meromorfa en C y dados dos puntos z1 y z2
en C. Entonces existe un camino (t), con t [0, 1], que une los puntos 1 (z1 )
y 1 (z2 ) en , tal que el nmero m = max Q (z, z) cumple lo siguiente
z((t))
(R (z1 ) ; R (z2 )) m (z1 ; z2 )

Teorema 2.3. Una funcin racional R satisface la condicin de Lipschitz en
la mtrica esfrica.
50
Demostracin. del teorema anterior se tiene que (R (z) , R (w)) M (z, w)

junto con la ecuacin 2.1.4 se tiene que
(2/) 0 (R (z) , R (w)) (R (z) , R (w)) M (z, w) M 0 (z, w)
de esto ltimo tenemos que
0 (R (z) , R (w))
M
0 (z, w)
2
sobre toda la esfera .

Teorema 2.4. La aplicacin de Mbius
g (z) =
az + b
, ad bc = 1,
cz + d
(2.3.1)
satisface la condicin de Lipschitz.

(g (z) , g (w)) kgk2 (z, w)
Donde
2
kgk2 = |a| + |b| + |c| + |d|

es una mtrica
Demostracin. Usaremos el resultado del corolario 2.2 y solo tenemos que probar
lo siguiente

2
|g 0 (z)| 1 + |z|

kgk2
(2.3.2)
2
1 + |g (z)|
|g0 (z)|(1+|z|2 )
. Luego se cumple que
(1+|g(z)|2 )

g 1 , g (z) (g, z) = 1,
Denotemos vemos que (g, z) a
0
en efecto, como g 1 (z) =

g 1 , g (z) (g, z)
=
=
1
g 0 (g 1 (z))
(2.3.3)
entonces

1 0

2
2
|g 0 (z)| 1 + |z|
(g (z)) 1 + |g (z)|
g

2
2
1 + |g 1 (g (z))|
1 + |g (z)|

2
2
|g 0 (z)| 1 + |z|
g0 (g11(g(z))) 1 + |g (z)|

2
2
1 + |z|
1 + |g (z)|
1,
lo que demuestra nuestra afirmacin. Por otro lado, como

g 0 (z)
1
(cz + d)
2,
2.3. CONDICIN DE LIPSCHITZ.
51
entonces (g, z) queda de la siguiente manera

2
(g, z) =
1 + |z|
2
2.
|cz + d| + |az + b|
Adems por la desigualdad de Cauchy Schwarz tenemos que

2
2
2
2
2
|az + b| = |(a, b) . (z, 1)| |(a, b)| |(z, 1)| = |a| + |b|
1 + |z| ,
hacemos lo mismo para |cz + d|.Entonces se tiene lo siguiente

2
2
2
2
2
2
2
|az + b| + |cz + d| |a| + |b| + |c| + |d|
1 + |z| ,
es decir,
(g, z) kgk2
luego de la ecuacin 2.3.3, se tiene

g 1 , g (z) kgk2 .
(2.3.4)
note que la ecuacin 2.3.4 cumple para cualquier g definida como en la ecuacin
2.3.1, entonces tambin es vlido para g 1 . Adems como kg 1 k = kgk entonces
de la ecuacin 2.3.4, se cumple que

g, g 1 (z) kgk2 ,
(2.3.5)
luego para todo w en C existe un z, tal que w = g 1 (z), donde junto con la
ecuacin 2.3.5, se tiene lo siguiente
(g, w) kgk2
lo que se quera probar desde un comienzo .
Teorema 2.5. Sea G la familia de transformaciones de Mbius donde para cada
elemento g de G se cumple
(g (0) , g (1)) m, (g (1) , g ()) m (g () , g (0)) m
(2.3.6)
siendo m un nmero positivo. Entonces G tambin satisface la condicin de

Lipschitz uniformemente.
Demostracin. Como g satisface 2.3.6, entonces tenemos
(g (0) , g (1)) (g (1) , g ()) (g () , g (0)) m3
luego escribiendo a g (z) = az+b
cz+d , donde ad bc = 1 y evaluando en la desigualdad anterior, se tiene lo siguiente

2
2
2
2
2
2
|a| + |c|
|b| + |d|
|a + b| + |c + d| 1/m3
52
ahora como
1 = ad bc = d (a + d) b (c + d)
entonces por la desigualdad de Cauchy-Schwarz se cumple lo siguiente

2
2
2
2
1 |b| + |d|
|a + d| + |c + d|
donde se infiere que
2
|a| + |c| 1/m3

y con un argumento similar tenemos que
2
|b| + |d| 1/m3

notemos que si g cumple 2.3.6, entonces se cumple que kgk2 2/m3 . Luego por
el teorema anterior se ve obtiene que:
(g (z) , g (w))
kgk2 (z, w)
2
(z, w)
m3
notemos que esta desigualdad es para todo g en G, garantizando la uniformidad

de Lipschitz.
2.4.
La convergencia Normal.
El primer modo de convergencia en la teora de familias normales es dado

por la siguiente definicin.
Definicin 2.12. Sea C y fn : C. Una sucesin de funciones {fn }
converge uniformemente sobre los subconjuntos compactos de un dominio a una funcin f si, para cualquier subconjunto compacto K y
> 0, existe un nmero n0 = n0 (K, ) N, tal que, si n n0 implica que
|fn (z) f (.z)| < ,
para todo z K.
Esta definicin nos sirve para funciones cuya imagen est dentro del plano
complejo. Adems vemos que la funcin lmite de convergencia f es tal que
f (z) 6= , para todo z . Por otro lado para fines prcticos diremos que una
sucesin de funciones {fn } converge normalmente en , cuando {fn } converge
uniformemente sobre los subconjuntos compactos en el dominio a una funcin
f.
converge uniformemente sobre los subconjuntos compactos de un dominio a la funcin si, para cualquier subconjunto compacto K y > 0,
existe un nmero n0 = n0 (K, ) N, tal que, si n n0 implica que
2.4. LA CONVERGENCIA NORMAL.
53
|fn (z)| > ,

para todo z K.
Decimos que una sucesin {fn } como en la definicin, converge normalmente
a , si {fn } converge uniformemente sobre los subconjuntos compactos de un
dominio a la funcin f .
Ahora veremos la definicin para convergencia esfricamente uniforme sobre
compactos, la cual tiene un parecido con la definicin anterior.
converge esfricamente uniformemente sobre los subconjuntos compactos de un dominio a una funcin f (z) si, para cualquier subconjunto
compacto K y > 0, existe un nmero n0 = n0 (K, ) N, tal que n n0
implica que
(fn (z) , f (z)) < ,
para todo z K.
Note que en esta definicin, la sucesin de funciones {fn } converge uniformemente respecto a la mtrica cordal, la cual es equivalente a la mtrica esfrica. Tambin para fines prcticos diremos que una sucesin de funciones {fn },
como en la definicin anterior, converge esfricamente normalmente en cuando esta sucesin converge esfricamente uniformemente sobre los subconjuntos
compactos en el dominio . Esta definicin nos permite trabajar con funciones
meromorfas y la funcin lmite f puede llegar a hacer la funcin constante .
Escribiremos fn f para denotar que {fn } converge a f .
Ejemplo 2.2. Sea fn (z) =
mente en C a 0.
1
nz
con z C, entonces {fn (z)} converge normal-
Ejemplo 2.3. Sea fn (z) = nz con z C, entonces {fn (z)} converge esfricamente normalmente en C a .
Ejemplo 2.4. Sea fn : C, donde es un dominio. Si {fn } converge
normalmente a f , entonces la funcin fn (z) = afn (z) + b con a, b C y a 6= 0
converge normalmente en a af (z) + b .
normalmente a , entonces la funcin fn (z) = afn (z) + b con a, b C y a 6= 0
converge normalmente a .
normalmente en a la funcin f y para todo n N se tiene que |fn (z)| < 1,
entonces |f (z)| 1, para todo z .
54
2.5.
Algunos teoremas Clsicos
Veamos algunos resultados clsicos, en la teora de funciones analticas y

meromorfas.
Teorema 2.6. (el teorema de Weierstrass) Sea {fn } una sucesin de funciones analticas sobre una regin , el cual converge normalmente en a una
funcin f . Entonces
1. f es analtica en .
n
o
(k)
2. Toda sucesin de derivadas fn
converge uniformemente sobre subconjuntos compactos a f (k) , k = 1, 2, 3.....
Demostracin. Parte (1) Primero probaremos que f (z) dz = 0, para toda

curva cerrada de clase C 1 en , para luego aplicar el teoremade Morera y
concluir as que f es analtica. Se cumple por el teorema 1.19, que fn (z) dz =
0, para cualquier curva cerrada de clase C 1 en , pues fn es analtica en .
De la hiptesis, podemos tomar el compacto Img () y para cualquier > 0 es
, siempre que n > n0 ,

posible encontrar un n0 N, tal que |fn (z) f (z)| < L()

para todo z Img (). Luego acotaremos f (z) dz teniendo as

f (z) dz

= f (z) dz fn (z) dz

= (f (z) fn (z)) dz
|f (z) fn (z)| |dz|
Esto significa que f (z) dz = 0, para toda curva cerrada de clase C 1 en ,

por tanto f es holomorfa en .
Parte (2) Para un punto z0 arbitrario, escojamos un disco D (z0 , r) ,
y escribamos Cr = {z : |z z0 | = r} para algn r tal que Cr . Por la
hiptesis tenemos que dado un > 0, existe n0 N, tal que n n0 implica que
|fn () f ()| < ,
(2.5.1)
para todo Cr . Por otro lado por Cauchy, podemos escribir sus derivadas

(k)
fn (z) y f (k) en D z0 , 2r como sigue:
k!
fn ()
(k)
fn (z) =
d,
k+1
2i
( z)
Cr
k!
f ()
d,
f k (z) =
k+1
2i
( z)
Cr
2.5. ALGUNOS TEOREMAS CLSICOS
55

para todo z D z0 , 2r , pues f y fn , n = 1, 2, ... son funciones analticas. Luego
para todo n n0 , tenemos

Fk (z) fn(k) (z)

k! f () fn ()

d
2i
k+1
( z)

Cr
k!
|f () fn ()|
|d|
k+1
2
|( z)|
Cr
k!
|d|
k+1
2
|(r/2)|
Cr
k!
|d|

k+1
2 2r
(2.5.2)
(2.5.3)
(2.5.4)
(2.5.5)
Cr
k!2r
k+1
2 2r
(2.5.6)
k!2k+1
(2.5.7)
rk
la primera desigualdad es por la desigualdad de integrales en valor absoluto, la
segunda desigualdad es por la desigualdad 2.5.1 y por la relacin 2r < | z|
y como Cr |d| = 2r, entonces se llega a la ltima ecuacin. Esto nos di
(k)
ce que fn (z) converge uniformemente a f (k) (z) sobre D z0 , 2r para cada
(k)
k = 0, 1, 2, .. entonces tenemos que fn (z) f (k) (z) uniformemente en los
subconjuntos compactos , ya que K puede ser cubierta por una coleccin de
discos abiertos de la forma anterior.
=
Corolario 2.3. Sea f : C una funcin acotada y fn : C, con n =

1, 2, ... funciones meromorfas. Entonces si {fn } converge uniformemente en E
a f , se cumple lo siguiente
(1) Para un n suficientemente grande, fn es uniformemente acotada sobre
E.
(2) Para un n suficientemente grande fn es analtica sobre E.
(3) f es analtica sobre E.
Demostracin. (1) Como f es acotada sobre E, entonces existe una constante
M R, tal que |f (z)| < M , para todo z E. Ahora de la hiptesis, tenemos que dado un > 0 , existe un n0 N, tal que si n > n0 , implica que
|fn (z) f (z)| < , de esto ltimo, tenemos que |fn (z)| < + |f (z)| < + M ,
para todo z E y n > n0 . Siendo as fn (z) acotada uniformemente a partir de un n0 suficientemente grande. (2) Luego como la sucesin {fn }n>n0 es
meromorfa y uniformemente acotada sobre E , se deduce que estas funciones
son analticas, pues no hay polos. (3) Luego por el teorema de el teorema de
Weierstrass, tenemos que la funcin f es analtica, pues la sucesin de funciones
analticas {fn }n>n0 , converge normalmente a f sobre .
56
Ejemplo 2.7. Sea {fn } una sucesin de funciones analticas sobre C.

Si {fn } converge uniformemente en a una funcin analtica f , entonces la
sucesin
fn# f # uniformemente sobre y si es compacto, tenemos que
#
fn es uniformemente acotada sobre dicho compacto..
Ejemplo 2.8. Sea una sucesin {fni } de funciones analticas que converge
uniformemente en el compacto a una funcin f y una subsucesin {zi } ,
tal que zi a . Entonces
lim fni (zi ) = f (a) .
i
En efecto, por el teorema de Weierstrass f es analtica en , entonces para el

valor a y cualquier > 0, existe un > 0, tal quez , |z a| < implica
que |f (z) f (a)| < 2 y por la hiptesis, tenemos que existe un i1 N tal que
si i > ii implica que |fni (z) f (z)| < 2 , para todo z . Como zi a ,
escogemos un y encontramos un i0 N, con i0 > i1 , tal que i > i0 implica que
|zn a| < . Entonces podemos acotar lo siguiente |fni (zi ) f (a)| con i > io .
|fni (zi ) f (a)|
<
|fni (zi ) f (zi )| + |f (zi ) f (a)| ,

+ ,
2 2
esto termina nuestra prueba.

Teorema 2.7. Teorema de Rouche f, g : U : C holomorfa en el dominio
U y D un disco cerrado en U. Si |g (z) f (z)| < |f (z) b| para todo z ,
entonces el nmero de soluciones de f |D = b es igual al nmero de soluciones
de g|D = b.
Para la prueba ver Alcides lins neto, funcoes de uma varivel complexa ,
pg:233 o Serge lang, complex Analysis pg: 182.
Teorema 2.8. Teorema de Hurwitz Sea fn : C, funciones analticas
en el dominio , donde {fn }converge normalmente a la funcin no constante
f . Si f (z0 ) = 0 para algn z0 , entonces para cada r > 0 suficientemente
pequeo, existe un N = N (r), tal que para todo n > N , la funcin fn (z) tiene
el mismo nmero de ceros en D (z0 , r) como lo tiene f (z).(los ceros contados
con multiplicidad).
Demostracin. Tomemos un disco D (z0 , r) tan pequeo en donde f (z) no posea
ningn cero en K (z0 , r), salvo en z0 . Entonces |f (z)| > m, para algn m > 0,
sobre |z z0 | = r esto es posible por el dominio compacto y la continuidad de
f donde adems f (z) 6= 0 en |z z0 | = r por lo asumido. Luego como fn f
uniformemente sobre |z z0 | = r, entonces para un n suficientemente grande,
tenemos que
|fn (z) f (z)| < m < |f (z)| = |f (z) 0| , |z z0 | = r,
(2.5.8)
ahora aplicando el teorema de Rouche a esto ltima relacin, tenemos que el

nmero de ceros contados con multiplicidad de f |D(z0 ;r) (z) = b es el mismo
nmero de los ceros contados con multiplicidad de fn |D(z0 ;r) (z) = b.
2.5. ALGUNOS TEOREMAS CLSICOS
57
Corolario 2.4. Sea {fn } una sucesin de funciones analticas e inyectivas sobre
C. Si {fn } converge uniformemente en a una funcin analtica f no
constante, entonces f es inyectiva en .
Demostracin. Supongamos que f (z1 ) = f (z2 ) para algn z2 , donde z1 6=
z2 . Consideremos las siguientes funciones
gn (z) = fn (z) fn (z1 ) , n = 1, 2, 3, ... .
Entonces la funcin lmite g (z) = f (z) f (z1 ) se hace cero en z = z2 por
lo supuesto, luego por el teorema anterior tenemos que gn (z) tiene un cero en
alguna vecindad de z2 lo suficientemente pequea para un n suficientemente
grande. Entonces si gn (z) = 0, tenemos que 0 = fn (z) fn (z1 ) esto hace que
fn (z) = fn (z1 ) y por la inyectividad de fn tenemos que z = z1 , esto hace que
gn tenga un cero en z = z1 , mas no en z = z2 lo que sera una contradiccin.
Lema 2.2. (Lema de Schwarz) Sea f (z) una funcin analtica en U con
f (0) = 0, |f (z)| 1.
1. Se cumple que |f (z)| |z|, para todo z U , con |f 0 (0)| 1.
2. Si |f (z)| = |z| para algn z0 U , entonces f (z) cz, donde c es una
constante de modulo 1.
Para la prueba ver W. Rudin anlisis real y complejo pg: 237.
Definicin 2.15. Dados dos discos superpuestos 1 y 2 suponga que existe
dos funciones f1 (z) y f2 (z) el cual son meromorfas
en 1 , 2 , respectivamente,
T
y que f1 (z) = f2 (z) para todo z 1 2 . El par (fi (z) , i ) ser llamada
elementos de funcin y f2 (z) es dicho una continuacin analtica directa
S de
f 1 (z) en 2 y viceversa de tal modo definimos una funcin analtica en 1 2 .
Extendemos la idea, supongan se que AB es un segmento de linea cerrada
contenida en la unin de una una cadena finita de discos i , i = 1, .., n. Por otro
lado asumiremos que hay funciones meromorfas fi (z) definidas sobre cada i ,
de modo que fi+1 (z) es una continuacin directa de de fi (z) a i+1 . Entonces
cualquier par de elementos de funciones en la cadena son continuacin meromorfa S
de cada otro, engendrando un funcin meromorfa f (z) siendo definida
n
sobre i=1 i .
Teorema. (Teorema de Monodroma) Sea un dominio simplemente conexo y fijemos un punto z0 . Supongamos que f0 (z) es una funcin holomorfa
definida en una vecindad de z0 , y que f0 (z) puede ser continuado a lo largo
de cualquier polgono emitido desde z0 y situado este camino enteramente en
. Entonces la suma de todas las continuaciones analticas define una funcin
analtica bien definida en todo el conjunto .
Para la prueba ver W. Rudin anlisis real y complejo pg:308
58
2.6.
Familia de funciones acotadas
Hay una generalizacin del concepto de una funcin acotada a la de una

familia de funciones acotadas el cual juega un papel importante en los temas de
familia normales que se tratara el siguiente captulo.
Definicin 2.16. Una familia de funciones F es uniformemente acotada sobre
un dominio , si existe un M , tal que para todo z y todo f F, se tiene
que
|f (z)| < M.
Definicin 2.17. Una familia de funciones F es localmente acotada sobre un
dominio , si para cada z0 , existe un disco abierto D (z0 ; r) , tal que la
familia F es uniformemente acotada sobre dicho disco.
Proposicin 2.18. Si F es localmente acotada sobre entonces
(a) F es uniformemente acotada en alguna vecindad de cualquier punto z
de
(b) F es uniformemente acotada en cualquier subconjunto compacto K de
.
Demostracin. Parte (a). La primera parte es obvia, es por definicin.
Parte (b). Por lo parte (a), tenemos que para cada z , existe un disco
abierto D (z, rz ) , tal que F es uniformemente acotada sobre dicho disco.
Luego tomemos la coleccin C conformada por los discos abiertos D (z, rz ) de
centro z K en el cual F es uniformemente acotada. Por tal, C es un cubrimiento abierto de K, entonces se puede extraer un subcubrimiento finito C 0 de K.
Luego para cada disco abierto D en C 0 , existe una cota M , tal que |f (z)| < M ,
para toda f F y todo z D. Como la coleccin C 0 es finita, podemos tomar el mximo de las cotas, denotada por Mmax . Entonces para cada z K,
existe un disco en C 0 que contiene a z, tal que para todo f F se tiene que
|f (z)| < Mmax . Por tanto F es uniformemente acotada sobre K.
Ejemplo 2.9. La familia
F=

f (z) =

1
:
R
z ei
es localmente acotada en {z : |z| < 1}, pero no uniformemente acotado en U .

Teorema 2.9. Si F es una familia de funciones analticas localmente acotadas
sobre un dominio , entonces la familia de derivadas F 0 = {f 0 : f F} es una
familia localmente acotada en .
Demostracin. Por ser F localmente acotada en , se cumple que, para cualquier z0 , existe un disco cerrado D (z0 ; r) y una constante M = M (z0 ),
tal que |f (z)| M , para todo f F y para todo z D (z0 ; r). Luego
2.7. EQUICONTINUIDAD
59
0
aplicaremos la frmula de Cauchy
en cada f F, pues cada f es analtir
ca, entonces para z D z0 ; 2 y Cr = {z : |z z0 | = r} tenemos que
f ()
1
f 0 (z) = 2i
d, para luego as acotar a |f 0 (z)| de la siguiente manera
Cr (z)2
|f (z)| =
1
f ()
2 d
2i
( z)
Cr
1
|f ()|
2 |d| , por desigualdad integral
2
| z|
Cr
1
M
r
2 |d| , pues |f (z)| M y 2 | z|
2
(r/2)
Cr
1 M
|d|
2 (r/2)2
Cr
4M
.
r

Esto nos dice que para cualquier z0 , existe
un disco D z, 2r y un M (z0 ),

tal que |f 0 (z)| < 4M/r, para todo z D z, 2r y para todo f 0 F 0 . Siendo as
F 0 localmente acotada en .
2.7.
Equicontinuidad
Otra nocin principal en el desarrollo de familias normales y relacionada con

las acotaciones locales son las funciones equicontinuas.
Definicin 2.18. Una familia F de funciones definidas sobre un dominio
se llamar equicontinua en el punto z 0 si, para todo > 0, existe un
= (, z 0 ) > 0, tal que
|f (z) f (z 0 )| < ,
siempre que |z z 0 | < , para todo f F.
Definicin 2.19. F es equicontinua sobre un subconjunto , si es equicontinua
en cada punto de .
Definicin 2.20. Una familia F se dice que es equicontinua esfricamente uniforme en E, si para todo > 0, existe un = (, E) > 0 tal que
|f (z) f (z 0 )| < ,
siempre que z, z 0 E con |z z 0 | < , para todo f F.
Una definicin anloga a la definicin 2.18 es la equicontinuidad esfrica dada
de la siguiente forma:
60
Definicin 2.21. Una familia F de funciones definidas sobre un dominio se

llamar esfricamente equicontinua en el punto z 0 si, para todo > 0, existe
un = (, z 0 ) > 0, tal que
(f (z) , f (z 0 )) < ,
siempre que |z z 0 | < , para todo f F.
Definicin 2.22. De la misma forma, F es esfricamente equicontinua sobre
un subconjunto E , si es esfricamente equicontinua en cada punto de E.
Definicin 2.23. Una familia F se dice que es equicontinua esfricamente uniforme en E, si para todo > 0, existe un = (, E) > 0, tal que
(f (z) , f (z 0 )) < ,
siempre que z, z 0 E con |z z 0 | < , para todo f F.
Proposicin 2.19. Sea una familia F esfricamente equicontinua sobre E. Entonces si E es compacto, se tiene que F es esfricamente equicontinua uniforme
sobre E.
Demostracin. Para un > 0, y un punto z E es posible encontrar un z tal
que si |z y| < z implica que (f (z) , f (y)) < /2, para todo f F. Entonces
para todo par w, y Bd (z, z ) implica que (f (w) , f (y)) < , para todo
f F. Sea el nmero de Lebesgue de la cubertura K = Bd (z, z ). Ahora
zK
si y, w K son tales que |w y| < , entonces existe un z con y, w Bd (z, z ),

por tanto |z y| < implica que (f (y) , f (z)) < , para todo f F.
Observacin 2.2. El mismo resultado se obtiene si la familia F es equicontinua
y E un compacto, entonces F es uniformemente equicontinua sobre E.
Proposicin 2.20. Si {fn } es una sucesin de funciones esfricamente continuas la cual converge esfricamente uniformemente a una funcin f sobre un
subconjunto compacto E C, entonces se cumple las siguientes afirmaciones:
1. La funcin lmite f es esfricamente continuamente uniforme
2. la familia {fn : m N} es esfricamente equicontinua sobre E.
Demostracin. (1) Como {fn } converge esfricamente uniformemente a f sobre
el compacto E, entonces dado > 0 existe un n0 , tal que si n n0 implica que
, z E
(2.7.1)
3
Por la continuidad esfrica de fn sobre E y siendo este compacto tenemos
fn es esfricamente continuamente uniforme sobre E en particular para fn0 .
Teniendo as la existencia de un = (, E) > 0, tal que
(fn (z) , f (z)) <
(fn0 (z) , fn0 (z 0 )) <
,
3
(2.7.2)
2.7. EQUICONTINUIDAD
61
siempre que z, z 0 E, |z z 0 | < . Entonces acotando (f (z) , f (z 0 )) tenemos

que
(f (z) , f (z 0 )) (f (z) , fn0 (z)) + (fn0 (z) , fn0 (z 0 )) + (fn0 (z) , f (z 0 ))

+ + ,
3 3 3
esto es siempre que z, z 0 E, |z z 0 | < y para n0 . Por tanto decimos que
f es esfricamente continuamente uniforme sobre E.
(2) Por ltimo de la parte (1) podemos inferir que f es esfricamente continua
sobre E, entonces para cualquier z 0 E y dado un > 0 cualquiera, existir un
1 > 0, tal que si |z z 0 | < tenemos que
.
(2.7.3)
3
Entonces para n n0 y |z z 0 | < 1 tenemos la siguiente desigualdad
(f (z) , f (z 0 )) <
(fn (z) , fn (z 0 )) (fn (z) , f (z)) + (f (z) , f (z 0 )) + (f (z 0 ) , fn (z 0 ))

+ + ,
3 3 3
Pues, esto es garanta de la ecuacin (2.7.1) y (2.7.3). Esto significa que
{fn : n n0 }, es esfricamente continua. Ahora solo falta analizar para las funciones fn con n < n0 , gracias a que fn son esfricamente continuas sobre E
y en nmero finito, podemos dar un > 0 cualquiera y escoger el menor delta
2 , tal que si z, z 0 E, |z z 0 | < 2 implique que (fn (z) , fn (z 0 )) . Por
ltimo tomamos = min {1 , 2 } teniendo as que (fn (z) , fn (z 0 )) < , siempre que |z z 0 | < sea cual fuese n N. Por tanto la familia {fn : n N} es
esfricamente equicontinua sobre E.
Teorema 2.10. Una familia F localmente acotada de funciones analticas sobre
un dominio es equicontinua sobre los subconjuntos compactos de .
Demostracin. Que F sea localmente acotada implica que F 0 = {f 0 : f F}
tambin lo sea por el teorema 2.9 por ende F 0 es uniformemente acotado sobre
los subconjuntos compactos de esto es por la proposicin 2.18 parte (b). Luego
esto nos garantiza, que al tomar un disco cualquiera cerrado D podremos
encontrar un M , tal que |f 0 (z)| M para todo z D, f 0 F 0 . Despus
para cualquier par de puntos z, z 0 D, usaremos el teorema fundamental en el
camino recto de extremos z y z 0 y tambin usaremos la desigualdad integral,
teniendo lo siguiente
z
0
|f 0 ()| |d| M |z z 0 | .
|f (z) f (z )|
(2.7.4)
z0

De aqu, dado un > 0 podemos encontrar un = , D <
donde la ecuacin 2.7.4 queda reducida de tal manera que
con > 0,
62
|f (z) f (z 0 )|
siempre que z, z 0 D, |z z 0 | < . Por tanto F es equicontinua sobre D y por
tal sobre cada punto de z en . Luego por la proposicin 2.18 parte (b) se tiene
que la familia F es uniformemente acotada sobre cada compacto K, terminando
as la prueba.
Captulo 3
Familias normales.
3.1.
Normalidad
El trabajo de Montel sobre familias normales fue iniciado con su paper en

1907 sobre sucesiones de funciones, aunque el trmino normal no apareci hasta
en 1912.
Definicin 3.1. Una familia F de funciones analticas sobre un dominio
C es normal en , si toda sucesin de funciones {fn } F contiene, o una
subsucesin la cual converge normalmente a f , o a .
En el anlisis del primer caso, tenemos que la funcin lmite f es una funcin
analtica, esto es por el teorema de Weierstrass. En el caso posterior tenemos
que para cada compacto K y un M > 0 existe n0 = n0 (M, K) en el que se
tiene |fn (z)| > M para todo z K y n n0 , esto sugiere que n0 debe de ser
suficientemente grande.
Sea una familia normal F = {f : C, L} diremos que F es normal
en U , si la familia F|U = {f |U : U C, L} es normal en U .
Ejemplo 3.1. Sea F una familia normal en , entonces la familia
n
o
F = f/f (z) = af (z) + b, f F con a, b Cy a 6= 0
n o
luego hacemos fn (z) =
es normal en . En efecto, sea una sucesin fn de F,
1
b
a fn (z) a , para cada n N, donde se ve observa que fn (z) es un elemento de
F esto construye la sucesin {fn } en F. Como F es normal, tenemos que {fn }
posee una subsucesin {fnk } que converge
n o normalmente a f o a . Luego por
los ejemplos 2.4 y 2.5 tenemos que fn converge normalmente a af + b o a .
Por tanto la familia F es normal.
Ejemplo 3.2. Sea , 0 abiertos de C y g : 0 una funcin biholomorfa. Entonces la familia F es normal sobre , si y solo, si la familia F 0 =
{f g/f F} es normal en 0 .
63
64
CAPTULO 3. FAMILIAS NORMALES.
Definicin 3.2. La familia F se dice normal en un punto z0 si F es normal

en alguna vecindad abierta de z0 .
Veremos un teorema muy importante
Teorema 3.1. Una familia F de funciones analticas es normal en un dominio
, si y solo, si F es normal en cada punto de .
Demostracin. Supongamos que F es normal en , luego es sabido que es
una vecindad abierta de cada punto z y como F es normal en . Entonces
tenemos que F es normal en cada punto z .
Recprocamente, supongamos que F es normal en cada punto z . Por
otro lado, sabemos que el que el conjunto Q + iQ es numerable y denso en C,
luego como es un subconjunto abierto y conexo de C es posible encontrar un
subconjunto {zn : n N} numerable y denso en
, donde zn = xn + iyn , con
xn , yn Q, n N. Denotemos por D (zn , rn ) el mayor disco de centro zn en el
cual F es normal.
Ahora afirmaremos que dada una subsucesin cualquiera {znk } de {zn} que
r
converge a , existe un k0 , tal que k > k0 implica D znk , n2k . En
efecto como es posible encontrar un disco D (, r ) de centro en y de
radio r , en el cual la familia F es normal. Luego, dado que znk , podemos
r
elegir un cualquiera con 0 < < 4 , para luego encontrar un k0 N, tal que
|znk | < , cuando k > k0 . Esto ltimo nos dice tambin que D (znk , )
siempre que k > k0 . Tomemos y D (znk , 2) con k > k0 y acotemos |y | de
la siguiente forma:
|y |
|y znk | + |znk | con k > k0

2 +
r
tenemos que y D (, r ), esto significa que D (znk , 2) D (, r ) siempre

que k > k0 . Como F normal en D (, r ) y D (znk , 2) D (, r ) siempre que
k > k0 , entonces por la restriccin tenemos que F es normal en cada D (znk , 2)
donde k > k0 . Luego como D (znk , rnk ) es el mayor disco en que la familia F
es normal para cada znk , se deduce de inmediato que D (znk , 2) D (znk , rnk )
r
siempre que k > k0 deduciendo que D (znk , ) D znk n2k solo cuando k > k0 ,
ya que 2 < rnk ,si k > k0 . Adems es sabido que D (znk , ), siempre que
r
k > k0 y por la ltima inclusin tenemos que D znk n2k si, k > k0 lo cual
termina de probar nuestra afirmacin.
Sabemos que para cada z existe una subsucesin {znk } de {zn }, tal que
znk z esto es por ser {zn } denso
en , por tanto existe un n0 , tal que si
r
n > n0 se tiene que z D znk , n2k de esto tenemos que
[
rn
D zn ,
(3.1.1)
2
nN
Ahora tomemos una sucesin cualquiera {fn }nN F y denotemos

N0 = N. Luego como F es normal en D (z1 , r1 ) podemos extraer una subsucesin {fn }nN1 , con N1 N0 y min {N0 } 6 N1 , la cual converge uniformemente
3.1. NORMALIDAD
65

en D z1 , r21 a una funcin f analtica o a . Nuevamente podemos extraer
una subsucesin {fn }nN2 de {fn }nN1 , con min {N1 } 6 N2 y N1 N2 , la cual

converge uniformemente en D z2 , r22 a una funcin f analtica o a y as
sucesivamente. Tomemos Nd = {n N/n = minNi , n = 1, 2, 3, ...} y formemos
la sucesin diagonal {fn }nNd , por la construccin de esta sucesin, tenemos

que {fn }nNd converge uniformemente en D zn , r2n a una funcin analtica f
o a , para todo n = 1, 2, 3, ... . Es claro notar una disyuncin, la cual divide
el conjunto en dos subconjuntos, denotados por 0 y , y escrito como

0 = z / lim fn (z) <
nNd
y
=

z / lim fn (z) =
nNd
Afirmamos que 0 es abierto, en efecto, pues tomamos

un z0 y por la ecuar
cin 3.1.1 existe un n0 N, tal que z0 D zn0 , n20 , el cual denotaremos por
D0 . Luego es sabido que la sucesin diagonal {fn }nNd converge uniformemente
r
sobre D zn0 , n20 a una funcin f analtica o a f , pero este ltimo no
puede ser porque f (z0 ) = lim fn (z0 ) < por tanto f es solamente analtica
nNd
en dicho disco y por tal lim fn (z) = f (z) < para todo z D0 . Esto nos
nNd
dice que el punto arbitrario z0 es un punto interior , pues z0 D0 , lo que

prueba que 0 es un abierto. Del mismo se puede probar que es abierto.
Note que 0 6= y 0 = adems como es conexo, tenemos que
0 = = , esto significa que la sucesin diagonal {fn }nNd converge

uniformemente en cada D zn , r2n a una funcin analtica f para todo n N o
dicha sucesin
converge uniformemente a la funcin infinito en todos los discos

D zn , r2n , con n N.
Ahora tomemos un compacto cualquiera K . Luego de la ecuacin 3.1.1
y porSser K compacto,
podemos extraer un conjunto finito J N, tal que

K
D zj , r2n . Por otra parte la sucesin diagonal {fn }nNd converge unijJ

formemente en cada D zj , r2n , con j J a una funcin analtica f para todo
j J o dicha sucesin converge uniformemente en cada disco a infinito

S para cada
j J. Luego la sucesin diagonal converge uniformemente sobre
D zj , r2n
jJ
, con j J, a una funcin f analtica o f . Por tanto {fn }nNd converge uniformemente
sobre K a una funcin analtica f o a infinito, ya que
S
K
D zj , r2n . Por tanto se ha probado que para todo {fn } de F existe una
jJ
subsucesin de {fn }, tal que converge normalmente en .

Definicin 3.3. Nosotros ahora diremos que la familia de funciones
analticas

F es normal en el infinito, si la correspondiente familia G = g : g (z) = f z1
fuera normal en z = 0.
66
Por tanto F es normal en significa que es normal en alguna vecindad

S de
, una vecindad de es de la siguiente forma (, R) = {z : |z| > R} {},
R > 0. Esto nos lleva a definir F a ser normal en un dominio sumergido en C
y que contiene al punto infinito, si F es normal {} en en el sentido usual,
as como normal en el en el sentido anterior.
3.2.
Teorema de Montel
Uno de los progenitores de la teora de Montel de familia normales, fue el

siguiente teorema de Ascoli y Arcela.
Teorema de Montel. Sea F una familia de funciones analticas sobre un
dominio . Si F es localmente acotada en , entonces F es una familia normal
en .
Demostracin. De la hiptesis y de la la proposicin 2.18 parte (b), tenemos
que F es uniformemente acotada sobre los subconjuntos compactos K de .
Por tal para toda sucesin {fn } en F que converge a f en K, se tendra que
f (z) 6= , para todo z K. Esto nos dice que no {fn } no puede converger
normalmente a infinito. Solo nos queda mostrar, que para toda {fn } F posee
una subsucesin {fnk } que converge normalmente a una funcin analtica f .
En efecto, al igual que el teorema anterior, escojamos un subconjunto denso
Q = {zn C/n = 1, 2, ....}
de . Ahora tomemos una sucesin {fn } cualquiera de F, con la cual se procede
a construir la siguiente sucesin de nmeros complejos {fn (z1 )}. Luego por ser
F localmente acotada existe un Mz1 R, tal que |fn (z1 )| < Mz1 para todo
n = 1, 2, 3, .. ; por tal dicha sucesin es acotada. Por Bolzano - Weierstrass,
esta sucesin de nmeros complejos, la cual es acotada, posee una subsucesin
convergente, denotada por {fni (z1 )}iN1 , N1 = N; ahora tomemos la sucesin
{fni }iN1 F y construyamos la siguiente sucesin, {fni (z2 )}iN1 al igual que
antes existe un Mz2 R, tal que dicha sucesin es acotada, entonces por BW existe una subsucesin {fni (z1 )}iN2 , N2 N1 min {N1 }
/ N2 , la cual
es convergente en C; volvemos a tomar la sucesin {fni }iN2 F y seguimos
construyendo la siguiente sucesin {fni (z3 )}iN2 , como en lo anterior, esta es
una sucesin de nmeros complejos es acotada, entonces por B-W existe una
subsucesin {fni (z3 )}iN3 , N3 N2 min {N2 }
/ N3 , la cual converge en C.
Seguimos as sucesivamente, ahora tomemos la siguiente sucesin
{fni }iNd , Nd = {n N/ n = min {Ni } , i = 1, 2, 3, ...} ,
denotada como la diagonal, luego para todo zj Q la sucesin {fni (zj )}iNd
es convergente, pues es una subsucesin de una sucesin convergente en cada
zj Q.
Procedemos a Mostrar que la diagonal converge uniformemente sobre los
subconjuntos compactos. Vamos a renombrar la sucesin como {gk } = {fnk },
3.2. TEOREMA DE MONTEL
67
donde gi = fnk , en el cual k es el i elemento de Nd . Ahora tomemos un

compacto cualquiera K que est en , luego es posible encontrar un abierto U ,
acotado en la mtrica usual, que contiene a K y siendo adems su cerradura en ,
o sea U . Por otra parte el teorema 2.10 nos dice que, F es equicontinua sobre
cualquier subconjunto compacto de y a su vez por la observacin 2.2, se tiene
que F es uniformemente equicontinua sobre dichos compactos de . Entonces
si tomamos el subconjunto
compacto U , tenemos que para cualquier > 0

existe = , U > 0, tal que
, n = 1, 2, 3, ...,
(3.2.1)
3
siempre que z, z 0 U , |z z 0 | < . Luego para cada z U
S es posible encontrar
un zi U Q, tal que z D (zi , ). Entonces U
D (zi , ), luego es
zi U Q
S
posible extraer un cubrimiento finito con indices en J, tal que U
D (zi , ),
|gn (z) gn (z 0 )| <
iJ
donde J es finito. Como ya sabemos {gk (zi )} converge , en especial para i J,

entonces {gk (zi )} es una sucesin Cauchy en cada i J, es decir fijado un i J
y dado un > 0, existe un nmero entero ni N, tal que m, n ni implica
|gn (zi ) gm (zi )| <
.
3
(3.2.2)
Finalmente tomemos un punto z cualquiera

en el compacto K, entonces

existe un i J, tal que z D zi , , U ; pues z tambin es elemento de U .
Luego acotaremos |gn (z) gm (z)|, teniendo en cuenta que z, zi U ,|z zi | <
, U y para cada n, m > n0 , donde n0 = max {ni : i J}, entonces
|gn (z) gm (z)|
|gn (z) gn (zi )| + |gn (zi ) gm (zi )| + |gm (zi ) gm (z)|

+ +
3 3 3
= ,
esto es por la desigualdad 3.2.1 y 3.2.2. Esto concluye que {gn } converge uniformemente sobre K a una funcin f la cual es analtica. Por tanto eso prueba
que F es normal en .
Teorema 3.2. Sea F una familia de funciones analticas sobre un dominio ,
tal que toda sucesin de funciones {fn } F posee una subsucesin que converge
normalmente en a una funcin analtica. Entonces F es localmente acotada,
y por tanto equicontinua sobre los subconjuntos compactos de .
Demostracin. Supongamos que F no es localmente acotada, entonces existe un
punto z0 , tal que para todo disco abierto D (z0 , r) , la familia F no es
uniformemente acotada. Luego tomemos en particular un disco D0 = D (z0 , r0 ),
tal que su cerrado est en , es decir, D0 . Como sabemos la familia F
no es uniformemente acotada en D0 , entonces podemos tomar un n N y
posteriormente encontrar un z D0 y una funcin f F, denotadas por zn y
fn respectivamente, tal que
68
|fn (zn )| > n.

Por otro lado la sucesin {fn } est en F, entonces por la hiptesis podemos
tomar el compacto D0 y encontrar una subsucesin {fnk } de {fn }, tal que
converge uniformemente sobre D0 a la funcin analtica f . Entonces tomando
un = 1, existe un k0 N, tal que para cualquier k k0 se tiene que
|fnk (z) f (z)| < 1, z D0 .
(3.2.3)
Aparte podemos hacer M = maxzD0 {|f (z)|} <, esto es posible porque f
es continua sobre el compacto D0 , la continuidad se debe a que f es analtica.
Entonces de la desigualdad 3.2.3 tenemos que |fnk (z)| |f (z)| < 1, para todo
z D0 implicando que
|fnk (z)| < 1 + |f (z)| z D0 .
1 + M z D0 .
Esto ltimo contradice el hecho que |fnk (znk )| cuando k . Por tanto
tenemos la prueba del teorema.
Corolario 3.1. Sea F una familia normal de funciones analticas sobre un
dominio . Si para algn punto z0 , y para algn M < , se cumple que
|f (z0 )| M para todo f F . Entonces F es localmente acotada.
Demostracin. Sea {fn } F, luego como F es normal, existe una subsucesin
{fnk } de {fn } que converge normalmente a una funcin analtica f o a . Pero
este ltimo no puede ser, ya que la funcin lmite f de {fnk } en z0 es menor
o igual a M , pues f (z0 ) = lm fnk (z0 ) M a razn de la hiptesis, que nos
k
dices |fnk (z0 )| M para todo fnk F. Entonces tenemos que {fn } posee una
subsucesin que solo converge normalmente a la funcin analtica f .
Corolario 3.2. Si F es una familia normal de funciones analticas en y si
para algn z0 se cumple que |f (z0 )| M , para todo f F, con M fijo en
R, entonces la familia F 0 = {f 0 : f F} es localmente acotada y normal en .
Demostracin. En efecto, por el corolario anterior F es localmente acotada en
y por el teorema 2.9 tenemos que F 0 es localmente acotada en y por el
Teorema de Montel, tenemos que F 0 es normal en .
3.3.
Teorema de Vitali-Porter
Teorema de Vitali-Porter. Sea {fn : n N} una familia numerable de funciones analticas en , la cual es localmente acotada en dicho dominio. Adems
el lim fn (z) existe para cada z E , donde E posee un punto de acumun
lacin. Entonces {fn } converge normalmente en a una funcin analtica f

.
3.3. TEOREMA DE VITALI-PORTER
69
Demostracin. De la hiptesis, tenemos que F = {fn : n N} es localmente

acotada, luego podemos aplicar el teorema de Monte, que nos garantiza la normalidad de F. Adems {fn } F, por tanto posee una subsucesin {fnk }, la
cual converge uniformemente en los subconjuntos compactos de a una funcin
f analtica, pues F es localmente acotada. Entonces note que {fnk } converge
en cada punto z , esto significa que lim fnk (z) = f (z), para cada z ,
k
en particular para los z E.

Ahora supongamos que {fn } no converge uniformemente sobre los subconjuntos compactos de a una funcin f . Entonces en algn compacto K ,
existe un > 0, tal que para cualquier n N es posible encontrar un m n,
que a su vez cumpla |fm (z) f (z)| en algn z K. Ahora construyamos
la siguiente subsucesin de {fn } de la siguiente manera, para n = 1 tomemos
un n1 1, que a su vez cumpla |fn1 (z) f (z)| en algn z K ,el cual
denotaremos por z1 ; ahora para n = m1 + 1 tomemos un n2 m1 + 1, que a
su vez cumpla |fn2 (z) f (z)| en algn z K, el cual denotaremos por z2 ;
por tercera para n = m2 + 1 tomemos un n3 m2 + 1, que a su vez cumpla
|fn3 (z) f (z)| en algn z K, el cual denotaremos
por z3 y as sucesiva
mente obtenemos una subsucesin de funciones fnj de {fn } y una subsucesin
de puntos {zj } en K, tal que

fn (zj ) f (zj ) .
(3.3.1)
j

Ahora fnj F posee una subsucesin fnj jN la cual converge uni1
formemente
sobre los subconjuntos compactos
de a una funcin analtica g.
Luego fnj jN es una subsucesin de fnj , donde sta a su vez es una sub1

sucesin de {fn }, la cual converge en cada z E a f (z); por tanto fnj jN1
no solo converge a g en , sino que tambin converge a f (z) en cada z E,
implicando que g (z) = f (z) en todo z E; pero esto no implica que f y g sean
iguales en . Ahora afirmaremos que que g 6= f en K. En efecto, como K es
compacto y {zj }jN1 K podemos extraer la siguiente subsucesin {zj }jN2 ,
donde N2 N1 , la cual converge a un valor a K y aplicando el ejemplo 2.8 a
la ecuacin 3.3.1, tenemos lo siguiente:

fnj (zj ) f (zj )

= lim fnj (zj ) f (zj )
jN
2

= lim fnj (zj ) lim f (zj )
jN
jN
2
= |g (a) f (a)|
esto nos dice que g (a) 6= f (a) en el punto a K.
Ahora podemos aplicar el teorema de identidad, ya que f y g son analticas
sobre y f (z) = g (z) en z E , donde el conjunto E posee un punto de
acumulacin. Entonces el teorema de identidad, nos garantiza que f g sobre
, lo cual es una contradiccin estableciendo la demostracin del teorema.
70
3.4.
Ceros de Familia Normales
Para la familia normal de funciones analticas, el nmero de ceros de la

familia resulta ser localmente finita, Ms precisamente vemos en el siguiente
teorema
Teorema 3.3. Sea F una familia normal de funciones analticas en , y suponga que cada funcin como lmite de alguna sucesin de F no es igual a una
constate a. Entonces para cada subconjunto compacto K de , existe una constante M = M (K), tal que el nmero de ceros de f (z) a en K no excede a
M , para cada f F.
Demostracin. Supongamos que la tesis no es verdadera, es decir, existe un
compacto K , tal que para cualquier M N el nmero de races de f (x) a
es mayor o igual a M para algn f F. Ahora esto nos ayudar a crear la
siguiente sucesin {fn } F, de la siguiente manera, dado un M = n es posible
encontrar una funcin f F, la cual f (z) a tiene al menos n races en K,
denotado a f por fn . Como F es normal y {fn } F, podemos extraer una
subsucesin {fnk } de {fn } que converge uniformemente sobre los subconjuntos
compactos de a f analtica converge uniformemente a f sobre cualquier
subconjunto compacto de , en particular en K.
Por otro lado Afirmamos que f 6 en K , en efecto si f en
K , entonces podramos tomar un a > 1 y encontrar un k1 suficientemente
grande tal que para cada k > k1 se tiene que |fnk (z)| > a, para todo z K, esto
nos dice que fnk (z) a no posee ceros en todo z K lo que es un contradiccin
ya que mnimo se espera un nmero de nk ceros, no olvidar que nk 1, por
tanto la afirmacin queda probada. Entonces la ltima afirmacin nos asegura
que {fnk } de {fn } F converge uniformemente a f siendo esta solo analtica en
todo , pues f 6 . Ahora afirmamos que los ceros en de f (z)a son puntos
aislados de , en efecto caso contrario el conjunto L = {z /f (z) a = 0}
tiene un punto de acumulacin a , adems como f es analtica en podemos
aplicar entonces el teorema de identidad que nos garantiza que f (z) = a para
todo , lo cual contradice la hiptesis, ya que la funcin lmite de {fnk } no
puede ser la constante a, por lo que la afirmacin queda probada. Como K es
compacto, tenemos que los ceros de f (z) a en K son finitos, pues estos son
aislados. Luego podemos suponer que z1 , z2 , ..., zl son todos ceros de f (z) a
en K con multiplicidad 1 , 2 , ...l respectivamente; adems es posible la
construccin de discos abiertos Di = D (zi , ri ) con centros en zi y algn radio
ri , tal que f (z) a solo posea un nico cero, pues sus ceros en son aislados,
estos discos tienen que ser disjuntos y su cerradura de Di est en . Ahora
podemos aplicar el teorema de Hurwitz, en cada Di , es decir, que para cada
disco D (zi , ri ), existe un ki N, tal que si k > ki se puede garantizar que
fnk (z) a posea i ceros, todos ellos contados con multiplicidad.
l
P
Lo anterior nos permite afirmar que fnk (z) a posee
i finitos ceros
i=1
contados con multiplicidad en
l
S
D (zi ; ri ), siempre que k > k0 , donde
i=1
3.5. PRUEBA DEL TEOREMA FUNDAMENTAL DE NORMALIDAD (TFN)71

k 0 = max {k1 , ..., kl }.
Por ltimo afirmamos que fnk (z) a en E = K
l
S
D (zi ; ri ) no pose
i=1
ceros, en efecto notemos que E sigue siendo compacto y por ser f continua
podemos asegurar que existe el nmero m = min {|f (z) a|}, luego m 6= 0,
zE
caso contrario existe un z0 E K el cual har que f (z0 ) a = 0 haciendo

que z0 pertenezca al conjunto de todos los ceros de f (z) a en K, o sea z0
l
S
{z1 , ..zl }
D (zi ; ri ), esto nos dice que z0 6 E lo cual es una contradiccin.
i=1
Todo lo anterior nos asegura que m |f (z) a|, para todo z E con m fijo
y mayor a cero. Aprovechando que {fnk } converge uniformemente en K a la
funcin analtica f , podemos escoger un > 0, donde < m y encontrar un
k 00 N, tal que k > k 00 implica que |fnk (z) f (z)| < , para todo z E. Luego
para k > k 00 se tiene lo siguiente
m |f (z) a| , z E
= |f (z) fnk (z) + fnk (z) a| , z E
|f (z) fnk (z)| + |fnk (z) a| , z E
< + |fnk (z) a| , z E
esto nos asegura que m < |fnk (z) a| para todo z E y k > k 00 . Esto
ltimo nos asegura que no existen ceros de fnk (z) a en E cuando k > k 0 .
Las dos ltimas afirmaciones, nos aseguran que las funciones fnk (z) a poseen
l
P
i ceros en K, todos ellos contados con multiplicidad, lo que es contradiccin
i=1
terminando la prueba el teorema.
3.5.
Prueba del Teorema Fundamental de Normalidad (TFN)
En 1992 Montel presento su Criterio Fundamental para la familia de funciones analticas para que sean estas normales. La idea por la hiptesis de el
teorema es implcita en el paper de Caratheodory y Landau, quienes establecieron el teorema de Vitali-Porter para remplazar el requisito de la acotacin por
la condicin de que cada funcin omite dos valores fijos. La prueba del teorema
fundamental de normalidad tiene varios resultados de gran alcance.
Teorema Fundamental de Normalidad (TFN) Sea F la familia de funciones analticas sobre un dominio el cual omite dos valores a y b en C. Entonces
F es normal en .
Demostracin. Sabemos que la familia F es normal, si y solo, si para cada
z0 existe un disco abierto D (z0 , r0 ) , tal que la familia
n
o
Fz0 = f|D(z0 ,rz ) : f F
0
72
zz0
es normal en D (z0 , r0 ). Luego sea M1 (z) = za
ba y M2 (z) = rz0 , entonces Fz0
es normal ,si y solo, si Fz0 = {M1 f M2 : f Fz0 } es normal en D (0, 1).
Luego , solo nos bastar probar que la familia F constituida por funciones
analticas en D (0, 1) que no toman los valores 0 y 1 sea normal en dicho disco
Seguiremos denotando al nuevo dominio
unitario, pues es claro que Fz0 F.
D (0, 1) como .
podemos escoger una funcin analtica de la
Ahora, para cualquier f F,
rama de (w) = 1 (w) en el cual (f (z0 )) es un valor principal, es decir un
valor que se encuentra en el cuadriltero ABCDA sin el lado AB y BC, llamada
regin principal como se muestra en la figura.
Empezando con este valor inicial (f (z0 )) es posible definir una funcin analtica (f (z)) en una vecindad suficientemente pequea de z0 . Luego (f (z))
puede ser continuado a travs de cualquier curva analtica en . Ahora como
es simplemente conexo se puede aplicar el teorema de Monodromia creando ste
una aplicacin analtica
, denotada por f (z) = f (z0 ) (f (z)), esta apli en todo

Por
cacin verifica que f (z) = f (z0 ) (f (z)) = f (z), para todo f F.

n
o

otro lado la familia F = f = f (z0 ) (f (z)) / f F es normal, pues f (z) < 1
, para todo z
y sea C un punto de acumulacin
Sea {fn } una sucesin arbitraria en F,
de la sucesin {fn (z0 )}. Ahora consideraremos cuatro casos.
Caso (i) : 6= 0, 1, .
Sea {fn0 } {fn } una subsucesin
n tal
o que {fn0 (z0 )} convergen a osiempre
0
que n . Entonces la sucesin fn0 posee una subsucesin fnk el cual

converge uniformemente sobre los subconjuntos compactos de a una funcin
analtica F (z), adems |F (z)| 1 esto es por el ejemplo 2.6. Si la igualdad se
cumple para algn z , entonces aplicamos el principio del mdulo mximo
i
que nos garantiza la existencia
de un nmero real , tal que F (z) e para

cada z . Esto implica que fnk (z) 1, ya que |F (z)| = 1 y fnk (z) F (z)
para todo z , en particular para z0 . Adems fn (z0 ) se encuentra en la regin
k
3.5. PRUEBA DEL TEOREMA FUNDAMENTAL DE NORMALIDAD (TFN)73

principal luego se cumple que fnk (z0 ) (fnk (z)) = fnk (z0 ) 1, siempre que
fnk (z0 ) converge a 0,1 o lo cual es una contradiccin. De esto se concluye
que |F (z)| < 1 en .
Ahora tomemos un compacto arbitrario K . Entonces existe una constante m tal que, |F (z)| m < 1 sobre K, por ser F analtica y K compacto.
Luego por la convergencia
uniforme
de fnk a F sobre K existe m0 y un k0 , tal que

si k > k0 implica que fn (z) m0 < 1, z K. Como la funcin modular ()
k
es analtica en U , entonces la funcin ser acotada en el compacto || m0 , es

decir, existe un M0 > 0, tal que | ()| M en el compacto || m0 . Entonces
para un k > k0 y para todo z K, tenemos que se cumple lo siguiente
|fnk (z)| = | ( (fnk (z)))|

fnk (z)
M0 ,
adems fnk (K) es acotada para k k0 , por una constante Mk , pues es fnk
es analtica en el compacto K. Luego {fnk } es uniformemente acotada por la
constante M = min {M0 , M1 , .., Mk0 } en todo K compacto arbitrario en .
Consecuentemente aplicamos el teorema de Montel que nos garantiza que, la
sucesin {fnk } vista como familia es normal, por ende se puede extraer a {fnk }
una subsucesin la cual converge normalmente en a una funcin analtica f .
Caso (ii) : = 1.
Sea {fn0 } {fn } una subsucesin tal que fn0 (z0 ) 1 siempre que n0 ,
tenemos que es simplemente conexo y dominio de cada fn0 sabemos que estas
funciones omiten cero, entonces aplicando la parte 5 del teorema 1.23, podemos
construir la funcin raz cuadrada analtica como
p
gn0 (z) = f n0 (z),
tenemos que para un n0 suficientemente grande las funciones fn0 (z0 ) se aproximan a 1, luego para estos mismos n0 las funciones gn0 (z0 ) tiene dos opciones, la
primera se acerca a 1 y la segunda se acerca a -1. tomaremos las funciones gn0
en la cual gn0 (z0 ) se acerquen a -1. As podemos construir una sucesin {gn0 } en
la cual{gn0 (z0 )} converge a -1 adems estas funciones gn0 omiten el cero y el 1
dado que fn0 omite dichos valores. Entonces esta sucesin {gn0 } se encuentra en
el caso (i), lo que podemos inferir que existe una subsucesin de {gnk } {gn0 } el
cual converge uniformemente sobre subconjuntoscompactos
de a una

funcin
analtica se puede deducir que tambin lo har gn2 k , y como gn2 k = {fnk }
es una subsucesin de {fn } por lo anterior tenemos que esta subsucesin {fnk }
converge uniformemente sobre los subconjuntos compactos de a una funcin
analtica,
Caso (iii) : = 0.
Una vez ms escogemos una subsucesin {fn0 } {fn } tal que fn0 (z0 ) 0
siempre que n0 y definimos gn0 (z) = 1 fn0 (z) para n0 = 1, 2, 3, ... , estas
74
funciones son analticas en , el cual tambin omiten el 0 y el pues fn0 (z) 6= 0, 1.

Por otro lado como l
m gn0 (z0 ) = l
m [1 fn0 (z0 )] = 1 l
m [fn0 (z0 )],
0
0
0
n
teniendo as
lm gn0 (z0 ) = 0.
n0
Vemos que la subsucesin {gn0 } se encuentra en el caso (ii) el cual poseer una
subsucesin {gnk } que converger uniformemente en los subconjuntos compactos
de . Adems teniendo en cuenta que fnk = 1 gnk , se puede construir la
subsucesin {fnk } la cual est en {fn } el cual converge uniformemente sobre los
subconjuntos compactos de .
Caso (iv) : = .
Tomemos como en los casos anteriores una subsucesin {fn0 } {fn } tal que
fn0 (z0 ) siempre que n0 . Como las funciones fn0 (z) son analticas y
no toman el valor cero en , ello nos permite construir las siguientes funciones
gn0 (z) = 1/fn0 (z), n0 = 1, 2, 3, .. las cuales son analticas. Adems gn0 (z) no
toma ni el 0 ni el 1, pues dado que fn0 (z) no toma el 1 ni el. Luego tenemos que
lm gn0 (z0 ) = 0,
n0
(3.5.1)
dado que fn0 (z0 ) siempre que n0 . Ahora los gn0 , recin construidos,
forman una sucesin {gn0 } la cual tiene las mismas propiedades del caso (iii)
por esto, existe una subsucesin {gnk } {gn0 } que converge uniformemente
sobre los compactos de a una funcin analtica g. Afirmarnos que g = 0 en
, en efecto supongamos que g no es constante, por otra parte tenemos que
g (z0 ) = l
m gn0 (z0 ) = 0,esto nos dice que g tiene un cero en z0 por tal hecho
0
n
podemos aplicar el teorema de Hurwitz en z0 , de la siguiente forma, para una

vecindad suficientemente pequea de z0 , existe un k0 tal que todas las funciones
gnk donde k k0 poseen el mismo nmero de ceros que tiene funcin g en dicha
vecindad, pero como no gnk no posee ceros esto es una contradiccin, pues
entonces g es constante y como g (zo ) = 0 entonces se tiene que g = 0 en . y
consecuentemente tenemos que fnk uniformemente sobre los subconjuntos
compactos de , como se requera.
De los cuatro casos, tenemos que tomando una sucesin {fn } podemos extraer una subsucesin el cual converge uniformemente en los subconjuntos compactos a una funcin analtica f o a f = por tanto la familia F es normal
y por consiguiente tambin es normal la familia F .
Observacin 3.1. Sea F una familia de funciones en en el cual esta el punto
z = . Si la familia funciones G = {g (z) : g (z) = f (1/z) , f F} omite a y
b en el disco |z| < 1/R para algn R grande, entonces G es normal en dicha
vecindad luego por la definicin 3.3 se puede afirmar que F es normal en el
infinito.
Captulo 4
Funciones normales de
funciones meromorfas
Las familias normales de funciones meromorfas son estudiadas ms naturalmente con la mtrica esfrica. Algunos resultados de las funciones meromorfas,
tal como el TFN, son extradas de forma inmediata de las extensiones de los
casos analticos. La nocin de familias normales invariantes es introducidos, y
juega esto un rol importante en la discusin de funciones normales en el captulo
de Sistemas Dinmicos.
4.1.
Normalidad
Empezaremos con la siguiente definicin

Definicin 4.1. Sea F una familia de funciones meromorfas en C. Decimos que F es normal en , si para toda sucesin {fn } F contiene una
subsucesin la cual converge esfricamente normalmente en .
La funcin lmite de la definicin es una funcin meromorfa o idnticamente
igual a en esto es una consecuencia del corolario 4.1 que posteriormente
veremos. Ahora veamos un ejemplo donde la funcin lmite de f es idnticamente
a .
Ejemplo 4.1. Sea fn (z) = nz , n = 1, 2, 3, ... sobre U . Entonces cada fn es
meromorfa y {fn } converge esfricamente uniformemente a en U .
El teorema siguiente nos permitir tener una relacin entre entre convergencia esfricamente normal y la convergencia normal en . Adems este teorema
es usado frecuentemente en los temas sucesivos.
Teorema 4.1. Sea {fn } una sucesin de funciones meromorfas sobre un dominio C. Entonces {fn } converge esfricamente normalmente en a f si
y solo si, para cada z0 hay un disco cerrado D (z0 ; r) en el cual
75
76CAPTULO 4. FUNCIONES NORMALES DE FUNCIONES MEROMORFAS
|fn f | 0

1

1 0
fn
f
uniformemente
Demostracin. Primero Supongamos que para
cada z0 , existe un disco

cerrado D (z0 ; r) en el cual |fn f | 0 f1n f1 0 uniformemente en
dicho disco cerrado. Entonces dado un > 0, existe
un n0 N, tal que n n0
1

1
implica que |fn (z) f (z)| < fn (z) f (z) < par todo z D (z0 ; r).
Luego fn (z)y f (z) en el primer caso es diferente de infinito y el segundo caso son
diferente de cero, siempre que n > n0 , y z D (z0 , r). Ahora podemos aplicar la
proposicin 2.3 parte 4 y 5, que nos garantiza
(fn (z)

, f (z)) < |fn (z) f (z)|
1
1
en el primer caso o (fn (z) , f (z)) < fn (z) f (z) en el segundo caso, para
todo n n0 , con z D (z0 ; r). Luego se infiere que (fn (z) , f (z)) < ,
para todo z D (z0 ; r), siempre que n > n0 . Teniendo as que {fn } converge
esfricamente uniformemente a f en D (z0 ; r)y sin duda alguna tambin sobre
D (z0 ; r). Para terminar con esto, tomemos
S un compacto arbitrario K en y
cubramos K de la siguiente manera K
D (z; r), donde D (z, r) son discos
zK
abiertos en el cual {fn } converge esfricamente

uniformemente. Luego podemos
S
tomar un cubrimiento finito K
D (z; r) con finito y z K. Entonces para
z
cada z , podemos escoger un > 0, para luego encontrar un nz N, tal que

(fn (w) , f (w)) < para todo w D (z, r), siempre que n > nz . Si tomamos
n0 = S
max {nz : z }, entonces se cumple que (fn (w) , f (w)) < , para todo
w
D (z, r). Notamos que {fn } converge esfricamente uniformemente sobre
S z
D (z; r) y por ende tambin sombre K. Por tanto {fn } converge esfricamente
z
normalmente en .
Por ltimo, suponga que (fn , f ) 0 uniformemente sobre los subconjuntos
compactos. Luego para cada z0 , tenemos dos posibilidades para f (z0 ), que sea
infinito o no.
Caso (i) : f (z0 ) 6= . Como fn es meromorfa en C, entonces fn es
esfricamente continua en , esto es por la proposicin 2.13. Por hiptesis tenemos que {fn } converge esfricamente uniformemente sobre los subconjuntos
compactos de a f , en particular en un disco cerrado arbitrario D0 (z0 , r) en .
Ahora con estos resultados podemos aplicar la proposicin 2.20, que nos garantiza que la funcin lmite f de {fn }, es esfricamente continuamente uniforme
sobre el compacto D0 (z0 , r). Por tal es note que f es esfricamente continua
sobre D0 (z0 , r), y por ende es posible encontrar un disco suficientemente pequeo cerrado D (z0 , r), tal que la funcin f sea acotada, pues f (z0 ) 6= . Luego
como {fn } converge esfricamente uniformemente a una funcin acota f sobre
4.1. NORMALIDAD
77
D (z0 , r), podremos aplicar el teorema 2.1, que nos dice que la sucesin {fn }
converge uniformemente a f sobre el disco compacto D (z0 ; r). Esto termina
una parte de lo que queremos demostrar veamos el siguiente caso.
Caso (ii) : f (z0 ) = . Como en el caso anterior, como fn es meromorfa en
C, tenemos que su inversa gn = f1n tambin es meromorfa en . Adems
sabemos quen (f
on , f ) 0 uniformemente sobre los subconjuntos compactos de
1
, entonces fn converge esfricamente uniformemente sobre los subconjuntos
compactos de a la funcin
2 que nos dice (fn , f ) =
1
, pues esto es cierto por la proposicin 2.3 parte
f

f1n , f1 . Luego como f1 (0) = 0, entonces nos
encontramos en el primer caso, por tanto existe un disco D (z0 , r), tal que
converge uniformemente a
1
f
1
fn
sobre dicho disco, terminando as la demostracin.
Corolario 4.1. Sea {fn } una sucesin de funciones meromorfas en un dominio

C, el cual converge esfricamente normalmente en a f . Entonces f es
una funcin meromorfa sobre o f es idnticamente igual .
Demostracin. Supongamos primero que f 6 . Entonces es posible encontrar un z0 , tal que f (z0 ) 6= . Ahora que {fn } converge esfricamente
normalmente en y que f (z0 ) 6= , nos lleva al caso (i) del teorema, lo que
nos garantiza que existe un disco cerrado D (z0 , r) , tal que f sea acotada
y que {fn } converge uniformemente a f sobre dichos discos. Por otra parte la
convergencia uniforme de {fn } junto a que f es acotada en el disco D (z0 , r) se
mantiene en el abierto D (z0 , r), para luego aplicar el corolario 2.3, que nos dice
que f es analtica en D (z0 , r).
Como seguimos en el caso que f 6 , puede entonces ocurrir que existir
un z0 , tal que f (z0 ) = . Si este fuera el caso afirmamos que z0 , con
f (z0 ) = , es una singularidad aislada. En efecto, caso contrario z0 sera un
punto de acumulacin, es decir, podemos encontrar una sucesin {zn } en tal
que zn z0 , donde f (zn ) = . Entonces, que {fn } converge esfricamente
normalmente en y que f (z0 ) = ; nos lleva al caso (ii) del teorema, lo que
nos garantiza que existe un disco cerrado D (z0 , r) , tal que f1 es acotada
n o
y que f1n converge uniformemente a f1 , sobre dicho disco cerrado. Por otra
n o
parte la convergencia uniforme de f1n junto a que f1 es acotada ambas en
D (z0 , r), se mantiene en el abierto D (z0 , r), para luego aplicar el corolario 2.3
que nos garantiza, que f1 es analtica en D (z0 , r). Despus debido al teorema
de identidad, tenemos que f en D (z0 , r), pues f (z1n ) = 0 y zn z0 lo que
hace que f1 0 en D (z0 , r). Luego coleccionemos los z, tal que f (z) = en el
siguiente conjunto, denotado por S
S = {z : f (z) = } = f 1 ()
S 6= , pues estamos en el caso que existe un z0 , tal que f (z0 ) = . Probemos
ahora que S es cerrado, pues tomemos una sucesin {zn } S, tal que zn z 0

y supongamos que f (z 0 ) 6= . Entonces por lo visto en la primera parte de
este corolario, existe un disco abierto D (z 0 , r), tal que f es analtica sobre dicho
disco; pero para un n suficientemente grande, tenemos que zn D (z 0 , r), siendo
esto una una contradiccin , pues f (zn ) = . Por tal S es cerrado, pues z 0 S.
Ahora veamos que S es abierto, sea un z 0 S , entonces f (z 0 ) = , por lo
visto ms arriba, es posible garantizar la existencia de un disco D (z 0 , r) en el que
f sobre dicho disco, por tal z 0 es un punto interior de S afirmando as que
S es abierto. Entonces se afirma que S = , pues S, es abierto y cerrado en el
conexo . Esto afirma tambin que f (z) = , para todo z , lo que seria una
contradiccin a que f 6 . Por tanto z0 es un punto aislado, donde f (z0 ) = .
Esto afirma que el conjunto S es discreto; adems por lo visto anteriormente,
h
tenemos f1 es analtica en cada punto z1 S, es decir, (z z1 ) f (z) es analtica
en z1 , para algn h N y como f es analtica en todo z S, esto visto ms
arriba. Por tanto se concluye que f es Meromorfa.
Corolario 4.2. Sea {fn } una sucesin de funciones analticas sobre un dominio
C el cual converge esfricamente normalmente en a f . Entonces f es
una funcin analtica sobre o idnticamente igual a .
Demostracin. Por el corolario anterior f es meromorfa o idnticamente a .
Afirmamos que f en , si existe un z0 , tal que f (z0 ) = . En efecto,
suponga que f (z0 ) = para algn z0 . Nuevamente nos pone en caso (ii)
del teorema, teniendo como consecuencia, la existencia de un disco D (z0 ; r) en
el cual, f1n f1 uniformemente y f1 es acotada, para despus aplicar el corolario
2.3, lo cual nos garantiza que f1n y f1 es analtica, para n suficientemente grande
en dicho disco. Afirmamos que f1 0 en D (z0 ; r). En efecto, supongamos que f1
no es constante en D (z0 ; r). Como f1 es analtica en el disco D (z0 ; r), entonces
podemos aplicar el teorema de Hurwitz, que nos dice que f1 y f1n poseen el mismo
nmero de ceros en una vecindad suficientemente pequea V de z0 ; pero esto es
una contradiccin pues f1 posee al menos un cero ya que f (z1 0 ) = 0 , mientras que
1
fn no posee ceros en z , ya que fn (z) 6= por ser analtica, teniendo as que
1
1
fn (z) 6= 0, en todo z , para todo n N; luego f es constante en D (z0 ; r) y
1
1
como f (z0 ) = 0 tenemos que f 0 en D (z0 ; r), lo cual nos dice que f en
dicho disco D (z0 ; r). Por tanto aplicando el corolario anterior tenemos que f es
meromorfa o idnticamente a , pero como f no es meromorfa a razn de que
f en el disco D (z0 ; r) , entonces tenemos que solamente se cumple el
hecho de f en todo .
Si f 6 , entonces nos queda por el corolario anterior que f solo sera
meromorfa. Luego el conjunto S = {z : f (z) = } es vaci, caso contrario
podemos tomar un z S en el que f (z) = y por la primera parte del
corolario, tenemos que f , lo que seria una contradiccin. Entonces f no
tiene polos, siendo f analtica en todo .
Proposicin 4.1. Una sucesin {fn } de funciones analticas sobre un dominio
C converge normalmente en a f (el cual puede ser ), si y solo, si
{fn } converge esfricamente normalmente en a f .
79
Demostracin. De la hiptesis, deducimos que f es analtica por Weierstrass,

o simplemente f , en todo . Si f es analtica en , entonces para un
compacto cualquiera K y un > 0 existe un n0 = n0 (K, ) > 0, tal
que n > n0 implica que |fn (z) f (z)| < para todo z K; luego por
ser fn y f analticas podemos aplicar la proposicin 2.3 que nos dice que
(fn (z) , f (z)) |fn (z) f (z)|. De lo anterior inferimos que {fn } converge esfricamente uniformemente sobre K a f . Si f , entonces,
dado un

> 0, existe un n0 = n0 (K, ) > 0, tal que n>n0 implica que f1n (z) < , para
todo z K, note que
|fn (z)| en K; luego, es posible aplicarnuevamente

la proposicin 2.3, donde tenemos que (fn (z) , ) = fn1(z) , 0 f1n (z).
Entonces tenemos que {fn } converge esfricamente uniformemente sobre el compacto K a f . Por tanto {fn } converge esfricamente normalmente en a
f.
Recprocamente, Supongamos que {fn } converge esfricamente normalmente
en a f . Como {fn } son analticas, podemos aplicar el corolario 4.2, lo que nos
dice que f es analtica o f . Si f es analtica en , entonces para cualquier
compacto K , la funcin f es acotada sobre dicho compacto. Luego podemos
aplicar el teorema 2.1 , lo que nos dice que {fn } converge uniformemente en K,
por tanto {fn } converge normalmente a una funcin
n o analtica f . Si f ,
entonces por la proposicin 2.10, tenemos que f1n converge uniformemente
sobre cualquier compacto K a f1 0. Ahora aplicamos de nuevo el teorema
n o
2.1 que nos dice que f1n converge uniformemente a la funcin 0, luego por
la proposicin 2.9, tenemos que {fn } converge uniformemente a . Por tanto
{fn } converge normalmente a y con esto se termina la demostracin.
4.2.
Teorema de Montel
En la discusin de la normalidad de una familia de funciones meromorfas F,

el concepto de acotacin local no es suficiente para afirmar que dicha familia
sea normal, pues las funciones meromorfas en su mayora no son acotadas en su
totalidad. Sin embargo que la familia F sea de equicontinuidad esfrica puede
darnos lo necesario para tener el caso homlogo que se hizo en el captulo 2 para
el teorema de Montel.
Teorema 4.2. Una familia F de funciones meromorfas en un dominio C
es normal, si y solo, si F es esfricamente equicontinua en .
Demostracin. Comenzamos con el hecho de que F es normal y supongamos
que no es esfricamente equicontinua. Entonces existen un z 0 y un > 0,
tal que para cualquier n N es posible encontrar un z D z 0 , n1 y una funcin
f F, denotadas por zn y fn , que cumplen lo siguiente (fn (zn ) , fn (z 0 )) .
Formando as dos sucesiones, la primera es una sucesin {zn } que converge
a z 0 y la segunda es {fn } F , tales que
(fn (z 0 ) , fn (zn )) > , n = 1, 2, 3, .. .
(4.2.1)

Como F es normal, entonces {fn } posee una subsucesin {fnk } que converge
esfricamente uniformemente en los subconjuntos compactos de a f , en particular en un disco cerrado de centro z 0 contenido en , es decir D (z 0 , r) ,
note que existe un k0 N, tal que k > k0 implica que znk D (z 0 , r). Por
otra parte las funciones fnk , con k N, son esfricamente continuas ya que son
meromorfas. Entonces por lo anterior podemos aplicar la proposicin 2.20, que
nos garantiza que la sucesin {fnk } vista como familia {fnk : k N} es esfricamente equicontinua sobre D (z 0 , r), en particular en el punto z 0 , lo cual sera
una contradiccin con la ecuacin 4.2.1.
Antes de comenzar con el reciproco, veremos unas premisas (a) C es un
espacio mtrico con la mtrica cordal (b) C es compacto y por ende tambin
es completo (c)Toda sucesin {zn } C posee una subsucesin que converge a
un z C (d)el con junto Q + iQ es numerable y denso en C, por tanto para
cualquier abierto C posee un conjunto {zn } denso y numerable para .(e)
sea {zn } C , entonces {zn } converge esfricamente si y solo si {zn } es de
Cauchy.
Veamos ahora el reciproco, sea F una familia esfricamente equicontinua en
. Luego por (d) existe un conjunto Q = {zn } denso y numerable de . Ahora
tomemos una sucesin cualquiera {fn } en F y para el punto z1 construimos
la siguiente sucesin {fn (z1 )}nN0 =N en C, para as aplicar (c) la cual nos garantiza la existencia de una subsucesin {fn (z1 )}nN1 N0 , con min {N1 } 6 N0 ,
que converge en C; Ahora tomamos la sucesin {fn }nN1 y evaluando en z2 ,
se construye {fn (z2 )}nN1 y como esta en C, nuevamente por (c) , existe una
subsucesin {fn (z2 )}nN2 N1 , donde min {N2 } 6 N1 , que converge en C. As
seguimos sucesivamente, teniendo que la siguiente sucesin {fn }nNp converge
puntualmente en los puntos zi , con i = 1, 2, .., p. Luego tomamos el conjunto
Ndiag = {n N/n = min {N1 } , i = 1, 2, ...} el cual construye la siguiente sucesin {fn }nNdiag , la cual es la sucesin diagonal de {fn }nNp , que a su vez
converge puntualmente para cada zi , con i = 1, 2, ......
Sea K un compacto cualquiera en C, luego es posible encontrar un
abierto U de C, tal que K U , donde U es la cerradura de U , respecto a la
mtrica usual. Ahora como la familia F es esfricamente equicontinua sobre ,
entonces tambin lo ser sobre cualquier subconjunto compacto en . Luego por
la proposicin 2.19 tenemos que F es esfricamente equicontinuamente uniforme
sobre dicho compacto. Entonces para el compacto U se cumple lo siguiente: fijado
un > 0, existe un = , U > 0 tal que
(f (z) , f (z 0 )) <
, f F
3
siempre que z, z 0 U , con |z z 0 | < . En particular se cumple para cada

zi con i N y fj con j Ndiag . Luego cubrimos U por discos abiertos en
S
C de la siguiente forma U
D (zk , ), ya que {zn } = y como U es
zi QU
S
compacto, podemos extraer un cubrimiento finito, es decir, U
D (zk , ),
kJ
donde J finito, siendo adems que zi U . Luego sabemos que las sucesiones
81
{fn (zi )}nNdiag convergen esfricamente en C, para cada i N, entonces podemos aplicar aplicar (e) que nos asegura que {fn (zi )}nNdiag es una sucesin de
Cauchy, respecto a la mtrica esfrica, para cada zi , con i N. Es decir, para
zi , se fija un > 0, para el cual existe un n0,i = n0 (zi , ) N, tal que m, n n0
, con m, n Ndiag , implica que
(fn (zi ) , fm (zi )) <
,
3
en particular para los zi , con i J, ahora podemos tomar un

n0 = min {n0,i , con i J}, donde se observa que (fn (zi ) , fm (zi )) < 3 , siempre que m, n Ndiag , con m, n n0 , y i J. Finalmente por el cubrimiento
finito de U y por K U , entonces podemos escoger cualquier z K y encontrar un i J, tal que el disco z D (zi , ); es decir, |z zi | < , con z, zi U ;
luego para i J, m, n Ndiag , con m, n n0 , pasaremos a acotar lo siguiente
(fn (z) , fm (z)), veamos
(fn (z) , fm (z)) (fn (z) , fn (zi )) + (fn (zi ) , fm (zi ))
+ (fm (zi ) , fm (z))

+ +
3 3 3
=
Esto nos dices que {fn (z)}nNdiag es de Cauchy en K de manera uniforme pues
el n0 solo depende de K y no de cada punto z en K, y nuevamente por (e) tenemos que la sucesin {fn (z)}nNdiag converge esfricamente uniformemente en
K. Por tanto cualquier sucesin {fn } F posee una subsucesin que converge
esfricamente uniformemente en los subconjuntos compactos de , lo que nos
dice que la familia de funciones meromorfas F es normal en .
Un teorema parecido al TFN en el captulo 2, pero ms fuerte es el siguiente
teorema.
Teorema 4.3. Teorema fundamental de Normalidad Sea F una familia
de funciones meromorfas sobre un dominio el cual omite tres valores distintos.
Entonces F es normal en .
Demostracin. Sea el conjunto

c a f (z) b
G = g (z) =
.
:f F
c b f (z) a
Entonces G es una familia de funciones analticas en el cual omite los valores
0 , 1 tambin omite el . Por tanto del teorema TFN en el captulo 2 tenemos
que G es normal en la mtrica usual y consecuentemente en la mtrica esfrica y
como se defini la familia G como una correspondencia de un funcin de Mbius
tenemos que F es normal.
4.3.
Teorema de Marty
Teorema de Marty Una familia F de funciones meromorfas sobre un

dominio es normal si y solo si para cada subconjunto compacto de K ,
existe una constate C = C (K) tal que la derivada esfrica.
f # (z) =
|f 0 (z)|
2
1 + |f (z)|
C con z K, f F,
es decir, que f # es localmente acotada.

Demostracin. Supongamos que f # (z) es uniformemente acotada sobre subconjunto compactos de . Luego para un z0 arbitrario y cualquier > 0, es
posible encontrar un disco cerrado D (z0 ; r) y posteriormente encontrar una
constante C = Cz0 ,r , la cual cumple que f # (z) < Czo ,r , para todo z D (z0 ; r)
y todo f F. Por otro lado es posible construir = Cz ,r , con < r, variando
0
si fuera necesario Cz0 ,r cada vez ms grande; tal que |z z0 | < , implica que
(f (z0 ) , f (z)) , f F. En efecto, acotamos (f (z0 ) , f (z)) con los datos
anteriores y tomando un camino continuo recto que une z0 con z, tenemos
que
(f (z0 ) , f (z))
f # () |d| , f F
Czo ,r
|d| , f F
= Czo ,r |z z0 | , f F
< Czo ,r = , f F.
Teniendo as la equicontinuidad esfrica de la familia F en y por tanto se
tiene que F es normal.
Ahora veamos el reciproco el cual lo haremos por contradiccin, Comenzamos
del hecho que F es normal y haciendo la respectiva negacin de la tesis, tenemos
que existe un compacto K y para cualquier n N existe un z K y un
f F, denotados por zn y fn , que cumplen fn# (zn ) n. Vemos que la sucesin
fn# (zn ) converge a cuando n converge a . Ahora tomando dicha sucesin
{fn } F tenemos que existe una subsucesin {fnk } que converge esfricamente
en los subconjuntos compactos de a la funcin lmite f . luego alrededor de
cada z0 K existe un disco cerrado D (z0 , r) en el cual fnk f fn1 f1
k
uniformemente cuando n , esto es cierto por el teorema 4.1.
Veamos en el primer caso, la funcin f es analtica y acotada en D (z0 , r)
por el mismo teorema 4.1 del caso (i). Luego por el corolario 2.3 tenemos que
la familia {fnk } son analticas y uniformemente acotadas sobre D (z0 , r), para
un k suficientemente grande. Luego por el ejemplo 2.7, tenemos que fn#k
f # uniformemente sobre D (z0 , r). Como f # es continua en , entonces en el
4.3. TEOREMA DE MARTY
83

compacto D (z0 , r), f # es acotada y por el ejemplo 2.7, la familia fn#k es
uniformemente acotada sobre D (z0 , r) para un k suficientemente grande.
En el caso que fn1 f1 uniformemente sobre D (z0 , r), tenemos los mismos
k

#
#
#
resultados anteriores. Es decir, que fn1
f1
uniformemente, que f1

# k
1
es acotada y que la familia
es uniformemente acotada todos ellos sofnk
#
#

#
#
y (fnk ) = fn1
en D (z0 , r)
bre el disco D (z0 , r). Luego como (f ) = f1
k
podemos, concluirnque para

o cada z0 K existe un disco cerrado D (z0 , r) ,
#
tal que la familia (fnk )
es uniformemente acotada sobre dicho disco. Luego
S
K es cubierta por un discos como los anteriores, es decir, K
D (z0 , r) donzK
n
o
#
de en cada disco la familia (fnk )
es uniformemente acotada. Entonces se
n
o
#
puede extraer una cubertura finita donde la familia (fnk )
es uniformemente
acotada sobre dicha cobertura en especial sobre K lo cual es una contradiccin
pues fn#k (zn ) converge a cuando k converge a .
Definicin 4.2. Una familia F de funciones meromorfas es normal en cada
punto z , si F es normal en alguna vecindad abierta de z.
Proposicin 4.2. Una familia de funciones meromorfas es normal en un dominio C si y solo si F es normal en cada punto z .
Demostracin. Es obvio que si F es normal en C entonces es normal en
cada punto de .
Ahora veamos el reciproco. Sea F normal en cada punto z . Tomemos
cualquier compacto K , luego para cada z K, existe un disco abierto
D (z, rz ), tal que F es normal en dicho disco. Por el teorema de
Marty, existe
una constante Cz tal que f # (z) < Cz , para todo z D z, r2z y todo f F.
Posteriormente
pasamos a cubrir el compacto K, con estos discos, es decir K
D z, r2z ; para as extraer un subcubrimiento finito , denotado por K
zK

D z, r2z , con finito . Luego podemos tomar un CK = max {Cz : z }
z
y verificar que: f # (z) < CK , para todo z K y todo f F; pues K

D (z, rz ). Por tanto nuevamente por el teorema de Marty, decimos que F es
normal en .
Como en el caso de familias analticas normales en , podemos ahora definir
una familia F de funciones meromorfas normal en , de la siguiente manera:
Definicin 4.3. Sea F una familia
Decimos que F

de funciones meromorfas.
es normal en , si la familia G = g : g (z) = f z1
es normal en z = 0.
Definicin 4.4. Sea un abierto en en C, con . Decimos que F es
normal en , si F es normal de la forma usual en {} y F es normal en el
punto .

Proposicin 4.3. La familia F de funciones meromorfas es normal en el abierto de C si y solo si toda sucesin {fn }de F posee una subsucesin que converge
esfricamente uniformemente sobre los subconjuntos compactos K .
Proposicin 4.4. Sea R una funcin meromorfa en C , con 1 , 1 , en C
, entonces tenemos que:
1. Si {Rn } converge esfricamente

normalmente en una vecindad abierta de
1 = R () , entonces Rn+1 converge esfricamente normalmente en
alguna vecindad de .
2. Si {Rn } converge esfricamente

normalmente en una vecindad abierta de
1 R1 () , entonces Rn1 converge esfricamente normalmente en
alguna vecindad de .
Demostracin. Recuerde un disco de centro z y radio r en C, es de la forma
D (z, r) = {z : |z| < r}, si z C; caso contrario, es decir, z = , el disco se
entiende por D (, r) = {z : |z| > r} {}.
(1) Retomando la demostracin en el primer iten. Sea U la vecindad abierta
que contiene 1 , donde {Rn } converge esfricamente normalmente a una funcin
f sobre U . Luego para un disco cerrado K = D (1 , 1 ) U en C, se cumple
que fijado > 0, existe un n0 = n0 (, K) tal que para todo z K se tiene
(Rn (z) , f (z)) < , siempre que n > n0 . Note que tambin se cumple para
el conjunto abierto K0 = D (1 , 1 ). Adems podemos encontrar un tal que
D (1 , ) D (1 , 1 ). Por otra parte, como R es meromorfa sobre C entonces
R es esfricamente continua sobre C en particular R es esfricamente continua
en el punto z = . Esto ltimo nos dice que existe un disco abierto D (, )
de centro tal que R (D (, )) D (R () , ) y como R () = 1 , entonces
se cumple que R (D (, )) D (1 , ). Entonces para todo z D (, ) tenemos que R (z) D (1 , ), luego por lo anterior R (z) D (1 , 1 ) y por la
convergencia esfricamente uniforme, tenemos que (Rn (R (z)) , f (R (z))) < ,
siempre que n > n0 . En resumen existe un disco D (, ), donde para cualquier
> 0, existe un n0 = n0 () > 0 tal que para todo z D (, ) se tiene que
Rn+1 (z) , f R (z) < , siempre que n > n0 . Esto nos
dice
que existe un
n+1
disco D (, ) obviamente vecindad abierta de , tal que R
converge esfricamente uniformemente sobre dicho disco a f R , en particular sobre cada
compacto del disco D (, ) que es lo que termina la prueba de (1).
(2) Sea U la vecindad abierta que contiene 1 , donde {Rn } converge esfricamente normalmente
a una funcin f sobre U1 . Luego para un disco cerrado

K = D 1 , 1 U se cumple que para todo > 0, existe un n0 = n0 (, K)
tal que para todo z K se tiene (Rn (z) , f (z)) < , siempre que n > n0 .
Por otra parte para todo y R(K), existe un z, denotado por zy en K, tal que
R (zy ) = y , ahora esto nos permite definir la siguiente funcin
g : R (K)
C
y
7 f (zy )
4.3. TEOREMA DE MARTY
85
donde la funcin est bien definida pues sea zy 6= zy0 en K, tal que R (zy ) =

R zy0 = y, entonces tenemos que
lim Rn1 (y) = lim Rn1 (R (zy )) = lim Rn (zy ) = f (zy )

n
entonces tenemos que lim Rn1 (y) = f (zy ) lo mismo sucede con zy0 , es decir
n
n1
0
lim R
(y) = f zy por tal f (zy ) = f zy0 , entonces con esto la funcin g est
n
bien definida. Luego como para todo z K tenemos que (Rn (z) , f (z)) < ,
siempre que n > n0 . Entonces tomando cualquier y R (K) encontramos un
zy K que cumple R (zy ) = y y por lo anterior tenemos que (Rn (zy ) , f (zy )) <
, siempre que n > n0 y como se cumple la siguiente igualdad

Rn1 (y) , g (y) = Rn1 (R (zy )) , f (zy ) = (Rn (zy ) , f (zy ))

entonces tenemos que para todo y R (K) se cumple que Rn1 (y) , g (y) <
, siempreque n > n0 . Esto nos dice que existe un compacto R (K) tal que la
sucesin Rn1 converge esfricamente uniformemente
sobre dicho compacto.
En particular se cumple para K0 = R D 1 , 1 y para todos los subconjuntos compactos de K0 y como R es meromorfa aplicamos el teorema de la
aplicacin abierta que afirma que R (K0 ) es abierto y a su vez contiene a .
Por tanto

tenemos que existe una vecindad K0 abierta que contiene a tal que
Rn1 converge esfricamente normalmente sobre dicha vecindad.
Teorema 4.4. Sea D un dominio y supngase que las funciones 1 , 2 y
3 son analticas en D C tales que la clausura de los conjuntos j (D) son
mutuamente disjuntos. Ahora sea F una familia de funciones meromorfas en D,
tales que para cada z en D y cada f en F , f (z) 6= j (z), j = 1, 2, 3. Entonces
F es normal en D.
Demostracin. Para cada w en D definimos una aplicacin de Mbius gw , con
las siguientes condiciones
gw (0) = 1 (w) , gw (1) = 2 (w) , gw () = 3 (w)
Dado que la clausura de los conjuntos j (D) son mutuamente disjuntos respecto
a la mtrica , entonces esto nos garantiza la existencia de un nmero m > 0, tal
que (i (z) , j (z)) m para todo z D y todo par i, j, con i 6= j. Entonces
la familia G = {gw , w D} satisface
(gw (0) , gw (1)) m, (gw (1) , gw ()) m (gw () , gw (0)) m
para lo cual podemos aplicar el teorema 2.5 que nos dice que la familia G es
uniformemente de Lipschitz sobre C, con una constante denotada por M
Ahora tomemos una subfamilia FA = {f : A} de la familia F y luego
pasamos a definir la funcin F , como
1
F (w) = gw
f (w) =
(f (w) 1 (w)) (2 (w) 3 (w))

,wD
(f (w) 3 (w)) (2 (w) 1 (w))
(4.3.1)

note que F est formada por funciones analticas, donde en la parte del denominador jams toma el cero, por tal F es una funcin analtica en D, adems
dicha funcin no toma los valores 0,1 y . Entonces la familia{F , A} es
una familia de funciones analticas en D y no toma los valores 0,1 e , luego es
posible aplicar el teorema TFN que nos garantiza que la familia {F , A} es
normal en D.
Ahora tomemos una sucesin cualquiera {fn } de F y sea Fn definido como en
4.3.1, luego la sucesin {Fn } es normal en D. Entonces existe una subsucesin
{Fn }N1 N , que converge esfricamente uniformemente sobre los subconjuntos
compactos de D a una funcin analtica F . En particular para un compacto
K del abierto D, tenemos que dado cualquier > 0, existe un n0 = n0 (, K)
, siempre que n > n0 , con n N1 . Ahora sobre

tal que (Fn (w) , F (w)) < M
este mismo compacto K y sobre este mismo , acotaremos (fn (w) , gw (F (w))),
para todo w K
(fn (w) , gw (F (w)))
= (gw (Fn (w)) , gw (F (w)))

M (Fn (w) , F (w))
< , siempre que n > n0 , con n N1
1
la igualdad es razn que F (w) = gw
f (w), luego primera desigualdad se cumple ya que G = {gw , w D} es uniformemente de Lipschitz con constante M y
la ltima desigualdad es por la convergencia esfricamente uniforme de {Fn } a
F . Esto nos dices que la subsucesin {fn }nN1 converge esfricamente uniformemente sobre K. Por tanto para cualquier sucesin {fn } existe una subsucesin
que converge esfricamente uniformemente sobre los subconjuntos compactos K
de D , lo que nos dices que F es normal en D.
Con este ltimo teorema terminamos el captulo, el objeto de terminar este

teorema es que es utilizado para neutro trabajo principal.
Captulo 5
Sistemas Dinmicos
Una importante aplicacin de la teora de familias normales es el estudio de
las iteracciones de una funcin meromorfa(racional), dando lugar a un sistema
dinmicos discretos.
En este ltimo captulo investigaremos la naturaleza de los sistemas dinmicos discretos generados por una aplicacin meromorfa sobre C. Ahora la proposicin 1.32 menciona que toda aplicacin Meromorfa R sobre C es una aplicacin
racional sobre dicho domino, es decir:
R(z) =
P (z)
: C C, P (z) , Q (z) 6 0
Q (z)
Donde P (z) y Q (z) son polinomios con coeficientes complejos sin factores en
comn. Esto quiere decir que toda aplicacin meromorfa R se puede construir
por medio de dos polinomios nicos sin factores en comn, de ahora en adelante
nos referiremos a estos dos polinomios como P y Q para cada R.
Definicin 5.1. Sea una aplicacin meromorfa R sobre C y sea su forma raP
cional R = Q
, entonces definimos el grado de R como
deg (R) = max {deg (P ) , deg (Q)}
donde deg (P ) y deg (Q) son los grados de los polinomios P y Q respectivamente.
Es decir, si P se escribe de la siguiente forma P (z) = am z m + am1 z m1 + .. +
a1 z + a0 , con am 6= 0 y m N, entonces deg (P ) = m, es decir el grado del
polinomio P es m, siempre que m sea la mxima potencia de los trminos de P .
Ejemplo 5.1. En el caso que deg (R) = 1, se tiene estos tres casos:
87
88
CAPTULO 5. SISTEMAS DINMICOS
Caso 1. caso (1) R (z) =
az+b
c
,a, c 6= 0.
a
bz+c
, a, b 6= 0.
az+b
cz+d
, a, c 6= 0.
Los 3 casos anteriores son transformaciones de Mbius. De ahora en adelante

solo trabajaremos con las aplicaciones meromorfas R sobre C, con deg (R) 2.
Sea v, z0 en C y R meromorfa sobre C, si z0 es una raz de R (z)v, entonces
se cumple que R (z0 ) = v. Con estas caracterstica pasaremos a hacer la siguiente
definicin.
Definicin 5.2. Sea v, z0 en C y R meromorfa sobre C, con z0 raz de R (z)v.
Si z0 C, entonces definimos la multiplicidad de z0 como el orden de la raz
R (z) v en z0 ; si z0 = , entonces definimos la multiplicidad de z0 como el
orden de la raz de g (z) v en z = 0, donde g (z) = R (1/z); si z0 C, entonces
definimos la multiplicidad de z0 como el orden del polo de R (z) en z0 ; si z0 = ,
entonces definimos la multiplicidad de , como el orden del polo de la funcin
g (z) en z = 0 , donde g (z) = R (1/z).
Observacin 5.1. Sea R (z) una aplicacin meromorfa sobre C, entonces podemos reescribir R como el cociente de dos polinomios, es decir R (z) = p(z)
q(z) ,
donde p (z) = kp (z a1 ) ... (z am ) y q (z) = kq (z b1 ) ... (z bn ).
Si m > n, entonces R tiene en infinito una raz de multiplicidad m n. En
efecto, vemos que R () = , luego la funcin g (z) = R (1/z) queda como
kp (1za1 )...(1zam )
1
g (z) = zmn
kq (1zb1 )...(1zbn ) , donde se infiere que el orden del polo z = 0
en g es m n. Si n > m, entonces R tiene una raz en infinito de multiplicidad n m. En efecto, notemos que R () = 0, luego hacemos g (z) = R (1/z)
k (1za )...(1za )
donde luego queda expresado como g (z) = z nm kpq (1zb11 )...(1zbnm) , donde
se infiere que la raz de cero de g (z) tiene orden n m, por tal este viene a ser
su multiplicidad.
P (z)
una funcin meromorfa sobre C, donde
Proposicin 5.1. Sea R (z) = Q(z)
P y Q son sus respectivos polinomios sin factores en comn de grado m y n
respectivamente, adems am y bn son sus coeficientes en el trmino m y n
respectivamente de P y Q. Entonces el grado de R coincide con el nmero de
races contadas con multiplicidad en C de la ecuacin R (z) a = 0 donde a es
una constante arbitraria que cumple abm
6= a.
n
Demostracin. Escribimos a P, como P (z) = am z m + am1 z m1 + .. + a1 z + a0 ,

con am 6= 0 y m N y tambin escribimos a Q como Q (z) = bn z n + bn1 z n1 +
89
.. + bz + b0 , con bn 6= 0 y n N. As tenemos que
0
= R (z) a
P (z)
=
a
Q (z)
P (z) aQ (z)
=
Q (z)

(am z m a bn z n ) + am1 z m1 a bn1 z n1 + ...
,
=
an z n + an1 z n1 + .. + a1 z + a0

por tal se infiere que T (z) = (am z m a bn z n )+ am1 z m1 a bn1 z n1 +
... = 0, notemos que si m 6= n, entonces T posee grado max {m, n} y si m = n
entonces el grado de T es m, dado que abm
6= a. Siendo as que el grado del
n
polinomio T es el mximo entre m y n, por tal el nmero de races contadas con
multiplicidad de R coincide con el grado de R.
La siguiente definicin es muy importante, porque nos ayudar a resolver de
manera ms prctica mucho de los resultados que veremos, esta definicin es la
conjugacin por una transformacin de Mbius.
Definicin 5.3. Sea R (z) y S (z) dos funciones racionales sobre C. Entonces
decimos que R y S son analticamente conjugados si existe una transformacin
de Mbius M , tal que
S = M R M 1 para todo z C.
Nos referiremos en adelante a R y S como conjugadas(o conjugadas por M )
cuando stas sean analticamente conjugadas.
Proposicin 5.2. Sea R (z) y S (z) dos funciones racionales sobre C, conjugadas por una transformacin de Mbius M , entonces Rn y S n tambin son
conjugadas por M .
Demostracin. Probaremos por induccin, primero para n = 1 se cumple pues
por hiptesis se tiene que S = M R M 1 , ahora asumamos que para n = h
se cumple, es decir S h = M Rh M 1 , entonces verificaremos que tambin se
cumple para n = h + 1, en efecto,
h+1
S h+1 = M R M 1

h
= M R M 1 M R M 1

= M R M 1 M Rh M 1
= M Rh+1 M 1
90
La ltima igualdad es gracias a que la transformacin de Mbius cumple que

M 1 M (z) = z. Por tanto tenemos que S n = M Rn M 1 .
5.1.
Puntos peridicos.
Sea R una aplicacin meromorfa sobre C y z0 un punto en dicho plano

complejo extendido. Luego denotaremos a z0 = R0 (z0 ), tambin hacemos las
siguientes denotaciones
zn+1
= R (zn )
= R (Rn (z0 )) ,
n = 0, 1, 2, ..,
donde Rn = |R R {z
... R}
n veces
Definicin 5.4. Sea R una aplicacin meromorfa sobre C y z0 C. Entonces
1. Decimos que z0 es un punto peridico de R con periodo n N, si Rn (z0 ) =
z0 , donde su vez Rm (z0 ) 6= z0 , para cada 0 < m < n , m N. Si n = 1,
diremos que z0 es un punto fijo de R.
2. Si z0 no es peridico, pero alguna iteracin Rm (z0 ) es peridica, entonces
z0 es llamado preperidico.
Definicin 5.5. Sea R una aplicacin racional sobre C y z0 C. Entonces
llamaremos rbita hacia adelante de R en el punto z0 , al siguiente conjunto
m
O+
R (z0 ) = {z C/R (z0 ) = z,
m = 0, 1, 2, ..., ..}
Definicin 5.6. Sea R una aplicacin meromorfa sobre C y z0 en C. Entonces

llamaremos rbita hacia atrs de R en el punto z0 , al siguiente conjunto
m
O
R (z0 ) = {z C/R (z) = z0 ,
m = 0, 1, 2, ..., ..}.
Proposicin 5.3. Sea R una aplicacin meromorfa sobre C y z0 en C. Entonces

se cumple lo siguiente:
1. Si z0 es un punto peridico de R, con periodo n, entonces O+

R (z0 ) consiste
de n puntos.
2. Sea z0 un punto peridico de R con periodo n, entonces para cada z O+
R (z0 )
se garantiza que z es punto fijo de la aplicacin Rn .
3. Sea S la conjugada de R por la transformacin de Mbius M y Sea z0 un
punto peridico de R con periodo n. Entonces el punto a = M (z0 ) es un
punto peridico de S con periodo n.
5.1. PUNTOS PERIDICOS.
91
Demostracin. (1) Es obvio. (2) Sea z 0 O+

R (z0 ) entonces existe m con
0 m n 1 tal que z 0 = Rm (z0 ), entonces se desprende lo siguiente
Rn (z 0 )
=
=
=
=
=
Rn (Rm (z0 ))
Rm+n (z0 )
Rm (Rn (z0 ))
Rm (z0 )
z0
Esto ltimo nos dice que z 0 es un punto fijo de Rn .

(3) Sea S (z) = M R M 1 (z) entonces por la proposicin 5.2 se tiene
que S n (z) = M Rn M 1 (z) para todo n N. Luego como Rn (z0 ) = z0 y
M 1 (a) = z0 entonces se cumple lo siguiente para todo n N:
S n (a1 )
=
=
=
=
M Rn M 1 (a)
M Rn (z0 )
M (z0 )
a
por tanto a es un punto fijo de orden n para S.

Ejemplo 5.2. Considere la aplicacin R (z) = z 2 , entonces R (z) tiene exactamente tres puntos fijos 0, 1 y . Luego si 0 |z0 | < 1, entonces Or+ (z0 )
es una sucesin de puntos que converge al origen, es decir, lm (z0 ) n = 0. Si
1 < |z0 | < , entonces O+
R (z0 ) es una sucesin de puntos que converge siempre
al . Si |z0 | = 1, entonces Or+ (z0 ) se encuentra en el conjunto | {z| = 1} y
tiene una estructura variada dependiendo de z0 .
Definicin 5.7. Sea R una aplicacin meromorfa sobre C y z0 C un punto
peridico de R con periodo n. Definimos el multiplicador z0 de z0 como z0 =
0
(Rn ) (z0 ) para z0 C y z0 = (Rn )10 (z0 ) , si z0 = . En el caso de ambigedad
por otra aplicacin diferente, denotaremos el multiplicador z0 de R por z0 ,R .
peridico de R de periodo n y su respectivo multiplicador, entonces se define
lo siguiente.
1. Si 0 < || < 1, decimos que z0 es un punto fijo atractor.
2. Si = 0 , decimos que z0 es un punto fijo superatractor.
3. Si || > 1, decimos que z0 es un punto fijo repul sor.
4. Si || = 1, decimos que z0 es un punto fijo indiferente.
92
Proposicin 5.4. Sea R una aplicacin meromorfa sobre C y z0 un punto

peridico de R con periodo n. . Entonces se cumple lo siguiente:
1. El multiplicador z0 es invariante por conjugacin. Es decir, si M es una

transformacin de Mbius y S = M R M 1 , con M (z0 ) = a, entonces
se cumple que z0 ,R = a,S
+
2. Si z O+
R (z0 ) entonces z = z0 . Es decir, depende solo de O R (z0 ) y
no de z0 .
Demostracin. (1) Primero, veamos el caso en que z0 6= y que M (z0 ) = a,

donde a C. Por la parte de 3 de la proposicin anterior se tiene que que a es
un punto peridico de S de periodo n. Ahora pasaremos a hallar a,S , teniendo
en cuenta que M y R son analticas en z0 , veamos:
0
a,S = (S n ) (a)

0
= M 0 Rn M 1 (a) (Rn ) M 1 (a)
M0
1
(M 1 (a))
= M 0 (z0 ) (Rn ) (z0 ) M 01(z0 )

0
(Rn ) (z0 ) = z0 ,R
Esto nos dice que z0 ,R = a,S en el primer caso. Ahora veamos el segundo
caso, cuando z0 = y M (z0 ) = a, con a C. Note nuevamente que por la
proposicin anterior a es un punto peridico de S de periodo n, adems S n es
analtica en dicho punto, pues S es meromorfa y S n (a) = a C. Luego para un
z muy cercano al valor de a se cumple lo siguiente:

0
0
(S n ) (z) = M 0 Rn M 1 (z) (Rn ) M 1 (z)
M0
1
(M 1 (z))
(5.1.1)
Note que S n (a) = lm S n (z), por tal haremos el siguiente cambio de lmite
za

M w1 = z, donde z 0 siempre que w 0, entonces, luego la ecuacin 5.1.1
queda de la siguiente forma

1
1
1
n 0
n 0
0
n

(S ) (a) = lm M R
(R )
(5.1.2)
0
w
w
w0
M w1
z+b0
Por otro lado, M puede ser vista como M (z) = ac00z+d
, siendo ac00 = a. Adems
0
0
a0 d0 b0 c0
vemos que M (z) = (c z+d )2 entonces la expresin 5.1.2 queda de la siguiente
0
5.1. PUNTOS PERIDICOS.
93
forma
n 0
(S ) (a)

1
n 0
= lm (R )
w
w0

1
n 0
= lm (R )
w
w0
!2

c0 w1 + d0

c0 Rn w1 + d0
!2
1
c0 + d0 w

w2
c0 Rn w1 + d0
(5.1.3)

por otro lado Rn w1 es una aplicacin con polo en w = 0, entonces existe
una funcin h analtica en una vecindad V de cero, con h (0) 6= 0, tal que

n
Rn w1 = h(w)
wm en V , donde m es el orden del polo. Ahora derivamos R
0
[Rn ]

m 0

1
w h (w) mwm1 h (w)
= w2
w
w2m
(5.1.4)
luego llevando este resultado a la ecuacin 5.1.3, tenemos lo siguiente

0
(S n ) (a)
m 0

2
w h (w) mwm1 h (w)
1
(c0 + d0 w)
lm w2
(c0 h(w)+d0 wm )2
w2m
w2
w0
w2m
!#
"
wm h0 (w) mwm1 h (w)
2
(c0 + d0 w)
= lm
2
w0
(c0 h (w) + d0 wm )
=
1
Ahora si m = 1, se tiene que (S n ) (a) = h(0)
y si m > 1, se tiene que
0
(S n ) (a) = 0. Ahora no-te que en la ecuacin 5.1.4,

se cumple lo mismo, es
0
decir si m = 1 se tiene que (Rn ) () = lm [Rn ] w1 = h (0) y para m > 1 se
w0

0
tiene que (Rn ) () = lm [Rn ] w1 = . lo que concluye nuestra prueba
w0
(S n ) (a) =
1
0
(Rn ) ()
(2) En efecto, primero supongamos que

/ O+
R (z0 ), note que la aplicacin
+
R es analtica en cada punto de OR (z0 ), por ser estos finitos y R meromorfa.
Ahora sea z = Rm (z0 ), con m N, entonces

0
z = (Rn ) (z) = R0 Rn1 (z) R0 Rn2 (z) ...R0 Rnn (z)

Note que Rn1 (z) , Rn1 (z) , ..., z = z0 , R1 (z0 ) , R2 (z0 ) , ..., Rn1 (z0 ) , por
0
tal (Rn ) (z) es independiente de cada m esto nos dice que z = z0 , para todo
z O+
R (z0 ).
En el caso que O+
/ O+
R (z0 ) se tomar un a0 6= y b0
R (z0 ) y una
1
1
transformacin de Mbius M , tal que M (a0 ) = y M () = b0 , entonces
1
la rbita O+
no contiene al infinito, pues caso contrario
S (a0 ), con S = M RM
94
existira un m N, tal que

= S m (a0 )
= M Rm M 1 (a0 )
= M Rm () ,
es decir b0 = M 1 () = Rm () O+
R (z0 ) lo que es una contradiccin. Luego
como la rbita O+
(a
)
no
posee
al
infinito,
entonces estamos en el caso anterior
0
S
de (2) que nos garantiza que am ,S = a0 ,S , con am = Rm (a0 ), luego por la
parte (1) tenemos que zm ,R = am ,S , para cada m N, donde zm = Rm ()
y a = M (Rm ()) en cada m N. Por tanto z0 ,R = a0 ,S , z1 ,R = a1 ,S =
a0 ,S ,...,zn1 ,R = an1 ,S = a0 ,S , terminando as la prueba.
Con esta proposicin es posible hacer la siguiente definicin:
Definicin 5.9. Sea R : C C una aplicacin meromorfa y z0 un punto sobre
+
C. Decimos que la rbita OR
(z0 ) es atractora, si |z0 | < 1; es superatractora ,
si |z0 | = 0 o es repulsora si |z0 | > 1.
Definicin 5.10. Sea z0 C un punto peridico y R una aplicacin mero+
morfa sobre C, luego denotaremos por al conjunto OR
(z0 ). Llamaremos ciclo
atractor al conjunto si este posee un punto atractor; se llamar al conjunto
ciclo superatractor si el conjunto posee un punto superatractor; se llamar al
conjunto ciclo repulsor, si dicho conjunto posee un punto repulsor; se llamar
ciclo indiferente al conjunto si dicho conjunto posee un punto indiferente.
5.2.
El conjunto de Julia y Fatou.
En esta seccin requeriremos ciertas propiedades sobre las funciones analtica

y ciertos aspectos de la teora de funciones analticas y meromorfas ya vistos en
captulos anteriores.
Definicin 5.11. Sea R una funcin meromorfa en C. Entonces definiremos
el conjunto de Julia en R, como la coleccin de todos los puntos C, tal
que la familia {Rn (z) : n N} no es normal en el punto , a dicho conjunto lo
denotamos por JR , es decir:

JR = C : {Rn (z) : n N} no es normal en
Definicin 5.12. Sea R una funcin meromorfa en C. Entonces definiremos el
conjunto de Fatou en R , denotado por FR , como:
FR = C JR
5.2. EL CONJUNTO DE JULIA Y FATOU.
95
Proposicin 5.5. Sea R una funcin meromorfa sobre C, entonces se cumple

lo siguiente:
1. Para cada punto FR hay un abierto N F , donde la familia

{Rn (z) : n N} es normal .
2. FR es un conjunto abierto y JR es un conjunto cerrado.
Demostracin. (1) Como FR , entonces

/ JR , es decir, {Rn (z) : n N}
es normal en en el punto , luego por la definicin 4.2 tenemos que que existe
un abierto N que depende de , en la cual la familia {Rn (z) : n N} es normal sobre dicho abierto, luego por la proposicin ( ) inferimos que la familia
{Rn (z) : n N} es normal en cada punto y N , esto nos dice que y
/ JR , por
tal N FR .0
(2) FR es abierto,dado que lo anterior nos dice que todos sus puntos de FR ,
son puntos interiores, por tanto JR es cerrado.
Ejemplo 5.3. Sea R : C C, donde R (z) = z 2 . Si |z0 | < 1, entonces existe

un nmero rz0 > 0, tal que el disco D = D (z0 , rz0 ) {z : |z| < 1}, luego
por el ejemplo 5.2 se infiere que la sucesin {Rn (z)} converge esfricamente
normalmente sobre D a la funcin 0, por tanto {|z| < 1} FR . De igual forma
si |z0 | > 1, entonces en cualquier disco D = D (z0 , r) C {z : |z| < 1},
la familia {Rn (z)} converge esfricamente normalmente sobre D a la funcin
idnticamente infinito, por tanto {z > 1} FR . Luego para |z0 | = 1 no hay
disco sobre z 0 en el cual la familia {Rn (z) : n N} sea normal en dichos discos.
Entonces el conjunto {|z| = 1} = JR es el conjunto de Julia para R, ya que FR
es todo C salvo {|z| = 1} .
Proposicin 5.6. Sea R una aplicacin meromorfa sobre C y M una transformacin de Mbius cualquiera, entonces para S = M R M 1 , se cumple lo
siguiente: FR si y solo si M () FS .
Demostracin. Sea FR , entonces la familia {Rn : n N} es normal en el
punto , es decir por definicin , existe una vecindad abierta de , en el cual
la familia {Rn : n N} es normal sobre , luego
es una transformacin
ncomo M

1
M
: n N es normal en
de Mbius. Entonces por
demostrar
que
F
=
R
n

M (). En efecto, sea R i M 1 iN una sucesin cualquiera de funciones de
96
la familia F, luego la sucesin {Rni }iN posee una subsucesin {Rni }iA , con
A N, tal que converge esfricamente uniformemente a R en los subconjuntos
compactos de . Ahora sea K un compacto de M 1 (), entonces M (K) es
un compacto de , luego todo a K se escribe como a = M 1 (xa ) , con
xa M (K), por tanto para todo a K, se tiene que

Rni M (a) ; R M (a) = Rni M M 1 (xa ) ; R M M 1 (xa )

= Rni (xa ) ; R (xa )
(5.2.1)
adems de la convergencia esfrica normal de {Rni }iA , tomamos un > 0 , para

as encontrar un n0 N, tal que si n > n0 implique que Rni (xa ) ; R (xa ) < ,
para todo x0 en elcompacto M
(K). Por
tanto de la ecuacin 5.2.1, tenemos
que la subsucesin Rni M 1 iA de Rni M 1 iN converge esfricamente
1
sobre cualquier compacto K en
a la la funcin R M 1 .
M1 ()
n
Por
demostrar
que
F
=
M
R
:
n N es normal en . En efecto,

1
ni
sea M R iN una sucesin de funciones de F . Note que la sucesin
{Rni }iN posee una subsucesin {Rni }iA que converge normalmente en , es
decir Rni R uniformemente en todos los compactos K de , ahora como M

es un una transformacin de Mbius , entonces M es esfricamente continua, es
decir continua con la mtrica
esfrica , por tanto por espacios mtricos tenemos
que M 1 (Rni ) M 1 R uniformemente en cada compacto K de .

Por tanto la familia M Rn M 1 : n N es normal sobre M () que es
una vecindad abierta de M (). El recproco es de la misma manera, aprovechando el biholomorfismo de M .
Teorema 5.1. Sea R : C C es una aplicacin meromorfa y z0 un punto de

C.
(i) Si Or+ (z0 ) es una rbita peridica atractora (superatractora), entonces
Or (z0 ) FR .
(ii) Si Or+ (z0 ) es una rbita peridica repulsora, entonces Or+ (z0 ) JR .
+
Demostracin. (i) Primero supongamos que z0 6= es un punto fijo atractor.

Luego pasaremos a mostrar que Or+ (z0 ) FR , note que Or+ (z0 ) = {z0 }, pues
z0 es un punto fijo de R, siendo adems por la hiptesis z0 un punto atractor,
entonces R0 (z0 ) = z0 < 1. Luego por la definicin de derivada de R en el punto
z0 es posible escoger un (z0 , 1) y a su vez encontrar un disco D = D (z0 , r)
tal que

R (z) R (z0 )

< , para todo z D, con z 6= z0 .

z z0
(5.2.2)
97
Luego vemos que para todo z D se cumple lo siguiente
|R (z) R (z0 )| = |R (z) z0 |

<
|z z0 |
<
<
r.
(5.2.3)
La primera igualdad la obtenemos de saber que z0 es un punto fijo de R. La

primera desigualdad es razn de la desigualdad en 5.2.2. La segunda desigualdad
se debe a que z D, es decir, que |z z0 | < r y la tercera desigualdad es a
razn de < 1. Luego Inferimos de la ecuacin 5.2.3 que R (D) D. Ahora
probaremos por induccin que |Rn (z) z0 | < n r en z D, para todo n N.
Para n = 1 es vlido por la ecuacin 5.2.3, ahora supongamos que para n = h es
vlido, ahora pasaremos a probar que se cumple para n = h + 1. En efecto, por

hiptesis tenemos que Rh (z) z0 < h r en todo D, adems < 1, entonces
h

R (z) z0 < r, es decir Rh (z) D . Luego aplicamos la desigualdad 5.2.2
para Rn (z) D y dado que z0 = R (z0 ), se tiene lo siguiente

R Rh (z) z
0

Rh (z) z0

R Rh (z) R (z )
0

=

Rh (z) z0
<
Ahora de esta desigualdad junto a la hiptesis inductiva tenemos lo siguiente
h+1

R
(z) z0 <
<

Rh (z) z0

h r
= h+1 r.
Obteniendo la afirmacin de la hiptesis inductiva.
Por otra parte es sabido por los nmeros reales que dado un > 0 y un
< 1, existe un n0 N, tal que para cada n > n0 , se verifica que n r < ,
luego junto con la parte inductiva implicar que |Rn (z) z0 | < para todo
z D, siempre que n > n0 , adems recuerde que (Rn (z) , z0 ) |Rn (z) z0 |,
para todo z D C. As se obtiene la afirmacin en que {Rn } converge esfri-
98
camente uniformemente en D a z0 . Ahora tomemos una sucesin cualquiera de

la familia {Rn : n N} entonces a dicha sucesin la denotamos por {Rni }iN ,
si A = {ni : i N}es finito encontraremos un ni0 elemento dentro de A que se
repite infinitas veces, por ello es posible encontrar una subsucesin {Rni }iN N ,
tal que converge esfricamente a Rni0 ; ahora si A es infinito es posible encontrar
una subsucesin {Rni }iN N de {Rni }iN , tal que para todo j, i N se tiene que
ni < nj , siempre que i < j. Entonces como {Rni }iN N es una subsucesin de
{Rni }iN , tenemos que {Rni }iN converge esfricamente uniformemente sobre
D y en particular converge esfricamente uniformemente sobre cualquier compacto K D, por tal la familia {Rn : n N} es normal en D y por consiguiente
z0 FR . De lo ltimo tenemos que {z0 } = Or+ (z0 ) FR .
Continuando con la demostracin, supongamos que el punto atractor z0 esta
contenido en C y es de orden m para R. Entonces es posible definir S = Rm
sobre C, luego por la parte anterior la familia {S n : n N} = {Rnm : n N}
+
es normal en cada punto zi OR
(z0 ). Ahora terminemos la demostracin ha+
cindola por contradiccin, suponiendo que OR
(z0 ) no est contenida en FR ,
+
0
entonces existe un punto z en OR (z0 ) tal que la familia {Rn : n N} no es
+
+
normal en dicho punto. Note que OR
(z 0 ) = OR
(z0 ), por tal denotaremos a este
0
punto z como z0 , solo por fines prcticos y de de notacin. Entonces para toda
vecindad abierta D de z0 , la familia {Rn : n N} no es normal en D, es decir,
que para todo D existe una sucesin {Rni }iN de {Rn : n N}, tal que no posee
subsucesin alguna que converge esfricamente normalmente en D. Luego existe un j {0, 1, .., m 1}, tal que el conjunto {i N : ni j modm}, denotado
por Aj , es infinito, caso contrario la sucesin {Rni }iN tendr una subsucesin
convergente esfricamente normalmente . Dado que {Rni }iN no posee subsucesiones que convergen esfricamente normalmente, entonces la subsucesin
{Rni }iAj de {Rni }iN , tampoco posee subsucesiones que convergen esfricamente normalmente sobre D. Ahora observe que la subsucesin {Rni }iAj de

{Rni }iN est en la familia Rnm+j : n N , pues ni Zm + j, con i Aj , Por
n
otro lado como {(Rm ) : n N} es normal en
zj = R (zj1 ), entonces por la
proposicin (*), tenemos que Rmn+1
:
n
N
es
normal en zj1 y as sucesiva
mente hasta tener que la familia Rmn+j
:
n
N
sea
normal en z0 . Entonces

la sucesin {Rni }iAj de la familia Rmn+j : n N , posee una subsucesin
que converge esfricamente normalmente en algn disco D0 , que contiene a z0 ,
a una funcin meromorfa, lo que es una contradiccin, pues {Rni }iAj no posee
subsucesin alguna que converge esfricamente normalmente sobre ningn disco
abierto D. Por tanto Or+ (z0 ) FR , terminando as la demostracin.
Consideremos ahora el caso z = . Tomemos una transformacin de Mbius
M tal que M () = a, luego S (z) = M R M 1 (z) es una conjugada de
R. Como el multiplicador es invariante por conjugacin entonces se tiene que
,R = a,S < 1. Luego por lo anterior tenemos que {S n (z) : n N} es normal
en algn disco D centrado en a. Dado que Rn (z) = M 1 S n M (z), donde
99
M es un biholomorfismo,y debido a la proposicin 5.6 se obtiene que la familia

{Rn (z) : n N} es normal en una vecindad de z = . Por tanto esto nos dice
Or+ (z0 ) FR .
(ii) Primero supongamos que z0 6= es un punto fijo de R repulsor, entonces
se probar que Or+ (z0 ) = {z0 } est contenida en FR . Primero afirmaremos que
0
[Rn (z0 )] = (z0 ) , n N
(5.2.4)
En efecto, para n = 1 se cumple por la hiptesis pues R0 (z0 ) = z0 . Ahora

asumiremos que es cierto para n = h, para luego probar que tambin es vlido
para n = h + 1, veamos
h+1
0
R
(z0 )

0
= R0 Rh (z0 ) Rh (z0 ) , regla de la cadena
n
= R0 (z0 ) (z0 ) , por hip de induccin

h
= z0 (z0 ) , remplazando R0 (z0 ) = z0

=
h+1
(z0 )
Esto termina con nuestra afirmacin.

Ahora supongamos que {Rn (z) : n N} es normal en algn disco D (z0 , r).
Luego tomemos la sucesin {Rn } de la familia {Rn (z) : n N}, entonces dicha
sucesin posee una subsucesin {Rni }iN que converge esfricamente unifor
memente a una funcin meromorfa R , sobre el compacto D z0 , 2r . Note que
R (z0 ) = z0 C, ya que z0 = Rn (z0 ), para todo n N, entonces podemos encontrar un r00 < r, tal que R es analtica sobre el disco cerrado D0 = D0 (z0 , r0 0 )
y por ende R es acotada sobre dicho disco D0 . Luego por la proposicin 2.3 parte
(a) garantiza la existencia de un M y un i0 N, tal que:
|Rni (z)| < M , si i > i0 y z D0 .
Siendo posible aplicar la desigualdad de Cauchy en el punto z0 D0 , y junto a
la ecuacin 5.2.4 se obtiene lo siguiente
ni
(z0 )
n
= [Rni (z0 )] =<
M
, si i > i0 .
r00
Es decir, (z0 ) i es uniformemente acotado, adems por hiptesis, se sabe que

|z0 | > 1 y por propiedad de los nmeros reales, existe un ni0 , con i0 > i0 , tal
n
que |(z0 )| i0 > M
r00 , siendo esto una contradiccin. Teniendo as que la familia
{Rn : n N} no es normal en z0 , Por lo tanto la rbita {z0 } = Or+ (z0 ) est en
100
JR .
Ahora supongamos que el punto repulsor z0 est en C y es un punto peridico de R de orden m. Supongamos el caso en que la familia {Rn : n N}
es normal en algn disco D (z0 , r0 ). Luego por el caso anterior tenemos que
la familia Fm = {Rnm : n N} no es normal en todo disco abierto, pues z0
es un punto fijo repulsor de Rm , en particular familia Fm , no es normal en
D (z0 , r0 ). Por tal existe una sucesin {Rmni }iN en la familia Fm , tal que no
posee subsucesin alguna que converge esfricamente normalmente en D (z0 , r0 ).
Note que la sucesin {Rmni }iN tambin es una sucesin de la familia normal
{Rn : n N} en D (z0 , r0 ), entonces se desprende el hecho de que la sucesin
{Rmni }iN , posee una subsucesin que converge esfricamente normalmente en
el disco D (z0 , r0 ), siendo as una contradiccin, pues la sucesin {Rmni }iN no
tena subsucesin alguna que converge esfricamente normalmente. Por lo cual
+
{Rn : n N} no es normal en z0 , lo mismo suceder para cada zi OR
(z0 ),
+
+
+
pues OR (z0i ) = OR (z0 ). Por tanto OR (z0 ) JR .
Consideremos ahora el caso, en que z0 = . Tomemos una transformacin de
Mbius M tal que M (z0 ) = a , luego S (z) = M R M 1 (z) es una conjugada
de R. Como el multiplicador es invariante por conjugacin entonces se tiene
que ,R = a,S < 1. Luego por lo anterior tenemos que {S n (z) : n N} no
es normal en todo disco D centrado en a. Dado que Rn (z) = M 1 S n
M (z) con M biholomorfismo y aplicando la proposicin 5.6, se obtiene que
{Rn (z) : n N} no es normal en toda vecindad abierta de z = . Por tanto
esto nos dice Or+ (z0 ) JR .
Definicin 5.13. Sea R : C C una aplicacin meromorfa y z0 C un punto
fijo de R, atractor. Definiremos la cuenca atractora de z0 en R, denotado por
AR (z0 ), al siguiente conjunto.

z C : Rn (z) z0 cuando n
Proposicin 5.7. Sea R : C C una aplicacin meromorfa y z0 C un punto

fijo atractor de R. Entonces el conjunto AR (z0 ) es abierto.
Demostracin. Probaremos que todos sus puntos de A (z0 ) son puntos interiores. En efecto, Como z0 es un punto atractor fijo de R , entonces por por la
proposicin anterior se deduce que existe un disco D (z0 , r0 ), tal Rn (z) z0
uniformemente sobre dicho disco. Ahora sea z 0 A (z0 ), entonces por definicin
de este conjunto, existe un n0 N, tal que Rn (z 0 ) D (z0 , r0 ). Luego por la continuidad esfrica de Rn , podemos dar un > 0, con D (Rn (z 0 ) , ) D (z0 , r0 ) y
a su vez encontrar un disco D (z 0 ; ), tal que Rn (D (z 0 ; )) D (Rn (z 0 ) , ). Lo
anterior nos dice que D (z 0 , ) est contenido en A (zo ), por tal queda probado
que z 0 es un punto interior y por tanto A (z0 ) es abierto.
5.3. PUNTOS EXCEPCIONALES.
101
En general este conjunto A (z0 ) consiste de un nmero contable de dominios

abiertos. Note que estos dominios contienen todos los puntos z cuya rbita
reenviadora, Or+ (z), se aproximan a z0 , como tambin estn incluida la rbita
hacia atrs , OR
(z0 ) .
Note que z0 AR (z0 ), pues Rn (z0 ) = z0 , para todo n N y como AR (z0 )
es abierto entonces existe una componente conexa abierta que contiene a z0 , por
lo cual se hace posible la siguiente definicin.
fijo atractor de R. Entonces definimos la inmediata cuenca atractora, denotada
por AR (z0 ), a la componente conexa de AR (z0 ) que contiene a z0 .
+
peridico atractor(superatractor) de R, de periodo m y OR
(z0 ) su respectiva rbita peridica, denotada por . Entonces definimos la inmediata cuenca
atractora de , denotada por A (), al siguiente conjunto.
m1
S
A (zi , Rm )
i=0
Donde A (zi , R ) denota a la inmediata cuenca atractora ARm (zi ), del punto
fijo zi de la aplicacin Rm , pues

+
zi OR
(z0 ) = z0 , z1 = R (z0 ) , ...., zn1 = Rm1 (z0 )
m
.
Proposicin 5.8.
5.3.
Puntos Excepcionales.
Una inmediata consecuencia de el F.N.T es la proposicin 5.9. Antes veamos

la siguiente definicin.
Definicin 5.16. Sea R una funcin meromorfa sobre C y una vecindad
en C. Entonces llamaremos conjunto de puntos excepcionales de R sobre ,
denotado por ER, , al siguiente conjunto
ER, = C
Rn () .
n1
Proposicin 5.9. Sea R una funcin meromorfa sobre C y JR . Si es

una vecindad arbitraria de , entonces el conjunto ER, contiene a lo ms dos
puntos.
102
Demostracin. Sea una vecindad arbitraria de . Como JR , entonces la

n
familia {R|
: n N} no es normal en el punto . Luego por el TFN, la familia
n
{R| : n N} a lo ms omite dos valores sobre C, es decir: Se presentan 3 casos,
los cuales
S n son
(1)
R () =C , entonces para este caso inferimos que
n1
ER, = C
Rn () =
n1
(2)
Rn () =C{a} para un a C, entonces para este segundo caso inferimos
n1
que
ER, = C
Rn () = {a}
n1
(3)
R () =C {a, b} para dos puntos distintos a, b C, entonces para este
n1
segundo caso inferimos que

ER, = C
Rn () = {a, b} .
n1
De estos tres ltimos casos se infiere que E contiene a lo ms 2 puntos distintos.

Definicin 5.17. Sea R una funcin meromorfa sobre C y JR , entonces
definimos el siguiente conjunto ER, , como :
[
ER, =
ER,
Donde la unin se extiende sobre todas la vecindades de .
Proposicin 5.10. Sea R una funcin meromorfa sobre C y JR . Entonces
se cumple :

1.C ER, = z C : vecindad de , existe un z1 y z O+
R (z1 )
2. Si 1 2 , entonces ER,2 ER,1 .
3. 0 n (ER, ) 2
4. ER, es independiente de las vecindades de , para todo suficientemente pequeo.
Demostracin. (1) Es sabido que JR , por tal ER, es como la definicin
anterior. Ahora tomemos un w C ER, , es decir; w
/ ER, lo que por
definicin significara que w
/ ER, para toda
vecindad
de ; que tambin,
S
por definicin de ER, , significa que w Rn () en toda vecindad de ;
que es lo mismo que decir que en toda vecindad de , existe un z1 ,
n
tal
que w = R (z1 ) para algn n N. Lo que +termina
de decir que w
z C tal que existe z1 vecindad de y z OR (z1 ) .
(2) Sea 1 y 2 vecindades cualquiera de , tal que 1 2 S
, entonces se
tiene que Rn (1 ) Rn (2 ) , para todo n N, luego note que
Rn (1 )
n1

S
Rn (2 ) y por propiedad de inclusin tenemos que C
n1
S
103
S
Rn (2 ) C
n1
Rn (1 ). Esto ltimo significa que E2 E1 , terminando as la demostra-
n1
cin.
(3) Supongamos que n (E,R ) 3. Luego sean z1 , z2 y z3 tres puntos diferentes entre s de E,R . Entonces existen E1 , E2 y E3 que contienen a z1 , z2 y
z3 respectivamente, donde 1 , 2 y 3 son vecindades de de . Ahora intercepT
T
temos estas 3 vecindades = 1 2 3 . Luego como 1 , 2 , 3 se
infiere que E contiene a z1 , z2 y z3 , dado que (2) nos garantiza que Ei E ,
para cada i = 1, 2, 3. Por tanto n (E ) 3 lo cual contradice la proposicin 5.9
(4) De acuerdo a la parte (2) tenemos que E,R = , {z1 } o {z1 , z2 } .Si
E,R = , entonces para toda vecindad de se tiene que E = 0, caso contrario al existir un E 6= 0, E,R dejara de ser vaco y por tal una contradiccin.
Luego si E,R = {z1 }, entonces existe una vecindad de , tal que z1 E ,
ahora tomemos una vecindad cualquiera 0 de , tal que 0 , entonces por
la parte (2) de esta proposicin, nos garantiza que E E0 , luego se tiene que
z1 E0 , entonces n (E0 ) = 1 2, pero 2 no puede ser, ya que E,R tendra
dos puntos, lo que sera una contradiccin, ya que E,R solo posee un slo punto, por tal E = E0 = {z1 } = E,R para cualquier vecindad suficientemente
pequea de . Por ltimo si E = {z1 , z2 }, entonces existe un 1 y 2 vecindad
de tal que z1 E1 y z2 E2 . Luego es sabido que 1 2 1 , 2 y
por 2 tenemos que E1 , E2 E1 2 , esto nos dice que {z1 , z2 } E1 2 .
Luego tomemos una vecindad cualquiera suficientemente pequea 0 de , tal
que 0 1 2 , entonces se infiere por (2) que E1 2 E0 infirindose
que {z1 , z2 } E0 . Por tanto como n (E0 ) 2, se obtiene que E,R = E0 ,
para toda vecindad cualquiera 0 suficientemente pequea de . Terminando
as la demostracin
Proposicin 5.11. Sea, R una aplicacin meromorfa sobre C y M una transformacin de Mbius cualquiera, entonces para S = M R M 1 se cumple lo
siguiente: a ER, si y solo si M (a) ES,M () .
Demostracin. Primero notemos que por la proposicin 5.6 se tiene que M ()
JS , pues JR . Ahora tomaremos un a
/ ER, , luego por la proposicin 5.10,
tenemos que en toda vecindad de , exista un z1 en dicha vecindad que cumple
Rn (z1 ) = a, para algn n N. Ahora tomemos una vecindad M de M (),
entonces M 1 (M ) es una vecindad de , por tal existe un un z1 M 1 (M ),
tal que Rn (z1 ) = a, esto tambin nos dice que en la vecindad M existe un
punto M (z1 ), tal que S n (M (z1 )) = M Rn M 1 (M (z1 )) = M (a), lo que
104
nos dice que M (a)

/ ES,M () . La reciproca se precede de la misma forma, pues
M es un biholomorfismo, quedando as probado la proposicin.
Teorema 5.2. Sea R una aplicacin meromorfa sobre C, con JR y ER, 6=
, entonces se cumple lo siguiente:
(i) Si n (ER, ) = 1, entonces R (z)es la conjugada para un polinomio.
(ii) Si n (ER, ) = 2 entonces R (z) es la conjugada para la aplicacin
z z d , donde d = deg (R) .
Demostracin. Primero afirmaremos que R1 (ER, ) ER, , en efecto, para
ello tomamos w R1 (ER, ), entonces R (w) ER, . Ahora supongamos que
w
/ ER, , luego de la proposicin 5.10 parte (1) se infiere que: en toda vecindad
+
+
de , existe un z1 en , tal que w OR
(z1 ) . Como w OR
(z1 ) entonces
+
R (w) OR (z1 ), implicando que en toda vecindad de , existe un z1 en ,
+
tal que R (w) OR
(z1 ) . Luego nuevamente por la proposicin 5.10 parte (1)
/ ER, , lo que termina siendo una
se tiene que R (w) C ER, , es decir R (w)
contradiccin, quedando as probada la afirmacin.
Segunda afirmacin: R (ER, ) = ER, . En efecto, como R no es constante,
entonces R es suryectiva esto garantiza que R posea inversa
a la derecha en todo
C, en particular con ER, C, es decir R R1 (ER, ) = ER, y junto con la
primera afirmacin anterior, que nos dice: R1 (ER, ) ER, infiriendo as lo siguiente ER, R (ER, ), implicando que n (ER, ) n (R (ER, )). Adems como
ER, es finito y R una funcin entonces se cumple que n (R (ER, )) n (ER, ),
luego con la desigualdad anterior, se obtiene que n (R (ER, )) = n (ER, ), y a
su vez notar que R (ER, ) = ER, .
Como ER, consiste de un punto o dos puntos, entonces esto implica que
ER, consiste de un punto fijo, o dos puntos fijos, o dos puntos peridicos fijos
de periodo 2.
(i) Supngase que ER, consiste de un punto fijo de R y M una transformacin de Mbius tal que M () = . Tercera afirmacin: R1 () = , en
efecto, R1 () = R1 ({}) = R1 (E ) E = {}, la inclusin se da por la
primera afirmacin, as se deduce que R1 () {} y como es un punto fijo
de R, se obtiene la tercera afirmacin. Cuarta afirmacin: la aplicacin racional
en C
p (z) = M R M 1 (z)
no tiene polos en C. En efecto, supongamos que existe un z0 C, tal que
p (z0 ) = , entonces M R M 1 (z0 ) = , para as aplicar M 1 y tener
que R M 1 (z) = , es decir R M 1 (z0 ) = . De esto ltimo se infiere que
M 1 (z0 ) R1 ({}) y de la tercera afirmacin tenemos que M 1 (z0 ) {}
, es decir que M 1 (z0 ) = , para as tener que M () = z0 C, lo que es una
contradiccin, concluyendo que p no posee polo en C. Luego como p es racional
sobre C y no es constante, entonces p es suryectiva sobre todo C, teniendo as
que p (z) = , siempre que z = , pues p no posee polo en C. Por lo tanto la
105
aplicacin racional p (z) posee un solo polo en z = , infiriendo as que p (z) es

un polinomio.
(ii) Segundo caso, suponga que ER, = {, }, donde 6= y M una
transformacin de Mbius tal que M () = y M () = 0. Luego hacemos
p (z) =M R M 1 (z), donde analizaremos los siguientes dos casos (a) y (b) :
a) Primero consideremos el caso en que ER, = {, } son puntos fijos de
R. Quinta afirmacin: R1 () = {} y R1 () = {}, Sabemos que R () =
y R () = , y por la primera afirmacin, tenemos que R1 (ER, ) ER. ,
entonces tenemos que R1 () ER, , es decir que R1 () = o R1 () =
, pero esta ltima
no puede ser, pues de la suryectividad de R tenemos que
= R R1 () = R () = siendo as una contradiccin, de igual forma
se precede para R1 () = . Sexta afirmacin: afirmamos que p () = y
p (0) = 0. En efecto, p () = M R M 1 () = M R () = M () = ,
luego p (0) = M R M 1 (0) = M R () = M () = 0. Ahora veamos la
prueba de que p (z) es un polinomio, como M () = , p (z) = M R M 1 (z)
y p () = y R1 () = , siendo estas las hiptesis de la parte (i), entonces
tenemos que p (z) es un polinomio, su prueba se precede de la mis forma que
en la parte (i). Por otro lado veamos las races de p (z), teniendo en cuenta que
M () = 0 y que R1 () = {}.
0 = p (z)
0 = M R M 1 (z) aplicamos M 1
= R M 1 (z) , se infiere que M 1 (z) R1 ()
= M 1 (z) , ya que R1 () = {}
z = M () = 0, por ser M Mbius
vemos que la nica raz de p (z) es cuando z = 0. Como p (z) = M R M 1 (z)

y el grado de R suponemos que es d, entonces para el polinomio p (z), cero es
un raz con multiplicidad d, esto hace que p (z) = kz d . Ahora tomando una
nueva conjugacin de p (z) con una transformacin de Mbius M0 (z) = z1
k d1
se consigue un nuevo polinomio q (z) conjugado por R (z) de la siguiente forma

q (z) = z d .
b) Segundo caso, sea E = {, } con R () = y R {} = . Afirmamos primeros que R1 () = {} y R1 () = {}. En efecto, sabemos de la
hiptesis que R () = y R {} = y por la primera afirmacin, tenemos
que R1 (ER, ) ER. , entonces tenemos que R1 () ER, , es decir que
R1 () = o R1 () = ; pero esta ltima no puede ser, pues de la suryectividad de R tenemos que = R R1 () = R () = siendo as una
contradiccin, de igual forma se precede para R1 () = . Ahora afirmamos
que p (0) = y p () = 0. En efecto P () = M R M 1 () = M R () =
M () = 0, luego p (0) = M R M 1 (0) = M R () = M () = . Como
p (z) = M RM 1 (z) y R1 () = , entonces q (z) = 1/p (z) es un polinomio.
Veamos
106
= 1/p (z)
p (z) = 0
0 = M R M 1 (z) aplicamos M 1
= R M 1 (z) , por ser M Mbius
= M 1 (z) , ya que R1 () = {}
z = M () = , por ser M Mbius,
Notemos que la nica solucin de 1/p (z) = es cuando z = de ac inferimos

q (z) = 1/p (z) es un polinomio. Por otro lado, como p (z) = M R M 1 (z) y
R1 () = , tenemos que
0 = 1/p (z) p (z) =
= M R M 1 (z) aplicamos M 1
= R M 1 (z) , por ser M Mbius
= M 1 (z) , ya que R1 () = {}
z = M () = 0, por ser M Mbius
1
Notemos que q (z) = 0 tiene una nica raz en cero y como q (z) = M RM
1 (z)
y R tiene grado d, entonces q (z) tiene una raz en cero de multiplicidad d, por
la multiplicacin de grados. Luego q (z) = kz d . Esto dice que p (z) = kz1d al
igual que el primer caso, entonces escogemos una transformacin de Mbius
M1 (z) = 11 , el cual hace que r (z) = z1d sea una conjugada de R (z).
k d+1 z
Ejemplo 5.4. Sea d 2 y p1 (z) = kz d y p2 (z) = kz d sobre C. Entonces Jp1 y

Jp2 estn en C {0, }. Luego, para cualquier Jpi , con i = 1, 2 , se cumple
que Epi , = {0, } con i = 1, 2. En efecto, es sabido que el 0 y el infinito son
puntos fijos de p1 , luego como p1 es un polinomio de grado d 2, se infiere que el
1
multiplicador 0 ,p1 = 0 y ,p1 = p0 ()
= 0, siendo as que el 0 y el infinito son
1
puntos superatractores, por tal las rbitas Op+ (0) y Op+ () son atractoras, para
as aplicar el teorema 5.1, que nos sugiere el hecho que {0, } Fp1 , por tal Jp1
no puedo tomar dichos valores. Luego para Jp2 , notemos que el 0 y son puntos
2
fijos de (p2 ) siendo este a su vez un polinomio de la misma forma que p1 , por tal
se infiere que Jp2 no toma los valores {0, }. Ahora veamos que Ep1 , = {0, },
en efecto, es claro que pn1 (C {0}) = C {0}, pues p1 (0) = 0 y p1 no toma
n0
el infinito en C, pues es un polinomio. Por tal si = C {0}, entonces se

cumple que E = {0, }. Luego Ep1 , es la unin de todos los E , con
vecindades arbitrarias de , adems Ep1 , consta a lo ms de dos puntos, por
ello se infiere que Ep1 , = {0, }, terminando as este ejemplo para p1 (z) = kz d .
n
Por ltimo veamos que Ep2 , = {0, }, en efecto (p2 ) (C {0}) = C {0},
n0
pues (p2 (z) = 0 si y solo si z = ) y (p2 (z) = , si y solo si z = 0). Por tal
si = C {0}, entonces se cumple que E = {0, }. Luego Ep2 , es la unin
107
de todos los E , con vecindades arbitrarias de , adems Ep2 , consta a lo

ms de dos puntos, por ello se infiere que Ep2 , = {0, }, terminando as este
ejemplo para p2 (z) = kz d . Con esto concluimos el ejemplo.
Observacin 5.2. Note que en la parte (1) del teorema ltimo, el polinomio
conjugado por R, denotado por p, no se conjugada con la aplicacin p1 (z) =
kz d . En efecto, lo haremos por contradiccin, es decir suponiendo que p1 se
conjuga con el polinomio p. Como R se conjuga con p, y p se conjuga con p1 ,
entonces la aplicacin R se conjuga con p1 , por medio de una transformacin de
Mbius M . Luego por la parte (1) del teorema anterior, se tiene que ER, = {a},
con a C, para as aplicar la proposicin 5.11, la cual nos garantiza que:
ER, = {a}, con JR , si y solo, si Ep1 ,M () = {M (a)}, con M () JP1 ;
significando que n Ep1 ,M () = 1. Adems por el ejercicio anterior se cumplir
que Ep1 ,M ()
= {0, }, pues M () Jp1 , siendo una contradiccin ya que
n Ep1 ,M () = 2, terminando as la afirmacin.
Ejemplo 5.5. Sea p (z) un polinomio de grado mayor a 2 que no se puede
conjugar con kz d , entonces Jp est en C , adems para cualquier Jp se tiene
que Ep, = {}. En efecto, es claro que p, = 0 , pues como el grado p es mayor
a 2, tenemos que p0 (z) es de grado mayor a 1 , por tal p0 () = . Lo anterior
nos dice que la rbita Op+ () es superatractora y por el teorema 5.1, se garantiza
que dicha rbita est en Fp , es decir que 6 Jp , esto infiere que Jp C. Note
que para todo Jp , se cumple que Ep, , pues P n (C) = C y si
n0
tomamos = C vecindad para todo , se obtiene que E = {}. Ahora

n (Ep, ) 1 y si n (Ep, ) = 2 sera una contradiccin por el teorema precedente,
pues p sera conjugado a kz d , lo cual va en contra de las caractersticas de
p (z), entonces n (Ep, ) = 1, por tal Ep, = {} para todo Jp .
Corolario 5.1. Sea R una aplicacin meromorfa sobre C y J , entonces
se cumple lo siguiente (a) ER, FR ; (b) ER, es independiente del JR
escogido.
Demostracin. (a)En la demostracin del teorema anterior vimos que el conjunto ER, est formado por un punto fijo, o dos punto fijos, o dos puntos peridicos
de orden 2, todos en ellos en R.
Supongamos que ER, consiste de un punto fijo y M una transformacin
de Mbius, tal que M () = . Entonces por la parte (i) de la demostracin del
teorema anterior, se infiere que p (z) = M RM 1 (z) es el polinomio conjugado
de R (z). Ahora afirmamos que es un punto fijo superatractor de p (z). En
efecto, p (z) posee grado d 2, pues R es de grado d 2, Luego la derivada de
1
= 0. Ahora
p (z) es de grado d1 , por tanto p0 () = , entonces p, = p0 ()
aplicamos la invarianza de la conjugacin, teniendo as que 0 = p, = R, ,
concluyendo as que el punto fijo de R, es un punto superatractor de R (z) ,
as por el teorema 5.1, tenemos que ER, = {} FR .
108
Ahora supongamos que ER, , est formado por dos puntos fijos de R, los
cuales denotaremos por y , luego sea M una transformacin de Mbius, tal
que M () = y M () = 0. Entonces por la parte (ii) de la demostracin del
teorema anterior, tenemos dos subcasos. Primer subcaso, cuando estamos en la
parte (a) de la demostracin de (ii) del teorema anterior, lo cual nos dice que el
conjunto ER, consta de dos puntos fijos de R (z), el cual tiene a p (z) = kz d ,
con k constante, como conjugado de R a travs de M , siendo d el grado de R.
1
= 0.
Note que p0 (z) = dkz d1 , y como d 2, entonces p,0 = 0, p, = p0 ()
Nuevamente aplicamos la invarianza de la conjugacin teniendo as que p,0 =
R, = 0 y p, = R, = 0. Esto nos dice que ER, est formado por 2 puntos
fijos superatractores y por tal el teorema 5.1 nos garantiza que ER, FR .
Segundo subcaso, cuando estamos en la parte (b) de (ii) del teorema anterior, lo
cual nos dice que el conjunto E consta de dos puntos peridicos de R de orden 2,
el cual tiene a travs de M como conjugado a la aplicacin p (z) = kz d , donde
2
k es constante y d el grado de R. Entonces tenemos que p2 (z) = k 1d z d
0
2
es el conjugado de R2 , luego al derivar tenemos que p2 (z) = k 1d d2 z d 1 ,

0
1
2
= 0, por ser d 2.
entonces se obtiene que p2 , = (p2 (0))
0 = 0, p2 ,0 = p (0)
Nuevamente por la invarianza de la conjugada tenemos que p2 ,0 = R2 , = 0
y p2 , = R2 , = 0, esto nos dice que E = {, } los puntos fijos de R de
orden 2 son superatractores, por tal el teorema 5.1, nos dice que ER, FR ,
terminando as la demostracin. de la parte (a)
(b) Tomemos 1 , 2 en JR , ambos diferente. Primero supongamos que ER,1 =
{a}, luego tomemos la transformacin de Mbius M , tal que M (a) = , luego
el teorema 5.2 en la parte (i), garantiza que p (z), el conjugado de R (z) por M ,
es un polinomio y la observacin 5.2 nos dice que p (z) no se conjuga con kz d ,
pudiendo as aplicar el ejemplo 5.5, que nos asegura que para todo 0 Jp , se
cumple que Ep, 0 = {}. Note la proposicin 5.6, nos asegura que M (2 ) Jp ,
pues 2 JR y R = M R M 1 , infiriendo as por lo expuesto anteriormente
que Ep,M (2 ) = {}. Por otra parte la proposicin 5.11, nos dice que z0 ER,2
si y solo si M (z) Ep,M (2 ) = {}, esto nos dice que ER,2 , est formado por
un solo elemento, adems se tiene que M (z) = , por tal z0 = a, es decir que
ER,2 = {z0 } = {a}. Pro tanto tenemos que ER,2 = ER,1 .
Ahora supongamos que ER,1 = {a, b}, luego por el teorema 5.2 en la parte
(ii), se tiene que p1 (z) = kz d es el conjugado de R, por una transformacin de
Mbius M . Luego por la proposicin 5.11 tenemos que
z ER,1 = {a, b} si, y solo si M (z) Ep1 ,M (1 )
lo mismo sucede, para ER,2 , es decir
z ER,2 si, y solo si M (z) Ep1 ,M (2 )
Notemos por la proposicin 5.6, que M (2 ) y M (1 ) estn en Jp1 y por el
ejemplo 5.4, tenemos que para todo Jp1 se cumple que Ep1 , = {0, }, en
particular para M (2 ) y M (1 ), entonces tenemos que Ep1 ,M (1 ) = Ep1 ,M (2 ) =
{0, }, de esto inferimos que M (z) = 0 o M (z) = , es decir z = a y z = b,
109
es decir que ER,1 = ER,2 . Por ltimo si ER,1 = entonces ER,2 = , pues de
ser n (ER,2 ) = 1 2 estaramos en los casos anteriores en la cual nos asegurara
que n (ER,1 ) = 1 2, lo que sera una contradiccin , por tal ER,1 = ER,2 .
Como consecuencia de (b) nosotros podemos denotar al conjunto excepcionales de puntos de R por ER .
5.3.1.
Caracterizacin de JR .
Ahora estamos en condiciones de afirmar una serie de propiedades que caractericen el conjunto de Julia JR .
Teorema 5.3. Sea R una aplicacin meromorfa sobre C, no constante, entonces
tenemos las siguientes caracterizaciones sobre el conjunto JR .
(i) Rn (JR ) = JR para cualquier n Z.
(ii) JR es un conjunto no vaco y perfecto, es decir, JR es igual a su conjunto
de puntos acumulacin.
(iii) Si JR contiene un punto interior, entonces JR = C.
S
(iv) Para cada z JR , se cumple que JR = n0 R1 (z). De esta igualdad,
se infiere que FR .
(v) Si es un punto fijo atractor de R, entonces A () FR y A () = JR .
(vi) El conjunto de puntos respulsores fijos de todos los ordenes es denso en
JR .
Demostracin. (i) Primero afirmemos que R (JR ) JR . En efecto, tomemos
1 R (JR ), entonces existe JR , tal que 1 = R (). Ahora supongamos que
1
/ JR , entonces por definicin de JR , la familia
{Rn : n N}
n+1
es normal en el
punto 1 . Por otro lado,
de
la
siguiente
familia
R
:
n
N
, tomaremos una

sucesin cualquiera Rni +1 iN . Luego note que la siguiente sucesin {Rni }iN
est en la familia {Rn : n N}, siendo as posible la existencia de una subsucesin {Rni }iA0 , con A0 N, la cual converge esfricamente normalmente en 1 .
Entonces
n +1 podemos aplicar la proposicin 4.4 que nos garantiza que la sucesin
R i
converge esfricamente normalmente en , por tal esto nos dice
iA0

que la familia Rn+1 : n N es normal en , quedando probada la afirmacin. En segundo lugar afirmaremos que R1 (JR ) JR . En efecto, tomemos
1 R1 (JR ), entonces entonces existe JR , tal que = R (1 ). Nuevamente
supongamos que 1
/ JR , entonces por definicin de JR , la familia
{Rn : n N}
n1

es normal en el punto 1 . Por otro lado en la siguientefamilia R
:nN ,
tomaremos una sucesin cualquiera de dicha familia Rni 1 iN . Luego note
que la sucesin {Rni }iN est en la familia {Rn : n N}, siendo as posible
la existencia de una subsucesin {Rni }iA0 , A0 N, la cual converge esfricamente normalmente en 1 , luego podemos aplicar la proposicin 4.4 parte
110

(2), que nos garantiza que la sucesin Rni 1 iA0 converge esfricamente nor n1

malmente en , significando que la familia R
: n N es normal en , lo
que es una contradiccin, entonces 1 JR , por tal queda probada la afirmacin. Ahora apliquemos R a R1 (JR ) JR , es sabido que R es suryectiva,
entonces se tiene JR R (JR ), luego este resultado junto con la primera afirmacin nos da la igualdad R (JR ) = JR . Por ltimo, toda aplicacin R cumple
que JR R1 (R (JR )) y junto con la segunda afirmacin tenemos la siguiente igualdad JR = R1 (JR ). De lo anterior se obtiene que Rn (JR ) = JR para
cualquier n Z, terminando la prueba.
Las dos igualdades juntas se denominan la invarianza completa de JR . Notemos que FR tiene la misma propiedad. En efecto R (FR ) = R C JR =

R C R (JR ) = C R (JR ) = C JR = FR , lo mismo R1 (FR ) =

R1 C JR = R1 C R1 (JR ) = C R1 (JR ) = C JR = FR .
(ii) Primero probaremos que JR 6= . Supongamos lo contrario, entonces
FR = C, luego la familia {Rn : n N} es normal en todos los puntos de C. Despus tomemos la sucesin {Rn }nN de la familia {Rn : n N}, entonces existe
una subsucesin {Rni }iN de {Rn }, que converge esfricamente uniformemente
en todo los subconjuntos compactos de C, a una funcin lmite S, la cual es
meromorfas(racional), por el corolario 4.1. Luego asumiremos que la aplicacin
racional S posee grado k, entonces tambin para un ni suficientemente grande se
debe cumplir deg (Rni ) = k , por otro lado sabemos que dni = deg (Rni ) ,
cuando i , esto ser una contradiccin, por tanto JR = .
En segundo lugar probaremos que JR es un conjunto perfecto, es decir JR =
0
0
, pues JR es un conjunto cerrado. Solo nos faltara
. Note que JR JR
JR
0
probar que JR JR . Para probar esta ltima inclusin probaremos primero la
siguiente afirmacin: Si a JR , entonces existe un b JR , tal que a Or+ (b)
y b
/ Or+ (a). En efecto, en el caso que a JR y no sea punto peridico de
R. Note que es posible encontrar un elemento en {z : R (z) = a}, ya que R es
suryectiva, al cual denotaremos por b. Luego b
/ Or+ (a) caso contrario existira
n0 +1
n0
(a) = a, pues R (b) = a. Esto
n0 N, tal que R (a) = b, infiriendo que R
ltimo nos dice que a es un punto peridico, siendo as una contradiccin. Por
otro lado en el caso que a JR y sea punto peridico de R de periodo n.
Denotemos lo siguiente S = Rn y consideremos la siguiente ecuacin
S (z) = a
ahora supongamos que S 1 (a) = {a}, luego escogemos una transformacin de
Mbius M , con M (a) = , adems la aplicacin conjugada p (z) = M S
M 1 (z), es un polinomio, pues no tiene polos en C, en efecto. Sea p (z) = ,
entonces = M S M 1 (z), luego aplicamos M 1 , teniendo as que a =
S M 1 (za ), luego como S 1 (a) = {a}, entonces se infiere que a = M 1 (za ),
es decir que za = , por tal la aplicacin es un polinomio. Adems es sabido que
el punto za = es un punto fijo superatractor para p (z), pues el grado de p es
mayor a 2, del cual tenemos que p, = 1/p0 () = 0. Luego por la parte 2 de la
proposicin 5.4 tenemos que S,a = p, = 0 as, a es un punto superatractor,
peridico de R con periodo n, para as, aplicar la parte (i) del teorema 5.1,
111
+
garantizando que OR
(a) FR , en particular a FR , lo cual contradice que
a JR . Entonces existe otro punto b 6= a, tal que b S 1 (a), es decir que
Rn (b) = S (b) = a, implicando que a O+
R (b). A la misma vez se cumple que
b
/ O+
(a),
caso
contrario
existe
un
m
N,
tal que Rm (a) = b, aplicando Rn a
R
esta ltima igualdad se tiene lo siguiente
a = Rn (b)
= Rn (Rm (a))
= Rm (Rn (a))
= Rm (a) = b
entonces se obtiene que a = b lo cual es una contradiccin. Esto termina nuestra

primera afirmacin.
Regresando a nuestra demostracin, probaremos por ltimo que para todo
a JR , a es un punto de acumulacin de JR . Tomemos una vecindad arbitraria
de a entonces es posible tomar un b JR , tal que b
/ Or+ (a) y a Or+ (b).
Note que b
/ ER , en efecto, por el corolario 5.1 parte (i) se tiene que ER FR ,
es decir si tomamos complemento, tenemos que JR = C FR C ER y
como b JR , se infiere que b C ER , es decir que b 6 ER . Ahora afirmamos
que b Rk () para algn k N, en efecto, caso contrario b6 Rk (),
k1
es decir, que b E y como E ER , se infiere que b ER , siendo esto

una contradiccin. De la ltima afirmacin junto con la proposicin 5.10, nos
aseguran que existe unc , tal que Rk (c) = b, observemos que c 6= a ,
pues caso contrario b Or+ (a), siendo una contradiccin. Adems c JR caso
contrario c FR y por la parte (i) de este teorema, tenemos que b = Rk (c) FR ,
siendo as una contradiccin, entonces c JR . Ahora lo anterior se resume a que
para todo elemento a JR y toda vecindad arbitraria de a existe un c
tal que c JR , por tal a es un punto de acumulacin de JR . Terminando as, la
demostracin de la parte (ii).
(iii) Supongamos que JR contiene un punto interior, denotado por a. Luego
es posible encontrar un disco abierto que contiene a a, con JR . Entonces
{Rn (z)} no es normal en y por el TFN para familias meromorfas, inferimos
[
[
que
Rn () omite a lo ms dos puntos de C, implicando as que
Rn () =
n>0
n>0
C , adems [
por (i) se tiene que JR = Rk (JR ), para todo k Z y como JR ,
S
se obtiene
Rn () JR , esto implica que C = n>0 Rn () JR = JR .
n>0
Terminando as la prueba.
(iv) Fijemos un z cualquiera en JR y para un w cualquiera en JR tomemos
la vecindad arbitraria de w. Por el corolario 5.1 tenemos que ER FR ,
implicando que JR = CFR CER y como z JR , se obtiene que z CER ,
es decir que z
/ ER , Luego por la parte 1 de la proposicin 5.10, aseguramos
la existencia
de
un , tal que z = Rk () para algn k, infiriendo as que
S
n
n>0 R (z). En resumen para cada vecindad de w, existe siempre
S
S
un punto n>0 Rn (z), es decir que w n>0 Rn (z), implicando que
112
S
JR n>0 Rn (z) . Por otro lado de la parte (i) del teorema tenemos que
S
Rn (z) JR , pues z JR y como JR es cerrado entonces se cumple que
Sn>0 n
S
(z) JR . Por tanto tenemos lo que queramos JR = n>0 Rn (z).
n>0 R
(v) Tomemos un z A (). Como es un punto fijo atractor de R es posible
aplicar la parte (i) del teorema 5.1 que nos garantiza que FR , adems por ser
FR abierto existir un disco D (; r) FR . Como z A () entonces se cumple
que Rn (z) , cuando n , lo que infiere que Rn (z) D (; r) para todo n
suficientemente grande, teniendo as que Rn (z) FR para un n suficientemente
grande. Luego afirmamos que z FR , en efecto, caso contrario z JR y por la
invarianza de JR , tenemos que para todo k Z se cumple que Rk (z) JR , lo
cual es una contradiccin. Por lo tanto A () FR . Por ltimo probaremos que
A () = JR . En efecto, tomemos un z JR y tambin tomemos una vecindad
c
c
cualquiera N deTz, la. Como A () FR entonces JR = (FR ) (A ()) , lo que
c
n
nos dice que N A () 6= . Como z JR , entonces la familia {R : n N} no
es normal en N , para as poder aplicar el TFN que nos dice que dicha familia
omite a lo mas dos puntos, luego existe algn punto de N al iterarse con R
estarnTdentro de A (), caso contrario omitira ms de 2 punto; implicando
que N A () 6= . Por tanto z A () teniendo as que JR A () . Por
otro lado, tomemos un z A () y supongamos que la familia {Rn : n N} es
normal en z, es decir, que dicha familia es normal en algn disco abierto N de
centro en z. Primero tomaremos un disco disco abierto D (, r) en A (), por otro
lado existe una subsucesin de {Rni }iN de {Rn } que converge esfricamente
uniformemente sobre el disco D (z, r) N a una funcin f meromorfa. Como
f (z) = y f meromorfa, entonces f es esfricamente continua en z, es decir,
que para todo disco abierto D (, r0 ) D (, r), existe un abierto N 0 D (z, r)
de centro z, tal que f (N 0 ) D (, r0 ) D (, r) A (), esto significa que
N 0 A (), pues f (z) = limRn (z) A (), para cada z N 0 , es decir, que
para un n suficientemente grande tenemos que Rn (z) A (), en cada z N 0 ;
siendo esto una contradiccin, pues z A (), entonces para cada N 0 vecindad
abierta de centro z, existen puntos que no estn en A (). De esto inferimos que
A (z) JR y por tanto A (z) = JR .
(vi) Esta ltima parte necesita de ciertos resutaldos que desarrollaremos ms
adelante.
Para terminar de probar la parte (vi), tenemos que tener en cuenta que el
conjunto de puntos peridicos repulsores estn en JR , debido al teorema 5.1,
luego como JR es cerrado se tiene que:
{puntos periodicos respulsores} JR ,
luego el teorema 5.4, el cual se probar ms adelante, nos garantiza que:
{puntos periodicos respulsores} JR {puntos periodicos}
Note que la diferencia entre conjunto de puntos peridicos y el conjunto de
puntos peridicos repulsores es el conjunto de puntos peridicos atractores e
113
indiferentes. Ahora para terminar de probar (vi), solo tenemos que probar que
el conjunto de puntos peridicos atractores e indiferentes sea finito. Nos centraremos en probar a continuacin que el conjunto de puntos peridicos es finito.
La prueba de que el conjunto de puntos peridicos indiferentes sea finito, no se
desarrollar en este trabajo, dado que escapa de los alcances de este trabajo,
para la prueba ver Alan F. Beardon Iteration of Rational Functions seccin 9.6.
Valores crticos y puntos crticos.

Definicin 5.18. Sea R una aplicacin meromorfa sobre C. Dado un v C,
decimos que el punto c C es un punto crtico de R, si c es raz de la ecuacin
R (z) v = 0 con multiplicidad m 2. El nmero v es llamado valor crtico
de R. Denotaremos por CR al conjunto de puntos crticos de R y por VR al
conjunto de valores crticos de R.
Ahora veamos la siguiente proposicin

Proposicin 5.12. Sea R una aplicacin meromorfa sobre C. Luego el cardinal
del conjunto CR , cumple las siguientes propiedades:
1. Sea a C un punto analtico de R, entonces a es un punto crtico de R si
y solo si R0 (a) = 0.
2. hSea ai C un polo de R, entonces a es punto crtico de R, si y solo si
0
1
=0
R(z)
3. Sea R () C{0}, entonces infinito es crtico si y solo si Lim R0 (z) z 2 =
z
0 en infinito.
4. n (CR ) 2 (d 1) , donde d = deg (R).
Demostracin. Recordemos que el grado de R es mayor o igual que 2
Prueba de (1). Sea a C un punto analtico de R, con R (a) = va , entonces
n
R se reescribe como R (z) vc = (z a) h (z) donde h es holomorfa en a con
h (a) 6= 0 y n 1. Ahora derivemos R en a, teniendo lo siguiente:
(R(z) va )
R(z)
((z a) h (z))
n1
= n (z a)
h (z) + (z a) h0 (z) .
114
Note que R0 (a) = lm R0 (z), entonces

za
0 = R0 (a)

n1
n
= lm n (z a)
h (z) + (z a) h0 (z)
za

n
(z a)
n
= lm n
h (z) + (z a) h0 (z)
(z a)
za

n
(z a)
= nh (a) lm
(z a)
za

(za)
note que si n = 1, entonces el lmite nh (a) lm (za)
= nh (a) 6= 0 , por tal
za
solo se cumple para n 2. Luego el recproco se prueba de la misma forma. Por

tal tenemos la parte 1 probada.
Prueba de (2). Sea a C un polo de R, si a C, entonces R se reescribe
1
como R (z) = (za)
n h (z), donde h es holomorfa en a con h (a) 6= 0 y n 1.
1
Ahora derivemos [R(z)]
en a, teniendo lo siguiente:

1
[R (z)]
0

=
n 0
(z a)
h (z)
n1
n (z a)
h (z) (z a) h0 (z)
2
[h (z)]
ya que h (a) 6= 0, entonces podemos inferir al igual que el la prueba (1) que
0

1
= 0 si y solo si n 2, es decir a un punto crtico. Si a = , entonces
[R(a)]
reescribimos g (z) = R (1/z) el cual tiene un polo en a = 0, por tal
Prueba de (3). Sea infinito un punto analtico, para R, entonces R () =
v C, luego R se reescribe de la siguiente manera g (z) = R (1/z) teniendo as
que g (z) v = z n h (z) donde h es holomorfa en 0 con h (0) 6= 0 y n 1. Ahora
derivemos g en 0, teniendo lo siguiente:
0
(g (z) va ) = (z n h (z))
g(z) = nz n1 h (z) + z n h0 (z) .
Note que g 0 (0) = 0 si y solo si n 2, es decir a un punto crtico. Note que
g 0 (0) = Lim R0 (z) z 2 .
z
Prueba de (4). Sea R una funcin meromorfa entonces R se reescribe como

R = pq , el cociente de dos polinomios , donde p (z) = k (z a1 ) .. (z an )
y q (z) = (z b1 ) ... (z bm ). Tenemos tres casos. Primer caso si m > n,
entonces buscaremos los puntos crticos en las siguientes ecuaciones R0 (z) = 0

0
1
y R(z)
= 0, lo que implica que p0 (z) q (z) q 0 (z) p (z) = 0, para ambas
igualdades. Luego la ltima ecuacin implica que a lo ms existen m + n 1
soluciones, en C, siendo estos a su vez puntos crticos de acuerdo a la prueba de
115
(1) y (2) de esta proposicin. Si infinito es un punto crtico entonces R () = 0,

pues m > n, luego por la observacin 5.1 el orden del infinito es m n 2,
por tal tenemos que a lo ms existen m + n puntos crticos, luego por la ltima
desigualdad tenemos que a lo ms existen 2 (m 1) puntos crticos. Si infinito
no es punto crtico entonces tenemos que mn = 1, luego como a lo ms existen
m + n 1 puntos crticos, se infiere de la ltima igualdad que a lo ms existen
2 (m 1) puntos crticos. Lo mismo sucede con m < n. Ahora para m = n
tenemos que los puntos crticos en C, se encuentran en la solucin de R0 (z) = 0
0

1
= 0, lo que implica que p0 (z) q (z) q 0 (z) p (z) = 0 para ambos casos.
y R(z)
Ahora a lo ms habr 2(m 1) soluciones, es decir, puntos crticos en C . En
efecto, note que si es un punto crtico es posible aplicar la parte (3) infiriendo
0
0
(z)p(z)
as que p (z)q(z)q
z 2 = 0 , luego si p0 (z) q (z) q 0 (z) p (z) es de grado
q 2 (z)
2 (n 1), sera una contradiccin. por tal p0 (z) q (z) q 0 (z) p (z) posee un grado
menor que 2 (n 1) infiriendo as, que junto a infinito R posee a lo ms 2 (n 1)
puntos crticos . Ahora si no es crtico se tiene que p0 (z) q (z)q 0 (z) p (z) es de
grado 2 (n 1) infiriendo as que a lo ms existen 2 (n 1) puntos crticos en C
sin contar a infinito ya que en este caso infinito no es un punto crtico. Por tanto
se infiere que en los tres casos existen a lo ms 2 (n 1) puntos crticos.
Teorema 5.4. JR {puntos peri
odicos}
Demostracin. Definimos el subconjunto KR de JR por

KR = JR

V alores crticos de R2 {} R2 () .
Como JR es un conjunto perfecto y KR difiere de JR por solo un subconjuntos finito, entonces ser suficiente probar que KR {puntos peri
odicos} .
Sea w KR y considere un conjunto abierto V que contiene a w. Afirmamos
que R2 ({w}) posee al menos 4 puntos distintos, en efecto, como d 2 , entonces R2 (z) = w C, posee 2d races contadas con multiplicidad, adems
R2 () 6= w, entonces como cada raz aw de R2 (z) w tiene multiplicidad 1, se
tiene por tanto que existen al menos 4 races, puntos crticos, diferentes. Denotemos tres de estos por 1 , 2 ,3 los cuales son distintos de w. Luego, es posible
encontrar tres vecindades N1 , N2 , N3 de 1 , 2 ,3 respectivamente disjuntos dos
a dos, tal que R2 : Ni V 0 V sea homeomorfismo , y Si : V 0 Ni la inversa
de R2 |Ni , i = 1, 2, 3. Ahora supongamos que para todo z V 0
Rn (z) 6= Si (z) , n 1, i = 1, 2, 3.
Entonces {Rn } es normal en V 0 por el teorema 4.4. Luego esto ltimo es una
contradiccin, pues w JR . Como consecuencia existe algn z V 0 y un m 1
tal que Rm (z) = Si (z) para algn 1 i 3. Por lo tanto
Rm+2 (z) = R2 Si (z) = z,
116
adems z V 0 V es un punto peridico de R; pudiendo concluir que KR

{puntos
peri
odicos} ya que para toda vecindad abierta V de w, se tiene que
T
V {puntos peri
odicos} 6= .
Nosotros necesitamos saber si el si el nmero de ciclos atractivos de R es finito
o no. Para ello est el siguiente teorema.
Teorema 5.5. El nmero de ciclos atractores de R es a lo ms 2 (d 1) , donde
d = deg (R).
Demostracin. Afirmaremos que para cada ciclo atractivo , la inmediata cuenca de atraccin A () contiene al menos un punto crtico. Esto nos permitir
terminar la demostracin pues solo hay 2 (d 1) puntos crticos. En efecto,
Considere primero el caso donde es un punto fijo atractor de orden uno y
supngase que A () no contiene valores crticos, entonces R tiene inversa local
en cada punto de R1 (), pues para cada elemento en aw R1 () se cumple
que R0 (aw ) 6= 0, por ser este a su vez un punto crtico. Ahora tomemos un disco
abierto N de centro , tal que N A () y como R () = existe una inversa
1
: N V difeomorfa, donde es vecindad abierta de ,
local R|
denotaremos por R1 a dicha inversa. Entonces R1 puede ser extendido a una

funcin meromorfa en N , debido a la ausencia de valores crticos en N , que
hacen que R1 sea localmente inversa en N , que a su vez es conexo, permitiendo
as aplicar el al teorema de Monodromia. Luego como R R1 = id para cada
x , entonces por el teorema de identidad, tenemos que R R1 = id en
todo N de donde se infiere que R1 (N ) N A (). Similarmente podemos
definir las funciones

(n1)
Rn (z) = R1 R
(z) , n = 2, 3, ..., z N,
Tambin es note que Rn (z) A () para cada n N. Todo esto resulta ser
una familia {Rn : n N} de funciones meromorfas definidas sobre N , dicha
familia a su vez esta en A (), donde se infiere que la familia {Rn : n N}
omite amenos tresvalores distintos, pues por el teorema 5.3 se tiene que 6=
0
JR C A () y JR es un conjunto infinito ya que JR = JR
. Por tanto
n
decimos que la familia {R : n N} es normal en N . Por ltimo afirmamos
que o es un punto fijo repulsor de R1 . En efecto, pues R1 = R1 en con

0
0
1
1
R0 () < 1, teniendo as que R1 () = R1 () = R0 (R1
()) = R0 () > 1,
siendo as un punto fijo repulsor de R1 y por el teorema 5.1 iten ii tenemos
que JR1 . Pero la normalidad de {Rn : n N} en N contradice el hecho
que JR1 . Por tanto A () contiene al menos un valor crtico.
En el caso que sea un punto fijo de orden k + 1 de R , tenemos que
+
genera un ciclo atractor OR
() = {, 1 , ...k } C, el cual denotaremos por
. Nuevamente supondremos que A () no posee puntos crticos. Construiremos las funciones Rn con n N . Para n = 1, tomemos un disco abierto
N en A (), el cual contiene a . Es sabido que est en N y a su vez no
es valor crtico que cumple R (k ) = , por tal razn k es un punto critico,
117
0
del cual se infiere
que R (k ) 6= 0. Entonces por el T.F.I existe un abierto
k
k A k , R , que contiene a k , y tambin existe un abierto Vk N tal
1
que R|k : k Vk es un difeomorfismo, luego (R|k ) : Vk N k es la
inversa del difeomorfismo anterior. Como en N todos sus elementos son valores
crticos, entonces estos valores poseen inversa local R1 , cuya preimagen se encuentra en A k , Rk , por tal se puede aplicar el teorema de Monodromia que
1
nos permite extender (R|k ) definida en Vk N a una funcin meromorfa
1
definida sobre todo N , denotada por R1 tal que R1 |Vk = (R|k ) en Vk .

1
Afirmaremos que R1 (N ) A k , Rk , en efecto, como R (R|k ) = id
sobre Vk , entonces R R1 = id sobre Vk ; luego por el teorema de la identidad tenemos que R R1 = id sobre N , lo que implica queR1 (N ) N
infiriendo as que R1 (N ) A k , Rk . Ahora construiremos de las misma
2
forma a R
, primero tomemos el abierto R1 (N ) que contiene a su vez a
k , como R (k1 ) = k y k no es un valor crtico entonces se tiene que
R0 (k1 )6= 0. Luego es posible aplicar
el T.F.I al punto k1 , es decir, existe un abierto k1 A k1 , Rk con k1 k1 y tambin un abierto
Vk1 R1 (N ) tal que R|k1 : k1 Vk1 es un difeomorfismo, luego
1
R|k1
: Vk1 k1 es la inversa del difeomorfismo anterior. Despus
como en R1 (N ) A k , Rk , entonces todos sus elementos no son valores crticos, entonces estos valores
poseen inversa local R1 , cuya preimagen
k
se encuentra en A k1 , R , por tal se puede aplicar el teorema de Mono1
dromia que nos permite extender R|k1
definida en Vk1 a una funcin
2
2
|Vk1 =
meromorfa definida sobre todo R1 (N ), denotada por R
tal que R

1
k
2
R|k1
en Vk1 . Afirmaremos que R (N ) A k1 , R , en efecto, co1
2
2
= R R|k1
= id sobre Vk1 ;
mo RR
= id sobre Vk1 , entonces RR
2
=
id
sobre R1 (N ),
luego por el teorema de la identidad
tenemos
que
R
R

1
1
1
2
(N
)
y
como
es sabido que
(N
)
R
R
R
lo que implica queR

1
k
2
1
R (N ) A k , R se puede inferir que R R (N ) A k1 , Rk .
2
R1 en
Por consiguiente definimos R2 como la siguiente composicin R
N . Luego seguimos as sucesivamente, pudiendo construir la siguiente familia
{Rn : n N} en N , donde siempre tendremos que
R1 () = k ; R2 () = k1 ; .....; Rk () =
Ahora afirmaremos que es un punto repulsor de Rk . En efecto, sabemos que
1
1
Rk (z) = (R|1 ) .. (R|k ) en la vecindad vecindad Vk de en donde
est bien definida como funcin esto es por la forma en que se construyo Rk
h
i0

0
1
1
=
por consiguiente Rk () = (R|1 ) .. (R|k )
= [Rk (z)]0 |1 k
z=R
()

0
1
> 1 ya que Rk (z) |z= < 1. Afirmaremos tambin que {Rn }
[Rk (z)]0 |z=
en N omite al menos 3 puntos. En efecto, pues solo tenemos que verificar que
la inmediata cuenca de atraccin A (), omite amenos tres puntos, en efecto
hallemos las races de la siguiente funcin f (z) = Rk (z) z tenemos que la
funcin f (z) tiene mnimo 2 races diferente, la primera raz es z = con

0

0
multiplicidad 1 pues, f 0 () = Rk () 1 6= 0 ya que Rk () 6= 1; luego
118
Rk (z) z = 0 posee al menos 2k(k 2) races contadas con multiplicidad y

como es una con multiplicidad 1, entonces es necesario que exista otra raz,
denotada por z = 6= , note que
/ A (). Por otro lado resolvamos la
k
ecuacin R (z) = bien tiene como raz a z = si tiene multiplicidad mayor a
uno, entonces sera una vaca de atraccin para Rk entonces el problema tendr
infinitos puntos que no pertenecen a A () de ser que z = posea solo una
multiplicidad entonces eso significa que existe un z = 6= y si resolvemos
de nuevo la siguiente ecuacin Rk (z) = tenemos que tiene al menos una raz
z=
/ {, } as se tiene que la inmediata cuenca de atraccin A () no posee
tres puntos, entonces la familia {Rn } en N , no posee al menos tres puntos,
por tanto {Rn } es normal en N y esto es una contradiccin, ya que Rk tiene
un punto fijo repulsivo por tanto no puede ser normal.
Esto hace referencia que cada inmediata cuenca de atraccin A () contiene
al menos un punto critico, y como se ha probado que existen a lo mas 2(d 1),
pues el teorema queda probado.
Debido a que cada punto peridico atractor genera un ciclo atractor, y dado
que ste es finito, entonces se deduce que los puntos peridicos son finitos.
Corolario 5.2. El nmero de puntos peridicos atractores es finito.
Por tanto este ltimo corolario junto a la prueba de que los puntos peridicos
indiferentes sean finitos, referida la prueba en Alan F. Beardon Iteration of
Rational Functions seccin 9.6, se concluye la prueba (vi) del teorema 5.3, la cual
termina la caracterizacin del con junto de Julia, propuesta en dicho teorema.
Bibliografa
[1] Ahlfors,L. Complex Analysis, McGraw Hill, 1978.
[2] Brambila Paz, L. Geometra de superficies de Riemann y haces lineales
holomorfos, Mxico, 1998.
[3] Beardon, A. Iteration of ractional functions Complex Analytic. Springer
Velarg, Cambridge England, 1990.
[4] Blanchard, P. Complex Analytic Dynamics on The Riemann Sphere. Ed
American Mathematical Society, 1984.
[5] Chuang, C. Normal families of meromorphic functions. World Scientific
Pekin China, 1993.
[6] Fitzgerald, H. Existence and uniqueness of rectilinear slit maps. Ed American Mathematical Society, California, 1999.
[7] Gerd Jensen, C. Univalent functions, Editorial Vandenhoeck, Germany,
1974.
[8] Hayman, K. Lectures on Meromorphic Functions. Notes bye KN. Gowrisankaran, 2009.
[9] Kotaro Oikawa, C. On the stability of boundary components. Pacific Journal
of Mathematics, 1960.
[10] Lages Lima, E. Espaos mtricos. Projeto Euclides, Brasilia DF, 1977.
[11] Laudstorfer, M. Schwarz-Christoffel mapping of multiply connected domains. Technik Wirtschaft, Regensburg, 2007.
[12] Lins Neto, A. Funoes de umavariavel complex. Projecto Euclides, IMPA,
Rio de Janeiro, 1993.
[13] Myung H, K. Families of normal maps in several variables and classical
theorems in complex analysis. Ed Howard University Washington. Boston,
Massachusetts, 1996.
[14] Nieto Said, J. Resolucin de problemas matemticos. Proyecto AFaMaC,
Puerto Rico, 2010.
119
120
BIBLIOGRAFA
[15] Remmert, R. Classical topics in complex function theory. Ed. SpringerVelarg , New York Inc, 1994.
[16] Rudin, W. Anlisis real y complejo. Editorial Alhambra, Madrid Epaa,
1979.
[17] Schiff, L. Normal Families. Editorial Board,Vandehoeck USA, 1991.
[18] Zamorski, J. About the extremal spiral schlicht functions. Polonici Mathematici IX, 1961.

Sueros Jonathan Funciones Racionales Variable Compleja

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Sueros Jonathan Funciones Racionales Variable Compleja

Uploaded by

Copyright:

Available Formats

PONTIFICIA UNIVERSIDAD CATLICA DEL PER

Dinmica de las Funciones Racionales de una Variable Compleja.

Autor: Jonathan Abrahan Sueros Zarate

Miembros del jurado:

Dr. Percy Fernndez Snchez

A mi madre, Olga Zarate, por su apoyo y

A mi hermana, Eliana Sueros, por

Picard, el teorema de Landau, el teorema Schottky, as como tambin el

2. Anlisis en plano complejo extendido C

4. Funciones normales de funciones meromorfas

1. C: Es el plano complejo unido con , esto es C = C

2. D = D (z0 , r) = {z : |z z0 | < r}: Disco de centrado en z0 con radio r.

7. : dominio el cual es abierto y conexo.

Conceptos bsicos de Espacios Mtricos

donde para cualquier par ordenado de elementos x, y M se le asigna un

CAPTULO 1. PRELIMINARES Y CONCEPTOS BSICOS

mtrica definida en el conjunto M . A la propiedad (d4) se le llama desigualdad

Ejemplo 1.2. Sea M = C y z,q

1.1. CONCEPTOS BSICOS DE ESPACIOS MTRICOS

El conjunto X es llamado espacio, los elementos de X son llamados puntos

CAPTULO 1. PRELIMINARES Y CONCEPTOS BSICOS

1.1. CONCEPTOS BSICOS DE ESPACIOS MTRICOS

en el conjunto M podemos entonces escribir que a = lim xn o simplemente

a = limxn , tambin se dice que xn tiende a a. Tambin a = limxn significa que,

CAPTULO 1. PRELIMINARES Y CONCEPTOS BSICOS

1.1. CONCEPTOS BSICOS DE ESPACIOS MTRICOS

f (a) = b. (2) Si a X M . se tiene que b = lim f (x) N si, y solamente si,

para cada sucesin de puntos xn X, con xn a, implica que b = limf (xn ).

significa que, para cada x X, existe por lo menos un indice

subfamilia C 0 = {C : L0 } es una subcobertura de C , donde a su vez C 0 es

CAPTULO 1. PRELIMINARES Y CONCEPTOS BSICOS

Definicin 1.17. (1) Un espacio mtrico M se llama compacto cuando toda

Conceptos bsicos de anlisis complejo

donde para todo a C se tiene que |a| = a.a.

Proposicin 1.18. Si la sucesin {zn } converge a z C, entonces z es nico.

1.2. CONCEPTOS BSICOS DE ANLISIS COMPLEJO

Teorema 1.1. Toda sucesin de nmeros complejos convergente es acotada

es convergente si la sucesin {sn } es convergente, donde sn = a1 + a2 + .. + an

Definicin 1.23. Decimos que

Proposicin 1.20. si la serie

Notemos que cada funcin compleja f se puede expresar como f (z) =

CAPTULO 1. PRELIMINARES Y CONCEPTOS BSICOS

Teorema 1.3. La funcin compleja f (z) tiene lmite L cuando z z0 si y

Ac observaremos que las definiciones bsicas junto con las propiedades y

1.3. FUNCIONES HOLOMORFAS

Ms adelante mostraremos un resultado que nos dice que, si f 0 es holomorfa,

(cf ) (z) = cf 0 (z) c C

Teorema 1.8. (Regla de la cadena) Suponga que g (z) es holomorfa en z0

(f g) (z0 ) = f 0 (g (z0 )) g 0 (z0 ) .

Para el estudio de las funciones analtica es importante repasar primero las

Si hacemos un cambio de variable w = z z0 , se reducir al caso en que la

CAPTULO 1. PRELIMINARES Y CONCEPTOS BSICOS

siempre que el conjunto

trario decimos que (s) = .

2. si |z| > (s), entonces la serie diverge

funcin S en en disco D (0, (s)), como

derivada es dada por

adems se cumple que

(k + 1) ak+1 z k , |z| < (s)

Corolario 1.4. La funcin S (z) definida por la serie de potencia s =

con radio de convergencia (s) > 0, es infinitamente diferenciable en z

Este corolario es una consecuencia inmediata del teorema anterior.

radio de convergencia (s) > 0. Entonces para todo k 0 se cumple que

La frmula para los coeficientes es obtenidas derivando k veces la serie para