第四章实数的连续性.pdfVIP

第四章 实数的连续性 引 言 十七世纪，微积分这一强有力的数学工具为牛顿、莱布尼茨各自独立发现， 推动了科学技术的前进。然而，贝克莱对牛顿理论的攻击，将无穷小量嘲笑为“消 失的量的灵魂”，却真正抓住了牛顿理论的缺陷。一方面，微积分在应用中大获 成功；一方面其自身却存在着逻辑矛盾。至十九世纪，由十七、十八世纪积累下 来的矛盾到了非解决不可的程度. 使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。他给出了 分析学一系列基本概念的严格定义.1823年，柯西给出了“柯西收敛定理”。而 早在1817年，波尔察诺就确切地陈述了有界实数集的最小上界（即上确界）的 定义。利用他的思想，魏尔斯特拉斯在19世纪60年代证明了“波尔察诺—魏尔 斯特拉斯紧致性定理”.海涅于1872年提出，波莱尔于1895年完善并证明了“有 限覆盖定理”.1872年，实数的三大派理论：戴德金 “分划”理论，康托的“基 本序列”理论及魏尔斯特拉斯的“有界单调序列”理论，同时在德国出现了！1892 年，巴赫曼提出了建立实数理论的一个重要原理——区间套原理。由此，沿柯西 开辟的道路建立起来的严谨的极限理论与实数理论，完成了分析学的逻辑奠基工 作，从而使微积分学这座数学史上空前雄伟的大厦建在了牢固可靠的基础之上. 实数系的连续性也称为完备性是实数的一个重要特征，与之相关的几个相当 重要的著名定理:闭区间套定理、确界定理、有限覆盖定理、聚点定理、致密性 定理、柯西收敛准则、单调有界数列存在极限定理、戴狄金基本定理是彼此等价 的，它们从不同的角度刻划了实数系的完备性或连续性，并且它们是论证其它一 些重要定理和规则的依据，在理论上具有重要价值。在本章里，我们利用数列极 限建立实数系的若干基本定理，进一步从不同侧面刻画实数系的性质．在本章后 面几节中，我们将用本节所获得的性质去推证连续函数的一些特性．本节所讨论 的几个定理也是现代数学中常用的重要定. §4.1 实数连续性定理 一、 闭区间套定理 定理1．（闭区间套定理） 设有闭区间列{[a b ]}，若 n n 1）[ab] ⊃ [a b ]⊃⋯⊃ [a b ] ⊃⋯； 1 1 2 2 n n 2）lim（b − a )=0． n n x→∞ ∞ 则存在唯一数 属于所有的闭区间（即∩ ⎡a b =l）（如下图），且 l n=1⎣ n n] lima = limb = l. n n n→∞ n→∞ a a ⋯ ⋯ a l b ⋯ ⋯ b b 1 2 n n 2 1 证明：由条件1），数列{a }单调增加有上界 ，数列{b },单调减少有下 b n 1 n 界 a, 即 1 a ≤ a ≤⋯≤ a ≤⋯≤ b ≤⋯≤ b ≤ b， 1 2 n n 2 1 根据公理，数列{a }收敛，设lima = l,由条件2），有 n n n→∞ lim(b −a +