Definition talk:Metric Compatible Connection

Mistake
What happened here is that I left out the notion of general covariant derivative (for personal reasons, I only had time for most basic notions). The current definition at hand is defined only for vector fields. However, this covariant derivative induces a covariant derivative of arbitrary tensor fields including scalars. And for scalars it reduces to exactly what you wrote. So what we really have to do here is to created a theorem page for existence of such a derivative, and then create a definition page for the more general covariant derivative. Referring to that derivative would then solve the issue.--Julius (talk) 21:44, 26 May 2023 (UTC)


 * Way over my head I'm afraid. I'll let the experts hammer this out. --prime mover (talk) 21:46, 26 May 2023 (UTC)