O Teorema de Arzel-Ascoli e Aplicaes Anlise
Max Reinhold Jahnke1 ,
Manuel Valentin Pera Garcia (orientador) 2
and
Sonia Regina Leite Garcia (orientadora) 3
1 Universidade de So Paulo (USP), Brazil
jahnke@usp.br
2 Universidade de So Paulo (USP), Brazil
mane@ime.usp.br
3 Universidade de So Paulo (USP), Brazil
sonia@ime.usp.br
1. Introduo
O teorema de ArzelAscoli muito importante para
a anlise funcional, pois ele determina quais so as
condies necessrias e sucientes para que um con-
junto de funes de espao compacto, com valores
em um espao mtrico, seja compacto. A principal
condio a equicontinuidade do conjunto de fun-
es.
Foi Ascoli quem encontrou as condies sucien-
tes para a compacidade e Arzel quem estabeleceu as
condies necessrias, porm foi Frchet quem gene-
ralizou o teorema para qualquer espao onde a noo
de limite faa sentido.
Pretendemos apresentar duas aplicaes muito in-
teressantes do teorema de Arzel-Ascoli uma a teoria
das equaes diferenciais, o teorema de Peano e ou-
tra a Anlise Complexa, o teorema de Montel.
2. O Teorema de Arzel-Ascoli
Iniciaremos essa seo apresentando alguns concei-
tos e resultados importantes para enunciarmos e de-
monstrarmos o Teorema de Arzel-Ascoli.
Denotaremos por C (X, Y ) o conjunto de todas as
funes f : X Y contnuas. Quando X for com-
pacto e Y for um espao mtrico usaremos a mtrica
d(f, g) := sup{d(f (x), g(x)) : x X}.
Denio 1. Seja X um espao topolgico e M um
espao mtrico. Dizemos que uma famlia F de
funes denidas em X com valores em M equi-
contnua no ponto x0 X se, dado  > 0, existe
V X vizinhana aberta do ponto x0 tal que,
d(f (x0 ), f (x)) < , x V e f F . Dizemos que a
F equicontnua se F equicontnua em todos os
pontos de X . Claramente temos F C (X, M ), se
F equicontnua.
Exemplo 1. Para cara n N, seja xn : [0, 1] R
denida por
tn 0 t 1/n
xn (t) := 2 tn 1/n t 2/n
0 2/n t
A sequncia (xn )nN no equicontnua. De fato,
tomando  = 1/2, qualquer que seja > 0, pela pro-
priedade arquimediana, existe n0 N tal que 1/n0 <
, logo d(xn0 (0), xn0 (1/n0 )) = d(0, 1) = 1 > .
Lema 1. Sejam K um espao compacto, M um es-
pao mtrico e (fn )nN uma sequncia em C (K, M )
equicontnua, que converge pontualmente para a fun-
o f . Nestas condies, f contnua e (fn ) converge
uniformemente para f.
Demonstrao:
Primeiro vamos provar que a funo limite con-
tnua em x0 K : qualquer que seja  > 0, pela con-
vergncia pontual, existe n0 N tal que, se n n0 ,
ento d(fn (x0 ), f (x0 )) <  e pela equicontinuidade,
existe V X vizinhana aberta de x0 tal que, se
x V , ento d(fn (x0 ), fn (x)) < , n N.
Portando, se x V , temos d(f (x0 ), f (x)) <
d(f (x0 ), fn0 (x0 )) + d(fn0 (x0 ), fn0 (x)) +
d(fn (x), f (x)) < 2 + d(fn (x), f (x)), como, para
cada x V , temos que d(fn (x), f (x)) 0 quando
n , ento d(f (x0 ), f (x)) 2, o que prova a
continuidade da funo f .
Agora vamos provar que (fn ) converge unifor-
mente para f : qualquer que seja  > 0, pela equi-
continuidade da (fn ) e da continuidade da f , para
cada x K , existe Vx X vizinhana aberta
de x tal que, qualquer que seja y Vx , temos:
d(fn (y), fn (x)) , n N e d(f (x), f (y)) < .
Claramente {Vx }xK um recobrimento aberto
do compacto K , ento existe um sub-recobrimento
nito Vx1 , ..., Vxk que cobre K .
Qualquer que seja x K , existe i tal que x Vxi ,
e portanto d(f (x), f (xi )) < , alm disso, existe n0
N sucientemente grande tal que, se n n0 ento
d(f (xi ), fn (xi )) < , para 1 i k .
Portanto, para n n0 temos a seguinte
desigualdade d(f (x), fn (x)) d(f (x), f (xi )) +
d(f (xi ), fn (xi ))+d(fn (xi ), fn (x)) < 3. Perceba que
a desigualdade verdadeira para todo x K , por-
tanto a convergncia uniforme. 
79
Denio 2. Seja X um espao topolgico. Dize-
mos que H X relativamente compacto se H
compacto.
Denio 3. Seja X um espao mtrico. Dizemos
que X totalmente limitado se, dado  > 0 existe
um recobrimento {O1 , ..., Ok } com a propriedade: se
x, y Oi , ento d(x, y) .
Teorema 1. (de Ascoli) Seja K um espao compacto
e M um espao mtrico. Seja H C (K, M ) ento
H relativamente compacto se, e somente se, H
equicontnuo e H(x) = {f (x) : f H} relativa-
mente compacto.
Demonstrao:
(): Suponha que H relativamente compacto.
Primeiro vamos demonstrar que H(x) relativa-
mente compacto: de fato, a funo hx : C (K, M )
M denida por hx (f ) := f (x), f C (K, M ) con-
tnua, logo hx (H) compacto, pois funes contnuas
preservam a compacidade. Como H(x) f (H), que
fechado, temos H(x) f (H), e, como todo fechado
fechado subconjunto de compacto, compacto, te-
mos que H(x) relativamente compacto.
Agora vamos demonstrar que H equicontnuo:
como H relativamente compacto, qualquer que seja
 > 0, existe um recobrimento nito H1 , ..., Hp tal
