Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ib/paper-2/2g/solution

Because is a bijection and is a metric,
is nonnegative, symmetric, obeys the triangle inequality, and vanishes exactly when . Hence it is a metric. Its open sets are precisely the inverse images under of -open sets in . Since is a homeomorphism, these are exactly the -open sets. Thus and are equivalent metrics.
Let
a homeomorphism , and define
This metric induces the standard topology on . However, the sequence is -Cauchy because . If it converged to , then continuity of would give , impossible. Therefore is not complete.

New to topics? Read the docs here!