Hilbert metric

Let Ω be a convex open domain in a Euclidean space that does not contain a line. Given two distinct points A and B of Ω, let X and Y be the points at which the straight line AB intersects the boundary of Ω, where the order of the points is X, A, B, Y. Then the Hilbert distance d(A, B) is the logarithm of the cross-ratio of this quadruple of points:

${\displaystyle d(A,B)=\log \left({\frac {|YA|}{|YB|}}{\frac {|XB|}{|XA|}}\right).}$

The function d is extended to all pairs of points by letting d(A, A) = 0 and defines a metric on Ω. If one of the points A and B lies on the boundary of Ω then d can be formally defined to be +∞, corresponding to a limiting case of the above formula when one of the denominators is zero.

A variant of this construction arises for a closed convex cone K in a Banach space V (possibly, infinite-dimensional). In addition, the cone K is assumed to be pointed, i.e. K ∩ (−K) = {0} and thus K determines a partial order ${\displaystyle \leq _{K}}$ on V. Given any vectors v and w in K \ {0}, one first defines

${\displaystyle M(v/w)=\inf\{\lambda :v\leq _{K}\lambda w\},\quad m(v/w)=\sup\{\mu$ :\mu w\leq _{K}v\}.}

The Hilbert pseudometric on K \ {0} is then defined by the formula

${\displaystyle d(v,w)=\log {\frac {M(v/w)}{m(v/w)}}.}$

It is invariant under the rescaling of v and w by positive constants and so descends to a metric on the space of rays of K, which is interpreted as the projectivization of K (in order for d to be finite, one needs to restrict to the interior of K). Moreover, if K ⊂ R × V is the cone over a convex set Ω,

${\displaystyle K=\{(t,tx):t\in \mathbb {R} ,x\in \Omega \},}$

then the space of rays of K is canonically isomorphic to Ω. If v and w are vectors in rays in K corresponding to the points A, B ∈ Ω then these two formulas for d yield the same value of the distance.

• In the case where the domain Ω is a unit ball in Rⁿ, the formula for d coincides with the expression for the distance between points in the Cayley–Klein model of hyperbolic geometry, up to a multiplicative constant.
• If the cone K is the positive orthant in Rⁿ then the induced metric on the projectivization of K is often called simply Hilbert's projective metric. This cone corresponds to a domain Ω which is a regular simplex of dimension n − 1.

• Hilbert introduced his metric in order to construct an axiomatic metric geometry in which there exist triangles ABC whose vertices A, B, C are not collinear, yet one of the sides is equal to the sum of the other two — it follows that the shortest path connecting two points is not unique in this geometry. In particular, this happens when the convex set Ω is a Euclidean triangle and the straight line extensions of the segments AB, BC, AC do not meet the interior of one of the sides of Ω.
• Garrett Birkhoff used Hilbert's metric and the Banach contraction principle to rederive the Perron–Frobenius theorem in finite-dimensional linear algebra and its analogues for integral operators with positive kernels. Birkhoff's ideas have been further developed and used to establish various nonlinear generalizations of the Perron-Frobenius theorem, which have found significant uses in computer science, mathematical biology, game theory, dynamical systems theory, and ergodic theory.
• Generalizing earlier results of Anders Karlsson and Guennadi Noskov, Yves Benoist determined a system of necessary and sufficient conditions for a bounded convex domain in Rⁿ, endowed with its Hilbert metric, to be a Gromov hyperbolic space.

• Yves Benoist, Convexes hyperboliques et fonctions quasisymétriques, Publ. Math. Inst. Hautes Études Sci. No. 97 (2003), 181–237
• Garrett Birkhoff, Extensions of Jentzsch's theorem, Trans. Amer. Math. Soc. 85 (1957), 219–227
• Nielsen, Frank; Sun, Ke (2017), "Clustering in Hilbert simplex geometry", arXiv:1704.00454 [cs.LG]
• Nielsen, Frank; Shao, Laëtitia (2017), On Balls in a Hilbert Polygonal Geometry, 77, LIPIcs-Leibniz International Proceedings in Informatics (SoCG)
• P. J. Bushell, Hilbert's Metric and Positive Contraction Mappings in a Banach Space, Arch. Rational Mech. Anal. 52 (1973), 330–338
• Hilbert, David (1895), "Ueber die gerade Linie als kürzeste Verbindung zweier Punkte", Mathematische Annalen, Springer Berlin / Heidelberg, 46: 91–96, doi:10.1007/BF02096204, ISSN 0025-5831, JFM 26.0540.02
• Papadopoulos, Athanase; Troyanov, Marc (2014), Handbook of Hilbert Geometry, European Mathematical Society
• Bas Lemmens and Roger Nussbaum, Nonlinear Perron-Frobenius Theory, Cambridge Tracts in Mathematics 189, Cambridge Univ. Press, 2012.