Teorema

Se è compatto, allora lo è anche per punti di accumulazione
Non vale il viceversa

Dimostrazione

Poichè non ha p.ti di acc. ogni p.to di è isolato risp. a .
In particolare un intorno aperto t.c.
è chiuso in
poichè non contiene p.ti di acc. esterni

Considero la famiglia
è un ricoprimento aperto di .

è il complementare di . (è aperto)
Ogni copre esattamente
Per ipotesi è compatto un sottoricoprimento finito di
t.c.
Ma è finito da cui l’assurdo