nLab triangle inequality




The key conditions on a distance function for metric spaces and on norms on normed vector spaces is that the distance d(x,z)d(x,z) between any two points x,zx,z is no larger than the sum of the distances d(x,y)+d(y,z)d(x,y) + d(y,z) via any third point yy

d(x,z)d(x,y)+d(y,z). d(x,z) \leq d(x,y) + d(y,z) \,.

For the usual metric/norm on Euclidean space and ff and gg two edges of a triangle

y f g x f+g z \array{ && y \\ & {}^{\mathllap{f}}\nearrow && \searrow^{\mathrlap{g}} \\ x && \underset{f + g}{\longrightarrow} && z }

then this inequality expresses that the straight path from xx to zz is always shorter or at worst as long as the path from xx to zz via yy.

However, normed fields and hence normed vector spaces for which this example gives the correct intuition are rare among all normed fields and vector spaces (they are the archimedean ones). Most norms instead satisfy the stronger ultrametric triangle inequality which says that

|f+g|max(|f|,|g|). {\vert f + g \vert} \leq max({\vert f\vert}, {\vert g\vert }) \,.

A norm with this property is called non-archimedean.

Interpretation in enriched category theory

One may equivalently regard the triangle equality in metric spaces as the composition operation in a certain incarnation of the metric space as an enriched category (Lawvere 73). From this perspective some concepts from analysis usefully generalize to other enriched categories, notably the concept of Cauchy complete categories. For more on this see at Lawvere metric space.

Namely regard the half-open interval [0,)[0,\infty) \subset \mathbb{R} as a poset under the relation \geq, and regard this poset as a category (see at (0,1)-category). The operation of addition of real numbers makes this a monoidal category.

This means that a category enriched over this monoidal category ([0,),+)([0,\infty){\geq}, +) is

  1. (objects) a set XX;

  2. (hom objects) for every pair of points (x,y)X×X(x,y) \in X \times X a real number d(x,y)[0,)d(x,y) \in [0,\infty)

  3. (composition) for all x,y,zXx,y,z \in X a morphism in [0,) [0,\infty)_{\geq} of the form

    x,y,z:d(x,y)+d(y,z)d(x,z) \circ_{x,y,z} \;\colon\; d(x,y) + d(y,z) \longrightarrow d(x,z)

such that

  1. (unitality) d(x,x)=0d(x,x) = 0;

  2. (associativity) …

Now since the category [0,) [0,\infty)_{\geq} is a poset, there is at most one morphism between any given pair of objects, and hence the choice of composition morphism x,y,z\circ_{x,y,z} above is really a condition on d(,)d(-,-). Moreover, since a morphism xyx \to y in [0,)[0,\infty) exists precisely if xyx \geq y, then this condition is exactly the triangle identity

d(x,y)+d(y,z)d(x,z). d(x,y) + d(y,z) \geq d(x,z) \,.

Moreover, the unitality condition is part of the non-degeneracy condition on a metric, d(x,y)=0d(x, y) = 0 iff x=yx = y, and the associativity condition is automatically satisfied once composition is defined.


Last revised on July 9, 2021 at 19:34:59. See the history of this page for a list of all contributions to it.