Is d(x,y) = |x^3 - y^3| a Valid Metric in X?

  • Context: Graduate 
  • Thread starter Thread starter mynameisfunk
  • Start date Start date
  • Tags Tags
    Metric
Click For Summary

Discussion Overview

The discussion centers around whether the function d(x,y) = |x^3 - y^3| qualifies as a valid metric on a set X. Participants explore the necessary conditions for a metric, specifically focusing on the triangle inequality, while considering various proofs and approaches.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant outlines the three conditions that must be satisfied for d to be a metric: positivity, identity of indiscernibles, and the triangle inequality.
  • Another participant suggests that the triangle inequality can be proven using properties of real numbers, referencing an external proof.
  • A different participant points out a misunderstanding regarding the application of the triangle inequality to the new metric, emphasizing the need for a specific proof for d(x,y) = |x^3 - y^3|.
  • One participant attempts to manipulate the expression |x^3 - y^3| to apply the triangle inequality but expresses uncertainty about the validity of their steps.
  • Another participant provides a potential solution using the triangle inequality but does not clarify whether it definitively proves d is a metric.

Areas of Agreement / Disagreement

Participants do not reach a consensus on whether d(x,y) = |x^3 - y^3| satisfies the triangle inequality, and thus whether it is a valid metric. There are competing views and approaches presented without resolution.

Contextual Notes

Participants express uncertainty about specific mathematical manipulations and the applicability of known inequalities to the proposed metric. There are unresolved steps in the proofs discussed.

mynameisfunk
Messages
122
Reaction score
0
Prove or disprove d is a metrix in [tex]X[/tex]:
[tex]d(x,y)=|x^3-y^3|[/tex]

OK, 3 conditions to meet:

(i) [tex]d(x,y)>0[/tex]
(ii) [tex]d(x,y)=0[/tex] iff [tex]x=y[/tex]
(iii) [tex]d(x,y) \leq d(x,r) + d(r,y)[/tex] for any [tex]r \epsilon X[/tex]

the first 2 are obvious and I have solved this by proving all of the cases:

[tex]r \leq x \leq y[/tex], [tex]x \leq r \leq y[/tex], etc.

My problem is that I know there is a better proof that is much shorter. My professor did it in class but I still had gotten the problem correct so didnt write it down. Any suggestions on a simpler way to do this?
 
Last edited:
Physics news on Phys.org
iii is applying the triangle inequality for real numbers, which is a metric. here is a proof of that: http://math.ucsd.edu/~wgarner/math4c/derivations/other/triangleinequal.htm
 
Last edited by a moderator:
I think joshyxc1979 has misunderstood the question. The link he provides gives a proof that the usual metric, d(x,y)= |x- y|, satisfies the triangle inequality. That says nothing about whether this new metric satisfies it.

mynameisfunk, try using the fact that [itex]|x^2- y^3|= |x- y||x^2+ xy+ y^2|[itex].[/itex][/itex]
 
ok.
[tex]|x^3-y^3| \leq |x^3-r^3| + |r^3-y^3|[/tex] gives
[tex]|x-y||x^2+xy+xy^2| \leq |x-r||x^2+xr+r^2| + |r-y||r^2+ry+y^2|[/tex]
since we know the usual metric |x-y| holds, we need to show that,
[tex]|x^2+xy+y^2| \leq |x^2+xr+r^2| + |r^2+ry+y^2|[/tex]
Now I am stuck, I am not sure If I am allowed to turn this into
[tex]|xy| \leq |xr|+|ry|[/tex]?
If I did, this wouldn't eve hold true. Also, since it is not true, I cannot add [tex]|xy| |xr| |ry|[/tex] to the terms to get squares...
 
For anyone still looking for the solution:

|a + b| <= |a| + |b|

d(x,y) = |x^3 + y^3| = |(x^3 - r^3) + (r^3 - y^3)| <= |x^3 - r^3| + |r^3 - y^3| =
d(x,r) + d(r,y)
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
2
Views
1K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K