We prove equivalent characterizations of compact metric spaces. If you work in analysis, the general topological definition of compactness is inadequate to prove results dealing with compact subsets in a metric space. This lecture give an easy proof of a standard result.
