- Fundamental theorem of Riemannian geometry
In

Riemannian geometry , the**fundamental theorem of Riemannian geometry**states that on anyRiemannian manifold (orpseudo-Riemannian manifold ) there is a unique torsion-free metric connection, called theof the given metric. Here aLevi-Civita connection **metric**(or**Riemannian**) connection is a connection which preserves themetric tensor .More precisely:

Let $(M,g)$ be a

(The first condition means that the metric tensor is preserved byRiemannian manifold (orpseudo-Riemannian manifold )then there is a unique connection $abla$ which satisfies the following conditions:

#for any vector fields $X,Y,Z$ we have $partial\_X\; langle\; Y,Z\; angle\; =\; langle\; abla\_X\; Y,Z\; angle\; +\; langle\; Y,\; abla\_X\; Z\; angle$, where $partial\_X\; langle\; Y,Z\; angle$ denotes the derivative of the function $partial\_X\; langle\; Y,Z\; angle$ along vector field $X$.

#for any vector fields $X,Y$, $abla\_XY-\; abla\_YX=\; [X,Y]$,

where $[X,Y]$ denotes theLie bracket s forvector field s $X,Y$.parallel transport , while the second condition expresses the fact that the torsion of $abla$ is zero.)An extension of the fundamental theorem states that given a pseudo-Riemannian manifold there is a unique connection preserving the

metric tensor with any given vector-valued 2-form as its torsion.The following technical proof presents a formula for Christoffel symbols of the connection in a local coordinate system. For a given metric this set of equations can become rather complicated. There are quicker and simpler methods to obtain the Christoffel symbols for a given metric, e.g. using the action integral and the associated Euler-Lagrange equations.

**Proof**Let "m" be the dimensiona of "M" and, in some local chart, consider the standard coordinate vector fields

:$\{partial\}\_i\; ;\; =\; ;\; \{partialoverpartial\; x^i\},\; i=1,dots,m.$

Locally, the entry "g

_{i j}" of the metric tensor is then given by :$g\_\{i\; j\}\; \{=\}\; langle\; \{partial\}\_i,\; \{partial\}\_j\; angle.$To specify the connection it is enough to specify, for all "i", "j", and "k",

:$langle\; abla\_\{partial\_i\}partial\_j,\; partial\_k\; angle.$

We also recall that, locally, a connection is given by "m"

^{3}smooth functions {$Gamma^l\; \{\}\_\{ij\}$}, where:$abla\_\{partial\_i\}\; partial\_j\; =\; sum\_l\; Gamma^l\_\{ij\}\; partial\; \_l.$

The torsion-free property means :$abla\_\{\; partial\; \_i\}\; partial\; \_j\; =\; abla\_\{partial\_j\}\; partial\_i.$

On the other hand, compatibility with the Riemannian metric implies that:$partial\_k\; g\_\{ij\}\; =\; langle\; abla\_\{partial\_i\}partial\_j,\; partial\_k\; angle\; +\; langle\; partial\_j,\; abla\_\{partial\_i\}\; partial\_k\; angle.$

For a fixed, "i", "j", and "k", permutation gives 3 equations with 6 unknowns. The torsion free assumption reduces the number of variables to 3. Solving the resulting system of 3 linear equations gives unique solutions

:$langle\; abla\_\{\; partial\_i\; \}partial\_j,\; partial\_k\; angle\; =\; frac\{1\}\{2\}(\; partial\_i\; g\_\{jk\}-\; partial\_k\; g\_\{ij\}\; +\; partial\_j\; g\_\{ik\}).$

This is the

**first Christoffel identity**.Since

:$langle\; abla\_\{\; partial\_i\; \}partial\_j,\; partial\_k\; angle\; =\; sum\_l\; Gamma^l\; \_\{ij\}\; g\_\{lk\},$

inverting the metric tensor gives the

**second Christoffel identity**::$Gamma^l\_\{ij\}\; =\; sum\_k\; frac\{1\}\{2\}(\; partial\_i\; g\_\{jk\}-\; partial\_k\; g\_\{ij\}\; +\; partial\_j\; g\_\{ik\})\; g^\{kl\}.$

The resulting unique connection is called the

**Levi-Civita connection**.**The Koszul formula**An alternative proof of the Fundamental theorem of Riemannian geometry proceeds by showing that a torsion-free metric connection on a Riemannian manifold is necessarily given by the following formula, known as the

**Koszul formula**::$egin\{matrix\}2\; g(\; abla\_XY,\; Z)\; =\; partial\_X\; (g(Y,Z))\; +\; partial\_Y\; (g(X,Z))\; -\; partial\_Z\; (g(X,Y))\backslash \{\}\; \{\}+\; g(\; [X,Y]\; ,Z)\; -\; g(\; [X,Z]\; ,Y)\; -\; g(\; [Y,Z]\; ,X).end\{matrix\}$This proves the uniqueness of the Levi-Civita connection. Existence is proven by showing that this expression is tensorial in "X" and "Z", satisfies the Leibniz rule in "Y", and that hence defines a connection. This is a metric connection, because the symmetric part of the formula in "Y" and "Z" is the first term on the first line; it is torsion-free because the anti-symmetric part of the formula in "X" and "Y" is the first term on the second line.**ee also***

Nash embedding theorem

*Wikimedia Foundation.
2010.*

### См. также в других словарях:

**Fundamental theorem**— In mathematics, there are a number of fundamental theorems for different fields. The names are mostly traditional; so that for example the fundamental theorem of arithmetic is basic to what would now be called number theory. Theorems may be… … Wikipedia**Riemannian geometry**— Elliptic geometry is also sometimes called Riemannian geometry. Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a Riemannian metric , i.e. with an inner product on the tangent… … Wikipedia**Geometry**— (Greek γεωμετρία ; geo = earth, metria = measure) is a part of mathematics concerned with questions of size, shape, and relative position of figures and with properties of space. Geometry is one of the oldest sciences. Initially a body of… … Wikipedia**Geometry and topology**— In mathematics, geometry and topology is an umbrella term for geometry and topology, as the line between these two is often blurred, most visibly in local to global theorems in Riemannian geometry, and results like the Gauss–Bonnet theorem and… … Wikipedia**Pseudo-Riemannian manifold**— In differential geometry, a pseudo Riemannian manifold (also called a semi Riemannian manifold) is a generalization of a Riemannian manifold. It is one of many things named after Bernhard Riemann. The key difference between the two is that on a… … Wikipedia**List of differential geometry topics**— This is a list of differential geometry topics. See also glossary of differential and metric geometry and list of Lie group topics. Contents 1 Differential geometry of curves and surfaces 1.1 Differential geometry of curves 1.2 Differential… … Wikipedia**List of geometry topics**— This is list of geometry topics, by Wikipedia page.*Geometric shape covers standard terms for plane shapes *List of mathematical shapes covers all dimensions *List of differential geometry topics *List of geometers *See also list of curves, list… … Wikipedia**Myers's theorem**— The Myers theorem, also known as the Bonnet–Myers theorem, is a classical theorem in Riemannian geometry. The strong form was proven by Sumner Byron Myers. The theorem states that if Ricci curvature of a complete Riemannian manifold M is bounded… … Wikipedia**Myers theorem**— The Myers theorem, also known as the Bonnet Myers theorem, is a classical theorem in Riemannian geometry.It states that if Ricci curvature of a complete Riemannian manifold M is bounded below by ( n − 1) k > 0, then its diameter is at most pi;/… … Wikipedia**Differential geometry of surfaces**— Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… … Wikipedia