原理

　　等效原理：分为弱等效原理和强等效原理，弱等效原理认为惯性力场与引力场的动力学效应是局部不可分辨的。强等效原理认为，则将“动力学效应”提升到“任何物理效应”。要强调，等效原理仅对局部惯性系成立，对非局部惯性系等效原理不一定成立。

　　广义相对性原理：物理定律的形式在一切参考系都是不变的。该定理是狭义相对性原理的推广。在狭义相对论中，如果我们尝试去定义惯性系，会出现死循环：一般地，不受外力的物体，在其保持静止或匀速直线运动状态不变的坐标系是惯性系;但如何判定物体不受外力?回答只能是，当物体保持静止或匀速直线运动状态不变时，物体不受外力。很明显，逻辑出现了难以消除的死循环。这说明对于惯性系，人们无法给出严格定义，这不能不说是狭义相对论的严重缺憾。为了解决这个问题，爱因斯坦直接将惯性系的概念从相对论中剔除，用“任何参考系”代替了原来狭义相对性原理中“惯性系”。

　　广义相对论是基于狭义相对论的。如果后者被证明是错误的，整个理论的大厦都将垮塌。

　　为了理解广义相对论，我们必须明确质量在经典力学中是如何定义的。首先，让我们思考一下质量在日常生活中代表什么。“它是重量”?事实上，我们认为质量是某种可称量的东西，正如我们是这样度量它的：我们把需要测出其质量的物体放在一架天平上。我们这样做是利用了质量的什么性质呢?是地球和被测物体相互吸引的事实。这种质量被称作“引力质量

　　”(m1:m2=F1:F2)。我们称它为“引力的”是因为它决定了宇宙中所有星星和恒星的运行：地球和太阳间的引力质量驱使地球围绕后者作近乎圆形的环绕运动。

　　试着在一个平面上推你的汽车。你不能否认你的汽车强烈地反抗着你要给它的加速度。这是因为你的汽车有一个非常大的质量。移动轻的物体要比移动重的物体轻松。质量也可以用另一种方式定义：“它反抗加速度”。这种质量被称作“惯性质量”(m=F/a,注:这不是牛顿定律,只是一种测量质量的方法)。

　　因此我们得出这个结论：我们可以用两种方法度量质量。要么我们称它的重量(非常简单)，要么我们测量它对加速度的抵抗(使用力与加速度的比值)。

　　引力质量与惯性质量

　　人们做了许多实验以测量同一物体的惯性质量和引力质量。所有的实验结果都得出同一结论：惯性质量等于引力质量(实际上是成正比,调整系数后,就变成"等于"了,这么做是为了方便计算)。

　　牛顿自己意识到这种质量的等同性是由某种他的理论不能够解释的原因引起的。但他认为这一结果是一种简单的巧合。与此相反，爱因斯坦发现这种等同性中存在着一条取代牛顿理论的通道。

　　日常经验验证了这一等同性：两个物体(一轻一重)会以相同的速度“下落”。然而重的物体受到的地球引力比轻的大。那么为什么它不会“落”得更快呢?因为它对加速度的抵抗更强。结论是，引力场中物体的加速度与其质量无关。伽利略是第一个注意到此现象的人。重要的是你应该明白，引力场中所有的物体“以同一加速度下落”是(经典力学中)惯性质量和引力质量等同的结果。

　　关注一下“下落”这个表述。物体“下落”是由于地球的引力质量产生了地球的引力场。两个物体在所有相同的引力场中的加速度相同。不论是月亮的还是太阳的，它们以相同的比率被加速。这就是说它们的速度在每秒钟内的增量相同。(加速度是速度每秒的增加值)

　　引力质量和惯性质量的等同性

　　爱因斯坦一直在寻找“引力质量与惯性质量相等”的解释。为了这个目标，他作出了被称作“等同原理”的第三假设。它说明：如果一个惯性系相对于一个伽利略系被均匀地加速，那么我们就可以通过引入相对于它的一个均匀引力场而认为它(该惯性系)是静止的。

　　让我们来考查一个惯性系K’，它有一个相对于伽利略系的均匀加速运动。在K 和K’周围有许多物体。此物体相对于K是静止的。因此这些物体相对于K’有一个相同的加速运动。这个加速度对所有的物体都是相同的，并且与K’相对于K的加速度方向相反。我们说过，在一个引力场中所有物体的加速度的大小都是相同的，因此其效果等同于K’是静止的并且存在一个均匀的引力场。

　　因此如果我们确立等同原理，物体的两种质量相等只是它的一个简单推论。 这就是为什么(质量)等同是支持等同原理的一个重要论据。

　　第四个原理

　　通过假定K’静止且引力场存在，我们将K’理解为一个伽利略系，(这样我们就可以)在其中研究力学规律。由此爱因斯坦确立了他的第四个原理。

　　理论内容

　　等效原理

　　爱因斯坦提出“等效原理”，即引力和惯性力是等效的。这一原理建立在引力质量与惯性质量的等价性上。根据等效原理，爱因斯坦把狭义相对性原理推广为广义相对性原理，即物理定律的形式在一切参考系都是不变的。物体的运动方程即该参考系中的测地线方程。测地线方程与物体自身固有性质无关，只取决于时空局域几何性质。而引力正是时空局域几何性质的表现。物质质量的存在会造成时空的弯曲，在弯曲的时空中，物体仍然顺着最短距离进行运动(即沿着测地线运动——在欧氏空间中即是直线运动)，如地球在太阳造成的弯曲时空中的测地线运动，实际是绕着太阳转，造成引力作用效应。正如在弯曲的地球表面上，如果以直线运动，实际是绕着地球表面的大圆走。

　　几何基础

　　引力是时空局域几何性质的表现。虽然广义相对论是爱因斯坦创立的，但是它的数学基础的源头可以追溯到欧氏几何的公理和数个世纪以来为证明欧几里德第五公设(即平行线永远保持等距)所做的努力，这方面的努力在罗巴切夫斯基、波尔约、高斯的工作中到达了顶点：他们指出欧氏第五公设是不能用前四条公设证明的。非欧几何的一般数学理论是由高斯于1827年完成的(1828年发表)，他在研究曲面的性质时不再借助外围空间，而直接将曲面作为研究对象，创立了曲面的“内蕴”几何学。1854年，高斯的学生黎曼将高斯的内蕴几何学推广到高维空间，建立起任意维度的弯曲空间的几何学基础，被称为黎曼几何，在爱因斯坦发展出广义相对论之前，绝大多数人认为非欧几何是无法应用到真实世界中来的。

　　爱因斯坦场方程以及史瓦西解

　　在广义相对论中，引力的作用被“几何化”——即是说：狭义相对论的闵氏空间背景加上万有引力的物理图景在广义相对论中变成了黎曼空间背景下不受力(假设没有电磁等相互作用)的自由运动的物理图景，其动力学方程与自身质量无关而成为测地线方程。

　　引力场方程是一个非常复杂的二阶偏微分方程，有16个自变量。

　　利用上述的度规可以得出引力对时间的影响。

　　预言

　　按照广义相对论，在局部惯性系内，不存在引力，一维时间和三维空间组成四维平坦的欧几里得空间;在任意参考系内，存在引力，引力引起时空弯曲，因而时空是四维弯曲的非欧黎曼空间。爱因斯坦找到了物质分布影响时空几何的引力场方程。时间空间的弯曲结构取决于物质能量密度、动量密度在时间空间中的分布，而时间空间的弯曲结构又反过来决定物体的运动轨道。在引力不强、时间空间弯曲很小情况下，广义相对论的预言同牛顿万有引力定律和牛顿运动定律的预言趋于一致;而引力较强、时间空间弯曲较大情况下，两者有区别。广义相对论提出以来，预言了水星近日点反常进动、光频引力红移、光线引力偏折以及雷达回波延迟，都被天文观测或实验所证实。关于脉冲双星的观测也提供了有关广义相对论预言存在引力波的有力证据。

　　爱因斯坦提出了革命性的思想，即引力不像其他种类的力，它只不过是时空不是平坦的这一事实的结果，而早先人们假定时空是平坦的。像地球这样的物体并非由于称为引力的力使之沿着弯曲轨道运动，相反，它沿着弯曲空间中最接近于直线路径的东西运动，这个东西称为测地线。一根测地线是临近两点之间最短(或最长)的路径。在广义相对论中，物体总是沿着四维时空的直线走。尽管如此，在我们看来它在三维空间中是沿着弯曲的路径。(这正如同看一架在非常多山的地面上空飞行的飞机。虽然它沿着三维时空的直线飞，它在二维的地面上的影子却是沿着一条弯曲的路径。)广义相对论的另一个预言是，在像地球这样的大质量的物体附近，时间显得流逝得更慢一些。这是因为光能量和它的频率(光在每秒钟里搏动的次数)有一种关系：能量越大，则频率越高。当光从地球的引力场往上行进，它失去能量，因而其频率下降(这表明两个相邻波峰之间的时间间隔变大。)在上面的某个人看来，下面发生的每一件事情都显得需要更长的时间。1962年，人们利用一对安装在水塔顶上和底下的非常准确的钟，验证了这个预言，发现底下那只更接近地球的钟走得比较慢。 牛顿运动定律使在空间中的绝对位置的观念寿终正寝，而相对论摆脱了绝对时间。考虑一对双生子。假定其中一个孩子去山顶上生活，而另一个留在海平面，第一个将比第二个老得快些。这叫做双生子佯谬，但是，只是对于头脑中仍有绝对时间观念的人而言，这才是佯谬。在相对论中并没有唯一的绝对时间，相反，每个人都有他自己的时间测度，这依赖于他在何处并如何运动。

　　应用

　　广义相对论由于它被令人惊叹地证实以及其理论上的优美，很快得到人们的承认和赞赏。然而由于牛顿引力理论对于绝大部分引力现象已经足够精确，广义相对论只提供了一个极小的修正，人们在实用上并不需要它，因此，广义相对论建立以后的半个世纪，并没有受到充分重视，也没有得到迅速发展。到20世纪60年代，情况发生变化，发现强引力天体(中子星)和3K宇宙背景辐射，使广义相对论的研究蓬勃发展起来。广义相对论对于研究天体结构和演化以及宇宙的结构和演化具有重要意义。中子星的形成和结构、黑洞物理和黑洞探测、引力辐射理论和引力波探测、大爆炸宇宙学、量子引力以及大尺度时空的拓扑结构等问题的研究正在深入，广义相对论成为物理研究的重要理论基础。