Quasi-hyperbolic space
A projective -space in which a metric is defined by an absolute, consisting of an absolute cone
of index
with an
-vertex (an absolute plane
) and an
-quadric (an absolute quadric
) of index
on this
-plane. Such a space is called a quasi-hyperbolic space of indices
and
, and is denoted by the symbol
, where
. A quasi-hyperbolic space is a particular case of a semi-hyperbolic space. The quasi-hyperbolic space
is obtained from the hyperbolic space
by passing to the limit in such a way that the absolute of the hyperbolic space is transformed to the absolute of the quasi-hyperbolic space.
When , the cone
is a pair of coincident planes that are the same as the plane
, while the absolute of the space is the same as that of the pseudo-Euclidean space
. When
, the cone
is a pair of real planes; in particular, for
the plane
is the line of intersection of these two planes, while the quadric
is a pair of points on
. In the case
, the cone
has point vertex and the absolute of
is the same as that of the co-pseudo-Euclidean space
.
Quasi-hyperbolic spaces are spaces of more general type in comparison to co-pseudo-Euclidean spaces.
The projective metric of the quasi-hyperbolic space is defined in such a way that when
the metric of the pseudo-Euclidean space
is obtained, while when
, that of the co-pseudo-Euclidean space
is obtained.
In a quasi-hyperbolic space lines of four types are distinguished: elliptic lines, intersecting the absolute cone in two conjugate-imaginary points; hyperbolic lines, intersecting the absolute cone in two real points; parabolic lines, passing through the vertex of the absolute cone; and isotropic lines, passing through the vertex of the absolute cone and tangent to it.
The distance between two points
and
is defined in case the line
does not intersect the
-plane
by the formula
![]() |
where is the linear operator defining the scalar product in the pseudo-Euclidean
-space
;
,
are the vectors of the points
and
, and
is a real number. The distance between two points not lying on a parabolic line is equal to the distance between the projections of these points on the
-plane
in the direction of the
-plane
. In case the line
intersects
, the distance
is calculated from the difference
, where
,
are the vectors of
and
in the pseudo-Euclidean space
;
,
being the linear operator defining the scalar product in this space.
One takes as the angle between two planes of the (normalized) distance between the two corresponding points in the space
dual to it according to the duality principle of projective space. The coordinates of these points are numerically equal to the projective coordinates of the given planes. In case the
-plane of intersection of the two given planes intersects
, this angle is always zero, but in this case one applies a method of measurement analogous to that of measuring distance in the similar case. In particular, when
angles between
-planes are the angles between lines, and, depending on the position of the
-plane relative to
, there are three possible types of geometry, namely Euclidean, pseudo-Euclidean and co-pseudo-Euclidean.
The motions of a quasi-hyperbolic space are the collineations preserving distance between points and taking the absolute cone , the
-vertex
and the
-quadric
in
into themselves. Motions are described by pseudo-orthogonal operators of index
. In the quasi-hyperbolic space
, which is self-dual, a co-motion is defined as a correlation taking any two points to two planes the angle between which is proportional to the distance between the given points, and taking any two planes to two points the distance between which is proportional to the angle between the planes. The co-motions are described by pseudo-orthogonal operators of index
. The motions form a Lie group, as do the motions and co-motions of a self-dual quasi-hyperbolic space.
A quasi-hyperbolic -space with a projective elliptic metric on the lines,
, has a co-Euclidean metric on
-planes and a pseudo-Euclidean metric of index 1 in bundles of planes. A quasi-hyperbolic
-space with a hyperbolic projective distance metric can be of two types:
or
, differing by their metrics in bundles of planes: in the first, a Euclidean, in the second, a pseudo-Euclidean metric of index 1. The metrics on the
-planes coincide; it is a pseudo-Euclidean metric of index 1.
The quasi-hyperbolic -space
can be interpreted as the group of motions of the pseudo-Euclidean
-plane of index 1. The manifold of hyperbolic lines on this quasi-hyperbolic
-space can be interpreted as a pair of such pseudo-Euclidean planes. The spaces
and
are dual to each other, and can be interpreted on a complex
-plane.
References
[1] | B.A. Rozenfel'd, "Non-Euclidean spaces" , Moscow (1969) (In Russian) |
[2] | I.M. Yaglom, B.A. Rozenfel'd, E.U. Yasinskaya, "Projective metrics" Russian Math. Surveys , 19 : 5 (1964) pp. 49–107 Uspekhi Mat. Nauk , 19 : 5 (1964) pp. 51–113 |
Comments
References
[a1] | O. Giering, "Vorlesungen über höhere Geometrie" , Vieweg (1982) |
[a2] | B.A. [B.A. Rozenfel'd] Rosenfel'd, "A history of non-euclidean geometry" , Springer (1988) (Translated from Russian) |
Quasi-hyperbolic space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quasi-hyperbolic_space&oldid=48383