Paper 4, Section II, E
Explain what it means for a metric space to be complete.
Let be a metric space. We say the subsets of , with , form a descending sequence in if .
Prove that the metric space is complete if and only if any descending sequence of non-empty closed subsets of , such that the diameters of the subsets converge to zero, has an intersection that is non-empty.
[Recall that the diameter of a set is the supremum of the set :
Give examples of
(i) a metric space , and a descending sequence of non-empty closed subsets of , with converging to 0 but .
(ii) a descending sequence of non-empty sets in with converging to 0 but .
(iii) a descending sequence of non-empty closed sets in with .
Typos? Please submit corrections to this page on GitHub.