If (X,d) is a metric space (not defined), prove that (X,p) is a metric space defined by p(x,y) = d(x,y)/(1+d(x,y)).

I'm having trouble proving that p has the triangle equality property.

1st attempt:
I wrote d(x,z)/(1+d(x,z)) <= d(x,y)/(1+d(x,y)) + d(y,z)/(1+d(y,z)), multiplied the whole thing by (1+d(x,z))(1+d(x,y))(1+d(y,z)), then cancelled out as many terms as possible, but I only got d(x,z) <= d(x,y) + d(y,z) + 2d(x,y)d(y,z) + d(x,y)d(x,z)d(y,z).

I think it will be simpler to solve this problem by solving an analogous problem, that x <= y + z implies that x/(1+x) <= y/(1+y) + z/(1+z).

November 13th 2013, 09:10 AM

Plato

Re: Proving (X,p) is a metric space

Quote:

Originally Posted by HowDoIMath

If (X,d) is a metric space (not defined), prove that (X,p) is a metric space defined by p(x,y) = d(x,y)/(1+d(x,y)).
I'm having trouble proving that p has the triangle equality property.

That is always the tricky part. But it is simple algebra.
LEMMA: If then . Can you prove that?
HINT: add to both sides of

We know that therefore
Break that apart and drop one term in each denominator.

November 13th 2013, 09:12 AM

SlipEternal

Re: Proving (X,p) is a metric space

You know that and you want to show that .

Start with what you are given, and get to what you want:

Add in the extra terms to each side of the equation so that you can get:

Then the final step is to divide both sides by .

Then you have

To figure it out, you start with the conclusion and simplify. To prove the conclusion, you start with what you are given and work your way backwards through whatever work you did to simplify the expression. In other words, do the simplifications of the conclusion on scratch paper. It should not be part of the proof.

November 13th 2013, 01:04 PM

HowDoIMath

Re: Proving (X,p) is a metric space

Thanks SlipEternal. Looking back at the way I originally did it, I think I pretty much had it. All I had to do was show that if d was a metric, then d(x,z) <= d(x,y) + d(y,z) + 2d(x,y)d(y,z) + d(x,y)d(x,z)d(y,z) holds since d(x,y) + d(y,z) was inbetween, and this long ugly inequality is equivalent to p(x,z) <= p(x,y) + p(y,z) so it all works out.

November 13th 2013, 01:05 PM

HowDoIMath

Re: Proving (X,p) is a metric space

Plato that's what I did originally, but I didn't know what to do with that last inequality.

November 13th 2013, 01:38 PM

Plato

Re: Proving (X,p) is a metric space

Quote:

Originally Posted by HowDoIMath

Plato that's what I did originally, but I didn't know what to do with that last inequality.