时间可不可以倒流(时间可不可能倒流)

导语：时间可以倒流，空间可以弯曲—略览非欧几何

爱因斯坦把人类思维带到一个类似魔幻的场景。在那个环境下，时间可以倒流，空间是弯曲的，人类可以到远离自己有几万光年跨度的地方旅行。

而这些突破常人思维的推论，可以说基本源于非欧几何。

一、非欧几何的诞生

欧几里得的《几何原本》提出了五条公设，前面已经介绍过了。在这里，我们特别提出第五公设。如下图所示，直线a、b被直线c所截，在截线一侧的；两个同侧内角∠a+∠β<180°，那么直线a、b在向右侧无限延长一定会相交。一些数学家后来证明了这条公设和“过已知直线外的一个已知点只能作一条直线和已知直线平行”实际上是等价的命题。

长期以来，数学家们发现第五公设和前四个公设相比，显得文字叙述冗长，而且也不那么显而易见。有些数学家还特别注意到欧几里得在《几何原本》一书中迟迟地到了第二十九个命题中才用到，而且此后再也不用了。这也就是说，在欧几里得的《几何原本》中可以不依靠第五公设而推出前二十八个命题。因此，一些数学家提出：第五公设能不能不作为公设而作为定理？能不能依靠其他公设和命题来证明第五公设？这就是几何发展史上最着名的长达两千年的关于“平行线理论”的讨论。

几何原本

在这漫长的讨论过程中，虽然耗费了许多数学家的精力，但是一直没有取得任何的结果。有些数学家在证明第五公设的时候，使用的论据实际上都是在假定第五公设成立的前提下才成立的。如果第五公设不成立，那么这些定理也不成立。因此，这些数学家在证明第五公设的时候，就犯了逻辑上循环论证的错误。

由于证明第五公设的问题始终没有解决，人们逐渐怀疑证明的路子走得对不对：第五公设到底能不能证明？

罗巴切夫斯基

到了十九世纪二十年代，俄国喀山大学教授罗巴切夫斯基在证明第五公设的过程中，他走了另一条路子。他放弃了欧氏平行公理而提出了一个和欧氏平行公理相矛盾的命题：“过不在已知直线上的一点，可以引不止一条而至少是两条直线和已知直线平行”，他用这个命题来代替第五公设，然后把欧几里得的其它公设、公理、定义以及跟第五公设没有关系的定理（比如前26个定理）作为一个公理系统展开一系列的逻辑推理。他认为如果这个系统中出现矛盾，这就等于用反证法证明了第五公设。但是他在极为深入细致地进行推理的过程中，得出了一个一个在逻辑上毫无矛盾的命题。最后，罗巴切夫斯基得出两个极为重要的结论：

第一，第五公设不能证明；

第二，在新的公理系统中展开的一连串的推理，得到的一系列在逻辑上无矛盾的新的定理，形成了新的理论。这个新的理论象欧氏几何一样是完善的、严密的几何学。

这种几何学被叫做罗巴切夫斯基几何，简称做罗氏几何，属于人们通称的非欧几里得几何的一种。

从罗巴切夫斯基创立的非欧几何学中，可以得出一个极为重要的、具有普遍意义的结论：逻辑上互不矛盾的一组假设都有可能提供一种几何学。

几乎在罗巴切夫斯基创立非欧几何学的同时匈牙利的鲍耶·雅诺什（1802-1860），也发现了第五公设不可证明和非欧几何学的存在。鲍耶在研究非欧几何学的过程中，他也遭到了家庭、社会的冷漠对待，他的父亲鲍耶·法尔卡什（1775-1856）是一个数学家，认为研究第五公设是耗费精力劳而无功的蠢事，劝他放弃这种研究。但是鲍耶·雅诺什坚持为发展新的几何而辛勤地工作，终于在1882年，在他父亲的一本着作里，以附录的方式发表了研究结果。

高斯

那个时代被誉为“数学王子规定是这个球面的大圆，这样的直线是封闭的。在这种几何里，就这个图来说，任意两条“直线”必然相交。因此，过一定直线外一点，永远都不能作直线”平行于这条定直线。此外，在球面上任意两点间的距离是过这两点的大圆上介于这两点间比较短的弧的弧长，这也是过这两点的一切弧中最短的弧（这和欧氏几何中平面上任意两点间的直线距离最短是吻合的）。

在黎曼几何中有一个重要结论，就是“三角形的三个内角和大于180”。这是因为在这种几何里，“直线”是球面上的大圆弧，球面上三条这样的直线可以构成一个三角形。例如，在左图的球面上过北极N和南极S的两条大圆弧（也叫做子午线），和赤道围成一个三角形，也就是图中的△NAB。我们知道，子午线是垂直于赤道的，因此，这样的球面三角形的三个角中巳经有了两个直角，再加上第三个角，三角形的内角和就大于180°。这是黎曼几何中的一个重要的结论。

近代黎曼几何在广义相对论里得到了重要的应用。在物理学家爱因斯坦的广义相对论中的空间几何就是一种黎曼几何。爱因斯坦在狭义相对论里主要和基本的命题是：空间和时间有不可分割的密切关系。而在广义相对论里放弃了关于时空的均匀性的观念，他认为时空只是在充分小的区域里以一定的近似性而均匀的，但是整个却不是均匀的，只是在微小的区域内以一定的近似性而均匀的时空的观念。在物理学中的这种解释，恰恰是和“在无穷小范围内”欧氏几何式的黎曼空间的观念相似的。这个广义相对论里的时空就可以解释为一种黎曼空间。

此外，黎曼几何在数学中也是一个重要的工具。它不仅是微分几何的基础，也应用在微分方程、变分法和复变函数论等方面。

黎曼几何和欧氏几何、罗氏几何是三种各有区别的几何。这三种几何学各自所有的命题都构成了一个严密的公理体系，各公理之间满足和谐性、完备性和独立性。因此这三种几何都是正确的。在我们这个不大不小不近不远的空间里，也就是在我们的日常生活中，欧氏几何学是适用的；在宇宙空间中（或在原子核世界中）罗氏几何更符合于客观实际，在地球表面研究航海、航空等实际问题中，黎氏几何就更适用了。

本文内容由快快网络小面创作整理编辑！