Istituzioni di Analisi Matematica - Home Page degli Studenti di ...
Istituzioni di Analisi Matematica - Home Page degli Studenti di ...
Istituzioni di Analisi Matematica - Home Page degli Studenti di ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Versione e856994<br />
32 4. Teoremi fondamentali<br />
Enunciamo ora un teorema <strong>di</strong> compattezza che riguarda lo spazio<br />
C0(R n ) := {u ∈ C (R n ,C) | lim u(x) = 0}.<br />
|x|→∞<br />
Ricor<strong>di</strong>amo che, se B è un insieme, B c è il suo complementare.<br />
4.1.4 TEOREMA (<strong>di</strong> Ascoli-Arzelà) - Un sottoinsieme A ⊆ C0(R n ) ha chiusura compatta se e soltanto se valgono le<br />
seguenti proprietà:<br />
1. A equilimitato, ossia supu∈A u∞ < ∞;<br />
<br />
2. A equicontinuo, ossia supu∈A sup <br />
|y| n,<br />
allora x ∈ B(xn,rn) ⊆ Vn per la 4.3. Quin<strong>di</strong> x ∈ ∞ n=1 Vn. Per la 4.2, x ∈ W . Infatti,<br />
che ci dà la 4.1.<br />
x ∈ B(x1,r1) ⊆ W,<br />
4.2.2 OSSERVAZIONE - Passando ai complementari, si ottiene una formulazione equivalente del teorema <strong>di</strong><br />
Baire: