陶小凡 -
相对论是关于时空和引力的基本理论，主要由爱因斯坦创立，分为狭义相对论(特殊相对论)和广义相对论(一般相对论)。相对论的基本假设是光速不变原理，相对性原理和等效原理。相对论和量子力学是现代物理学的两大基本支柱。奠定了经典物理学基础的经典力学，不适用于高速运动的物体和微观条件下的物体。相对论解决了高速运动问题；量子力学解决了微观亚原子条件下的问题。相对论极大的改变了人类对宇宙和自然的“常识性”观念，提出了“同时的相对性”，“四维时空”“弯曲空间”等全新的概念。
广义相对论
一个极其不可思议的世界
谷锐译 原文：Slaven
广义相对论的基本概念解释：
在开始阅读本短文并了解广义相对论的关键特点之前，我们必须假定一件事情：狭义相对论是正确的。这也就是说，广义相对论是基于狭义相对论的。如果后者被证明是错误的，整个理论的大厦都将垮塌。
为了理解广义相对论，我们必须明确质量在经典力学中是如何定义的。
质量的两种不同表述：
首先，让我们思考一下质量在日常生活中代表什么。“它是重量”？事实上，我们认为质量是某种可称量的东西，正如我们是这样度量它的：我们把需要测出其质量的物体放在一架天平上。我们这样做是利用了质量的什么性质呢？是地球和被测物体相互吸引的事实。这种质量被称作“引力质量”。我们称它为“引力的”是因为它决定了宇宙中所有星星和恒星的运行：地球和太阳间的引力质量驱使地球围绕后者作近乎圆形的环绕运动。
现在，试着在一个平面上推你的汽车。你不能否认你的汽车强烈地反抗着你要给它的加速度。这是因为你的汽车有一个非常大的质量。移动轻的物体要比移动重的物体轻松。质量也可以用另一种方式定义：“它反抗加速度”。这种质量被称作“惯性质量”。
因此我们得出这个结论：我们可以用两种方法度量质量。要么我们称它的重量（非常简单），要么我们测量它对加速度的抵抗（使用牛顿定律）。
人们做了许多实验以测量同一物体的惯性质量和引力质量。所有的实验结果都得出同一结论：惯性质量等于引力质量。
牛顿自己意识到这种质量的等同性是由某种他的理论不能够解释的原因引起的。但他认为这一结果是一种简单的巧合。与此相反，爱因斯坦发现这种等同性中存在着一条取代牛顿理论的通道。
日常经验验证了这一等同性：两个物体（一轻一重）会以相同的速度“下落”。然而重的物体受到的地球引力比轻的大。那么为什么它不会“落”得更快呢？因为它对加速度的抵抗更强。结论是，引力场中物体的加速度与其质量无关。伽利略是第一个注意到此现象的人。重要的是你应该明白，引力场中所有的物体“以同一速度下落”是（经典力学中）惯性质量和引力质量等同的结果。
现在我们关注一下“下落”这个表述。物体“下落”是由于地球的引力质量产生了地球的引力场。两个物体在所有相同的引力场中的速度相同。不论是月亮的还是太阳的，它们以相同的比率被加速。这就是说它们的速度在每秒钟内的增量相同。（加速度是速度每秒的增加值）
引力质量和惯性质量的等同性是爱因斯坦论据中的第三假设
爱因斯坦一直在寻找“引力质量与惯性质量相等”的解释。为了这个目标，他作出了被称作“等同原理”的第三假设。它说明：如果一个惯性系相对于一个伽利略系被均匀地加速，那么我们就可以通过引入相对于它的一个均匀引力场而认为它（该惯性系）是静止的。
让我们来考查一个惯性系K"，它有一个相对于伽利略系的均匀加速运动。在K 和K"周围有许多物体。此物体相对于K是静止的。因此这些物体相对于K"有一个相同的加速运动。这个加速度对所有的物体都是相同的，并且与K"相对于K的加速度方向相反。我们说过，在一个引力场中所有物体的加速度的大小都是相同的，因此其效果等同于K"是静止的并且存在一个均匀的引力场。
因此如果我们确立等同原理，两个物体的质量相等只是它的一个简单推论。 这就是为什么（质量）等同是支持等同原理的一个重要论据。
通过假定K"静止且引力场存在，我们将K"理解为一个伽利略系，（这样我们就可以）在其中研究力学规律。由此爱因斯坦确立了他的第四个原理。
爱因斯坦第二假设
谷锐译 原文：Slaven
时间和空间
我们得出一个自相矛盾的结论。我们用来将速度从一个参照系转换到另一个参照系的“常识相对论”和爱因斯坦的“光在所有惯性系中速度相同”的假设相抵触。只有在两种情况下爱因斯坦的假设才是正确的：要么距离相对于两个惯性系不同，要么时间相对于两个惯性系不同。
实际上，两者都对。第一种效果被称作“长度收缩”，第二种效果被称作“时间膨胀”。
长度收缩：
长度收缩有时被称作洛伦茨（Lorentz）或洛伦茨－弗里茨格拉德（FritzGerald）收缩。在爱因斯坦之前,洛伦茨和弗里茨格拉德就求出了用来描述（长度）收缩的数学公式。但爱因斯坦意识到了它的重大意义并将其植入完整的相对论中。这个原理是：
参照系中运动物体的长度比其静止时的长度要短
下面用图形说明以便于理解：
上部图形是尺子在参照系中处于静止状态。一个静止物体在其参照系中的长度被称作他的“正确长度”。一个码尺的正确长度是一码。下部图中尺子在运动。用更长、更准确的话来讲：我们相对于某参照系，发现它（尺子）在运动。长度收缩原理指出在此参照系中运动的尺子要短一些。
这种收缩并非幻觉。当尺子从我们身边经过时，任何精确的试验都表明其长度比静止时要短。尺子并非看上去短了，它的确短了！然而，它只在其运动方向上收缩。下部图中尺子是水平运动的，因此它的水平方向变短。你可能已经注意到，两图中垂直方向的长度是一样的。
时间膨胀：
所谓的时间膨胀效应与长度收缩很相似，它是这样进行的：
某一参照系中的两个事件，它们发生在不同地点时的时间间隔
总比同样两个事件发生在相同地点的时间间隔长。
这更加难懂，我们仍然用图例加以说明：
图中两个闹钟都可以用于测量第一个闹钟从A点运动到B点所花费的时间。然而两个闹钟给出的结果并不相同。我们可以这样思考：我们所提到的两个事件分别是“闹钟离开A点”和“闹钟到达B点”。在我们的参照系中，这两个事件在不同的地点发生（A和B）。然而，让我们以上半图中闹钟自身的参照系观察这件事情。从这个角度看，上半图中的闹钟是静止的（所有的物体相对于其自身都是静止的），而刻有A和B点的线条从右向左移动。因此“离开A点”和“到达B点”着两件事情都发生在同一地点！（上半图中闹钟所测量的时间称为“正确时间”）按照前面提到的观点，下半图中闹钟所记录的时间将比上半图中闹钟从A到B所记录的时间更长。
此原理的一个较为简单但不太精确的陈述是：运动的钟比静止的钟走得更慢。最著名的关于时间膨胀的假说通常被成为双生子佯谬。假设有一对双胞胎哈瑞和玛丽，玛丽登上一艘快速飞离地球的飞船（为了使效果明显，飞船必须以接近光速运动），并且很快就返回来。我们可以将两个人的身体视为一架用年龄计算时间流逝的钟。因为玛丽运动得很快，因此她的“钟”比哈瑞的“钟”走得慢。结果是，当玛丽返回地球的时候，她将比哈瑞更年轻。年轻多少要看她以多快的速度走了多远。
时间膨胀并非是个疯狂的想法，它已经为实验所证实。最好的例子涉及到一种称 为"介子"的亚原子粒子。一个介子衰变需要多少时间已经被非常精确地测量过。无论怎样，已经观测到一个以接近光速运动的介子比一个静止或缓慢运动的介子的寿命要长。这就是相对论效应。从运动的介子自身来看，它并没有存在更长的时间。这是因为从它自身的角度看它是静止的；只有从相对于实验室的角度看该介子，我们才会发现其寿命被“延长”或“缩短”了。?
应该加上一句：已经有很多很多的实验证实了相对论的这个推论。（相对论的）其他推论我们以后才能加以证实。我的观点是，尽管我们把相对论称作一种“理论”，但不要误认为相对论有待于证实，它（实际上）是非常完备的。
爱因斯坦第一假设
全部狭义相对论主要基于爱因斯坦对宇宙本性的两个假设。
第一个可以这样陈述：
所有惯性参照系中的物理规律是相同的
此处唯一稍有些难懂的地方是所谓的“惯性参照系”。举几个例子就可以解释清楚：
假设你正在一架飞机上，飞机水平地以每小时几百英里的恒定速度飞行，没有任何颠簸。一个人从机舱那边走过来，说：“把你的那袋花生扔过来好吗？”你抓起花生袋，但突然停了下来，想道：“我正坐在一架以每小时几百英里速度飞行的飞机上，我该用多大的劲扔这袋花生，才能使它到达那个人手上呢？”
不，你根本不用考虑这个问题，你只需要用与你在机场时相同的动作（和力气）投掷就行。花生的运动同飞机停在地面时一样。
你看，如果飞机以恒定的速度沿直线飞行，控制物体运动的自然法则与飞机静止时是一样的。我们称飞机内部为一个惯性参照系。（“惯性”一词原指牛顿第一运动定律。惯性是每个物体所固有的当没有外力作用时保持静止或匀速直线运动的属性。惯性参照系是一系列此规律成立的参照系。
另一个例子。让我们考查大地本身。地球的周长约40，000公里。由于地球每24小时自转一周，地球赤道上的一点实际上正以每小时1600公里的速度向东移动。然而我敢打赌说Steve Young在向Jerry Rice（二人都是橄榄球运动员。译者注）触地传球的时候，从未对此担心过。这是因为大地在作近似的匀速直线运动，地球表面几乎就是一个惯性参照系。因此它的运动对其他物体的影响很小，所有物体的运动都表现得如同地球处于静止状态一样。
实际上，除非我们意识到地球在转，否则有些现象会是十分费解的。（即，地球不是在沿直线运动，而是绕地轴作一个大的圆周运动）
例如：天气（变化）的许多方面都显得完全违反物理规律，除非我们对此（地球在转）加以考虑。另一个例子。远程炮弹并非象他们在惯性系中那样沿直线运动，而是略向右（在北半球）或向左（在南半球）偏。（室外运动的高尔夫球手们，这可不能用于解释你们的擦边球）对于大多数研究目的而言，我们可以将地球视为惯性参照系。但偶尔，它的非惯性表征将非常严重（我想把话说得严密一些）。
这里有一个最低限度：爱因斯坦的第一假设使此类系中所有的物理规律都保持不变。运动的飞机和地球表面的例子只是用以向你解释这是一个平日里人们想都不用想就能作出的合理假设。谁说爱因斯坦是天才？
爱因斯坦第二假设
19世纪中页人们对电和磁的理解有了一个革命性的飞跃，其中以詹姆斯.麦克斯韦（James Maxwell）的成就为代表。电和磁两种现象曾被认为毫不相关，直到奥斯特（Oersted）和安培（Ampere）证明电能产生磁；法拉弟（Faraday）和亨利（Henry）证明磁能产生电。现在我们知道电和磁的关系是如此紧密，以致于当物理学家对自然力进行列表时，常常将电和磁视为一件事。
麦克斯韦的成就在于将当时所有已知的电磁知识集中于四个方程中：
（如果你没有上过理解这些方程所必需的三到四个学期的微积分课程，那么就坐下来看它们几分钟，欣赏一下其中的美吧）
麦克斯韦方程对于我们的重要意义在于，它除了将所有人们已知的电磁知识加以描述以外，还揭示了一些人们不知道的事情。例如：构成这些方程的电磁场可以以振动波的形式在空间传播。当麦克斯韦计算了这些波的速度后，他发现它们都等于光速。这并非巧合，麦克斯韦（方程）揭示出光是一种电磁波。
我们应记住的一个重要的事情是：光速直接从描述所有电磁场的麦克斯韦方程推导而来。
现在我们回到爱因斯坦。
爱因斯坦的第一个假设是所有惯性参照系中的物理规律相同。他的第二假设是简单地将此原则推广到电和磁的规律中。这就是，如果麦克斯韦假设是自然界的一种规律，那么它（和它的推论）都必须在所有惯性系中成立。这些推论中的一个就是爱因斯坦的第二假设：光在所有惯性系中速度相同
爱因斯坦的第一假设看上去非常合理，他的第二假设延续了第一假设的合理性。但为什么它看上去并不合理呢？
火车上的试验
为了说明爱因斯坦第二假的合理性，让我们来看一下下面这副火车上的图画。 火车以每秒100，000，000米/秒的速度运行，Dave站在车上，Nolan站在铁路旁的地面上。Dave用手中的电筒“发射”光子。
光子相对于Dave以每秒300,000,000米/秒的速度运行，Dave以100,000,000米/秒的速度相对于Nolan运动。因此我们得出光子相对于Nolan的速度为400,000,000米/秒。
问题出现了：这与爱因斯坦的第二假设不符！爱因斯坦说光相对于Nolan参照系的速度必需和Dave参照系中的光速完全相同，即300，000，000米/秒。那么我们的“常识感觉”和爱因斯坦的假设那一个错了呢？
好，许多科学家的试验（结果）支持了爱因斯坦的假设，因此我们也假定爱因斯坦是对的，并帮大家找出常识相对论的错误之处。
记得吗？将速度相加的决定来得十分简单。一秒钟后，光子已移动到Dave前300，000，000米处，而Dave已经移动到Nolan前100，000，000米处。其间的距离不是400，000，000米只有两种可能：
1、 相对于Dave的300，000，000米距离对于Nolan来说并非也是300，000，000米
2、 对Dave而言的一秒钟和对Nolan而言的一秒钟不同
尽管听起来很奇怪，但两者实际上都是正确的。
爱因斯坦第二假设
时间和空间
我们得出一个自相矛盾的结论。我们用来将速度从一个参照系转换到另一个参照系的“常识相对论”和爱因斯坦的“光在所有惯性系中速度相同”的假设相抵触。只有在两种情况下爱因斯坦的假设才是正确的：要么距离相对于两个惯性系不同，要么时间相对于两个惯性系不同。
实际上，两者都对。第一种效果被称作“长度收缩”，第二种效果被称作“时间膨胀”。
长度收缩：
长度收缩有时被称作洛伦茨（Lorentz）或洛伦茨－弗里茨格拉德（FritzGerald）收缩。在爱因斯坦之前,洛伦茨和弗里茨格拉德就求出了用来描述（长度）收缩的数学公式。但爱因斯坦意识到了它的重大意义并将其植入完整的相对论中。这个原理是： 参照系中运动物体的长度比其静止时的长度要短下面用图形说明以便于理解：
上部图形是尺子在参照系中处于静止状态。一个静止物体在其参照系中的长度被称作他的“正确长度”。一个码尺的正确长度是一码。下部图中尺子在运动。用更长、更准确的话来讲：我们相对于某参照系，发现它（尺子）在运动。长度收缩原理指出在此参照系中运动的尺子要短一些。
这种收缩并非幻觉。当尺子从我们身边经过时，任何精确的试验都表明其长度比静止时要短。尺子并非看上去短了，它的确短了！然而，它只在其运动方向上收缩。下部图中尺子是水平运动的，因此它的水平方向变短。你可能已经注意到，两图中垂直方向的长度是一样的。
时间膨胀：
所谓的时间膨胀效应与长度收缩很相似，它是这样进行的：
某一参照系中的两个事件，它们发生在不同地点时的时间间隔
总比同样两个事件发生在相同地点的时间间隔长。
这更加难懂，我们仍然用图例加以说明：
图中两个闹钟都可以用于测量第一个闹钟从A点运动到B点所花费的时间。然而两个闹钟给出的结果并不相同。我们可以这样思考：我们所提到的两个事件分别是“闹钟离开A点”和“闹钟到达B点”。在我们的参照系中，这两个事件在不同的地点发生（A和B）。然而，让我们以上半图中闹钟自身的参照系观察这件事情。从这个角度看，上半图中的闹钟是静止的（所有的物体相对于其自身都是静止的），而刻有A和B点的线条从右向左移动。因此“离开A点”和“到达B点”着两件事情都发生在同一地点！（上半图中闹钟所测量的时间称为“正确时间”）按照前面提到的观点，下半图中闹钟所记录的时间将比上半图中闹钟从A到B所记录的时间更长。
此原理的一个较为简单但不太精确的陈述是：运动的钟比静止的钟走得更慢。最著名的关于时间膨胀的假说通常被成为双生子佯谬。假设有一对双胞胎哈瑞和玛丽，玛丽登上一艘快速飞离地球的飞船（为了使效果明显，飞船必须以接近光速运动），并且很快就返回来。我们可以将两个人的身体视为一架用年龄计算时间流逝的钟。因为玛丽运动得很快，因此她的“钟”比哈瑞的“钟”走得慢。结果是，当玛丽返回地球的时候，她将比哈瑞更年轻。年轻多少要看她以多快的速度走了多远。
时间膨胀并非是个疯狂的想法，它已经为实验所证实。最好的例子涉及到一种称为介子的亚原子粒子。一个介子衰变需要多少时间已经被非常精确地测量过。无论怎样，已经观测到一个以接近光速运动的介子比一个静止或缓慢运动的介子的寿命要长。这就是相对论效应。从运动的介子自身来看，它并没有存在更长的时间。这是因为从它自身的角度看它是静止的；只有从相对于实验室的角度看该介子，我们才会发现其寿命被“延长”或“缩短”了。?
应该加上一句：已经有很多很多的实验证实了相对论的这个推论。（相对论的）其他推论我们以后才能加以证实。我的观点是，尽管我们把相对论称作一种“理论”，但不要误认为相对论有待于证实，它（实际上）是非常完备的。
伽玛参数（γ）
现在你可能会奇怪：为什么你在日常生活中从未注意到过长度收缩和时间膨胀效应？例如根据刚才我所说的，如果你驱车从俄荷马城到勘萨斯城再返回，那么当你到家的时候，你应该重新对表。因为当你驾车的时候，你的表应该比在你家里处于静止状态的表走得慢。如果到家的时候你的表现时是3点正，那么你家里的表都应该显示一个晚一点的时间。为什么你从未发现过这种情况呢？
答案是：这种效应显著与否依赖于你运动速度的快慢。而你运动得非常慢（你可能认为你的车开得很快，但这对于相对论来说，是极慢的）。长度收缩和时间膨胀的效果只有当你以接近光速运动的时候才能注意到。而光速约合186，300英里/秒（或3亿米/秒）。在数学上，相对论效应通常用一个系数加以描述，物理学家通常用希腊字母γ加以表示。这个系数依赖于物体运动的速度。例如，如果一根米尺（正确长度为1米）快速地从我们面前飞过，则它相对于我们的参照系的长度是1/γ米。如果一个钟从A点运动到B点要3秒钟，那么相对于我们的握障担�飧龉�坛中?/γ秒。
为了理解现实中为什么我们没有注意到相对论效应，让我们看一下（关于）γ的公式： 这里的关键是分母中的v2/c2。v是我们所讨论的物体的运动速度，c是光速。因为任何正常尺寸物体的速度远小于光速，所以v/c非常小；当我们将其平方后（所得的结果）就更小了。因此对于所有实际生活中通常尺寸的物体而言，γ的值就是1。所以对于普通的速度，我们通过乘除运算后得到的长度和时间没有变化。为了说明此事，下面有一个对应于不同速度的γ值表。（其中）最后一列是米尺在此速度运动时的长度（即1/γ米）。
第一列中c仍旧表示光速。.9c等于光速的十分之九。为了便于参照举个例子：“土星五号”火箭的飞行速度大约是25，000英里/小时。你看，对于任何合理的速度，γ几乎就是1。因此长度和时间几乎没有变化。在生活中，相对论效应只是发生在科幻小说（其中的飞船远比“土星五号”快得多）和微观物理学中（电子和质子常被加速到非常接近光速的速度）。在从芝加哥飞往丹佛的路上，这种效应是不会显现出来的。
宇宙执法者的历险
宇宙执法者AD在A行星上被邪恶的EN博士所擒。EN博士给AD喝了一杯13小时后发作的毒酒，并告诉AD解药在距此40，000，000，000公里远的B行星上。AD得知此情况后立即乘上其0.95倍光速的星际飞船飞往B星，那么：
AD能即使到达B星并取得解药吗？
我们做如下的计算：
A、B两行星之间的距离为40，000，000，000公里。飞船的速度是1，025，000，000公里/小时。把这两个数相除，我们得到从A行星到B行星需要39小时。
那么AD必死无疑。
等一下！这只对于站在A行星上的人而言。由于毒药在AD的体内是要经过新陈代谢（才能发作）的，我们必须从AD的参照系出发研究这一问题。我们可以用两种方法做这件事情，它们将得到相同的结论。
1. 设想一个大尺子从A行星一致延伸到B行星。这个尺子有40，000，000，000公里长。然而，从AD的角度而言，这个尺子以接近光速飞过他身边。我们已经知道这样的物体会发生长度收缩现象。在AD的参照系中，从A行星到B行星的距离以参数γ在收缩。在95％的光速下，γ的值大约等于3.2。因此AD认为这段路程只有12，500，000，000公里远（400亿除以3.2）。我们用此距离除以AD的速度，得到12.2小时，AD将提前将近1小时到达B行星！
2. A行星上的观察者会发现AD到达B需要花费大约39小时时间。然而，这是一个膨胀后的时间。我们知道AD的“钟”以参数γ（3.2）变慢。为了计算AD参照系中的时间，我们再用39小时除以3.2，得到12.2小时。（也）给AD剩下了大约1小时（这很好，因为这给了AD20分钟时间离开飞船，另外20分钟去寻找解药）。
AD将生还并继续与邪恶战斗。
如果对上文中我的描述加以仔细研究，你会发现许多似是而非，非常微妙的东西。当你深入地思考它的时候，一般你最终将提出这样一个问题：“等一下，在AD的参照系中，EN的钟表走得更慢了，因此在AD的参照系中，宇宙旅行应花费更长的时间，而不是更短...
如果你对这个问题感兴趣或者觉得困惑，你可能应该看一下后文《宇宙执法者的历险——微妙的时间》。或者你可以相信我所说的话“如果你把所有的因果都弄清楚，那么所有（这些）都是正确的”并跳到《质量和能量》一章。
宇宙执法者的历险——微妙的时间
好，这就是我们刚刚看到的。我们已经发现在AD相对于EN参照系旅行中的时间膨胀。在EN参照系中，AD是运动的，因此AD的钟走得慢。结果是在此次飞行中EN的钟走了39小时，而AD的钟走了12小时。这常常使人们产生这样的问题：
相对于AD的系，EN是运动的，因此EN的钟应该走得慢。因此当AD到达B行星的时候，他的钟走的时间比EN的长。谁对？长还是短？
好问题。当你问这个问题的时候，我知道你已经开始进入情况了。在开始解释之前，我必须声明在前文所叙述的事情都是对的。在我所描述的情况下，AD可以及时拿到解药。现在让我们来解释这个徉谬。这与我尚未提及的“同时性”有关。相对论的一个推论是：同一参照系中的两个同时（但不同地点）发生的事件相对于另一个参照系不同时发生。
让我们来研究一些同时发生的事件。
首先，让我们假设EN和AD在AD离开A行星时同时按下秒表。按照EN的表，这趟B行星之旅将花费39小时。换言之，EN的表在AD到达B行星时读数为39小时。因为时间膨胀，AD的表与此同时读数为12.2小时。即，以下三件事情是同时发生的：
1、 EN的表读数为39
2、 AD到达B行星
3、 AD的表读数为12.2
这些事件在EN的参照系中是同时发生的。
现在在AD的参照系中，上述三个事件不可能同时发生。更进一步，因为我们知道EN的表一定以参数γ减慢（此处γ大约为3.2），我们可以计算出当AD的表读数为12.2小时的时候，EN的表的读数为12.2/3.2＝3.8小时。因此在AD的系中，这些事情是同时发生的：
1、 AD到达B行星
2、 AD的钟的读数为1.2
3、 EN的钟的读数为3.2
前两项在两个系中都是相同的，因为它们在同一地点——B行星发生。两个同一地点发生的事件要么同时发生，要么不同时发生，在这里，参照系不起作用。
从另一个角度看待此问题可能会对你有所帮助。你所感兴趣的事件是从AD离开A行星到AD到达B行星。一个重要的提示：AD在两个事件中都存在。也就是说，在AD的参照系中，这两个事件在同一地点发生。由此，AD参照系的事件被称作“正确时间”，所有其他系中的时间都将比此系中的更长（参见时间膨胀原理）。不管怎样，如果你对AD历险中的时间膨胀感到迷惑，希望这可以使之澄清一些。如果你原本不糊涂，那么希望你现在也不。
质量和能量
除了长度收缩和时间膨胀以外，相对论还有许多推论。其中最著名、最重要的是关于能量的。
能量有许多状态。任何运动的物体都因其自身的运动而具有物理学家所谓的“动能”。动能的大小和物体的运动速度及质量有关。（“质量”非常类似于“重量”，但并不完全相同）放在架子上的物体具有“引力势能”。因为如果架子被移掉，它就（由于引力）具有获得动能的可能。
热也是一种形式的能，其最终可以归结于组成物质的原子和分子的动能，此外还有许多其他形式的能。
把上述现象都和能量联系起来的原因，即它们之间的联系，是能量守恒定律。这个定律是说，如果我们把宇宙中全部的能量都加起来（我们可以用象焦耳或千瓦时这样的单位定量地描述能量），其总量永不改变。此即，能量从不会产生或消灭，尽管它们可以从一种形态转化为另一种形态。例如，汽车是一种可以将（在引擎的汽缸中的）热能转化为（汽车运动的）动能的设备；灯泡（可以）将电能转化为光能（这又是两种能的形式）。
爱因斯坦在他的相对论中发现了能量的另一种形式，有时被称作“静能量”。我已经指出一个运动物体由于其运动而具有了能量。但爱因斯坦发现，同样一个物体在其静止不动的时候同样具有能量。物体内静能量的数量依赖于其质量，并以公式E＝mc2给出。
由于光速是如此之大的一个数，一个典型物体
bikbok -
狭义相对论是建立在四维时空观上的一个理论，因此要弄清相对论的内容，要先对相对论的时空观有个大体了解。在数学上有各种多维空间，但目前为止，我们认识的物理世界只是四维，即三维空间加一维时间。现代微观物理学提到的高维空间是另一层意思，只有数学意义，在此不做讨论。
四维时空是构成真实世界的最低维度，我们的世界恰好是四维，至于高维真实空间，至少现在我们还无法感知。我在一个帖子上说过一个例子，一把尺子在三维空间里（不含时间）转动，其长度不变，但旋转它时，它的各坐标值均发生了变化，且坐标之间是有联系的。四维时空的意义就是时间是第四维坐标，它与空间坐标是有联系的，也就是说时空是统一的，不可分割的整体，它们是一种”此消彼长”的关系。
四维时空不仅限于此，由质能关系知，质量和能量实际是一回事，质量（或能量）并不是独立的，而是与运动状态相关的，比如速度越大，质量越大。在四维时空里，质量（或能量）实际是四维动量的第四维分量，动量是描述物质运动的量，因此质量与运动状态有关就是理所当然的了。在四维时空里，动量和能量实现了统一，称为能量动量四矢。另外在四维时空里还定义了四维速度，四维加速度，四维力，电磁场方程组的四维形式等。值得一提的是，电磁场方程组的四维形式更加完美，完全统一了电和磁，电场和磁场用一个统一的电磁场张量来描述。四维时空的物理定律比三维定律要完美的多，这说明我们的世界的确是四维的。可以说至少它比牛顿力学要完美的多。至少由它的完美性，我们不能对它妄加怀疑。
相对论中，时间与空间构成了一个不可分割的整体——四维时空，能量与动量也构成了一个不可分割的整体——四维动量。这说明自然界一些看似毫不相干的量之间可能存在深刻的联系。在今后论及广义相对论时我们还会看到，时空与能量动量四矢之间也存在着深刻的联系。
物质在相互作用中作永恒的运动，没有不运动的物质，也没有无物质的运动，由于物质是在相互联系，相互作用中运动的，因此，必须在物质的相互关系中描述运动，而不可能孤立的描述运动。也就是说，运动必须有一个参考物，这个参考物就是参考系。
伽利略曾经指出，运动的船与静止的船上的运动不可区分，也就是说，当你在封闭的船舱里，与外界完全隔绝，那么即使你拥有最发达的头脑，最先进的仪器，也无从感知你的船是匀速运动，还是静止。更无从感知速度的大小，因为没有参考。比如，我们不知道我们整个宇宙的整体运动状态，因为宇宙是封闭的。爱因斯坦将其引用，作为狭义相对论的第一个基本原理：狭义相对性原理。其内容是：惯性系之间完全等价，不可区分。
著名的麦克尔逊--莫雷实验彻底否定了光的以太学说，得出了光与参考系无关的结论。也就是说，无论你站在地上，还是站在飞奔的火车上，测得的光速都是一样的。这就是狭义相对论的第二个基本原理，光速不变原理。
由这两条基本原理可以直接推导出相对论的坐标变换式，速度变换式等所有的狭义相对论内容。比如速度变幻，与传统的法则相矛盾，但实践证明是正确的，比如一辆火车速度是10m/s，一个人在车上相对车的速度也是10m/s，地面上的人看到车上的人的速度不是20m/s，而是(20-10^(-15))m/s左右。在通常情况下，这种相对论效应完全可以忽略，但在接近光速时，这种效应明显增大，比如，火车速度是0。99倍光速，人的速度也是0。99倍光速，那么地面观测者的结论不是1。98倍光速，而是0。999949倍光速。车上的人看到后面的射来的光也没有变慢，对他来说也是光速。因此，从这个意义上说，光速是不可超越的，因为无论在那个参考系，光速都是不变的。速度变换已经被粒子物理学的无数实验证明，是无可挑剔的。正因为光的这一独特性质，因此被选为四维时空的唯一标尺。
根据狭义相对性原理，惯性系是完全等价的，因此，在同一个惯性系中，存在统一的时间，称为同时性，而相对论证明，在不同的惯性系中，却没有统一的同时性，也就是两个事件(时空点)在一个关性系内同时，在另一个惯性系内就可能不同时，这就是同时的相对性，在惯性系中，同一物理过程的时间进程是完全相同的，如果用同一物理过程来度量时间，就可在整个惯性系中得到统一的时间。在今后的广义相对论中可以知道，非惯性系中，时空是不均匀的，也就是说，在同一非惯性系中，没有统一的时间，因此不能建立统一的同时性。
相对论导出了不同惯性系之间时间进度的关系，发现运动的惯性系时间进度慢，这就是所谓的钟慢效应。可以通俗的理解为，运动的钟比静止的钟走得慢，而且，运动速度越快，钟走的越慢，接近光速时，钟就几乎停止了。
尺子的长度就是在一惯性系中"同时"得到的两个端点的坐标值的差。由于"同时"的相对性，不同惯性系中测量的长度也不同。相对论证明，在尺子长度方向上运动的尺子比静止的尺子短，这就是所谓的尺缩效应，当速度接近光速时，尺子缩成一个点。
由以上陈述可知，钟慢和尺缩的原理就是时间进度有相对性。也就是说，时间进度与参考系有关。这就从根本上否定了牛顿的绝对时空观，相对论认为，绝对时间是不存在的，然而时间仍是个客观量。比如在下期将讨论的双生子理想实验中，哥哥乘飞船回来后是15岁，弟弟可能已经是45岁了，说明时间是相对的，但哥哥的确是活了15年，弟弟也的确认为自己活了45年，这是与参考系无关的，时间又是"绝对的"。这说明，不论物体运动状态如何，它本身所经历的时间是一个客观量，是绝对的，这称为固有时。也就是说，无论你以什么形式运动，你都认为你喝咖啡的速度很正常，你的生活规律都没有被打乱，但别人可能看到你喝咖啡用了100年，而从放下杯子到寿终正寝只用了一秒钟。
相对论诞生后，曾经有一个令人极感兴趣的疑难问题---双生子佯谬。一对双生子A和B，A在地球上，B乘火箭去做星际旅行，经过漫长岁月返回地球。爱因斯坦由相对论断言，二人经历的时间不同，重逢时B将比A年轻。许多人有疑问，认为A看B在运动，B看A也在运动，为什么不能是A比B年轻呢?由于地球可近似为惯性系，B要经历加速与减速过程，是变加速运动参考系，真正讨论起来非常复杂，因此这个爱因斯坦早已讨论清楚的问题被许多人误认为相对论是自相矛盾的理论。如果用时空图和世界线的概念讨论此问题就简便多了，只是要用到许多数学知识和公式。在此只是用语言来描述一种最简单的情形。不过只用语言无法更详细说明细节，有兴趣的请参考一些相对论书籍。我们的结论是，无论在那个参考系中，B都比A年轻。
为使问题简化，只讨论这种情形，火箭经过极短时间加速到亚光速，飞行一段时间后，用极短时间掉头，又飞行一段时间，用极短时间减速与地球相遇。这样处理的目的是略去加速和减速造成的影响。在地球参考系中很好讨论，火箭始终是动钟，重逢时B比A年轻。在火箭参考系内，地球在匀速过程中是动钟，时间进程比火箭内慢，但最关键的地方是火箭掉头的过程。在掉头过程中，地球由火箭后方很远的地方经过极短的时间划过半个圆周，到达火箭的前方很远的地方。这是一个"超光速"过程。只是这种超光速与相对论并不矛盾，这种"超光速"并不能传递任何信息，不是真正意义上的超光速。如果没有这个掉头过程，火箭与地球就不能相遇，由于不同的参考系没有统一的时间，因此无法比较他们的年龄，只有在他们相遇时才可以比较。火箭掉头后，B不能直接接受A的信息，因为信息传递需要时间。B看到的实际过程是在掉头过程中，地球的时间进度猛地加快了。在B看来，A现实比B年轻，接着在掉头时迅速衰老，返航时，A又比自己衰老的慢了。重逢时，自己仍比A年轻。也就是说，相对论不存在逻辑上的矛盾。
相对论要求物理定律要在坐标变换(洛伦兹变化)下保持不变。经典电磁理论可以不加修改而纳入相对论框架，而牛顿力学只在伽利略变换中形势不变，在洛伦兹变换下原本简洁的形式变得极为复杂。因此经典力学与要进行修改，修改后的力学体系在洛伦兹变换下形势不变，称为相对论力学。
狭义相对论建立以后，对物理学起到了巨大的推动作用。并且深入到量子力学的范围，成为研究高速粒子不可缺少的理论，而且取得了丰硕的成果。然而在成功的背后，却有两个遗留下的原则性问题没有解决。第一个是惯性系所引起的困难。抛弃了绝对时空后，惯性系成了无法定义的概念。我们可以说惯性系是惯性定律在其中成立的参考系。惯性定律实质一个不受外力的物体保持静止或匀速直线运动的状态。然而"不受外力"是什么意思?只能说，不受外力是指一个物体能在惯性系中静止或匀速直线运动。这样，惯性系的定义就陷入了逻辑循环，这样的定义是无用的。我们总能找到非常近似的惯性系，但宇宙中却不存在真正的惯性系，整个理论如同建筑在沙滩上一般。第二个是万有引力引起的困难。万有引力定律与绝对时空紧密相连，必须修正，但将其修改为洛伦兹变换下形势不变的任何企图都失败了，万有引力无法纳入狭义相对论的框架。当时物理界只发现了万有引力和电磁力两种力，其中一种就冒出来捣乱，情况当然不会令人满意。
爱因斯坦只用了几个星期就建立起了狭义相对论，然而为解决这两个困难，建立起广义相对论却用了整整十年时间。为解决第一个问题，爱因斯坦干脆取消了惯性系在理论中的特殊地位，把相对性原理推广到非惯性系。因此第一个问题转化为非惯性系的时空结构问题。在非惯性系中遇到的第一只拦路虎就是惯性力。在深入研究了惯性力后，提出了著名的等性原理，发现参考系问题有可能和引力问题一并解决。几经曲折，爱因斯坦终于建立了完整的广义相对论。广义相对论让所有物理学家大吃一惊，引力远比想象中的复杂的多。至今为止爱因斯坦的场方程也只得到了为数不多的几个确定解。它那优美的数学形式至今令物理学家们叹为观止。就在广义相对论取得巨大成就的同时，由哥本哈根学派创立并发展的量子力学也取得了重大突破。然而物理学家们很快发现，两大理论并不相容，至少有一个需要修改。于是引发了那场著名的论战：爱因斯坦VS哥本哈根学派。直到现在争论还没有停止，只是越来越多的物理学家更倾向量子理论。爱因斯坦为解决这一问题耗费了后半生三十年光阴却一无所获。不过他的工作为物理学家们指明了方向：建立包含四种作用力的超统一理论。目前学术界公认的最有希望的候选者是超弦理论与超膜理论。
相对论问世，人们看到的结论就是：四维弯曲时空，有限无边宇宙，引力波，引力透镜，大爆炸宇宙学说，以及二十一世纪的主旋律--黑洞等等。这一切来的都太突然，让人们觉得相对论神秘莫测，因此在相对论问世头几年，一些人扬言"全世界只有十二个人懂相对论"。甚至有人说"全世界只有两个半人懂相对论"。更有甚者将相对论与"通灵术"，"招魂术"之类相提并论。其实相对论并不神秘，它是最脚踏实地的理论，是经历了千百次实践检验的真理，更不是高不可攀的。
相对论应用的几何学并不是普通的欧几里得几何，而是黎曼几何。相信很多人都知道非欧几何，它分为罗氏几何与黎氏几何两种。黎曼从更高的角度统一了三种几何，称为黎曼几何。在非欧几何里，有很多奇怪的结论。三角形内角和不是180度，圆周率也不是3。14等等。因此在刚出台时，倍受嘲讽，被认为是最无用的理论。直到在球面几何中发现了它的应用才受到重视。
空间如果不存在物质，时空是平直的，用欧氏几何就足够了。比如在狭义相对论中应用的，就是四维伪欧几里得空间。加一个伪字是因为时间坐标前面还有个虚数单位i。当空间存在物质时，物质与时空相互作用，使时空发生了弯曲，这是就要用非欧几何。
相对论预言了引力波的存在，发现了引力场与引力波都是以光速传播的，否定了万有引力定律的超距作用。当光线由恒星发出，遇到大质量天体，光线会重新汇聚，也就是说，我们可以观测到被天体挡住的恒星。一般情况下，看到的是个环，被称为爱因斯坦环。爱因斯坦将场方程应用到宇宙时，发现宇宙不是稳定的，它要么膨胀要么收缩。当时宇宙学认为，宇宙是无限的，静止的，恒星也是无限的。于是他不惜修改场方程，加入了一个宇宙项，得到一个稳定解，提出有限无边宇宙模型。不久哈勃发现著名的哈勃定律，提出了宇宙膨胀学说。爱因斯坦为此后悔不已，放弃了宇宙项，称这是他一生最大的错误。在以后的研究中，物理学家们惊奇的发现，宇宙何止是在膨胀，简直是在爆炸。极早期的宇宙分布在极小的尺度内，宇宙学家们需要研究粒子物理的内容来提出更全面的宇宙演化模型，而粒子物理学家需要宇宙学家们的观测结果和理论来丰富和发展粒子物理。这样，物理学中研究最大和最小的两个目前最活跃的分支：粒子物理学和宇宙学竟这样相互结合起来。就像高中物理序言中说的那样，如同一头怪蟒咬住了自己的尾巴。值得一提的是，虽然爱因斯坦的静态宇宙被抛弃了，但它的有限无边宇宙模型却是宇宙未来三种可能的命运之一，而且是最有希望的。近年来宇宙项又被重新重视起来了。黑洞问题将在今后的文章中讨论。黑洞与大爆炸虽然是相对论的预言，它们的内容却已经超出了相对论的限制，与量子力学，热力学结合的相当紧密。今后的理论有希望在这里找到突破口。
由于惯性系无法定义，爱因斯坦将相对性原理推广到非惯性系，提出了广义相对论的第一个原理：广义相对性原理。其内容是，所有参考系在描述自然定律时都是等效的。这与狭义相对性原理有很大区别。在不同参考系中，一切物理定律完全等价，没有任何描述上的区别。但在一切参考系中，这是不可能的，只能说不同参考系可以同样有效的描述自然律。这就需要我们寻找一种更好的描述方法来适应这种要求。通过狭义相对论，很容易证明旋转圆盘的圆周率大于3。14。因此，普通参考系应该用黎曼几何来描述。第二个原理是光速不变原理：光速在任意参考系内都是不变的。它等效于在四维时空中光的时空点是不动的。当时空是平直的，在三维空间中光以光速直线运动，当时空弯曲时，在三维空间中光沿着弯曲的空间运动。可以说引力可使光线偏折，但不可加速光子。第三个原理是最著名的等效原理。质量有两种，惯性质量是用来度量物体惯性大小的，起初由牛顿第二定律定义。引力质量度量物体引力荷的大小，起初由牛顿的万有引力定律定义。它们是互不相干的两个定律。惯性质量不等于电荷，甚至目前为止没有任何关系。那么惯性质量与引力质量(引力荷)在牛顿力学中不应该有任何关系。然而通过当代最精密的试验也无法发现它们之间的区别，惯性质量与引力质量严格成比例(选择适当系数可使它们严格相等)。广义相对论将惯性质量与引力质量完全相等作为等效原理的内容。惯性质量联系着惯性力，引力质量与引力相联系。这样，非惯性系与引力之间也建立了联系。那么在引力场中的任意一点都可以引入一个很小的自由降落参考系。由于惯性质量与引力质量相等，在此参考系内既不受惯性力也不受引力，可以使用狭义相对论的一切理论。初始条件相同时，等质量不等电荷的质点在同一电场中有不同的轨道，但是所有质点在同一引力场中只有唯一的轨道。等效原理使爱因斯坦认识到，引力场很可能不是时空中的外来场，而是一种几何场，是时空本身的一种性质。由于物质的存在，原本平直的时空变成了弯曲的黎曼时空。在广义相对论建立之初，曾有第四条原理，惯性定律：不受力(除去引力，因为引力不是真正的力)的物体做惯性运动。在黎曼时空中，就是沿着测地线运动。测地线是直线的推广，是两点间最短(或最长)的线，是唯一的。比如，球面的测地线是过球心的平面与球面截得的大圆的弧。但广义相对论的场方程建立后，这一定律可由场方程导出，于是惯性定律变成了惯性定理。值得一提的是，伽利略曾认为匀速圆周运动才是惯性运动，匀速直线运动总会闭合为一个圆。这样提出是为了解释行星运动。他自然被牛顿力学批的体无完肤，然而相对论又将它复活了，行星做的的确是惯性运动，只是不是标准的匀速圆周而已。
余辉 -
看看高三物理课本吧！
康康map -
狭义相对论是建立在四维时空观上的一个理论，因此要弄清相对论的内容，要先对相对论的时空观有个大体了解。在数学上有各种多维空间，但目前为止，我们认识的物理世界只是四维，即三维空间加一维时间。现代微观物理学提到的高维空间是另一层意思，只有数学意义，在此不做讨论。
四维时空是构成真实世界的最低维度，我们的世界恰好是四维，至于高维真实空间，至少现在我们还无法感知。我在一个帖子上说过一个例子，一把尺子在三维空间里（不含时间）转动，其长度不变，但旋转它时，它的各坐标值均发生了变化，且坐标之间是有联系的。四维时空的意义就是时间是第四维坐标，它与空间坐标是有联系的，也就是说时空是统一的，不可分割的整体，它们是一种”此消彼长”的关系。
四维时空不仅限于此，由质能关系知，质量和能量实际是一回事，质量（或能量）并不是独立的，而是与运动状态相关的，比如速度越大，质量越大。在四维时空里，质量（或能量）实际是四维动量的第四维分量，动量是描述物质运动的量，因此质量与运动状态有关就是理所当然的了。在四维时空里，动量和能量实现了统一，称为能量动量四矢。另外在四维时空里还定义了四维速度，四维加速度，四维力，电磁场方程组的四维形式等。值得一提的是，电磁场方程组的四维形式更加完美，完全统一了电和磁，电场和磁场用一个统一的电磁场张量来描述。四维时空的物理定律比三维定律要完美的多，这说明我们的世界的确是四维的。可以说至少它比牛顿力学要完美的多。至少由它的完美性，我们不能对它妄加怀疑。
相对论中，时间与空间构成了一个不可分割的整体——四维时空，能量与动量也构成了一个不可分割的整体——四维动量。这说明自然界一些看似毫不相干的量之间可能存在深刻的联系。在今后论及广义相对论时我们还会看到，时空与能量动量四矢之间也存在着深刻的联系。
物质在相互作用中作永恒的运动，没有不运动的物质，也没有无物质的运动，由于物质是在相互联系，相互作用中运动的，因此，必须在物质的相互关系中描述运动，而不可能孤立的描述运动。也就是说，运动必须有一个参考物，这个参考物就是参考系。
伽利略曾经指出，运动的船与静止的船上的运动不可区分，也就是说，当你在封闭的船舱里，与外界完全隔绝，那么即使你拥有最发达的头脑，最先进的仪器，也无从感知你的船是匀速运动，还是静止。更无从感知速度的大小，因为没有参考。比如，我们不知道我们整个宇宙的整体运动状态，因为宇宙是封闭的。爱因斯坦将其引用，作为狭义相对论的第一个基本原理：狭义相对性原理。其内容是：惯性系之间完全等价，不可区分。
著名的麦克尔逊--莫雷实验彻底否定了光的以太学说，得出了光与参考系无关的结论。也就是说，无论你站在地上，还是站在飞奔的火车上，测得的光速都是一样的。这就是狭义相对论的第二个基本原理，光速不变原理。
由这两条基本原理可以直接推导出相对论的坐标变换式，速度变换式等所有的狭义相对论内容。比如速度变幻，与传统的法则相矛盾，但实践证明是正确的，比如一辆火车速度是10m/s，一个人在车上相对车的速度也是10m/s，地面上的人看到车上的人的速度不是20m/s，而是(20-10^(-15))m/s左右。在通常情况下，这种相对论效应完全可以忽略，但在接近光速时，这种效应明显增大，比如，火车速度是0。99倍光速，人的速度也是0。99倍光速，那么地面观测者的结论不是1。98倍光速，而是0。999949倍光速。车上的人看到后面的射来的光也没有变慢，对他来说也是光速。因此，从这个意义上说，光速是不可超越的，因为无论在那个参考系，光速都是不变的。速度变换已经被粒子物理学的无数实验证明，是无可挑剔的。正因为光的这一独特性质，因此被选为四维时空的唯一标尺。
根据狭义相对性原理，惯性系是完全等价的，因此，在同一个惯性系中，存在统一的时间，称为同时性，而相对论证明，在不同的惯性系中，却没有统一的同时性，也就是两个事件(时空点)在一个关性系内同时，在另一个惯性系内就可能不同时，这就是同时的相对性，在惯性系中，同一物理过程的时间进程是完全相同的，如果用同一物理过程来度量时间，就可在整个惯性系中得到统一的时间。在今后的广义相对论中可以知道，非惯性系中，时空是不均匀的，也就是说，在同一非惯性系中，没有统一的时间，因此不能建立统一的同时性。
相对论导出了不同惯性系之间时间进度的关系，发现运动的惯性系时间进度慢，这就是所谓的钟慢效应。可以通俗的理解为，运动的钟比静止的钟走得慢，而且，运动速度越快，钟走的越慢，接近光速时，钟就几乎停止了。
尺子的长度就是在一惯性系中"同时"得到的两个端点的坐标值的差。由于"同时"的相对性，不同惯性系中测量的长度也不同。相对论证明，在尺子长度方向上运动的尺子比静止的尺子短，这就是所谓的尺缩效应，当速度接近光速时，尺子缩成一个点。
由以上陈述可知，钟慢和尺缩的原理就是时间进度有相对性。也就是说，时间进度与参考系有关。这就从根本上否定了牛顿的绝对时空观，相对论认为，绝对时间是不存在的，然而时间仍是个客观量。比如在下期将讨论的双生子理想实验中，哥哥乘飞船回来后是15岁，弟弟可能已经是45岁了，说明时间是相对的，但哥哥的确是活了15年，弟弟也的确认为自己活了45年，这是与参考系无关的，时间又是"绝对的"。这说明，不论物体运动状态如何，它本身所经历的时间是一个客观量，是绝对的，这称为固有时。也就是说，无论你以什么形式运动，你都认为你喝咖啡的速度很正常，你的生活规律都没有被打乱，但别人可能看到你喝咖啡用了100年，而从放下杯子到寿终正寝只用了一秒钟。
相对论诞生后，曾经有一个令人极感兴趣的疑难问题---双生子佯谬。一对双生子A和B，A在地球上，B乘火箭去做星际旅行，经过漫长岁月返回地球。爱因斯坦由相对论断言，二人经历的时间不同，重逢时B将比A年轻。许多人有疑问，认为A看B在运动，B看A也在运动，为什么不能是A比B年轻呢?由于地球可近似为惯性系，B要经历加速与减速过程，是变加速运动参考系，真正讨论起来非常复杂，因此这个爱因斯坦早已讨论清楚的问题被许多人误认为相对论是自相矛盾的理论。如果用时空图和世界线的概念讨论此问题就简便多了，只是要用到许多数学知识和公式。在此只是用语言来描述一种最简单的情形。不过只用语言无法更详细说明细节，有兴趣的请参考一些相对论书籍。我们的结论是，无论在那个参考系中，B都比A年轻。
为使问题简化，只讨论这种情形，火箭经过极短时间加速到亚光速，飞行一段时间后，用极短时间掉头，又飞行一段时间，用极短时间减速与地球相遇。这样处理的目的是略去加速和减速造成的影响。在地球参考系中很好讨论，火箭始终是动钟，重逢时B比A年轻。在火箭参考系内，地球在匀速过程中是动钟，时间进程比火箭内慢，但最关键的地方是火箭掉头的过程。在掉头过程中，地球由火箭后方很远的地方经过极短的时间划过半个圆周，到达火箭的前方很远的地方。这是一个"超光速"过程。只是这种超光速与相对论并不矛盾，这种"超光速"并不能传递任何信息，不是真正意义上的超光速。如果没有这个掉头过程，火箭与地球就不能相遇，由于不同的参考系没有统一的时间，因此无法比较他们的年龄，只有在他们相遇时才可以比较。火箭掉头后，B不能直接接受A的信息，因为信息传递需要时间。B看到的实际过程是在掉头过程中，地球的时间进度猛地加快了。在B看来，A现实比B年轻，接着在掉头时迅速衰老，返航时，A又比自己衰老的慢了。重逢时，自己仍比A年轻。也就是说，相对论不存在逻辑上的矛盾。
相对论要求物理定律要在坐标变换(洛伦兹变化)下保持不变。经典电磁理论可以不加修改而纳入相对论框架，而牛顿力学只在伽利略变换中形势不变，在洛伦兹变换下原本简洁的形式变得极为复杂。因此经典力学与要进行修改，修改后的力学体系在洛伦兹变换下形势不变，称为相对论力学。
狭义相对论建立以后，对物理学起到了巨大的推动作用。并且深入到量子力学的范围，成为研究高速粒子不可缺少的理论，而且取得了丰硕的成果。然而在成功的背后，却有两个遗留下的原则性问题没有解决。第一个是惯性系所引起的困难。抛弃了绝对时空后，惯性系成了无法定义的概念。我们可以说惯性系是惯性定律在其中成立的参考系。惯性定律实质一个不受外力的物体保持静止或匀速直线运动的状态。然而"不受外力"是什么意思?只能说，不受外力是指一个物体能在惯性系中静止或匀速直线运动。这样，惯性系的定义就陷入了逻辑循环，这样的定义是无用的。我们总能找到非常近似的惯性系，但宇宙中却不存在真正的惯性系，整个理论如同建筑在沙滩上一般。第二个是万有引力引起的困难。万有引力定律与绝对时空紧密相连，必须修正，但将其修改为洛伦兹变换下形势不变的任何企图都失败了，万有引力无法纳入狭义相对论的框架。当时物理界只发现了万有引力和电磁力两种力，其中一种就冒出来捣乱，情况当然不会令人满意。
爱因斯坦只用了几个星期就建立起了狭义相对论，然而为解决这两个困难，建立起广义相对论却用了整整十年时间。为解决第一个问题，爱因斯坦干脆取消了惯性系在理论中的特殊地位，把相对性原理推广到非惯性系。因此第一个问题转化为非惯性系的时空结构问题。在非惯性系中遇到的第一只拦路虎就是惯性力。在深入研究了惯性力后，提出了著名的等性原理，发现参考系问题有可能和引力问题一并解决。几经曲折，爱因斯坦终于建立了完整的广义相对论。广义相对论让所有物理学家大吃一惊，引力远比想象中的复杂的多。至今为止爱因斯坦的场方程也只得到了为数不多的几个确定解。它那优美的数学形式至今令物理学家们叹为观止。就在广义相对论取得巨大成就的同时，由哥本哈根学派创立并发展的量子力学也取得了重大突破。然而物理学家们很快发现，两大理论并不相容，至少有一个需要修改。于是引发了那场著名的论战：爱因斯坦VS哥本哈根学派。直到现在争论还没有停止，只是越来越多的物理学家更倾向量子理论。爱因斯坦为解决这一问题耗费了后半生三十年光阴却一无所获。不过他的工作为物理学家们指明了方向：建立包含四种作用力的超统一理论。目前学术界公认的最有希望的候选者是超弦理论与超膜理论。
相对论问世，人们看到的结论就是：四维弯曲时空，有限无边宇宙，引力波，引力透镜，大爆炸宇宙学说，以及二十一世纪的主旋律--黑洞等等。这一切来的都太突然，让人们觉得相对论神秘莫测，因此在相对论问世头几年，一些人扬言"全世界只有十二个人懂相对论"。甚至有人说"全世界只有两个半人懂相对论"。更有甚者将相对论与"通灵术"，"招魂术"之类相提并论。其实相对论并不神秘，它是最脚踏实地的理论，是经历了千百次实践检验的真理，更不是高不可攀的。
相对论应用的几何学并不是普通的欧几里得几何，而是黎曼几何。相信很多人都知道非欧几何，它分为罗氏几何与黎氏几何两种。黎曼从更高的角度统一了三种几何，称为黎曼几何。在非欧几何里，有很多奇怪的结论。三角形内角和不是180度，圆周率也不是3。14等等。因此在刚出台时，倍受嘲讽，被认为是最无用的理论。直到在球面几何中发现了它的应用才受到重视。
空间如果不存在物质，时空是平直的，用欧氏几何就足够了。比如在狭义相对论中应用的，就是四维伪欧几里得空间。加一个伪字是因为时间坐标前面还有个虚数单位i。当空间存在物质时，物质与时空相互作用，使时空发生了弯曲，这是就要用非欧几何。
相对论预言了引力波的存在，发现了引力场与引力波都是以光速传播的，否定了万有引力定律的超距作用。当光线由恒星发出，遇到大质量天体，光线会重新汇聚，也就是说，我们可以观测到被天体挡住的恒星。一般情况下，看到的是个环，被称为爱因斯坦环。爱因斯坦将场方程应用到宇宙时，发现宇宙不是稳定的，它要么膨胀要么收缩。当时宇宙学认为，宇宙是无限的，静止的，恒星也是无限的。于是他不惜修改场方程，加入了一个宇宙项，得到一个稳定解，提出有限无边宇宙模型。不久哈勃发现著名的哈勃定律，提出了宇宙膨胀学说。爱因斯坦为此后悔不已，放弃了宇宙项，称这是他一生最大的错误。在以后的研究中，物理学家们惊奇的发现，宇宙何止是在膨胀，简直是在爆炸。极早期的宇宙分布在极小的尺度内，宇宙学家们需要研究粒子物理的内容来提出更全面的宇宙演化模型，而粒子物理学家需要宇宙学家们的观测结果和理论来丰富和发展粒子物理。这样，物理学中研究最大和最小的两个目前最活跃的分支：粒子物理学和宇宙学竟这样相互结合起来。就像高中物理序言中说的那样，如同一头怪蟒咬住了自己的尾巴。值得一提的是，虽然爱因斯坦的静态宇宙被抛弃了，但它的有限无边宇宙模型却是宇宙未来三种可能的命运之一，而且是最有希望的。近年来宇宙项又被重新重视起来了。黑洞问题将在今后的文章中讨论。黑洞与大爆炸虽然是相对论的预言，它们的内容却已经超出了相对论的限制，与量子力学，热力学结合的相当紧密。今后的理论有希望在这里找到突破口。
由于惯性系无法定义，爱因斯坦将相对性原理推广到非惯性系，提出了广义相对论的第一个原理：广义相对性原理。其内容是，所有参考系在描述自然定律时都是等效的。这与狭义相对性原理有很大区别。在不同参考系中，一切物理定律完全等价，没有任何描述上的区别。但在一切参考系中，这是不可能的，只能说不同参考系可以同样有效的描述自然律。这就需要我们寻找一种更好的描述方法来适应这种要求。通过狭义相对论，很容易证明旋转圆盘的圆周率大于3。14。因此，普通参考系应该用黎曼几何来描述。第二个原理是光速不变原理：光速在任意参考系内都是不变的。它等效于在四维时空中光的时空点是不动的。当时空是平直的，在三维空间中光以光速直线运动，当时空弯曲时，在三维空间中光沿着弯曲的空间运动。可以说引力可使光线偏折，但不可加速光子。第三个原理是最著名的等效原理。质量有两种，惯性质量是用来度量物体惯性大小的，起初由牛顿第二定律定义。引力质量度量物体引力荷的大小，起初由牛顿的万有引力定律定义。它们是互不相干的两个定律。惯性质量不等于电荷，甚至目前为止没有任何关系。那么惯性质量与引力质量(引力荷)在牛顿力学中不应该有任何关系。然而通过当代最精密的试验也无法发现它们之间的区别，惯性质量与引力质量严格成比例(选择适当系数可使它们严格相等)。广义相对论将惯性质量与引力质量完全相等作为等效原理的内容。惯性质量联系着惯性力，引力质量与引力相联系。这样，非惯性系与引力之间也建立了联系。那么在引力场中的任意一点都可以引入一个很小的自由降落参考系。由于惯性质量与引力质量相等，在此参考系内既不受惯性力也不受引力，可以使用狭义相对论的一切理论。初始条件相同时，等质量不等电荷的质点在同一电场中有不同的轨道，但是所有质点在同一引力场中只有唯一的轨道。等效原理使爱因斯坦认识到，引力场很可能不是时空中的外来场，而是一种几何场，是时空本身的一种性质。由于物质的存在，原本平直的时空变成了弯曲的黎曼时空。在广义相对论建立之初，曾有第四条原理，惯性定律：不受力(除去引力，因为引力不是真正的力)的物体做惯性运动。在黎曼时空中，就是沿着测地线运动。测地线是直线的推广，是两点间最短(或最长)的线，是唯一的。比如，球面的测地线是过球心的平面与球面截得的大圆的弧。但广义相对论的场方程建立后，这一定律可由场方程导出，于是惯性定律变成了惯性定理。值得一提的是，伽利略曾认为匀速圆周运动才是惯性运动，匀速直线运动总会闭合为一个圆。这样提出是为了解释行星运动。他自然被牛顿力学批的体无完肤，然而相对论又将它复活了，行星做的的确是惯性运动，只是不是标准的匀速圆周而已。