non è compatto
Consideriamo la famiglia di insiemi .
Tale famiglia è un ricoprimento di , ma non esiste una sottocollezione finita di che ricopre , dunque non è compatto
Esempio
L’insieme è compatto.
Infatti, presa una collezione ricoprimento di , risulta che dove è aperto, quindi intorno di .
Essendo intorno di , conterrà infiniti elementi di , e un numero finito di elementi di rimarranno fuori, cioè non sono inclusi in . Dunque posso considerare la collezione finita di insiemi che ricopre i restanti punti di .
Ho trovato dunque una collezione finita che ricopre , pertanto quest’ultimo è compatto.