DavidWhitbeck
- 351
- 1
And the last one is optional.
The covariant derivative of the metric tensor is established as zero, a condition known as "metric compatibility." This property is derived from the definition of the covariant derivative, which accounts for the non-flatness of the space. The discussion emphasizes that this relationship is not merely an axiom but can be derived through the parallel transport of 4-vectors, as outlined in standard texts like Wald and Ohanian and Ruffini. The consensus is that while the assumption of no torsion is necessary, the vanishing of the covariant derivative is a derived property rather than an axiom.
PREREQUISITESMathematicians, physicists, and students of differential geometry who are interested in the foundational aspects of metric tensors and covariant derivatives in the context of general relativity.