The definition of a metric space guarantees that if we pick three points from it, we can draw a triangle in the Euclidean plane, with vertices labeled
, so that the side lengths are equal to the corresponding distances
. In other words, we can represent any triple of points as vertices of a triangle.

There is another, perhaps less obvious representation: as vertices of a tripod. Specifically, we can draw a graph of the form shown below and assign length to each edge so that is equal to the length of the shortest path from
to
, etc.

Indeed, we have the system of linear equations
with a unique solution
The numbers are clearly nonnegative; if a number is zero, the corresponding edge can be contracted to a point. Simple as they are, these formulas have a name:
is called the Gromov product of
and
with respect to
, and is denoted
.
The more geometric way to arrive at tripod representation is to inscribe a circle in the triangle shown above, and note how the points of tangency divide the sides of the triangle:

Next question: can we represent four points in a similar way? The first approach fails: in general there is no Euclidean quadrilateral in which the sides and diagonals represent the distances between these four points. For example, if
and
, then any Euclidean representation must place both
and
in the midpoint between
and
, which contradicts
being nonzero. Let’s try the metric graph approach.
By analogy with the tripod, we might hope at first for something like

but this does not work in general. Indeed, four points determine six distances, and the graph has only five degrees of freedom. We can add one more degree of freedom by thickening the connecting edge to a rectangle:

Does this work? Can we really find the required nonnegative numbers ? Yes! Writing and solving a system of six linear equations is tedious but can be done. A better way is to recognize that we have four tripods here, such as the tripod with vertices
and the edge lengths
,
,
. This immediately tells us that
. Similarly,
,
and
. The remaining lengths
and
can now be found directly. But in fact, we can find
independently of the other four lengths by considering the perfect matchings between the points
. Namely,
From here we get nonnegative and
if and only if
is the longest matching of vertices (or one of the longest). In other words, we must consider the lengths of matchings before marking
on the graph. But once they are marked correctly, the rest is now clear: the numbers
and
are the amounts by which the longest matching exceeds the other two. In particular, the rectangle collapses into an edge precisely when the two longest matchings have the same length.
What we have here are examples of tight spans of metric spaces: the tripod is the tight span of 3-point space , and the six-edge graph is the 1-skeleton of the tight span of
. (The rectangle should have been filled in to form a 2-cell; in general the tight span of
points is a polyhedral complex of dimension up to
.)
By definition, a metric space is Gromov hyperbolic if there exists a constant such that the tight span of any 4-point subset satisfies
; that is, the rectangle in the middle is not too fat. Informally, this means the space is (contained in) a uniformly thickened metric tree. In terms of distances, the definition says that the lengths of the two longest matchings of
differ by at most
. Out of several equivalent definitions of Gromov hyperbolicity, this is the most elementary one; it does not require the consideration of geodesics.
However, the real power of Gromov hyperbolicity transpires in the setting of geodesic spaces, where any two points are connected by an isometric image
of a line segment. To begin with, in geodesic spaces it suffices to consider the case when lies on the geodesic from
to
(otherwise we replace
with a nearby point on the geodesic). The hyperbolicity condition now says that in the geodesic triangle each point on the side
is within distance
of one of two other sides. Informally, all geodesic triangles in a Gromov hyperbolic space are uniformly thin.
This is indeed the case in the hyperbolic plane . Indeed, a direct computation shows that the area of any geodesic triangle in
is less than
(it is
minus the sum of the angles). On the other hand, the area of a hyperbolic disk of radius
grows indefinitely as
, since the total area of
is infinite. It follows that in
there is a uniform upper bound on the radius of a circle that can be inscribed into a triangle; the Gromov hyperbolicity of
follows at once.
Even more immediately, is Gromov hyperbolic, with
. But
is not, as it contains arbitrarily fat triangles (also, the perfect matchings of the points
have lengths
, contradicting the four-point condition). Similarly, the graph of
with metric induced by restriction contains four-point configurations
and therefore is not Gromov hyperbolic. Since this graph is bi-Lipschitz equivalent to a line, we see that in general metric spaces Gromov hyperbolicity is not a bi-Lipschitz invariant. How could we expect it to be? bi-Lipschitz maps introduce multiplicative distortion of distances
, while Gromov hyperbolicity requires an additive bound.
Yet, if two geodesic metric spaces are bi-Lipschitz equivalent, then either both are Gromov hyperbolic, or neither. One can even replace bi-Lipschitz equivalence with a coarser notion of quasi-isometry, which requires (and
need not be surjective; it should only cover some
-net in the codomain). The quasi-isometric invariance is what makes it possible to discuss hyperbolicity of finitely generated groups… but that topic will have to wait for another day.