2.实数系的基本定理.pdfVIP

第二讲 实数系的连续性——实数系的基本定理 自从Newton , Leibniz 建立微积分以来，它在解决实际问题上的正确性与在 逻辑上的不严格性的矛盾困惑了一代又一代的数学家，不少人对微积分理论产生 过怀疑，直到Cauchy , Weierstrass 建立了极限论的严格基础，人类科学史上最辉 煌的成就之一——微积分理论的大厦才得以牢固建立。作为极限论的出发点，实 数系的基本定理——实数系的连续性，在数学分析课程中占有重要的地位。 实数系的基本定理有多种表达方式：Dedkind 切割定理，确界存在定理，单 调有界数列收敛定理，闭区间套定理，Bolzano-Weierstrass 定理，Cauchy 收敛 原理和Heine-Borel 定理。这些定理是等价的，其中每一个都可以作为极限论的 出发点，建立起整个极限理论。 传统的教材常采用 Dedkind 切割定理作为实数系连续性定理，并由此出发 导出极限论的全部理论。但由于Dedkind 切割定理过分抽象，Heine-Borel 定理 则需要用到紧集的概念，这对初学数学分析的大学一年级学生来说是难以接受 的，而将实数连续性作为一个公理加以承认又使人感到极限理论不够完备。我们 则采用对学生来说非常熟悉的实数的无限小数表示方法，直观而简明地证明了确 界存在定理，既使得学生容易掌握，又使得教材的极限理论得以完备化。至于 Heine-Borel 定理，我们则将这部分内容放到讲多元函数微积分时讨论，这样分 散了教学的难点，取得了良好的教学效果。 通过教学， 要求使学生了解人类对数的认识的发展历史；对实数系的连续 性不仅仅从几何上理解，还要从分析上掌握如何加以证明；并认识正是由于实数 系的连续性，才使它成为整个数学分析课程的“活动舞台”。 定理1 有上界的非空数集必有上确界；有下界的非空数集必有下确界。 证 任何一个实数x 可表示成 x = ［x ］+( x ) ， 其中［x ］表示x 的整数部分，( x )表示x 的非负小数部分。将( x )表示成无限小 数的形式： ( x ) = 0.a a a , 1 2 n 其中a ，a ，，a ，中的每一个都是数字0，1，2 ，…，9 中的一个。若( x ) 1 2 n 是有限小数，则在后面接上无限个0 。注意无限小数0.a a a 000( a ≠0 )与 1 2 p p 无限小数0.a a (a −1)999是相等的，为了保持表示的唯一性，我们约定在( x ) 1 2 p 的无限小数表示中不出现后者。这样，任何一个实数集合S 就可以由一个确定的 无限小数的集合来表示： a a a ｛a +0. ｜ = ［x ］， = ( x ), x ∈S ｝。 a 0.a a a 0 1 2 n 0 1 2 n 通过下述方法来找出数集的上确界：设数集S 有上界，则可令S 中元素的整 数部分的最大者为 ( 一定存在，否则的话，S 就不可能有上界) ，并记 α α 0 0