28.05.2013 Views

(pp. 0-80).pdf - Dipartimento di Matematica

(pp. 0-80).pdf - Dipartimento di Matematica

(pp. 0-80).pdf - Dipartimento di Matematica

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Gianni Gilar<strong>di</strong> Elementi <strong>di</strong> Topologia e <strong>di</strong> Analisi Funzionale<br />

Esempio 1.6. Nessun sottoinsieme illimitato E ⊆ R N è compatto. Consideriamo<br />

infatti il ricoprimento aperto R <strong>di</strong> E costituito da tutte le palle <strong>di</strong> raggio 1 aventi i<br />

centri nei punti <strong>di</strong> E . Siccome ogni famiglia finita R ′ ⊆ R ha unione limitata, se E<br />

non è limitato nessuna <strong>di</strong> tali famiglie può ricoprire tutto E .<br />

Per verificare che l’insieme illimitato E ⊆ R N non è compatto per successioni<br />

basta osservare che esso contiene una successione {xn} <strong>di</strong>vergente (in modulo) e che<br />

da questa non è possinile estrarre successioni convergenti.<br />

L’ipotesi <strong>di</strong> compattezza è ricca <strong>di</strong> conseguenze, ma qui ci dobbiamo limitare a<br />

pochi risultati fra i più importanti. Notiamo che alcuni <strong>di</strong> questi fanno intervenire la<br />

proprietà <strong>di</strong> separazione <strong>di</strong> Hausdorff che, dunque, non riguarda solo l’unicità del limite.<br />

Teorema 1.7. Siano X uno spazio topologico e K ⊆ X . Se X è compatto e K<br />

è chiuso, allora K è compatto. Se X è <strong>di</strong> Hausdorff e K è compatto, allora K<br />

è chiuso.<br />

Cenno della <strong>di</strong>mostrazione. Per la prima parte fissiamo un ricoprimento aperto<br />

R <strong>di</strong> K . Allora è un ricoprimento aperto <strong>di</strong> X quello ottenuto aggiungendo a R<br />

l’aperto X \ K . Estratto da questo un ricoprimento finito <strong>di</strong> X , si arriva facilmente a<br />

un ricoprimento finito <strong>di</strong> K estratto da R .<br />

Per la seconda parte fissiamo x ∈ X \ K . Per ogni y ∈ K troviamo due intorni<br />

aperti Ay <strong>di</strong> y e By <strong>di</strong> x <strong>di</strong>sgiunti. Consideriamo il ricoprimento <strong>di</strong> K costituito da<br />

tutti gli aperti Ay costruiti ed estraiamo un sottoricoprimento finito. Ciò corrisponde<br />

a considerare gli aperti Ay relativi a un numero finito <strong>di</strong> scelte del tipo y = yi ∈ K ,<br />

i = 1, . . . , m . Allora l’intersezione dei Byi è un intorno <strong>di</strong> x <strong>di</strong>sgiunto da K .<br />

Teorema 1.8. Siano X1 e X2 due spazi topologici e X = X1 × X2 il loro prodotto,<br />

munito della topologia prodotto. Siano inoltre E1 ⊆ X1 e E2 ⊆ X2 due sottoinsiemi<br />

compatti degli spazi dati. Allora E1 × E2 è un sottoinsieme compatto <strong>di</strong> X . In<br />

particolare, se X1 e X2 sono compatti, anche X è compatto.<br />

Risultati perfettamente analoghi valgono per la compattezza per successioni. Del<br />

risultato successivo, particolarmente rilevante, <strong>di</strong>amo le due versioni corrispondenti ai<br />

due tipi <strong>di</strong> compattezza.<br />

Teorema 1.9. Siano X e Y due spazi topologici, K ⊆ X e f : E → Y . Allora<br />

valgono le conclusioni seguenti: (i) se K è un sottoinsieme compatto <strong>di</strong> X è f è<br />

continua, l’immagine f(K) è un sottoinsieme compatto <strong>di</strong> Y ; (ii) se K è un sottoinsieme<br />

sequenzialmente compatto <strong>di</strong> X è f è sequenzialmente continua, l’immagine<br />

f(K) è un sottoinsieme sequenzialmente compatto <strong>di</strong> Y .<br />

Cenno della <strong>di</strong>mostrazione. Sia R un ricoprimento aperto <strong>di</strong> f(K) . Allora è un<br />

ricoprimento aperto <strong>di</strong> K la famiglia costituita dalle controimmagini degli elementi<br />

<strong>di</strong> R . Estratto da questa un ricoprimento finito <strong>di</strong> K , si arriva facilmente a estrarre<br />

da R un ricoprimento <strong>di</strong> f(K) .<br />

Per la seconda parte, sia {yn} una successione <strong>di</strong> elementi <strong>di</strong> f(K) . Scelti xn ∈ K<br />

tali che f(xn) = yn ed estratta dalla successione {xn} una sottosuccessione convergente,<br />

si conclude facilmente.<br />

Capitolo V: Compattezza 46

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!