关于实数完备性基本定理的循环证明讲述.doc

密 级 公 开 本科生毕业（学位）论文 有关实数完备性基本定理的循环证明 指导教师姓名： 职 称： 副教授 单 位： 数学系 专 业 名 称： 数学与应用数学 论文提交日期： 2010年 月 日 论文答辩日期： 2010年 月 日 学位授予单位： 黔南民族师范学院 答辩委员会主席: 论 文 评 阅 人: 2010 年 月 日  有关实数完备性基本定理的循环证明 蒋长征 (2006051135) (黔南民族师范学院数学系 贵州.都匀 558000) 摘要：本文阐述了实数集上六个基本定理及其相关内容，并在用十进位小数定义证明确界原理的基础上通过六个循环从不同的角度证明了它们的等价性。 关键词：实数集；完备性；确界原理；单调有界定理；区间套定理；有限覆盖定理；聚点定理；收敛准则 The Circulating Testification on the Basic Axioms of Real Number Completeness Jiang Chang-zheng (2006051135) (Department of Math ,Qiannan Normal College for Nationalities,Duyun,Guizhou,55800) Abstract : This paper elaborates six fundamental theorems on a set of real numbers and its related content.Based on the result which use decimal number definitions to prove sector principle this paper prove their equivalent from different angle. Key words: Real Number Collection; Completeness; True Principle; Has the theorem monotonously; Nested interval theorem; Finite covering theorem; Limiting point theorem; Cauchy Restraining criterion 1 实数完备性基本定理及其有关内容 1.1 有关概念 定义 我们知道，极限的存在性问题是极限理论的首要问题。一个数列是否存在极限不仅与数列本身的的结构有关，而且与所在数集密切相关。从运算的角度来说，实数集关于极限的运算是封闭的，它反映了实数集的完备性，这是实数集的优点。因此将极限理论建立在实数集之上，极限理论就有了坚实的基础。 我们常常从实数系的连续性（即实数集无间隙）出发证明实数系的完备性（即能使确界原理成立的有序域），也可从实数系的完备性出发证明实数系的连续性，所以这两个关系是等价的。因此，我们也称实数连续性为实数的完备性。下面我们就来阐述实数完备性基本定理及其有关内容，为后面的证明做铺垫。 定义 设为非负实数，称有理数 为实数的位不足近似，而有理数 称为实数的位过剩近似，。 定义 设为中的一个数集。若存在一个数，使得对一切，都有，则称为有上（下）界的数集，数称为的一个上界（下界）。 定义 设为中的一个数集。若数满足： (i) 对一切，有，即是的上界； (ii) 对任意数，存在，使得，即又是的最小上界， 则称为数集的上确界，记作： 定义 设为中的一个数集。若数满足： (i) 对一切，有，即是的下界； (ii) 对任意数，存在，使得，即又是的最大下界， 则称为数集的下确界，记作： 定义 设闭区间列具有如下性质： (i) ，； (ii) 则称为闭区间套，或简称区间套。 定义 设为数轴上的点集，为定点（它可以属于，也可以不属于），若的任何邻域内都含有中无穷多个点，则称为点集的一个聚点。 定义 对于点集，点的任何邻域内都含有中异于的点，即，则称为点集的一个聚点。 定义 若存在各项互异的收敛数列，则其极限称为点集的一个聚点。 注：这三个定义是等价的。 定义 设为数轴上的点集，为开区间的集合（即的每一个元素都是形如的开区间）。若中任何一点都含在中至少一个开区间内，则称为的一个开覆盖，或称覆盖。若中开区间的个数是无限（有限）的，则称为的一个无限（有限）开覆盖。 定义 一个数列被称为列，如果对任给的，存在正整数，使得当时有。 1.2 实数完备性六个基本定理 定理 （确界原理）设为非空数集，若有上（下）界，则必有上（下）确界。 定理（单调有界定理）在实数系，有界的单调数列必有极限。 定理（区间套定理）若是