Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teorema de Arzel A-Ascoli
Teorema de Arzel A-Ascoli
a-Ascoli
Julian Haddad y Pablo Zadunaisky
Teorema 1 Sea X un espacio metrico compacto, Y un espacio metrico completo, y sea A un subconjunto del espacio metrico C(X, Y ). Entonces A es
compacto si y solo si A es equicontinuo y A(x) es compacto para todo x X,
en donde
A(x) := {f (x) : f A}.
La necesidad es facil; veamos la suficiencia.
Demostracion 1:
Supongamos que existe > 0 y Q un subconjunto infinito de A tales que si
f, g Q con f 6= g entonces d (f, g) > . Esto permite definir una funcion
: Q Q X dada por (f, g) = x, en donde x es cualquier elemento
tal que d(f (x), g(x)) > . Consideremos Q1 = Q, y elegimos cierta f1
Q1 . Inductivamente, supongamos que tenemos construido Qi un subconjunto
infinito de Q y sea fi Qi . Como X es compacto, existe gn Qi {fi } con
gn 6= gm para n 6= m y cierto xi X tales que ain := (fi , gn ) xi .
Como A es uniformemente equicontinuo, existe > 0 independiente de
xi tal que si d(x, xi ) < entonces d(f (x), f (xi )) < 4 para toda f A.
Ademas, existe n0 tal que si n n0 entonces d(ain , xi ) < . Definimos
Qi+1 = {gn : n n0 }, entonces Qi+1 es un subconjunto infinito de Qi .
Ademas, dada gn Qi+1 se tiene que
d(fi (ain ), gn (ain )) > ,
Demostracion 2:
Observemos que A es completo, pues C(X, Y ) es completo. Luego, basta
ver que A es totalmente acotado.
Sea > 0. Como X es compacto, A es uniformemente equicontinua;
luego existe > 0 tal que si d(x, y) < entonces d(f (x), f (y)) S
< 4 para toda
f A. Siendo X compacto, existen x1 , . . . , xn tales que X ni=1 B (xi ).
Por otra parte, para i fijo, como A(xi ) es compacto y
[
A(xi )
B 4 (f (xi )),
f A
mi
[
j=1
Luego, si f A entonces existe ji {1, . . . , mi } tal que d(f (xi ), fiji (xi )) < 4 .
Definimos G : A Nn dada por G(f ) = (j1 , . . . , jn ), con ji = ji (f ) como
antes. Observemos que si G(f ) = G(g), entonces para x X fijo elegimos
xi de modo tal que d(x, xi ) < , y se obtiene:
d(f (x), g(x)) d(f (x), f (xi )) + d(f (xi ), fiji (xi )) + d(fiji (xi ), g(xi ))
+d(g(xi ), g(x)) < .
Se deduce entonces que d (f, g) < . Por otra parte Im(G) es finito, pues
cada una de sus n coordenadas toma solo un conjunto finito de valores.
Tomemos H = {e(G1 (u)) : u Im(G)}, en donde e : P(A) es una
funcion selectora. Luego H es un conjunto finito, y ademas vale que
[
A
B (f ).
f H