Namespaces
Variants
Actions

Difference between revisions of "Metric connection"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
A [[Linear connection|linear connection]] in a vector bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063630/m0636301.png" />, equipped with a bilinear form in the fibres, for which parallel displacement along an arbitrary piecewise-smooth curve in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063630/m0636302.png" /> preserves the form, that is, the scalar product of two vectors remains constant under parallel displacement. If the bilinear form is given by its components <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063630/m0636303.png" /> and the linear connection by a matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063630/m0636304.png" />-form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063630/m0636305.png" />, then this connection is metric if
+
<!--
 +
m0636301.png
 +
$#A+1 = 8 n = 0
 +
$#C+1 = 8 : ~/encyclopedia/old_files/data/M063/M.0603630 Metric connection
 +
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/m/m063/m063630/m0636306.png" /></td> </tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
In the case of a non-degenerate symmetric bilinear form, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063630/m0636307.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063630/m0636308.png" />, the metric connection is called a [[Euclidean connection|Euclidean connection]]. In the case of a non-degenerate skew-symmetric bilinear form, the metric connection is called a symplectic connection in the vector bundle.
+
A [[Linear connection|linear connection]] in a vector bundle  $  \pi :  X \rightarrow B $,
 +
equipped with a bilinear form in the fibres, for which parallel displacement along an arbitrary piecewise-smooth curve in  $  B $
 +
preserves the form, that is, the scalar product of two vectors remains constant under parallel displacement. If the bilinear form is given by its components  $  g _ {\alpha \beta }  $
 +
and the linear connection by a matrix  $  1 $-
 +
form $  \omega _  \alpha  ^  \beta  $,  
 +
then this connection is metric if
  
Under projectivization of a vector bundle, when the symmetric bilinear form generates some projective metric in each fibre (as in a projective space), the role of the metric connection is played by the projective-metric connection.
+
$$
 +
d g _ {\alpha \beta }  = \
 +
g _ {\gamma \beta }
 +
\omega _  \alpha  ^  \gamma  +
 +
g _ {\alpha \gamma }
 +
\omega _  \beta  ^  \gamma  .
 +
$$
  
 +
In the case of a non-degenerate symmetric bilinear form, i.e.  $  g _ {\alpha \beta }  = g _ {\beta \alpha }  $
 +
and  $  \mathop{\rm det}  | g _ {\alpha \beta }  | \neq 0 $,
 +
the metric connection is called a [[Euclidean connection|Euclidean connection]]. In the case of a non-degenerate skew-symmetric bilinear form, the metric connection is called a symplectic connection in the vector bundle.
  
 +
Under projectivization of a vector bundle, when the symmetric bilinear form generates some projective metric in each fibre (as in a projective space), the role of the metric connection is played by the projective-metric connection.
  
 
====Comments====
 
====Comments====

Latest revision as of 08:00, 6 June 2020


A linear connection in a vector bundle $ \pi : X \rightarrow B $, equipped with a bilinear form in the fibres, for which parallel displacement along an arbitrary piecewise-smooth curve in $ B $ preserves the form, that is, the scalar product of two vectors remains constant under parallel displacement. If the bilinear form is given by its components $ g _ {\alpha \beta } $ and the linear connection by a matrix $ 1 $- form $ \omega _ \alpha ^ \beta $, then this connection is metric if

$$ d g _ {\alpha \beta } = \ g _ {\gamma \beta } \omega _ \alpha ^ \gamma + g _ {\alpha \gamma } \omega _ \beta ^ \gamma . $$

In the case of a non-degenerate symmetric bilinear form, i.e. $ g _ {\alpha \beta } = g _ {\beta \alpha } $ and $ \mathop{\rm det} | g _ {\alpha \beta } | \neq 0 $, the metric connection is called a Euclidean connection. In the case of a non-degenerate skew-symmetric bilinear form, the metric connection is called a symplectic connection in the vector bundle.

Under projectivization of a vector bundle, when the symmetric bilinear form generates some projective metric in each fibre (as in a projective space), the role of the metric connection is played by the projective-metric connection.

Comments

In the case of a positive-definite bilinear form, the metric connection is also called a Riemannian connection.

References

[a1] W. Klingenberg, "Riemannian geometry" , de Gruyter (1982) (Translated from German)
[a2] S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 1–2 , Interscience (1969)
How to Cite This Entry:
Metric connection. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Metric_connection&oldid=13561
This article was adapted from an original article by Ü. Lumiste (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article