中秋节的资料-高考祝福

第一章 前言

众所周知, 极限的存在性问题是极限理论的首要问题. 一个数列是否存在极
限不仅与数列本身的结构有关, 而且与数列所在的数集密切相关. 从运算的角度
来说, 实数集关于极限的运算是封闭的, 它反映了实数集的完备性, 这是实数的
优点. 因此, 将极限理论建立在实数集之上, 极限理论就有了坚实的基础.
我们常常从实数系的连续性出发证明实数系的完备性, 也可从实数系的完
备性出发去证明实数系的连续性, 所以这两个关系是等价的. 因此, 我们也称实
数系的连续性为实数系的完备性.
数学分析课程是高等学校数学专业的主要基础课程之一, 更是高等师范学
校数学教育专业最主要的基础课程. 在数学分析教材中, 实数集的确界定理、单调有界定理、闭区间套定理、柯西收敛准则、聚点定理和有限覆盖定理通称为实
数的完备性定理, 他们各自从不同的角度反映了实数的完备性或称为实数的连
续性, 成为数学理论乃至数学分析坚实的基础. 这六个基本定理是相互等价的,
也就是说可以相互循环论证. 在我们学过的刘玉琏等主编的数学分析讲义中, 实
数完备性基本定理是从公理出发, 首先运用公理证明了闭区间套定理, 然后用前
一个定理为条件, 证明了后一个定理的结论, 它们依次是: 确界定理、有限覆盖
定理、聚点定理、致密性定理、柯西收敛准则的充要性, 最后再运用柯西收敛准
则的充要性证明了公理（作为练习题）. 而在本文中把有限覆盖定理作为出发点,
利用反证法和有限覆盖的思想来分别证明确界原理、单调有界 定理、区间套定理、
聚点定理、柯西收敛准则.
下面我们就来阐述有限覆盖的定义和定理的内容, 为后面的证明做铺垫.
定义1.2.1
[2]
设
S
为数轴上的点集,
H为开区间的集合,（即
H
的每一个元
素都是形如
(

,

)
的开区间）, 若
S
中任何一点都含在
H
中至少一个开区间内,
则称
H
为
S
的一个开覆盖, 或称
H
覆盖
S
. 若
H
中开区间的个数是无限（有限）
的, 则称
H
为
S
的一个无限开覆盖（有限开覆盖）.
定理1.2.1
[2]
（有限覆盖定理）设
H
为闭区间
[a,b]
的一个（无限）开覆盖, 则
从
H
中可选出有限个开区间来覆盖
[a,b]
.

第二章 有限覆盖定理证明实数完备性的其它定理

用有限覆盖定理证明确界定理

本节主要运用有限覆盖定理证明确界定理, 首先给出确界的定义和定理如
下:
定义2.1.1
[2]

有非空的数集
E
, 如果存在

, 有下列性质:
（1）对任意
xE
, 有
x

;
（2）对任意

0
, 总存在某个数
x
0
E
, 有



x
0
, 则称是数集
E
的上确
界, 认为:


supE
.
定义2.1.2
[2]
非空的数集
E
, 如果存在

, 有下列性质:
（1）对任意
xE
, 有

x
;
（2）对任意

0
, 总存在某个数
x
0
E
, 有
x
0




, 则称

是数集
E
的下
确界, 认为:


infE
.
定理2.1.1
[2]
（确界定理）任何非空集
ER
, 若它有上界, 则必有上确界
supER
（等价地若有下界, 必有下确界）.
证明 设
ER,xE
有
xM
. 任取一点
x
0
E
, 考虑闭区间
[x
0
,M]
,
假若
E
无上确界（最小上界）, 那么
x[x
0
,M)
:
i) 当
x
为
E
的上界时, 必有更小的上界
x
1
x
, 因而
x
有一开领域

x
, 其中
皆为
E
的上界;
ii) 当
x
不是
E
的上界时, 自然有
E
中的点
x
2
x
, 于是
x
有开领域

x
, 其
中每点皆不是
E
的上界.
[x
0
,M]
上每点都找出一个领域

x
, 它要么属于第一类（每点为上界）, 要
么属于第二类（每点皆不是上界）, 这些领域
{
x
:x[x
0
,M]}
, 组成闭区间
[x
0
,M]
的一个开覆盖, 由有限覆盖定理,必存在有限子覆 盖{

1
,
…
,
n
}, 注意,

M
所在的开区间, 应为第一类的, 相邻接的开区间

x
有公共点, 也应为第一类
的, 经过有限次邻接. 可知
x
0
所在的开区间也是第一类, 这便得出矛盾. 从而得
证非空集
ER
, 若它有上界, 则必有上确界.
同理可证非空集
ER
, 若它有下界, 则必有下确界.

用有限覆盖定理证明单调有界定理