que, se f, g Hi , ento d(f, g) .
Fixemos ento elementos f1 H1 , ..., fp Hp e
x0 K . Da continuidade de cada fi , segue que
existe uma vizinhana aberta Vx0 de x0 tal que, se
x Vx0 , ento d(fi (x0 ), fi (x)) <  e 1 i p.
Ento, se f H , existe i tal que f
Hi , e portanto d(f (x), f (x0 )) d(f (x), fi (x)) +
d(fi (x), fi (x0 )) + d(fi (x0 ), f (x0 )) < 3 e concluimos
que H equicontinuo.
(): Suponha que H equicontnuo e que, para
todo x K , H(x) totalmente limitado.
Para mostrar que H relativamente compacto,
basta mostrar que H totalmente limitado e que
H completo.
Vamos primeiro provar a completude de H : seja
(fn ) uma sequncia de Cauchy em H . Para cada
n N, seja f n H tal que d(fn , fn ) < 1/n.
Como H(x) compacto, e portanto completo, e
a sequncia (f n (x)) de Cauchy, podemos denir
f (x) = limn f n (x). Por contruo, a sequncia
(fn ) equicontinua e converge portualmente para f ,
80
e ento, pelo lema anterior, sabemos que tal conver-
gncia uniforme e concluimos que H completo.
Agora vamos provar que H totalmente limi-
tado: qualquer que seja  > 0, como H equi-
contnuo, para cada x K , existe uma vizinhana
aberta Vx tal que, se f H e y Vx , ento
d(f (x), f (y)) < . Claramente {Vx }xK forma uma
recobrimento aberto do compacto K , portanto existe
um sub-recobrimento nito, seja ele Vx1 , ..., Vxp .
Por hiptese, temos que cada H(xi ) relativa-
mente compacto, e portanto totalmente limitado,
assim, cada H(xi ) admite um recobrimento nito
Hi1 , ..., Himi tal que, se x, y Hij , ento d(x, y) < .
Para cada sequncia q1 , q2 , ..., qi , com 1
q1 m1 , ..., 1 qp mp , seja Hq1 ,q2 ,...,qp :=
f H; f (xi ) Hipi , 1 i p.
O conjunto {Hq1 ,q2 ,...,qp ; 1 q1 m1 , ..., 1 qp
mp } cobre H , portanto temos que mostrar agora que
cada Hq1 ,q2 ,...,qi totalmente limitado.
Sejam f, g Hq1 ,q2 ,...,qi , qualquer que seja x K ,
existe i tal que x Vxi , alm disso, existe pi tal que
f (x), g(x) Hipi , portando d(f (x), g(x)) . Logo
H totalmente limitado. 
3. Aplicaes Anlise
Teorema 2. (de Peano) Sejam S := [x0 a, x0 + a]
[y0 b, y0 + b] com a, b > 0 e f : S R uma funo
contnua. Ento, existe um a com 0 < a a,
tal que a equao diferencial y 0 = f (x, y) tem uma
soluo, denida em [x0 a , x + a ], que passa pelo
ponto (x0 , y0 ).
Demonstrao:
Como f continua e S compacto, existe M > 0
tal que, |f (x, y)| < M , para todo (x, y) S . De-
nimos a = min{ M b
, a}. A escolha de a car clara
seguir. Para simplicar a notao, usaremos a = a .
Seja I0 := [x0 , x0 + a] e, para cada n N, Ir :=
[x0 + (r 1)a/n, x0 + ra/n], 1 < r n. Para cada
n N, denimos uma funo yx : I0 R da seguinte
maneira:
x I1
y0
yn (x) :=
Z xa/n
y0 + f (t, yn (t))dt x I1 , .., In
x0
Note que se x Ir , ento yn (x) est de-
nida em termos de yn (t), para t I1 ... Ir1
R xa/n
alm disso, |yn (x) y0 | = | x0 f (t, yn (t))dt|
R xa/n
x0
M dt = M |x a/n x0 | M a b, portanto
yn est bem denida e ainda contnua.
 A sequncia (yn ) equicontnua, de fato, Alm disso, como cada fn contnua existem
