Results 1 to 5 of 5

Math Help - Verify that it defines a distance

  1. #1
    Member thaopanda's Avatar
    Joined
    Sep 2009
    From
    Worcester, Massachusetts
    Posts
    85

    Verify that it defines a distance

    Verify that d : R^3 \times R^3 \rightarrow R given by d(X,Y) := \frac{|X-Y|}{1+|X-Y|} for X,Y \in R^3 defines a distance on R^3

    So, I haven't actually learned this yet in class... so I don't really understand what this is saying...
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,969
    Thanks
    1788
    Awards
    1
    Quote Originally Posted by thaopanda View Post
    Verify that d : R^3 \times R^3 \rightarrow R given by d(X,Y) := \frac{|X-Y|}{1+|X-Y|} for X,Y \in R^3 defines a distance on R^3
    So, I haven't actually learned this yet in class... so I don't really understand what this is saying...
    You must show three properties.
    \begin{gathered}<br />
  d(X,Y) = 0\text{ if and only if }X=Y \hfill \\<br />
  d(X,Y) = d(Y,X) \hfill \\<br />
  d(X,Y) \leqslant d(X,Z) + d(Z,Y) \hfill \\ <br />
\end{gathered}
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member redsoxfan325's Avatar
    Joined
    Feb 2009
    From
    Swampscott, MA
    Posts
    943
    Quote Originally Posted by thaopanda View Post
    Verify that d : R^3 \times R^3 \rightarrow R given by d(X,Y) := \frac{|X-Y|}{1+|X-Y|} for X,Y \in R^3 defines a distance on R^3

    So, I haven't actually learned this yet in class... so I don't really understand what this is saying...
    Quote Originally Posted by Plato View Post
    You must show three properties.
    \begin{gathered}<br />
  1.~d(X,Y) = 0\text{ if and only if }X=Y \hfill \\<br />
  2.~d(X,Y) = d(Y,X) \hfill \\<br />
  3.~d(X,Y) \leqslant d(X,Z) + d(Z,Y) \hfill \\ <br />
\end{gathered}
    The first two are trivial. The third may be a bit tricky to prove if you get hung up on the absolute value signs. All you need to know is that |X-Y| is a metric. It would be easiest to label them: |X-Y|=a, |Y-Z|=b, |X-Z|=c. You know from the triangle inequality that c\leq a+b.

    So now here's what you have to prove:

    \frac{c}{1+c}\leq\frac{a}{1+a}+\frac{b}{1+b}\impli  es\frac{a}{1+a}+\frac{b}{1+b}-\frac{c}{1+c}\geq0 given that c\leq a+b\implies a+b-c\geq0.

    Spoiler:
    Make common denominators and combine the fractions: \frac{a(1+b)(1+c)+b(1+a)(1+c)-c(1+a)(1+b)}{(1+a)(1+b)(1+c)}.

    You only have to show that the numerator is positive, as the denominator is clearly positive (because a,b,c>0).

    Multiply out the numerator: a(1+b)(1+c)+b(1+a)(1+c)-c(1+a)(1+b) =a+ab+ac+abc+b+ab+bc+abc-c-ac-bc-abc =a+b-c+2ab+abc

    Now we use the fact that a+b-c\geq0 to say that a+b-c+2ab+abc\geq 2ab+abc.

    Clearly 2ab+abc\geq0, because a, b, and c are all positive. So we're done.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member thaopanda's Avatar
    Joined
    Sep 2009
    From
    Worcester, Massachusetts
    Posts
    85
    that was a lot easier than I thought it was, thanks! I think it was all the R's and the wording that kinda threw me off
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member thaopanda's Avatar
    Joined
    Sep 2009
    From
    Worcester, Massachusetts
    Posts
    85
    actually, I'm still kinda lost on the third part... I don't really understand how to prove the triangle inequality
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Show that ||x||= d(x,0) defines a norm on V
    Posted in the Differential Geometry Forum
    Replies: 5
    Last Post: October 21st 2011, 10:54 PM
  2. Defines/describes
    Posted in the Algebra Forum
    Replies: 1
    Last Post: June 2nd 2010, 09:00 PM
  3. does it defines inner product..
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: October 6th 2009, 02:34 PM
  4. Replies: 1
    Last Post: December 23rd 2008, 10:47 PM
  5. Replies: 4
    Last Post: September 14th 2008, 01:57 PM

Search Tags


/mathhelpforum @mathhelpforum