19世纪的几何与分析i.ppt

第九讲 19 世纪的几何与分析 I ? 几何学的变革 ? 分析的严格化 几 何 ? 现实空间与思维空间 ? 微分几何 ? 非欧几何 ? 射影几何 ? 统一的几何 ? 公理化方法 ? 平面曲线理论 17 世纪基本完成 微分几何 惠更斯 ( 荷 , 1629-1695) ? 1673 年惠更斯 ( 荷 , 1629-1695) ：渐伸线、渐屈线 洛比塔 ( 法 , 1661-1704) ? 1671 年和 1686 年牛顿和莱布尼茨：曲率、曲率半径 ? 1691 年和 1692 年约翰 ? 伯努利 ( 瑞 , 1667-1748) ：曲线的包络 ? 1696 年洛比塔 ( 法 , 1661-1704) 的《无穷小分析》完成并传播了 平面曲线理论 ? 18 世纪的空间曲线、曲面理论 微分几何 克莱罗 ( 法 , 1713-1765) ? 1697 年约翰 ? 伯努利 ( 瑞 , 1667-1748) 提出的测地线问题 ? 1731 年克莱罗 ( 法 , 1713-1765) 《关于双重曲率曲线的研究》： 弧长、曲率 微分几何 ? 1760 年欧拉 ( 瑞 , 1707-1783) 《关于曲面上曲线的研究》：曲率、 绕率，建立了曲面理论 蒙日 ( 法 , 1746-1818) ? 1771 年欧拉 ( 瑞 , 1707-1783) 关于可展曲面， 1771 和 1775 年蒙日 ( 法 , 1746-1818) 关于可展曲面与直纹面 ? 1795 年蒙日 ( 法 , 1746-1818) 《关于分析的几何应用的活页论文》 借助微分方程对曲面族、可展曲面、直纹面做深入研究 ? 蒙日 : 1792 年任法兰西共和国海军部部长 , 签署了 处决路易十六的报告书 , 1800 年任元老院议长 , 1808 年封爵 , 波旁王朝复辟后被革职 ? 1794 年组建巴黎综合工科学校 , 1795 年设立巴黎 高等师范学校 ? 培养一批优秀学生 : 泊松、刘维尔、傅里叶、柯西 平行公理的研究 ( 公元前 3 世纪至 1800 年 ) A+B+C=2 π 欧氏几何 欧几里得 普莱菲尔 ( 苏格兰 , 1748-1819) 勒让德 ( 法 , 1752-1833) 若一直线落在两直线上所构成的同旁内角和小于两直角 , 那么把 两直线无限延长 , 它们都在同旁内角和小于两直角的一侧相交 . ? 勒让德 ( 法 , 1752-1833) 《几何学原理》：这条关于三角 形的三个内角和的定理应该认为是那些基本真理之一。这 些真理是不容争论的，它们是数学永恒真理的不朽的例子。 (1832) ? 1733 年萨凯里 ( 意 , 1667-1733) 《欧几里得无懈可击》 欧氏几何 非欧几何 ? 1766 年兰伯特 ( 法 , 1728-1777) 《平行线理论》不认为锐角假设 矛盾 , 认识到如果一组假设不引起矛盾 , 就提供了一种 可能的几何 ? 1763 年，克吕格尔 ( 德 , 1739-1812) 第 一位对平行线公设是否能由其它公理加 以证明 表示怀疑 的数学家 ? 1820 年F?鲍约 ( 匈 , 1775- 1856): “我经 过了这个长夜的渺无希望的黑暗 , 在这里 埋没了我一生的一切亮光和一切快 乐,……或许这个无底洞的黑暗将吞食掉 一千个犹如灯塔般的牛顿 , 而使大地永无 光明。” π(α) 非欧几何 ? 1813 年高斯 ( 德 , 1777- 1855) ：非欧几里得几何 ? 1832 年J?鲍约 ( 匈 , 1802- 1860) 《绝对空间的科学》 ? 几何学上的哥白尼 ? 1826 年罗巴切夫斯基 ( 俄 , 1792-1856) 《简要论述平 行线定理的一个严格证明》 罗巴切夫斯基 ( 苏联 , 1951) 非欧几何 ? 罗巴切夫斯基 ( 俄 , 1792-1856) ，喀山大学教 授、校长 ? 1815 年着手研究平行线理论，试图给出平行 公设的证明 ? 1826 年在物理数学系会议宣读《简要论述平 行线定理的一个严格证明》 ? 1829 年论文《几何学原理》在《喀山大学通 报》全文发表 ? 直至罗巴切夫斯基去世的 30 年内，没能赢得 社会的承认和赞美 鲍约 ( 罗马尼亚 , 1960) 非欧几何 鲍 约 父 子 之 墓