several equivalent definitions compactness '''definition''' set math e subset mathbb r math compact closed bounded definition also holds euclidean space finite dimension math mathbb r n math valid metric spaces general equivalence definition definition compactness based subcovers given later section known heine borel theorem general definition applies metric spaces uses notion subsequence see '''definition''' set math e math metric space compact every sequence math e math
Formal science Mathematics Pure mathematics Analysis Real analysis