Paper 4, Section II, E
(a) (i) Show that a compact metric space must be complete.
(ii) If a metric space is complete and bounded, must it be compact? Give a proof or counterexample.
(b) A metric space is said to be totally bounded if for all , there exists and such that
(i) Show that a compact metric space is totally bounded.
(ii) Show that a complete, totally bounded metric space is compact.
[Hint: If is Cauchy, then there is a subsequence such that
(iii) Consider the space of continuous functions , with the metric
Is this space compact? Justify your answer.
Typos? Please submit corrections to this page on GitHub.