M1 , ..., Mn0 reais tais que |fn (x, y)| < Mn , para
R xa/n
|yn (x) yn (z)| = | x0 f (t, yn (t))dt
R za/n R xa/n n = 1, 2, ..., n0 .
f (t, yn (t))dt| = | x0 f (t, yn (t))dt +
Rxx00 R xa/n Denindo M = max{Mf + 1, M1 , ..., Mn0 }, temos
za/n
f (t, yn (t))dt| = | za/n f (t, yn (t))dt| que, qualquer que seja (x, y) S, |f (x, y)| < M e
M |x z|. |fn (x, y)| < M .
Aplicando o Teorema de Arzel-Ascoli, sabemos Seja a = b/M e para simplicar a notao, vamos
que {yn ; n N } relativamente compacto, portanto assumir a = a.
a sequencia (yn ) tem uma subsequncia (ynk )kN Como cada fn continuamente diferencivel,
convergente. usando o teorema da desigualdade do valor mdio
Denimos u(x) := limk ynk (x), para todo x concluimos que cada fn tambm lipschitziana, en-
I0 . Vamos mostrar que u soluo de y 0 = f (x, y). to, pelo teorema da existncia de Cauchy, para
Por denio, temos ynk = y0 + cada fn , existe uma nica funo Ryn denida em
x
[x0 a, x0 + a] tal que yn (x) = y0 + x0 f (t, yn (t))dt.
R xa/nk Rx
f (t, ynk (t))dt = y0 + x0 f (t, ynk (t))dt +
Rxxa/n
0
k
f (t, ynk (t))dt.
x Rx Vamos mostrar que {yn : n N} relativamente
Perceba que limk x0 f (t, ynk (t))dt =
Rx R xa/nk compacto em C ([x0 a, x0 + a], [y0 b.y0 + b]). Pelo
x0
f (t, u(t))dt e que 0 | x f (t, ynk (t))dt| teorema de Arzel-Ascoli, suciente demonstrar
que {yn : n N} equicontnuo e que o conjunto
R xa/nk
M/nk portanto limk x f (t, ynk (t))dt = 0.
Rx
Ento u(x) = y0 + x0 f (t, u(t))dt, u0 (x) = {yn (x) : n N} relativamente compacto, para todo
x [x0 a, x0 + a].
f (x, u(x)) e u(x0 ) = y0 .

Para todo x [x0 a, x0 + a], o conjunto {yn (x) :

Analogamente, podemos denir u em [x0 a, x0 ].
n N} limitado pois subconjunto de [M a, M a]

