Results 1 to 3 of 3

Math Help - Proving a function is a metric

  1. #1
    Junior Member
    Joined
    May 2007
    Posts
    33

    Proving a function is a metric

    Hello.

    I have the following function:

    d_1(x,y)=d(x,y)/(1+d(x,y))

    where d(x,y) is already a metric on some set X and I am asked to prove that d_1(x,y) is also a metric on X.

    It is easy enough to show that d_1(x,y) is symmetric and positive definite, however, I am having problems with showing that d_1(x,y) satisfies the triangle identity.

    I have tried a couple of different things (lots of algebra, transforming into a geo series, etc...) but either I keep on making mistakes or I am heading down the wrong path because I can never get it to reduce the way I want it too.

    Any hints would be very much appreciated.

    Thanks.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by mpetnuch View Post
    Hello.

    I have the following function:

    d_1(x,y)=d(x,y)/(1+d(x,y))
    We want to show,
    d_1(x,y)\leq d_1(x,z)+d_1(z,y)
    Iff,
    \frac{d(x,y)}{1+d(x,y)} \leq \frac{d(x,z)}{1+d(x,z)}+\frac{d(y,z)}{1+d(y,z)}
    Iff,
    d(x,y)(1+d(x,z))(1+d(y,z))  \leq d(x,z)(1+d(x,y))(1+d(y,z))+d(y,z)(1+d(x,y))(1+d(x,  z))
    Let A=d(x,y), \ B=d(x,z) , \ C=d(y,z).
    Thus,
    A(1+B)(1+C)\leq B(1+A)(1+C)+C(1+A)(1+B)
    Multiply,
    A+AB+AC+ABC\leq B+BC+AB+ABC+C+AC+BC+ABC
    Thus,
    A\leq (B+C) + (2BC+ABC)
    This is true because,
    A\leq B+C by triangle inequality.
    And you are adding 2BC+ABC a non-negative quantity thus it does not decrease.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    May 2007
    Posts
    33
    Thanks! I originally tired that but for some reason I didn't think to reuse the original T.I.!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Help with proving metric space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: March 4th 2012, 03:53 AM
  2. Proving a function is continuous in a metric spaces
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: December 30th 2011, 05:26 AM
  3. Proving Metric Spaces
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: May 5th 2010, 05:58 AM
  4. Proving a metric
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: January 17th 2010, 02:15 PM
  5. Question on proving distance formula is metric
    Posted in the Calculus Forum
    Replies: 2
    Last Post: December 1st 2007, 03:23 PM

Search Tags


/mathhelpforum @mathhelpforum