现代数学选论.docVIP

幻灯片1 第十二章 春日盛开的紫罗兰 现代数学选论 幻灯片2 如果说非欧几何、群论、集合论是19世纪数学的三大革命，那么，泛函分析、抽象代数、拓扑学则是20世纪后的现代数学的理论基础。 幻灯片3 12.1 泛函分析的诞生 巴拿赫于1932年出版的《线性算子理论》标志了泛函分析的成熟，因此，巴拿赫被人们称为“泛函分析之父” 幻灯片4 12.2 抽象代数的确立 由一元高次方程的代数根的研究，伽罗瓦提出了“置换群”、“子群”、“正规子群”、“极大正规子群”等数学概念，使得数学不仅可以研究现实的量，而且也可研究任意构造的量 幻灯片5 12.2 抽象代数的确立 以德国女数学家诺特为代表的戴德金、韦伯、希尔伯特等人将伽罗瓦的思想方法进一步深化，抽象出群、环、域、模等概念，一个新的数学分支——抽象代数出现了。 幻灯片6 12.2 抽象代数的确立 诺特从不同领域的相似现象出发，把不同的对象加以抽象化、公理化，提炼出最一般的概念：同态、理想等 幻灯片7 12.2 抽象代数的确立 诺特从不同领域的相似现象出发，把不同的对象加以抽象化、公理化，提炼出最一般的概念：同态、理想等 从此，代数学研究对象从研究代数方程的根，进入到研究数字、文字和更一般元素的代数运算规律和各种代数结构，完成了古典代数到抽象代数的本质的转变。 幻灯片8 12.2 抽象代数的确立 假定两个群G和 同态， 是 的一个不变子群，N是 的逆象。证明： 证明：所有同n互素的模n的剩余类对于剩余类的乘法来说作成一个群。 找出模6的剩余类环的所有理想。 幻灯片9 12.3 拓扑学的起源与发展 拓扑学是研究几何图形连续性质即在连续变形下保持不变性质的一门学科。 它的起源可以追溯到18世纪欧拉对著名的哥尼斯堡七桥问题的研究。 幻灯片10 在哥尼斯堡，有七座桥将普雷格尔河中两个岛及岛与河岸连接起来（如图），问是否可能从这四块陆地中任一块出发，恰好通过每座桥一次，再回到起点？即是否存在一条路线，可不重复地走遍七座桥？ 幻灯片11 欧拉用点表示岛和陆地，两点之间的连线表示连接它们的桥，将河流、小岛和桥简化为一个网络，把七桥问题化成判断连通网络能否一笔画的问题。 幻灯片12 ⒈凡是由偶点组成的连通图，一定可以一笔画成。画时可以把任一偶点为起点，最后一定能以这个点为终点画完此图。 幻灯片13 ⒈凡是由偶点组成的连通图，一定可以一笔画成。画时可以把任一偶点为起点，最后一定能以这个点为终点画完此图。⒉凡是只有两个奇点的连通图（其余都为偶点），一定可以一笔画成。画时必须把一个奇点为起点，另一个奇点终点。 幻灯片14 ⒈凡是由偶点组成的连通图，一定可以一笔画成。画时可以把任一偶点为起点，最后一定能以这个点为终点画完此图。⒉凡是只有两个奇点的连通图（其余都为偶点），一定可以一笔画成。画时必须把一个奇点为起点，另一个奇点终点。⒊其他情况的图都不能一笔画出。(奇点数除以二便可算出此图需几笔画成。) 幻灯片15 ⒈凡是由偶点组成的连通图，一定可以一笔画成。画时可以把任一偶点为起点，最后一定能以这个点为终点画完此图。⒉凡是只有两个奇点的连通图（其余都为偶点），一定可以一笔画成。画时必须把一个奇点为起点，另一个奇点终点。⒊其他情况的图都不能一笔画出。(奇点数除以二便可算出此图需几笔画成。) 在哥尼斯堡七桥问题中，奇点有4个，所以不能一笔画。 幻灯片16 欧拉的考虑非常巧妙，非常具有数学特色——把一个实际问题抽象成合适的数学模型，忽略问题的非本质属性，通过模型的研究来解决现实问题。 此问题还被收录进小学数学六年级下册教材： 幻灯片17 12.3 拓扑学的起源与发展 1852年，古德里提出的关于四色问题的猜想，对拓扑学的发展起到了进一步的推动作用 幻灯片18 “任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就不叫相邻的。 幻灯片19 幻灯片20 美国伊利诺斯大学的哈肯和阿佩尔合作编制了一个程序，1976年6月，他们在两台不同的电子计算机上，用了1200个小时，作了100亿次判断，终于完成了四色定理的证明，轰动了世界。 幻灯片21 在“四色问题”的研究过程中，不少新的数学理论随之产生。如将地图的着色问题化为图论问题，丰富了图论的内容，不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编