You are on page 1of 4

O Teorema de Arzel-Ascoli e Aplicaes Anlise

Max Reinhold Jahnke1 ,


Manuel Valentin Pera Garcia (orientador) 2

and

Sonia Regina Leite Garcia (orientadora) 3

tn
2 tn
xn (t) :=

1 Universidade de So Paulo (USP), Brazil

jahnke@usp.br

2 Universidade de So Paulo (USP), Brazil

mane@ime.usp.br

sonia@ime.usp.br

Introduo

Lema 1. Sejam K um espao compacto, M um es-

O teorema de ArzelAscoli muito importante para


a anlise funcional, pois ele determina quais so as
condies necessrias e sucientes para que um conjunto de funes de espao compacto, com valores
em um espao mtrico, seja compacto. A principal
condio a equicontinuidade do conjunto de funes.
Foi Ascoli quem encontrou as condies sucientes para a compacidade e Arzel quem estabeleceu as
condies necessrias, porm foi Frchet quem generalizou o teorema para qualquer espao onde a noo
de limite faa sentido.
Pretendemos apresentar duas aplicaes muito interessantes do teorema de Arzel-Ascoli uma a teoria
das equaes diferenciais, o teorema de Peano e outra a Anlise Complexa, o teorema de Montel.
2.

0 t 1/n
1/n t 2/n
2/n t

A sequncia (xn )nN no equicontnua. De fato,


tomando  = 1/2, qualquer que seja > 0, pela propriedade arquimediana, existe n0 N tal que 1/n0 <
, logo d(xn0 (0), xn0 (1/n0 )) = d(0, 1) = 1 > .

3 Universidade de So Paulo (USP), Brazil

1.

Exemplo 1. Para cara n N, seja xn : [0, 1] R


denida por

pao mtrico e (fn )nN uma sequncia em C (K, M )


equicontnua, que converge pontualmente para a funo f . Nestas condies, f contnua e (fn ) converge
uniformemente para f.

Demonstrao:
Primeiro vamos provar que a funo limite contnua em x0 K : qualquer que seja  > 0, pela convergncia 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 .

O Teorema de Arzel-Ascoli

Iniciaremos essa seo apresentando alguns conceitos e resultados importantes para enunciarmos e demonstrarmos o Teorema de Arzel-Ascoli.

Agora vamos provar que (fn ) converge uniformente para f : qualquer que seja  > 0, pela equicontinuidade 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 , portanto a convergncia uniforme. 

Denotaremos por C (X, Y ) o conjunto de todas as


funes f : X Y contnuas. Quando X for compacto 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 equicontnua 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.

79

Denio 2. Seja X um espao topolgico. Dize-

e ento, pelo lema anterior, sabemos que tal convergncia uniforme e concluimos que H completo.

mos que H X relativamente compacto se H


compacto.

Agora vamos provar que H totalmente limitado: qualquer que seja  > 0, como H equicontnuo, 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 ) relativamente 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. 

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} relativamente compacto.
Demonstrao:
(): Suponha que H relativamente compacto.
Primeiro vamos demonstrar que H(x) relativamente compacto: de fato, a funo hx : C (K, M )
M denida por hx (f ) := f (x), f C (K, M ) contnua, 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, temos que H(x) relativamente compacto.

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 ).

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.

Demonstrao:
Como f continua e S compacto, existe M > 0
tal que, |f (x, y)| < M , para todo (x, y) S . Deb
, a}. A escolha de a car clara
nimos a = min{ M
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:

(): 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.

yn (x) :=

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 ,

y0
y0 +

x I1
Z

xa/n

f (t, yn (t))dt

x I1 , .., In

x0

Note que se x Ir , ento yn (x) est denida 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
M dt = M |x a/n x0 | M a b, portanto
x0
yn est bem denida e ainda contnua.

80

Alm disso, como cada fn contnua existem


M1 , ..., Mn0 reais tais que |fn (x, y)| < Mn , para
n = 1, 2, ..., n0 .
Denindo M = max{Mf + 1, M1 , ..., Mn0 }, temos
que, qualquer que seja (x, y) S, |f (x, y)| < M e
|fn (x, y)| < M .
Seja a = b/M e para simplicar a notao, vamos
assumir a = a.
Como cada fn continuamente diferencivel,
usando o teorema da desigualdade do valor mdio
concluimos que cada fn tambm lipschitziana, ento, pelo teorema da existncia de Cauchy, para
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.

A sequncia (yn ) equicontnua, de fato,


R xa/n
|yn (x) yn (z)|
=
| x0
f (t, yn (t))dt
R za/n
R xa/n
f (t, yn (t))dt| = | x0
f (t, yn (t))dt +
Rxx00
R xa/n
f (t, yn (t))dt| = | za/n f (t, yn (t))dt|
za/n
M |x z|.
Aplicando o Teorema de Arzel-Ascoli, sabemos
que {yn ; n N } relativamente compacto, portanto
a sequencia (yn ) tem uma subsequncia (ynk )kN
convergente.
Denimos u(x) := limk ynk (x), para todo x
I0 . Vamos mostrar que u soluo de y 0 = f (x, y).
Por denio,
temos ynk
=
y0 +
R xa/nk
Rx
f (t, ynk (t))dt = y0 + x0 f (t, ynk (t))dt +
0
Rxxa/n
k
f (t, ynk (t))dt.
x
Rx
Perceba que limk x0 f (t, ynk (t))dt
=
Rx
R xa/nk
f (t, u(t))dt e que 0 | x
f (t, ynk (t))dt|
x0
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) =
f (x, u(x)) e u(x0 ) = y0 .

