第七节-数学的全面繁荣.pptVIP

第六节：数学的全面繁荣;本节教学目的和要求;近代变量数学发展线索;变量数学的兴起;一、解析几何的创立;一、解析几何的创立;笛卡儿的理论;殊途同归; 解析几何出现后不久，微积分也被发现了。可以说，微积分不仅是数学的伟大发现，也为近代科学开辟了光明的道路；微积分不仅是17世纪的伟大发现，而且是世界人类文明史上最为光辉灿烂的发现。; 十六、十七世纪科学和生产中面临的大量重要问题，促进了微积分的诞生与发展。微积分的来源是科学发展对数学要求的必然：速度、距离、重心；切线、长度、面积、体积；极值问题等等。;微积分发展的历史足迹 ;牛顿的微积分; 微分与积分: 无穷级数的形式 微积分的应用;莱布尼兹的微积分;莱布尼兹的微积分;微积分发明权之争;微积分的伟大意义;三、概率论的建立;四、非欧几何学的出现;公理体系;欧氏几何的公理体系出现在欧几里德的《集合原本》中，在2200年之后，希尔伯特在《几何基础》加以完善。其间，许多数学家作了许多公理体系的完备性工作。 然而，令人放心不下的是该公理体系中的第五公理，即平行公理的独立性问题。因为人们发现即使欧几里德本人也尽量避免使用它。所以人们开始从三个方面研究平行公理。 （1）试图给出新的平行线定义以绕开这个困难； （2）试图用比平行公理缺点更少的其他公理取代它；（等价或包含） （3）试图用其他公里推出它。 第三个问题得到的最多的研究，但是毫无结果。 ;α;第五公设的证明：非欧几何的萌芽;非欧几何的创立;创始人？;罗巴切夫斯基;非欧几何的诞生及其阻力;波耶（1802-1860，János Bolyai）;罗巴切夫斯基几何的基本特征;黎曼Bernhard Riemann1826-1866;黎曼空间;黎曼曲率为常数;黎曼几何的特征;只有一位听众懂;非欧几何地位的确立;1、解决了平行公理的独立性问题。推动了一般公理体系的独立性、相容性、完备性问题的研究，促进了数学基础这一更为深刻的数学分支的形成与发展。 2、证明了对公理方法本身的研究能推动数学的发展，理性思维和对严谨、逻辑和完美的追求，推动了科学的进步。在数学内部，各分支纷纷建立了自己的??理体系，包括被公认为最困难的概率论也在20世纪30年代建立自己的公理体系。实际上公理化的研究又孕育了元数学的产生和发展。 ;3、非欧几何实际上预示了相对论的产生，就象微积分预示了人造卫星一样。非欧几何与相对论和汇合是科学史上划时代的事件。人们都认为是爱因斯坦创立了相对论，但是，也许爱因斯坦更清楚，是他和一批数学家等共同的工作。出现动钟延缓，动尺缩短，时空弯曲等现象。这些都是非欧几何与相对论的科学发现。 ;思考题;本节主要参考书