·狭义论小结
　　相对论要求物理定律要在坐标变换(洛伦兹变化)下保持不变。经典电磁理论可以不加修改而纳入相对论框架，而牛顿力学只在伽利略变换中形势不变，在洛伦兹变换下原本简洁的形式变得极为复杂。因此经典力学与要进行修改，修改后的力学体系在洛伦兹变换下形势不变，称为相对论力学。 

　　狭义相对论建立以后，对物理学起到了巨大的推动作用。并且深入到量子力学的范围，成为研究高速粒子不可缺少的理论，而且取得了丰硕的成果。然而在成功的背后，却有两个遗留下的原则性问题没有解决。第一个是惯性系所引起的困难。抛弃了绝对时空后，惯性系成了无法定义的概念。我们可以说惯性系是惯性定律在其中成立的参考系。惯性定律实质一个不受外力的物体保持静止或匀速直线运动的状态。然而"不受外力"是什么意思?只能说，不受外力是指一个物体能在惯性系中静止或匀速直线运动。这样，惯性系的定义就陷入了逻辑循环，这样的定义是无用的。我们总能找到非常近似的惯性系，但宇宙中却不存在真正的惯性系，整个理论如同建筑在沙滩上一般。第二个是万有引力引起的困难。万有引力定律与绝对时空紧密相连，必须修正，但将其修改为洛伦兹变换下形势不变的任何企图都失败了，万有引力无法纳入狭义相对论的框架。当时物理界只发现了万有引力和电磁力两种力，其中一种就冒出来捣乱，情况当然不会令人满意。 

　　爱因斯坦只用了几个星期就建立起了狭义相对论，然而为解决这两个困难，建立起广义相对论却用了整整十年时间。为解决第一个问题，爱因斯坦干脆取消了惯性系在理论中的特殊地位，把相对性原理推广到非惯性系。因此第一个问题转化为非惯性系的时空结构问题。在非惯性系中遇到的第一只拦路虎就是惯性力。在深入研究了惯性力后，提出了著名的等性原理，发现参考系问题有可能和引力问题一并解决。几经曲折，爱因斯坦终于建立了完整的广义相对论。广义相对论让所有物理学家大吃一惊，引力远比想象中的复杂的多。至今为止爱因斯坦的场方程也只得到了为数不多的几个确定解。它那优美的数学形式至今令物理学家们叹为观止。就在广义相对论取得巨大成就的同时，由哥本哈根学派创立并发展的量子力学也取得了重大突破。然而物理学家们很快发现，两大理论并不相容，至少有一个需要修改。于是引发了那场著名的论战：爱因斯坦VS哥本哈根学派。直到现在争论还没有停止，只是越来越多的物理学家更倾向量子理论。爱因斯坦为解决这一问题耗费了后半生三十年光阴却一无所获。不过他的工作为物理学家们指明了方向：建立包含四种作用力的超统一理论。目前学术界公认的最有希望的候选者是超弦理论与超膜理论。 


【佯谬问题】
·时钟双生子佯谬
　　相对论诞生后，曾经有一个令人极感兴趣的疑难问题---双生子佯谬。一对双生子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年轻。也就是说，相对论不存在逻辑上的矛盾。 


【广义理论】
·广义相对论的概念
　　相对论问世，人们看到的结论就是：四维弯曲时空，有限无边宇宙，引力波，引力透镜，大爆炸宇宙学说，以及二十一世纪的主旋律--黑洞等等。这一切来的都太突然，让人们觉得相对论神秘莫测，因此在相对论问世头几年，一些人扬言"全世界只有十二个人懂相对论"。甚至有人说"全世界只有两个半人懂相对论"。更有甚者将相对论与"通灵术"，"招魂术"之类相提并论。其实相对论并不神秘，它是最脚踏实地的理论，是经历了千百次实践检验的真理，更不是高不可攀的。 

　　相对论应用的几何学并不是普通的欧几里得几何，而是黎曼几何。相信很多人都知道非欧几何，它分为罗氏几何与黎氏几何两种。黎曼从更高的角度统一了三种几何，称为黎曼几何。在非欧几何里，有很多奇怪的结论。三角形内角和不是180度，圆周率也不是3.14等等。因此在刚出台时，倍受嘲讽，被认为是最无用的理论。直到在球面几何中发现了它的应用才受到重视。 

　　空间如果不存在物质，时空是平直的，用欧氏几何就足够了。比如在狭义相对论中应用的，就是四维伪欧几里得空间。加一个伪字是因为时间坐标前面还有个虚数单位i。当空间存在物质时，物质与时空相互作用，使时空发生了弯曲，这是就要用非欧几何。 

