EDB — 0TQ

Exercises

1. [0TQ]If $(M_1,d_1)$ is complete then its image $𝜑(M_1)$ is a complete set in $M_2$; and therefore it is a closed in $M_2$.

   Solution 1

   [0TR]↺↻

   Consequently, if the isometry $𝜑$ is bijective and one of the two spaces is complete then the other is also complete.

   [ [0TS]↺↻]