19世纪的分析.ppt

宁德师专数学系 宁德师范高等专科学校 第七讲19世纪的分析 分析的算术化 分析的拓展 19世纪的中国数学 分析的算术化 分析：关于函数的无穷小分析 问题：第二次数学危机 核心：函数、无穷小 贡献：柯西(法, 1789-1857 ) 《分析教程》(1821) 　　　　　 《无穷小分析教程概论》(1823) 　　　　　 《微分学教程》(1829) 魏尔斯特拉斯(德, 1815-1897) ε-δ语言 “现代分析之父” 函数 初等函数 算术化 1817年波尔查诺(捷, 1781-1848)定义了导数、连续 1821年柯西(法, 1789-1857)《分析教程》定义了极限、连续、导数 实数理论 1817年波尔查诺(捷, 1781-1848)提出“确界原理” 1817年波尔查诺和19世纪60年代魏尔斯特拉斯(德, 1815-1897)提出“聚点定理” 1821年柯西(法, 1789-1857)提出“收敛准则” 19世纪60年代魏尔斯特拉斯提出“单调有界原理” 1872年海涅(德, 1821-1881)和1895年波莱尔(法, 1871-1956)提出“有限覆盖定理” 集合论 1874年起康托(德, 1845-1918)一系列论文建立 分析的拓展 复变函数论 解析数论 微分方程 1747年达朗贝尔(法, 1717-1783)断言复数表示为a+ib 1752年和1777年获得了达朗贝尔-欧拉条件( 柯西-黎曼条件) 奠基人 柯西(法, 1789-1857 ): 建立复变函数的微分和积分理论 黎曼(德, 1826-1866) : 黎曼面 魏尔斯特拉斯(德, 1815-1897) 19世纪40年代建立了幂级数基础上的解析函数理论 解析开拓 解析数论 解析数论 黎曼猜想(1859) 偏微分方程 偏微分方程 热传导方程 偏微分方程 常微分方程 常微分方程 * * 狄里克雷函数 处处不可微的连续函数 解析函数 1837年狄里克雷(德, 1805-1859) 1854年黎曼(德, 1826-1866)定义了有界函数的积分 19世纪60年代魏尔斯特拉斯(德, 1815-1897)提出ε-δ语言 1875年达布(法, 1842-1917)提出了大和、小和 1872年戴德金(德, 1831-1916)提出“分割理论” 1892年巴赫曼(德, 1837-1920)提出“区间套原理” 康托三等分集 希尔伯特：数学思想的最惊人的产物，在纯粹理性的范畴中人类活动的最优美的表现之一。 我看到了它，但我简直不能相信它。 一一对应关系确定集合的基数。 实直线是不可数集合。 康托定理: 对集合X, |X||P(X)|=2|X|. 复变函数论 1811年高斯(德, 1777-1855)讨论了复数几何表示 1797年威塞尔(挪, 1745-1818)、1806年阿甘德(瑞, 1768-1822)讨论了复数几何表示 1782-1812年拉普拉斯(法, 1749-1827), 1815年泊松(法, 1781-1840)讨论了复函数的积分 泊松 复变函数论 柯西(法, 1789-1857 ) 黎曼(德, 1826-1866) 魏尔斯特拉斯(德, 1815-1897) 复变函数论 1814年, 1825年的论文详细讨论了复函数的积分《关于积分限为虚数的定积分的报告》, 建立了柯西积分定理 1826年提出留数概念 1846年发现积分与路径无关定理 1831年获得柯西积分公式 复变函数论 1851年博士论文《单复变函数一般理论基础》 黎曼映射定理 复变函数论 1837年狄里克雷(德, 1805-1859)解决素数问题 1859年黎曼(德, 1826-1866)《论不超过一个给定值的素数个数》: π(x)与ζ(s) 1896年阿达玛(法, 1865-1963)和瓦莱?普桑(比利时, 1866-1962)证明了素数定理π(x)~x/lnx 1737年欧拉恒等式: 解析数论 斯托克斯(英, 1819-1903) 麦克斯韦(英, 1831-1879) 位势方程 1828年格林(英, 1793-1841)《关于数学分析应用于电磁学理论的一篇论文》提出求解方法 斯托克斯 麦克斯韦 1822年傅里叶《热的解析理论》 热传导问题的求解及新的普遍性数学方法的创造 傅里叶(法, 1768-1830) 1807年