单调有界数列必有极限定理的一个直接证明及其作用.pdfVIP

第 3O卷第 1期 大 学 数 学 Vo1．30，№ ．1 2014年 2月 COLLEGEM ATHEM ATICS Feb．2014 单调有界数列必有极限定理的 一 个直接证明及其作用 郑 权 ， 张彩霞， 郭秀晖 (北方工业大学 理学院，北京 100144) [摘 要]利用实数十进制无限小数表示直接构造性地给出 “单调有界数列必有极限”定理的一种简洁的 新证明，并且从新视角揭示数学分析中的实数完备性和高等数学中的数列极限存在准则． [关键词]数列；单调有界；极限存在准则；实数完备性 [中图分类号]0172 [文献标识码]C [文章编号]1672—1454(2014)01—0104—03 在大学数学(包括数学分析和高等数学)中，“单调有界数列必有极限”是一个很重要的基本定理．在 高等数学教材中它常被称为单调有界原理或准则 ，并 由几何解释加以说明，但没有给予证 明，书后也没 有要求补充证明的习题[1]．在数学分析教材 中它常被称为单调有界定理 ，是刻画实数完备性的六个相互 等价的定理之一，通常先 由实数的无 限小数表示构造性地证明确界原理 ，再以此为立足点证明单调有界 定理 ，并进一步完成六个定理等价性 的循环论证如下 ：确界原理 单调有界定理 区间套定理 有限覆 盖定理 聚点定理 柯西收敛准则 确界原理[2]．实数系完备性定理 的循环论证及教学研讨并不鲜 见[2]，也可选择仅介绍单调有界定理的不 同证明L6-7]或确界原理的构造性证明[8]．单调有界定理经常 ， 1 、 ” 用于解决由递推公式给出的单调数列极限的存在性问题，例如，重要极限 lim (1+ )和 ”一 。o 、 厂——— ===== 三 lim42+ √2+…+√2 ( 重根号)等． 一 。 。 实际上，本文仿照教材E23和文[8]利用实数十进制证 明确界原理的方法，就能够直接构造性地证明 单调有界定理．由此会产生如下良好效果：可以解答在高等数学的讲授和学习过程中时常出现的由没有 证明单调有界原理所带来的疑惑，并且以此为立足点易得数列极限存在性的两个重要准则的等价关系 ： 单调有界原理 ∞柯西收敛准则， 从而使得高等数学教材和教学 中的数列极限理论成为 自身完备 ；还可以在数学分析教学 中回顾实数的 无限小数表示并发扬构造性地证明确界原理的技巧 ，而且补充展示关于实数系完备性 的这个立足点，进 一 步易见如下的循环论证 ： 单调有界定理 区问套定理 有限覆盖定理 聚点定理 柯西收敛准则 确界原理 单调有界定理． 为了以下讨论的需要，我们把任一实数表示为一个十进制无限小数．只需把有限小数(包括整数)也 表示为无限小数 ，规定 ：对于正有限小数 —a。．aa。…a ，其 中a∈{0，1，…，9)，i=1，2，…，，a≠0， ao为非负整数，记 z—ao．a1a2…(口一1)99…9…；对于正整数 z—ao，记 z一(口。一1)．99…9…；对于负 有 限小数 (包括负整数) ，先把一Y表示为无限小数 ，再在其前加负号 ；对于数 0，记 0—0．O0…0…． 下面我们就利用实数的十进制无限小数表示和极限的定义证 明实数系中单调增加有上界 的数列 [收稿 日期]2012—12—10 [基金项 目]北京 自然科学基金 (1122014)；北方工业大学教改基金 第 1期 郑权 ，等：单调有界数列必有极 限定理的一个直接证明及其作用 105 {z }必存在极限．当数歹0{ }单调 F降时，考察 {一z}即司．注蒽到单位长度作十等分与十进制实数