29
$\begingroup$

We know from elementary school that the triangle inequality holds in Euclidean geometry. Some where in High School or in Univ., we come across non-Euclidean geometries (hyperbolic and Riemannian) and Absolute geometry where in both the inequality holds.

I am curious whether the triangle inequality is made to hold in any geometry( from the beginning) or is a consequence of some axioms. Presumably, the denial of the inequality would create havoc in that conceivable geometry.

Thanks.

$\endgroup$
3
  • 8
    $\begingroup$ It's certainly assumed as an axiom of any metric space. As there are non-metrizable topological spaces, perhaps you could think about how you might define a "geometry" on those. $\endgroup$
    – j.c.
    Apr 30, 2010 at 14:39
  • 11
    $\begingroup$ To properly answer your question, one would need to make precise what you mean by 'geometry'. $\endgroup$ Apr 30, 2010 at 14:53
  • 28
    $\begingroup$ Lorentz geometry is a classic example of a geometry without triangle inequality. $\endgroup$ Apr 30, 2010 at 15:58

11 Answers 11

33
$\begingroup$

There are people who seriously study quasi-normed spaces. The most natural examples are $\ell_p$ spaces for p strictly between 0 and 1 (the "norm" given by the usual formula and the distance given by the norm of the difference). Although these spaces do not satisfy the triangle inequality, you get an inequality of the form $\|x+y\|\leq C(\|x\|+\|y\|)$.

$\endgroup$
3
  • 2
    $\begingroup$ There are also similarly defined quasi-metrics, I've seen at least one paper that uses them as a tool. $\endgroup$ Apr 30, 2010 at 15:45
  • 1
    $\begingroup$ It might be worth noting, though, that in the space $\ell^p$ with $0<p<1$, if we don't take $p$th roots in defining the norm, then the triangle inequality still does hold. $\endgroup$ Oct 10, 2019 at 21:39
  • $\begingroup$ @paulgarrett Right by virtue of the concavity of $t\mapsto t^p$ eh. $\endgroup$
    – ABIM
    Jun 5, 2023 at 20:14
24
$\begingroup$

What do you mean by "denial"? There is the hoary old story of the researcher who wrote an entire thesis on the properties of antimetric spaces, ie spaces where $d(a,b) \ge d(a,c) + d(b,c)$ for all $a,b$ and $c$... without realising that any such space must consist of at most a single point!

$\endgroup$
5
  • 33
    $\begingroup$ That serves as a great cautionary tale appropriate to tell my students after I suggest that they consider two examples of everything! $\endgroup$ Apr 30, 2010 at 15:08
  • 8
    $\begingroup$ This sounds a lot like the story of the grad student who wrote his thesis on the properties of Holder-continuous functions with $\alpha > 1$. (The only such functions are the constant functions!) $\endgroup$ Apr 30, 2010 at 16:12
  • 2
    $\begingroup$ I wonder how old that story is. I certainly heard it when a graduate student in Warwick 'round about 2000 (and the person telling it claimed that the researcher was a former graduate student that they knew). $\endgroup$ Apr 30, 2010 at 18:53
  • 4
    $\begingroup$ I'm pretty sure that, in one of the trivia anthologised in “Lion-hunting and other mathematical pursuits” (amazon.com/Lion-Hunting-Other-Mathematical-Pursuits/dp/…), Boas assigns a name to the hapless lecturer. (I don't have my copy of the book to hand, and so can't check.) $\endgroup$
    – LSpice
    Apr 30, 2010 at 21:21
  • $\begingroup$ Really? If you just put $d=0$, then this is clearly true, no matter how many points you have. But I guess assuming $d$ has non-negative values (in an ordered abelian group) and that $d(a,a)=0$ for all $a$, $d=0$ is the only solution. $\endgroup$
    – tomasz
    Jun 17, 2020 at 16:06
19
$\begingroup$

Any geometry modelled on non-positive definite spaces will yield an example. As Sergei Ivanov mentioned in the comments, an $n$-dimensional Lorentz geometry is modelled on the indefinite space $\mathbb{R}^{1,n-1}$, and there are tangent vectors of negative norm, hence paths of negative length squared. These appear a lot in special and general relativity, where one direction is time, and the rest are space.

