I need to show that if (X,p) is a non-compact metric space, then there exists a metric p* equivalent to p such that (X,p*) is not complete.

I greatly appreciate your help!

Printable View

- Jul 10th 2009, 02:56 PMnubmathieChallenging Problem!!! (Equivalent Metrics)
I need to show that if (X,p) is a non-compact metric space, then there exists a metric p* equivalent to p such that (X,p*) is not complete.

I greatly appreciate your help! - Jul 10th 2009, 09:38 PMJose27
What is your definition of equivalent metrics? Mine is that they generate the same topology, but with that take an infinite set with the discrete metric then for any equivalent metric we have that for every there exists such that and so every Cauchy sequence in any equivalent metric is eventually constant and so it converges, therefore X is complete with any metric equivalent to the discrete metric.

- Jul 10th 2009, 10:15 PMnubmathie
You are right about the definition of equivalent metrics. But I'm trying to prove the statement for any metric p, not just the discrete metric.

- Jul 10th 2009, 10:42 PMJose27
- Jul 11th 2009, 04:40 AMLaurent
I can't agree with your counter-example; I think you should try to explicitate the part in red to see why it fails.

Consider the metric on defined by , and, for , . (This example corresponds to considering the subset with the usual topology of ). Since (open ball), this defines the discrete topology. Yet you can see that the sequence is a Cauchy sequence that doesn't converge. - Jul 11th 2009, 07:58 AMhalbard
Isn't completeness a property of metrics rather than of topologies?

For example, take with the usual metric . It is readily shown that is equivalent to the metric given by

.

Now is -complete but not -complete since is a -Cauchy sequence that does not converge to anything in . - Jul 11th 2009, 08:47 AMLaurent
- Jul 11th 2009, 10:09 AMnubmathie
Laurent's example is exactly the one I've thought of. Now we need to extend it to any compact metric spaces.

The idea is to assume WLOG that (X,p) is complete but not totally bounded. So we can take an unbounded sequence in (X,p), and make it Cauchy under p* by somehow contracting the distances. Since it was unbounded under p, intuitively it will be non-convergent under p*.

Or any other ideas? - Jul 14th 2009, 12:47 PMJose27
...Ouch.

Well, I was thinking of using something like Alexandroff's compactification by a point. Like when you identify with where and any sequence converging to (or ) is a Cauchy sequence in that doesn't converge in . So far no luck in generalizing though. Is there a natural metric on your compactification if it is made over a metric space? - Jul 15th 2009, 12:47 AMOpalg
I don't know of any straightforward explicit construction of a metric on the one-point compactification of a metric space, but you could use a metrization theorem to show that one must exist. The restriction of this metric to the original space would then provide a solution to the problem.

- Jul 15th 2009, 04:14 AMLaurent
This construction based on the one-point compactification will indeed work, but under some conditions. For instance the one-point compactification is not always Hausdorff (the base space needs to be locally compact for that) hence not metrizable. And Urysohn's theorem applies to second-countable spaces.

By browsing through the Wikipedia, it seems that Stone-Cech compactification (a many-points compactification) gives a Hausdorff compact space, but Urysohn's theorem probably doesn't apply... I haven't other clues anyway. - Jul 15th 2009, 06:00 AMOpalg
- Jul 15th 2009, 10:34 AMJose27
Okay, but the topology we induce on is not necessarily that of the ususal compactification: For example when we do the stereographic projection of on the topology we give to is is open in where is compact and .

- Jan 23rd 2010, 11:23 AMns1954
Two metrics and on same X are equivalent, if they produces same topologies, i.e. .

For general case, if the staments is true, remind that if isn't compact, he contain sequence with no convergent subsequences, but he must not be Cashy. So, question is here how to use this to construct equivalent non-complete metric in term of this sequences.