3
$\begingroup$

A metric cone $C$ is a nonempty metric space (whose distance is denoted $d$) together with a map $\cdot\colon \mathbf{R}\times C \mapsto C$ satisfying these axioms:

  • $a\cdot(b\cdot x) = (ab)\cdot x$ for all reals $a$ and $b$, and all $x$ in $C$,

  • $d(a\cdot x;a\cdot y) = \vert a\vert d(x;y)$ for all real $a$ and all $x$ and $y$ in $C$,

  • $d(a\cdot x;b\cdot x) = \vert a-b\vert d(x;0)$ for all reals $a$ and $b$, and all $x$ in $C$, where $0$ denote $0\cdot x$ for any $x \in C$ (this definition is independent of the choice of $x$),

  • $d((a+a')\cdot x;(b+b')\cdot y) \leq d(a\cdot x;b\cdot y) + d((a'\cdot x;b'\cdot y)$ for all reals $a$, $b$, $a'$, and $b'$, and all $x$ and $y$ in $C$.

Those structures arise in my work about metric vector spaces. In some situations, I manage to prove the three first axioms, but not the fourth. So my question is:

Is the fourth axiom independent from the three other ones?

I have looked for a counterexample, and for a demonstration of the last axiom from the previous, but I failed in both attempts.

$\endgroup$

1 Answer 1

5
$\begingroup$

Yes, it is independent.

Consider function $f\colon \mathbb R^2\to \mathbb R_\ge$ defened the following way: $$f(x,y)=f(y,x)$$ and if $|y|\le |x|$ then $$f(x,y)=|x|+\min\{|y|,|y-\tfrac12{\cdot} x|\}.$$ Note that one can define a metric on the union of two coordinate lines $C=\{(x,y)\in \mathbb R^2\mid x{\cdot}y=0\}$ the following way: $$d((x,0),(y,0))=d((0,x),(0,y))=|x-y|$$ and $$d((x,0),(0,y))=f(x,y).$$

It is straightforward to check that your first axioms hold for $d$. Take $x=(1,0)$, $y=(0,1)$, $a=1$, $b=\tfrac12$, $a'=\tfrac12$ and $b'=1$. Then $$d((a+a')\cdot x;(b+b')\cdot y)=\tfrac32+\tfrac34>2.$$

On the other hand $$d(a\cdot x;b\cdot y) + d((a'\cdot x;b'\cdot y)=2.$$

$\endgroup$
3
  • $\begingroup$ I'm afraid your counter example doesn't work. I have not checked all the axioms (in particular the fact that $d$ is a distance) but the calculus of the last line is wrong. It should be replaced by : $$d(a.x;b.y)+d(a'.x;b'.y) = \frac{3}{2} + \frac{1}{2}+\frac{3}{4} > d((a+a').x;(b+b').y).$$ I'm sorry. Nevertheless, your method for finding a counter example is a good one, I've been looking this way for quite a long without any success. $\endgroup$
    – Larrieu
    Jan 19, 2012 at 18:50
  • $\begingroup$ $d((1,0),(0,\tfrac12))=f(1,\tfrac12)=1$. So each term in the last sum is 1... $\endgroup$ Jan 19, 2012 at 18:59
  • $\begingroup$ OK you are right. This counter example is difficult to find. Did you know it before, or you managed to find it so quickly ? $\endgroup$
    – Larrieu
    Jan 19, 2012 at 21:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.