Is this a Metric Space in R x R?

[TimNguyen]

Hi.

I was trying to figure out if the following is a metric space in R x R (Cartesian product).

D[(x1,y1),(x2,y2)] = min( abs(x1-x2), abs(y1-y2) )

I know there are four properties to confirm that the following is a metric space but I'm having trouble with the "triangle inequality" for the distance function.

So, I have D[(x1,z1),(x2,z2)] should be less than or equal to D[(x1,y1),(x2,y2)] + D[(y1,z1),(y2,z2)].

D[(x1,z1),(x2,z2)] = min( abs(x1-x2), abs(z1-z2) ) and basically I'm stuck on the next step. How do I configure it such that I could put it in the form of D[(x1,y1),(x2,y2)] + D[(y1,z1),(y2,z2)]?

 

[TimNguyen]

Anybody could help...?

 

[quantumdude]

This isn't my area of expertise, but here's a suggestion: Try to reduce your problem to triangle inequalities involving distances in $\mathbb{R}$. First let $|x_1-x_2| \leq |y_1-y_2| \leq |z_1-z_2|$. In that case we have:

$d[(x_1,y_1),(x_2,y_2)]=|x_1-x_2|$
$d[(x_1,z_1),(x_2,z_2)]=|x_1-x_2|$
$d[(y_1,z_1),(y_2,z_2)]=|y_1-y_2|$

At this point you can set up the triangle inequalities for the absolute values from the right hand sides, and then appropriately substitute the metric functions from the left hand sides.

 

[Hurkyl]

If you're having trouble proving something, try looking for a counterexample! Even if you can't find one, the search might help you figure out the missing step of your proof.

 

[AKG]

One thing the triangle inequality says is that if you have a right-angled triangle, then the "length of the hypoteneuse" (by length I mean D(x,y), where x and y are the endpoints of the hypoteneuse) is less than or equal to the sum of the lengths of the other two sides of the triangle. Is this the case for your D?

 

[benorin]

I have an analysis book in which a distance function like the one you gave, only with max instead of min, is a metric, if that helps
.

 

[benorin]

It's NOT a metric, it's not positive definite. For if x1=x2 and y1 > y2, then D[(x1,y1),(x2,y2)] = 0 but (x1,y1) does not equal (x2,y2).