“定义,因而 Riemann 度量通过 Levi–Civita 联络唯一给出测地线方程和平行移动。该联络的协变微分交换失败形成Riemann 曲率张量,把度量的一阶导数组织为联络、二阶几何组织…”
形式陈述 ​
本页固定符号约定
其中
中的对应项抵消。因此
用度量降指标,定义
它满足
以及第一 Bianchi 恒等式
这些对称性依赖 Levi–Civita 联络的无挠与度量相容条件。
对由线性无关向量
分母是 Gram 行列式,使结果不依赖
直觉 ​
曲率衡量两次协变微分交换次序后的残差。若沿两个方向围成一个无穷小闭环作平行移动,向量回到起点时通常不会完全复原;首个非平凡偏差由
联络系数可通过坐标选择在一点消去,但它们的一阶导数与二次组合仍可能留下曲率。曲率因此不是“某组坐标中 Christoffel 符号是否非零”,而是坐标无关的张量。
例子与边界 ​
Euclidean 空间的标准联络在直角坐标中系数恒为零,所以
二维时每点只有一个切平面,全部曲率信息压缩为高斯曲率;高维时不同二维切平面可以有不同截面曲率,不能用单一标量替代整个张量。
符号约定是实际边界。若把
正常坐标只能令
推论与应用 ​
曲率张量通过取迹产生 Ricci 曲率与标量曲率,通过限制二维平面产生截面曲率。Jacobi 方程用
本页固定一般 Riemann 曲率的定义、符号和对称性。二维页面只需说明它如何压缩为高斯曲率,不应再次定义整套
参考资料
- John M. Lee, Riemannian Manifolds: An Introduction to Curvature, Springer, 1997, Chs. 7–8, curvature tensor and sectional curvature.
- Manfredo P. do Carmo, Riemannian Geometry, Birkhäuser, 1992, Chs. 3–4, curvature identities and examples.