The Hilbert distance is a genuine metric, with straight segments as geodesics
Statement
For as above, is a metric on : it is symmetric (), non-negative, and if and only if . Moreover, for any and any point on the straight segment , ; consequently the ordinary Euclidean straight-line segment (traversed at the appropriate non-uniform speed) is a geodesic of , and satisfies the triangle inequality with equality exactly along such segments.
Why is it true?
The formula is symmetric under swapping the roles of and together with and , because relabelling turns into itself; and because forces and , the cross-ratio is a product of two numbers each greater than , so it exceeds exactly when , making strictly positive off the diagonal. The additivity along a fixed line is really a statement about ordinary numbers on the real line: cross-ratios computed from the same pair of boundary points telescope multiplicatively as a third collinear point is inserted, so a logarithm turns that telescoping product into a sum — the same phenomenon you can check numerically on any three points of a segment.
Proof sketch
Symmetry and positivity. Write . Since on the line, and , so both factors exceed when , hence and ; when both factors equal . Relabelling sends to , the identical number, so .
Additivity on a line. Let be collinear with between and , and let be the (common) boundary intersections of that line. Writing all four one-dimensional distances along the line, since the factors and cancel. Taking of both sides gives , exactly the equality case of the triangle inequality, so the straight segment realizes the Hilbert distance and is a geodesic.
Triangle inequality off a line. For not collinear, convexity of is what is needed: projecting the pair through only ever enlarges the relevant cross-ratio compared with going straight from to , because the boundary points seen from lie no closer to or than the boundary points seen directly along — this monotonicity, proved carefully using the convexity of , gives in general (see Hilbert 1895; a full derivation is given in the Handbook of Hilbert Geometry, Ch. 1).
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Athanase Papadopoulos, Marc Troyanov (eds.) (2014). Handbook of Hilbert Geometry · DOI:10.4171/147
- Athanase Papadopoulos, Marc Troyanov (2014). From Funk to Hilbert Geometry · arXiv:1406.6983
- David Hilbert (1895). Über die gerade Linie als kürzeste Verbindung zweier Punkte · DOI:10.1007/BF02096204