The question comes from my friend. We had a long discussion but only got a complex answer. I wish to get a simply answer.
To be more precise,
Given two metrix spaces $ X $ and $ Y $, a (continuous) function $f \colon X \to Y$. The following conditions is equivalent.
- $ f $ maps Cauchy sequence to Cauchy sequence;
- for the completion $\hat{X}$ and $\hat{Y}$, there exists an continuous extension $\hat{f} \colon \hat{X} \to \hat{Y}$, that means, the restriction of $\hat{f}$ on $X$ is equal to $f$, and $\hat{f}$ is continuous.
My main doubts about this issue is it might not maintain Cauchy continuity. Because imaging the sequence on sequence is difficult for me.