Fundamental Theorem of Riemannian Geometry - Proof

Proof

Let m be the dimension of M and, in some local chart, consider the standard coordinate vector fields

Locally, the entry gi j of the metric tensor is then given by

To specify the connection it is enough to specify, for all i, j, and k,

We also recall that, locally, a connection is given by m3 smooth functions {}, where

The torsion-free property means

On the other hand, compatibility with the Riemannian metric implies that

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 \nabla_{ \partial_i }\partial_j, \partial_k \rangle = \frac{1}{2}( \partial_i g_{jk}- \partial_k g_{ij} + \partial_j g_{ik}).

This is the first Christoffel identity.

Since

\langle \nabla_{ \partial_i }\partial_j, \partial_k \rangle = \Gamma^l _{ij} g_{lk},

Where we use Einstein summation convention. That is, an index repeated subscript and superscript implies that it is summed over all values. inverting the metric tensor gives the second Christoffel identity:

Once again, with Einstein summation convention. The resulting unique connection is called the Levi-Civita connection.

Read more about this topic:  Fundamental Theorem Of Riemannian Geometry

Famous quotes containing the word proof:

    “There are some persons in this world, who, unable to give better proof of being wise, take a strange delight in showing what they think they have sagaciously read in mankind by uncharitable suspicions of them.”
    —Herman Melville (1819–1891)

    “If any proof were needed of the progress of the cause for which I have worked, it is here tonight. The presence on the stage of these college women, and in the audience of all those college girls who will some day be the nation’s greatest strength, will tell their own story to the world.”
    —Susan B. Anthony (1820–1906)

    “From whichever angle one looks at it, the application of racial theories remains a striking proof of the lowered demands of public opinion upon the purity of critical judgment.”
    —Johan Huizinga (1872–1945)