微分几何入门与广义相对论：类时测地线汇（测地参考系）的Raychaudhuri方程

微分几何入门与广义相对论：类时测地线汇（测地参考系）的Raychaudhuri方程

1. 背景介绍

1.1 微分几何与广义相对论

微分几何是数学的一个分支,主要研究流形(manifold)上的几何性质。它在现代物理学,特别是广义相对论中有着广泛的应用。广义相对论是爱因斯坦在1915年提出的一个关于引力的理论,它将引力描述为时空的曲率,这与牛顿的经典引力理论有着本质的不同。

在广义相对论中,时空不再是平直的,而是由物质和能量所"弯曲"。这种弯曲就是引力的表现。为了描述这种弯曲的时空,我们需要使用微分几何的工具,如黎曼(Riemann)曲率张量、克氏(Christoffel)符号等。

1.2 测地线与Raychaudhuri方程

在弯曲的时空中,自由下落的粒子(即不受任何非引力作用力的粒子)运动轨迹称为测地线(geodesic)。测地线是时空中的"直线",它们在局部总是直的,但在整体上可能是弯曲的。

Raychaudhuri方程是描述一束测地线如何随时间演化的方程。它最初由印度物理学家Amal Kumar Raychaudhuri在1955年导出,后来被广泛应用于广义相对论和宇宙学中。这个方程告诉我们,在一定条件下,一束最初平行的测地线最终会聚焦到一点,形成所谓的"奇点"。这个结论对于我们理解黑洞和宇宙的起源(