本节主要运用有限覆盖定理证明单调有界定理, 首先给出单调有界的定义
和定理如下:
定义2.2.1
[2]
若数列
{a
n
}
的各项满足关系式

a
n
a
n1

(a
n
a
n1
)
,
则称
{a
n
}
为递增（递减）数列. 递增数列和递减数列统称为单调数列.
定理2.2.1
[2]
（单调有界定理）任何有界的单调数列一定有极限.
证明 不妨设
{x
n
}[a,b]
为单调有界数列, 若对
x[a,b]
,
x
都不是
{x
n
}
的
极限, 则


0
0,
对
NN

,
有
|x
n
x|

0
,
则在
U(x;

0
2
限项, 令
H{U(x;)|x[a,b]}
, 则
H
是闭区间
[a,b]
的一个开覆盖, 由有限覆
2

盖定理知: 其必存在有限子覆盖, 不妨设存在
U(x1
,
1
),U(x
2
,
2
),
…
22
n

n

i

,U(x
n< br>,)
是它的一个子覆盖, 即

U(x
i
;)[a,b]
, 而
U(x
i< br>,
i
)(i1,2,
…
,n)
只
2
22
i1
含有限个点, 从而它们的并也只含有限个点, 从而得出
[a,b]
也只含有限个点, 这
)
内仅含有
{x
n
}
的有

与
[a,b]
是无限点集矛盾, 从而得证任何有界的单调数列一定有极限.

用有限覆盖定理证明区间套定理

本节主要运用有限覆盖定理证明区间套定理, 首先给出区间套的定义和定
理如下:
定义2.3.1
[2]
若闭区间列
{[a
n
,b
n
]}
具有下列性质:
（1）
[a
n
,b
n
][a
n1
,b
n1
]
,n=1,2,3…;
（2）
lim(b
n
a
n
)0

