The ellipse case is exactly the Klein model of hyperbolic geometry
Statement
Let be the open unit ball. Then is isometric to -dimensional hyperbolic space of constant curvature , via the classical Beltrami–Klein model. More generally, if is any ellipsoid (the image of under an invertible affine map ), then is isometric to via , hence again to hyperbolic space; no other choice of bounded convex (not affinely equivalent to an ellipsoid) gives a Hilbert geometry isometric to a constant-curvature space.
Why is it true?
Hilbert's cross-ratio construction is literally the same one Arthur Cayley and Felix Klein used decades earlier to build the projective model of hyperbolic geometry inside a conic — Hilbert's 1895 letter to Klein pointed out that convexity of , not the special quadratic shape of a conic, is what makes the cross-ratio formula define a metric at all. Specializing his general construction back to therefore reproduces Cayley and Klein's construction exactly, which is precisely why an ellipse is the one shape for which Hilbert geometry is not merely 'hyperbolic-like' but literally hyperbolic.
Proof sketch
Along a diameter. Take and with . The line through them meets at and , so , , , , giving . This matches exactly the standard formula for hyperbolic distance from the center to a point at Euclidean radius in the Beltrami–Klein model of curvature .
Off a diameter. For general , choose a rotation (an isometry of the round ball fixing ) carrying the line through to a coordinate axis; since preserves and maps the four points to another quadruple in the same cross-ratio, , reducing to the diametral case worked out above after also translating one point to via a hyperbolic isometry of (a Möbius transformation preserving , which likewise preserves cross-ratios). Since the formula obtained this way is exactly the Beltrami–Klein distance formula, is isometric to hyperbolic -space.
General ellipsoids. Let be an invertible linear (or affine) map with . An affine map is a projective transformation of that fixes the hyperplane at infinity, and cross-ratios of collinear points are invariant under every projective transformation; since sends the line through to the line through , and sends the boundary pair to the boundary pair of , it sends the defining quadruple to the defining quadruple, so and hence for all . Thus is an isometry, so is again hyperbolic -space.
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