CAPÍTULO 5

Teorema de Montel

5.1 Familias normales. Teorema de Ascoli-Arzelà

Una familia F , de funciones complejas definidas en un conjunto Ω € C,
se dice que es equicontinua en un subconjunto Ω0 de Ω si para cada ε ¡ 0
existe un δ ¡ 0 tal que para todo par de puntos z, z 1 P Ω0 que verifican que
|z
z1|   δ, se cumple que |f pzq
f pz1q|   ε para toda f P F .
Obsérvese que toda función de una familia equicontinua en un conjunto
es uniformemente continua en dicho conjunto.
Una familia F , de funciones complejas definidas en un conjunto Ω € C, se
dice que es normal si cada sucesión de funciones de F tiene una subsucesión
que converge uniformemente en los compactos de Ω a una función, que no
necesariamente ha de pertenecer a F .
Teorema 5.1.1 (Teorema de Ascoli-Arzelà). Sea Ω un subconjunto abierto de
C y sea F una familia de funciones continuas de Ω en C. La familia F es
normal si, y sólo si,
a) F es equicontinua en cada subconjunto compacto de Ω,

b) para cada z P Ω, el conjunto F pzq  tf pzq : f P F u está acotado en

C.
Demostración. Comencemos suponiendo que F es una familia normal. Si b)
no fuese cierto, para cada n  1, 2, . . . existiría una función fn P F tal que
|fnpzq| ¡ n. Por ser F una familia normal, existiría una subsucesión pfnk qk
de pfn qn uniformemente convergente
 en los subconjuntos compactos de Ω.
En particular la sucesión fnk pz q k sería convergente en C y, por lo tanto
acotada, lo que no puede ser.

Análisis Complejo (2017-2018)

5-2 Teorema de Montel

Para demostrar a), sea K un subconjunto compacto de Ω. Si F no fuese

equicontinua en K existirían ε ¡ 0 y sucesiones pzn qn y pwn qn en K y pfn qn
en F tales que

wn  Ñ 0 p q
fnpwnq ¡ ε.
   
 zn y fn zn

Como F es normal y K es compacto, existirían dos subsucesiones pfnk qk

que uniformemente convergente en los subconjuntos compactos de Ω a una
cierta función f , y pznk qk convergente a un cierto z P K. Por la elección de
los wn , la sucesión pwnk qk también converge a z. Por tanto,

ε   }fnk pznk q
fnk pwnk q| ¤

¤ |fn pzn q
f pzn q| |f pzn q
f pwn q| |f pwn q
fn pwn q|
k k k k k k k k

ÝkÝÝ
Ñ8
Ñ 0,
lo que es absurdo.
Recíprocamente, supongamos que se verifican a) y b). Vamos a demostrar
en primer lugar que, para todo subconjunto compacto K de Ω y todo ε ¡ 0,
existe un subconjunto finito F0 de F verificando que para toda f P F existe
una f1 P F0 tal que

suptf pz q
f1 pz q : z P K u ¤ ε.
 

Por la hipótesis a) existe un δ ¡ 0 tal que si z, z1 P K y |z
z1|   δ

entonces, para toda f P F ,

|f pzq
f pz1q|   4ε . (5.1)

Como K es compacto existen z1 , . . . , zn P K tales que

¤
n
K € D pz j , δ q. (5.2)
j 1 
Por la hipótesis b), para cada j P t1, . . . , nu existe un conjunto finito
Fj € F tal que 

¤
F pz j q € D f pz j q,
ε
. (5.3)
f FjP 4

Para cada F  pf1, . . . , fnq P F1      Fn sea

" *
VF  f P F : |f pzj q
fj pzj q|   ε
4
, @j  1, . . . , n . (5.4)

De (5.3) se deduce que

¤
F  VF . (5.5)
F F1P Fn

Análisis Complejo (2017-2018)

5.2 Teoremas de Montel y Vitali 5-3

Para cada F P F1    Fn tal que VF es no vacío, elegimos una función

fF P VF . Sea F0 el conjunto de tales funciones. Como F1      Fn es
finito, F0 también lo es.
Sea f P F . Por (5.5) existe F  pf1 , . . . , fn q P F1      Fn tal que
f P VF . Para cada z P K, por (5.2), existe j P t1, . . . , nu tal que |z
zj |   δ.
Aplicando (5.1) y (5.4) se tiene que

p q
fF pzq ¤ f pzq
f pzj q p q
fj pzj q fj pzj q
fF pzj q

       
f z f z j

fF pzj q
fF pz q   ε ε ε ε
 ε.
 
4 4 4 4
Sea pKn qnPN una sucesión de compactos como la del lema 4.1.1. Si pfn qnPN
es una sucesión de elementos de F , se obtiene como
 consecuencia inmediata
