Namespaces
Variants
Actions

Difference between revisions of "Co-pseudo-Euclidean space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
A space obtained from a pseudo-Euclidean space by applying the duality principle for the projective space of the same dimension. It is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c0227201.png" />. A co-pseudo-Euclidean space is a space with a projective metric, which may be introduced, following the general definition of projective metrics, by specifying the absolute in the projective space of corresponding dimension. A projective metric of a pseudo-Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c0227202.png" /> is defined by an absolute, which consists of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c0227203.png" />-hyperplane and a real <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c0227204.png" />-quadric in that hyperplane; hence a projective metric of the dual co-pseudo-Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c0227205.png" /> is defined by the dual of the absolute: a real (absolute) second-order cone with a point vertex, the latter being taken as an absolute point. The absolute cone divides <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c0227206.png" /> into two domains in which the scalar product of a vector with itself is of fixed sign. These domains represent the manifolds of the corresponding hyperplanes of the pseudo-Euclidean space dual to the given <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c0227207.png" />. Isotropic hyperplanes of the pseudo-Euclidean space represent points of the absolute in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c0227208.png" />. Depending on their positions relative to the absolute cone and absolute point (vertex), one distinguishes four types of straight lines: elliptic lines, which intersect the absolute cone at two conjugate complex points; hyperbolic lines, which intersect the absolute cone at two real points; parabolic lines, which pass through the absolute point; and isotropic lines, which are parabolic lines tangent to the absolute cone.
+
<!--
 +
c0227201.png
 +
$#A+1 = 58 n = 0
 +
$#C+1 = 58 : ~/encyclopedia/old_files/data/C022/C.0202720 Co\AAhpseudo\AAhEuclidean space
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
According to the duality principle for a pseudo-Euclidean space, straight lines of the first two types are represented by bundles of hyperplanes intersecting, respectively, in Euclidean and pseudo-Euclidean <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c0227209.png" />-hyperplanes; parabolic lines are represented by bundles of parallel hyperplanes; and isotropic lines are represented by bundles of hyperplanes intersecting in isotropic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272010.png" />-hyperplanes.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
A distance between the points of a co-pseudo-Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272011.png" /> is defined, in view of the dual nature of this space, with reference to the corresponding pseudo-Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272012.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272014.png" /> be points in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272015.png" />, to which correspond planes in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272016.png" /> with normal equations
+
A space obtained from a pseudo-Euclidean space by applying the duality principle for the projective space of the same dimension. It is denoted by  $  {}  ^ {l} R _ {n}  ^ {*} $.
 +
A co-pseudo-Euclidean space is a space with a projective metric, which may be introduced, following the general definition of projective metrics, by specifying the absolute in the projective space of corresponding dimension. A projective metric of a pseudo-Euclidean space  $  {}  ^ {l} R _ {n} $
 +
is defined by an absolute, which consists of an  $  ( n - 1) $-
 +
hyperplane and a real  $  ( n - 2) $-
 +
quadric in that hyperplane; hence a projective metric of the dual co-pseudo-Euclidean space  $  {}  ^ {l} R _ {n}  ^ {*} $
 +
is defined by the dual of the absolute: a real (absolute) second-order cone with a point vertex, the latter being taken as an absolute point. The absolute cone divides  $  {}  ^ {l} R _ {n}  ^ {*} $
 +
into two domains in which the scalar product of a vector with itself is of fixed sign. These domains represent the manifolds of the corresponding hyperplanes of the pseudo-Euclidean space dual to the given  $  {}  ^ {l} R _ {n}  ^ {*} $.  
 +
Isotropic hyperplanes of the pseudo-Euclidean space represent points of the absolute in  $  {}  ^ {l} R _ {n}  ^ {*} $.  
 +
Depending on their positions relative to the absolute cone and absolute point (vertex), one distinguishes four types of straight lines: elliptic lines, which intersect the absolute cone at two conjugate complex points; hyperbolic lines, which intersect the absolute cone at two real points; parabolic lines, which pass through the absolute point; and isotropic lines, which are parabolic lines tangent to the absolute cone.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272017.png" /></td> </tr></table>
+
According to the duality principle for a pseudo-Euclidean space, straight lines of the first two types are represented by bundles of hyperplanes intersecting, respectively, in Euclidean and pseudo-Euclidean  $  ( n - 2 ) $-
 +
hyperplanes; parabolic lines are represented by bundles of parallel hyperplanes; and isotropic lines are represented by bundles of hyperplanes intersecting in isotropic  $  ( n - 2) $-
 +
