Un espacio compacto es una definición topológica general que abarca la noción más aplicable de un espacio métrico limitado.