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:

    “Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other two—a proof of the decline of that country.”
    —Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    “The insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.”
    —Charles Baudelaire (1821–1867)

    “If we view our children as stupid, naughty, disturbed, or guilty of their misdeeds, they will learn to behold themselves as foolish, faulty, or shameful specimens of humanity. They will regard us as judges from whom they wish to hide, and they will interpret everything we say as further proof of their unworthiness. If we view them as innocent, or at least merely ignorant, they will gain understanding from their experiences, and they will continue to regard us as wise partners.”
    —Polly Berrien Berends (20th century)