摘 要
实数集合的连续性是实数系的一个基本特征, 它是微积分学的坚实的理论基础. 人们从不同的角度来描述和刻画实数集的完备性,得到了一连串的有关实数的连续性定理,其中包括:确界存在定理,闭区间套定理,单调有界收敛定理,聚点定理,有限覆盖定理,柯西准则,致密性定理等.
本文主要阐述实数集八个基本定理及其相关内容,而且在基于实数系连续性公理基础之上,顺序证明了这八个基本定理.首先用单个定理做基础来证明其它的定理,其中重点求证了有限开覆盖定理及区间套定理和其它定理间的等价关系；而后,运用和一般教材不同的证明顺序先后对八个定理进行了循环证明,继而得出定理之间相互等价；最后,介绍它们在研究连续函数性质方面的重要应用并进行了推广,获得了对实数集完备性基本特征的更深刻的认识和理解. 关键词: 连续性；区间套；有限开覆盖；等价性
Abstract
Continuity of the set of real numbers is basic character of the real number system, and it is stable theory background of calculus. People described and depicted it from different angles, and a series of continuous theorems of real numbers are obtained, including existence theorem of supremum, theorem of nested closed interval, bounded monotone convergence theorem, accumulation principle, the finite covering theorem, Cauchy criterion, the compactness theorem and so on.
In this thesis, eight fundamental theorems and related contents for the real number set are described and the eight fundamental theorems are proved in a sequence based on the continuity axiom of real number system. First, with the single theorem, the other theorems are proved, in which the equivalence relation between the finite covering theorem, theorem of nested closed interval and other theorems are mainly discussed. Second, the cycle proof for the eight theorems are given one after another in the order which is different from general textbooks and their equivalence relations are obtained. Finally, their important applications in investigating the properties of the continuous functions are introduced and extended, and deeper understanding of the basic features of completion about the real number set is received.
Keywords: Continuity; the Nested Interval; limited open covering; Equivalence
目 录
引 言 .................................................................. 1 第一章 实数连续性相关概念及定理证明 .................................... 1 1.1实数空间 .......................................................... 1 1.1.1实数的定义与性质 .............................................. 1 1.1.2实数的定义与性质 .............................................. 1 1.1.3实数公理 ...................................................... 3 1.1.4实数集的连通性 ................................................ 4 1.2实数连续型基本定理及证明 .......................................... 5 1.2.1 确界存在定理 .................................................. 5 1.2.2单调有界定理与区间套定理 ...................................... 6 1.2.3紧性定理 ...................................................... 8 1.2.4 柯西准则 ...................................................... 9 1.3实数基本定理的等价证明 ........................................... 10 1.3.1 基本定理循环例证 ............................................. 10 1.3.2用区间套定理证明其他定理 ..................................... 12 1.3.3用单调有界定理证明其余五个定理 ............................... 13 1.3.4 用有限覆盖定理证明其他定理 ................................... 15 第二章 实数连续性的应用研究 ........................................... 16 2.1连续函数性质的证明 ............................................... 18 2.1.1 连续函数的有界性定理 ......................................... 18 2.1.2连续函数的介质性定理 ......................................... 18 2.1.3一致连续性定理 ............................................... 20 2.2实数连续性等价命题的应用 ......................................... 21 2.2.1确界定理在解题中的应用 ....................................... 21 2.2.2有限覆盖定理在解题中的应用 ................................... 22 2.2.3柯西收敛准则在解题中的应用 ................................... 23 2.3实数连续性的推广应用 ............................................. 23 结 论 ................................................................ 26 参考文献 .............................................................. 27
致 谢 ................................................................. 28
引 言
《数学分析》是以函数和各种分析性质为基本基本对象,其主要包含连续性,可积性以及可微性.可积性与可微性是创建在极限理论基础之上的,但是极限理论又是基于在实数空间[1]的连续性,也就是实数集连续性的基础之上.
实数集的连续定理在《数学分析》中属于基础的部分,实数集的连续性定理主要包含有:确界存在性定理,闭区间套定理,单调有界收敛定理,聚点定理,有限覆盖定理,柯西准则,致密性定理,一致连续性定理.
本文阐述了实数集合上八个基本定理和相关内容.以实数系的连续性为公理, 顺序证明.先以单个定理证明其他.其中重点证明区间套定理及有限开覆盖定理与其他定理之间的等价关系.而后运用和一般教材不同的证明顺序先后对七个定理进行了循环证明,继而得出定理之间相互等价；最后,介绍它们在研究连续函数性质等方面的重要应用并进行了推广,获得了对实数集完备性基本特征的更深刻的认识和理解,进一步印证了实数完备性定理在整个数学分析理论体系中的基础地位.
文章开头首先从介绍实数空间开始,为了定义实数空间,首先需要定义实数的运算和关系,并承认有理数的一些熟知性质,如有理数是最小的全序域,所谓全序域简单地说就是可以比较大小,和作加、减、乘、除四则运算.有理数集是稠密的,即对任意有理数a、b?a?b?,总存在有理数c,使得
.
?a?0a?c?b除此之外,有理数还满足阿基米德原理,也就是说对任何正有理数b定有自然数n,使得
na?b,一
.
在实数空间部分,文章中也会对实数的性质和域公理[1],还有对实数集的连通性做了详细阐述.
在数学分析课程的学习中,大家对有界集合的确界概念已经很熟悉了,为了证明其存在性,本文章会引入实数连续性系统的第一个定理-确界存在定理.如果全序集里任何非空且有上界的集合一定存在上确界,则称此全序集是完备的.在全序集中任何区间长趋于零的区间都存在非空交集,我们把该全序集称为是完备的.在本文中我们会给出区间套定理,此定理刻画和描绘了实数集是完备的,同时也给出经过逐步减小搜索范围,来找到所求点的方法.
1