Proving the Metric Property of d(x,y)=|x3-y3) for a Given Function

mynameisfunk
Messages
122
Reaction score
0

Homework Statement



prove that the given function is a metric, or give a counterexample to show how it fails to be a metric: d(x,y)=|x3-y3|

Homework Equations



ok, out of the 3 requirements to be a metric, 2 are trivial. The third is to prove the triangle inequality holds: d(x,y)\leqd(x,z)+d(z,y)

should i just go through the different cases of x<y<z , x<z<y , z<x<y?? and if the inequality holds true for all of them I am done? I feel like there must be a better way to take care of this... Oh, and please don't spoil the question for me. Thanks
 
Physics news on Phys.org
As you have written the inequality to prove, you may assume x \leq y since otherwise you can just switch the positions of the two variables. You still have to consider further cases but this should simplify the problem slightly.
 
since i already have that |x-y|\leq|x-z|+|z-y| is a metric space, there must be a real direct way to show this holds true also right?
 
Yes, well precisely that is the triangle inequality for the usual metric on the reals. You're still working with the usual metric on R, so try to use the same triangle inequality you just wrote, except with each variable replaced by its cube.
 
I don't see another case other than the 3 in my first post assuming that x\leqy
 
mynameisfunk said:
I don't see another case other than the 3 in my first post assuming that x\leqy

There's no cases necessary. snipez90 already told you how to do it directly. This is a LOT easier than you think it is.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top