【广义相对论】
相对论问世，人们看到的结论就是：四维弯曲时空，有限无边宇宙，引力波，引力透镜，大爆炸宇宙学说，以及二十一世纪的主旋律--黑洞等等。这一切来的都太突然，让人们觉得相对论神秘莫测，因此在相对论问世头几年，一些人扬言“全世界只有十二个人懂相对论“。甚至有人说“全世界只有两个半人懂相对论“。更有甚者将相对论与“通灵术“，“招魂术“之类相提并论。其实相对论并不神秘，它是最脚踏实地的理论，是经历了千百次实践检验的真理，更不是高不可攀的。
相对论应用的几何学并不是普通的欧几里得几何，而是黎曼几何。相信很多人都知道非欧几何，它分为罗氏几何与黎氏几何两种。黎曼从更高的角度统一了三种几何，称为黎曼几何。在非欧几何里，有很多奇怪的结论。三角形内角和不是180度，圆周率也不是3。14等等。因此在刚出台时，倍受嘲讽，被认为是最无用的理论。直到在球面几何中发现了它的应用才受到重视。
空间如果不存在物质，时空是平直的，用欧氏几何就足够了。比如在狭义相对论中应用的，就是四维伪欧几里得空间。加一个伪字是因为时间坐标前面还有个虚数单位i。当空间存在物质时，物质与时空相互作用，使时空发生了弯曲，这是就要用非欧几何。
相对论预言了引力波的存在，发现了引力场与引力波都是以光速传播的，否定了万有引力定律的超距作用。当光线由恒星发出，遇到大质量天体，光线会重新汇聚，也就是说，我们可以观测到被天体挡住的恒星。一般情况下，看到的是个环，被称为爱因斯坦环。爱因斯坦将场方程应用到宇宙时，发现宇宙不是稳定的，它要么膨胀要么收缩。当时宇宙学认为，宇宙是无限的，静止的，恒星也是无限的。于是他不惜修改场方程，加入了一个宇宙项，得到一个稳定解，提出有限无边宇宙模型。不久哈勃发现著名的哈勃定律，提出了宇宙膨胀学说。爱因斯坦为此后悔不已，放弃了宇宙项，称这是他一生最大的错误。在以后的研究中，物理学家们惊奇的发现，宇宙何止是在膨胀，简直是在爆炸。极早期的宇宙分布在极小的尺度内，宇宙学家们需要研究粒子物理的内容来提出更全面的宇宙演化模型，而粒子物理学家需要宇宙学家们的观测结果和理论来丰富和发展粒子物理。这样，物理学中研究最大和最小的两个目前最活跃的分支：粒子物理学和宇宙学竟这样相互结合起来。就像高中物理序言中说的那样，如同一头怪蟒咬住了自己的尾巴。值得一提的是，虽然爱因斯坦的静态宇宙被抛弃了，但它的有限无边宇宙模型却是宇宙未来三种可能的命运之一，而且是最有希望的。近年来宇宙项又被重新重视起来了。黑洞问题将在今后的文章中讨论。黑洞与大爆炸虽然是相对论的预言，它们的内容却已经超出了相对论的限制，与量子力学，热力学结合的相当紧密。今后的理论有希望在这里找到突破口。
广义相对论基本原理
由于惯性系无法定义，爱因斯坦将相对性原理推广到非惯性系，提出了广义相对论的第一个原理：广义相对性原理。其内容是，所有参考系在描述自然定律时都是等效的。这与狭义相对性原理有很大区别。在不同参考系中，一切物理定律完全等价，没有任何描述上的区别。但在一切参考系中，这是不可能的，只能说不同参考系可以同样有效的描述自然律。这就需要我们寻找一种更好的描述方法来适应这种要求。通过狭义相对论，很容易证明旋转圆盘的圆周率大于3。14。因此，普通参考系应该用黎曼几何来描述。第二个原理是光速不变原理：光速在任意参考系内都是不变的。它等效于在四维时空中光的时空点是不动的。当时空是平直的，在三维空间中光以光速直线运动，当时空弯曲时，在三维空间中光沿着弯曲的空间运动。可以说引力可使光线偏折，但不可加速光子。第三个原理是最著名的等效原理。质量有两种，惯性质量是用来度量物体惯性大小的，起初由牛顿第二定律定义。引力质量度量物体引力荷的大小，起初由牛顿的万有引力定律定义。它们是互不相干的两个定律。惯性质量不等于电荷，甚至目前为止没有任何关系。那么惯性质量与引力质量(引力荷)在牛顿力学中不应该有任何关系。然而通过当代最精密的试验也无法发现它们之间的区别，惯性质量与引力质量严格成比例(选择适当系数可使它们严格相等)。广义相对论将惯性质量与引力质量完全相等作为等效原理的内容。惯性质量联系着惯性力，引力质量与引力相联系。这样，非惯性系与引力之间也建立了联系。那么在引力场中的任意一点都可以引入一个很小的自由降落参考系。由于惯性质量与引力质量相等，在此参考系内既不受惯性力也不受引力，可以使用狭义相对论的一切理论。初始条件相同时，等质量不等电荷的质点在同一电场中有不同的轨道，但是所有质点在同一引力场中只有唯一的轨道。等效原理使爱因斯坦认识到，引力场很可能不是时空中的外来场，而是一种几何场，是时空本身的一种性质。由于物质的存在，原本平直的时空变成了弯曲的黎曼时空。在广义相对论建立之初，曾有第四条原理，惯性定律：不受力(除去引力，因为引力不是真正的力)的物体做惯性运动。在黎曼时空中，就是沿着测地线运动。测地线是直线的推广，是两点间最短(或最长)的线，是唯一的。比如，球面的测地线是过球心的平面与球面截得的大圆的弧。但广义相对论的场方程建立后，这一定律可由场方程导出，于是惯性定律变成了惯性定理。值得一提的是，伽利略曾认为匀速圆周运动才是惯性运动，匀速直线运动总会闭合为一个圆。这样提出是为了解释行星运动。他自然被牛顿力学批的体无完肤，然而相对论又将它复活了，行星做的的确是惯性运动，只是不是标准的匀速圆周而已。
蚂蚁与蜜蜂的几何学
设想有一种生活在二维面上的扁平蚂蚁，因为是二维生物，所以没有第三维感觉。如果蚂蚁生活在大平面上，就从实践中创立欧氏几何。如果它生活在一个球面上，就会创立一种三角和大于180度，圆周率小于3。14的球面几何学。但是，如果蚂蚁生活在一个很大的球面上，当它的“科学“还不够发达，活动范围还不够大，它不足以发现球面的弯曲，它生活的小块球面近似于平面，因此它将先创立欧氏几何学。当它的“科学技术“发展起来时，它会发现三角和大于180度，圆周率小于3。14等“实验事实“。如果蚂蚁够聪明，它会得到结论，它们的宇宙是一个弯曲的二维空间，当它把自己的“宇宙“测量遍了时，会得出结论，它们的宇宙是封闭的(绕一圈还会回到原地)，有限的，而且由于“空间“(曲面)的弯曲程度(曲率)处处相同，它们会将宇宙与自己的宇宙中的圆类比起来，认为宇宙是“圆形的“。由于没有第三维感觉，所以它无法想象，它们的宇宙是怎样弯曲成一个球的，更无法想象它们这个“无边无际“的宇宙是存在于一个三维平直空间中的有限面积的球面。它们很难回答“宇宙外面是什么“这类问题。因为，它们的宇宙是有限无边的封闭的二维空间，很难形成“外面“这一概念。
对于蚂蚁必须借助“发达的科技“才能发现的抽象的事实，一只蜜蜂却可以很容易凭直观形象的描述出来。因为蜜蜂是三维空间的生物，对于嵌在三维空间的二维曲面是“一目了然“的，也很容易形成球面的概念。蚂蚁凭借自己的“科学技术“得到了同样的结论，却很不形象，是严格数学化的。
由此可见，并不是只有高维空间的生物才能发现低维空间的情况，聪明的蚂蚁一样可以发现球面的弯曲，并最终建立起完善的球面几何学，其认识深度并不比蜜蜂差多少。
黎曼几何是一个庞大的几何公理体系，专门用于研究弯曲空间的各种性质。球面几何只是它极小的一个分支。它不仅可用于研究球面，椭圆面，双曲面等二维曲面，还可用于高维弯曲空间的研究。它是广义相对论最重要的数学工具。黎曼在建立黎曼几何时曾预言，真实的宇宙可能是弯曲的，物质的存在就是空间弯曲的原因。这实际上就是广义相对论的核心内容。只是当时黎曼没有像爱因斯坦那样丰富的物理学知识，因此无法建立广义相对论。