Another example is the root space of an affine Kac-Moody Lie algebra, which has a singular metric (i.e., there is a line that is perpendicular to everything). It embeds as the codimension 1 subspace of a Lorentz space that is perpendicular to a lightlike (i.e., nonzero norm 0) vector. Its geometry comes into play when considering the affine Weyl group, which acts on this space by reflections. For reasons of sanity, one typically studies the action by using the Lorentz embedding to extend it to a group of hyperbolic reflections that fix a boundary point, and considering the induced action on a horocycle (which has Euclidean geometry).

$\endgroup$
18
$\begingroup$

In Information Geometry, the Kullback-Liebler divergence is commonly used in the manner of a metric, but it does not satisfy the triangle inequality. It localizes to the Fisher Information Metric on the probability simplex, the interior of which is diffeomorphic to the geometry of the sphere with the inherited metric from Euclidean space under the map $x \mapsto 2\sqrt{x}.$ This geometry is used in evolutionary game theory to study natural selection.

There are many other information divergences that are not symmetric and do not satisfy the triangle inequality. You can form a divergence that does satisfy the triangle inequality.

$\endgroup$
3
  • 2
    $\begingroup$ I'd be interested in references to the work in evolutionary game theory. As an aside, the KL divergence is used extensively in machine learning, as well as in computer vision and (to a degree) in information retrieval. $\endgroup$ Apr 30, 2010 at 22:23
  • 3
    $\begingroup$ In evolutionary game theory the Fisher information metric is called the Shahshahani metric. See "Evolutionary Game Theory" by Hofbauer and Sigmund. The information divergence can be used to give a Lyapunov function for the replicator equation. I believe this goes back to Akin; others use an exponentiated form (e.g. Hofbauer and Sigmund). $\endgroup$
    – marc
    May 3, 2010 at 21:41
  • $\begingroup$ It's worth noting that KL is typically called divergence and not metric because it is not symmetric ! $\endgroup$
    – meh
    Oct 10, 2019 at 20:00
9
$\begingroup$

I just wanted to add that in the Lorentzian case, the triangle inequality gets reversed for a certain class of vectors (those with positive time component). Since the norm of a vector corresponds to the elapsed time measured by a clock moving along the vector, a physical consequence of this is the twin's paradox: by flying out in a spaceship from earth and then returning, you age less than if you had just stayed still.

$\endgroup$
7
$\begingroup$

The reverse triangle inequality|x+y|>|x|+|y| holds in the Minkowski Space of Special Relativity for two timelike vectors in the same direction. So geometries that deny the triangle inequality in some signficant way can be very important I guess.

$\endgroup$
6
$\begingroup$

A famous example of a geometry which violates the triangle inequality is $\ell_2^2$, namely the distance between two points is defined as the square of their Euclidean distance. There is also much interesrt in metric spaces that do satisfy the triangle inequality which are subsets of $\ell_2^2$. Those are called "metric spaces of negative types". (Indeed, sumetimes the notation $\ell_2^2$ refer to a metric space which is a subset of $\ell_2^2$ as defined above.) There was a conjecture by Goemens and by Linial asserting that every metric space in $\ell_2^2$ can be embedded with constant distortion into $\ell_1$. This was disproved in a spectacular paper by Khot and Vishnoi.

$\endgroup$
1
  • 1
    $\begingroup$ Since the poster hasn't defined 'geometry', this may be an unfair question; but in what sense is the geometry $\ell_2^2$ different from the geometry $\ell_2$? (For example, from the point of view of the Erlangen program, they aren't ….) $\endgroup$
    – LSpice
    Oct 10, 2018 at 19:03
5
$\begingroup$

The weak $L^p$ spaces, often denoted $L^{p,\infty}$, provide another class of commonly occurring function spaces for which the triangle inequality fails to hold. The most common of these is weak $L^1$ which is the set of all functions so that $\sup_{\alpha>0}\alpha\textrm{ }\mu(x:|f(x)|>\alpha)$ is finite. This quantity is called the weak-$L^1$ "norm" of $f$, though it is not a true norm because it does not satisfy the triangle inequality. The term "weak" is appropriate as every $L^1$ function is automatically in weak $L^1$ by Chebyshev's inequality; the function $1/x$ is in weak $L^1$, however.

