Namespaces
Variants
Actions

Difference between revisions of "Lobachevskii space"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
(gather refs)
 
Line 11: Line 11:
 
{{TEX|done}}
 
{{TEX|done}}
  
A space whose geometry is defined by the axioms of [[Lobachevskii geometry|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|pseudo-Euclidean space]]. Let  $  {}  ^ {1} R _ {n+} 1 $
+
A space whose geometry is defined by the axioms of [[Lobachevskii geometry|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|pseudo-Euclidean space]]. Let  $  {}  ^ {1} R _ {n+1} $
 
be the Lorentz–Minkowskian  $  ( n + 1 ) $-
 
be the Lorentz–Minkowskian  $  ( n + 1 ) $-
 
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  $  n $-
 
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  $  n $-
Line 19: Line 19:
 
is represented by the interior of an oval ( $  n- 1 $)-
 
is represented by the interior of an oval ( $  n- 1 $)-
 
quadric that is the intersection of an  $  n $-
 
quadric that is the intersection of an  $  n $-
sphere of time-like radius with the hyperplane at infinity of the space  $  {}  ^ {1} R _ {n+} 1 $
+
sphere of time-like radius with the hyperplane at infinity of the space  $  {}  ^ {1} R _ {n+1}$
that completes this space to the projective space  $  P _ {n+} 1 $.  
+
that completes this space to the projective space  $  P _ {n+1}$.  
 
The points of the oval ( $  n- 1 $)-
 
The points of the oval ( $  n- 1 $)-
 
quadric are the points at infinity of  $  {}  ^ {1} S _ {n} $,  
 
quadric are the points at infinity of  $  {}  ^ {1} S _ {n} $,  
Line 27: Line 27:
 
is called the ideal domain of  $  {}  ^ {1} S _ {n} $.  
 
is called the ideal domain of  $  {}  ^ {1} S _ {n} $.  
 
This interpretation is called the Cayley–Klein projective interpretation. It can also be obtained by projecting an  $  n $-
 
This interpretation is called the Cayley–Klein projective interpretation. It can also be obtained by projecting an  $  n $-
sphere of time-like radius in  $  {}  ^ {1} R _ {n+} 1 $
+
sphere of time-like radius in  $  {}  ^ {1} R _ {n+1}$
 
from its centre to a tangent  $  n $-
 
from its centre to a tangent  $  n $-
 
plane, which is a Euclidean  $  n $-
 
plane, which is a Euclidean  $  n $-
Line 62: Line 62:
 
as coordinates of a point  $  X $
 
as coordinates of a point  $  X $
 
one takes the components of the corresponding vector  $  \mathbf x $
 
one takes the components of the corresponding vector  $  \mathbf x $
of this point in  $  {}  ^ {1} R _ {n+} 1 $.  
+
of this point in  $  {}  ^ {1} R _ {n+1} $.  
 
These [[Weierstrass coordinates|Weierstrass coordinates]] must satisfy the condition
 
These [[Weierstrass coordinates|Weierstrass coordinates]] must satisfy the condition
  
Line 87: Line 87:
  
 
$$  
 
$$  
x  ^ {t}  =  \sinh  u  ^ {t}  \cosh  u  ^ {t+} 1 \dots \cosh  u  ^ {n} ,
+
x  ^ {t}  =  \sinh  u  ^ {t}  \cosh  u  ^ {t+1} \dots \cosh  u  ^ {n} ,
 
$$
 
$$
  
Line 134: Line 134:
  
 
The classification of motions of the Lobachevskii space  $  {}  ^ {1} S _ {n} $
 
The classification of motions of the Lobachevskii space  $  {}  ^ {1} S _ {n} $
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  $  {}  ^ {1} R _ {n+} 1 $
+
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  $  {}  ^ {1} R _ {n+1} $
 
without interchanging  "future"  and  "past" . (This is a [[Lie group|Lie group]].) In order to specify a motion of  $  {}  ^ {1} S _ {n} $
 
without interchanging  "future"  and  "past" . (This is a [[Lie group|Lie group]].) In order to specify a motion of  $  {}  ^ {1} S _ {n} $
 
it is sufficient to give the images of  $  n+ 1 $
 
it is sufficient to give the images of  $  n+ 1 $
 
points that do not lie in one hyperplane.
 
points that do not lie in one hyperplane.
  
