第5章相对论简介（第5页）
更有甚者将相对论与"通灵术"，"招魂术"之类相提并论。其实相对论并不神秘，它是最脚踏实地的理论，是经历了千百次实践检验的真理，更不是高不可攀的。
相对论应用的几何学并不是普通的欧几里得几何，而是黎曼几何。
相信很多人都知道非欧几何，它分为罗氏几何与黎氏几何两种。黎曼从更高的角度统一了三种几何，称为黎曼几何。
在非欧几何里，有很多奇怪的结论。
三角形内角和不是180度，圆周率也不是3。14等等。因此在刚出台时，倍受嘲讽，被认为是最无用的理论。直到在球面几何中发现了它的应用才受到重视。
空间如果不存在物质，时空是平直的，用欧氏几何就足够了。比如在狭义相对论中应用的，就是四维伪欧几里得空间。加一个伪字是因为时间坐标前面还有个虚数单位i。
当空间存在物质时，物质与时空相互作用，使时空发生了弯曲，这是就要用非欧几何。而且不存在没有物质的空间，因为就算有你也永远无法发现，因为当你看见它的同时，它就有了物质，最起码是光。
相对论预言了引力波的存在，发现了引力场与引力波都是以光速传播的，否定了万有引力定律的超距作用。
当光线由恒星发出，遇到大质量天体，光线会重新汇聚，也就是说，我们可以观测到被天体挡住的恒星。
一般情况下，看到的是个环，被称为爱因斯坦环。
爱因斯坦将场方程应用到宇宙时，发现宇宙不是稳定的，它要么膨胀要么收缩。当时宇宙学认为，宇宙是无限的，静止的，恒星也是无限的。
于是他不惜修改场方程，加入了一个宇宙项，得到一个稳定解，提出有限无边宇宙模型。不久哈勃发现著名的哈勃定律，提出了宇宙膨胀学说。
爱因斯坦为此后悔不已，放弃了宇宙项，称这是他一生最大的错误。在以后的研究中，物理学家们惊奇的发现，宇宙何止是在膨胀，简直是在爆炸。
极早期的宇宙分布在极小的尺度内，宇宙学家们需要研究粒子物理的内容来提出更全面的宇宙演化模型，而粒子物理学家需要宇宙学家们的观测结果和理论来丰富和发展粒子物理。
这样，物理学中研究最大和最小的两个目前最活跃的分支：粒子物理学和宇宙学竟这样相互结合起来。就像高中物理序言中说的那样，如同一头怪蟒咬住了自己的尾巴。
值得一提的是，虽然爱因斯坦的静态宇宙被抛弃了，但它的有限无边宇宙模型却是宇宙未来三种可能的命运之一，而且是最有希望的。
近年来宇宙项又被重新重视起来了。
黑洞问题将在今后的文章中讨论。
黑洞与大爆炸虽然是相对论的预言，它们的内容却已经超出了相对论的限制，与量子力学，热力学结合的相当紧密。今后的理论有希望在这里找到突破口。
8广义论原理
由于惯性系无法定义，爱因斯坦将相对性原理推广到非惯性系，提出了广义相对论的第一个原理：广义相对性原理。
其内容是，所有参考系在描述自然定律时都是等效的。
这与狭义相对性原理有很大区别。在不同参考系中，一切物理定律完全等价，没有任何描述上的区别。
但在一切参考系中，这是不可能的，只能说不同参考系可以同样有效的描述自然律。这就需要我们寻找一种更好的描述方法来适应这种要求。
通过狭义相对论，很容易证明旋转圆盘的圆周率大于3。14。因此，普通参考系应该用黎曼几何来描述。
第二个原理是光速不变原理：光速在任意参考系内都是不变的。它等效于在四维时空中光的时空点是不动的。当时空是平直的，在三维空间中光以光速直线运动，当时空弯曲时，在三维空间中光沿着弯曲的空间运动。可以说引力可使光线偏折，但不可加速光子。
第三个原理是最著名的等效原理。质量有两种，惯性质量是用来度量物体惯性大小的，起初由牛顿第二定律定义。引力质量度量物体引力荷的大小，起初由牛顿的万有引力定律定义。
它们是互不相干的两个定律。惯性质量不等于电荷，甚至目前为止没有任何关系。那么惯性质量与引力质量（引力荷）在牛顿力学中不应该有任何关系。
然而通过当代最精密的试验也无法发现它们之间的区别，惯性质量与引力质量严格成比例（选择适当系数可使它们严格相等）。
广义相对论将惯性质量与引力质量完全相等作为等效原理的内容。惯性质量联系着惯性力，引力质量与引力相联系。这样，非惯性系与引力之间也建立了联系。那么在引力场中的任意一点都可以引入一个很小的自由降落参考系。
由于惯性质量与引力质量相等，在此参考系内既不受惯性力也不受引力，可以使用狭义相对论的一切理论。
初始条件相同时，等质量不等电荷的质点在同一电场中有不同的轨道，但是所有质点在同一引力场中只有唯一的轨道。等效原理使爱因斯坦认识到，引力场很可能不是时空中的外来场，而是一种几何场，是时空本身的一种性质。
由于物质的存在，原本平直的时空变成了弯曲的黎曼时空。在广义相对论建立之初，曾有第四条原理，惯性定律：不受力（除去引力，因为引力不是真正的力）的物体做惯性运动。在黎曼时空中，就是沿着测地线运动。测地线是直线的推广，是两点间最短（或最长）的线，是唯一的。
比如，球面的测地线是过球心的平面与球面截得的大圆的弧。但广义相对论的场方程建立后，这一定律可由场方程导出，于是惯性定律变成了惯性定理。