数学的抽象与抽象的数学.PDFVIP

分析的严格化 严格化和进一步的抽象 无论是无穷小还是不可分量均是不清楚的，英国著名的哲学家和克罗因 教区的主教贝克莱（1685 －1753 ）质疑： “消逝的量的鬼魂（Ghosts of departed quantities ）” 2 2 2 ( x  x )  x 2 x x  ( x ) 2 x  x x x 分析的严格化 · 牛顿（1643-1727 ） · 莱布尼兹（1646-1716 ） · 伯努利兄弟、欧拉、柯西、黎曼、魏尔斯特拉斯等人 分析的严格化 伯努利 · 雅各布·伯努利（1654-1705 ） · 约翰·伯努利 (1667-1748 ） · 完成统一性和术语，有了基本求导法则、积分方法等等。 分析的严格化 欧拉（1707 －1783 ） · 是瑞士数学家和物理学家，是历史上最多产的数学家。 · 微分公式、积分公式、级数求和等等。 分析的严格化 柯西（1789 －1857 ） 柯西27岁即当选为法国科学院院士，还是英国皇家 学会会员和许多国家的科学院院士。 柯西对数学的最大贡献是在微积分中引进了清晰和 严格的表述与证明方法。微积分的现代概念就是柯 西建立起来的。鉴于此，人们通常将柯西看作是近 代微积分学的奠基者 。 分析的严格化 黎曼（1826 －1866 ） · 黎曼是德国数学家，是对现代数学影响最大的数学 家之一； · 引入黎曼积分； · 他的空间观念及黎曼几何更预示着广义相对论，正 是他促发了现代数学的革命性变革。 分析的严格化 魏尔斯特拉斯（1815 －1897 ） · 他是分析算术化运动的开创者之一。给出了今天 一直沿用的ε-δ定义。 · 为了说明直觉的不可靠，魏尔斯特拉斯在柏林科 学院的一次演讲中，构造了一个处处连续却处处 不可微的函数，震惊了整个数学界。 分析的严格化 魏尔斯特拉斯函数： 处处连续但处处不可导  k k f (x ) b c o s (a x ), k 0 3 a  2 n  1, b  (0 , 1), a b  1  2 分析的严格化 康托尔（Georg Cantor ，1845-1918 ） · 出生于俄国的德国数学家。 · 创立了现代集合论作为实数理论以至整个微积分理论 体系的基础。他还提出了集合的势和序的概念。 分析的严格化 实数的完备性（19世纪七、八十年代） 有理数序列的极限不能保证还是有理数，故有理数集合不完备； 以下例子表明有理数序列的极限是无理数： n  1  lim 1   e n    n  分析的严格化 实数的完备性 · 任何柯西序列存在极限； · 任何有界单调序列必有极限； · 有界集必有确界； · 有界序列必有收敛的子序列。 区间套定理 有限覆盖定理 （这里涉及的是紧性，其讨论始 于19世纪末，20世纪初，较完备性晚二三十年。）