# Hilbert geometry

The geometry of a complete metric space $H$ with a metric $h(x,y)$ which contains, together with two arbitrary, distinct points $x$ and $y$, also the points $z$ and $t$ for which $h(x,z)+h(z,y)=h(x,y)$, $h(x,y)+h(y,t)=h(x,t)$, and which is homeomorphic to a convex set in an $n$-dimensional affine space $A^n$, the geodesics $\gamma\in H$ being mapped to straight lines of $A^n$. Thus, let $K$ be a convex body in $A^n$ with boundary $\partial K$ not containing two non-collinear segments, and let $x,y\in K$ be located on a straight line $l$ which intersects $\partial K$ at $a$ and $b$; let $R(x,y,a,b)$ be the cross ratio of $x$, $y$, $a$, $b$ (so that if $x=(1-\lambda)a+\lambda b$, $y=(1-\mu)a+\mu b$, then $R(x,y,a,b)=\mu(1-\lambda)/\lambda(1-\mu)$). Then

$$h(x,y)=\frac12|\ln R(x,y,a,b)|$$

is the metric of a Hilbert geometry (a Hilbert metric). If $K$ is centrally symmetric, then $h(x,y)$ is a Minkowski metric (cf. Minkowski geometry); if $K$ is an ellipsoid, then $h(x,y)$ defines the Lobachevskii geometry.

The problem of determining all metrizations of $K$ for which the geodesics are straight lines is Hilbert's fourth problem; it has been completely solved .

Geodesic geometry is a generalization of Hilbert geometry.

Hilbert geometry was first mentioned in 1894 by D. Hilbert in a letter to F. Klein.

How to Cite This Entry:
Hilbert geometry. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hilbert_geometry&oldid=36527
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article