MathLabs
TheoremProved

The ellipse case is exactly the Klein model of hyperbolic geometry

Statement

Let B={x12+⋯+xn2<1}\mathbb{B}=\{x_1^2+\dots+x_n^2<1\} be the open unit ball. Then (B,dB)(\mathbb{B},d_{\mathbb{B}}) is isometric to nn-dimensional hyperbolic space of constant curvature −1-1, via the classical Beltrami–Klein model. More generally, if E⊂RnE\subset\mathbb{R}^n is any ellipsoid (the image of B\mathbb{B} under an invertible affine map TT), then (E,dE)(E,d_E) is isometric to (B,dB)(\mathbb{B},d_{\mathbb{B}}) via TT, hence again to hyperbolic space; no other choice of bounded convex Ω\Omega (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 Ω\Omega, 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 Ω=B\Omega=\mathbb{B} 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 x=0x=0 and y=(r,0,…,0)y=(r,0,\dots,0) with 0<r<10<r<1. The line through them meets ∂B\partial\mathbb{B} at a=(−1,0,…,0)a=(-1,0,\dots,0) and b=(1,0,…,0)b=(1,0,\dots,0), so ∣ay∣=1+r|ay|=1+r, ∣ax∣=1|ax|=1, ∣bx∣=1|bx|=1, ∣by∣=1−r|by|=1-r, giving dB(0,y)=12ln⁡1+r1−r=artanh⁡(r)d_{\mathbb{B}}(0,y)=\frac12\ln\frac{1+r}{1-r}=\operatorname{artanh}(r). This matches exactly the standard formula for hyperbolic distance from the center to a point at Euclidean radius rr in the Beltrami–Klein model of curvature −1-1.

Off a diameter. For general x,y∈Bx,y\in\mathbb{B}, choose a rotation R∈O(n)R\in O(n) (an isometry of the round ball fixing 00) carrying the line through x,yx,y to a coordinate axis; since RR preserves B\mathbb{B} and maps the four points a,x,y,ba,x,y,b to another quadruple in the same cross-ratio, dB(x,y)=dB(Rx,Ry)d_{\mathbb{B}}(x,y)=d_{\mathbb{B}}(Rx,Ry), reducing to the diametral case worked out above after also translating one point to 00 via a hyperbolic isometry of B\mathbb{B} (a Möbius transformation preserving B\mathbb{B}, which likewise preserves cross-ratios). Since the formula obtained this way is exactly the Beltrami–Klein distance formula, (B,dB)(\mathbb{B},d_{\mathbb{B}}) is isometric to hyperbolic nn-space.

General ellipsoids. Let T:Rn→RnT:\mathbb{R}^n\to\mathbb{R}^n be an invertible linear (or affine) map with T(B)=ET(\mathbb{B})=E. An affine map is a projective transformation of RPn\mathbb{RP}^n that fixes the hyperplane at infinity, and cross-ratios of collinear points are invariant under every projective transformation; since TT sends the line through x,y∈Bx,y\in\mathbb{B} to the line through Tx,Ty∈ETx,Ty\in E, and sends the boundary pair a,ba,b to the boundary pair Ta,TbTa,Tb of EE, it sends the defining quadruple to the defining quadruple, so [a,x,y,b]=[Ta,Tx,Ty,Tb][a,x,y,b]=[Ta,Tx,Ty,Tb] and hence dE(Tx,Ty)=dB(x,y)d_E(Tx,Ty)=d_{\mathbb{B}}(x,y) for all x,yx,y. Thus T:(B,dB)→(E,dE)T:(\mathbb{B},d_{\mathbb{B}})\to(E,d_E) is an isometry, so (E,dE)(E,d_E) is again hyperbolic nn-space.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Athanase Papadopoulos, Marc Troyanov (eds.) (2014). Handbook of Hilbert Geometry · DOI:10.4171/147
  2. Athanase Papadopoulos, Marc Troyanov (2014). From Funk to Hilbert Geometry · arXiv:1406.6983
  3. David Hilbert (1895). Über die gerade Linie als kürzeste Verbindung zweier Punkte · DOI:10.1007/BF02096204