从古典几何到现代几何讲稿.ppt
从古典几何到现代几何第一页，讲稿共四十页哦前言前言n几何学源远流长，文献丰富。在长达数千年的人类历史长河中，在长达数千年的人类历史长河中，几何史就是数学史、科学史、人类文明几何史就是数学史、科学史、人类文明史的一个缩影，从中可以看到人类社会史的一个缩影，从中可以看到人类社会前进的足迹。前进的足迹。第二页，讲稿共四十页哦前言前言n几何学特色鲜明，多彩多姿。从古希腊时代起，就形成了一套科学从古希腊时代起，就形成了一套科学的研究方法，严密的逻辑体系。两千多的研究方法，严密的逻辑体系。两千多年来，无论是思想观念的更新，还是科年来，无论是思想观念的更新，还是科学理论的创立，几何学都扮演了开路先学理论的创立，几何学都扮演了开路先锋的角色。锋的角色。第三页，讲稿共四十页哦前言前言n n几何学应用广泛，无处不在。从现代文明的成果看，无论是火箭、卫星的研制发射，从现代文明的成果看，无论是火箭、卫星的研制发射，从现代文明的成果看，无论是火箭、卫星的研制发射，从现代文明的成果看，无论是火箭、卫星的研制发射，还是人类生存空间的保护和改善，无一不用到几何的知识；还是人类生存空间的保护和改善，无一不用到几何的知识；还是人类生存空间的保护和改善，无一不用到几何的知识；还是人类生存空间的保护和改善，无一不用到几何的知识；再从推动科学的进步看，几何学的空间直观引起的直觉思再从推动科学的进步看，几何学的空间直观引起的直觉思再从推动科学的进步看，几何学的空间直观引起的直觉思再从推动科学的进步看，几何学的空间直观引起的直觉思维，构造几何模型产生的结构观念，追求严密逻辑走出的维，构造几何模型产生的结构观念，追求严密逻辑走出的维，构造几何模型产生的结构观念，追求严密逻辑走出的维，构造几何模型产生的结构观念，追求严密逻辑走出的公理化道路，无一不渗透到数学乃至科学的各个领域。公理化道路，无一不渗透到数学乃至科学的各个领域。公理化道路，无一不渗透到数学乃至科学的各个领域。公理化道路，无一不渗透到数学乃至科学的各个领域。第四页，讲稿共四十页哦n n 古典几何泛指第一流的几何学家及其相古典几何泛指第一流的几何学家及其相应的几何著作，包括：欧氏几何、射影几应的几何著作，包括：欧氏几何、射影几何、解析几何、非欧几何等多个方面。何、解析几何、非欧几何等多个方面。n n 现代几何主要是指微分几何，它是由高现代几何主要是指微分几何，它是由高斯、黎曼等人所奠基，再由加当、陈省身斯、黎曼等人所奠基，再由加当、陈省身等人发扬光大。等人发扬光大。前言前言第五页，讲稿共四十页哦一、欧氏几何和欧氏空间一、欧氏几何和欧氏空间n n 欧几里得（欧几里得（Euclid,Euclid,公元前公元前330330公元公元前前275275）的）的几何原本几何原本使几何学真正成使几何学真正成为一门科学。为一门科学。n n 几何，英文为几何，英文为“GeometryGeometry”，是由希，是由希腊文演变而来的，其原意为腊文演变而来的，其原意为“土地测量土地测量”。我国明代徐光启翻译。我国明代徐光启翻译几何原本几何原本时，将时，将“GeometryGeometry”一词译为一词译为“几何学几何学”，就是从其音译而来。，就是从其音译而来。第六页，讲稿共四十页哦1.1.几何原本几何原本介绍介绍n n 几何原本几何原本共分十三卷，给出了共分十三卷，给出了467个命题，几乎涵盖了前人所有的数学成个命题，几乎涵盖了前人所有的数学成果。全书精心编排，把命题依照彼此的果。全书精心编排，把命题依照彼此的逻辑关系，从简单到复杂，将内容按照逻辑关系，从简单到复杂，将内容按照顺序排列起来是欧几里得最成功的创造。顺序排列起来是欧几里得最成功的创造。第七页，讲稿共四十页哦1.1.几何原本几何原本介绍介绍n n 第一卷是全书逻辑推理的基础，给出第一卷是全书逻辑推理的基础，给出了什么是点、线、面等了什么是点、线、面等23个定义，个定义，5个公个公理，由此讨论三角形全等、边角关系、理，由此讨论三角形全等、边角关系、垂线、平行线、平行四边形、多边形、垂线、平行线、平行四边形、多边形、勾股定理等。勾股定理等。第八页，讲稿共四十页哦1.1.几何原本几何原本介绍介绍n n 五条公设是：五条公设是：（1 1）从每个点到每个别的点必定可引直线；）从每个点到每个别的点必定可引直线；（2 2）直线可以无限延长；）直线可以无限延长；（3 3）以任一点为中心，任意长为半径可以作圆；）以任一点为中心，任意长为半径可以作圆；（4）所有直角都相等；）所有直角都相等；）所有直角都相等；）所有直角都相等；（5 5）若一直线与两条直线相交，且同侧内角和小于）若一直线与两条直线相交，且同侧内角和小于）若一直线与两条直线相交，且同侧内角和小于）若一直线与两条直线相交，且同侧内角和小于 两直角，则此两直线必在该侧相交。两直角，则此两直线必在该侧相交。第九页，讲稿共四十页哦1.1.几何原本几何原本介绍介绍n n 五条公理是：五条公理是：（1 1）等于同量的量相等；）等于同量的量相等；）等于同量的量相等；）等于同量的量相等；（2 2）等量加等量，和相等；）等量加等量，和相等；）等量加等量，和相等；）等量加等量，和相等；（3 3）等量减等量，差相等；）等量减等量，差相等；（4）彼此重合的东西是相等的；）彼此重合的东西是相等的；）彼此重合的东西是相等的；）彼此重合的东西是相等的；（5）整体大于部分。）整体大于部分。第十页，讲稿共四十页哦1.1.几何原本几何原本介绍介绍n n第二、三、四卷讨论线段的计算、直线形和圆的基本性质，第二、三、四卷讨论线段的计算、直线形和圆的基本性质，第二、三、四卷讨论线段的计算、直线形和圆的基本性质，第二、三、四卷讨论线段的计算、直线形和圆的基本性质，共共共共6767个命题；个命题；个命题；个命题；n n第六卷讨论相似形，共第六卷讨论相似形，共第六卷讨论相似形，共第六卷讨论相似形，共33个命题；个命题；个命题；个命题；n n第十一至十三卷讨论立体几何理论，共第十一至十三卷讨论立体几何理论，共第十一至十三卷讨论立体几何理论，共第十一至十三卷讨论立体几何理论，共7070几个命题；几个命题；几个命题；几个命题；n n其它第五、七、八、九、十卷讨论比例和算术理论。其它第五、七、八、九、十卷讨论比例和算术理论。其它第五、七、八、九、十卷讨论比例和算术理论。其它第五、七、八、九、十卷讨论比例和算术理论。第十一页，讲稿共四十页哦欧氏空间欧氏空间 后人把欧几里得建立的几何理论称为后人把欧几里得建立的几何理论称为“欧氏几何欧氏几何”；成立欧氏几何的平面称为；成立欧氏几何的平面称为“欧氏平面欧氏平面”；成立欧氏几何的空间称；成立欧氏几何的空间称为为“欧氏空间欧氏空间”。第十二页，讲稿共四十页哦公理法公理法 欧几里得在欧几里得在几何原本几何原本使用的这种使用的这种建立理论体系的方法称为建立理论体系的方法称为“公理法（原公理法（原始公理法）始公理法）”。第十三页，讲稿共四十页哦第第公设公设 第第公设等价于：过直线外一点只可作公设等价于：过直线外一点只可作一直线平行于已知直线。在一直线平行于已知直线。在几何原本几何原本问世的两千年中，不少人试图去修正，尤问世的两千年中，不少人试图去修正，尤其是第其是第公设，被认为可由其余九条所证公设，被认为可由其余九条所证出，或用更简单或更直观的公理来代替。出，或用更简单或更直观的公理来代替。第十四页，讲稿共四十页哦罗氏几何罗氏几何 俄国数学家罗巴切夫斯基（俄国数学家罗巴切夫斯基（LobatchevskyLobatchevsky，1793-18561793-1856）也希望能证明）也希望能证明第第公设，他企图公设，他企图通过否定第通过否定第公设的等价命题来引出矛盾公设的等价命题来引出矛盾。但他推出了一个又一个新奇的结论后仍找不但他推出了一个又一个新奇的结论后仍找不到逻辑上的矛盾，这些新的结论构成了一个到逻辑上的矛盾，这些新的结论构成了一个不同的几何体系，后来被称为罗氏几何。不同的几何体系，后来被称为罗氏几何。第十五页，讲稿共四十页哦2.2.希尔伯特与希尔伯特与几何基础几何基础 1899年法国数学家希尔伯特年法国数学家希尔伯特（Hilbert,1862-1943）发表了著作）发表了著作几何基础几何基础，结束了对欧几里得给出的理论体系进行修，结束了对欧几里得给出的理论体系进行修改和完善的工作。他在这部著作中弥补了改和完善的工作。他在这部著作中弥补了几几何原本何原本中公理系统的不足之处，指出了欧几中公理系统的不足之处，指出了欧几里得几何的一个逻辑上完善的公理系统，由此里得几何的一个逻辑上完善的公理系统，由此解决了用公理法研究几何学的基础问题。解决了用公理法研究几何学的基础问题。第十六页，讲稿共四十页哦n n三个基本对象：点、直线、平面三个基本对象：点、直线、平面n n三种基本关系：三种基本关系：“在在之上之上”、“在在中间中间”、“合同于合同于”2.2.希尔伯特与希尔伯特与几何基础几何基础第十七页，讲稿共四十页哦五组公理共五组公理共2020条条：n n第一组关联公理，共第一组关联公理，共8条；条；n n第二组顺序公理，共第二组顺序公理，共4条；条；n n第三组合同公理，共第三组合同公理，共5条；条；n n第四组连续公理，共第四组连续公理，共2条；条；n n第五组平行公理，共第五组平行公理，共1条。条。第十八页，讲稿共四十页哦现代公理法：现代公理法：以五组公理为基础，陆续定义了一些新以五组公理为基础，陆续定义了一些新的概念和证明一些新的结论（定理），的概念和证明一些新的结论（定理），这样建立起了一个依照逻辑关系，排列这样建立起了一个依照逻辑关系，排列顺序井然的体系，称为现代公理法。顺序井然的体系，称为现代公理法。第十九页，讲稿共四十页哦3.公理系统的三个问题公理系统的三个问题n n构造一个公理体系并不容易，要求满足以下条件：构造一个公理体系并不容易，要求满足以下条件：（1）无矛盾性：即所有的公理彼此不产生矛盾，）无矛盾性：即所有的公理彼此不产生矛盾，也称相容性；也称相容性；（2）独立性：即每一条公理都不能由其它公理推）独立性：即每一条公理都不能由其它公理推出，也就是公理组有最少个数，不能有多余的；出，也就是公理组有最少个数，不能有多余的；（3）完备性：即已有的公理已足够了，不能再增）完备性：即已有的公理已足够了，不能再增加与公理组都相容的新公理。加与公理组都相容的新公理。第二十页，讲稿共四十页哦n n 在数学及其它领域，利用公理法思想在数学及其它领域，利用公理法思想的地方很多，但一般并未形成欧氏几何的地方很多，但一般并未形成欧氏几何公理系统这样严格的理论体系公理系统这样严格的理论体系。一般地，。一般地，任何一个公理系统必须是相容的，但未任何一个公理系统必须是相容的，但未必是独立的，完备性更不是必需的。必是独立的，完备性更不是必需的。3.公理系统的三个问题公理系统的三个问题第二十一页，讲稿共四十页哦n n 除了欧氏几何，罗氏几何与射影几何除了欧氏几何，罗氏几何与射影几何的公理系统也具备以上三个条件的公理系统也具备以上三个条件。n n 任何一个公理体系都不可能在本系统任何一个公理体系都不可能在本系统内证明它的无矛盾性，也就是说任何一内证明它的无矛盾性，也就是说任何一个理论系统最终还是要靠实践来检验它个理论系统最终还是要靠实践来检验它的真伪与价值。的真伪与价值。3.公理系统的三个问题公理系统的三个问题第二十二页，讲稿共四十页哦二、解析几何二、解析几何 1717世纪前半叶，科学技术对数学提出世纪前半叶，科学技术对数学提出了新的要求，引起了三门全新的数学科了新的要求，引起了三门全新的数学科学的发展，它们是：解析几何、微分法学的发展，它们是：解析几何、微分法和积分法（包括简单的微分方程）。和积分法（包括简单的微分方程）。第二十三页，讲稿共四十页哦二、解析几何二、解析几何n n 法国数学家笛卡尔法国数学家笛卡尔（R.Descartes1596-1650R.Descartes1596-1650）于）于16371637年发年发表长篇著作表长篇著作更好地指导推理和寻求科更好地指导推理和寻求科学真理的方法论学真理的方法论，该书三个附录之一，该书三个附录之一几何学几何学阐述了他的坐标几何的思想，阐述了他的坐标几何的思想，标志着解析几何的诞生。标志着解析几何的诞生。第二十四页，讲稿共四十页哦二、解析几何二、解析几何n n 恩格斯评价：恩格斯评价：“数学中的转折点是笛数学中的转折点是笛卡尔的变数，有了变数，运动进入了数卡尔的变数，有了变数，运动进入了数学，有了变数，辩证法进入了数学，有学，有了变数，辩证法进入了数学，有了数学，微分和积分也立刻成为必要的了数学，微分和积分也立刻成为必要的了了”（自然辩证法自然辩证法）。）。第二十五页，讲稿共四十页哦1.1.笛卡尔的两个基本观念笛卡尔的两个基本观念（1）坐标观念：）坐标观念：其作用是把欧氏平面上的点与一对有其作用是把欧氏平面上的点与一对有序的实数对应起来。序的实数对应起来。第二十六页，讲稿共四十页哦1.1.笛卡尔的两个基本观念笛卡尔的两个基本观念 （2 2）将带两个未知数的方程和平面上的曲线相对比的）将带两个未知数的方程和平面上的曲线相对比的）将带两个未知数的方程和平面上的曲线相对比的）将带两个未知数的方程和平面上的曲线相对比的观念：观念：观念：观念：例如二元方程例如二元方程例如二元方程例如二元方程 ，这种通常有无穷，这种通常有无穷，这种通常有无穷，这种通常有无穷多组解的所谓多组解的所谓多组解的所谓多组解的所谓“不定方程不定方程不定方程不定方程”对代数学家来说是索对代数学家来说是索对代数学家来说是索对代数学家来说是索然无趣的，但笛卡尔注意到当然无趣的，但笛卡尔注意到当然无趣的，但笛卡尔注意到当然无趣的，但笛卡尔注意到当x x连续地改变时，方连续地改变时，方程相应确定的程相应确定的y y，于是两个变量，于是两个变量，于是两个变量，于是两个变量x,y可以看作是平面可以看作是平面可以看作是平面可以看作是平面上运动着的点的坐标，于是这样的点组成一条平上运动着的点的坐标，于是这样的点组成一条平上运动着的点的坐标，于是这样的点组成一条平上运动着的点的坐标，于是这样的点组成一条平面曲线。面曲线。面曲线。面曲线。第二十七页，讲稿共四十页哦1.1.笛卡尔的两个基本观念笛卡尔的两个基本观念n n 以上两个观念概括来讲，就是用代数以上两个观念概括来讲，就是用代数方法去解决几何问题，这就是解析几何方法去解决几何问题，这就是解析几何的基本思想。的基本思想。第二十八页，讲稿共四十页哦2.2.空间解析几何空间解析几何 1731年，法国人克雷洛（年，法国人克雷洛（Clairant 1713-1765）出版了）出版了关于双重曲率的曲线的关于双重曲率的曲线的研究研究一书。这是一个最早的空间解析一书。这是一个最早的空间解析几何著作，同时也研究了微分几何学。几何著作，同时也研究了微分几何学。第二十九页，讲稿共四十页哦n n 在空间建立坐标系，可以把点与有序在空间建立坐标系，可以把点与有序三实数组建立对应。从而，可用方程三实数组建立对应。从而，可用方程 F（x,y,z）=0表示曲面，用方程组表示曲面，用方程组 表示空间的曲线。表示空间的曲线。n n 主要研究二次曲面，如：椭球面、双曲主要研究二次曲面，如：椭球面、双曲面、抛物面及二次柱面等面、抛物面及二次柱面等2.2.空间解析几何空间解析几何第三十页，讲稿共四十页哦三、微分几何三、微分几何 在解析几何的基础上，如果要研究更在解析几何的基础上，如果要研究更复杂的图形，这些图形可能对应比较复复杂的图形，这些图形可能对应比较复杂的代数方程，甚至不能用代数方程来杂的代数方程，甚至不能用代数方程来表示，这时需要借助微积分作为工具，表示，这时需要借助微积分作为工具，由此产生了微分几何。由此产生了微分几何。第三十一页，讲稿共四十页哦1.1.微分几何的起源微分几何的起源n n 微分几何产生于微分几何产生于18世纪，它着眼于研世纪，它着眼于研究欧氏空间中曲线和曲面弯曲的情况，究欧氏空间中曲线和曲面弯曲的情况，如：子弹的运行轨迹，建筑物的造型，如：子弹的运行轨迹，建筑物的造型，汽车、飞机的外形等。汽车、飞机的外形等。第三十二页，讲稿共四十页哦n n 微分几何的起源可见于克雷洛的微分几何的起源可见于克雷洛的关于双关于双重曲率曲线的研究重曲率曲线的研究（1731年）一书。年）一书。n n 蒙日（蒙日（G.Monge 1746-1818）的）的分析在分析在几何学上的应用几何学上的应用（1809年）已包含了这一年）已包含了这一学科的雏形。学科的雏形。n n 欧拉（欧拉（Euler 1707-1783）的）的关于曲面上关于曲面上曲线的研究曲线的研究是微分几何的第一部重要著作。是微分几何的第一部重要著作。第三十三页，讲稿共四十页哦n n 高斯（高斯（C.F.Gauss 1777-1855）的）的关关于曲面的研究于曲面的研究（1827年）一书，奠定年）一书，奠定了曲面微分几何的基础，并把欧氏几何了曲面微分几何的基础，并把欧氏几何推广到曲面上推广到曲面上“弯曲弯曲”的几何。他认为，的几何。他认为，曲面不只是三维欧氏空间中的图形，曲曲面不只是三维欧氏空间中的图形，曲面本身就是一个空间，它有内蕴几何。面本身就是一个空间，它有内蕴几何。第三十四页，讲稿共四十页哦n n 黎曼（黎曼（B.Riemann 1826-1866)将将“弯曲弯曲”的几何理论推广到的几何理论推广到n维空间，建立了流形的维空间，建立了流形的概念。概念。1868年，由其学生以年，由其学生以论作为几何学论作为几何学基础的假设基础的假设为题出版。爱因斯坦将广义相为题出版。爱因斯坦将广义相对论中引力现象释为黎曼空间的曲率性质。对论中引力现象释为黎曼空间的曲率性质。n n 达布（达布（G.Darboux 1842-1916）的）的曲面一曲面一般理论的讲义般理论的讲义集曲线和曲面微分几何之大集曲线和曲面微分几何之大成。成。第三十五页，讲稿共四十页哦2.2.经典微分几何经典微分几何n n 研究的内容大体上分为曲线论与曲面研究的内容大体上分为曲线论与曲面论两部分。论两部分。n n 采用无穷小的方法来研究曲线与曲面采用无穷小的方法来研究曲线与曲面的的“局部局部”性质（一点附近的情况）。性质（一点附近的情况）。第三十六页，讲稿共四十页哦2.2.经典微分几何经典微分几何n n 曲率：曲率描述了曲线弯曲的程度。曲率：曲率描述了曲线弯曲的程度。曲率值越大，曲率在这一点附近越弯曲，曲率值越大，曲率在这一点附近越弯曲，反之曲率值越小，曲线在这一点附近越反之曲率值越小，曲线在这一点附近越平直。平直。n n 挠率：挠率刻划了曲线在一点处扭曲挠率：挠率刻划了曲线在一点处扭曲的程度。的程度。第三十七页，讲稿共四十页哦n n 有了曲率、挠率，曲线的形状就完全确有了曲率、挠率，曲线的形状就完全确定了。例如：在微观世界脱氧核糖酸定了。例如：在微观世界脱氧核糖酸（DNA）是一种复杂的有机化合物，它由）是一种复杂的有机化合物，它由一对相互盘绕的双螺旋形状的多核苷酸链一对相互盘绕的双螺旋形状的多核苷酸链组成，而螺旋线可以表为：组成，而螺旋线可以表为：螺旋线在每一点处的曲率相等，挠率也相等。螺旋线在每一点处的曲率相等，挠率也相等。第三十八页，讲稿共四十页哦n n 高斯曲率：通过对曲面上一点的两条曲高斯曲率：通过对曲面上一点的两条曲线（法截线）的曲率（分别为极大和极小值）线（法截线）的曲率（分别为极大和极小值），取其乘积，取其乘积 可描述出曲面在其上一点附近的可描述出曲面在其上一点附近的弯曲程度。弯曲程度。n n 测地线：曲面上连接测地线：曲面上连接A，B两点的最短的两点的最短的曲线称为短程线，由短程线构成的光滑曲线曲线称为短程线，由短程线构成的光滑曲线叫测地线。叫测地线。n n 在一般教科书中，还包括渐伸线、渐缩在一般教科书中，还包括渐伸线、渐缩线、可展曲面等内容。线、可展曲面等内容。第三十九页，讲稿共四十页哦 20世纪初，微分几何有了飞跃的发展。世纪初，微分几何有了飞跃的发展。研究的对象和方法都发生了极大变化，研究的对象和方法都发生了极大变化，更注意一般和抽象，以流形上的解析结更注意一般和抽象，以流形上的解析结构以及这种结构所蕴含的几何性质为研构以及这种结构所蕴含的几何性质为研究对象。究对象。3.现代微分几何现代微分几何第四十页，讲稿共四十页哦