Vamos mostrar que {yn : n N} relativamente


compacto em C ([x0 a, x0 + a], [y0 b.y0 + b]). Pelo
teorema de Arzel-Ascoli, suciente demonstrar
que {yn : n N} equicontnuo e que o conjunto
{yn (x) : n N} relativamente compacto, para todo
x [x0 a, x0 + a].
Para todo x [x0 a, x0 + a], o conjunto {yn (x) :
n N} limitado pois subconjunto de [M a, M a]
e portanto relativamente compacto.

Analogamente, podemos denir u em [x0 a, x0 ].


O teorema de Peano admite tambm uma outra
demonstrao, que usa dois resultados da Topologia
que so muito teis para a Anlise, esses resultados
so o teorema do ponto xo de Banach e o teorema
de Stone-Weierstrass.
Com o teorema do ponto xo de Banach, podemos
provar que se R2 aberto e f : R uma
funo contnua lipschitziana na segunda varivel,
ento o problema do valor inicial, y 0 = f (t, y), com
y(x0 ) = y0 admitide uma nica soluo. Esse resultado chamado de teorema de existncia de Cauchy.
O teorema de Stone-Weierstrass garante que toda
funo contnua a valores reais, denidas num subconjunto compacto K R o limite de uma sequncia de polinmios uniformemente convergente em K .
Para uma demonstrao destes resultados, sugerimos
o livro [1].

Dados x1 , x2 [x0 a, x0 + a],Rqualquer que seja


x
yn , temos |yn (x1 ) yn (x2 )| = | x01 fn (t, yn (t)dt
R x1
R x2
f (t, yn (t)dt|
=
| x0 fn (t, yn (t)dt +
R x1
Rxx00 n
f (t, yn (t)dt| = | x2 fn (t, yn (t)dt| < M |x2 x1 |,
x2 n
logo {yn : n N} equicontnuo
Portanto yn tem uma subsequncia (ynk )kN convergente em C ([x0 a, x0 + a], [y0 b.y0 + b]) para
uma funo y .
Para mostrar que y a funo
R x que procuramos,
basta mostrar que y(x) = y0 + x0 f (t, y(t))dt.
Para simplicar a notao, a subsequncia (ynk )
ser representada por (yn ).
Rx
Usando o fato y0 = yn (x) x0 f (t, yn (t))dt, soRx
mando e subtraindo x0 f (t, yn (t))dt e usando a desigualdade triangular, chegamos a:
Rx
|y(x) y0 + x0 f (t, y(t))dt| |y(x) yn (x)| +
Rx
Rx
| x0 fn (t, yn (t)) f (t, yn (t))dt| + | x0 f (t, yn (t))
f (t, y(t))dt|.
Portanto, qualquer que seja  > 0, existe n0 natural tal que, se n > n0 , ento:
|y(x) yn (x)| < , pois (yn ) converge uniformemente para para y .
(x, yn (x) f (x, y(x))| < /a e portanto
R |f
x
| x0 fn (t, yn (t)) f (t, yn (t))dt| < , pois (fn ) converge uniformemente para f .

Segunda demonstrao do teorema de Peano:


Pelo teorema de Stone-Weierstrass, f pode ser uniformemente aproximada por uma sequncia (fn ) de
funes continuamente diferenciveis.
Como f contnua e S compacto, existe Mf tal
que |f (x, y)| < Mf , para todo (x, y) S e como (fn )
converge uniformemente para f , existe n0 N tal
que se n > n0 , ento |f fn | < 1, ento |fn (x, y)| <
Mf + 1, para todo (x, y) S .

81

(t, y(t)) f (t, yn (t))| < /a e portanto


R |f
x
| x0 f (t, y(t)) f (t, yn (t))dt| < , pois f contnua.
Como queramos. 

(): Suponha que toda sequncia de funes de


F |K tenha uma subsequncia convergente.
Como F |K compacto, pelo teorema de ArzelAscoli, 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 recobrimento 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 . 

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 compacto K , existe Mk 0 tal que |f (z)| Mk ,
para todo z K . Nestas condies a famlia F
dita uma famlia normal.

Referncias

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


IMPA, 1976.
[2] Walter Rudin, Principles of mathematical analysis,
McGraw-Hill, 1976.
[3] Carlos R. Borges, Elementary topology and applications,
World Scientic, 2000.

Lema 2. Toda famlia normal de funes analticas


equicontnua.

Demonstrao:
Seja F uma famlia normal de funes analticas
denidas no aberto C.
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, teR f (w)
R f (w)
1
mos f (z) f (z0 ) = 2i
dw =
dw Cr wz
Cr wz
0
R
f (w)
zz0
dw
.
2i
Cr (wz)(wz0 )
Se |z z0 | < r/2 e w Cr , ento |(w z)(w
z0 )| r2 /4, ento temos que |f (z) f (z0 )| =
R
f (w)
Mk
0
0
| zz
dw| | zz
2i
2 || r 2 |L (Cz ) = |z
Cr (wz)(wz0 )
z0 | 4M
r , o que prova a equicontinuidade de F no
ponto z0 .

Teorema 3. (de Montel) Seja C aberto no vazio e F uma famlia de funes analticas f : C.
Ento F normal se, e somente se, qualquer sequncia de funes de F contm uma subsequncia convergente 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 anterior, 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