20世纪数学概观(Ⅲ) ——现代数学成果十例.ppt

相关猜想 莫代尔猜想：对于方程x^n+y^n=1，这样的方程至多有有限个有理数解 谷山—志村猜想：有理数上的椭圆曲线都是模曲线 弗雷命题：假设费马大定理不存在，即存在一组非零整数A、B、C,使得A^n+B^n=C^n(n2),那么有这组数构成的形如y^2=x(x+A^n)(x — B ^n)的椭圆曲线，不可能是模曲线 著名未决猜想的进展 亨利●庞加莱 大数学家—— 20世纪数学概观（Ⅲ） ——现代数学成果十例 四色定理(Four color theorem) 4 × 3 × 2 × 1 × 1 × 3 × 3 藍 綠 黃 许多同学都知到排列组合把，也应该应该都做过这个着色问题吧： 用4种不同的顏色去涂右边这个脸谱，每区域一色，同一种顏色可重复使用，但相邻区域不可同色，则有多少种涂法？  答案是214种 地图四色定理最先是由一位叫古德里的英国大学生提出来的。四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。” 定理概述： 用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆 定理的提出 1852年首先由英国青年大学生古德里提出“四色问题”； 1878年凯莱发表《论地图的着色》，掀起了一场四色问题热； 1879年律师肯泊（英，1849－1922年）宣布证明了“四色问题”并发表于《美国数学杂志》上； 1890年希伍德（英，1861－1955年）指出了肯泊的错误，证明了“五色定理”并一生坚持研究四色问题。 定理的发展 进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯泊的想法在进行； 1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯泊的想法，结合自己新的设想；证明了某些大的构形可约； 美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色； 1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国； 这种推进仍然十分缓慢。 定理的解决 1976年哈肯和阿佩尔，利用“不可避免构形集”、“可约集”等关键意义的概念，采用计算机实验方法，成功获得了一组不可避免可约图，最终解决了四色问题。 定理的影响 “四色问题”的被证明仅解决了一个历时100多年的难题，而且成为数学史上一系列新思维的起点。在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。 分形与混沌 分形的发现 20世纪数学在几何概念上有两次飞跃与空间维度相关：从有限维到无穷维的飞跃；从整数维到分数维的飞跃。 美籍法国数学家蒙德尔布罗1967年发表的文章《英国海岸线有多长？》标志着后一次飞跃的开始。 海岸线问题是一个实际的地理测量问题。二十世纪下半叶，有人发现一些百科全书中记录的海岸线竟相差20％，法国数学家蒙德尔布罗经过认真研究认为是由于海岸线形状的不规则引起的，由于这种不规则，不同的测量尺度将得出不同的测量结果。 英国的海岸线地图 分形的创立 1967年发表于美国《科学》杂志上的“英国的海岸线有多长”的划时代论文，是蒙德尔布罗的分形思想萌芽的重要标志。 1973年，在法兰西学院讲课期间，蒙德尔布罗提出了分形几何学的整体思想。 1977年，蒙德尔布罗出版了第一本著作《分形：形态，偶然性和维数》，标志着分形理论的正式诞生。 1982年，蒙德尔布罗出版了著名的专 著《自然界的分形几何学》，至此， 分形理论初步形成。 现在，分形已广泛地应用于数学、物理、化学、生物学．把形态、功能和信息方面具有自相似性的对象称为分形．  分形植物 Koch 雪花 Sierpinski 三角形 从1978年开始，蒙德尔布罗等人开始研究在非线性变换(即允许比简单放大与平移更复杂的操作如平方、立方等)下保持不变的分形，他们利用电子计算机来产生这样的分形图形，并研究它们的性质，又发现了所谓“混沌”(chaos)现象，导致了混沌动力学的建立。 混沌动力学的创立 有限单群分类 有限单群分类的基本内容 有限单群分类的证明历史 二代分类 （一）. 定理 有限单群是指：除了单位元群和它本身以外没有其他正规子群的有限群。有限单群类似于整数中的素数，可比喻为搭成有限群的“积木块”，是有限群结构的基石。 找出所有的有限单群的问题称为有限单