实数完备性基本理论的证明
来源:百度文库 编辑:神马文学网 时间:2024/05/07 04:51:57
默认分类2010-05-08 16:15:08阅读95评论0 字号:大中小 订阅
摘要:通过对实数完备性的相关理论的学习,我们虽然掌握了证明七条定理的某些方法,但我们没有对他们进行依次的推证,下面我对其进行了依次的推证,从确界定理 单调有界原理 Cauchy 准则 致密性定理 聚点定理 闭区间套定理 有限覆盖定理 确界定理
关键词:确界定理 单调有界原理 Cauchy 准则 致密性定理 聚点定理 闭区间套定理 有限覆盖定理
我们知道,实数空间是一种集合R,其中的元素为实数,且在这个集合上定义了加”+”,乘,运算,以及序关系”<”,满足以下的公理:
1. 域公理 即任意的x, y, z∈R(实数域)有:
(1).交换律 x+y = y+x, x﹡y = y﹡x .
(2).结合律 (x+y)+ z = x + (y+z),(x﹡y) ﹡z = x﹡(y﹡z).
(3).分配律 x﹡(y+z) = x﹡y + x﹡z.
(4).有两个特殊的成员0与1,对任意的x∈R有 x+0 = x, x﹡1= x.
(5).每个x∈R有关于"+"的逆元-x;关于"﹡"的逆元1/x,使得
x+(-x)=0,x﹡(1/x)=1.
2.与加"+"、乘"﹡"运算相容的全序公理:
(1)任意的x,y∈R,以下三种关系:x<y,x=y,x>y必有一个且仅有一个成立.
(2).传递性 若x<y,y<z,则x<z.
(3).与“加法”相容性 若x<y,z∈R,则x+z<y+z.
(4).与“乘法”相容性 若x<y,z>0,则x﹡z<y﹡z.
3.(Archimedes公理) 任意 x>0, y>0,存在n∈N ,使得nx≥y.与有理数不同,实数具有完备性.
4.完备性公理:有上界的非空集合必有上确界.
鉴于此,我们对实数有了大体的了解,而下面用实数的7个基本定理以不同的形式刻画了实数的连续性.
一、七条定理的内容分别如下:
(1).(确界定理)任何R中的非空集E,若它有上界,则必有上确界supE∈R(等价的若有下界,必有下确界)
(2) .(单调有界原理) 任何R中的单调递增、有上界的序列{ Xn },必有极限lim Xn∈R(n 趋于∞).(等价地,单调递减、有下界也必有极限.)
(3).( Cauchy 准则) 对R中的序列{ Xn }收敛的充分必要条件是任意的a>0,存在N,当m,n>N时,有 | Xn—Xm | < a.
(4). (致密性定理) 任何有界的无穷序列必有收敛的子序列.
(5). (聚点定理) 任何有界无穷集,至少有一个聚点.
(6). (闭区间套定理) 任何闭区间套,必存在唯一的公共点.
(7).(有限覆盖定理) 闭区间上的任意开覆盖,必存在有限子覆盖.
二、下面为七条定理的相互推证。
下图为证明的推导流程图:
单调有界原理
Cauchy
准则
聚点定理
有限覆盖定理
确界定理
(1). 用确界原理来证明单调有界定理: