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. esterniConsidero 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