Proof That Compact Metric Spaces Are Complete
A compact metric spaceis complete.
Supposeis a countable family of closed, nonempty subsets of X such that
Letbe a Cauchy sequence in X.
and so on.
Thenandand all theare closed, nonempty subsets of Hence
Letand takethen there existssuch that for
Hence X is complete.