hyperplanes.
 +
 
 +
A distance between the points of a co-pseudo-Euclidean space  $  {}  ^ {l} R _ {n}  ^ {*} $
 +
is defined, in view of the dual nature of this space, with reference to the corresponding pseudo-Euclidean space  $  {}  ^ {l} R _ {n} $.
 +
Let  $  X $
 +
and  $  Y $
 +
be points in  $  {}  ^ {l} R _ {n}  ^ {*} $,
 +
to which correspond planes in  $  {}  ^ {l} R _ {n} $
 +
with normal equations
 +
 
 +
$$
 +
( \mathbf u , \mathbf x ) + u _ {0}  =  0; \ \
 +
( \mathbf v , \mathbf y ) + v _ {0}  = 0 ,
 +
$$
  
 
so that
 
so that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272018.png" /></td> </tr></table>
+
$$
 +
x  ^ {0}  = \rho u _ {0} ,\ \
 +
x  ^ {i}  = \rho u _ {i} ; \ \
 +
y  ^ {0}  = \rho v _ {0} ,\ \
 +
y  ^ {i}  = \rho v _ {i} ;
 +
$$
  
 
and moreover
 
and moreover
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272019.png" /></td> </tr></table>
+
$$
 +
( \mathbf u E \mathbf u )  = \pm  1,\ \
 +
( \mathbf v E \mathbf v )  = \pm  1,
 +
$$
 +
 
 +
where  $  E $
 +
is the linear operator defining the scalar product in  $  {}  ^ {l} R _ {n} $.
 +
The distance  $  \delta $
 +
between two points  $  X ( x  ^ {0} , x) $
 +
and  $  Y ( y  ^ {0} , y) $
 +
is defined by
 +
 
 +
$$
 +
\cos  ^ {2} \
 +
{
 +
\frac \delta  \rho
 +
= \
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272020.png" /> is the linear operator defining the scalar product in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272021.png" />. The distance <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272022.png" /> between two points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272023.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272024.png" /> is defined by
+
\frac{( \mathbf x E \mathbf y )  ^ {2} }{( \mathbf x E \mathbf x ) ( \mathbf y E \mathbf y ) }
 +
,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272025.png" /></td> </tr></table>
+
where  $  \rho $
 +
is an imaginary or real number, called the radius of curvature of  $  {}  ^ {l} R _ {n}  ^ {*} $.
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272026.png" /> is an imaginary or real number, called the radius of curvature of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272027.png" />.
+
If the hyperplanes in  $  {}  ^ {l} R _ {n} $
 +
corresponding to the points  $  X $
 +
and  $  Y $
 +
are parallel, the distance between the points may be defined as the distance  $  d $
 +
between these hyperplanes:
  
If the hyperplanes in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272028.png" /> corresponding to the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272029.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272030.png" /> are parallel, the distance between the points may be defined as the distance <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272031.png" /> between these hyperplanes:
+
$$
 +
= | y  ^ {0} - x  ^ {0} | \ \
 +
\textrm{ when } \
 +
( \mathbf x E \mathbf x ) > 0,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272032.png" /></td> </tr></table>
+
$$
 +
= i  | y  ^ {0} - x  ^ {0} | \  \textrm{ when }  ( \mathbf x E \mathbf x ) < 0.
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272033.png" /></td> </tr></table>
+
A geometry on the different types of straight lines in  $  {}  ^ {l} R _ {n}  ^ {*} $
 +
is defined by the type of the projective metric on them. Thus, a hyperbolic line carries a projective metric of a hyperbolic space; etc.
  
A geometry on the different types of straight lines in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272034.png" /> is defined by the type of the projective metric on them. Thus, a hyperbolic line carries a projective metric of a hyperbolic space; etc.
+
The angle between two hyperplanes in a co-pseudo-Euclidean space  $  {}  ^ {l} R _ {n}  ^ {*} $
 +
is defined as the normalized distance between the corresponding (dual) points of the pseudo-Euclidean space  $  {}  ^ {l} R _ {n} $.  
 +
This angle is equal to the normalized distance between the points of these hyperplanes which are the poles of their  $  ( n - 2) $-
 +
hyperplane of intersection relative to the quadrics cut out by the absolute cone on the hyperplanes. In all cases the angle defined is that not containing the absolute point. In particular, in  $  {}  ^ {1} R _ {2}  ^ {*} $
 +
the distance between two straight lines is equal to the normalized distance between the two points of these lines which, together with their point of intersection, harmonically separate their points of intersection with the absolute lines.
  
The angle between two hyperplanes in a co-pseudo-Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272035.png" /> is defined as the normalized distance between the corresponding (dual) points of the pseudo-Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272036.png" />. This angle is equal to the normalized distance between the points of these hyperplanes which are the poles of their <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272037.png" />-hyperplane of intersection relative to the quadrics cut out by the absolute cone on the hyperplanes. In all cases the angle defined is that not containing the absolute point. In particular, in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272038.png" /> the distance between two straight lines is equal to the normalized distance between the two points of these lines which, together with their point of intersection, harmonically separate their points of intersection with the absolute lines.
+
The transformations of  $  {}  ^ {l} R _ {n}  ^ {*} $
 +
induced by the motions of the dual pseudo-Euclidean space are called the motions of $  {}  ^ {l} R _ {n}  ^ {*} $.  
 +
The motions of  $  {}  ^ {l} R _ {n}  ^ {*} $
 +
are described (as are those of $  {}  ^ {l} R _ {n} $)
 +
by pseudo-orthogonal operators of index  $  l $.
  
The transformations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272039.png" /> induced by the motions of the dual pseudo-Euclidean space are called the motions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272040.png" />. The motions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272041.png" /> are described (as are those of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272042.png" />) by pseudo-orthogonal operators of index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272043.png" />.
+
In view of the duality governing the properties of the spaces  $  {}  ^ {1} R _ {2}  ^ {*} $
 +