　　相对论预言了引力波的存在，发现了引力场与引力波都是以光速传播的，否定了万有引力定律的超距作用。当光线由恒星发出，遇到大质量天体，光线会重新汇聚，也就是说，我们可以观测到被天体挡住的恒星。一般情况下，看到的是个环，被称为爱因斯坦环。爱因斯坦将场方程应用到宇宙时，发现宇宙不是稳定的，它要么膨胀要么收缩。当时宇宙学认为，宇宙是无限的，静止的，恒星也是无限的。于是他不惜修改场方程，加入了一个宇宙项，得到一个稳定解，提出有限无边宇宙模型。不久哈勃发现著名的哈勃定律，提出了宇宙膨胀学说。爱因斯坦为此后悔不已，放弃了宇宙项，称这是他一生最大的错误。在以后的研究中，物理学家们惊奇的发现，宇宙何止是在膨胀，简直是在爆炸。极早期的宇宙分布在极小的尺度内，宇宙学家们需要研究粒子物理的内容来提出更全面的宇宙演化模型，而粒子物理学家需要宇宙学家们的观测结果和理论来丰富和发展粒子物理。这样，物理学中研究最大和最小的两个目前最活跃的分支：粒子物理学和宇宙学竟这样相互结合起来。就像高中物理序言中说的那样，如同一头怪蟒咬住了自己的尾巴。值得一提的是，虽然爱因斯坦的静态宇宙被抛弃了，但它的有限无边宇宙模型却是宇宙未来三种可能的命运之一，而且是最有希望的。近年来宇宙项又被重新重视起来了。黑洞问题将在今后的文章中讨论。黑洞与大爆炸虽然是相对论的预言，它们的内容却已经超出了相对论的限制，与量子力学，热力学结合的相当紧密。今后的理论有希望在这里找到突破口。 

·广义论原理
　　由于惯性系无法定义，爱因斯坦将相对性原理推广到非惯性系，提出了广义相对论的第一个原理：广义相对性原理。其内容是，所有参考系在描述自然定律时都是等效的。这与狭义相对性原理有很大区别。在不同参考系中，一切物理定律完全等价，没有任何描述上的区别。但在一切参考系中，这是不可能的，只能说不同参考系可以同样有效的描述自然律。这就需要我们寻找一种更好的描述方法来适应这种要求。通过狭义相对论，很容易证明旋转圆盘的圆周率大于3.14。因此，普通参考系应该用黎曼几何来描述。第二个原理是光速不变原理：光速在任意参考系内都是不变的。它等效于在四维时空中光的时空点是不动的。当时空是平直的，在三维空间中光以光速直线运动，当时空弯曲时，在三维空间中光沿着弯曲的空间运动。可以说引力可使光线偏折，但不可加速光子。第三个原理是最著名的等效原理。质量有两种，惯性质量是用来度量物体惯性大小的，起初由牛顿第二定律定义。引力质量度量物体引力荷的大小，起初由牛顿的万有引力定律定义。它们是互不相干的两个定律。惯性质量不等于电荷，甚至目前为止没有任何关系。那么惯性质量与引力质量(引力荷)在牛顿力学中不应该有任何关系。然而通过当代最精密的试验也无法发现它们之间的区别，惯性质量与引力质量严格成比例(选择适当系数可使它们严格相等)。广义相对论将惯性质量与引力质量完全相等作为等效原理的内容。惯性质量联系着惯性力，引力质量与引力相联系。这样，非惯性系与引力之间也建立了联系。那么在引力场中的任意一点都可以引入一个很小的自由降落参考系。由于惯性质量与引力质量相等，在此参考系内既不受惯性力也不受引力，可以使用狭义相对论的一切理论。初始条件相同时，等质量不等电荷的质点在同一电场中有不同的轨道，但是所有质点在同一引力场中只有唯一的轨道。等效原理使爱因斯坦认识到，引力场很可能不是时空中的外来场，而是一种几何场，是时空本身的一种性质。由于物质的存在，原本平直的时空变成了弯曲的黎曼时空。在广义相对论建立之初，曾有第四条原理，惯性定律：不受力(除去引力，因为引力不是真正的力)的物体做惯性运动。在黎曼时空中，就是沿着测地线运动。测地线是直线的推广，是两点间最短(或最长)的线，是唯一的。

