Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $ (X_1, d_1) $ and $ (X_2, d_2) $ be metric spaces and $ (X_1^*,d_1^*), (X_2^*,d_2^*) $, respectively, their completions. If $ X_1 $ and $ X_2 $ are homeomorphic, then so are $ X_1^* $ and $ X_2^*$.

Is that statement true in general?

share|improve this question
6  
The classical example is that $\Bbb R$ and $(0,1)$ with the usual topology are homeomorphic, but one is complete and the other is not. –  Pedro Tamaroff May 10 at 22:51
2  
Completions depend on more than the topological structure, but less than the full metric structure. What they depend on is precisely the uniform structure (en.wikipedia.org/wiki/Uniform_space). –  Qiaochu Yuan May 11 at 0:42
3  
(This is one of several indications that the textbook definition of the category of metric spaces is wrong. Implicitly the morphisms are usually taken to be continuous maps, but to capture metric structure they should in fact be the distance-decreasing maps. In particular, completion is a functor on the latter category but not the former.) –  Qiaochu Yuan May 11 at 0:42

1 Answer 1

up vote 6 down vote accepted

No. Take $X_1:=(0,1)$ and $X_2:=\Bbb R$, both with the standard metric.

In $X_1$ there will be Cauchy sequences converging to the endpoints, but not in $X_2$.

share|improve this answer
    
I've reached my daily vote limit (+1). Another way to see that these two are not homeomorphic is to see that one is compact while the other is not. –  math.n00b May 10 at 22:51
    
@math.n00b what is compact? –  Ittay Weiss May 10 at 23:02
    
@IttayWeiss: The completion of $X_1$ is $[0,1]$ which is compact, while the completion of $X_2$ is $\mathbb{R}$ which is not compact because it's unbounded. My comment was a bit ambiguous, sorry for that. –  math.n00b May 10 at 23:04
    
@math.n00b :) now it all makes sense. –  Ittay Weiss May 11 at 0:47

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.