A space whose geometry is defined by the axioms of Lobachevskii geometry. In a wider sense a Lobachevskii space is a non-Euclidean hyperbolic space whose definition is connected with concepts of the geometry of a pseudo-Euclidean space. Let be the Lorentz–Minkowskian -space with one time-like direction. A sphere of time-like radius is analogous to a hyperboloid of two sheets. One sheet (say the "future" sheet) is isometric to a Lobachevskii -space . This definition of a Lobachevskii space makes it possible to include this space in the projective classification of non-Euclidean spaces. The space in the projective space is represented by the interior of an oval ()-quadric that is the intersection of an -sphere of time-like radius with the hyperplane at infinity of the space that completes this space to the projective space . The points of the oval ()-quadric are the points at infinity of , that is, the quadric is the absolute of this space. The outside of this quadric, which completes to the complete space , is called the ideal domain of . This interpretation is called the Cayley–Klein projective interpretation. It can also be obtained by projecting an -sphere of time-like radius in from its centre to a tangent -plane, which is a Euclidean -space; the space is represented by the inside of an -ball in this -plane, and the boundary of the -ball is the absolute of (the latter interpretation of in the Euclidean space is sometimes called the Beltrami–Klein interpretation).
The projective interpretation of Lobachevskii -space makes it possible to verify the axioms of Lobachevskii geometry, to give a representation of all figures of this geometry, and to establish their properties; in particular, in this interpretation it is easy to establish the geometrical properties of the Lobachevskii -plane that follow from the axioms of Lobachevskii geometry.
When the hyperbolic space is imbedded in the projective space , an -flat is said to be proper if it intersects the absolute in an -quadric; an -flat that touches the absolute is isotropic; and an -flat that does not intersect the absolute is ideal. The poles of proper hyperplanes are ideal points, and the proper points are the poles of ideal hyperplanes. More generally, the polar ()-flats of proper -flats of the Lobachevskii space are ideal ()-flats, and the polar ()-flats of ideal -flats are proper ()-flats.
In the space , as coordinates of a point one takes the components of the corresponding vector of this point in . These Weierstrass coordinates must satisfy the condition
In one may introduce instead coordinates , analogous to spherical polar coordinates, which are connected with the coordinates by the relations
The distance between two points of is then defined, in terms of their Weierstrass coordinates, by
The angle () between two intersecting hyperplanes and (where ) can be identified with the space-like distance between their poles and , and is thus given by
Similarly, the distance between two ultraparallel hyperplanes is given by
The distance between points and the values of the angles between planes admit expressions in terms of the cross ratios (cf. Cross ratio) of points, using points of the absolute.
In the Lobachevskii space one can define spheres (balls), equi-distant surfaces, horospheres (horocycles for , cf. Horocycle), -simplexes, etc.
The classification of motions of the Lobachevskii space as collineations that take points of the absolute (oval quadric) into itself reduces to the classification of motions fixing one point of the Lorentz–Minkowskian space without interchanging "future" and "past" . (This is a Lie group.) In order to specify a motion of it is sufficient to give the images of points that do not lie in one hyperplane.
There are several conformal interpretations of a Lobachevskii space, one of which is the Poincaré model. It is also possible to have a conformal interpretation of the space on one of its hyperplanes. Apart from these there are interpretations in complex spaces. In particular, for the space one can construct the Kotel'nikov interpretation of manifolds of lines.
By means of projective interpretations, quadrics in , and particularly in the -plane , can be classified more completely.
The space is a Riemannian -space of constant negative curvature , where is the radius of curvature of the space. The geometry of a Lobachevskii space in sufficiently small neighbourhoods of points is close to the geometry of the Euclidean space of the same dimension.
In the large, the space is homeomorphic to the space ; it extends indefinitely in all directions. Any -flat of , , is a space . Also, straight lines of are geodesics, and -flats are totally geodesic -surfaces of this space.
In the projective classification of metrics of non-Euclidean spaces a Lobachevskii space is also classified with respect to the metrics on lines, pencils of planes and -flats. In particular, on a -flat of a Lobachevskii space the projective metric on a line is hyperbolic, and the metric in pencils of lines is elliptic.
|||N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian)|
|||F. Klein, "Vorlesungen über Nicht-Euklidische Geometrie" , Springer (1928)|
|||V.F. Kagan, "Foundations of geometry" , 1–2 , Moscow-Leningrad (1949–1956) (In Russian)|
|||B.A. Rozenfel'd, "Non-Euclidean spaces" , Moscow (1969) (In Russian)|
|[a1]||B.A. [B.A. Rozenfel'd] Rosenfel'd, "A history of non-euclidean geometry" , Springer (1988) pp. Chapt. 6 (Translated from Russian)|
|[a2]||A.A. Robb, "Geometry of time and space" , Cambridge Univ. Press (1936) pp. 406|
|[a3]||H.S.M. Coxeter, "Non-Euclidean geometry" , Univ. Toronto Press (1965) pp. 209|
|[a4]||M. Berger, "Geometry" , 1–2 , Springer (1987) (Translated from French)|
|[a5]||H. Busemann, P.J. Kelly, "Projective geometry and projective metrics" , Acad. Press (1953)|
Lobachevskii space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lobachevskii_space&oldid=17548