<p></p><p>摘自:<a href="http://www.bossh.net/forums/index.php?showtopic=29557" target="_blank">http://www.bossh.net/forums/index.php?showtopic=29557</a></p><p>丘成桐(美国哈佛大学):时空的历史<br /><br />(在中国科学院数学与系统科学研究院的演讲2005年11月12日,ppt稿) <br />远古时代 <br />在古代的社会,人类已经懂得丈量土地,观察星体的运行,和感叹时间的消逝,因此产生了时空的概念。 <br />中国哲学家 <br />易经:“太极生两仪,两仪生四象。” <br />庄子:“天地虽大,其化均也。” <br />孔子:“逝者如斯夫,不舍昼夜。” <br />屈原:“日月安属,列星安陈?” <br />李白:“夫天地者,万物之逆旅,光阴者,百代之过客。” <br />可见古人不断地在探讨时空。我现在从几何学的观点来看时空的历史。 <br />希腊哲学家 <br />柏拉图和古希腊诸贤视几何为大自然的一部份,几何成为描述大自然的主要工具。但是他们认为空间是静止不动,平坦而无起伏的。这种见解持续了二十多个世纪,大致与几何认知上的局限性有关。 <br />希腊哲学家崇尚推理,希望从数学的美中找到自然界的真理,所以他们对时空的了解比任何古文化都来得先进。 <br />Elie Cartan(1869-1951,伟大的几何学家) <br />“对比其它科学而言,数学的发展更依赖于一层复一层的抽象。为了避免犯错,数学家必须抓住问题和对象的精义,并把它们筛选出来。” <br />“正确的推理无疑非常要紧,但更关键的是找到骨节眼上的问题。必须具有正确的直觉,才能够选对最根本的问题。解决这些问题,对科学的整体发展,具有举足轻重的作用。” <br />几何学 <br />基本的问题来自大自然,并由问题本身的和谐典丽所启迪。 <br />希腊几何学家最先利用公理化来处理数学。 <br />只有引入一系列公理,我们才能对大自然的规律有清晰的了解,并为其奥妙而赞叹。 <br />欧几里得几何学 <br />欧几里得(公元前330年-前275年)系统地研究了有关直线、平面、圆和球的几何性质。 <br />最基本的定理: <br />1. 毕达哥拉斯定理(勾股定理); <br />2. 任一三角形的内角和皆为180˚。 <br />欧氏几何对后世的影响 <br />后人称颂毕达哥拉斯定理,说它是平面几何中最重要的定理。迄今为止,在大部分有意义的几何空间中,都要求这条定理在无穷小的情形下成立。 <br />三角形内角和为180˚,本质上是说平面是平坦不具有曲率的。Legendre首先指出它等价于下面所出的命题。 <br />欧氏第五公理 <br />一直线与其它二直线相交后,假设其同侧二内角和少于二直角,则沿此侧面延长此二直线,它们必会在某处相交。 <br />第五公理证明的失败 <br />下面是一些尝试用欧氏其它公理去证明第五公理的人: <br /> tolemy (90-168),Prolos (410-485),Nasir al din al Tusi (1201-1274),Levi ben Gerson (1288-1344),Cataldi (1548-1626),Giovanni Alfonso Borelli (1608-1679),Giordano Vitale (1633-1711),John Wallis (1616-1703),Gerolamo Saccheri (1667-1733),Johann Heinrich Lambert (1728-1777),Adrien Marie Legendre (1752-1833)。 <br />双曲几何 <br />最后,高斯、Bolyai和罗巴切夫斯基不约而同地发明了双曲几何-曲率为负常数的空间。相传高斯曾测量在Harz山脉中由Inselberg、Brocken和Hoher三地形成的三角形,看看其内角和是否等于180˚。 <br />Klein模型和非欧几何的产生 <br />F. Klein创造了一种解析的方法,通过赋予在单位圆盘上任意两点的某种距离,给出双曲几何的一个模型,后人称之为Klein模型。至此,人们终于证明了欧氏第五公理不可以由其它公理推导出来。 <br />双曲几何给出第一个抽象而与欧氏不一样的空间,影响到黎曼的工作。 <br />陈氏类 <br />高斯发现三角形内角和减去180˚后与曲率和三角形面积的乘积相等,高斯把这个性质推广成为一条有关曲率的积分公式。高斯-Bonnet公式在现代几何和拓扑学中非常重要。我的老师陈省身先生将它推广到高维空间,而最后发展成陈氏类,这个发展为近代时空创造了宏观的法。 <br />在近代的弦学中,时空的质子数目与陈氏类有关 <br />微积分之始 <br />如果几何的对象仅仅是平面和球面,那便太局限了。当人们了解到如何利用无穷近似的方法去构造弯曲的几何对象时,情况便大大不同了。阿基米德(公元前287-前212)首先用这种方法来计算界于抛物线和直线之间的区域的面积。这种做法为多个世纪后,牛顿和莱布尼兹发明微积分埋下种子。 <br />事实上,阿基米德几乎已经创立了微积分,但是当时的物理和天文背景尚未成熟,所以没有迫切的需要去建立这项巨大的工作。 <br />圆锥截面理论 <br />Apollonius提出圆锥截面的理论,Hipparchus和托勒密利用了这套理论来发展行星运动的本轮模型。虽然这个模型并不正确,但圆锥曲面的理论却对后世开普勒著名的行星运动定律具有深远的影响。我们必须注意到,是Hipparchus首先利用几何学及三角学,把天文学从一大堆杂乱无章的数据资料,转化成一门精确的观测科学,而托勒密则创建了太阳系的地心说。 <br />开普勒定律 <br />开普勒和伽利略均对行星运动的资料深深着迷。利用Brahe多年来收集的大量精确资料,并通过巨细无遗的数据分析,开普勒终于算出行星的轨道是椭圆的。 <br />Brahe的观测是以地球为参考点的一大堆数字。开普勒为了要将它们改换成为以太阳为参考中心的运动轨迹,长年累月地用到算术及三角。 <br />解析几何 <br />要等到费马(1629)和笛卡儿(1637)引入坐标系统后,人们才能用代数的方式来表示运动轨迹。 <br />笛卡儿(1596-1650):“我已铁定了心,扬弃抽象的几何学,它探讨的问题,除了能够锻炼头脑外,就没有什么用处。代而之我要研究那些以解释大自然现象为目标的几何。” <br />由此可见,笛卡儿的解析几何研究受到物理学的影响。 <br />解析几何的应用 <br />在笛卡儿的坐标系统中,直线是由线性函数定义的,而圆锥截面则由二次函数决定。利用这种代数的方式,开普勒的行星运动定律就变得一清二楚了。 <br />坐标系统 <br />开普勒第二定律 <br />笛卡儿发明了解析几何,可说是几何学上的一大突破。他引进坐标系统来描述几何图形,几何和代数因此结合起来了。坐标系统让我们绕过欧氏公理来研究几何图形,它也领导我们进入了高维空间。 <br />微积分 <br />莱布尼兹(1646-1716)和牛顿(1642-1727)各自独立地发明了微积分。 <br />莱布尼兹:“上帝算,天地生。” <br />莱布尼兹 <br />莱布尼兹的工作既是代数的也是分析的。他利用图像的办法,并引入优越的符号,他为微积分创造了一个完整的数学架构。 <br />莱布尼兹于1677发表了他的结果,比牛顿发明微积分晚了整整十年。但牛顿的工作,只在少数数学家及科学家中流传。两者不同的做法最后导致优先权的大争辩。 <br />牛顿 <br />利用解析几何和微积分,牛顿及其他天文学家对天体的运动进行了巨细无遗的计算。天体的运动是透过欧氏空间的整体坐标系统来描述的,在那里空间是静止的,而时间则独立于空间之外。 <br />太阳系 <br />牛顿力学 <br />物理的真实性属于经验的范畴。科学的目的是寻找这种真实性背后的规律及合理性。 <br />牛顿把大量的物理现象用同一个理论框架统一起来。牛顿定律是有关运动的。但运动在哪里进行呢?那便是空间。 <br />绝对空间 <br />牛顿宣称他的时空是绝对的、静止的。它为宇宙提供一个刚性的、永恒不变的舞台。 <br />牛顿:“对内对外而言,绝对空间都是相似及不动的。” <br />牛顿利用一个旋转水桶的实验,来说明绝对空间的存在性,而惯性坐标便是在绝对空间中静止的坐标。 <br />微积分的丰收时期 <br />莱布尼兹对牛顿绝对空间的概念提出异议。 <br />微积分和牛顿力学的伟大胜利,使物理学家及数学家忙于利用微积分这个新的工具去发展新的学问,直到十九世纪才对时空有基本性的改变。在这时期中,对几何学有重大贡献的是欧拉(1707-1783),他是绝对空间概念的忠实信徒。 <br />高斯与黎曼几何 <br />古典的几何学者在讨论三维空间中的曲面时,他们留意到曲面上每一点的曲率,都有两个不同的选择。比如在一个圆柱面上,一个方向是沿其横切的圆,另一个则是沿垂直线。 <br />高斯在1827年发现这两个曲率的乘积具有惊人的属性。当我们令曲面在空间变型,只要它没有拉长缩短,这个积是不变的!后世称这个积为高斯曲率。 <br />内蕴几何 <br />高斯把这条定理写入《曲面通论》一书中。他指出必须把曲面的内在性质,即身处曲面内扁小甲虫所经验的属性,与其外在的,即依赖于曲面如何置于空间的性质区分开来,而只有内在性质,才值得“几何学家焚膏继晷,兀兀穷年地上下求索”。后世称研究这些性质的学问为内蕴几何。 <br />高斯曲率决定曲面的内蕴几何 <br />从球面剪取一片曲面,其高斯曲率为正常数。反过来说,局部而言,任何具正常曲率的曲面都可以等距地映射成球面的一部分。 <br />类似地,从双曲曲面剪取的一片,其高斯曲率恒等于―1,而反过来说曲率等于―1的曲面与双面曲面局部相等。双曲曲面曾在讨论欧氏第五公理时论及。 <br />高斯对几何的深思 <br />高斯显然因他的定理兴奋不已。但他并没有认为人们对空间已认识透彻。 <br /></p> |