Namespaces
Variants
Actions

Difference between revisions of "Pseudo-Riemannian geometry"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
The totality of geometric properties of surfaces and curves in a [[Pseudo-Riemannian space|pseudo-Riemannian space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p0758001.png" />. These properties arise from the properties of a pseudo-Riemannian metric on this space, which is an indefinite quadratic form of index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p0758002.png" />:
+
<!--
 +
p0758001.png
 +
$#A+1 = 20 n = 0
 +
$#C+1 = 20 : ~/encyclopedia/old_files/data/P075/P.0705800 Pseudo\AAhRiemannian geometry
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<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/p/p075/p075800/p0758003.png" /></td> </tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
The arc length of a curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p0758004.png" /> is expressed by the formula
+
The totality of geometric properties of surfaces and curves in a [[Pseudo-Riemannian space|pseudo-Riemannian space]]  $  {}  ^ {l} V _ {n} $.  
 +
These properties arise from the properties of a pseudo-Riemannian metric on this space, which is an indefinite quadratic form of index  $  l $:
  
<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/p/p075/p075800/p0758005.png" /></td> </tr></table>
+
$$
 +
d s  ^ {2}  = g _ {ij} ( X)  d x  ^ {i}  d x  ^ {j} .
 +
$$
  
it may be real, purely imaginary or zero (an isotropic curve). A geodesic curve in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p0758006.png" /> loses the property of being, even locally, extremal, but remains a curve of stationary length. The length of an arc <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p0758007.png" /> can be greater or less than the length of the geodesic segment joining the ends of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p0758008.png" />. If one considers the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p0758009.png" />, then a geodesic segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580010.png" /> of real length gives the longest distance between the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580012.png" /> (assuming that its arc can be imbedded in a semi-geodesic coordinate system as a coordinate line and that for comparison smooth curves of real length are taken from the domain in which this coordinate system is defined). If the pseudo-Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580013.png" /> is being considered, then any straight line of real length can be taken as the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580014.png" />-axis of an orthogonal coordinate system in which the scalar square of a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580015.png" /> has the form
+
The arc length of a curve  $  l $
 +
is expressed by the formula
  
<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/p/p075/p075800/p07580016.png" /></td> </tr></table>
+
$$
 +
= \int\limits _ { l }
 +
\sqrt {g _ {ij}  d x  ^ {i}  d x  ^ {j} } ;
 +
$$
  
Here any straight line segment of real length (along the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580017.png" />-axis) gives the longest distance between its end-points. In the case of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580018.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580019.png" />) a segment of a geodesic line with imaginary length will give the longest distance in comparison with all possible smooth curves with imaginary length the ends of which coincide with the ends of the geodesic segment.
+
it may be real, purely imaginary or zero (an isotropic curve). A geodesic curve in  $  {}  ^ {l} V _ {n} $
 +
loses the property of being, even locally, extremal, but remains a curve of stationary length. The length of an arc  $  l $
 +
can be greater or less than the length of the geodesic segment joining the ends of  $  l $.
 +
If one considers the space  $  {}  ^ {n-} 1 V _ {n} $,
 +
then a geodesic segment  $  A B $
 +
of real length gives the longest distance between the points  $  A $
 +
and  $  B $(
 +
assuming that its arc can be imbedded in a semi-geodesic coordinate system as a coordinate line and that for comparison smooth curves of real length are taken from the domain in which this coordinate system is defined). If the pseudo-Riemannian space  $  {}  ^ {n-} 1 \mathbf R _ {n} $
 +
is being considered, then any straight line of real length can be taken as the  $  x  ^ {n} $-
 +
axis of an orthogonal coordinate system in which the scalar square of a vector  $  \mathbf x $
 +
has the form
 +
 
 +
$$
 +
\langle  \mathbf x , \mathbf x \rangle  =  -
 +
\sum _ { i= } 1 ^ { n- }  1
 +
( x  ^ {i} )  ^ {2} + ( x  ^ {n} )  ^ {2} .
 +
$$
 +
 
 +
Here any straight line segment of real length (along the $  x  ^ {n} $-
 +
axis) gives the longest distance between its end-points. In the case of the space $  {}  ^ {1} V _ {n} $(
 +
or $  {}  ^ {1} \mathbf R _ {n} $)  
 +
a segment of a geodesic line with imaginary length will give the longest distance in comparison with all possible smooth curves with imaginary length the ends of which coincide with the ends of the geodesic segment.
  
 
Using a pseudo-Riemannian metric one can develop the differential geometry of surfaces and curves in a pseudo-Riemannian space, define the curvature of curves and surfaces, etc.
 
Using a pseudo-Riemannian metric one can develop the differential geometry of surfaces and curves in a pseudo-Riemannian space, define the curvature of curves and surfaces, etc.
  
Pseudo-Riemannian geometry also arises on surfaces in hyperbolic spaces. The simplest case of a pseudo-Riemannian geometry is the geometry of a [[Pseudo-Euclidean space|pseudo-Euclidean space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075800/p07580020.png" /> and, in particular, the geometry of [[Minkowski space|Minkowski space]].
+
Pseudo-Riemannian geometry also arises on surfaces in hyperbolic spaces. The simplest case of a pseudo-Riemannian geometry is the geometry of a [[Pseudo-Euclidean space|pseudo-Euclidean space]] $  {}  ^ {l} \mathbf R _ {n} $
 +
and, in particular, the geometry of [[Minkowski space|Minkowski space]].
  
 
For references and more information see [[Pseudo-Riemannian space|Pseudo-Riemannian space]].
 
For references and more information see [[Pseudo-Riemannian space|Pseudo-Riemannian space]].

Revision as of 08:08, 6 June 2020


The totality of geometric properties of surfaces and curves in a pseudo-Riemannian space $ {} ^ {l} V _ {n} $. These properties arise from the properties of a pseudo-Riemannian metric on this space, which is an indefinite quadratic form of index $ l $:

$$ d s ^ {2} = g _ {ij} ( X) d x ^ {i} d x ^ {j} . $$

The arc length of a curve $ l $ is expressed by the formula

$$ s = \int\limits _ { l } \sqrt {g _ {ij} d x ^ {i} d x ^ {j} } ; $$

it may be real, purely imaginary or zero (an isotropic curve). A geodesic curve in $ {} ^ {l} V _ {n} $ loses the property of being, even locally, extremal, but remains a curve of stationary length. The length of an arc $ l $ can be greater or less than the length of the geodesic segment joining the ends of $ l $. If one considers the space $ {} ^ {n-} 1 V _ {n} $, then a geodesic segment $ A B $ of real length gives the longest distance between the points $ A $ and $ B $( assuming that its arc can be imbedded in a semi-geodesic coordinate system as a coordinate line and that for comparison smooth curves of real length are taken from the domain in which this coordinate system is defined). If the pseudo-Riemannian space $ {} ^ {n-} 1 \mathbf R _ {n} $ is being considered, then any straight line of real length can be taken as the $ x ^ {n} $- axis of an orthogonal coordinate system in which the scalar square of a vector $ \mathbf x $ has the form

$$ \langle \mathbf x , \mathbf x \rangle = - \sum _ { i= } 1 ^ { n- } 1 ( x ^ {i} ) ^ {2} + ( x ^ {n} ) ^ {2} . $$

Here any straight line segment of real length (along the $ x ^ {n} $- axis) gives the longest distance between its end-points. In the case of the space $ {} ^ {1} V _ {n} $( or $ {} ^ {1} \mathbf R _ {n} $) a segment of a geodesic line with imaginary length will give the longest distance in comparison with all possible smooth curves with imaginary length the ends of which coincide with the ends of the geodesic segment.

Using a pseudo-Riemannian metric one can develop the differential geometry of surfaces and curves in a pseudo-Riemannian space, define the curvature of curves and surfaces, etc.

Pseudo-Riemannian geometry also arises on surfaces in hyperbolic spaces. The simplest case of a pseudo-Riemannian geometry is the geometry of a pseudo-Euclidean space $ {} ^ {l} \mathbf R _ {n} $ and, in particular, the geometry of Minkowski space.

For references and more information see Pseudo-Riemannian space.

How to Cite This Entry:
Pseudo-Riemannian geometry. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pseudo-Riemannian_geometry&oldid=48342
This article was adapted from an original article by L.A. Sidorov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article