Apunts d’Anàlisi Real
Anà lisi real - Departament de Matemà tica Aplicada IV - UPC
Anà lisi real - Departament de Matemà tica Aplicada IV - UPC
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
26 Espais de funcions contínues<br />
on hem emprat la convergència uniforme per al primer i tercer termes i la continuïtat de f n per<br />
al segon terme. En qualsevol cas, existeix δ > 0, que depén només de ɛ, tal que si x, y ∈ K amb<br />
|x − y| < δ llavors<br />
|f k (x) − f k (y)| < ɛ ∀k.<br />
Podem combinar les dues proposicions en un sol resultat<br />
□<br />
). Si la suc-<br />
Teorema 2.6 Sigui K compacte i sigui (f n ) una successió de funcions de C(K,<br />
cessió és uniformement convergent llavors el conjunt<br />
F = {f n }<br />
és equicontinu i uniformement fitat.<br />
2.3 Teorema d’Arzelà-Ascoli<br />
Ens preguntem ara si les condicions necessàries per la convergència uniforme que teniem en el<br />
darrer teorema són també suficients. La resposta és afirmativa i s’expressa en la següent<br />
Proposició 2.7 Qualsevol successió de funcions equicontínua i uniformement fitada en un compacte<br />
té una parcial uniformement convergent.<br />
Demostració. Suposem que {f n } satisfà les hipòtesis de la proposició. Tindrem, del fet<br />
que és uniformement fitada, que existeix α tal que<br />
||f n || < α ∀n.<br />
Sigui {b n } una successió de punts fixada, però arbitrària, que formi un conjunt B dens en el<br />
conjunt compacte. Sigui la successió de funcions avaluada sobre el primer punt:<br />
f 1 (b 1 ), f 2 (b 1 ), f 3 (b 1 ), . . .<br />
Com que això és una successió fitada de reals (noteu que sols emprem que {f n } és puntualment<br />
fitada), contindrà una parcial convergent<br />
f 1,1 (b 1 ), f 1,2 (b 1 ), f 1,3 (b 1 ), . . .<br />
Si aquestes mateixes funcions les avaluem en el segon punt tindrem una nova successió fitada de<br />
reals<br />
f 1,1 (b 2 ), f 1,2 (b 2 ), f 1,3 (b 2 ), . . .<br />
que al seu torn contindrà una parcial convergent<br />
f 2,1 (b 2 ), f 2,2 (b 2 ), f 2,3 (b 2 ), . . .<br />
D’aquesta manera podrem construir una família de successions de funcions<br />
amb les següents propietats<br />
σ 1 (x) : f 1,1 (x), f 1,2 (x), f 1,3 (x), . . .<br />
σ 2 (x) : f 2,1 (x), f 2,2 (x), f 2,3 (x), . . .<br />
σ 3 (x) : f 3,1 (x), f 3,2 (x), f 3,3 (x), . . .<br />
.<br />
Carles Batlle i Enric Fossas 2002