拓扑学(topology),是研究几何图形或空间在连续改变形状后还能保持不变的一些性质的学科。它只考虑物体间的位置关系而不考虑它们的形状和大小。在拓扑学里,重要的拓扑性质包括
连通性与紧致性。
学科起源
有关拓扑学的一些内容早在十八世纪就出现了。那时候发现一些孤立的问题。后来在拓扑学的形成中占着重要的地位。譬如哥尼斯堡七桥问题、多面体的
欧拉定理、四色问题等都是拓扑学发展史的重要问题。
七桥问题
18世纪著名古典数学问题之一。在哥尼斯堡的一个公园里,有七座桥将普雷格尔河中两个岛及岛与河岸连接起来(如图1)。问是否可能从这四块陆地中任一块出发,恰好通过每座桥一次,再回到起点?欧拉于1736年研究并解决了此问题,他把问题归结为如图1的“一笔画”问题,证明上述走法是不可能的。
有关图论研究的热点问题。18世纪初普鲁士的哥尼斯堡,有一条河穿过,河上有两个小岛,有七座桥把两个岛与河岸联系起来。有个人提出一个问题:一个步行者怎样才能不重复、不遗漏地一次走完七座桥,最后回到出发点。后来大数学家欧拉把它转化成一个几何问题——一笔画问题。他不仅解决了此问题,且给出了连通图可以一笔画的充要条件是:奇点的数目不是0个就是2个(连到一点的数目如是奇数条,就称为奇点,如果是偶数条就称为偶点,要想一笔画成,必须中间点均是偶点,也就是有来路必有另一条去路,奇点只可能在两端,因此任何图能一笔画成,奇点要么没有要么在两端)
欧拉定理
在拓扑学的发展历史中,还有一个著名而且重要的关于多面体的定理也和欧拉有关。这个定理内容是:如果一个
凸多面体的顶点数是v、棱数是e、面数是f,那么它们总有这样的关系:f+v-e=2。
根据多面体的
欧拉定理,可以得出这样一个有趣的事实:只存在五种正多面体。它们是
正四面体、
正六面体、
正八面体、
正十二面体、
正二十面体。
四色问题
著名的“四色问题”也是与拓扑学发展有关的问题,又称四色猜想。1852年,毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时发现:每幅地图都可以用四种颜色着色,使得有共同边界的国家都被着上不同的颜色。
1872年,英国当时最著名的数学家
凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题。1976年,美国数学家阿佩尔与
哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,做了100亿种判断,终于完成了四色定理的证明。不过不少数学家并不满足于计算机取得的成就,他们认为应该有一种简捷明快的书面
证明方法。
学科简介
Topology原意为地貌,起源于希腊语Τοπολογ。形式上讲,拓扑学主要研究“拓扑空间”在“连续变换”下保持不变的性质。简单的说,拓扑学是研究连续性和连通性的一个数学分支。
拓扑学起初叫形势分析学,是德国数学家
莱布尼茨1679年提出的名词。十九世纪中期,德国数学家
黎曼在复变函数的研究中强调研究函数和积分就必须研究形势分析学。从此开始了现代拓扑学的系统研究。
等价
在拓扑学里不讨论两个图形全等的概念,但是讨论拓扑等价的概念。比如,圆和方形、三角形的形状、大小不同,但在拓扑变换下,它们都是等价图形;足球和橄榄球,也是等价的----从拓扑学的角度看,它们的
拓扑结构是完全一样的。
而
游泳圈的表面和足球的表面则有不同的拓扑性质,比如游泳圈中间有个“洞”。在拓扑学中,足球所代表的空间叫做
球面,游泳圈所代表的空间叫
环面,球面和环面是“不同”的空间。
性质
“连通性”最简单的拓扑性质。上面所举的空间的例子都是连通的。而“可定向性”是一个不那么平凡的性质。我们通常讲的平面、曲面通常有两个面,就像一张纸有两个面一样。这样的空间是可定向的。
而德国数学家莫比乌斯(1790~1868)在1858年发现了莫比乌斯曲面。这种曲面不能用不同的颜色来涂满。莫比乌斯曲面是一种“不可定向的”空间。可定向性是一种拓扑性质。这意味着,不可能把一个不可定向的空间连续的变换成一个可定向的空间。
发展简史
萌芽
拓扑学起初叫形势分析学,这是德国数学家
莱布尼茨1679年提出的名词。
欧拉在1736年解决了七桥问题,1750年发表了多面体公式;高斯1833年在电动力学中用
线积分定义了空间中两条封闭曲线的环绕数。Topology这个词是由J.B.利斯廷提出的(1847),源自希腊文τόπος和λόγος(“位置”和“研究”)。这是拓扑学的萌芽阶段。
1851年,德国数学家
黎曼在复变函数的研究中提出了黎曼面的几何概念,并且强调为了研究函数、研究积分,就必须研究形势分析学。黎曼本人解决了可定向闭曲面的
同胚分类问题。
组合拓扑学的奠基人是法国数学家
庞加莱。他是在
分析学和力学的工作中,特别是关于复函数的
单值化和关于微分方程决定的曲线的研究中,引向拓扑学问题的。他的主要兴趣在
流形。在1895~1904年间,他创立了用剖分研究流形的基本方法。他引进了许多不变量:基本群、同调、贝蒂数、挠系数,探讨了三维流形的拓扑分类问题,提出了著名的
庞加莱猜想。
拓扑学的另一渊源是分析学的严密化。实数的严格定义推动
康托尔从1873年起系统地展开了
欧氏空间中的点集的研究,得出许多拓扑概念,如聚点(
极限点)、
开集、闭集、稠密性、连通性等。在点集论的思想影响下,分析学中出现了
泛函(即函数的函数)的观念,把函数集看成一种几何对象并讨论其中的极限。这终于导致抽象空间的观念。
点集拓扑
最早研究抽象空间的是M.-R.
弗雷歇。他在1906年引进了
度量空间的概念。F.
豪斯多夫在《集论大纲》(1914)中用开
邻域定义了比较一般的拓扑空间,标志着用
公理化方法研究连续性的一般拓扑学的产生。随后
波兰学派和苏联学派对拓扑空间的基本性质(分离性、紧性、连通性等)做了系统的研究。经过20世纪30年代中期起
布尔巴基学派的补充(一致性空间、仿紧性等)和整理,一般拓扑学趋于成熟,成为
第二次世界大战后数学研究的共同基础。
欧氏空间中的点集的研究,一直是拓扑学的重要部分,已发展成一般拓扑学与
代数拓扑学交汇的领域,也可看作
几何拓扑学的一部分。50年代以来,即问两个映射,以R.H.宾为代表的美国学派的工作加深了对流形的认识,是问两个给定的映射是否
同伦,在四维
庞加莱猜想的证明中发挥了作用。从
皮亚诺曲线引起的维数及
连续统的研究,习惯上也看成一般拓扑学的分支。
代数拓扑
L.E.J.
布劳威尔在1910~1912年间提出了用单纯映射逼近连续映射的方法, 许多重要的几何现象,用以证明了不同维的欧氏空间不同胚,它们就不同胚。引进了同维流形之间的映射的度以研究同伦分类,并开创了
不动点理论。他使组合拓扑学在概念精确、论证严密方面达到了应有的标准。紧接着,J.W.亚历山大1915年证明了贝蒂数与挠系数的拓扑不变性。
随着抽象代数学的兴起,1925年左右A.E.
诺特提议把组合拓扑学建立在群论的基础上,在她的影响下H.
霍普夫1928年定义了同调群。从此组合拓扑学逐步演变成利用抽象代数的方法研究拓扑问题的
代数拓扑学。如维数、欧拉数,S.艾伦伯格与N.E.斯廷罗德1945年以公理化的方式总结了当时的
同调论,后写成《代数拓扑学基础》(1952),对于代数拓扑学的传播、应用和进一步发展起了巨大的推动作用。
他们把代数拓扑学的基本精神概括为:把拓扑问题转化为代数问题,通过计算来求解。直到今天,同调论所提供的
不变量仍是拓扑学中最易于计算和最常用的不变量。
同伦论
同伦论研究空间的以及映射的同伦分类。W.赫维茨1935~1936年间引进了拓扑空间的n维同伦群,其元素是从n维球面到该空间的映射的同伦类,一维同伦群就是
基本群。同伦群提供了从拓扑到代数的另一种过渡,其几何意义比同调群更明显,但是极难计算。同伦群的计算,特别是球面的同伦群的计算问题刺激了拓扑学的发展,产生了丰富多彩的理论和方法。1950年法国数学家
塞尔利用J.勒雷为研究
纤维丛的同调论而发展起来的谱序列这个代数工具,在同伦群的计算上取得突破。
从50年代末在代数几何学和微分拓扑学的影响下产生了K理论,以及其他几种广义同调论。它们都是从拓扑到代数的过渡。尽管几何意义各不相同,代数性质却都与同调或上同调十分相像,是
代数拓扑学的有力武器。从理论上也弄清了,同调论(普通的和广义的)本质上是同伦论的一部分。
微分拓扑
微分拓扑是研究
微分流形与可微映射的拓扑学。随着代数拓扑和微分几何的进步,在30年代重新兴起。H·惠特尼(H. Whitney)在1935年给出了微分流形的一般定义,并证明它总能嵌入高维欧氏空间。为了研究微分流形上的向量场,他还提出了
纤维丛的概念,从而使许多几何问题都与同调(示性类)和同伦问题联系起来了。
1953年R·托姆(Rene Thom)的
配边理论开创了微分拓扑学与
代数拓扑学并肩跃进的局面,许多困难的微分拓扑问题被化成代数拓扑问题而得到解决,同时也刺激了代数拓扑学的进一步发展。1956年米尔诺发现七维球面上除了通常的
微分结构之外,还有不同寻常的微分结构。随后,不能赋以任何微分结构的流形又被人构作出来,这些都显示
拓扑流形、微分流形以及介于其间的分段
线性流形(piecewise linear manifold)这三个
范畴有巨大的差别,微分拓扑学也从此被公认为一个独立的拓扑学分支。1960年
斯梅尔证明了五维以上微分流形的
庞加莱猜想。J.W.米尔诺等人发展了处理微分流形的基本方法──剜补术,使
五维以上流形的分类问题亦逐步趋向代数化。
突出的领域如
流形的上述三大范畴之间的关系以及三维、四维流形的分类。80年代初的重大成果有:证明了四维
庞加莱猜想,发现四维欧氏空间存在不同寻常的微分结构。这种种研究,通常泛称几何拓扑学,以强调其几何色彩,区别于代数味很重的同伦论。
超导现象
2016年10月,科学家打开了一个未知的世界,物质可以以一种奇怪的状态存在,他们利用先进的数学方法来研究不同寻常物质状态,如超导体、超流体或磁膜等。决定性的发现是三位获奖者使用了物理拓扑的概念,给他们后来的发现起到了决定性作用。
三位科学家采用拓扑学作为研究工具,这一举动在当时让同行感到吃惊。在上世纪70年代早期,当时的理论认为超导现象和超流体现象不可能在薄层中产生,而Michael Kosterlitz 和David Thouless推翻了这一理论。他们证明了超导现象能够在低温下产生,并阐释了超导现象在较高温度下也能产生的机制——相变。
学科影响
连续性与离散性这对矛盾在自然现象与社会现象中普遍存在着,数学也可以粗略地分为连续性的与离散性的两大门类。拓扑学对于连续性数学自然是带有根本意义的,对于离散性数学也起着巨大的推进作用。例如,拓扑学的基本内容已经成为现代数学工作者的常识。拓扑学的重要性,体现在它与其他数学分支、其他学科的相互作用。拓扑学在泛函分析、实分析、群论、微分几何、微分方程其他许多数学分支中都有广泛的应用。
微分几何
拓扑学与
微分几何学有着血缘关系,它们在不同的层次上研究流形的性质。为了研究黎曼流形上的测地线,H.M.摩尔斯在20世纪20年代建立了
非退化临界点理论(摩尔斯理论),把流形上光滑函数的临界点的指数与流形本身的贝蒂数联系起来,并发展成大范围变分法。莫尔斯理论后来又用于拓扑学中,证明了典型群的同伦群的
博特周期性定理,并启示了处理微分流形的剜补术。微分流形、纤维丛、示性类给E·嘉当的整体微分几何学提供了合适的理论框架,也从中获取了强大的动力和丰富的课题。
陈省身在40年代引进了“陈示性类”,就不但对
微分几何学影响深远,对拓扑学也十分重要。纤维丛理论和联络论一起为理论物理学中杨-米尔斯规范场理论提供了现成的数学框架, 犹如20世纪初黎曼几何学对于A.爱因斯坦广义相对论的作用。规范场的研究又促进了四维的微分拓扑学出人意料的进展。
分析学
拓扑学对于分析学的现代发展起了极大的推动作用。随着科学技术的发展,需要研究各式各样的非线性现象,分析学更多地求助于拓扑学。要问一个结能否解开(即能否变形成平放的圆圈),30年代J.勒雷和J.P.绍德尔把L.E.J.布劳威尔的不动点定理和映射度理论推广到巴拿赫空间形成了拓扑度理论。后者以及前述的临界点理论,都已成为研究非线性偏微分方程的标准的工具。微分拓扑学的进步,促进了分析学向流形上的分析学(又称大范围分析学)发展。
在托姆的影响下,然后随意扭曲,微分映射的结构稳定性理论和奇点理论已发展成为重要的分支学科。S.斯梅尔在60年代初开始的微分动力系统的理论。就是流形上的常微分方程论。M.F.阿蒂亚等人60年代初创立了微分流形上的椭圆型算子理论。著名的阿蒂亚-辛格指标定理把算子的解析指标与流形的示性类联系起来,是分析学与拓扑学结合的范例。现代泛函分析的算子代数已与K理论、指标理论、叶状结构密切相关。在多复变函数论方面,来自代数拓扑的层论已经成为基本工具。
抽象代数
拓扑学的需要大大刺激了抽象代数学的发展,并且形成了两个新的代数学分支:同调代数与
代数K理论。代数几何学从50年代以来已经完全改观。托姆的配边理论直接促使代数簇的黎曼-罗赫定理的产生,后者又促使拓扑K 理论的产生。现代代数几何学已完全使用上同调的语言,代数数论与代数群也在此基础上取得许多重大成果,例如有关不定方程整数解数目估计的韦伊猜想和莫德尔猜想的证明。
范畴与函子的观念,是在概括代数拓扑的方法论时形成的。范畴论已深入数学基础、
代数几何学等分支,对拓扑学本身也有影响。如拓扑斯的观念大大拓广了经典的拓扑空间观念。
经济学
在经济学方面,冯·诺伊曼首先把不动点定理用来证明均衡的存在性。在现代数理经济学中,对于经济的数学模型,均衡的存在性、性质、计算等根本问题都离不开代数拓扑学、微分拓扑学、大范围分析的工具。在
系统理论、对策论、规划论、网络论中拓扑学也都有重要应用。
其他学科
托姆以微分拓扑学中微分映射的奇点理论为基础创立了突变理论,为从量变到质变的转化提供各种数学模式。在物理学、化学、生物学、语言学等方面已有不少应用。除了通过各数学分支的间接的影响外,拓扑学的概念和方法对物理学(如液晶结构缺陷的分类)、化学(如分子的拓扑构形)、生物学(如DNA的环绕、拓扑异构酶)都有直接的应用。
初等实例
除去七桥问题,四色问题,欧拉定理等,拓扑学中还有很多有趣并且很基本的问题。
纽结问题
空间中一条自身不相交的封闭曲线,会发生打结现象。要问一个结能否解开(即能否变形成平放的圆圈),或者问两个结能否互变,并且不只做个模型试试,还要给出证明,那就远不是件容易的事了(见纽结理论)。
维数概念
什么是曲线?朴素的观念是点动成线,随一个参数(时间)连续变化的动点所描出的轨迹就是曲线。可是,皮亚诺在1890年竟造出一条这样的“曲线”,它填满整个正方形。这激发了关于维数概念的深入探讨,经过20~30年才取得关键性的突破。
向量场问题
考虑光滑曲面上的连续的切向量场,即在曲面的每一点放一个与曲面相切的向量,并且其分布是连续的,其中向量等于0的地方叫作奇点。例如,地球表面上每点的风速向量就组成一个随时间变化的切向量场,而奇点就是当时没风的地方。从直观经验看出,球面上的连续切向量场一定有奇点,而环面上却可以造出没有奇点的向量场。 进一步分析,每个奇点有一个“指数”,即当动点绕它一周时,动点处的向量转的圈数;此指数有正负,视动点绕行方向与向量转动方向相同或相反而定。
球面上切向量场,只要奇点个数是有限的,这些奇点的指数的代数和(正负要相消)恒等于2;而环面上的则恒等于0。这2与0恰是那两个曲面的欧拉数,这不是偶然的巧合。这是拓扑学中的庞加莱-霍普夫定理。
不动点问题
考虑一个曲面到自身的连续变换(映射),即曲面的每一点被移到该曲面上的新的位置,连续是指互相邻近的点被移到互相邻近的点,新旧位置相同的点叫作这变换的不动点。随后,每个不动点也有个“指数”,即当动点绕它一周时,从动点指向其像点的向量转动的圈数。
拓扑学家们发现,曲面到自身的映射的不动点个数如果是有限的,它们的指数的代数和不会因对这映射做细微的修改而改变,因而可从这映射的某些粗略的特征计算出来。特别是对于实心圆上的映射,指数和恒为1,所以实心圆到自身的映射总有不动点。
子领域
科研人员
2016年10月4日下午5点45分,2016年诺贝尔物理学奖揭晓,三位英美科学家David J. Thouless, F. Duncan M. Haldane,J. Michael Kosterlitz获奖。获奖理由是“理论发现拓扑相变和拓扑相物质”。其中,David J. Thouless独享一半奖金,F. Duncan M. Haldane与J. Michael Kosterlitz分享另一半奖金。
David J. Thouless,1934年出生于英国贝尔斯登,1958年从
美国康奈尔大学获得博士学位。现为
美国华盛顿大学荣誉退休教授。
F. Duncan M. Haldane,1951年出生于英国伦敦,1978年从
英国剑桥大学获得博士学位。现为
美国普林斯顿大学物理学教授。
J. Michael Kosterlitz,1942年出生于英国阿伯丁,1969年从
英国牛津大学获得博士学位。现为
美国布朗大学物理学教授。
关于中国的第一篇拓扑学论文有两种观点:一种认为1925或1926年俞大维发表了第一篇拓扑学论文,这源自李仲珩(李达)1944年在《科学》第3期发表的《三十年来中国的算学》;另一种否定前者,提出1931年江泽涵发表了第一篇拓扑学论文。