e portanto relativamente compacto.
O teorema de Peano admite tambm uma outra
demonstrao, que usa dois resultados da Topologia Dados x1 , x2 [x0 a, x0 + a],Rqualquer que seja
x
que so muito teis para a Anlise, esses resultados yn , temos |yn (x1 ) yn (x2 )| = | x01 fn (t, yn (t)dt
R x2 R x1
so o teorema do ponto xo de Banach e o teorema f (t, yn (t)dt|
Rxx00 n
=
R x1
| x0 fn (t, yn (t)dt +
de Stone-Weierstrass. x2 n
f (t, yn (t)dt| = | x2 fn (t, yn (t)dt| < M |x2 x1 |,
Com o teorema do ponto xo de Banach, podemos logo {yn : n N} equicontnuo
provar que se R2 aberto e f : R uma
funo contnua lipschitziana na segunda varivel, Portanto yn tem uma subsequncia (ynk )kN con-
ento o problema do valor inicial, y 0 = f (t, y), com vergente em C ([x0 a, x0 + a], [y0 b.y0 + b]) para
y(x0 ) = y0 admitide uma nica soluo. Esse resul- uma funo y .
tado chamado de teorema de existncia de Cauchy. Para mostrar que y a funo R x que procuramos,
O teorema de Stone-Weierstrass garante que toda basta mostrar que y(x) = y0 + x0 f (t, y(t))dt.
funo contnua a valores reais, denidas num sub- Para simplicar a notao, a subsequncia (ynk )
conjunto compacto K R o limite de uma sequn- ser representada por (yn ).
cia de polinmios uniformemente convergente em K . Rx
Usando o fato y0 = yn (x) x0 f (t, yn (t))dt, so-
Para uma demonstrao destes resultados, sugerimos Rx
o livro [1]. mando e subtraindo x0 f (t, yn (t))dt e usando a de-
sigualdade triangular, chegamos a:
Rx
Segunda demonstrao do teorema de Peano: |y(x) y0 + x0 f (t, y(t))dt| |y(x) yn (x)| +
Rx Rx
Pelo teorema de Stone-Weierstrass, f pode ser uni- | x0 fn (t, yn (t)) f (t, yn (t))dt| + | x0 f (t, yn (t))
formemente aproximada por uma sequncia (fn ) de f (t, y(t))dt|.
funes continuamente diferenciveis. Portanto, qualquer que seja  > 0, existe n0 natu-
ral tal que, se n > n0 , ento:
Como f contnua e S compacto, existe Mf tal |y(x) yn (x)| < , pois (yn ) converge uniforme-
que |f (x, y)| < Mf , para todo (x, y) S e como (fn ) mente para para y .
converge uniformemente para f , existe n0 N tal R |f (x, yn (x) f (x, y(x))| < /a e portanto
x
que se n > n0 , ento |f fn | < 1, ento |fn (x, y)| < | x0 fn (t, yn (t)) f (t, yn (t))dt| < , pois (fn ) con-
Mf + 1, para todo (x, y) S . verge uniformemente para f .

81
 R |f (t, y(t)) f (t, yn (t))| < /a e portanto
x
| x0 f (t, y(t)) f (t, yn (t))dt| < , pois f contnua. (): Suponha que toda sequncia de funes de
Como queramos.  F |K tenha uma subsequncia convergente.

Exemplo 2. Note que garantimos apenas a existncia
da soluo, porm, no temos como garantir garantir
a unicidade da soluo apenas com as hipteses do
teorema de Peano: considere a equao diferencial
y 0 = 3y 2/3 , as funes z(x) = 0 e w(x) = x3 so
solues, denidas em uma vizinhana de 0, e z(0) =
w(0), portanto no temos a unicidade da soluo.
Denio 4. Seja C aberto no vazio e F um
conjunto de funes analticas equilimitadas sobre
todo conjunto compacto K , isto , dado um com-
pacto K , existe Mk 0 tal que |f (z)| Mk ,
para todo z K . Nestas condies a famlia F
dita uma famlia normal.
Como F |K compacto, pelo teorema de Arzel-
Ascoli, F |K equicontnuo e, para todo x K ,
{f (x) : f F } totalmente limitado, portanto
existe Mx > 0 tal que |f (x)| < Mx , para toda
f F |K .
Como F |K equicontinuo, existe Vx vizinhana
aberta de x tal que se y Vx e f F ento |f (x)
f (y)| < 1.
Como K compacto e {Vx }xK um recobri-
mento aberto de K , existe K0 K nito tal que
{Vx }xK0 ainda cobre K.
Seja ento M = max{Mx + 1; x K0 }, temos que
|f (x)| < M , para todo x K e toda f F . 
Referncias

[1] Chaim Samuel Hnig, Aplicaes da Topologia Anlise,

Lema 2. Toda famlia normal de funes analticas IMPA, 1976.
equicontnua. [2] Walter Rudin, Principles of mathematical analysis,
Demonstrao: McGraw-Hill, 1976.
Seja F uma famlia normal de funes analticas [3] Carlos R. Borges, Elementary topology and applications,
denidas no aberto C. World Scientic, 2000.
Dado z0 , seja r > 0 tal que K :=
Br (z0 ) e Cr a fronteira de Br (z0 ). Qualquer
que seja z Br (z0 ), pela frmula de Cauchy, te-
R f (w) R f (w)
mos f (z) f (z0 ) = 2i 1
Cr wz
dw Cr wz 0
dw =
f (w)
zz0
.
R
2i Cr (wz)(wz0 )
dw
Se |z z0 | < r/2 e w Cr , ento |(w z)(w
z0 )| r2 /4, ento temos que |f (z) f (z0 )| =
f (w) Mk
| zz dw| | zz
R
2 || r 2 |L (Cz ) = |z
0 0
2i Cr (wz)(wz0 )

r , o que prova a equicontinuidade de F no

z0 | 4M
ponto z0 .

Teorema 3. (de Montel) Seja C aberto no va-

zio e F uma famlia de funes analticas f : C.
Ento F normal se, e somente se, qualquer sequn-
cia de funes de F contm uma subsequncia con-
vergente em todo compacto K .
Demonstrao:
Seja K C compacto. Denotaremos por F |K o
conjunto das funes de F restritas a K .

(): Suponha que F normal.

Sabemos que F equilimitado e pelo lema ante-

rior, sabemos que F equicontinuo, ento, segue do
teorema de Arzel-Ascoli que F |K relativamente
compacto, isto , toda sequncia de de funes em
F |K tem uma subsequncia convergente.

82