引言：平坦世界中的迷失
想象你站在一个平坦的机场跑道上。你可以沿着东西方向走，也可以沿着南北方向走。如果你从起点向东走1000米，然后向北走1000米，再向西走1000米，最后向南走1000米，你会回到起点——这是常识。
但如果你站在一个巨大的球面上，比如地球表面，情况就完全不同了。从赤道出发，向北走到北极，再沿着同一经度线向南走回赤道，你会发现自己在起点以西。不是因为你走歪了，而是因为你走的是一个弯曲的空间。
在弯曲空间中，我们需要重新思考什么是"直线"，什么是"平行"，甚至什么是"导数"。克里斯托费尔符号（Christoffel symbols），正是为了解决这些问题而诞生的数学工具。
它不仅仅是一堆符号，它是弯曲空间中的导航系统。它告诉我们，当我们沿着空间移动时，坐标系本身会发生什么变化。
让我们从一个最简单的问题开始：为什么我们会在弯曲空间中迷失？
第一章：从平地到弯曲世界
1.1 向量场：每一点都有一个箭头
在三维欧几里得空间中，我们可以用笛卡尔坐标系来描述点的位置：$\mathbf{r} = (x, y, z)$。在这个熟悉的坐标系中，一个向量场 $\mathbf{V}(\mathbf{r})$ 可以写成：
$$\mathbf{V} = V^x \frac{\partial}{\partial x} + V^y \frac{\partial}{\partial y} + V^z \frac{\partial}{\partial z}$$
其中 $\frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z}$ 是基向量，$V^x, V^y, V^z$ 是向量场的分量。
关键问题：在笛卡尔坐标系中，基向量 $\frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z}$ 在空间中是恒定不变的。无论你在哪里，$x$ 方向的单位向量都指向同一方向。
这就是为什么我们可以在平坦空间中轻松计算导数：
$$\frac{\partial \mathbf{V}}{\partial x} = \frac{\partial V^x}{\partial x} \frac{\partial}{\partial x} + \frac{\partial V^y}{\partial x} \frac{\partial}{\partial y} + \frac{\partial V^z}{\partial x} \frac{\partial}{\partial z}$$
基向量不变，我们只需要对分量求导。多么简单！
1.2 当坐标系弯曲了
但当我们使用曲线坐标系，或者当我们考虑弯曲空间时，情况完全变了。
以球面坐标 $(r, \theta, \phi)$ 为例，基向量是：
$$\mathbf{e}r = \frac{\partial \mathbf{r}}{\partial r}, \quad \mathbf{e}\theta = \frac{\partial \mathbf{r}}{\partial \theta}, \quad \mathbf{e}_\phi = \frac{\partial \mathbf{r}}{\partial \phi}$$
这些基向量不是恒定的！当你改变 $\theta$ 时，$\mathbf{e}_\phi$ 的方向也在改变。
例子：在地球表面，赤道上某点的"东"向基向量与北极点的"东"向基向量指向完全不同的方向。
这就是问题的核心：在弯曲空间中，基向量随位置变化。
1.3 普通导数的困境
由于基向量不再是常数，当我们计算向量场的导数时，必须考虑基向量的变化：
$$\frac{\partial \mathbf{V}}{\partial x} = \frac{\partial (V^i \mathbf{e}_i)}{\partial x} = \frac{\partial V^i}{\partial x} \mathbf{e}_i + V^i \frac{\partial \mathbf{e}_i}{\partial x}$$
这里使用了爱因斯坦求和约定（重复指标自动求和）。
第一项 $\frac{\partial V^i}{\partial x} \mathbf{e}_i$ 是我们熟悉的：分量的变化。
第二项 $V^i \frac{\partial \mathbf{e}_i}{\partial x}$ 是新的挑战：基向量的变化。
克里斯托费尔符号的作用：它描述的正是基向量如何变化！
第二章：克里斯托费尔符号的诞生
2.1 基向量的变化率
基向量 $\mathbf{e}_i$ 的变化率 $\frac{\partial \mathbf{e}_i}{\partial x^j}$ 本身也是一个向量，因此可以用基向量的线性组合来表示：
$$\frac{\partial \mathbf{e}i}{\partial x^j} = \Gamma^k{ij} \mathbf{e}_k$$
这里 $\Gamma^k_{ij}$ 就是克里斯托费尔符号（具体来说是第一类克里斯托费尔符号）。
物理意义：$\Gamma^k_{ij}$ 告诉我们，当沿着 $x^j$ 方向移动时，基向量 $\mathbf{e}_i$ 在 $\mathbf{e}_k$ 方向上变化了多少。
2.2 符号的几何直观
让我们用一种更直观的方式来理解 $\Gamma^k_{ij}$：
- $i$：我们要研究哪个基向量的变化
- $j$：我们沿着哪个方向移动
- $k$：变化在新基向量方向上的分量
想象你站在一个山坡上：
- $i$ 是你的"前"方向
- $j$ 是你走的路径方向
- $k$ 是你发现"前"方向发生了偏离的方向
克里斯托费尔符号 $\Gamma^k_{ij}$ 告诉你：当你沿着 $j$ 方向移动时，“前"方向（$i$）在 $k$ 方向上的偏移量。
2.3 历史背景：黎曼的遗产
克里斯托费尔符号以德国数学家埃尔温·布鲁诺·克里斯托费尔（Elwin Bruno Christoffel，1829-1900）的名字命名，但它的思想可以追溯到伯恩哈德·黎曼（Bernhard Riemann，1826-1866）。
1854年，黎曼在他的著名演讲《论几何基础的假设》中提出了黎曼几何的概念，开创了研究弯曲空间的先河。他引入了度量张量（metric tensor），用于计算弯曲空间中的距离和角度。
1869年，克里斯托费尔系统地发展了协变微分（covariant differentiation）的理论，引入了以他命名的符号，为现代微分几何奠定了基础。
黎曼和克里斯托费尔的工作在当时主要是纯粹的数学抽象，但几十年后，爱因斯坦发现这些数学工具正是描述引力的关键！
第三章：从度量到克里斯托费尔符号
3.1 度量张量：弯曲空间的尺子
在弯曲空间中，我们需要度量张量 $g_{ij}$ 来计算距离和角度。
对于坐标 $x^1, x^2, \dots, x^n$，无穷小的位移 $dx^1, dx^2, \dots, dx^n$ 对应的长度平方是：
$$ds^2 = g_{ij} , dx^i , dx^j$$
在二维笛卡尔坐标系中，$g_{ij}$ 是单位矩阵：
$$g_{ij} = \begin{pmatrix} 1 & 0 \ 0 & 1 \end{pmatrix}$$
但在极坐标 $(r, \theta)$ 中：
$$ds^2 = dr^2 + r^2 d\theta^2$$
对应的度量张量：
$$g_{ij} = \begin{pmatrix} 1 & 0 \ 0 & r^2 \end{pmatrix}$$
关键观察：$g_{\theta\theta} = r^2$ 依赖于位置 $r$，这意味着空间是弯曲的（即使是在平面上的曲线坐标系）。
3.2 度量张量的逆
我们还需要度量张量的逆 $g^{ij}$，满足：
$$g^{ik} g_{kj} = \delta^i_j$$
在极坐标中：
$$g^{ij} = \begin{pmatrix} 1 & 0 \ 0 & \frac{1}{r^2} \end{pmatrix}$$
3.3 克里斯托费尔符号的计算公式
克里斯托费尔符号可以用度量张量来计算：
$$\Gamma^k_{ij} = \frac{1}{2} g^{kl} \left( \frac{\partial g_{il}}{\partial x^j} + \frac{\partial g_{jl}}{\partial x^i} - \frac{\partial g_{ij}}{\partial x^l} \right)$$
这个公式看起来复杂，但它的几何意义很清晰：
- $\frac{\partial g_{il}}{\partial x^j}$：度量 $g_{il}$ 沿 $x^j$ 方向的变化
- $\frac{\partial g_{jl}}{\partial x^i}$：度量 $g_{jl}$ 沿 $x^i$ 方向的变化
- $\frac{\partial g_{ij}}{\partial x^l}$：度量 $g_{ij}$ 沿 $x^l$ 方向的变化
克里斯托费尔符号捕捉了这些变化的组合。
3.4 对称性
克里斯托费尔符号满足对称性：
$$\Gamma^k_{ij} = \Gamma^k_{ji}$$
这是从定义公式中可以看出的，因为公式右边的项在交换 $i$ 和 $j$ 时对称。
物理意义：沿着 $i$ 方向移动时 $j$ 基向量的变化，与沿着 $j$ 方向移动时 $i$ 基向量的变化，在 $k$ 方向上的分量相同。
第四章：协变导数：克里斯托费尔符号的实际应用
4.1 什么是协变导数？
在平坦空间中，我们有普通导数 $\frac{\partial}{\partial x^i}$。但在弯曲空间中，由于基向量变化，我们需要协变导数 $\nabla_i$。
对于向量场 $\mathbf{V} = V^j \mathbf{e}_j$，协变导数为：
$$\nabla_i \mathbf{V} = \left( \frac{\partial V^j}{\partial x^i} + \Gamma^j_{ik} V^k \right) \mathbf{e}_j$$
分解：
- $\frac{\partial V^j}{\partial x^i}$：分量的变化（普通导数）
- $\Gamma^j_{ik} V^k$：基向量的变化（克里斯托费尔符号的贡献）
4.2 协变导数的物理意义
协变导数告诉我们：当我们沿着一个方向移动时，向量场实际上如何变化。
例子：想象你站在北极，面朝赤道某点。你手里拿着一支箭，始终指向"正南”。当你沿着经线向赤道行走时，虽然你手中的箭相对于你没有转动，但它相对于地球表面的方向在变化！
- 在北极，箭指向南方
- 在赤道，箭仍然指向南方（相对于地球表面）
- 但相对于固定的天空参考系，箭的方向改变了
协变导数捕捉的就是这种"相对于弯曲空间"的真正的变化。
4.3 为什么叫"协变"？
“协变”（covariant）这个词的含义是：协变导数在坐标变换下保持良好的性质。
当我们从一个坐标系变换到另一个坐标系时：
- 普通导数不会保持简单的变换规则
- 但协变导数会像一个真正的向量一样变换
这就是"协变"的含义：与坐标系变换协变。
4.4 例子：极坐标中的协变导数
让我们在二维极坐标 $(r, \theta)$ 中计算一个向量场 $\mathbf{V} = V^r \mathbf{e}r + V^\theta \mathbf{e}\theta$ 的协变导数。
第一步：计算克里斯托费尔符号
极坐标的度量：$g_{rr} = 1$, $g_{\theta\theta} = r^2$, $g_{r\theta} = g_{\theta r} = 0$
经过计算（留给读者练习），非零的克里斯托费尔符号有：
$$\Gamma^r_{\theta\theta} = -r, \quad \Gamma^\theta_{r\theta} = \Gamma^\theta_{\theta r} = \frac{1}{r}$$
第二步：计算协变导数的分量
$$\nabla_r V^r = \frac{\partial V^r}{\partial r}$$
$$\nabla_r V^\theta = \frac{\partial V^\theta}{\partial r} + \frac{1}{r} V^\theta$$
$$\nabla_\theta V^r = \frac{\partial V^r}{\partial \theta} - r V^\theta$$
$$\nabla_\theta V^\theta = \frac{\partial V^\theta}{\partial \theta} + \frac{1}{r} V^r$$
物理意义：$-r V^\theta$ 项告诉我们，当我们绕着原点转动时，径向分量会因为角分量的存在而改变。
第五章：平行移动：弯曲空间中的"直线"
5.1 什么是平行移动？
在平坦空间中，如果一个向量沿着一条曲线移动时保持"平行"，我们说这个向量被平行移动。
在平坦空间中，平行移动的条件很简单：向量不变。
但在弯曲空间中，“平行"需要重新定义。我们说一个向量被平行移动，如果它的协变导数为零：
$$\nabla_{\dot{\gamma}} \mathbf{V} = 0$$
其中 $\dot{\gamma}$ 是曲线的切向量。
5.2 平行移动的方程
设曲线的参数为 $t$，其切向量 $\dot{\gamma}^i = \frac{dx^i}{dt}$。
平行移动的条件：
$$\frac{dV^i}{dt} + \Gamma^i_{jk} V^j \frac{dx^k}{dt} = 0$$
这是一个微分方程组，给定初始向量，可以唯一确定平行移动后的向量。
5.3 几何直观：绕着球面转一圈
考虑在球面上，从赤道出发，沿着经线向北极走，然后沿着另一条经线回到赤道。
- 在起点，向量指向"东”
- 向北移动时，“东"方向在变化（克里斯托费尔符号的作用）
- 到达北极后，“东"方向完全改变了含义
- 向南移动时，向量继续调整
- 回到赤道时，向量不再指向原来的"东”
关键结论：在弯曲空间中，向量绕着闭合曲线平行移动一周后，不一定回到原来的方向！
这个角度的变化与空间的曲率有关。
5.4 广义相对论中的平行移动
在爱因斯坦的广义相对论中，引力被解释为时空的弯曲。
自由落体：物体在引力场中的运动轨迹就是测地线（geodesic），即切向量自身平行移动的曲线：
$$\nabla_{\dot{\gamma}} \dot{\gamma} = 0$$
展开写出来：
$$\frac{d^2 x^i}{dt^2} + \Gamma^i_{jk} \frac{dx^j}{dt} \frac{dx^k}{dt} = 0$$
这就是测地线方程！
物理意义：克里斯托费尔符号 $\Gamma^i_{jk}$ 在广义相对论中扮演"引力场"的角色。牛顿引力场强度对应于特定的克里斯托费尔符号组合。
第六章：曲率与克里斯托费尔符号
6.1 协变导数的交换律
在平坦空间中，偏导数的交换律成立：
$$\frac{\partial^2 f}{\partial x \partial y} = \frac{\partial^2 f}{\partial y \partial x}$$
但在弯曲空间中，协变导数的交换律不成立：
$$(\nabla_i \nabla_j - \nabla_j \nabla_i) V^k = R^k_{lij} V^l$$
这里 $R^k_{lij}$ 是黎曼曲率张量（Riemann curvature tensor）。
6.2 曲率张量的定义
黎曼曲率张量可以用克里斯托费尔符号表示：
$$R^k_{lij} = \frac{\partial \Gamma^k_{lj}}{\partial x^i} - \frac{\partial \Gamma^k_{li}}{\partial x^j} + \Gamma^k_{mi} \Gamma^m_{lj} - \Gamma^k_{mj} \Gamma^m_{li}$$
物理意义：曲率张量告诉我们，向量沿着两个不同方向平行移动后的差异。
6.3 克里斯托费尔符号与曲率的关系
克里斯托费尔符号描述了基向量的变化，而曲率张量描述了克里斯托费尔符号的变化率。
- 克里斯托费尔符号：空间的局部性质（在某一点，如何定义"平行”）
- 曲率张量：空间的整体性质（平行移动绕闭合一圈后的角度差）
类比：
- 克里斯托费尔符号类似于斜坡的坡度
- 曲率张量类似于斜坡的弯曲程度（是平缓的坡还是陡峭的弯）
6.4 广义相对论中的曲率
在广义相对论中，物质-能量通过爱因斯坦场方程决定时空的曲率：
$$R_{\mu\nu} - \frac{1}{2} g_{\mu\nu} R = \frac{8\pi G}{c^4} T_{\mu\nu}$$
其中：
- $R_{\mu\nu}$ 是里奇曲率张量（由黎曼曲率张量缩并得到）
- $R$ 是标量曲率
- $T_{\mu\nu}$ 是应力-能量张量（描述物质和能量的分布）
核心思想：物质告诉时空如何弯曲，弯曲的时空告诉物质如何运动。
第七章：具体应用场景
7.1 广义相对论：描述引力
克里斯托费尔符号是广义相对论中最基础的数学工具之一。
应用1：引力场中的自由落体
牛顿第二定律：$F = ma$
在广义相对论中，自由落体方程：$\nabla_{\dot{\gamma}} \dot{\gamma} = 0$
展开后：$\frac{d^2 x^\mu}{d\tau^2} + \Gamma^\mu_{\alpha\beta} \frac{dx^\alpha}{d\tau} \frac{dx^\beta}{d\tau} = 0$
克里斯托费尔符号 $\Gamma^\mu_{\alpha\beta}$ 对应于引力场的"加速度"。
应用2：光线在引力场中的偏折
光线的轨迹是测地线，克里斯托费尔符号告诉我们光线如何被引力场偏折。这正是1919年日食观测中证实的现象：光线经过太阳附近时会偏折。
7.2 力学：非惯性系
在经典力学中，当我们处理旋转坐标系时，会出现虚拟力（离心力、科里奥利力）。这些力可以用克里斯托费尔符号来描述。
例子：在旋转坐标系中，运动方程包含额外的项，这些项对应于克里斯托费尔符号的贡献。
7.3 计算机图形学：曲面上的最短路径
在计算机图形学中，我们需要在曲面上找到两个点之间的最短路径（测地线）。
求解测地线方程需要计算克里斯托费尔符号，这是计算测地线的关键步骤。
应用：
- 纹理映射
- 网格处理
- 地形分析
7.4 机器学习：流形学习
在高维数据中，我们经常假设数据分布在某个低维流形上。流形学习的目标是找到这个低维流形的结构。
克里斯托费尔符号帮助我们理解流形的几何性质，从而更好地降维和可视化数据。
第八章：计算示例
8.1 示例1：二维球面上的克里斯托费尔符号
考虑单位球面，使用球坐标 $(\theta, \phi)$，其中 $\theta$ 是极角（从北极开始），$\phi$ 是方位角。
度量张量：
$$ds^2 = d\theta^2 + \sin^2\theta , d\phi^2$$
$$g_{ij} = \begin{pmatrix} 1 & 0 \ 0 & \sin^2\theta \end{pmatrix}$$
度量张量的逆：
$$g^{ij} = \begin{pmatrix} 1 & 0 \ 0 & \frac{1}{\sin^2\theta} \end{pmatrix}$$
计算克里斯托费尔符号：
非零的克里斯托费尔符号：
$$\Gamma^\phi_{\theta\phi} = \Gamma^\phi_{\phi\theta} = \cot\theta$$
$$\Gamma^\theta_{\phi\phi} = -\sin\theta \cos\theta$$
物理意义：
- $\Gamma^\phi_{\theta\phi} = \cot\theta$：当我们沿着经线移动时，$\phi$ 方向的基向量在 $\phi$ 方向上的分量变化。
- $\Gamma^\theta_{\phi\phi} = -\sin\theta \cos\theta$：当我们沿着纬线移动时，$\phi$ 方向的基向量在 $\theta$ 方向上的分量变化。
8.2 示例2：二维平面上的极坐标
我们已经讨论过极坐标 $(r, \theta)$：
度量：$ds^2 = dr^2 + r^2 d\theta^2$
克里斯托费尔符号：
$$\Gamma^r_{\theta\theta} = -r, \quad \Gamma^\theta_{r\theta} = \Gamma^\theta_{\theta r} = \frac{1}{r}$$
测地线方程：
从北极看，测地线应该是直线。在极坐标中，直线可以表示为：
$$r(\theta) = \frac{c}{\sin(\theta - \theta_0)}$$
其中 $c$ 和 $\theta_0$ 是常数。
8.3 示例3：三维欧几里得空间中的柱坐标
柱坐标 $(\rho, \phi, z)$ 的度量：
$$ds^2 = d\rho^2 + \rho^2 d\phi^2 + dz^2$$
克里斯托费尔符号：
$$\Gamma^\rho_{\phi\phi} = -\rho, \quad \Gamma^\phi_{\rho\phi} = \Gamma^\phi_{\phi\rho} = \frac{1}{\rho}$$
其他所有克里斯托费尔符号为零。
第九章：从克里斯托费尔符号到现代数学
9.1 现代视角：联络
在现代微分几何中，克里斯托费尔符号被视为联络（connection）的一种具体表示。
联络定义了如何在不同点的切空间之间进行比较。克里斯托费尔符号 $\Gamma^k_{ij}$ 是列维-奇维塔联络（Levi-Civita connection）在特定坐标系下的表示。
列维-奇维塔联络的性质：
- 无挠率（torsion-free）：$\Gamma^k_{ij} = \Gamma^k_{ji}$
- 与度量相容（metric compatible）：$\nabla_i g_{jk} = 0$
这两个性质唯一确定了克里斯托费尔符号。
9.2 物理场论中的联络
在现代场论中，联络无处不在：
- 广义相对论：时空上的联络（克里斯托费尔符号）
- 规范场论：规范群上的联络（规范场）
- 规范玻色子（如光子、W/Z玻色子）是规范场的量子化
统一性：从物理学的角度看，引力（广义相对论）和其他基本相互作用（强力、弱力、电磁力）都可以用联络的语言描述。
9.3 纤维丛
在更抽象的数学框架中，联络定义在纤维丛（fiber bundle）上。时空是底流形，每个点上的切空间是纤维。
克里斯托费尔符号告诉我们如何在相邻点的纤维之间建立联系——这就是"联络"这个词的由来。
第十章：总结与展望
10.1 克里斯托费尔符号的核心地位
回顾我们的旅程：
- 平坦空间：基向量恒定，导数简单
- 弯曲空间：基向量变化，需要协变导数
- 克里斯托费尔符号：描述基向量的变化
- 协变导数：利用克里斯托费尔符号计算真正的导数
- 平行移动：协变导数为零的移动方式
- 测地线：切向量平行移动的曲线
- 曲率：协变导数不交换的程度
克里斯托费尔符号是这个链条中的关键环节。它连接了简单的坐标和复杂的几何。
10.2 从黎曼到爱因斯坦
1869年，克里斯托费尔系统地发展了协变微分的理论。那时，这纯粹是抽象的数学。
1915年，爱因斯坦发表广义相对论，发现克里斯托费尔符号正是描述引力的数学工具。
从抽象数学到物理现实，跨越了半个世纪。这是数学预见物理的伟大案例。
10.3 现代应用
今天，克里斯托费尔符号和相关概念应用在：
- 天体物理学：黑洞、中子星、宇宙学
- 计算机图形学：曲面建模、纹理映射
- 机器人学：机器人手臂的运动规划
- 机器学习：流形学习、降维算法
- 量子场论：规范场论、弦理论
10.4 给读者的建议
如果你想深入学习：
先掌握基础知识：
- 多元微积分
- 线性代数
- 向量分析
推荐教材：
- 《微分几何入门》（Singer & Thorpe）
- 《广义相对论》（Sean Carroll）
- 《Riemannian Geometry》（Do Carmo）
练习计算：
- 在不同坐标系中计算克里斯托费尔符号
- 推导各种空间的测地线方程
- 计算不同空间的曲率张量
物理直觉：
- 想象自己在曲面上行走
- 思考向量如何平行移动
- 理解弯曲空间中的"直线"
结语：弯曲世界中的导航指南
克里斯托费尔符号看似只是数学公式，但它深刻地改变了我们理解空间的方式。
从平坦世界到弯曲世界，从欧几里得几何到黎曼几何，从牛顿引力到爱因斯坦广义相对论——克里斯托费尔符号是这个伟大转变的关键工具。
它告诉我们：即使在弯曲的世界里，我们也可以找到自己的方向。我们需要理解坐标系如何变化，基向量如何扭曲，导数如何重新定义。
正如导航系统在城市中指引方向，克里斯托费尔符号在弯曲空间中指引我们。它不仅仅是符号，它是理解世界的语言。
希望这篇文章帮助你理解了这个美丽而深刻的数学工具。数学不仅仅是计算，它是一种理解宇宙的方式。
附录：重要公式汇总
克里斯托费尔符号的定义
$$\frac{\partial \mathbf{e}i}{\partial x^j} = \Gamma^k{ij} \mathbf{e}_k$$
度量张量的定义
$$ds^2 = g_{ij} , dx^i , dx^j$$
克里斯托费尔符号的计算公式
$$\Gamma^k_{ij} = \frac{1}{2} g^{kl} \left( \frac{\partial g_{il}}{\partial x^j} + \frac{\partial g_{jl}}{\partial x^i} - \frac{\partial g_{ij}}{\partial x^l} \right)$$
协变导数
$$\nabla_i V^j = \frac{\partial V^j}{\partial x^i} + \Gamma^j_{ik} V^k$$
$$\nabla_i T^{jk} = \frac{\partial T^{jk}}{\partial x^i} + \Gamma^j_{il} T^{lk} + \Gamma^k_{il} T^{jl}$$
测地线方程
$$\frac{d^2 x^i}{dt^2} + \Gamma^i_{jk} \frac{dx^j}{dt} \frac{dx^k}{dt} = 0$$
黎曼曲率张量
$$R^k_{lij} = \frac{\partial \Gamma^k_{lj}}{\partial x^i} - \frac{\partial \Gamma^k_{li}}{\partial x^j} + \Gamma^k_{mi} \Gamma^m_{lj} - \Gamma^k_{mj} \Gamma^m_{li}$$
爱因斯坦场方程
$$R_{\mu\nu} - \frac{1}{2} g_{\mu\nu} R = \frac{8\pi G}{c^4} T_{\mu\nu}$$
系列导航
本文是广义相对论系列文章的第 [2] 篇。
本系列文章：
| 编号 | 主题 |
|---|---|
| [1] | 广义相对论入门：从微分几何到爱因斯坦场方程 |
| [2] | 克里斯托费尔符号：联络的数学定义 |
| [3] | 测地线方程：自由粒子的运动轨迹 |
| [4] | 高斯绝妙定理：曲率的内在几何 |
| [5] | 微分几何在广义相对论中的应用 |
| [6] | 高斯博内-陈定理：拓扑与几何的深刻联系 |
| [7] | 希尔伯特作用量：从变分原理到场方程 |
| [8] | 比安基恒等式：曲率的对称性 |
| [9] | 彭罗斯-霍金奇点定理：时空的边界 |
| [10] | 引力波：时空的涟漪 |
| [11] | 克尔黑洞：旋转的时空漩涡 |
| [12] | 宇宙学：从大爆炸到暗能量 |
本文旨在为有一定数学基础的读者提供微分几何和克里斯托费尔符号的入门导引。更深入的学习建议参考专业教材，如Sean Carroll的《Spacetime and Geometry》和Do Carmo的《Riemannian Geometry》等。