There are multiple definition on whether a metric space is compact.
Sequentially Compact
A metric space is sequential compact iff every sequence in
With sequentially compact set, we can get Heine-Borel theorem to work under metric space.
Topological Compact
A metric space is compact
Continuous Maps Preserve Compactness
Let