# Cayley–Klein metric

The question recently arose in conversation whether a dissertation of 2 lines could deserve and get a Fellowship. ... Cayley's projective definition of length is a clear case if we may interpret "2 lines" with reasonable latitude. ... With Cayley the importance of the idea is obvious at first sight.

Littlewood (1986, pp. 39–40)

In mathematics, a Cayley–Klein metric is a metric on the complement of a fixed quadric in projective space defined using a cross-ratio. The construction originated with Arthur Cayley's essay "On the theory of distance"[1] where he calls the quadric the absolute. The construction was developed in further detail by Felix Klein in papers in 1871 and 1873, and in his book Vorlesungen über Nicht-Euklidischen Geometrie(1928). The Cayley-Klein metrics are a unifying idea in geometry since the method is used to provide metrics in hyperbolic geometry, elliptic geometry, and Euclidean geometry. The field of non-Euclidean geometry rests largely on the footing provided by Cayley-Klein metrics.

## Definition

Suppose that Q is a fixed quadric in projective space. If p and q are 2 points then the line through p and q intersects the quadric Q in 2 further points a and b. The Cayley–Klein distance d(p,q) from p to q is proportional to the logarithm of the cross-ratio:

$d(p,q)=C \log \frac{|qa||bp|}{|pa||bq|}$

for some fixed constant C.

Cayley-Klein geometry is the study of the group of motions that leave the Cayley-Klein metric invariant. This group is obtained as the collineations for which the absolute is stable. Indeed, cross-ratio is invariant under any collineation, and the stable absolute enables the metric comparison, which will be equality.

The extent of Cayley-Klein geometry was summarized by Horst and Rolf Struve in 2004:[2]

There are three absolutes in the real projective line, seven in the real projective plane, and 18 in real projective space. All classical non-euclidean projective spaces as hyperbolic, elliptic, Galilean and Minkowskian and their duals can be defined this way.

## Foundations

The algebra of throws is an approach to geometry that is independent of metric. Karl von Staudt's idea was to use the relation of projective harmonic conjugates as fundamental to the measure on a line. Klein made reference to Staudt's development,[3] thus basing the new metric on logarithm, and the cross-ratio as a number generated by the geometric arrangement of four points. This procedure is necessary to avoid a circular definition of distance if cross-ratio is merely a double ratio of previously defined distances.[4]

Cayley-Klein plane geometry depends upon the selection of a conic that becomes the absolute of the space. For example, the unit circle is the absolute of the Poincaré disk model and the Beltrami-Klein model in hyperbolic geometry. Similarly, the real line is the absolute of the Poincaré half-plane model.

For Euclidean space, Klein described the absolute as the "sphere-circle" consisting of the sphere of radius zero in the hyperplane at infinity:[5]

$\lbrace (\xi , \eta, \zeta, \tau ) :\quad \tau = 0,\quad \xi^2 + \eta^2 + \zeta^2 = 0 \rbrace \subset P^3(R) .$

Klein also related the metric construction to physical science:[6]

The case $x^2 + y^2 + z^2 - t^2 = 0$ in the four-dimensional world or $dx^2 + dy^2 + dz^2 - dt^2 = 0$ (to remain in three-dimensions and use homogeneous coordinates) has recently won special significance through the relativity theory of physics.

Evidently Klein is referring here to $(\frac {dx}{dt})^2 + (\frac {dy}{dt})^2 + (\frac {dz}{dt})^2 = 1$ where physical velocities are bounded by the speed of light c, so that for any physical velocity v, the ratio v/c is confined to the interior of a unit sphere, and the surface of the sphere forms the Cayley absolute for the geometry