4
$\begingroup$

At least in Euclidean geometry and the upper half plane model of hyperbolic geometry, the statements '$y$ lies on the line segment determined by $x$ and $z$ ' and '$d(x,y)+d(y,z)=d(x,z) $' are equivalent.

I wonder whether this characterization holds in other geometries and whether it has a name to it. Do geometries with this relation have some special properties?

I also think it is somehow related to the notion of uniform convexity in Banach spaces, but that is a different problem since we don't ask for vector space sturcture here.

Any insight or reference would be helpful! Thanks!

  • 0
    A Banach space with this property is called rotund, which means that the unit sphere contains no straight line segments, or equivalently every point of the unit sphere is an extreme point. I think you will find this is a weaker property than uniform convexity.2012-02-25
  • 0
    @martin. take the sup norm on $\mathbb{R}^2$, so $\|(x, y)\|$ is the larger of $|x|$ and $|y|$. Then equality holds in the triangle inequality for $x = (0, 0)$, $y = (1, a)$ and $z = (2, 0)$ for any $a$ with $-1 \le a \le 1$, but $y$ is only on the line segment $[x, z]$ if $a = 0$.2012-02-25
  • 0
    @Rob: my bad. I was thinking only of the implication $\Rightarrow$2012-02-25

1 Answers 1