Prove two metric spaces have the same open balls

[winter85]

Homework Statement

Let X be a metric space with metric d, and let d_{1} be the metric defined by d_{1}(x,y) = \frac{d(x,y)}{1+d(x,y)} . Show that the two metric spaces (X,d) and (X,d_{1}) have precisely the same open sets. Hint: show that they have the same open balls with one exception. What is this exception?

Homework Equations

The Attempt at a Solution

First I note that the function f(x) = \frac{x}{1+x} is continuous and monotically increasing, and that d_{1}(x,y) < d(x,y) for all distinct x and y.

I reasoned like this: Let S(x) be an open ball in (X,d) of center x and radius r. Then for all y in S(x), we have d(x,y) < r , therefore d_{1}(x,y) < \frac{r}{1+r} and so y is in an open ball centered at x with radius at most \frac{r}{1+r}. Let S'(x) be the open ball in (X,d_{1}) centered at x with radius \frac{r}{1+r}. So we have S(x) \subseteq S'(x)
Similarly, for all y in S'(x) we have d_{1}(x,y) < \frac{r}{1+r}, so d(x,y) < r hence y in S(x), therefore S'(x) \subseteq S(x). So we have that S(x) = S'(x) which means the two metric spaces have the same open balls.

It's easy to conclude that the two metric spaces have thus the same open sets, because every open set is the union of open balls.

Now I'm not very sure about this argument, so I hope anyone would point out the weaknesses or points that are wrong or need further justification. Also any hint about what this exception might be?

Thank you.

 

[Hurkyl]

(minor aside: did you verify that r/(r+1) exists, for all r?)

An oddity about your proof is that you used a different naming scheme for the open balls in (X,d) and (X,d1). (In what follows, I've deliberately chosen different names for my indeterminate variables) In (X,d), you chose a point a and a real number q, and used that to denote the ball

{v | d(q,v) < a}.​

However, in (X,d1), you chose a point c and a real number e, and used that to denote the ball

{w | d(c,w) < e/(e+1)}.​

Any particular reason for doing so? (Was it a conscious decision?) Do you have an argument that all balls in (X,d1) can be named by such a scheme?

 

[winter85]

I'm sorry but i don't see what you mean by this:

In (X,d), you chose a point a and a Real Number q, and used that to denote the ball

{v | d(q,v) < a}.

in (X,d), i chose a point a and a real number q and denoted the ball

S = {v | d(a,v) < q}. I picked a point v from this set. Then i chose an open ball S' of center a but under the metric d1, that contains the point v. Then I proved that if v' is a point in S', then it must be a point of S also. At least that was my working plan.

for an argument that all balls in (X,d1) can be named by

{w | d(c,w) < e/(e+1)},

e/(e+1) can be any arbitrarily chosen real number in the interval [0,1). the diameter of any set under the d1 metric is in the interval [0,1]. So the radius of any ball in (X,d1) must be in the set [0,1]. If it's less than 1, then it can be represented as e/(e+1) for some real number e. However if it is 1 then it cannot be represented in this way. This would happen when then ball we're considering in (X,d) is the entire set X, and the set X has infinite radius, right? But we know that the set X is an open ball in any metric, it is an open ball in both (X,d) and (X,d1).
I hope now my reasoning is clearer? I'm having trouble organizing my thoughts about this problem :(