and  $  {}  ^ {1} R _ {2} $,
 +
the geometry of the plane  $  {}  ^ {1} R _ {2}  ^ {*} $
 +
may be derived from that of the plane  $  {}  ^ {1} R _ {2} $;
 +
this applies, in particular, to the geometry of a triangle in  $  {}  ^ {1} R _ {2}  ^ {*} $.  
 +
The fundamental relations between the lengths of the sides and the magnitudes of angles are expressed in formulas analogous to those for triangles in a co-Euclidean space (see [[Co-Euclidean space|Co-Euclidean space]]), except that the trigonometric functions appearing in the latter must be replaced by the corresponding hyperbolic functions.
  
In view of the duality governing the properties of the spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272044.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272045.png" />, the geometry of the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272046.png" /> may be derived from that of the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272047.png" />; this applies, in particular, to the geometry of a triangle in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272048.png" />. The fundamental relations between the lengths of the sides and the magnitudes of angles are expressed in formulas analogous to those for triangles in a co-Euclidean space (see [[Co-Euclidean space|Co-Euclidean space]]), except that the trigonometric functions appearing in the latter must be replaced by the corresponding hyperbolic functions.
+
Let  $  ABC $
 +
be a triangle whose inner angle  $  B $
 +
contains an absolute point. Then the following relations hold for the sides $  a, b, c $
 +
and the values of the angles $  \widehat{A}  , \widehat{B}  , \widehat{C}  $:
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272049.png" /> be a triangle whose inner angle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272050.png" /> contains an absolute point. Then the following relations hold for the sides <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272051.png" /> and the values of the angles <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272052.png" />:
+
$$
 +
= a + c,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272053.png" /></td> </tr></table>
+
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272054.png" /></td> </tr></table>
+
\frac{\widehat{A}  }{\sinh ( a / \rho ) }
 +
  =
 +
\frac{\widehat{B}
 +
}{\sinh ( b / \rho ) }
 +
  =
 +
\frac{\widehat{C}  }{\sinh ( c / \rho ) }
 +
,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272055.png" /></td> </tr></table>
+
$$
 +
\widehat{A}  {}  ^ {2}  = \widehat{B}  {}  ^ {2} + \widehat{C}  {}  ^ {2} - 2 \widehat{B}  \widehat{C}  \cosh 
 +
\frac{a} \rho
 +
.
 +
$$
  
The distance metric on the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272056.png" /> is a hyperbolic projective metric, while the angle metric is parabolic. In the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272057.png" />-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022720/c02272058.png" />, the projective metric on a plane is hyperbolic, while that on a straight line is elliptic; the metric in bundles of planes is parabolic (pseudo-Euclidean).
+
The distance metric on the plane $  {}  ^ {1} R _ {2}  ^ {*} $
 +
is a hyperbolic projective metric, while the angle metric is parabolic. In the $  3 $-
 +
space $  {}  ^ {1} R _ {3}  ^ {*} $,  
 +
