第四十一章:数学城 3（2 / 2）

“实简单，立一个更广泛的数学交台，立一个更进的数学分析地，立一个更高效的数学普乐园，让更多人的人了数学，热爱数学，进尔掌握更高深的数学识，这数学识应用去他学科就可以带动学科的进一步发。比如非欧几何学就是爱斯坦对论的数学础”

如说爱斯坦的成功也是站在了巨人的肩膀之上，这个巨人可能就包括黎曼。

在一个世纪，爱斯坦在计算广义对论时，有数学方面的难难以决。爱斯坦在数学家朋友的帮助下，发现黎曼几何的理论体完美符他的广义对论的问境，从而用黎曼几何学构了广义对论方。

何为黎曼几何呢？

我们为熟悉的几何当就是从中小学就开始触的欧几何，整个欧几何从我们人类的经验和觉出发，立在大几何理体之上（比如过两点有且有一条线，线段可以无限延长等等）。而条理，也就是行理，引起了众多数学家的关注。

高斯、罗巴切夫斯等都认为行理同他条理较而言，显得有奇怪，无法用他的理来证对错。随后，罗巴切夫斯定义了一种的行理替了欧几里得行理，立了罗氏几何（也叫双曲几何）。

继罗氏几何后，德国数学家黎曼在1854年又出了既不是欧氏几何也不是罗氏几何的的非欧几何——黎曼几何（也称椭圆几何）1-3。黎曼几何中规定，在同一面内何两条线都有交点，所以在黎曼几何学中不存在我们所熟的行线。且黎曼几何还约定线有界能无限延长。

到这里，是不是发现黎曼几何的一征已经与广义对论的模型似？7，8没错，就是广义对论的数学础！！大名鼎鼎的爱斯坦的大名鼎鼎的广义对论就像是黎曼几何的一应用。

摘自《黎曼几何：广义对论的数学础》作科技