1
$\begingroup$

If d is a real-valued function on $\mathbf X \times \mathbf X$ which for all x,y and z in $\mathbf X$ satisfies $ d(x,y)=0 \iff x=y $ $ d(x,y)+d(x,z) \ge d(y,z) $ show that d is a metric. Problem comes from Real analysis Haaser and Sullivan.

  • 2
    Welcome to Math StackExchange, drew. For future questions, especially ones which might require more work to solve, it's very much appreciated if you'll include some comments about what you've tried on your own before coming here here to ask for help.2012-10-29

2 Answers 2

2

All you need is to verify that $d(x,y)=d(y,x)$ and that $d$ is nonnegative. By the triangle inequality, $d(x,y)+d(x,x)\geq d(y,x)$ Subtract $d(x,y)$ from the left-hand side to see $0=d(x,x)\geq d(y,x)-d(x,y)$

Similarly, for non-negativity, $d(x,y)+d(x,y)\geq d(y,y)$ That is, $2d(x,y)\geq 0$.

  • 0
    Glad to help, @drew. As you see, you gave me an opportunity to remind myself that there are *four* axioms for a metric, so everybody wins!2012-10-29
2

In order to show that $d$ is a metric, you must show that it is symmetric, i.e., that $d(x,y)=d(y,x)$ for all $x,y\in\bf X$, and that $d(x,y)\ge 0$ for all $x,y\in\bf X$.

For any $x,y\in\bf X$ we have $d(x,y)+d(y,x)\ge d(y,x)$, so $d(x,y)\ge 0$.

HINT: If you apply both parts of your definition to the expressions $d(x,y)+d(x,x)$ and $d(y,x)+d(y,y)$ in the right way, you can conclude that $d(x,y)=d(y,x)$; I’ll leave that for you unless you ask for more help.

  • 0
    @drew: You’re welcome.2012-10-29