1、1广义相对论的理论基础爱因斯坦于 1905 年提出狭义相对论之后，便试图在狭义相对论的基础上对牛顿的引力理论进行改造。牛顿引力理论虽然在天文学上得到广泛的支持，但是，它不能说明水星近日点的剩余进动，也不能对宇宙大范围的性质给出完满的描述；而且，在理论的基本概念上同狭义相对论也是互相冲突的。 爱因斯坦在深入分析引力质量同惯性质量等价这一早已熟知的事实的基础上，提出了引力场同加速度场局域性等效的概念；他又把惯性运动的相对性的概念推广到加速运动；并在前人对牛顿时空观的批判中汲取了精华，提出了时间和空间的性质应当由物质运动决定这一革命性的思想。这些引导他采用黎曼几何来描述具有引力场的时间和空间，写出了
2、正确的引力场方程；进而精确地解释了水星近日点的剩余进动，预言了光线偏折、引力红移、引力辐射等一系列新的效应。他还对宇宙的结构进行了开创性的研究。著名的 1919 年日全食观测，证实了爱因斯坦关于光线偏折的预言，一度轰动世界。随后，广义相对论便被物理学界普遍接受下来，并且被公认为经典理论物理学中最完美的理论。 几十年来，广义相对论又得到新的验证和发展，特别是 60 年代以来，在天文学中得到了广泛的应用。引力红移、雷达回波等实验进一步证实了这个理论的预言。脉冲星和微波背景辐射的发现，证实了以广义相对论为基础的中子星理论和大爆炸宇宙论的预言。近年来，对于脉冲双星的观测也提供了有关引力波存在的证据。
3、60 年代以来，奇性理论和黑洞物理的研究取得很大进展。近来，关于正能定理的猜测得到了证明，有关引力的量子理论以及把引力同其他相互作用统一起来的研究也极为活跃。这些，不仅丰富了对广义相对论理论基础的认识，同时，也揭示了广义相对论本身所不能解决的一些重大的疑难问题，为进一步探索引力相互作用，以及时间、空间和宇宙的奥秘提出了新的课题。 广义相对论的理论基础 爱因斯坦提出等效原理、广义协变性原理和马赫原理作为广义相对论的基本原理。他采用弯曲时空的黎曼几何来描述引力场，给出引力场中的物理规律，进而提出引力场方程，奠定了广义相对论的理论基础。30 年代，爱因斯坦等人又发展了运动理论。60 年代以来，R彭罗
4、塞引入现代微分几何的方法，并和 SW霍金等人发展了奇性理论。近年来，丘成桐等人又完成对著名的正能猜测的证明。这些都大大丰富了广义相对论的理论基础并提出新的课题。 广义相对论的基本原理 等效原理是广义相对论最重要的基本原理。这个原理的实验依据是由厄缶实验等精确证明的引力质量和惯性质量的等价性。 爱因斯坦认为，这个等价性的重要推论是：在自由下落的升降机里，由于升降机以及其中所有的仪器都以同样的加速度下降，因而无法检验外引力场的效应。换句话说，自由下落升降机的惯性力和引力互相抵消了。爱因斯坦认为，这表明，引力和惯性力实际上是等效的。这就是爱因斯坦原来意义下的等效原理。 不过，在真实的引力场和惯性力场
5、之间并不存在严格的相消。比如，真实的引力场会引起潮汐现象，而惯性力场却并不导致这种效应。但是，在自由下落的升降机里，除开引力以外，一切自然定律都保持着在狭义相对论中的形式。事实上，这正是真实引力场的重要本质。如果把自由下落的升降机称为局部惯性系，那么，等效原理就可以比较严格地叙述为：在真实引力场中的每一时空点，都存在着一类局部惯性系，其中除引力以外的自然定律和狭义相对论中的完全相同。 爱因斯坦把狭义相对论所考察的作匀速运动的参照系之间的相对性。推广到作任意运动的参照系之间的相对性。为此，他提出物理定律必须在任意坐标系中都具有相同的形式，即它们必须在任意坐标变换下是协变的。这就是广义协变性原理。
6、 广义协变性对物理定律的内容并没有什么限制，只是对定律的数学表述提出了要求。爱因斯坦后来也是这样认为的：广义协变性只有通过等效原理才能获得物理内容。 爱因斯坦建立广义相对论的另一个重要思想是认为时间和空间的几何不能先验地给定，而应当由物2质及其运动所决定。这个思想直接导致用黎曼几何来描述存在引力场的时间和空间，并成为写下引力场方程的依据。爱因斯坦的这一思想是从物理学家和哲学家马赫对牛顿的绝对空间观念以及牛顿的整个体系的批判中汲取而来的。为了纪念这位奥地利学者，爱因斯坦把他的这一思想称为马赫原理。 引力场的几何描述 根据上述基本原理，广义相对论用存在局部惯性系的黎曼几何来描述引力场。在这种黎曼几
7、何中，四维时空的线元是时空点的任意函数： g (x)称为在 x 点时空的度规张量。x 0=ct， 是光速，t 是时间坐标。x 1、x 2、x 3 是空间坐标。重复指标表示求和。如果引入局部惯性系，线元可以表示为： ， 就是狭义相对论中的闵可夫斯基度规， 寶(x) 称为局部惯性标架。 相邻两时空点的局部惯性系之间的关系，可以由联络来表示。在黎曼几何中，联络完全由度规张量及其偏导数决定，称为克里斯多菲(Christoffel)记号： 是逆变度规张量。利用联络可以定义平行移动和协变导数。例如，对于一矢量 V 的协变导数定义为 。如果沿着一曲线 ， 矢量 V 的协变导数为零，则称在此曲线上不同点的矢量
8、是彼此平行的。 如果一条曲线上不同点的切线是平行的，那么该曲线就称为是测地线，满足方程 显然，测地线概念是闵可夫斯基时空中四维直线的推广。 在这种黎曼几何中，由克里斯多菲记号定义的平行移动保持线元 ds2 不变。这反映了在不同局部惯性系中，理想时钟的固有时应该相同这样一个物理要求。 时空的弯曲程度由黎曼曲率张量表示 3它满足比安基恒等式 利用黎曼曲率可定义里奇张量 Rv 和标量曲率 R 利用比安基恒等式可以证明 其中 是任意常数。 在黎曼几何中，两条相邻测地线 x (s) 和 x 寶( s)+ 寶(s) 的偏离程度 寶(s)同曲率张量有关 这个方程称为测地线偏离方程。 引力场中的物质运动 根据
9、等效原理和广义协变原理，只要把狭义相对论中的物理规律写成广义协变的形式，就可以得到除引力以外的在引力场中的物理定律。要作到这一点只需要把定律中的普通微分改写为协变微分就可以了。 无自旋粒子或光子在引力场中的运动方程可以这样得到。在狭义相对论中，质量为 m 的自由粒子或光子，分别沿闵可夫斯基时空中的类时直线或类光直线运动。将这些运动方程写成协变形式，就分别得到黎曼时空中的类时或类光测地线方程，即无自旋粒子或光子在引力场中的运动方程。 物质场的方程也可以这样得到。例如将狭义相对论中的克莱因戈登方程写成广义协变形式，就得到在引力场中的标量场方程。 在狭义相对论中，存在一系列的守恒方程。将这些守恒方程
10、中的普通散度改为协变散度，就得到在引力场中相应的守恒方程。例如，这样可以得到能量动量守恒在引力场中的形式为 这里 T 就是能量动量张量。 但是，这种方式不可能得到引力定律本身，也不可能得到同曲率有关的效应。例如，不可能得到测地线偏离方程中同曲率有关的项，也不可能得到在引力场中自旋粒子的自旋同曲率的耦合项等等。与曲率有关的物理效应何时出现，只能作具体的分析。 引力场方程 爱因斯坦和 D希耳伯特几乎同时在 1915 年得到了完整的引力场方程 4其中 G 是牛顿引力常数 G667010 -8cm3/(gs2)。方程左边是描述引力场的时空几何量，右边是作为引力场源的物质能量动量张量。显然，这个方程反映
11、了爱因斯坦的马赫原理的思想。 爱因斯坦提出这个场方程的基本思路大致可以这样来概括：考察牛顿引力理论的泊松方程 它是引力势的二阶偏微分方程， 是引力源的质量密度。在相对论中， 应该推广为引力源的能量动量张量，则推广为度规张量 g 。因此，引力场方程应该是度规的二阶偏微分方程。进而，爱因斯坦发现同 满足同样的守恒律。这便导致了他写下具有上述特点的正确的引力场方程。 在真空中，这个方程简化为：1917 年，受因斯坦在对宇宙进行考察时，引进了宇宙常数 项，将方程修改为：不久之后，他本人放弃了这一项。但是近年来，不少物理学家认为 项的引进是有必要的。 运动理论 1927 年爱因斯坦等人提出，质点系统的运
12、动方程应该包括在引力场方程之中。1938 年，爱因斯坦及其合作者完成了这一理论。他们采用后来称为后牛顿近似的方法，在对质点系能量动量张量的简单假定下，从引力场方程中推导出了质点系的运动方程，这就是著名的广义相对论的运动理论。50 年代以来，一些物理学家指出，质点运动方程也可以直接从能量动量张量的守恒定律推导出来。A巴巴别特鲁由运动理论导出了自旋粒子会受到的自旋和曲率的耦合项。 引力场方程包含着粒子运动方程，这是广义相对论的一个重要特点。 奇性理论 60 年代以来，彭罗塞等人系统地运用整体微分几何的方法来研究广义相对论。彭罗塞和霍金等人建立的奇性理论，提示了广义相对论时空结构的重要性质和问题。
13、早已知道在广义相对论中存在奇性。例如，史瓦西度规（见下文）在 r=2MG/ 2 以及 r0 处是奇异的。直到 1959 年才发现，只要引入两个坐标系来覆盖时空，就可以避免 r2MG/ 2 处的奇点。但是r0 处的奇点却不是这种由于坐标选取不当而带来的虚假的奇异。又如，弗里德曼罗伯孙-沃耳克宇宙度规( 见下文) 在宇宙时 t=0 处奇异，这也不是由于坐标选取不当带来的。 在广义相对论中是否一定存在这种同坐标选取无关的奇性，彭罗塞和霍金等人建立的奇性理论回答了这个问题。他们证明，只要关于物质、能量、以及因果性等一些合理的物理条件成立，在广义相对论中就不可避免地存在着奇点。在这类奇点处，时空流形达到
14、尽头。不仅在宇宙模型中起始的奇点是这样，在星体中引力坍缩终止的奇点也是这样。由于不知道奇性所遵循的规律，物理学、包括广义相对论，将随着奇点的出现而失效。 一般认为，出现这种运动起始或终止于奇性的现象反映了广义相对论理论上的某种不完善，并不一定是客观世界所固有的。当前，有关奇性的深入研究以及如何避免这类奇性的问题，是一个很活跃的领域，克服广义相对论的这个重大疑难，将会使物理学对于时间、空间和引力的认识达到更高的境地。 正能定理 5人们知道，由于引力的性质，引力势能总是负的。这样，在大质量坍缩系统中就会有极大的负的引力结合能。那么，这会不会导致这类引力束缚系统的总能量或者质量变为负值，长期以来，人
15、们一直猜测，在广义相对论中引力束缚系统的总能量或质量总是正定的。然而，直到不久前丘成桐等人运用大范围微分几何的方法才证明了这个猜测。他们指出，只要在类空超曲面上进行测量，质量总是正的。这个定理充实了广义相对论的理论基础，是近年来得到的一个重要成果。 场方程的精确解和近似方法 爱因斯坦引力场方程是高度非线性的，一般很难严格求解。只在对时空度规附加一些对称性或其他要求下，使方程大大简化，才有可能求出一些严格解。 分析爱因斯坦场方程的另一条途径，是发展系统的近似方法。在历史上，有两种系统的近似方法起过重要的作用，这就是弱场近似和后牛顿近似。 以下介绍一下重要的精确解和两个近似方法： 球对称引力场和史
16、瓦西度规 在球对称的假定下，度规的一般表达式为 其中 A(r， t)与 B(r， t)是两个未知函数，确定它们的具体形式要求解引力场方程。 对于真空的情形，可以证明贝科夫定理：真空球对称引力场一定是静态的。 因此，球对称中心质量外面的引力场一定是静态的。求解真空爱因斯坦方程，并要求距中心很远处的引力场同牛顿定律一致，从而可以得到 这是广义相对论的第一个精确解。是由 K史瓦西于 1916 年求得，通称为史瓦西度规。 显然，度规在 r2M G/ 2 和 r0 处奇异。但是，M克鲁斯卡等人指出， r2M G/ 2 处的奇异是由于只引用一个坐标系带来的，可以引入在 r2M G/ 2 处通过“咽喉”相连
17、的两个坐标系来避免，而且，后者具有最大解析延拓的性质。但是，r0 处的奇点是本质的。 对于球对称静态的星体，史瓦西在假定星体由密度为常数的不可压缩流体构成的前提下，求出了有源引力场方程的严格解，现在称为史瓦西内解。这个解给出来自星体表面的光谱线引力红移的上限。 静态轴对称引力场和克尔纽曼度规 静态轴对称引力场的度规具有重要的物理意义。一个质量为 M 、电荷为 Q、内禀角动量为 J 的转动球体的外部引力场的度规为 其中 6这个静态轴对称的度规是 J克尔和 E纽曼等人在 60 年代得到的，称为克尔纽曼度规。当 Q0 时，称为克尔度规；J0 时，称为雷斯纳诺德斯特罗姆度规。QJ0 时，还原为史瓦西度
18、规。 这个度规具有视界，可以描写一个黑洞的充要条件为 M 2Q 2+a2。 德西特度规和常曲率时空 1917 年 W德西特得到了带有含 的宇宙学项的真空爱因斯坦方程的一个精确解 其中 R 为宇宙半径， 。对于 0 的情形也有类似的解，称为反德西特度规。 这两种德西特度规分别描述两种四维常曲率时空，当 趋于零时，它们都退化为闵可夫斯基时空。近年来发现，在这两种常曲率时空中可以引进一类特殊的坐标系，使得测地线方程化为线性方程。因而可以把惯性运动和狭义相对论的概念推广到这类度规。 常曲率时空没有奇点，这也值得注意。 弗里德曼罗伯孙沃耳克度规 在空间均匀各向同性的假定下，可以将度规化为 k 取值1、0
19、 或1，分别对应均匀各向同性的三维子空间为正曲率的超球、零曲率的平坦空间或负曲率的双曲型空间。前者是封闭的；后两者是开放的。R(t)是标度因子。对物质分布作相应的假定，并给出物态方程，求解爱因斯坦方程，就可得出 R(t)同密度和压强的关系。 这个度规可以用来描述引力坍缩。也可以为相对论宇宙学提供运动学框架。 AA弗里德曼于 1922 年最先研究了这类度规，在密度为常数、压力为零的情形下得到了 R(t)的精确解，并为引入宇宙膨胀的概念打下了基础。随后，G 勒梅特系统地研究了作为宇宙模型的弗里德曼空间，引入了宇宙膨胀的概念。30 年代，H 罗伯孙和 A G沃耳克又分别系统地从对称性的角度研究了这类
20、度规。 通常把这类度规称为弗里德曼罗伯孙沃耳克度规，而把包含宇宙常数项的模型称为勒梅特模型。弱场近似 这是求解爱因斯坦场方程的一种系统的近似方法，适合于讨论低阶近似下的弱引力场，而不假定物质或场作非相对论运动，因而常用于处理引力辐射的课题。 假定弯曲时空度规 g 同平直时空度规 的偏离 h 是一阶小量，在 g 满足一定的坐标条件的要求下，可将场方程和坐标条件线性化为 h 满足的方程和坐标条件，进而求解。 7如果假定 g 满足谐和坐标条件，则可以得到 h 的方程和如下的坐标条件 显然，h 满足波动方程，坐标条件相当于电磁势的洛伦兹条件。它们具有推迟势的解，并可以解释为由源 S 产生的引力辐射。
21、对于真空的情形，方程的解可解释为来自无穷远处的引力辐射。 后牛顿近似 是爱因斯坦等人发展起来的一种求解场方程的系统近似方法，适用于由引力束缚在一起的缓慢运动的质点系统。此时，系统的特征速度 v 远小于光速 ，特征引力势 也远小于光速二次方 2，因而可按照 等的幂次将场方程、坐标条件、运动方程等等逐级展开得到逐级近似的方程组。最低级近似就是牛顿引力理论，次一级近似就是所谓后牛顿近似。 后牛顿近似可以用来计算中心粒子的质量、自转、四极矩等因素对粒子运动轨道的影响，也可以计算自转同轨道运动的耦合等重要的广义相对论效应。 广义相对论的实验基础和经典检验 引力质量同惯性质量的等价，是爱因斯坦提出等效原理
22、的实验基础，也是整个广义相对论最重要的实验依据。这个等价性早在牛顿的时代就有实验证明，19 世纪末，Rvon 厄缶以 10-9 的精度证明了这一点。近年来，验证这个等价性的实验精度又有提高。 在建立广义相对论时，爱因斯坦曾提出三种检验:光谱线的引力红移；内行星轨道近日点的进动；以及太阳引起的光线偏折。引力红移事实上只检验了等效原理，光线偏折和近日点进动涉及的是球对称静态引力场，以及其中光线或行星的运动。 近年来，又进行了掠过太阳的雷达回波时间延迟的检验，并准备进行绕地轨道上陀螺仪进动的实验。此外，广义相对论关于引力波的预言，相对论天体物理和宇宙学关于中子星的预言，关于宇宙膨胀导致红移的预言，以
23、及关于微波背景辐射的预言等等都分别得到天文观测的支持或证实。这些将在下面相对论天体物理和宇宙学部分阐述。 厄缶实验 在牛顿理论中，牛顿第二定律的惯性质量 mi 同引力定律的引力质量 mg 是否相等，并没有本质的意义。如果一物体的 mi 与 mg 不相等，那么在引力作用下，它的加速度 g同当地引力常数 g 之间就有下面的关系 比值 mg/mi 不同的物体，将有不同的加速度 g。 然而，自伽利略的时代起，人们就发现，对于不同的物体，这个比值都是一样的。惠更斯、牛顿等人都进行过这类实验。1889 年，厄缶精确地证明了，对于各种物质，比值 mg/mi 的差别不大于 10-9。 8厄缶在一横杆的两端各挂
24、木制的 A 和铂制的 B 两个重量相差不大的重物，杆的中点悬在一细金属丝上。如果 g 是地球引力常数， 是地球自转引起的离心加速度的垂直分量，l A 和 lB 是两个重物的有效杆臂长，那么当平衡时，由于 A、B 的重量相差不大，因而横杆略为倾斜以满足 同时，在厄缶进行实验的纬度上，地球自转引起的离心加速度有一可观的水平分量 ，会使得横杆受到一个水平转矩 消去 lB，又由于 远小于 g 可以略去，因而得到 这样，只要二者 mi/mg 的比值不同，就会扭转悬挂横杆的细金属丝。但是，厄缶在 10-9 的精度上没有测出这种扭转。 20 世纪 60 年代，RH狄克等人改进了厄缶实验，把精度提高到 10-
25、11。70 年代初，V布拉金斯基等人又把精度提高到约 0910 -12。 引力红移 在广义相对论中，根据等效原理就可以推出，处于引力场中的时钟的频率或原子辐射的频率要受到引力势的影响而向红端移动。这就是引力红移。如果在远离引力源的 x1 处观测引力源附近 x2 处相应的频率，则红移量 v 和 x1 处的频率 v 之比应该同两处势 嗞 (x)的差有如下关系 9利用史瓦西度规也可以得到同样的结果。 从天文观测来测定引力红移的一个主要困难，是如何把引力红移和由其他因素引起的多普勒红移区分开来。直到 20 世纪 60 年代初，对太阳引力红移最好的观测结果是预言值的 105005 倍。 白矮星由于引力场
26、很强，其引力红移大得多。但如何精确测定白矮星上的引力势又有困难。直到 70年代初才得到较满意的结果。 60 年代，RV庞德等人利用穆斯堡尔效应在地面进行实验，测量地球引力场中的引力红移，得到了满意的结果。1964 年得到的结果是理论值的 0999 00076 倍。在约 1的精度上检验了等效原理关于引力红移的预言。 行星近日点的进动 在史瓦西度规中，考虑绕中心质量 M 公转的检验粒子的运动。中心质量使它周围的时空发生“弯曲”，检验粒子每公转一周，近心点的进动量为 a 是轨道的半长轴， 是偏心率。 用史瓦西度规来描述太阳引力场，把行星当作检验粒子，就可算出太阳系中行星轨道每百年进动的理论值。比较表
27、的理论值和观测值，可以明确看到：广义相对论在解释牛顿理论所不能说明的剩余进动方面，是相当成功的。 光线偏折 在广义相对论中，光线经过质量为 M 的引力中心附近时，将会由于空间弯曲而偏向引力中心。其偏转程度比仅考虑光的运动质量受万有引力而偏转的程度要大。光沿零测地线运动，因此具体计算时需要求解史瓦西度规中的零测地线方程。可以证明，远离中心质量 M 的观察者所测得的偏转角应为 其中 r0 是光线路径同质量中心的最短距离。 爱因斯坦预言，如果星光擦过太阳边缘到达地球，则太阳引力场所造成的星光偏转角为 175。这个预言于 1919 年日全食时被爱丁顿率领的观测队所证实，因而轰动世界。以后，每逢日全食都
28、进行了观测。但由于种种不确定的因素，光学测量精度的提高受到了限制。1973 年，光学测量所得偏转角同理论值之比为 095011。 1060 年代末，由于射电天文学的发展，使人们有可能用高于光学观测的精度来测量太阳引起的射电信号的偏折。这类观测所得偏转角同理论值之比在 1975 年已达到约 1001。 雷达回波延迟 I夏皮洛于 1964 年建议测量雷达信号传播到内行星再反射回地球所需的时间，来检验广义相对论。他为此进行了长期的测量。到 70 年代末期，这类测量所得的数据同广义相对论理论值比较，相差约1。 这类实验也可以在地球引力场中，通过测量人造卫星的雷达回波的时间延迟来进行。 相对论天体物理
29、广义相对论从诞生之日起，就被认为可用来解释牛顿引力理论所不能解释的天文现象。但是，一般的天体和天体系统的引力很弱，无需考虑其相对论效应，所以在广义相对论创立的初期，除了太阳系中有数的几个效应以及对宇宙膨胀的粗略考察之外，广义相对论对天体物理的影响并不显著。到了 60 年代，由于脉冲星、致密 X 射线源、类星体等新奇天象以及微波背景辐射的发现，情况有了改变。这些发现一方面证实了相对论天体物理的预言，另一方面则大大刺激了相对论天体物理的发展。 相对论天体物理大体上包括后牛顿天体力学、引力波物理、致密天体物理、黑洞物理以及相对论宇宙学等内容。 后牛顿天体力学 后牛顿近似效应的天体力学，主要适用于缓慢
30、运动的天体系统。行星轨道的进动、自转同轨道运动的耦合等重要的广义相对论效应，都属于后牛顿天体力学的范畴。 引力波物理 爱因斯坦引力场方程是双曲型偏微分方程，它意味着引力场的扰动将以一个有限速度传播，这种扰动就是以光速传播的引力波。 早在 1916 年爱因斯坦就根据弱场近似预言了弱引力波的存在。但最初关于引力波的理论是同坐标的选取有关的，以致引力波到底是引力场固有的性质，还是某种虚假的坐标效应，以及引力波是否从发射系统中带走能量等问题长时间没有澄清。直到 50 年代末，同坐标选取无关的引力辐射理论才开始形成。随后求出了爱因斯坦真空场方程的一种以光速传播的平面波前、平行射线的严格的波动解，并证明了
31、检验粒子在引力波作用下会产生运动，从而表明了引力波携带着能量。不过，由于爱因斯坦方程是非线性的，有关引力波的一些理论问题仍有待继续澄清。 从物理图像上看，弱场近似下的辐射解毕竟是值得注意的。一方面，任何可观测到的引力辐射的强度多半都非常低；另一方面，弱场近似下的引力辐射理论有可能沟通广义相对论同微观物理学之间的鸿沟，赋予引力学概念以确切的含义。 广义相对论的弱场辐射解具有如下的特点：是在真空中以光速传播的横波，没有偶极辐射，只有四极或更高级的辐射，携带有能量然而穿透能力极强等等。 显然，由于引力波与物质作用极为微弱，对它的探测就极为困难。70 年代初，有人宣称探测到了不能排除是来自太空的引力波
32、信号。但是，以后没有人能够重复得到这一结果。70 年代末，JH泰勒等人公布了对射电脉冲双星 PSR 1913+16 公转周期变短的长期观测的结果。泰勒等人认为这种效应是由于引力辐射不断带走能量所引起的。他们的结果在 20的误差范围内同引力辐射的理论计算一致。 致密天体物理 在恒星演化的晚期，核能消耗尽之后，如果仍有物理效应足以同自引力相抗衡，则会形成白矮星，或坍缩为中子星等致密天体。否则，引力坍缩将一直进行下去，形成黑洞，并终止于奇点。除了白矮星外，致密天体都具有极强的引力场，必须用广义相对论来描述。 30 年代初，S 钱德拉塞卡和朗道分别研究了依靠简并电子气体的压强来抗衡引力以保持平衡，并形
