Veja a demonstração de que $[0, 1]$ é compacto ([[lista:compactos#id0_1-10|aqui]]).