欧几里得几何学的宏伟大厦,是阅读该书的大多数读者在学生时代就很熟悉的,在这建筑的高高的楼梯上,认真的教师逼迫你们花了不知多少时间。对这座宏伟的大厦,你们的敬畏之心或许会多于热爱之心。凭着往昔的经验,如果有人说这门学科中的命题,哪怕是最冷僻的都是不真实的,你们一定会嗤之以鼻。但是,如果有人问:“既然这些命题是真实的,那么你们究竟是如何理解的呢?”或许你们这种理所当然的骄傲态度就会马上消失。现在,让我们来考虑一下这个问题。
“平面 ”、“点 ”和“直线 ”之类的概念引发出了几何学,在大体上我们有确定的观念和几何学的一些简单命题 (公理) 相联系,在这些观念的影响下,我们倾向于把简单命题当作“真理”接受下来。然后以我们认为的合乎逻辑的方法,即用我们不得不认为是正当的逻辑推理过程,阐明其余的命题是公理的推论,也就是说这些命题已得到证明。于是,只要从公理中推导出的一个命题用的是公认的方法,那么这个命题就是正确的 (或是“真实的”) 。这样,各个几何命题是否“真实”就归结为公理是否“真实”。可是上述最后一个问题本身完全没有意义,而且用几何学的方法无法解答。我们难道要问“过两点只有一条直线”是否真实?这当然不能。我们只能说,几何学研究的是称之为“直线”的东西,它说明每一直线唯一确定的性质是由该直线上的两点来确定。“真实”这一概念有由该直线上的两点来唯一确定的性质。与纯几何的论点不相符的是,“真实”在习惯上是指与一个“实在的”客体相当的意思;然而无论如何,几何学并不涉及其中所包含的观念与经验客体之间的关系,而只是涉及这些观念本身之间的逻辑联系。
代数与几何的结合
笛卡儿《几何学》的发表突破了纯几何的方法。这一重要的研究是《方法论》的附录。《方法论》的目的是建立一个通向正确认识物质世界和精神世界的关于科学的哲学。用数学语言来正确描述宇宙,需要数学语言本身建立在一个坚实的基础之上。《几何学》论述了代数与几何的结合,即解析几何,笛卡儿证明了几何构造与代数演绎的等价性。图为牛顿的“三度曲线列举”中的一页,展示了代数与几何的结合已达到相当高的水平,曲线上的点由满足给定方程的坐标(x,y)给出。
不难理解,我们不得不将这些几何命题称为“真理”。几何观念与自然界中具有正确形状的客体相对应,而具有正确形状的客体无疑是产生那些观念的唯一原因。几何学应制止这一过程,以便使它的结构获得最大的逻辑一致性。例如,在我们的思想习惯中,通过一个可视为固定的物体上的两点来测定“距离”的办法是根深蒂固的。我们在观察三个点位于一条直线时,如果适当地选择观察位置,用一只眼睛观测,使三个点的视位置 能够相互重合,我们也认为这三点位于同一直线。
球面几何
欧几里得几何公理本质上描述的是平坦空间的几何特性,但第五公设(即平行公设)引起了人们对其正确性产生了疑虑。由此人们开始关注弯曲空间中的几何,即“非欧几何”。非欧几何中包括了如“球面几何”、罗式几何等相关课题。图中描述的是一个非欧几何球面,螺旋纹从四周向中心被无限制缩小。
如若依照我们的一向思维习惯,我们可以在欧几里得几何学中补充如下命题:在一个可视为固定的物体上的两个点永远对应于同一距离 (直线间隔) ,而与该物体的位置发生的任何变化无关,那么,欧几里得几何学的命题就可以归结为关于所有固定物体的所有相对位置的命题。如此一来,几何学就可以看作是物理学的一个分支。现在,对几何命题是否是“真理”的问题,我们能够提出合理的解释。我们有理由问,对于与几何观念相联系的那些真实的东西,这些命题是否已被满足。用精确的术语来表达,也可以这样说:我们把具有此种意义的几何命题的“真实性”理解为该几何命题对于用圆规和直尺作图的有效性。
当然,以此断定几何命题的“真实性”,其基础是不大完整的经验。但我们目前暂且认定这种“真实性”。然后在后一阶段我们将会看到,这种“真实性”是有限的,那时再来讨论这种有限性的范围。
“几何”这个词在汉语里是“多少”的意思,但在数学里,“几何”的希腊文原意是“土地测量”,或叫“测地术”。
几何学是研究空间和图形性质的一门数学分科。
在远古时代,人们在实践中累积了十分丰富的各种平面、直线、方、圆、长、短、宽、窄、厚、薄等概念,成了后来几何学的基本概念。
约公元前1700年,埃及人阿默斯手抄了一本书,名为“阿默斯手册”,里面载有很多关于面积的测量法以及关于金字塔的几何问题。
在古希腊,数学家如泰勒 (约前640—前546年) 、毕达哥拉斯 (约前582—前493年) 、依卜加 (前430—?) 、柏拉图 (前427—前347年) 、欧几里得 (约前330—前275年) 等人,对几何学都贡献卓著。
泰勒曾发现若干几何定理和证明的方法,这是理论几何的肇始。他能运用几何定理来解决实际问题,凭一根竹竿就可以测得金字塔的高。
毕达哥拉斯认为数学是一切学问的基础。他对几何学有很多研究,著名的“勾股定理”在西方就叫做“毕达哥拉斯定理”。
依卜加编著了世界历史上第一部初等几何教科书。他率先使用了“反证法”,与柏拉图同为研究“几何三大问题” (①化圆为方,求作一正方形使其面积等于一已知圆;②三等分任意角;③倍立方,求作一立方体使其体积是一已知立方体的二倍) 的大家,因而附带发现了许多几何定理。
柏拉图首创现在被视为证题利器的“分析法”。而确立缜密的定义和明晰的公理作为几何学基础,这种思想也是由柏拉图开其先河的。
真正把几何总结成一门具备严密理论体系的学科的,是希腊数学家欧几里得。
欧几里得,古希腊数学家。他早年在雅典求学,熟知柏拉图的学说。公元前300年左右,受托勒密王 (前364—前283年) 之邀,到埃及治下的亚历山大城工作,长期从事教学、研究和著述,涉及数学、天文、光学和音乐等诸领域。著作有《几何原本》《已知数》《纠错集》等。
《几何原本》,共分13卷,有5条公设、5条公理、119个定义和465个命题,构成了史上第一个数学公理体系。在书中,欧几里得首先给出了点、线、面、角、垂直、平行等定义,接着给出了关于几何和量的10条公理,公理后面是一个一个的命题及其证明。《几何原本》确立了数学的基本方法学:①建立了公理演绎体系,即用公理、公设和定义的推证方法。②将逻辑证明系统地引入数学,确立了逻辑学的基本方法。③创造了几何证明的方法:分析法、综合法及归谬法。
维特鲁威人 素描 1490年
这是现藏于威尼斯艺术学院的达·芬奇的人体比例图。达·芬奇认为,把完美的人体造型包含在一个圆形和正方形中是最成功的设想,而且人的体长是头长的八倍最为恰当和匀称。
从《几何原本》发表开始,几何才真正成为一个有着严密的理论体系和科学方法的学科。
17世纪,笛卡尔将坐标系引入几何学,这给几何学带来了革新。笛卡尔利用代数方法研究几何问题,从而建立了解析几何。
1799年,法国数学家蒙日发表了《画法几何》一书,提出用多面正投影图表达空间形体,于是画法几何诞生了。
1822年,彭赛列《论图形的射影性质》一书出版,为射影几何学奠定了厚实的基础。
19世纪初,法国数学家蒙日首先把微积分应用到曲线和曲面的研究中去,并于1807年出版《分析在几何学上的应用》一书,这是微分几何最早的一本著述。至此,微积分成了一门独立的数学分支。其后,高斯的《关于曲面的研究》,奠定了曲面论的基础。
立体空间分割 埃舍尔 石版画 1952年
这幅作品唯一的目的表现在二维纸面上无限延伸的空间。它并不像数学课本里所画的那些规则的空间结构,它是按照透视法画出来的,这些看似彼此平行的线条其实会在遥远的地方汇聚在六个点。
高斯的曲面论经过黎曼的深掘广拓,发展成黎曼几何学。
黎曼几何是爱因斯坦广义相对论的数学工具。
20世纪初,相对论的出现促进了黎曼几何的进一步发展。20世纪中期以来,随着数学其他分支 (如拓扑学、微分方程和抽象代数) 的发展,整体几何已经成为现代几何学的主要内容,在理论物理中有重大的应用。
物理学,简称“物理”。“物理”一词的英文 physics 出自希腊文φυσικσξ,原意是“自然”。古时欧洲人称物理学为“自然哲学”。在汉语、日语中,“物理”一词起源于明末清初科学家方以智的百科全书式著作《物理小识》。从最广泛的意义上说,物理学是研究大自然现象及规律的学问。物理学家们研究存在于不同空间与时间内的物质的状态,研究物质的结构和运动的一般规律。在现代,物理学已经成为自然科学中最基础的学科之一。物理学理论通常以数学的形式表达出来。经过大量严格的实验验证的物理学规律被称为物理学定律。然而如同其他很多自然科学理论一样,有些定律不能被证明,其正确性只能通过反复的实验来检验。
数学是人类文化最基本的元素之一。它的语言构成了人类文化的有机体。
数学研究的是现实世界的空间形式和数量关系,包括算术、代数、几何、三角、微积分等。其特点是,高度的符号化、抽象化、形式化、逻辑化、简单化。数学更接近于逻辑或者哲学,根据几个基本公理可以建立起一个逻辑体系。
“魔鬼的树桩” 资料图片
柏拉图重视几何,强调几何在训练智力方面的作用,主张通过几何的学习培养逻辑思维能力,将抽象的逻辑规律体现于几何图形中。图中为玄武岩组成的火山的岩石龟裂图——一些规则的几何图形。
数学是自然科学之母。伽利略说过,“一个理论物理学家是某种程度的数学家”。为了方便理解,物理学从数学中寻找工具。数学为物理学的描述提供了一种准确的语言,比如欧氏几何与牛顿的平直时空观和非欧几何与爱因斯坦的弯曲时空观。另外,数学还为物理学提供了一个逻辑体系,以便进行分析与推导,比如在平直时空观下物体应该怎么运动、怎么相互作用,而在弯曲时空下又是如何。
数学为物理学带来了巨大的成功,但不能认为没有数学就没有物理学 (法拉第是最好的例子,他的数学很差,他的成就取决于他对物理学的理解) 。经典物理学的确立直接导致了微积分的诞生,而量子力学又为数论打破了瓶颈,物理学的发展同时又带来了数学的进步。
作为基础学科,数学与物理学二者可谓相辅相成、缺一不可。