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

关于实数完备性基本定理的循环证明 密 级 公 开 本科生毕业(学位)论文 有关实数完备性基本定理的循环证明 指导教师姓名: 职 称: 副教授 单 位: 数学系 专 业 名 称: 数学与应用数学 论文提交日期: 2010年 月 日 论文答辩日期: 2010年 月 日 学位授予单位: 黔南民族师范学院 答辩委员会主席: 论 文 评 阅 人: 2010 年 月 日 有关实数完备性基本定理的循环证明 蒋长征 (2006051135) (黔南民族师范学院数学系 贵州.都匀 558000) 摘要:本文阐述了实数集上六个基本定理及其相关内容～并在用十进位小数定义证明确界原理的基础上通过六 个循环从不同的角度证明了它们的等价性。 关键词:实数集,完备性,确界原理,单调有界定理,区间套定理,有限覆盖定理,聚点定理,收Cauchy 敛准则 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 有关概念 定义 我们知道，极限的存在性问题是极限理论的首要问题。一个数列是否存在极限不仅 与数列本身的的结构有关，而且与所在数集密切相关。从运算的角度来说，实数集关于 极限的运算是封闭的，它反映了实数集的完备性，这是实数集的优点。因此将极限理论 建立在实数集之上，极限理论就有了坚实的基础。 我们常常从实数系的连续性(即实数集无间隙)出发证明实数系的完备性(即能使 确界原理成立的有序域)，也可从实数系的完备性出发证明实数系的连续性，所以这两 个关系是等价的。因此，我们也称实数连续性为实数的完备性。下面我们就来阐述实数 完备性基本定理及其有关内容，为后面的证明做铺垫。 1 定义 设为非负实数，称有理数 1xaaa,.？？01n xaaa,.？nn01为实数的位不足近似，而有理数 xn 1 xx,，nnn10称为实数的位过剩近似，。 xnn,0,1,2,？ SxS,定义 设为中的一个数集。若存在一个数，使得对一切，都有2RML，， SS，则称为有上(下)界的数集，数称为的一个上界(下界)。 xMxL,,ML，，，， S3定义 设为R中的一个数集。若数满足: , xS,S(i) 对一切，有，即是的上界; ,x,, S(ii) 对任意数，存在，使得，即又是的最小上界， ,xS,x,,,,,00 S则称为数集的上确界，记作: , ,,supS SR4定义 设为中的一个数集。若数满足: , xS,S(i) 对一切，有，即是的下界; x,,, S,(ii) 对任意数，存在xS,，使得x,，,,，即又是的最大下界， ,00 S则称为数集的下确界，记作: , ,,infS5ab,定义 设闭区间列具有如下性质: ,,,,nn abab,,,(i) ，; n,1,2,？,,,,nnnn，，11 lim0ba,,(ii) ，，nnn,, ab,则称为闭区间套，或简称区间套。 ,,,,nn 6SSS定义,, 设为数轴上的点集，为定点(它可以属于，也可以不属于)，若的 SS任何邻域内都含有中无穷多个点，则称,为点集的一个聚点。 2 SS定义 对于点集，点的任何邻域内都含有中异于的点，即6,,,oS，则称为点集的一个聚点。 US,,,,,,，，: limx,,S定义 若存在各项互异的收敛