These spaces arise when studying, for example, maximal operators, e.g. Hardy-Littlewood, and singular integral operators, e.g. the Hilbert transform. Both the Hardy-Littlewood maximal operator and the Hilbert transform are bounded from $L^p$ to $L^p$ for $p\in(1,\infty)$ but are not bounded $L^1$ to $L^1$. They are, however, bounded from $L^1$ to weak $L^1$. The weak Lebesgue spaces are very useful substitutes for the usual Lebesgue spaces because some interpolation theorems, e.g. the Marcinkiewicz interpolation theorem, allow one to interpolate between two weak estimates to produce strong estimates in between. So the fact that the Hardy-Littlewood maximal operator is bounded from $L^1$ to weak $L^1$ and $L^\infty$ to $L^\infty$ is enough to prove that it is bounded from $L^p$ to $L^p$ for $p\in(1,\infty)$.

$\endgroup$
1
  • $\begingroup$ There is a canonical norm that one can put on Lorentz spaces! $\endgroup$
    – LL 3.14
    Jan 4 at 8:10
4
$\begingroup$

There are a number of good answers from differential geometry, analysis, etc. But I suspect the questioner had axiomatic geometries in mind. So here's another take from that perspective.

There are two statements of the triangle inequality in plane geometry. (1) If A,B,C are noncollinear points, then $AC\lt AB+BC$; (2) If A,B,C are any three points, then $AC\leq AB+BC$.

In any system which includes a Ruler Postulate, (1) is stronger than (2). In neutral geometry (which includes all of the axioms of Euclidean geometry except the parallel postulate), statement (1) can be proven pretty directly from the SAS congruence postulate. (Does anyone know if they're equivalent in the presence of the other neutral geometry axioms?) Statement (2), on the other hand, is the one needed to show that the plane is a metric space, and is strictly weaker, as shown by the "taxicab geometry" mentioned above, which satisfies all of the postulates for neutral geometry except for SAS, and has property (2) but not property (1).

So, to summarize, the triangle inequality is true in neutral geometry, so any model of it (including the Euclidean and hyperbolic planes, etc.) will satisfy the triangle inequality. But of course we can consider weaker axiom systems in which models do not satisfy it (like taxicab).

$\endgroup$
3
$\begingroup$

In the Euclidean plane when equality holds in the triangle inequality the points lie along a line of the geometry (degenerate triangle). However, for the triangle inequality in the Taxicab Plane (distance given by sums of absolute values of the differences in the coordinates) points which do not lie along a line of the geometry can have the sum of two sides of a triangle with equal length to the third.

$\endgroup$
2
  • 1
    $\begingroup$ I might say rather that this means that lines in taxicab geometry are not Euclidean lines. $\endgroup$
    – LSpice
    Apr 30, 2010 at 21:35
  • $\begingroup$ The way the Taxicab Plane is defined is that the points are ordered pairs of real numbers and lines are, as in the Euclidean plane, the linear equations. All the only axiom of Euclidean geometry that Taxicab Geometry fails to satisfy is the triangle congruence axiom. $\endgroup$ May 1, 2010 at 1:01
3
$\begingroup$

Last-passage percolation is a model of random geometry on the lattice which satisfies a superadditive inequality (a reverse triangle inequality). On the lattice $\mathbb Z^2$, define a passage time $t_b \ge 0$ for each bond $b$ of the lattice. These are typically chosen to be i.i.d. random variables, but they don't have to be.

Define the up-right ordering $\le$ on $\mathbb Z^2$ by $z \le z'$ if $z_1 \le z_1'$ and $z_2 \le z_2'$. Then the last-passage time between two points $z \le z'$ on $\mathbb Z^2$ is $$\tau(z,z') = \max_{\gamma} \sum_{b \in \gamma} t_b,$$ where the maximum is taken over all directed up-right paths between $z$ and $z'$. The last-passage time satisfies a reverse triangle inequality: $$\tau(z,z') \ge \tau(z,w) + \tau(w,z')$$ if $z \le w \le z'$.

$\endgroup$

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.