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
This is the first Christoffel identity.
Since
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:
“The chief contribution of Protestantism to human thought is its massive proof that God is a bore.”
—H.L. (Henry Lewis)
“If any doubt has arisen as to me, my country [Virginia] will have my political creed in the form of a Declaration &c. which I was lately directed to draw. This will give decisive proof that my own sentiment concurred with the vote they instructed us to give.”
—Thomas Jefferson (17431826)
“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 nations greatest strength, will tell their own story to the world.”
—Susan B. Anthony (18201906)