第十九章 非欧几何的公理系统平行公理的反叛与几何的解放引言从独一无二到多元几何两千余年间欧几里得几何被奉为关于空间的唯一真理。康德在《纯粹理性批判》中将其视为人类先验直观的必然形式——空间只能是欧氏的任何与之相悖的命题都被认作思维混乱的产物。然而当尼古拉·罗巴切夫斯基于1829年、亚诺什·鲍耶于1832年各自独立发表他们的发现而高斯的私人通信揭示他早已拥有相同见解时一场深刻的革命悄然完成平行公理并非绝对几何的逻辑后果。一种新的几何——双曲几何——诞生了。它否定了欧氏平行公理却拥有同样严谨的逻辑结构同样无懈可击的公理体系。非欧几何的出现并非对公理化方法的否定恰恰相反它是公理化精神最辉煌的胜利。大卫·希尔伯特在1899年的《几何基础》中将几何公理分为五组关联、顺序、合同、平行、连续。这一模块化设计使得平行公理成为一个可以自由替换的“插件”。保留前三组绝对几何的核心和连续公理仅仅改变第四组中的平行公理便能在同一套逻辑骨架上搭建出截然不同的几何世界。这一思想直接塑造了现代数学的“假设-演绎”范式公理不是关于物理世界的断言而是定义一种数学结构的约定。希尔伯特本人曾风趣地说“我们必须能够在任何时候不说‘点、直线、平面’而说‘桌子、椅子、啤酒杯’而几何的定理依然成立。”这种彻底的形式主义精神正是公理化方法的精髓。本章将系统展开两种主要的非欧几何双曲几何与椭圆几何及其球面模型。我们将首先在希尔伯特绝对几何的框架内精确陈述双曲几何的公理——用罗巴切夫斯基公理替换普莱费尔平行公理。随后我们将严格推导双曲几何的独有定理三角形内角和小于180°、角亏与面积的关系、相似三角形必全等AAA全等准则、平行线间距离的无界性、平行角的存在性及其解析公式。接着我们转向椭圆几何阐明为何必须修改关联公理与顺序公理以排除平行线的存在构造球面模型与射影模型并证明其内角和大于180°及角盈定理。最后我们将详细论述非欧几何的相对一致性证明尤其是贝尔特拉米的伪球面、克莱因的射影模型、庞加莱的共形圆盘与上半平面模型以及这些模型如何将非欧几何解释于欧氏几何之内从而建立起二者之间严格的逻辑等价性。我们将以现代几何学中曲率与公理的深层联系作结探讨黎曼如何将非欧几何纳入弯曲空间的统一框架以及爱因斯坦如何将其用作引力理论的语言。本章的叙述始终紧扣公理化方法的核心我们并不诉诸物理空间或视觉想象来“验证”非欧几何而是从公理出发进行纯粹的逻辑演绎。正是这种彻底的公理化精神使得非欧几何从“虚幻的怪物”蜕变为数学殿堂中与欧氏几何平起平坐的合法成员。19.1 绝对几何的遗产平行公理缺席时的几何在深入非欧几何的版图之前我们必须精确界定“绝对几何”的疆域。绝对几何由希尔伯特公理体系中的前三组关联、顺序、合同以及通常默认的连续公理构成它完全避开了平行公理。这是所有非欧几何与欧氏几何的共同基础。19.1.1 公理 I–III 与绝对几何的定理关联公理I.1–I.3确立了点和直线的基本关系任意两点确定唯一直线每条直线上至少有两个点存在不共线的三点。顺序公理II.1–II.4通过原始概念“介于”刻画了直线上点的线性序并借助帕施公理严格规定了直线对平面的分割方式。合同公理III.1–III.5以边角边SAS全等准则为核心使得线段和角的比较与复制成为可能完全摒弃了“运动”这一含混概念。在这三组公理之上我们可以证明一系列不依赖于平行公理的定理外角定理三角形的任一外角大于不相邻的任一内角。等腰三角形定理若两边相等则对角相等反之亦然。全等定理除了作为公理的 SAS 之外ASA、SSS 和 AAS 全等准则均可证。内错角定理若两直线被第三条直线所截得的内错角相等则此两直线不相交即平行。这些定理构成了一个坚实的内核。任何非欧几何如果宣称否定平行公理都必须继承这份遗产否则系统将立即陷入矛盾。19.1.2 “至少一条平行线”的存在性在绝对几何中一个至关重要的结论是过直线外一点至少存在一条平行线。证明如下设直线 (a) 和不在其上的点 (A)。由合同公理可从 (A) 向 (a) 作垂线垂足为 (B)。再在 (A) 处作 (AB) 的垂线 (b)。由于 (a) 和 (b) 被 (AB) 截得的内错角均为直角根据内错角定理(a) 与 (b) 不相交故 (b \parallel a)。因此任何否定平行线存在性的几何必须修改关联或顺序公理从而改变“直线”和“相交”的基本性质——这正是椭圆几何的命运。19.1.3 萨开里四边形与三种几何的胚芽18世纪初耶稣会士萨开里为了证明平行公理系统研究了底角为直角的等腰双直角四边形今称萨开里四边形。他证明顶角只能是直角、钝角或锐角并力图从钝角假设和锐角假设中导出矛盾。萨开里成功排除了钝角假设隐含了直线可无限延长的假设但对于锐角假设他在推导出诸如“存在渐近直线”“三角形内角和小于180°”等一系列与欧氏直觉相悖却无矛盾的命题后便武断地宣称这些结果“与直线的本质相悖”从而错失了发现非欧几何的荣光。用现代公理化的眼光审视直角假设等价于欧氏平行公理锐角假设导出双曲几何钝角假设则指向椭圆几何但需放弃直线的无限性。萨开里四边形的顶角正是几何曲率的一种原始测度。兰伯特随后在1766年研究了具有三个直角的四边形兰伯特四边形同样得到了类似结论并天才地猜测锐角假设下的几何可能实现在“虚半径球面”上——这一直觉竟与后世双曲几何的模型遥相呼应。19.1.4 连续公理的作用连续公理确保直线无“洞”。阿基米德公理V.1使我们可以通过自然数倍的线段去度量任意长度奠定了测量理论的基础完备性公理V.2或等价的戴德金割原理保证了直线上的点与实数同构从而可以建立坐标系。经典的双曲几何和椭圆几何模型均满足连续公理。若不假设完备性可以构造出非阿基米德几何但本章集中于完备的常曲率空间。19.2 双曲几何的公理罗巴切夫斯基的替换19.2.1 双曲公理系统在希尔伯特的框架下双曲几何的公理由以下五组构成I关联公理I.1–I.3不变。II顺序公理II.1–II.4不变。III合同公理III.1–III.5不变。IV*罗巴切夫斯基平行公理存在一条直线 (a) 和不在此直线上的一点 (A)使得在 (a) 和 (A) 确定的平面内至少有两条过 (A) 的直线与 (a) 不相交。V连续公理V.1–V.2不变。绝对几何保证了“至少一条”平行线罗巴切夫斯基公理则断言“存在多于一条”的反例。借助合同公理这局部的非唯一性可被搬运到任意直线和任意点对于一切直线及其外一点过该点都有无穷多条直线不与给定直线相交。因此整个平面无一例外地成为双曲的。19.2.2 渐近平行线与超平行线给定直线 (a) 和其外一点 (A)过 (A) 作 (a) 的垂线 (AB)(B) 为垂足。考虑所有从 (A) 出发的射线它们与射线 (AB) 形成夹角 (\theta)(0 \theta \le \pi/2)另一侧对称。存在一个临界角 (\Pi(d))(d AB)使得当 (\theta \Pi(d)) 时射线与 (a) 相交当 (\theta \Pi(d)) 时射线所在的直线是渐近平行线极限平行线它无限逼近 (a) 但永不相交当 (\theta \Pi(d)) 时射线所在的直线是超平行线与 (a) 完全分离具有唯一的公垂线段。在双曲平面中“平行”一词一般特指渐近平行线而“不相交直线”是更宽泛的用语。渐近平行线具有方向性过 (A) 有且仅有两条渐近平行线分别对应 (a) 的两个方向。它们构成所有过 (A) 且与 (a) 不相交的直线的边界。19.3 双曲几何的奇异定理19.3.1 三角形内角和小于两直角定理 19.3.1内角和定理在双曲几何中任意三角形的内角和严格小于 (\pi)180°。证明首先由外角定理知任何三角形的内角和不能超过 (\pi)否则某外角将不大于其不相邻内角矛盾。假设存在 (\triangle ABC) 使内角和等于 (\pi)。作高 (AD)(D) 在 (BC) 上得两个直角三角形。在 (\triangle ABD) 中以直角边 (AD) 为一边向另一侧构造合同的全等形可拼出一个兰伯特四边形三个直角。若原三角形内角和为 (\pi)则该兰伯特四边形的第四个角必为直角。而兰伯特四边形四个角均为直角等价于欧氏平行公理。这与双曲平行公理矛盾。故内角和必小于 (\pi)。 ∎推论 19.3.2角亏与面积一个三角形的角亏定义为 (\Delta \pi - (ABC))。角亏恒为正且满足可加性若用一条从顶点到对边上一点的线段剖分三角形则小三角形角亏之和等于原三角形角亏。这一性质暗示角亏具有“面积”的品性。事实上在常曲率 (-1/k^2) 的双曲平面中三角形的面积由下式给出[\text{Area}(\triangle ABC) k^2 \Delta k^2 (\pi - A - B - C).]由此双曲平面上三角形的面积有绝对上界 (k^2\pi)且当三个内角均趋向于零时趋近该上界。这种“最大三角形面积”的存在是负曲率空间的典型特征。19.3.2 相似三角形必全等AAA全等准则定理 19.3.3在双曲几何中若两个三角形的三对角对应相等则它们全等。证明设 (\triangle ABC) 和 (\triangle A’B’C’) 满足 (\angle A \angle A’), (\angle B \angle B’), (\angle C \angle C’)但假设它们不全等。不失一般性可设 (A’B’ AB)。在 (\triangle ABC) 的边 (AB) 上取点 (B’‘) 使得 (AB’’ A’B’)在 (AC) 上取 (C’‘) 使得 (AC’’ A’C’)。由 SAS(\triangle AB’‘C’’ \cong \triangle A’B’C’)。于是 (\angle AB’‘C’’ \angle B’ \angle B)(\angle AC’‘B’’ \angle C’ \angle C)。由此可推知四边形 (B C B’’ C’‘) 的内角和为 (2\pi)因为 (\angle B’) 与 (\angle B) 互补等。将该四边形剖分成两个三角形必有一个三角形内角和 (\ge \pi)与定理19.3.1矛盾。故相似三角形必全等。 ∎这一结果意味着双曲几何中不存在缩放的概念。角度一旦固定边长便被唯一确定。欧氏几何中地图缩放、相似形的存在在双曲世界中是不可能的。一个双曲平面上的居民无法拥有一张“精确的缩小版地图”。这种刚性正是空间负曲率带来的束缚。19.3.3 平行线之间的距离与公垂线定理 19.3.4对于两条超平行线(l_1, l_2)存在唯一的公垂线段 (P_1P_2)其长度是两直线上任意两点距离的最小值。从公垂线向两侧沿直线移动两直线间的距离严格递增且无上界。对于两条渐近平行线它们之间不存在公垂线。沿着平行的方向两线间的距离趋于零逆方向则趋于无穷。这一性质与欧氏平行线等距的特性截然不同。在双曲平面上两条“笔直”的走廊若为超平行将在某一最佳位置靠得最近然后迅速背道而驰永不回头。19.3.4 平行角与罗巴切夫斯基公式定理 19.3.5平行角对于直线 (a) 和外点 (A)距离 (d AB)(AB \perp a)定义平行角(\Pi(d)) 为过 (A) 的渐近平行线与 (AB) 的夹角。则 (\Pi(d)) 是 (d) 的严格递减函数且[\lim_{d \to 0} \Pi(d) \frac{\pi}{2}, \quad \lim_{d \to \infty} \Pi(d) 0.]在常曲率 (-1/k^2) 的双曲平面中罗巴切夫斯基推导出精确公式[\tan\left(\frac{\Pi(d)}{2}\right) e^{-d/k}.]等价地(\Pi(d) 2\arctan(e^{-d/k}))。这一公式将双曲几何的定量特征完全编码。当 (d \to 0)(\Pi(d) \to \pi/2)小范围内近似欧氏几何当 (d) 增大平行角迅速缩小无穷远处几乎贴着垂线。19.3.5 双曲平面中的圆、面积和正密铺双曲几何中圆周长的增长是指数式的以 (r) 为半径双曲距离的圆其周长为[C 2\pi k \sinh\left(\frac{r}{k}\right) \sim \pi k , e^{r/k} \quad (r \to \infty).]相应地圆盘面积为 (A 2\pi k^2 (\cosh(r/k)-1))也呈指数增长。这使得双曲平面“幅员极其辽阔”——随着离给定点距离的增加空间呈爆炸式展开。一个惊艳的组合结论是双曲平面允许无穷多种正多边形密铺。在欧氏平面中只有正三角形、正方形、正六边形可实现正密铺每个顶点分别汇聚6、4、3个。而在双曲平面中对于任意正整数 (p \ge 3), (q \ge 3)只要[\frac{1}{p} \frac{1}{q} \frac{1}{2},]就可以构造出以正 (p) 边形在每个顶点汇聚 (q) 个的密铺。例如正七边形在每个顶点汇聚三个7,3密铺在双曲平面上可以实现且具有惊艳的分形边界图案。埃舍尔的“圆极限”系列木刻正是这种丰富结构的艺术呈现。19.4 椭圆几何与球面模型19.4.1 椭圆几何的公理修正椭圆几何比双曲几何更为极端它宣称任何两条直线均相交。因此平行线根本不存在。这直接与绝对几何中“过直线外一点至少有一条平行线”冲突。要建立一致的椭圆几何必须对关联或顺序公理动手术。以二维球面 (S^2) 为直观模型将“直线”定义为大圆。球面上过一对非对径点有唯一大圆符合关联公理。过一对对径点有无穷多个大圆违反唯一性。大圆是闭合曲线长度有限点的“介于”关系是循环序而非线性序。为修正这些“缺陷”经典的椭圆几何采取射影模型将球面上的对径点等同得到实射影平面 (\mathbb{RP}^2)。此时任意两个不同的“射影点”等同于一对对径点确定唯一一条射影直线等同于大圆。任意两条射影直线恰好相交于一点。顺序关系由“分离关系”取代一条闭直线上的四个点可以判定其中一对是否被另一对分离。这种循环序足以支撑合同和连续性的展开。由此形成的公理系统通常将希尔伯特的顺序公理II组替换为基于分离关系的射影顺序公理关联公理也作相应调整。这是椭圆几何或单重椭圆几何的严格公理化基础。若保留球面且不做对径点等同则得到双重椭圆几何亦即球面几何但此时关联公理对“对径点”不满足唯一性。19.4.2 椭圆几何的独有定理在椭圆几何中直线是封闭的有限总长在曲率 (1/R^2) 下直线长度为 (\pi R)。三角形内角和大于(\pi)。球面上的一个三角形如赤道与两条经线构成内角和可达 (3\pi/2)。一般地角盈(\varepsilon ABC-\pi) 恒正。面积与角盈成正比吉拉尔定理[\text{Area} R^2 \varepsilon R^2(ABC-\pi).]不存在矩形更不存在平行线。任何两条直线必然相交。大圆是平面的“测地线”。在球面模型中所有直线都与其它直线相交且交点成对出现对径点在射影模型中则为唯一点。椭圆几何在导航、天文学球面天文学以及广义相对论的正曲率宇宙模型中扮演核心角色。一个闭合的、具有正常数曲率的宇宙在空间上即具有椭圆几何的结构光线沿“直线”传播可能绕宇宙一周返回原点。19.5 非欧几何的相对一致性证明非欧几何在创立之初面临的最大质疑不是其结论的怪异性而是其逻辑自洽性它是否隐含矛盾平行公理已被证明独立于绝对几何但这不足以证明“绝对几何 平行公理否定”的系统内部无矛盾。这疑虑持续了半个世纪直到贝尔特拉米、克莱因和庞加莱在欧氏几何内部构造出非欧几何的模型才以“相对一致性”的方式一锤定音如果欧氏几何无矛盾那么非欧几何也无矛盾。19.5.1 贝尔特拉米的伪球面模型1868贝尔特拉米在三维欧氏空间中构造了一个常负曲率曲面——伪球面由曳物线绕渐近线旋转生成。他证明若将伪球面上的测地线视为“直线”则测地线间的相交与距离关系完全满足罗巴切夫斯基双曲几何的定理。这是非欧几何在欧氏空间中的第一个局部实现。然而伪球面带有奇异性边缘不能代表整个无限延伸的双曲平面。希尔伯特后来证明完备的常负曲率曲面不可能等距嵌入到三维欧氏空间中。因此贝尔特拉米的论证仅限于局部尚未彻底解决全局一致性问题。19.5.2 克莱因的射影模型1871菲利克斯·克莱因构造了第一个全局的双曲几何模型——克莱因圆盘。取欧氏平面上单位开圆盘 (D)点圆盘内的欧氏点。直线圆盘内的开弦两端在绝对圆上。介于由欧氏弦上的自然顺序继承。合同距离利用交比定义。对两点 (A,B)设直线 (AB) 交绝对圆于 (U,V)(U) 靠近 (A)(V) 靠近 (B)定义[d(A,B) \frac{1}{2} \left| \ln \frac{AU \cdot BV}{AV \cdot BU} \right|,]其中 (AU) 等为欧氏线段长度。交比的魔力在于它在射影变换下不变而保持绝对圆的射影变换群恰好充当双曲合同的刚性运动群。在克莱因模型中平行公理显然不成立过一点可作无数条弦与给定的弦在圆盘内不相交。弦的延伸在绝对圆上相交若共点则对应渐近平行若绝对圆上的交点分离则对应超平行。克莱因模型的缺点是角度关系很不直观但距离定义的清晰性使其成为证明双曲几何一致性的里程碑。19.5.3 庞加莱的共形模型1882亨利·庞加莱提出了两个极其优美的共形模型迅速成为双曲几何研究的标准工具。庞加莱圆盘模型点单位开圆盘 (D)。直线与单位圆正交的圆弧包括直径。角度等于欧氏角度模型共形。距离微分(ds \frac{2\sqrt{dx2dy2}}{1-(x2y2)})。在度规 (\frac{4}{(1-|z|2)2}|dz|^2) 下整个圆盘成为常曲率 (-1) 的完备黎曼流形。在庞加莱圆盘中边界 (\partial D) 代表无穷远。正交圆弧永不相交若它们不相遇于边界若相切于边界则为渐近平行。共形性使得角的测量极其方便这也使它成为复分析和克莱因群理论的基础。上半平面模型(\mathbb{H})双曲平面实现为 ({xiy \mid y0})度规 (ds^2 \frac{dx2dy2}{y^2})。直线是中心在实轴上的半圆和垂直射线。此模型与数论中的模形式、双曲三维流形的研究深度融合是当代几何与拓扑的常备工具。这些模型不仅在直观上展示了双曲几何的定理而且严格地将双曲几何的每个命题翻译为欧氏几何中的命题。若双曲几何中有矛盾矛盾会通过翻译在欧氏几何中出现。因此双曲几何相对于欧氏几何是一致的。19.5.4 椭圆几何的相对一致性模型椭圆几何的射影模型直接提供了相对一致性实射影平面可以通过三维欧氏空间中过原点的直线集合来定义距离和合同关系可由球面上的正交变换诱导。因此若欧氏几何包括三维情形无矛盾则椭圆几何也无矛盾。事实上取三维欧氏空间 (\mathbb{R}^3) 的单位球面 (S^2)将对径点视为等价类即得实射影平面其上大圆诱导出射影直线球面上的球面度量诱导出椭圆几何的度量。这种构造完全在欧氏几何内部完成。19.6 独立性证明与元数学意义上述模型不仅提供了直观更完成了平行公理独立性的严格证明。按照现代证明论的标准要证明命题 (P) 独立于公理集合 (\Sigma)需构造一个满足 (\Sigma) 的模型使得 (P) 为假。克莱因和庞加莱的模型满足希尔伯特公理 I, II, III, V绝对几何加连续性而不满足普莱费尔平行公理。这就证明了平行公理不能从绝对几何中推导出来。同理球面/射影模型也证明了平行公理的否定在与适当修改后的绝对几何相容。元数学上这种相对一致性证明构成了一种解释或翻译将非欧几何的语言和公理映射到欧氏几何理论中使得所有公理都成为欧氏几何的定理。任何非欧几何内部的矛盾都将转化为欧氏几何中的矛盾。这一思想由希尔伯特明确地提升为证明论的核心策略并在20世纪数理逻辑关于选择公理、连续统假设独立性的证明中反复出现。独立性和相对一致性的确立彻底改变了数学界对公理系统的认知公理不再被视为“自明真理”而是人类为了研究特定结构而自由设定的规则。这种自由与严格并存的公理化精神直接催生了现代抽象代数学、拓扑学和泛函分析中的结构主义思潮。19.7 非欧几何的后世影响从黎曼到爱因斯坦19.7.1 黎曼的弯曲空间统一框架1854年伯恩哈德·黎曼在其就职演讲《论作为几何学基础的假设》中提出了一个颠覆性的观念空间流形的度量不必是欧氏的而可以由一个局部定义的线素 (ds^2 \sum_{i,j} g_{ij} dx^i dx^j) 给出。通过度规张量 (g_{ij})可以计算曲线长度、角度、测地线并由黎曼曲率张量刻划空间每一点的弯曲程度。欧氏几何、双曲几何和椭圆几何被统一为常曲率空间的特例曲率 (K0)欧氏几何曲率 (K0)常数双曲几何曲率 (K0)常数椭圆几何/球面几何黎曼更进一步允许曲率逐点变化几何不再是全局公理的僵硬产物而是局部度量特性流动的结果。黎曼的框架预示着公理化几何与微分几何的伟大合流希尔伯特公理体系给出了常曲率空间的综合几何刻画而黎曼的方法则能处理任意弯曲空间。19.7.2 广义相对论与宇宙学爱因斯坦在1915年创立的广义相对论是黎曼几何最壮丽的应用。时空被赋予一个伪黎曼度规 (g_{\mu\nu})其弯曲由质量-能量分布通过爱因斯坦场方程决定[R_{\mu\nu} - \frac{1}{2}R g_{\mu\nu} \Lambda g_{\mu\nu} \frac{8\pi G}{c^4} T_{\mu\nu}.]引力不再是一种“力”而是时空弯曲的几何效应。非欧几何从数学家手中的抽象玩具一变而为描述我们置身其间的宇宙的物理语言。在宇宙学中均匀各向同性的宇宙模型弗里德曼-勒梅特-罗伯逊-沃尔克度规的空间截面可以为常正曲率椭圆/球面闭合宇宙、零曲率欧氏平坦宇宙或常负曲率双曲开放宇宙。欧洲空间局普朗克卫星的宇宙微波背景辐射观测数据目前支持空间曲率极其接近于零但暴胀理论及量子引力模型仍为曲率的微小非零留有余地。非欧几何从备受质疑的“怪胎”升格为理解宇宙基本结构的语法——这无疑是公理化方法最具戏剧性的现实回响。19.7.3 几何与拓扑的交融瑟斯顿的几何化20世纪80年代威廉·瑟斯顿提出几何化猜想任何紧致三维流形都可以沿着球面和环面切成若干片每片赋予八种齐性几何结构之一。在这八种几何中双曲几何是最为丰富和普遍的一种。佩雷尔曼于2003年通过里奇流证明了瑟斯顿猜想从而也证明了庞加莱猜想标志着三维拓扑学的巅峰。双曲三维流形、克莱因群、模空间理论等今日数学的前沿领域无不浸透着非欧几何的精魂。可以说非欧几何已从几何学的叛逆者成长为现代数学的主干之一。19.8 结语公理的自由与几何的多元非欧几何的史诗是公理化方法最辉煌的胜利。它用最严密的逻辑证明了一个颠覆直觉的结论几何不是唯一的公理是可以选择的而选择不同的公理将开启截然不同但同样自洽的数学宇宙。平行公理不再是关于空间的不可动摇的真理而是一个可以拨动的“开关”——按下它你得到欧氏几何断开它你得到绝对几何将它拨向一侧你进入双曲的无限广阔拨向另一侧你面对椭圆的闭合苍穹。这种公理的“可替换性”深刻地塑造了20世纪的数学哲学。形式主义者如希尔伯特主张数学的本质不是研究对象而是公理系统的逻辑演绎布尔巴基的结构主义将全部数学建立在种类繁多的公理结构之上逻辑实证主义者则从非欧几何中看到了分析命题与综合命题的新划分方式。非欧几何为所有这些思想运动提供了最鲜活的历史案例证明了人类的理性有能力创造多元而严谨的宇宙而不仅仅是发现一个被给予的物理空间。从欧几里得五条公设的独断到希尔伯特五组公理的模块化再到非欧几何公理的百花齐放几何学在两千年的公理化征程中从描述空间的“真理”升华为创造空间的“语言”。在下一章我们将进入解析几何的公理化看如何用实数坐标与内积将几何对象转化为代数方程实现几何与代数的再一次伟大统一。公理化的故事仍在继续书写。