很容易起来应付黎曼的n重连续流形的概念,甚至有可能使这样的流形的部分实在化和形象化。设a1,a2,a3,a4a[n+1]是无论什么要素(感觉的质、实物等)。如果我们构想这些要素以它们的可能的关系混合,那么每一单个的混合将用表达式a1aG1+a2a2+a3a3+an+1a[n+1]=1表示,在这里系数a满足方程a1+a2+a3++a[n+1]=1。因为这些系数a可以随乐意而选择,所以n+l个要素的混合的总体将描述n重连续流形。我们可以把下述形式的表达式看作是这个流形的点的坐标:am/a1或f(am/a1),例如log(am/a1)但是,在选择距离或者类似于几何学概念的任何其他概念的定义时,我们将不得不十分任意地进行,除非上述流形的经验告诉我们,某些度现概念具有实在的意义,因此受到偏爱,关于具有针对距离元ds2=dx2+dy2+dz2从物体容量的恒定性导出的定义的几何学空间的案例是这样的,关于具有上面提及的对数表达式的音调感觉的案例同样也是如此。在大多数案例中,这样的人为的建构是这类正缺少的被包含、被固定的点,因此整体的考虑是理想的考虑。与空间的类比从而在完备性。多产性和激励功能方面受到损失。
十一
可是,在另一个方向,黎曼发挥了高斯的观念;他由后者关于曲面的研究开始。高斯的曲面在任何点的曲率的度量由表达式是k=do/ds给出,在这里d是曲面的面元,do是单位球的表面面元,而单位球的极限半径平行于面元d的极限法线。曲率的这种度量也可以用形式k=1/ρ1ρ2来表示,在这里ρ1ρ2是曲面在上述之点的主曲率半径。其曲率的度量对所有点而言有着相同值的曲面——恒定曲率的曲面——具有特殊的兴趣。在把曲面构想为无限薄的、不可膨胀的、但却是固体的物体时,人们将发现,可以使相同曲率的曲面通过弯曲重合——例如平面纸张围着柱面或锥面缠绕就是这样的,但却不能使它们与球的表面重合。在这样变形时,甚至以弄皱的方式变形时,在曲面上所画的图形的成比例的部分就长度和角度来说依然是不变的,倘若我们在我们的测量中不超出曲面的两维的话。相反地,曲面的曲率同样不依赖于它在空间第三维中的构形,而仅仅依赖于它的内部的比例。当时,黎曼构想了概括曲率度量的概念并把它应用于三维或多维空间的观念。与此一致,他设想具有恒定正曲率的有限无界的空间是可能的,它对应于无界但却有限的两维球面,而我们通常认为是无限空间的东西也许对应于曲率为零的无限平面,相似地,第三种空间也许对应于负曲率的曲面。正像在确定不变的曲率的曲面上所画的图形只能在这个曲面上无变形地位移(例如,球面图形只能在它的球面上位移,或平面图形只能在它的平面上位移)一样,类似的条件必然地对于空间图形和刚体也应该有效。正如亥姆霍兹详细表明的,后者能够在恒定曲率的空间中自由运动。恰如平面的最短的线是无限的,而在球面上作为具有确定的有限长度、闭合的和复归为它们自己的大圆出现一样,黎曼同样地构想,在类似物的三维正曲率空间中,直线和平面是有限而无界的。但是,在这里存在着困难。如果我们具有关于四维空间的曲率度量的概念,那么转移到三维空间的特例就能够很容易合理地实行;但是,从特殊的案例向比较一般的案例的过渡包含着某种任意性,这是很自然的,不同的探究者在这里采取不同的路线(黎曼和克罗内克)。对于一维空间(任何种类的曲线)来说,曲率的度量没有内部度量的含义,这样的度量首先出现在与两维图形的关联中,正是这个事实迫使我们询问:某种类似的东西对于三维图形是否有任何意义,在多大程度上有意义?我们用没有实在的事物与之对应、至少用没有什么事物与感觉对应的符号操作,我们错助符号能够证实和纠正我们的观念,我们在这里没有遭遇上述的幻想吗?
这样便达到了关于空间及其与类似的流形的关系之最高的和最普适的概念,这些概念出自高斯对于几何学的经验基础的确信。但是,这个确信的起源具有两千年的预备的历史,我们也许能够从我们现在达到的高度更充分地概览这一主要现象。
十二
以手为尺的质朴单纯的人在获知我们的头一批几何学知识后,便把握了最简单的具体对象或图形——直线、平面、圆等等,并且借助能够被构想为这些简单图形的组合的形式研究它们的测量的关联。他们不会不注意到,当物体的一点、接着两点被固定时,它的可动性便受到限制,最后由于固定了它的三个点,它完全停止不动了。假定绕轴(两点)的旋转、或绕平面上一点的旋转像两点与直线和第三点与固定平面恒定接触的位移一样,都通过那条直线,即假定这些事实是分开观察的,那么人们会知道如何在纯粹的转动、纯粹的位移和由这两种独立运动合成的运动之间区分。第一个几何学当然不是建立在纯粹度规概念的基础上,而是对生理的感觉因素作出了许多显着的让步。于是,外观用两种不同的基本度量来说明:(直线的)长度和角度(圆的度量)。直线被构想为刚性的可动的物体(量杆),角度被构想为一条直线相对于另一条直线的转动(用如此画出的弧测量)。无疑地,人们从来也没有要求特别证明用相同的转动在原点画出的角度相等。很容易引出关于角度的附带命题。使线段b绕它与c的交点如此转动,以致画出角α(图22),在与c重合后再使它绕它与a的交点转动,直到它与a重合为止,这样便画出用β,我们将在同一指向通过角μ把b从它的初始位置转到它的最终位置。因此,外角μ=α+β,因为μ+γ=2R,所以α+β+γ=2R。把在它们的平面内在位置1处相交的刚性的线系统a,b,c移动到位置2(图23),线段a总是仍旧在它自身之内,纯粹的运动将不会引起角度的变化。如此产生的三角形1,2,3的内角之和显然是2R。相同的考虑也免除了平行线的性质。
关于绕几个点的相继转动是否与绕一点转动等价,纯粹的位移是否完全可能的疑问——当用不同于零的曲率的曲面代替欧几里得平面时,这一点受到辩护——在正在考虑的期间从来也不会在纯朴和快乐地发现这些关系的心智中出现。欧几里得在他的全等原理中刻意回避和隐蔽引入的刚体运动的研究,到今天还是最适合几何学基础教育的工具。借助发现观念的方法能最佳地使它为初学者拥有。
十三
当几何学变成职业的和学者的沉思的科目时,事物的这种健全的和朴素的概念消失了,几何学的处理经历了本质的修正。该科目现在必须为个别的概观起见综合这个部门的知识,必须把能够直接辨认的东西与可以演绎和已被演绎的东西分开,必须明确减少演绎的头绪。为了教育的目的,人们把最简单的原理、最容易获得和明显地摆脱了怀疑和矛盾的东西放在开头,使下余的东西基于它们之上。人们竭尽全力简化这些初始原理,在欧几里得的体系中可以观察到这一点。通过这种用别的概念支持每一个概念,把尽可能小的范围留给直接的知识的努力,几何学逐渐离开了它从中起源的经验的土地。人们习惯于使自己认为推导的真理比直接知觉的真理更高级,并最终开始要求从来也没有人怀疑的命题的证明。就这样,具有其逻辑完美和优雅的欧几里得体系出现了——为了制止诡辩派的猛攻,以致按惯例也会这样进行的。可是,这种把一连串的命题放在任意选取的演绎思路之上的人为方法不仅隐藏了研究的道路,而且也完全丧失了对几何学原理之间各种有机关联的洞察。与富有成果的、多产的研究者相比较,这个体系更适合于生产心智狭窄的和缺乏独创性的学究。当偏好对他人的智力成果作奴性评论的经院哲学在思想者中几乎不培育对于他们的基本假定的合理性的任何敏感性,并且通过补偿的方式在他们中间鼓励对于逻辑演绎形式的夸大的尊重时,这些条件并未得到改善。从欧几里得到高斯的整个时期,都或多或少地遭受了来自这种心智的影响。
十四
在欧几里得把他的体系建立于其上的命题中,可以找到所谓的第五公设(也称为第七公理,有人称为第十二公理):“如果一条直线与两条直线相交,以致在它的同一侧的两个内角合在一起小于两直角,那么这些直线在被连续延长时,最终将在其角是小于两直角的那侧处相交。”欧几里得容易证明,如果一条直线落在另外两条直线上时,它使错角彼此相等,那么这两条直线将不相交,而是平行的。但是,对于逆即平行使落在它们之上的每一直线的错角相等的证明,他却不得不诉诸第五公设。这个逆等价于这样的命题:通过一点只能画一条线与直线平行。进而,由于借助这个逆能够证明三角形的角之和等于两直角,以及从这个定理再次得出第一个定理的事实,赋予欧几里得几何学第五公设以独特的和基本的意义的、所讨论的命题之间的关系变得清楚明白了。
十五
缓慢会聚的线的相交处在作图和观察的范围之外。因此,可以理解,鉴于包含在第五公设中的断言的巨大重要性,欧几里得的后继者由于他习惯于严格性,竟然甚至在古代就绷紧每一根神经证明这个公设,或者用某个直接明显的命题代替它。为了把这个第五公设从欧几里得的其他假定中演绎出来,从欧几里得到高斯时代人们就作出了无数无效的努力。出于十足渴望科学的阐释,在追求潜藏的真理源泉中花费了诸多世纪的辛劳,正是这些人奉献的令人钦佩的场景,可是从来没有一个理论家或实践者实际上怀疑过这一切!我们以热切的好奇心追踪寓居于人类对知识这种追求中的道德力量的固执表达,我们满意地注意到,探究者的失败如何逐渐地导致他们察觉几何学的真实基础是经验。我们将使我们自己满足于几个例子。
十六
在其对平行理论的贡献方面着名的探究者当中,有意大利人萨凯里(Saccheri)和德国数学家兰伯特(Lambert)。为了使他们的进攻模式变得可以理解,我们将首先谈到,我们相信我们经常观察的矩形和正方形的存在,在不借助第五公设的情况下无法证明,例如,让我们考虑两个在A和D具有直角的全等的等腰三角形ABC,DBC(图24),并设它们在它们的斜边BC处在一起,以致形成等边的四边形ABCD,欧几里得的头27个命题不足以决定在B和C处的两个相等的(直)角的特点和大小。因为长度的度量和角度的度量根本不同且不可直接比较;因此,关于边和角的相关的头一批命题仅仅是定性的,关于像角之和这样的角的定量定理的绝对必要性从而也是如此。进而要谈到的是,类似于欧几里的27个平面几何命题的定理也可以针对球面和具有恒定负曲率的曲面建立,在这些案例中类似的作图分别在B和C处给出钝角和锐角。