We motivate the concept of compact sets on Euclidean space with norms, support of functions, and finite sets. We also prove the Heine-Borel theorem and introduce the notions of topological and sequential compactness.