Solution

ID: past-exam-of-the-options-ii-for-mathematics-and-philosophy-course-of-the-university-of-oxford/2013/e3/a/iii/solution

If is closed in the complete ambient metric space, any Cauchy sequence in converges in by completeness, and its limit belongs to by part (i). Thus is complete with its restricted metric.
Conversely, suppose is complete and a sequence converges in to . A convergent sequence is Cauchy, also in the restricted metric, so completeness of gives for some . Uniqueness of a metric limit gives . Part (i) now makes closed. Hence

New to topics? Read the docs here!