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.