Por el teorema de Heine-Borel, un espacio métrico es compacto si y sólo si es completo y totalmente acotado.