实数完备性定理的证明及应用

. .. .

实数完备性定理的证明及应用

学生：xxx 学号：

数学与信息科学学院数学与应用数学专业

指导老师：xxx 职称：副教授

摘要：实数集的完备性是实数集的一个基本特征，他是微积分学的坚实的理论基础，从不同的角度来描述和刻画实数集的完备性，六个完备性定理是对实数完备性基本定理等价性的系统论述，让我们获得对实数集完备性的基本特征的进一步的认识和理解. 并用实数完备性定理证明闭区间上连续函数的若干性质．关键词：完备性；基本定理；等价性

Testification and application about Real Number

Completeness

Abstract: Completeness of the set of reel numbers is its basic character, and it is stable theory background of calculus. It can be described and depicted in different angles, To prove the equivalence of the six principle theorem is systematic discussion about it and make us acquire more recognition and understanding. At the same time, the theorem of completeness of real numbers testpfyies the several qualities of the continuous function in closed interval.

Key Words: sigmacompleteness; fundamental theorem; equivalence

引言

在数学分析学习中，我们知道，实数完备性定理是极限的理论基础，是数学分析理论的基石，对实数完备性表达通常有六个定理．在此，我们以实数连续性为公理，顺序证明其余六个基本定理，最后达到循环，从而证明等价性，并用实

数完备性定理证明闭区间上连续函数的若干性质.

1. 基本定义[1]

定义1 设S 是R 中的一个数集．若数η满足：

(1) 对一切x ∈S ，有x η≤，即η是S 的上界；

(2) 对任何α<η，存在x ∈S ，使得x >α，即η又是S 的最小上界，

则称数η为数集S 的上确界，记作η=sup S ．

定义2 设S 是R 中的一个数集．若ξ满足：

(1) 对一切x ∈S ，有x ≤ξ，即ξ是S 的下界；

(2) 对任何β>ξ，存在x ∈S ，使得x <ξ，即ξ又是S 的最大下界，

则称数ξ为数集S 的下确界，记作inf S ξ=．

定义3 设闭区间列[]{},n n a b 具有如下性质:

(1) [],n n a b ⊃[]11,n n a b ++，1,2,

n =；

(2) lim()0n n n b a →∞-=， 则称[]{},n n a b 为闭区间套，或简称区间套．

定义4[2] 设S 为数轴上的点集，ξ定点(它可以属于S ，也可以不属于S )．若ξ的任何邻域都含有S 中无穷多个点，则称ξ为点集S 的一个聚点．

其等价定义：对于点集S ，若点ξ的任何ε邻域都含有S 中异于ξ的点，即(),u S ξε≠∅，则称ξ为S 的一个聚点．

定义5 设S 为数轴上的点集，H 为开区间的集合(即H 的一个元素都是形如(),αβ的开区间)．若S 中任何一点都含在H 中至少一个开区间，则称H 为S 的一个开覆盖，或称H 覆盖S ．若H 中开区间的个数是无限(有限)的，则称H 为S 的一个无限(有限)开覆盖．

2. 六个定理及证明

定理1 维尔斯特拉斯聚点定理(Weierstrass 聚点定理)

直线上的有界无限点集S 至少有一个聚点．

定理2 柯西收敛准则(又叫实数完备性定理)

数列{}n a 收敛的充要条件是：对任给的正数ε，总存在某一个自然数N ，

使得,n m N >时，都有m n a a -<ε．

定理3 确界原理

有上(下)界的数集必有上(下)确界．

定理4 单调有界定理

任何有界的单调数列一定有极限．

定理5 区间套定理

若[]{},n n a b 是一列闭区间，(1,2,)n =，又设

(1) [],n n a b ⊃[]11,n n a b ++，(1,2,)n =；

(2) lim()0n n n b a →∞

-=， 则存在唯一的ξ∈[],n n a b ，(1,2,)n =．

定理6 有限覆盖定理(也叫海涅-波莱尔定理)

设[],a b 是闭区间，H 为[],a b 的一个开覆盖，则在H 中必存在有限个开区间，它构成[],a b 的开覆盖．

3. 六个定理等价的证明

以上定理，虽然表述各异，其实质都是描述实数集完备性的定理，下面将以循环证明方式，证明其等价性．

维尔斯特拉斯聚点定理⇒柯西收敛准则⇒确界原理⇒单调有界定理⇒区间

套定理⇒有限覆盖定理⇒维尔斯特拉斯聚点定理．

3.1 维尔斯特拉斯聚点定理⇒柯西收敛准则

证明 若对∀ε>0，∃N >0，

当,n m N >时，n m a a -<ε．取ε=1．则1N ∃>0，当n >1N 时，有1n N a a -<1，则n a ≤1+1N a ．令

M =max {}

1112,,,,1N N a a a a ⋅⋅⋅+，

则对∀n ，都有n a ≤M ．从而数列{}n a 有界．

(1) 若{}n a 看作点集，是一个有限点集，至少有一项i a 重复出现无穷多次，就以i a 为项构成子列，则{}i a 是常数列，必收敛．记lim k n i k a a ξ→∞==，则 k k n n n n a a a a ξξε-≤-+-<．

即 lim n n a ξ→∞

=． (2) 若{}n a 构成无穷点集，由聚点定理{}n a 必有一个聚点ξ．由聚点定义2，必存在{}k n a ⊂{}n a ，且

lim k n k a ξ→∞

= 则

k k n n n n a a a a ξξε-≤-+-<．

即 lim n n a ξ→∞

=． 3.2 柯西收敛准则 ⇒确界原理

证明 设S 为非空有上界实数集，由实数的阿基米德性，对任何正数α，在整数k α，使得k ααλ=，α为S 的上界，而

(1)k ααλαα-=-

不是S 的上界，即在α'∈S ，使得(1)k ααα'>-．

分别取1,1,2,n n

α==⋅⋅⋅．则对每一个正整数，存在相应的n λ，使得n λ为S 的