关于广义相对论中协变导数的技术问询（基于Schutz微分方法）

嘿，我来帮你把 Schutz 著作里这套微分几何的向量与协变导数内容整理成清晰的格式，方便你参考：

向量的几何定义与表示 #

在 Schutz 的微分框架中，向量被视为几何对象，它可以通过分量与基向量的线性组合来表示：
$$\vec{V}=V^a\ \vec{E}_a$$
这里的符号含义：

• $V^a$：向量的逆变分量
• $\vec{E}_a$：对应坐标系下的基向量

向量协变导数的推导过程 #

基于上述记号，我们可以一步步推导向量的协变导数 $\nabla_{\vec{E}_a}\vec{V}$：

1. 首先对向量的分量-基向量组合应用乘积法则展开协变导数：
   $$\nabla_{\vec{E}a}\vec{V}=\nabla{\vec{E}a}(V^{b)\vec{E}_b+V}b\nabla{\vec{E}_a}(\vec{E}_b)$$
2. 接下来替换两项的具体形式：
   • 第一项中，$\nabla_{\vec{E}_a}(V^b)$ 等价于基向量 $\vec{E}_a$ 对分量 $V^b$ 的方向导数，可写作 $\vec{E}_a(V^b)$
   • 第二项中，基向量的协变导数由克里斯托费尔符号描述，即 $\nabla_{\vec{E}_a}(\vec{E}b)=\Gamma^c{ba}\vec{E}_c$
3. 代入后得到最终的协变导数表达式：
   $$\nabla_{\vec{E}_a}\vec{V}= \vec{E}a(V^{b)\vec{E}_b+V}b\Gamma^c{ba}\vec{E}_c$$

内容的提问来源于stack exchange，提问作者P. C. Spaniel