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 Koszul formula:
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.
Read more about this topic: Fundamental Theorem Of Riemannian Geometry
Famous quotes containing the word formula:
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)