Reference: Moore, Thomas A., *A General Relativity Workbook*, University Science Books (2013) – Chapter 17; 9.

One interesting and useful theorem is that the covariant derivative of *any* metric tensor is always zero. We can show this by using the expression for the covariant derivative of a general tensor to say:

We can combine this with the explicit expression for the Christoffel symbols:

Substituting, we get

Since , we get

Now we use the symmetry of the metric tensor: :

Mark RuprightTechnically, this is a property of a “metric-compatible connection”. The Christoffel symbols could have been defined first from the requirement that the covariant derivative of the metric vanishes. There are more general connections, and covariant derivatives, than the metric-compatible one.

Pingback: Covariant derivative of the metric tensor: application to a coordinate transformation | Physics pages

Pingback: Metric tensor as a stress-energy tensor | Physics pages

Valery KhersonskyYes, what is discussed above is true only for Levi-Civita connection (metric compatible and torsion free). Can we prove the same without introducing this type of connection?

Pingback: Conservation of four-momentum implies the geodesic equation | Physics pages

Pingback: Einstein equation solution for the interior of a spherically symmetric star | Physics pages