de lo anterior que existe una subsucesión fn,1 n de pfn qnPN tal que

suptfn,1 pz q
fm,1 pz q : z P K1u ¤ 1,

 
(5.6)
 
para todo m y n. De igual manera, existe una subsucesión fn,2 n
de fn,1 n
tal que
suptfn,2 pz q
fm,2 pz q : z P K2 u ¤ ,
  1
(5.7)
2

para todo m y n. Por inducción obtenemos sucesiones fn,k n
,k  1, 2, . . . ,
verificando:

1. Para cada k, k

 1, 2, . . . , la sucesión fn,k 1 n es una subsucesión de
la sucesión fn,k n .

2. Para k  1, 2, . . . ,
suptfn,k pz q
fm,k pz q : z P Kk u ¤ k1 .
 
(5.8)

La sucesión fn,n es una subsucesión de pfn qnPN que es uniformemente de

Cauchy en cada compacto de la sucesión pKn qnPN y, por lo tanto, en todos los
subconjuntos compactos de Ω. Es suficiente aplicar ahora 4.1.4 para concluir
la demostración.

5.2 Teoremas de Montel y Vitali

El siguiente teorema caracteriza las familia normales de funciones holo-
morfas.

Teorema 5.2.1 (Teorema de Montel). Sea Ω un subconjunto abierto de C.

Una familia F € H pΩq es normal si, y sólo si, F está uniformemente
acotada en cada subconjunto compacto de Ω.

Análisis Complejo (2017-2018)

5-4 Teorema de Montel

Demostración. Sea K un subconjunto compacto de Ω y supongamos que F

es normal. Por el Teorema de Ascoli-Arzelà F es equicontinua en K, y por
tanto existe un número δ ¡ 0 tal que si z y z 1 P K y |z
z 1 |   δ entonces

|f pzq
f pz1q|   1
para toda f P F . Como K es compacto existen z1, . . . , zn P K tales que
K € D p z1 , δ q Y    Y D p zn , δ q .
Por el teorema de Ascoli-Arzelà nuevamente, existe M ¡ 0 tal que
p q ¤M
 
 f zj 

para j  1, . . . , n y toda f P F . Reuniendo todo lo anterior se obtiene que

|f pz q| ¤ M 1

para todo z P K y toda f P F .

Recíprocamente, supongamos que F está uniformemente acotada en cada
subconjunto compacto de Ω. Es obvio que F verifica la condición b) del
teorema de Ascoli-Arzelà. Sean a P Ω y R ¡ 0 tales que Dpa; Rq € Ω. Sea
S ¡ R tal que Dpa; S q € Ω. Si z, z 1 P Dpa; Rq y f P F
» 

|f pzq
f pz1q| ¤ 1 f pω q
¤

 1 1 
ω
z ω
z1
 dω 
2π  p q
C a;S

¤ |z
z1| 2π1 supt|f pωq| : ω P C pa; S qu pS
S Rq2 .

De donde se deduce de manera inmediata que F es equicontinua en Dpa; Rq.
Esto demuestra que F es equicontinua en todos los discos cerrados contenidos
en Ω, y como todo subconjunto compacto de Ω se puede recubrir por una
cantidad finita de discos cerrados, se concluye que F es equicontinua en todos
los subconjuntos compactos de Ω. Aplicando el Teorema de Ascoli-Arzelà se
deduce que F es normal.

Teorema 5.2.2 (Teorema de Vitali). Sea Ω un subconjunto abierto de C. Si

pfnqnPN es una sucesión de funciones holomorfas en Ω que está uniforme-
mente acotada en los subconjuntos compactos de Ω, y existe f P H pΩq tal
que el conjunto

A  tz P Ω : existe lı́m fn pz q y vale f pz qu

n

tiene un punto de acumulación en Ω, entonces pfn qnPN converge a f unifor-

memente en cada subconjunto compacto de Ω.

Análisis Complejo (2017-2018)

5.2 Teoremas de Montel y Vitali 5-5

Demostración. Si el resultado no fuese cierto, existirían un compacto K € Ω,

un ε ¡ 0 y una subsucesión pfnk qkPN de pfn qnPN tales que

sup |fnk pz q
f pz q| ¥ ε. (5.9)

P
z K

Por el teorema de Montel pfnk qkPN posee a su vez otra subsucesión que
converge uniformemente en cada subconjunto compacto de Ω. Si g es el
límite de dicha subsucesión, g P H pΩq. Como, por hipótesis, f y g coinciden
en A, se deduce del Principio de identidad que f  g lo que contradice
(5.9).

Análisis Complejo (2017-2018)