魑谝患督莆颐蔷偷玫脚６俚囊砺邸Ｕ庋吓６俚囊砺墼谡饫镂扌枞魏翁乇鸬募俣ň涂梢缘玫剑６俚笔比幢匦胍庋募偕瑁聪嗷ノ闹实阄实奈Ρ匦胗胫实阄实木嗬氲钠椒匠煞幢取⑷绻颐翘岣呒扑愕木范龋敲此肱６倮砺巯乱恢碌钠罹突岜硐殖隼矗怯捎谡庑┢钕嗟毙。皇导噬隙急厝皇枪鄄馑煅椴怀隼吹摹�
这里我们必须指出过些偏差中的一个提请读者注意。按照牛领的理论，行星沿椭圆轨道绕日运行，如果我们能够略而不计恒星本身的运动以及所考虑的其他行星的作用，这个椭圆轨道相对于恒星的位置将永久保持不变。因此，如果我们改正所观测的行星运动而把这两种影响消去，而且如果牛顿的理论真能严格正确，那么我们所得到的行星轨道就应该是一个相对于恒星系是固定不移的椭圆轨道。这个可以用相当高的精确以验证的推断，除了一个行星之外；对于所有其他的行全而言，己经得到了证实，其精确度是目前可能获致的观测灵敏度所能达到的精确度。唯一例外的就是水星，它是离太阳最近的行星。从轨韦里耶（Leverrier）的时候起人们就知道，作为水星轨道的椭圆，经过改正消去上述影响后，相对于恒星系并不是固定不移的，而是非常缓慢地在轨道的平面内转动，并且顺着沿轨道的运动时方向转动。所得到的这个轨道椭圆的这种转动的值是每世纪43〃（角度），其误差保证下会超过几秒（角度）．经典力李解释这个效应只能借助于设立假设，而这些假设是下大可能成立的，这些假设的设立仅仅是为了解释这个效应而已。
根据广义相对论，我们发现，每一个绕日运行的行星的椭圆轨道，都必然以上述方式转动；对于除水星以外的所有其他行星而言，这种转动都大小，从现时可能达到的观测灵敏度是无法探测的；但是对于水星而言，这个数值必须达到每世纪43〃这个结果与观测严格相符。
除此以外，到目前为止只可能从广义相对论得出两个可以由观测检验的推论，即光线因太阳引力场而发生弯曲，以及来自世大星球的光的谱线与在地球上以类似方式产生的（即由同一种原子产生的）相应光谱线比较，有位移现象发生。从广义相对论得出的这两个推论都已经得到证实。
第三部分 关于整个宇宙的一些考虑
30．牛顿理论在宇宙论方面的困难
经典天体力学除了存在着第21节所讨论的困难之外，还存在着另一个基本困难，根据我的了解，天文学家希来哲（Seeliger）第一个对这个基本困难进行了详细的讨论。如果我们仔细地考虑一下这个问题：对于宇宙，作为整体而言，我们应持何种看法；那么我们所想到的第一个月答一定是：航空间（和时间）而言，宇宙是无限的。到处都存在着星体，因此，虽然就细微部分说来物质的密度变化很无但平均说来是到处一样的，换言之，我们在宇宙空间中无论走得多么远，都会到处遇到稀薄的恒星群，这些恒星群的种类和密度差不多都是一样的。
这个看法与牛顿的理论是下一致的。牛顿理论要求宇宙应具有某种中心，处在这个中心的星群密度最大，从这个中心向外走，诸星的群密度逐渐减小，直到最后，在非常遥远处，成为一个无限的空虚区域。恒星宇宙应该是无限的空间海洋中的一个有限的岛屿。
这个概念本身已不很令人满意。这种概念更加不能令人满意的是由于它导致了下述结果：从恒星发出的光以及恒星系中的各个个别恒星不断奔向无限的空间，一去不返，而且永远不再与其他自然客体相互发生作用；这样的一个有限的物质宇宙将注定逐渐而系统地被削弱。
为了避免这种两难局面，希来哲对牛顿定律提出了一项修正，其中假定，对于很大的距离而言，两质量之间的吸引力比按照平方反比定律得出的结果减小得更加快些。这样，物质的平均密度就有可能处处一样，甚至到无限远处也是一样。而不会产生无限大的引力场。这样我们就摆脱了物质宇宙应该具有某种象中心之类的东西的这种讨厌的概念。当然，我们摆脱上述基本困难是付出了代价的，“这就是对牛顿定律进行了修改井使之复杂化，而这种修改和复杂化既无经验根据亦无理论根据）我们能够设想出无数个可以实现同样目的的“定律，而不能举出理由说明为什么其中一个定律比其他定律更为可取；因为这些定律中的任何一个，与牛顿定律相比，并没有建立在更为普遍的理论原则上。
31．一个“有限”而又“无界”的宇宙的可能性
但是，对宇宙的构造的探索同时也沿着另一个颇不相同的方向前进。非欧几里得几何学的发展导致了对于这样一个事实的认识，即我们能对我们的宇宙空间的无限性表示怀疑，而不会与思维的规律或与经验发生冲突（黎曼、亥姆霍兹）。亥姆霍兹和潘加里（Poincare）已经以无比的明晰性详细地论述了这些问题，我在这里只能简单地提一下。
首先我们设想在二维空间中的一种存在。持有扁平工具（特别是扁平的刚性量杆）的扁平生物自由地在一个平面上走动，对于它们来说，在这个平面之外没有任何东西存在；它们所观察到的它们自己的和它们的扁平的“东西”的一切经历，就是它们的平面所包含着的全部实在，具体言之，例如欧几里得平面几何学中的一切作图都可以借助于杆子来实现，亦即利用在第24节所已讨论过的格子构图法。与我们的宇宙对比，这些生物的宇宙是二维的；但同我们的宇宙一样，它们的宇宙也延伸到无限远处。在它们的宇宙中有足够的地方可以容纳无限多个用杆于构成的互相等同的正方形；亦即它们的字宙的容积（面积）是无限的。如果这些生物说它们的宇宙是“平面”的，那么这句话是有意义的，因为它们的意思是它们能用它们的杆子按照欧几里得平面几何学作图。这里，各个个别杆子永远代表同一距离，而与其本身所处的位置无关。
现在让我们考虑一下另一种二维的存在，不过这次是在一个球面上而不是在一个平面上。这种扁平生物连同它们的量杆以及其他的物体，与这个球面完全贴合，而且它们不可能离开这个球面。因而它们所能观察的整个宇宙仅仅扩展到整个球面。这些生物能否认为它们宇宙的几何学是平面几何学，它们的杆子同样又是其“距离”的实在体现呢？它们不能这样做。因为如果它们想实现一根直线，它们将地得到一根曲线，我们“三维生物”把这根曲线称作一个大圆，亦即具有确定的有限长度的、本身就是完整独立的线，其长度可以用量杆测定。同样，这个宇宙的面积是有限的，可以与用杆子构成的正方形的面积相比较。从这种考虑得出的极大妙处在于承认了这样一个事实，即这些生物的琮宙是有限的，但又是无界的。
但是这些球面生物无需作世界旅行就可以认识到它们所居住的不是一个欧几里得宇宙。在它们的“世界”的各个部分它们都能够弄清楚这一点，只要它们所使用的部分不太小就可以了。从一点出发，它们向所有各个方向画等长的“直线”（由三维空间判断是圆的弧段）。它们会把连接这些线的自由端的线称作一个“圆”。按照欧几里得平面几何学，平面上的圆的圆周与直径之比（圆周与直径的长度用同一根杆子测定）等于常数π这个常数与圆的直径大小无关。我们的扁平生物在它们的球面上将会发现圆周与直径之比有以下的值。
亦即一个比π小的值，圆半径与“世界球”半径R之比俞大，上述比值与π之差就愈加可观。借助于这个关系，球面生物就能确定它们的宇宙（“世界”）的半径，即使它们能够用来进行测量的仅仅是它们的世界球的比较小的二部分。但是如果这个部分的确非常小，它们就下再能够证明它们是居住在一个球面“世界”上，而不是居住在一个欧几里得平面上，因为球面上的微小部分与同样大小的一块平面仅有极微细的差别，因此，如果这些球面生物居住在一个行星上，这个行星的太阳系仅占球面宇宙内的小到微不足道的一部分，那么这些球面生物就无法确定它们居住的宇宙是有限的还是无限的，因为它们所能接近的“一小块宇宙”在这两种情况下实际上都是平面的；或者说是欧几里得的。从这个讨论可以直接推知，对于我们的球面生物而言，。＝个圆的圆周起先随着半径的增大而增大，直到达到“宇宙圆周”为止，其后圆周随着半径的值的进一步增大而逐渐减小以至于零，在这个过程中，圆的面积继续不断地增大，直到最后等于整个“世界球”的总面积为止。
或许读者会感到奇怪，为什么我们把我们的“生物”放在一个球面上而不放在另外一种闭合曲面上。但是由于以下事实，这种选择是有理由的，在所有的闭合曲面中，唯有球面具有这种性质；即该曲面上所有的点都是等效的，我承认，一个圆的圆周（与其半径矿的比取决于人但是，对于一个给定的T的值而言；这个比对于“世界球”上所有的点都是一样的；换言之，这个“世界球”是一个“等曲率曲面”。
对于这个二维球面宇宙，我们有一个三维比拟，这就是黎曼发现的三维球面空间。它的点同样也都是等效的。这个球面空间具有一个有限的体积，由其“半径”确定之（2π2R3），能否设想一个球面空间呢？设想一个空间只不过是意味着我们设想我们的“空间”经验的一个模型，这种“空间”经验是我们在移动“刚”体时能够体会到的。在这个意义上我们能够设想一个球面空音。
设我们从一点向所有各个方向画线或拉绳索，并用一根量杆在每根线或绳索上量取距离r。这些具有长度r的