克里斯托费尔符号1869

预备

下面的定义对于黎曼流形和广义相对论用到的伪黎曼流形都是适用的，逆变导数（contravariant，用上标表示）和协变导数（covariant，用下标表示）的指标作了严格的区分。公式对两种符号常规都成立，除特别指出的外。

定义

克氏符号可以从度量张量 gᵢₖ 的共变导数为0这一事实来导出： （公式略）。

通过交换指标（index），和求和，可以解出联络： （公式略），

注意虽然记号有三个指标，他们不是张量。它们不像张量那样变换。它们是二阶切丛上的物体的分量，是一个喷射，参看jet丛。克氏符号在坐标变换下的变换性质见下面。

注意，多数作者用和乐（或称完全，holonomic）的坐标系，我们也用这样的常规做法。在非和乐的坐标中，克氏符号有更复杂的形式 （公式略）

其中 c_(klm)=gₘₚc_(kl)^(p) 是该基的交换系数；也就是 [eₖ,e_(l)]=c_(kl)^(m)eₘ

其中ek是向量的基而 [,] 是李括号。

以下的表达式除作特殊说明外都是在和乐坐标基中。

和无指标符号的关系

令X和Y为向量场，其分量为 Xⁱ 和 Y^(k)。则Y相对于X的共变导数的第k个分量为 （公式略）.

有些老的物理书有时把X写成dx,并把它放在方程的后面而不是前面。这里，采用了爱因斯坦记号，所以重复出现的指标表示求和，和度量张量的缩并（contraction）用来升降指标： ⟨ X,Y⟩ =g(X,Y)=XⁱYᵢ=gᵢₖXⁱY^(k).

注意 gᵢₖ≠ g^(ik) 和克罗内克记号（Kronecker delta） gₖⁱ=δ ₖⁱ。常规上，度量张量是有下标的那个；这确的从 gᵢₖ 得到 g^(ik) 的办法是解线性方程组 g^(ij)gⱼₖ=δ ₖⁱ。也即，gik是gik的逆。

联络是无挠率的表达式是 ∇ _(X)Y-∇ _(Y)X=[X,Y]

这和克里斯托夫记号对两个下标对称是等价的： Γ ⱼₖⁱ=Γ ₖⱼⁱ.

无指标的张量变换性质是由共变指标的拉回和反变指标的前推来给出的。共变导数条目有关于无指标和有指标表示法的关系的更多讨论。

关系

把指标缩并起来，就得到 （公式略）

其中|g|是度量张量 gᵢₖ 的行列式的绝对值。

类似的, （公式略）

向量场 V^(m) 的共变导数（covariant derivative）是 （公式略）

共变散度（covariant divergence）是 （公式略）.

张量 A^(ik) 的共变导数是 （公式略）.

若张量是反对称的，则其散度简化为 （公式略）.

标量场 φ 的反变导数称为 φ 的梯度。也就是说，梯度就是把微分的指标升到上面： （公式略）

标量势的拉普拉斯算子Laplacian是 （公式略）.

拉普拉斯也就是梯度的共变散度（对于标量场来讲） Δ φ =DᵢDⁱφ.

黎曼曲率

黎曼曲率张量是 （公式略）.

该张量的对称性有 R_(iklm)=R_(lmik) 和 R_(iklm)=-R_(kilm)=-R_(ikml).

也就是交换前后两对指标是对称的，交换其中一对是反对称的。

循环替换的和是 R_(iklm)+R_(imkl)+R_(ilmk)=0.

比安基恒等式是 DₘR_(ikl)ⁿ+D_(l)Rᵢₘₖⁿ+DₖR_(ilm)ⁿ=0.

Ricci曲率

Ricci张量由下式给出 （公式略）

该张量是对称的： Rᵢₖ=Rₖᵢ.它可以通过收缩黎曼张量的指标得到： Rᵢₖ=g^(lm)R_(limk).

标量曲率由下式给出 R=g^(ik)Rᵢₖ.

标量的共变导数可以从Bianchi等式推出： （公式略）.

外尔张量

外尔张量（Weyl tensor）是 （公式略）.

坐标变换

在从 (x¹,...,xⁿ) 到 (y¹,...,yⁿ) 的坐标变换下，向量的变换为 （公式略）

所以 （公式略）

其中上划线表示y坐标系中的克氏符号。注意克氏符号不像张量那样变换，而是像jet丛中的对象那样。