There are several conformal interpretations of a Lobachevskii space, one of which is the [[Poincaré model|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  $  {}  ^ {1} S _ {n} $
+
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  $  {}  ^ {1} S _ {n} $
one can construct the [[Kotel'nikov interpretation|Kotel'nikov interpretation]] of manifolds of lines.
+
one can construct the [[Kotel'nikov interpretation]] of manifolds of lines.
  
 
By means of projective interpretations, quadrics in  $  {}  ^ {1} S _ {n} $,  
 
By means of projective interpretations, quadrics in  $  {}  ^ {1} S _ {n} $,  
Line 169: Line 169:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.V. Efimov,   "Höhere Geometrie" , Deutsch. Verlag Wissenschaft.  (1960)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  F. Klein,   "Vorlesungen über Nicht-Euklidische Geometrie" , Springer  (1928)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.F. Kagan,   "Foundations of geometry" , '''1–2''' , Moscow-Leningrad  (1949–1956)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  B.A. Rozenfel'd,   "Non-Euclidean spaces" , Moscow  (1969)  (In Russian)</TD></TR></table>
+
<table>
 
+
<TR><TD valign="top">[1]</TD> <TD valign="top">  N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft.  (1960)  (Translated from Russian)</TD></TR>
====Comments====
+
<TR><TD valign="top">[2]</TD> <TD valign="top">  F. Klein, "Vorlesungen über Nicht-Euklidische Geometrie" , Springer  (1928)</TD></TR>
 
+
<TR><TD valign="top">[3]</TD> <TD valign="top">  V.F. Kagan, "Foundations of geometry" , '''1–2''' , Moscow-Leningrad  (1949–1956)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  B.A. Rozenfel'd, "Non-Euclidean spaces" , Moscow  (1969)  (In Russian)</TD></TR>
====References====
+
<TR><TD valign="top">[a1]</TD> <TD valign="top">  B.A. [B.A. Rozenfel'd] Rosenfel'd, "A history of non-euclidean geometry" , Springer  (1988)  pp. Chapt. 6  (Translated from Russian)</TD></TR>
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  B.A. [B.A. Rozenfel'd] Rosenfel'd,   "A history of non-euclidean geometry" , Springer  (1988)  pp. Chapt. 6  (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  A.A. Robb,   "Geometry of time and space" , Cambridge Univ. Press  (1936)  pp. 406</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H.S.M. Coxeter,   "Non-Euclidean geometry" , Univ. Toronto Press  (1965)  pp. 209</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  M. Berger,  "Geometry" , '''1–2''' , Springer  (1987)  (Translated from French)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  H. Busemann,  P.J. Kelly,  "Projective geometry and projective metrics" , Acad. Press  (1953)</TD></TR></table>
+
<TR><TD valign="top">[a2]</TD> <TD valign="top">  A.A. Robb, "Geometry of time and space" , Cambridge Univ. Press  (1936)  pp. 406</TD></TR>
 +
<TR><TD valign="top">[a3]</TD> <TD valign="top">  H.S.M. Coxeter, "Non-Euclidean geometry" , Univ. Toronto Press  (1965)  pp. 209</TD></TR>
 +
<TR><TD valign="top">[a4]</TD> <TD valign="top">  M. Berger,  "Geometry" , '''1–2''' , Springer  (1987)  (Translated from French)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  H. Busemann,  P.J. Kelly,  "Projective geometry and projective metrics" , Acad. Press  (1953)</TD></TR>
 +
</table>

Latest revision as of 18:11, 9 July 2024


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 $ {} ^ {1} R _ {n+1} $ be the Lorentz–Minkowskian $ ( n + 1 ) $- 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 $ n $- space $ {} ^ {1} S _ {n} $. This definition of a Lobachevskii space makes it possible to include this space in the projective classification of non-Euclidean spaces. The space $ {} ^ {1} S _ {n} $ in the projective space $ P _ {n} $ is represented by the interior of an oval ( $ n- 1 $)- quadric that is the intersection of an $ n $- sphere of time-like radius with the hyperplane at infinity of the space $ {} ^ {1} R _ {n+1}$ that completes this space to the projective space $ P _ {n+1}$. The points of the oval ( $ n- 1 $)- quadric are the points at infinity of $ {} ^ {1} S _ {n} $, that is, the quadric is the absolute of this space. The outside of this quadric, which completes $ {} ^ {1} S _ {n} $ to the complete space $ P _ {n} $, is called the ideal domain of $ {} ^ {1} S _ {n} $. This interpretation is called the Cayley–Klein projective interpretation. It can also be obtained by projecting an $ n $- sphere of time-like radius in $ {} ^ {1} R _ {n+1}$ from its centre to a tangent $ n $- plane, which is a Euclidean $ n $- space; the space $ {} ^ {1} S _ {n} $ is represented by the inside of an $ n $- ball in this $ n $- plane, and the boundary of the $ n $- ball is the absolute of $ {} ^ {1} S _ {n} $( the latter interpretation of $ {} ^ {1} S _ {n} $ in the Euclidean space $ R _ {n} $ is sometimes called the Beltrami–Klein interpretation).

The projective interpretation of Lobachevskii $ 3 $- 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 $ 2 $- plane that follow from the axioms of Lobachevskii geometry.

When the hyperbolic space $ {} ^ {1} S _ {n} $ is imbedded in the projective space $ P _ {n} $, an $ m $- flat $ ( m < n ) $ is said to be proper if it intersects the absolute in an $ ( m - 1 ) $- quadric; an $ m $- flat that touches the absolute is isotropic; and an $ m $- 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 ( $ n - m - 1 $)- flats of proper $ m $- flats of the Lobachevskii space $ {} ^ {1} S _ {n} $ are ideal ( $ n- m- 1 $)- flats, and the polar ( $ n- m- 1 $)- flats of ideal $ m $- flats are proper ( $ n- m- 1 $)- flats.

In the space $ {} ^ {1} S _ {n} $, as coordinates of a point $ X $ one takes the components of the corresponding vector $ \mathbf x $ of this point in $ {} ^ {1} R _ {n+1} $. These Weierstrass coordinates must satisfy the condition

$$ ( x ^ {0} ) ^ {2} - \sum _ { t } ( x ^ {t} ) ^ {2} = 1 ,\ t > 0 . $$

In $ {} ^ {1} S _ {n} $ one may introduce instead coordinates $ u ^ {1} \dots u ^ {n} $, analogous to spherical polar coordinates, which are connected with the coordinates $ x ^ {t} $ by the relations

$$ x ^ {0} = \cosh u ^ {1} \cosh u ^ {2} \dots \cosh u ^ {n} , $$

$$ x ^ {1} = \sinh u ^ {1} \cosh u ^ {2} \dots \cosh u ^ {n} , $$

$$ {\dots \dots \dots } $$

$$ x ^ {t} = \sinh u ^ {t} \cosh u ^ {t+1} \dots \cosh u ^ {n} , $$

$$ {\dots \dots \dots \dots } $$

$$ x ^ {n} = \sinh u ^ {n} , $$

The distance $ \delta $ between two points of $ {} ^ {1} S _ {n} $ is then defined, in terms of their Weierstrass coordinates, by

$$ \cosh \delta = x ^ {0} y ^ {0} - \sum x ^ {t} y ^ {t} . $$

The angle $ \phi $( $ \leq \pi / 2 $) between two intersecting hyperplanes $ X _ {0} x ^ {0} + \sum X _ {t} x _ {t} = 0 $ and $ Y _ {0} x ^ {0} + \sum Y _ {t} x ^ {t} = 0 $( where $ - X _ {0} ^ {2} + \sum X _ {t} ^ {2} = 1 = - Y _ {0} ^ {2} + \sum Y _ {t} ^ {2} $) can be identified with the space-like distance between their poles $ ( - X _ {0} , X _ {1} \dots X _ {n} ) $ and $ ( - Y _ {0} , Y _ {1} \dots Y _ {n} ) $, and is thus given by

$$ \cos \phi = | - X _ {0} Y _ {0} + \sum X _ {t} Y _ {t} | . $$

Similarly, the distance $ \delta $ between two ultraparallel hyperplanes is given by

$$ \cosh \delta = | - X _ {0} Y _ {0} + \sum X _ {t} Y _ {t} | . $$

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 $ {} ^ {1} S _ {n} $ one can define spheres (balls), equi-distant surfaces, horospheres (horocycles for $ n= 2 $, cf. Horocycle), $ m $- simplexes, etc.

The classification of motions of the Lobachevskii space $ {} ^ {1} S _ {n} $ 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 $ {} ^ {1} R _ {n+1} $ without interchanging "future" and "past" . (This is a Lie group.) In order to specify a motion of $ {} ^ {1} S _ {n} $ it is sufficient to give the images of $ n+ 1 $ 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 $ {} ^ {1} S _ {n} $ one can construct the Kotel'nikov interpretation of manifolds of lines.

By means of projective interpretations, quadrics in $ {} ^ {1} S _ {n} $, and particularly in the $ 2 $- plane $ {} ^ {1} S _ {2} $, can be classified more completely.

The space $ {} ^ {1} S _ {n} $ is a Riemannian $ n $- space of constant negative curvature $ - 1 / \sigma ^ {2} $, where $ \sigma i $ 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 $ {} ^ {1} S _ {n} $ is homeomorphic to the space $ R _ {n} $; it extends indefinitely in all directions. Any $ m $- flat of $ {} ^ {1} S _ {n} $, $ m < n $, is a space $ {} ^ {1} S _ {m} $. Also, straight lines of $ {} ^ {1} S _ {n} $ are geodesics, and $ m $- flats are totally geodesic $ m $- 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 $ m $- flats. In particular, on a $ 2 $- flat of a Lobachevskii space the projective metric on a line is hyperbolic, and the metric in pencils of lines is elliptic.

References

[1] N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian)
[2] F. Klein, "Vorlesungen über Nicht-Euklidische Geometrie" , Springer (1928)
[3] V.F. Kagan, "Foundations of geometry" , 1–2 , Moscow-Leningrad (1949–1956) (In Russian)
[4] 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)
How to Cite This Entry:
Lobachevskii space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lobachevskii_space&oldid=55838
This article was adapted from an original article by L.A. Sidorov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article