比如，球面的测地线是过球心的平面与球面截得的大圆的弧。但广义相对论的场方程建立后，这一定律可由场方程导出，于是惯性定律变成了惯性定理。值得一提的是，伽利略曾认为匀速圆周运动才是惯性运动，匀速直线运动总会闭合为一个圆。这样提出是为了解释行星运动。他自然被牛顿力学批的体无完肤，然而相对论又将它复活了，行星做的的确是惯性运动，只是不是标准的匀速。

·广义论的验证
　　爱因斯坦在建立广义相对论时，就提出了三个实验，并很快就得到了验证：(1)引力红移(2)光线偏折(3)水星近日点进动。直到最近才增加了第四个验证：(4)雷达回波的时间延迟。 

(1)引力红移：广义相对论证明，引力势低的地方固有时间的流逝速度慢。也就是说离天体越近，时间越慢。这样，天体表面原子发出的光周期变长，由于光速不变，相应的频率变小，在光谱中向红光方向移动，称为引力红移。宇宙中有很多致密的天体，可以测量它们发出的光的频率，并与地球的相应原子发出的光作比较，发现红移量与相对论预言一致。60年代初，人们在地球引力场中利用伽玛射线的无反冲共振吸收效应(穆斯堡尔效应)测量了光垂直传播22。5M产生的红移，结果与相对论预言一致。 

(2)光线偏折：如果按光的波动说，光在引力场中不应该有任何偏折，按半经典式的"量子论加牛顿引力论"的混合产物，用普朗克公式E=hr和质能公式E=MC^2求出光子的质量，再用牛顿万有引力定律得到的太阳附近的光的偏折角是0.87秒，按广义相对论计算的偏折角是1.75秒，为上述角度的两倍。1919年，一战刚结束，英国科学家爱丁顿派出两支考察队，利用日食的机会观测，观测的结果约为1.7秒，刚好在相对论实验误差范围之内。引起误差的主要原因是太阳大气对光线的偏折。最近依靠射电望远镜可以观测类星体的电波在太阳引力场中的偏折，不必等待日食这种稀有机会。精密测量进一步证实了相对论的结论。 

(3)水星近日点的进动：天文观测记录了水星近日点每百年移动5600秒，人们考虑了各种因素，根据牛顿理论只能解释其中的5557秒，只剩43秒无法解释。广义相对论的计算结果与万有引力定律(平方反比定律)有所偏差，这一偏差刚好使水星的近日点每百年移动43秒。 

(4)雷达回波实验：从地球向行星发射雷达信号，接收行星反射的信号，测量信号往返的时间，来检验空间是否弯曲(检验三角形内角和)60年代，美国物理学家克服重重困难做成了此实验，结果与相对论预言相符。 

(5其他实验参见：【相对论验证实验系列】 http://tieba.baidu.com/f?kz=323205530

　　仅仅依靠这些实验不足以说明相对论的正确性，只能说明它是比牛顿引力理论更精确的理论，因为它既包含牛顿引力论，又可以解释牛顿理论无法解释的现象。但不能保证这就是最好的理论，因此，广义相对论仍面临考验。 



【蚁蜂说法】
·蚂蚁与蜜蜂几何学
　　设想有一种生活在二维面上的扁平蚂蚁，因为是二维生物，所以没有第三维感觉。如果蚂蚁生活在大平面上，就从实践中创立欧氏几何。如果它生活在一个球面上，就会创立一种三角和大于180度，圆周率小于3.14的球面几何学。但是，如果蚂蚁生活在一个很大的球面上，当它的“科学”还不够发达，活动范围还不够大，它不足以发现球面的弯曲，它生活的小块球面近似于平面，因此它将先创立欧氏几何学。当它的“科学技术”发展起来时，它会发现三角和大于180度，圆周率小于3.14等“实验事实”。如果蚂蚁够聪明，它会得到结论，它们的宇宙是一个弯曲的二维空间，当它把自己的“宇宙”测量遍了时，会得出结论，它们的宇宙是封闭的(绕一圈还会回到原地)，有限的，而且由于“空间”(曲面)的弯曲程度(曲率)处处相同，它们会将宇宙与自己的宇宙中的圆类比起来，认为宇宙是“圆形的”。由于没有第三维感觉，所以它无法想象，它们的宇宙是怎样弯曲成一个球的，更无法想象它们这个“无边无际”的宇宙是存在于一个三维平直空间中的有限面积的球面。它们很难回答“宇宙外面是什么”这类问题。因为，它们的宇宙是有限无边的封闭的二维空间，很难形成“外面”这一概念。 


;