n 
则称这个闭区间列
{[a
n
,b
n
]}
为闭区间 套, 或称区间套.

]
定理2.3.1
[2
（区间套定理） 若
{[a
n
,b
n
]}
是一个区间套, 则存在唯一一点

, 使
得

[a
n,
b
n
]
, n=1,2,3,… 或
a
n


b
n
, n=1,2,3,…
证明 设
{[a
n
,b
n
]}
为闭区间套, 但对
x
'
[a
1
,b
1
]
, 至少
kN
, 使
x
'
[a
k
,b
k
]
, 从而


x
'
0
, 使
U(x
'
,

x
'
)[a
k
,b
k
].
现因
G{U(x
'
,

x
'
) |x
'
[a,b]}
是
[a
1
,b
1
]
的一个开覆盖, 故
G
中有限个开区间
即可完全覆盖
[a
1
,b
1
]
, 记为

G
*
{U(x
i
,

i
)|1in}
,
其中
U(x
i
,

i
)[a
k
i,b
k
i
]
（
i
=1,2,…,n;
k
i
2
）.
令
k
0
max(k
1
,k
2
,
…
,k
n
)
, 则

[a
k
i
,b
k
i
][a
0
,b
0
]
. 于是对
i(1in)
, 都有
U(x
i
,

i
)[a
k
0
,b
k
0
]
, 由此得出
*
n
i1
i1
n

G[a
k
0
,b
k
0
](

U(x
i
,

i
))[a
k
0
,b
k
0
]

这与
G
*
为[a
1
, b
1
]的开覆盖条件矛盾, 从而假设不成立, 问题得证.

用有限覆盖定理证明聚点定理

本节主要运用有限覆盖定理证明聚点定理, 首先给出聚点的定义和定理如
下:
定义2.4.1
[2]
设
S
是直线上的点集
{x}
,

是一个定点（它可属于
S
, 也可不
属于
S
）. 若

的任意领域内含有
S
的无限多个点
x
, 则称

为
S
的一个聚点.
其等价定义: 对于点集
S{x}
, 若

点的任意

邻域内都含有S
的一个异于

的点
x
（即
xS(
< br>,

),x

）, 则称

为
S
的一个聚点.
定理 2.4.1
[2]
（聚点定理）直线上的有界无限点集
S
至少有一个聚点.
证明 设
E
为直线上有界无穷点集, 若存在
M0
, 使
E[M,M]
中任何
点不是
E
的聚点, 则对每一个
x[M,M]
, 必存在相应的

x
0
, 使得在
(x,

x
)
内至多含有
E
的有限多个点 .
设
H{(x,

x
)|x[M,M]}
, 则
H
是
[M,M]
的一个开覆盖, 由有限覆盖
定理,
H
中存在有限个开覆盖
(x
j
,

x
j
)
（j=1,2,3,…）构成
[M,M]
的一个开覆
盖, 当然也覆盖了
E
. 则在
[M,M]
中至多含有
E
的有限 多个点
x
j
（j=1,2,3,…）.
故
E
为有限点集, 这与题设
E
为无限点集相矛盾. 于是,
E
至少有一个聚点.

用有限覆盖定理证明Cauchy收敛准则

本节主要运用有限覆盖定理证明Cauchy收敛准则, 首先给出Cauchy收敛准
则如下:
定理2.5.1
[2]

（柯西收敛准则）数列
{a
n
}
收敛的充要条件是: 对任给的正数

,
总存在某一个自然数
N
, 使得
n,mN
时, 都有

|a
m
a
n
|


柯西收敛准则又叫实数完备性定理.
柯西收敛准则（充分性部分） 若实数列
{x
n
}
满足:


0
,< br>NN

,n,mN
,
有
|x
n
x
m
|

, 则
{x
n
}
收敛.
证明


0,NN

,nN,
有

|x
n
x
N1
|
< br>|x
n
||x
n
x
N1
x
N1
||x
n
x
N1
||x
N1
|

|x
N1
|

其中
nN1,N2{x
n
}
是有界的, 设
{x
n
}[a,b]
, 若对
x[a,b]
,
x
都不是
2
{x
n
}
的有限项, 令
H{U(x;)|x[a,b]}
, 则
H
是闭区间
[a,b]
的一个开覆盖,
2

由有限覆盖定理知: 其必存在有限子覆盖, 不妨设存在
U(x1
,
1
),U(x
2
,
2
),
…2
n

i

n

i
2
,U( x
n
,)
是它的一个子覆盖, 即

U(x
i
,)[a,b]
, 而
U(x
i< br>,)(i1,2,
…
,n)
只
2
22
i1
含有限个点, 从而它们的并也只含有限个点, 从而得出
[a,b]
也只含有限个点, 这
{x
n
}
的极限, 则


0
0,
对
NN

,
有
|x
n
x|

0
,
则在
U(x;

0
)
内仅含有

与
[a,b]
是无限点 集矛盾, 从而假设不成立, 问题得证.
柯西收敛准则 （必要性部分）若实数列
{x
n
}
收敛, 则
{x
n
}
满足:


0
,
NN

,n,mN
时, 有
|x
n
x
m
|

成立.
证明 设
{x
n
}
收敛于

, 按照收敛的定义,


0,NN

,n,mN
时,
有

|x
n


|
< br>2
,|x
m


|

2
,

于是
|x
n
x
m
||(x
n


)(x
m


)||x
n
< br>
||x
m


|


2


2


.

总结
众所周知, 实数系的完备性是实数的一个重要特征, 与之相关的6个基本定
理是彼此等价的, 并且是论证其它一些重要定理（如一致连续定理等）的依据, 确
界定理、单调有界定理、闭区间套定理、柯西收敛准则、聚点定理、柯西收敛准
则属于同一类 型, 它们都指出, 在某一条件下，便有某种“点”存在, 而有限覆
盖定理属于另一种类型, 它是其它实数完备性定理的逆否形式, 不论是前五个定
理来分别证明有限覆盖定理, 还是在本文研究的用有限覆盖定理分别推出前五
个定理, 都可用反证法完成; 同时需要特别强调的是有理数集并不具有完备性.

参考文献

[1] 刘玉琏等, 数学分析讲义与指导[M], 第2版 , 高等教育出版社, 2005.
[2] 华东师范大学数学系, 数学分析[M], 第2版, 高等教育出版社, 1991.
[3] 裴礼文编的数学分析中的典型问题与方法, 第2版, 高等教育出版社.
[4] 陈纪修等, 数学分析[M],第2版, 高等教育出版社, 2004.
[5] 裘兆泰、王承国、章仰文编的数学分析学习指导[M], 科学出版社, 2004.

致 谢
为期近半年的论文写作即将画上一个圆满的句号, 在论文写作的过程中,从
论文的选题到确定思路, 从资料的搜集、提纲的拟定到内容的写作与修改, 继而
诸多观点的梳理, 都得益于我的导师——李老师的悉心指导和匠心点拨.
论文的点评中总是闪烁着智慧的火花, 与她的每次交谈我都能从中获益.她
严谨的治学态度, 一丝不苟的负责精神, 以及对学生孜孜不倦的教诲都给予了
我极其深刻的印象, 让我受益匪浅. 在此, 谨向李老师表示我最衷心地感谢和
最诚挚的敬意.
同时, 也向两年来所有教授过我和帮助过我的教授老师表示感谢, 感谢您
们对我的谆谆教诲、耐心指导和无私的帮助.
感谢我的同学和朋友们, 感谢你们在我论文写作过程中给予我的鼓励、关心
和无私的帮助.
最后, 衷心地感谢我的家人, 感谢你们一直以来给予我的支持和鼓励.













###

2010年4月于####学院