the projective metric on a plane is hyperbolic, while that on a straight line is elliptic; the metric in bundles of planes is parabolic (pseudo-Euclidean).
  
 
Co-pseudo-Euclidean spaces constitute a limiting case of hyperbolic spaces.
 
Co-pseudo-Euclidean spaces constitute a limiting case of hyperbolic spaces.
Line 49: Line 147:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  B.A. Rozenfel'd,  "Non-Euclidean spaces" , Moscow  (1969)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  I.M. Yaglom,  B.A. Rozenfel'd,  E.U. Yasinskaya,  "Projective metrics"  ''Uspekhi Mat. Nauk'' , '''19''' :  5  (1964)  pp. 51–113  (In Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  B.A. Rozenfel'd,  "Non-Euclidean spaces" , Moscow  (1969)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  I.M. Yaglom,  B.A. Rozenfel'd,  E.U. Yasinskaya,  "Projective metrics"  ''Uspekhi Mat. Nauk'' , '''19''' :  5  (1964)  pp. 51–113  (In Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
A co-pseudo-Euclidean space is also called a dual pseudo-Euclidean space.
 
A co-pseudo-Euclidean space is also called a dual pseudo-Euclidean space.

Revision as of 17:45, 4 June 2020


A space obtained from a pseudo-Euclidean space by applying the duality principle for the projective space of the same dimension. It is denoted by $ {} ^ {l} R _ {n} ^ {*} $. A co-pseudo-Euclidean space is a space with a projective metric, which may be introduced, following the general definition of projective metrics, by specifying the absolute in the projective space of corresponding dimension. A projective metric of a pseudo-Euclidean space $ {} ^ {l} R _ {n} $ is defined by an absolute, which consists of an $ ( n - 1) $- hyperplane and a real $ ( n - 2) $- quadric in that hyperplane; hence a projective metric of the dual co-pseudo-Euclidean space $ {} ^ {l} R _ {n} ^ {*} $ is defined by the dual of the absolute: a real (absolute) second-order cone with a point vertex, the latter being taken as an absolute point. The absolute cone divides $ {} ^ {l} R _ {n} ^ {*} $ into two domains in which the scalar product of a vector with itself is of fixed sign. These domains represent the manifolds of the corresponding hyperplanes of the pseudo-Euclidean space dual to the given $ {} ^ {l} R _ {n} ^ {*} $. Isotropic hyperplanes of the pseudo-Euclidean space represent points of the absolute in $ {} ^ {l} R _ {n} ^ {*} $. Depending on their positions relative to the absolute cone and absolute point (vertex), one distinguishes four types of straight lines: elliptic lines, which intersect the absolute cone at two conjugate complex points; hyperbolic lines, which intersect the absolute cone at two real points; parabolic lines, which pass through the absolute point; and isotropic lines, which are parabolic lines tangent to the absolute cone.

According to the duality principle for a pseudo-Euclidean space, straight lines of the first two types are represented by bundles of hyperplanes intersecting, respectively, in Euclidean and pseudo-Euclidean $ ( n - 2 ) $- hyperplanes; parabolic lines are represented by bundles of parallel hyperplanes; and isotropic lines are represented by bundles of hyperplanes intersecting in isotropic $ ( n - 2) $- hyperplanes.

A distance between the points of a co-pseudo-Euclidean space $ {} ^ {l} R _ {n} ^ {*} $ is defined, in view of the dual nature of this space, with reference to the corresponding pseudo-Euclidean space $ {} ^ {l} R _ {n} $. Let $ X $ and $ Y $ be points in $ {} ^ {l} R _ {n} ^ {*} $, to which correspond planes in $ {} ^ {l} R _ {n} $ with normal equations

$$ ( \mathbf u , \mathbf x ) + u _ {0} = 0; \ \ ( \mathbf v , \mathbf y ) + v _ {0} = 0 , $$

so that

$$ x ^ {0} = \rho u _ {0} ,\ \ x ^ {i} = \rho u _ {i} ; \ \ y ^ {0} = \rho v _ {0} ,\ \ y ^ {i} = \rho v _ {i} ; $$

and moreover

$$ ( \mathbf u E \mathbf u ) = \pm 1,\ \ ( \mathbf v E \mathbf v ) = \pm 1, $$

where $ E $ is the linear operator defining the scalar product in $ {} ^ {l} R _ {n} $. The distance $ \delta $ between two points $ X ( x ^ {0} , x) $ and $ Y ( y ^ {0} , y) $ is defined by

$$ \cos ^ {2} \ { \frac \delta \rho } = \ \frac{( \mathbf x E \mathbf y ) ^ {2} }{( \mathbf x E \mathbf x ) ( \mathbf y E \mathbf y ) } , $$

where $ \rho $ is an imaginary or real number, called the radius of curvature of $ {} ^ {l} R _ {n} ^ {*} $.

If the hyperplanes in $ {} ^ {l} R _ {n} $ corresponding to the points $ X $ and $ Y $ are parallel, the distance between the points may be defined as the distance $ d $ between these hyperplanes:

$$ d = | y ^ {0} - x ^ {0} | \ \ \textrm{ when } \ ( \mathbf x E \mathbf x ) > 0, $$

$$ d = i | y ^ {0} - x ^ {0} | \ \textrm{ when } ( \mathbf x E \mathbf x ) < 0. $$

A geometry on the different types of straight lines in $ {} ^ {l} R _ {n} ^ {*} $ is defined by the type of the projective metric on them. Thus, a hyperbolic line carries a projective metric of a hyperbolic space; etc.

The angle between two hyperplanes in a co-pseudo-Euclidean space $ {} ^ {l} R _ {n} ^ {*} $ is defined as the normalized distance between the corresponding (dual) points of the pseudo-Euclidean space $ {} ^ {l} R _ {n} $. This angle is equal to the normalized distance between the points of these hyperplanes which are the poles of their $ ( n - 2) $- hyperplane of intersection relative to the quadrics cut out by the absolute cone on the hyperplanes. In all cases the angle defined is that not containing the absolute point. In particular, in $ {} ^ {1} R _ {2} ^ {*} $ the distance between two straight lines is equal to the normalized distance between the two points of these lines which, together with their point of intersection, harmonically separate their points of intersection with the absolute lines.

The transformations of $ {} ^ {l} R _ {n} ^ {*} $ induced by the motions of the dual pseudo-Euclidean space are called the motions of $ {} ^ {l} R _ {n} ^ {*} $. The motions of $ {} ^ {l} R _ {n} ^ {*} $ are described (as are those of $ {} ^ {l} R _ {n} $) by pseudo-orthogonal operators of index $ l $.

In view of the duality governing the properties of the spaces $ {} ^ {1} R _ {2} ^ {*} $ and $ {} ^ {1} R _ {2} $, the geometry of the plane $ {} ^ {1} R _ {2} ^ {*} $ may be derived from that of the plane $ {} ^ {1} R _ {2} $; this applies, in particular, to the geometry of a triangle in $ {} ^ {1} R _ {2} ^ {*} $. The fundamental relations between the lengths of the sides and the magnitudes of angles are expressed in formulas analogous to those for triangles in a co-Euclidean space (see Co-Euclidean space), except that the trigonometric functions appearing in the latter must be replaced by the corresponding hyperbolic functions.

Let $ ABC $ be a triangle whose inner angle $ B $ contains an absolute point. Then the following relations hold for the sides $ a, b, c $ and the values of the angles $ \widehat{A} , \widehat{B} , \widehat{C} $:

$$ b = a + c, $$

$$ \frac{\widehat{A} }{\sinh ( a / \rho ) } = \frac{\widehat{B} }{\sinh ( b / \rho ) } = \frac{\widehat{C} }{\sinh ( c / \rho ) } , $$

$$ \widehat{A} {} ^ {2} = \widehat{B} {} ^ {2} + \widehat{C} {} ^ {2} - 2 \widehat{B} \widehat{C} \cosh \frac{a} \rho . $$

The distance metric on the plane $ {} ^ {1} R _ {2} ^ {*} $ is a hyperbolic projective metric, while the angle metric is parabolic. In the $ 3 $- space $ {} ^ {1} R _ {3} ^ {*} $, the projective metric on a plane is hyperbolic, while that on a straight line is elliptic; the metric in bundles of planes is parabolic (pseudo-Euclidean).

Co-pseudo-Euclidean spaces constitute a limiting case of hyperbolic spaces.

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" Uspekhi Mat. Nauk , 19 : 5 (1964) pp. 51–113 (In Russian)

Comments

A co-pseudo-Euclidean space is also called a dual pseudo-Euclidean space.

How to Cite This Entry:
Co-pseudo-Euclidean space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Co-pseudo-Euclidean_space&oldid=18750
This article was adapted from an original article by L.A. Sidorov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article