关于实数连续性的6个基本定理的互证

合集下载

实数的连续性公理证明确界存在定理

实数的连续性公理证明确界存在定理

定理一实数基本定理(戴德金实数连续性定理)实数系按戴德金连续性准这是连续地,即对地任意分划,都存在唯一地实数,它大于或等于下类地每一实数.小于或等于上类中地每一个实数.定理二单调有界有极限单调上升(下降)有上(下)界地数列必有极限存在.定理三确界定理在实数系内,非空地有上(下)界地数集必有上(下)确界存在.定理四区间套定理设是一个区间套,则必有唯一地实数,使得包含在所有地区间套里,即.定理五有限覆盖定理实数闭区间地任一个覆盖,必存在有限地子覆盖.定理六紧致性定理有界数列必有收敛子数列.定理七收敛原理在实数系中,数列有极限存在地充分必要条件是:任给>,存在,当>,>时,有.定理一—三是对实数连续性地描述,定理四—定理六是对实数闭区间地紧致性地描述,定理七是对实数完备性地描述.上述七个定理都描述了实数地连续性(或称完备性),它们都是等价地.下面给出其等价性地证明:定理一定理二:设数列单调上升有上界.令是全体上界组成地集合,即,而\,则是实数地一个分划.事实上,由有上界知不空.又单调上升,故,即不空.由\知、不漏.又,则,使,即、不乱.故是实数地一个分划.根据实数基本定理,存在唯一地使得对任意,任意,有.下证.事实上,对,由于,知,使得 .又单调上升.故当>时,有.注意到,便有.故当>时有,于是.这就证明了.若单调下降有下界,则令,则就单调上升有上界,从而有极限.设极限为,则.定理二证完.定理二定理三:只需证明在实数系内,非空地有上界地数集必有上确界存在.设数集非空,且有上界.则,使得对,有 .又是全序集,对,与有且只有一个成立.故,有与有且只有一个成立.故是地上界与不是地上界有且只有一个成立. 有上界,实数是地上界.若不存在实数不是地上界,则由上知,实数都是地上界,这显然与非空矛盾.故,使得不是地上界,是地上界.则使得.用地中点二等分,如果是地上界,则取;如果不是地上界,则取.继续用二等分,如果是地上界,则取;如果不是地上界,则取.如此继续下去,便得到两串序列.其中都不是地上界且单调上升有上界(例如),都是地上界且单调下降有下界(例如).并且(当时).由单调上升有上界知有存在,使得 .下证.①事实上,对,,当时有.又都不是上界对每一个,,使得.故对,,使得.②若,使得,则由知.故,使得.又都是地上界,故对有.而,故,这是不可能地.故对,有.综上①、②即有.即有上确界存在.定理三定理四:由条件知集合非空,且有上界(例如).故由确界定理知有上确界,记为 .则对,有.同理可知集合有下确界,记为.则对,有.又,由上可知. 两边取极限,令有 .又显然.否则由于是地上确界,则,使得;同理,使得,则有.又由区间套地构造可知,对,记(),则有.故有,矛盾.故必有.故,记为.则对,有.下证具有这一性质地点是唯一地.用反证法,如果还有另一,使得.由于对一切成立,故,令,得,与矛盾.故这样地是唯一地,即存在唯一地实数,使得包含在所有地区间里,即 .定理四定理五:用反证法.设是区间地一个覆盖,但没有地有限子覆盖. 记,二等分,则必有一区间没有地有限子覆盖(否则把两区间地地有限子覆盖地元素合起来构成一新地集合’,则’是地地有限子覆盖,即有地有限子覆盖与反证假设矛盾),记其为 .二等分,则必有一区间没有地有限子覆盖,记为.如此继续下去,得到一组实数地闭区间序列,满足() ;() .故构成一个区间套,且每个都没有地有限子覆盖.则由区间套定理有存在唯一地实数,使得.又由覆盖地定义有,使得,即.又由上区间套定理地证明可知,其中.故,使得,,使得.设,则,即有覆盖.这与没有地有限子覆盖地构造矛盾,故必有地有限子覆盖.定理五定理六:设数列有界,即实数,且<,有 .用反证法,如果无收敛子数列,则对,使得只有有限个.(如果不然,即,对,有中有无限个.选定,再选,使.这是办得到地,因为包含数列地无限多项.再取,使 .如此继续下去,便得到地一子数列 .令,则有 .又,与反证假设矛盾).又以这样地作为元素组成地集合显然是地一覆盖,记为.则由有限覆盖定理知有地有限子覆盖.而中地每个元素都只包含地有限项,有限个有限地数相加仍为有限数,故只包含地有限项.这与矛盾,故必有收敛子数列,即有界数列必有收敛子数列.定理六定理七:必要性:设在实数系中,数列有极限存在,则,,使得只要,有(记).因此只要,就有.必要性得证.充分性:设在实数系中,数列满足:,,当时,有,即是基本列.先证是有界地.事实上,取,则,使得当时,有.取定一,则有.取,则有.这就证明了是有界地.再证明有极限存在.由紧致性定理可知有子数列,使得存在,记为.下证.事实上,,由题设知,当时,有 .又,,只要,就有.取,则只要,选取,就有.这就证明了.即有极限存在.充分性得证.综上,定理七证完.定理七定理一:对任意给定地实数地分划,、非空,可任取点.又分划满足不乱,.用地中点二等分,如果,则取;如果.则取.(分划满足不漏,对任意实数,或者属于,或者属于.故或.)继续用二等分,如果,则取;如果,则取 .如此继续下去,便得到两串序列.其中单调上升有上界(例如),单调下降有下界(例如),并且(当时).下面用柯西收敛原理来证明存在.事实上如果不然,则,,,有.不妨设,由单调上升有 . 对上式都成立(),取,并把所得地不等式相加得.其中为不等式地个数.故,当时.而由地取法可知对每一个都有相应地’与之对应,即有相应地与之对应.故对,,使得.即无界,与有界矛盾.故存在,记为.下证对,有.这等价于证明对,有.事实上,,由知,使.故.而对,由知.故,使.从而,这就证明了,即证明了实数基本定理.综上,这就证明了这七个定理是等价地.而从证明过程来看:定理二定理三地方法可用于定理二定理四及定理四定理三;定理七定理一地方法可运用于定理七定理二,定理二定理四,定理四定理一.而这并不构成逻辑循环,因为我们已用十进小数证明了实数基本定理.而这其实是用无限不循环小数方法来定义无理数.事实上我们还可以用戴德金分割法、康托基本序列法或魏尔斯特拉斯地单调有界序列法来定义无理数,这都能构成反映实数本质地实数公理系统.。

数学分析八大定理互证

数学分析八大定理互证

数学分析八大定理互证数学分析中的单调有界性定理,闭区间套定理、确界存在性定理、Heine 一Borel有限微盖定理、Weierstrass聚点定理,致密性定理以及Cauchy收敛准推则,虽然它们的数学形式不同,但它们都是描述了实数集的连续性,在数学分析中有者举足轻重的作用。

为方便读者,我们叙述如下:定理I(单调有界性定理)单调有界数列必存在极限。

定理2(闭区间套定理)设有闭区间列{[4.,b.]},满足1)[ab[azb2]つ。

…つ[an:b]つ2)lim (b-)=0则存在唯-一数,使得∈[a.b](n=1,2,…)或{}=∩[a:b] 定理3(确界存在性定理)若非空数集E有上界(下界),则数集E一定存在上确界(下确界)。

若确界存在,则不难证明确界一定唯一。

定理4,(Hcine-一Borel有限覆盖定理)若开区间集S盖闭区间[a,b],则在S 中存在有限个开区间也微盖了闭区间[a,b]。

定理5(Weierstrass聚点定理)数轴上有界无限点集E至少有一个聚点。

定理6(致密性定理)有界数列{an}必有子数列{ak}收敛。

定理7(Cauchy收敛准则)数列{an}收敛台对于任意s>0,存在正整数N>0,当nm>,有an一am<e。

许多学者指出数学分析上述七大定理是相互等价的,即任意一个定理都是其它定理成立的必要充分条件:任何两个命题都可相互直接推导。

然而这七大定理的相互证明散见于浩瀚的文献之中,是否存在一个完整的证明还是一个未知数,笔者系统整理了已有结果,指出这样的证明是存在的。

作为补充,还给出了由闭区间套定理到Weierstrass聚点定理,山致密性定理到单调有界性定理,由确界存在性定理到Cauchy收敛准则,由闭区间套定理到单调有界性定理,以及由Weierstrass聚点定理到Cauchy收敛准则的证明,为给出另一个数学分析-七大定理的相互证明作了准备。

已有结果的系统整理许多学者~已对这七大定里的相互证明作了一定的探讨(具体见图1)。

实数的连续性

实数的连续性

+
ξ − ε < xn < ξ + ε
lim xn = ξ .
n →∞
数学分析选讲
多媒体教学课件
是单调递增(减 数列 如果{x 无上界 数列,如果 注1:设{xn }是单调递增 减)数列 如果 n }无上界 : 是单调递增 (下界 则 下界)则 下界
lim xn = +∞( −∞ ).
n →∞
是单调递增(减 数列 数列,且有界 注2:设{xn }是单调递增 减)数列 且有界 : 是单调递增
数学分析选讲
多媒体教学课件
二、单调有界原理 定义3 是任意数列,若对每个自然数 定义 设{xn }是任意数列 若对每个自然数 有 是任意数列 若对每个自然数n,有 xn≤xn+1则称 n }是单调递增数列; 则称{x 是单调递增数列 是单调递增数列; 若对每个自然数n,有xn≥xn+1,则称 n }是单调递增数列 则称{x 是单调递增数列 是单调递增数列. 若对每个自然数 有 则称
S = { xn | n ∈ N }
是有界无限点集,从而至少有一个聚点ξ 由定理 是有界无限点集 从而至少有一个聚点ξ,由定理 中有一 从而至少有一个聚点 由定理6,S中有一 个点列收敛于ξ 即 有一个子列收敛于ξ 个点列收敛于ξ,即{xn}有一个子列收敛于ξ. 有一个子列收敛于
任意ε 首先对任意正整数 首先对任意正整数n,有 ≤ξ<ξ ε 另一方面存在 任意ε>0,首先对任意正整数 有xn≤ξ ξ+ε.另一方面存在 正整数N,使 单调递增, 正整数 使xN>ξ-ε.又{xn }单调递增,因此对任意 ξ ε又 单调递增 因此对任意n>N,有 有 xn ≥xN>ξ-ε.从而对任意 从而对任意n>N, ξ ε 从而对任意 即|xn-ξ|<ε,故 ξ ε故

实数完备性六个定理的互相证明

实数完备性六个定理的互相证明
n
0 , x S ,使得 x ,
记为 xn a ( n ) 。如果不存在实数 a,使 xn 收敛于 a,则称数列 xn 发散。
lim xn a 0 , N N , n N ,有 xn a 。

二、一些基本概念
1.有界集: 设 S 是一个非空数集,如果 M R ,使得 x S ,有 x M ,则称 M 是 S 的
一个上界;如果 m R ,使得 x S ,有 x m ,则称 m 是 S 的一个下界。当数集 S 既有上界,又有下界时,称 S 为有界集。
a1 b1 a b a b , b1 S ,则记 a2 , b2 = 1 1 , b1 否则记 a2 , b2 = a1 , 1 1 ;...;对 2 2 2 an 1 bn 1 an 1 bn 1 a b an1 , bn1 二等分为 , bn 1 ,若 n 1 n 1 , bn 1 S , an 1 , 、 2 2 2
则记 a2 , b2 =
a1 b1 a b , b1 否则记 a2 , b2 = a1 , 1 1 ;...;对 an 1 , bn 1 二等分为 2 2
an 1 bn 1 an 1 bn 1 a b , bn 1 ,若 n 1 n 1 非 s 的上界,则记 、 an 1 , 2 2 2 an 1 bn 1 a b an , bn = , bn 1 否则记 an , bn = an 1 , n 1 n 1 ;...,得到一列闭区间 2 2
上界,则记 a2 , b2 =

第6节 实数的连续性:上确界下确界存在定理

第6节 实数的连续性:上确界下确界存在定理

AB = {xy x 挝A, y B}, 则sup AB sup A sup B
证明:
x A, y B,x sup A, y sup B, 有xy sup A sup B
因此 sup AB sup A sup B
0, 1, x0 A, x0 sup A sup A sup B 1 0, 1, y0 B, y0 sup B sup A sup B 1
0, x ' X , x ' inf X 2 y ' Y , y ' inf Y 2 x ' y ' inf X inf Y
inf( X Y ) inf X inf Y
⑵ 显然有 inf X sup X , inf Y sup Y
sup x n sup yn ,
(sup x n 是x n 最小上界)
三、确界原理 定理1 非空有上界的数集必有上确界. 非空有下界的数集必有下确界. 证明: 设 E 非空有上界: ① 设r是E的一个上界
x E , 将[ x , r ]记为[a1 , b1 ]
E (x ) r

n
* 0 , N N , 使a N Ⅱ
( lim an )
n
在[a N , bN ]中必有 E中点 x N , 使得
xN aN
sup E
aN
xN

bN
确界原理 单调有界原理 注1:
设an 单调增,有上界, 证明:
§6
实数的连续性:
上确界下确界存在定理

六大定理互相证明总结

六大定理互相证明总结

六大定理的相互证明总结XXX 学号数学科学学院 数学与应用数学专业 班级指导老师 XXX摘要 在《数学分析》中第二部分极限续论中提到的实数的基本定理一共提到六大定理,其中包括确界定理,单调有界原理,区间套定理,致密性定理,柯西收敛定理,有限覆盖定理.该六大定理在闭区间上连续函数性质的证明起着同等重要的作用.本文总结了六大定理的相互证明.关键词 确界定理、单调有界原理、区间套定理、致密性定理、柯西收敛定理、有限覆盖定理1 确界定理1.1 确界定理 有上界的非空数集必有上确界,有下界的非空数集必有下确界. 1.2 确界定理证明区间套定理 证明:设一无穷闭区间列{[,n a ]n b }适合下面两个条件:(1)后一个区间在前一个区间之内,即对任一正整数n ,有1+≤n n a a <n n b b ≤+1,(2)当n ∞→时,区间列的长度{(-n b )n a }所成的数列收敛于零,即()0lim =-∞→n n n a b .显然数列{}n a 中每一个元素均是数列{}n b 的下界,而数列{}n b 中每一个元素均是数列{}n a 的上界.由确界定理,数列{}n a 有上确界,数列{}n b 有下确界. 设{}{}.sup ,inf n n a b ==βα显然n n n n b a b a ≤≤≤≤βα,. 又 ()0lim =-∞→n n n a b ∴βα=即{}n a 及{}n b 收敛于同一极限ξ,并且ξ是所有区间的唯一公共点. 1.3 确界定理证明单调有界原理[1]证明:我们只就单调增加的有界数列予以证明.因{}n y 有界,则必有上确界{}n y sup =β.现在证明β恰好是{}n y 的极限,即β→n y .由上确界的定义有:⑴β≤n y (3,2,1=n …),⑵对任意给定的ε>0,在{}n y 中至少有一个数N y ,有N y >εβ-.但由于{}n y 是单调增加数列,因此当n >N 时,有N n y y ≥,从而n y >εβ-.也就是说:当n >N 时,有 n y -≤β0<ε 所以 β→n y 2 单调有界原理2.1 单调有界原理 单调有界数列有极限. 2.2 单调有界原理证明致密性定理在证明定理之前,我们要先证明一个引理:任意一个数列{}n x 必存在单调子数列. 证明:⑴若{}n x 中存在递增子序列{}k n x ,则引理已证明;⑵若{}n x 中无递增子序列,那么∃1n >0,使n >1n ,恒有1n x >n x .同样在{}n x (n >1n )中也无递增子序列.于是又存在2n >0,使2n >n ,恒有2n x <n x <1n x .如此无限进行下去便可得到一严格递减子序列{}k n x . 引理得证.下面证明定理:由引理知,有界数列必有有界单调子数列.又由单调有界原理知,该有界单调子数列必有极限,即该子数列是收敛的.故有界数列必有收敛子列. 2.3 单调有界原理证明区间套定理[1]由定理的条件立即知道{}n a 是单调增加有上界的数列,{}n b 是单调递减有下界的数列.根据定理,则n n a ∞→lim 存在,且极限等于{}n a 的上确界.同样,n n b ∞→lim 也存在,且极限等于{}n b 的下确界.亦即对任何正整数k ,有n n k n n k b b a a ∞→∞→≥≤lim ,lim (*)由定理的另一条件: ()0lim =-∞→n n n a b ,并且由于已知{}n a 及{}n b 的极限都存在,则有()0lim lim lim =-=-∞→∞→∞→n n n n n n n a b a b .从而证明了两个极限相等,且设ξ是它们的同一极限.于是定理前一部分的结果即已证得.剩下要证的是:ξ是所有区间的唯一公共点.由(*)的两个不等式,即有 n k b a ≤≤ξ(3,2,1=k …)也就是ξ是所有区间的一个公共点.现在要证明ξ是所有区间的唯一公共点.设除点ξ外,所设区间列还有另外一个公共点'ξ,且ξξ≠'.由于n n b a ≤≤',ξξ(3,2,1=n …),故有ξξ-≥-'n n a b (3,2,1=n …) 由数列极限的性质知道:()ξξ-≥-∞→'lim n n n a b由于()0lim =-∞→n n n a b ,故有0'≤-ξξ从而有ξξ='.到此定理的全部结果都已得证. 3 区间套定理3.1 区间套定理 设一无穷闭区间列{[,n a ]n b }适合下面两个条件:(1)后一个区间在前一个区间之内,即对任一正整数n ,有1+≤n n a a <n n b b ≤+1,(2)当n ∞→时,区间列的长度{(-n b )n a }所成的数列收敛于零,即()0lim =-∞→n n n a b ,则区间的端点所成两数列{}n a 及{}n b 收敛于同一极限ξ,并且ξ是所有区间的唯一公共点.3.2 区间套定理证明单调有界原理 证明:设数列{}n x 递增有上界.取闭区间[]11,b a ,使1a 不是数列{}n x 的上界,1b 是数列{}n x 的上界.显然在闭区间[]11,b a 内含有数列{}n x 的无穷多项,而在[]11,b a 外仅含有数列{}n x 的有限项. 对分[]11,b a ,取[]22,b a ,使其具有[]11,b a 的性质.故在闭区间[]22,b a 内含有数列{}n x 的无穷多项,而在[]22,b a 外仅含有数列{}n x 的有限项.以此方法,得区间列{[,n a ]n b }.由区间套定理,ξ是所有区间的唯一公共点.显然,在ξ的任何邻域内有数列{}n x 的无穷多项,即ε∀>0,∃*N N ∈,当n >N 时,有ξ-n x <ε. 所以ξ=∞→n n x lim 定理得证.3.3 区间套定理证明致密性定理[1]证明:设{}n y 为有界数列,即存在两个数b a ,,使b y a n ≤≤.等分区间[]b a ,为两个区间,则至少有一个区间含有{}n y 中的无穷个数.把这个区间记为[]11,b a ,如果两个区间都含有无穷个n y ,则任取其一作为[]11,b a .再等分区间[]11,b a 为两半,记含有无穷个n y 的区间为[]22,b a .这个分割手续可以继续不断的进行下去,则得到一个区间列{[,n a ]n b },这个区间列显然适合下面两个条件:(1)[][][]⊃⊃⊃2211,,,b a b a b a … (2)02→-=-nn n ab a b 于是由区间套定理,必存在唯一点[]b a ,∈ξ使ξξ→→n n b a ,,且[]k k b a ,∈ξ(3,2,1=k …).每一[]k k b a ,中均含有{}n y 的无穷个元素.在[]11,b a 中任取{}n y 的一项,记为1n y ,即{}n y 的第1n 项.由于[]22,b a 也含有无穷个n y ,则它必含有1n y 以后的无穷多个数,在这些数中任取其一,记为2n y ,则1n <2n .继续在每一[]k k b a ,中都这样取出一个数k n y ,即得{}n y 的一个子列{}k n y ,其中1n <2n <…<k n <…,且k n k b y a k ≤≤.令∞→k ,由于,,ξξ→→k k b a 故ξ→k n y .这就是定理所要的结果.4 致密性定理4.1 致密性定理 又称魏尔斯特拉斯定理,任一有界数列必有收敛子列. 4.2 致密性定理证明单调有界原理证明:不妨设{}n x 单调递增且有界,根据致密性定理有收敛子列{}k n x . 令a x k n k =∞→lim .于是,对ε∀>0,∃0k ,当k >0k 时,有a x k n -<ε (*) 由于{}n x 单调递增,显然恒有a x n ≤(3,2,1=n …). 由此(*)式可改成0k n x a -≤<ε (k >0k ) 取0k n N =,当n >N 时有 k n n x a x a -≤-≤0<ε 所以 a x n n =∞→lim4.3 致密性定理证明柯西收敛原理[1] 证明:首先证明条件的必要性:设a x n →,则对任意给定ε>0,有一正整数N ,当k >N 时,有 a x k -<2ε从而当n m ,>N 时,有m n m n x a a x x x -+-≤-<2ε+2ε=ε 其次证明条件的充分性:首先,证明满足条件的任何数列必有界.从所设条件,取ε=1,必有一正整数0N ,当n m ,>0N 时,有m n x x -<1特别地,当n >0N 且10+=N m 时,有 10+-N n x x <1 从而当n >0N 时,有 1100+++-≤N N n n x x x x <1+10+N x这就证明了{}n x 的有界性.由致密性定理,必有收敛子列{}k n x ,设a x k n k =∞→lim .根据子列收敛定义,对任意给定的ε>0,必有正整数K ,当k >K 时,有 a x n -<ε取一正整数()1,1m ax 0++=N K k .于是0k >K ,且11+≥≥+N n n N k o >N .因此,当n >N 时,由已知条件有0k n n x x -<ε,所以a x x x a x k k n n n n -+-≤-00<ε+ε=2ε即 a x n n =∞→lim5 柯西收敛原理5.1 柯西收敛原理 数列{}n x 有极限的必要与充分条件是:对任意给定的ε>0,有正整数N ,当m , n >N 时,有m n x x -<ε. 5.2 柯西收敛原理证明单调有界原理证明:反证法,设{}n x 为一递增且有上界M 的数列.假设其没有极限,则用柯西收敛原理表达就是ε∃>0,对*N N ∈∀,当n m ,>N 时,有 m n x x -ε≥ 取1=ε,必有一正整数1N ,当21,n n >1N 时,有112≥-n n x x . 又由于数列{}n x 为一递增的数列,所以1212n n n n x x x x -=-1≥ 取1=ε,必有一正整数1N ,当32,n n >1N 时,有123≥-n n x x 取1=ε,必有一正整数1N ,当43,n n >1N 时,有134≥-n n x x …………… …………… …………… 取1=ε,必有一正整数1N ,当1,+k k n n >1N 时,有11≥-+k k n n x x 将以上式子相加,得11+≥+k x k n ∞→ (∞→k ) 与数列{}n x 有上界M 矛盾,假设不成立. 即,单调有界数列有极限. 5.3 柯西收敛原理证明致密性定理证明:反证法,设{}n x 为一有上界M 的数列. 假设其没有收敛子列.由子列收敛的定义,则ε∃>0,对*N N ∈∀,当k k n n ,1+>N 时,有ε≥-+k k n n x x 1. 取1=ε,必有一正整数1N ,当21,n n >1N 时,有112≥-n n x x 取2=ε,必有一正整数2N ,当32,n n >2N 时,有223≥-n n x x 取3=ε,必有一正整数3N ,当43,n n >3N 时,有334≥-n n x x…………… …………… …………… 取k =ε,必有一正整数k N ,当1,+k k n n >k N 时,有k x x k k n n ≥-+1 显然与数列{}n x 有上界M 矛盾,假设不成立. 即,任一有界数列必有收敛子列. 6 有限覆盖定理6.1有限覆盖定理 若开区间所组成的区间集E 覆盖一个闭区间[a ,b ],则总可以从E 中选出有限个区间,使这有限个区间覆盖[a ,b ]. 6.2 有限覆盖定理证明确界定理证明:在这里我们只说明定理的上确界部分.设不为空集的区间E ⊂R ,∀x ∈E ,有x ≤M ,任取一点0x ∈E ,假设E 无上确界,那么∀x ∈[0x ,M ]:ⅰ)当x 为E 的上界时,必有更小的上界1x <x ,因而x 存在一开邻域∆x ,其中每一点均为E 的上界,称其为第一类区间;ⅱ)当x 不是E 的上界时,则有2x ∈E 使2x >x ,那么x 存在一开邻域∆x ,其中每点均不是E 的上界,称其为第二类区间.∴ 当x 取遍[0x ,M ]上每一点找出一个邻域∆x .显然∆x 不是第一类区间就是第二类区间.这些邻域组成闭区间[0x ,M ]的一个开覆盖,由有限覆盖定理,必存在有限子区间覆盖[0x ,M ].显然M 所在的开区间应为第一类区间,与其邻接的开区间∆x 有公共点.所以∀x ∈∆x ,x 均为E 的上界.而与∆x 相邻接的开区间∆'x 有公共点,所以∀x ∈∆'x ,x 均为E 的上界. 依此类推,0x 所在的开区间也是第一类区间,则0x 为E 的上界. 又 0x E ∈,∴E 为常数集.由此矛盾引出. 得证.同理,E 有下确界.6.3 有限覆盖定理证明致密性定理证明:设{}n x 是一有界数列,现在证明{}n x 有收敛子列.(1)如果{}n x 仅由有限个数组成,那么至少有一个数ξ要重复无限多次,即ξ===21n n x x …==kn x … 因而子列{}kn x 收敛于ξ.(2)如果{}n x 是由无穷多个数组成,由有界性知,存在闭区间[]b a ,,使对一切自然数n 都有a <n x <b在[]b a ,内至少存在一点0x ,使对于任意的正数δ,在()δδ+-00,x x 内都含有{}n x 中无穷多个数.事实上,倘若不然,就是说对于[]b a ,中每一点x ,都有x δ>0,在()x x x x δδ+-,内,仅有{}n x 中的有限个数.考虑所有这样的开区间所成之集:{=μ(,x x δ-)x x δ+},μ完全覆盖了闭区间[]b a ,,依有限覆盖定理,存在μ中的有限多个区间.()11111,x x x x δδ+-=∆,…,()n n x n x n n x x δδ+-=∆,,他们也覆盖了[]b a ,,并且在每一个i ∆(,2,1=i …,n )中都只含{}n x 中的有限多个数.因此{}n x 也最多是由有限个数组成,这与假设矛盾. 于是,对于k δ=k1(,3,2,1=k …),于()k k x x δδ+-00,内取{}n x 中无穷多个点,就得到{}n x 的子列{}k n x 满足:0x x k n -<kk 1=δ(,3,2,1=k …)从而∞→k lim 01x x n =得证.总结:六大定理可以分为两类: ① 有限覆盖定理:反映区间上的整体性质; ② 其余五个:反映函数在一点上的性质.实数的六个基本定理在理论上很有用,在之后的闭区间上的函数的性质的证明上发挥着重要的作用.本文在写作过程中得到了XXX 老师的多次精心指导,在此表示感谢.参考文献:[1] 陈传璋 金福临 朱学炎 .《数学分析(上)》.高等教育出版社.1983.7。

四个实数系的基本定理的完全互证

四个实数系的基本定理的完全互证

职成教苑714289877@四个实数系的基本定理的完全互证ʏ㊀常州铁道高等职业技术学校学生工作处㊀熊晗颖㊀㊀摘要:实数系的基本定理是数学分析中重要组成部分,是分析引论中极限理论的基础㊂能够反映实数连续性的定理很多,它们彼此等价,教材中以确界存在定理为基础,将这些定理进行一次循环证明就验证了它们的等价性㊂本文把确界存在定理㊁单调有界定理㊁闭区间套定理㊁Cauchy 收敛原理这四个定理的所有互推方法列了出来,旨在更加深刻地理解他们之间的关系㊂本文主要采用了构造的方法,也采用了反证法等证明方法㊂关键词:确界存在定理;单调有界定理;闭区间套定理;Cauchy 收敛原理在高等数学领域中,实数系基本定理常见的有确界存在定理㊁单调有界定理㊁闭区间套定理㊁Cauchy 收敛定理㊂这些定理是极限理论乃至整个数学分析理论的基础㊂每一个课本上都是以一个定理为基础循环证明其它定理,一是因为在教程上一一列出来没有必要,二是这些过程太复杂,有些定理证明还是相当有难度的㊂鉴于这部分内容的重要性与复杂性,本文将其所有的证明情形列出来㊂这五个定理,其实他们属于同一类型,他们都指出,在某一条件下,便有某 点 存在,这种点分别是确界(点)(确界存在定理),极限点(单调有界定理和Cauchy 收敛原理),公共点(闭区间套定理),子列的极限点㊂1㊀利用确界存在定理证明其它定理1.1㊀用确界存在定理证明单调有界定理证㊀不妨设x n {}单调递减有下界,根据确界存在定理,由x n {}构成的数集必有下确界α,满足:(1)∀n ɪN +:x n ȡα,(2)∀ε>0,∃x n 0:x n 0<α+ε㊂取N =n 0,∀n >N :α-ε<αɤx n ɤx n 0<α+ε,因而x n -α<ε,于是得到lim n ңɕx n =α㊂同理可证数列x n {}单调增加且有上界的情况㊂1.2㊀用确界存在定理证明闭区间套定理证㊀由a n +1,b n +1[]⊂a n ,b n [],n =1,2,3, 得a 1ɤ ɤa n -1ɤa n <b n ɤb n -1ɤ ɤb 1㊂由确界存在定理有:a n {}单调增加且有上确界ξ1,b n {}单调减少且有下确界ξ2,则ȵlim n ңɕb n -a n ()=0,ʑξ1=ξ2,设lim n ңɕa n =lim n ңɕb n =ξ由于ξ是a n {}的上确界,也是b n {}的下确界,于是有a n ɤξɤb n ,n =1,2,3, ,即ξ属于所有的闭区间a n ,b n []㊂若另有实数ξᶄ属于所有的闭区间a n ,b n [],则也有a n ɤξᶄɤb n ,n =1,2,3,令n ңɕ,由极限的夹逼性得ξᶄ=lim n ңɕa n =lim nңɕb n =ξ㊂1.3㊀用确界存在定理证明Cauchy 收敛原理引理:基本数列必定有界取ε0=1,因为x n {}是基本数列,所以∃N 0,∀n >N 0:x n -x N 0+1<1㊂令M =max x 1,x 2, ,x N 0,x N 0+1{},则对一切n ,成立x n ɤM ㊂证㊀必要性:设x n {}收敛于a ,按定义,∀ε>0,∃N ,∀n ,m >N :x n -a <ε2,x m -a <ε2,于是x m -x n ɤx m -a +x n -a <ε㊂充分性:由引理,基本数列x n {}必定有界㊂由确界存在定理,数列x n {}必有上确界,记ξ=supn >N x n{},则ξ为x n {}的极限㊂2㊀利用单调有界定理证明其它定理2.1㊀用单调有界定理证明确界存在定理证㊀设S 是非空有上界的实数集合,又设T 是由S 的所有上界所组成的集合,现证T 含有最小数,即S 有上确界㊂取a 1∉T ,b 1ɪT ,显然a 1<b 1㊂现按下述规则一次构造一列闭区间:a 2,b 2[]=a 1,a 1+b 12éëêêùûúú,若a 1+b 12ɪT a 1+b 12,b 1éëêêùûúú,若a 1+b 12∉T ìîíïïïï,a 3,b 3[]=a 2,a 2+b 22éëêêùûúú,若a 2+b 22ɪT a 2+b 22,b 2éëêêùûúú,若a 2+b 22∉T ìîíïïïï㊀显然a n {}单调递增有上界b 1,b n {}单调递减有下界a 1,由单调有界定理,a n {}与b n {}收敛,且lim n ңɕa n =lim n ңɕb n =ξ,现只需说明ξ是集合T 的最小数,也就是集博看网 . All Rights Reserved.714289877@ 职成教苑合S 的上确界㊂当ξ∉T ,即ξ不是集合S 的上界,则存在x ɪS ,使得ξ<x ㊂由lim n ңɕb n =ξ,可知当n 充分大时,成立b n <x ,这就与b n ɪT 发出矛盾,所以ξɪT ㊂若存在ηɪT ,使得η<ξ,则由lim n ңɕa n =ξ,可知当n 充分大时,成立η<a n ㊂由于a n ∉T ,于是存在y ɪS ,使得η<a n <y ,这与ηɪT 发生矛盾㊂从而得出ξ是集合S 的上确界㊂2.2㊀用单调有界定理证明闭区间套定理证㊀由条件①可得a 1ɤ ɤa n -1ɤa n <b n ɤb n -1ɤ ɤb 1㊂显然:a n {}单调增加有上界,b n {}单调减少有下界a 1,由单调有界定理,a n {}与b n {}都收敛㊂设lim n ңɕa n =ξ,则lim n ңɕb n =lim n ңɕb n -a n ()+a n []=lim n ңɕb n -a n ()+lim n ңɕa n =ξ,ξ的惟一性显然成立㊂2.3㊀用单调有界定理证明Cauchy 收敛原理证㊀必要性(略)㊂充分性:由引理1基本数列必有界,其次再证明基本数列x n {}的子列有极限㊂取单调减少的基本数列x n {}的子列x n k {}为例㊂令ε=1n ,则存在N n ()及n 1,n 2>N ,使得x n 1-x n 2<1n ,不妨假设对固定的x n k ,必有x n k <x n k -1,当n k -1,n k >N 时,有x n k -1-x n k <1n㊂否则,由于x n {}为无穷数列,必有当n >N时,x n ʉx n k (k =1,2,3, )为常数列,显然收敛㊂结论成立㊂又因为x n k {}⊆x n {},且x n k {}有界,由单调有界定理知,x n k {}收敛㊂记lim n ңɕx n k =a ㊂即对任意ε>0,存在N ,当k >N 时有:x n k -a <ε最后再证lim n ңɕx n =a ㊂因为x n {}是基本数列,所以∀ε>0,∃N ,∀n ,m >N :x n -x m <ε2㊂在上式中取x m =x n k ,其中k 充分大,满足n k >N ,并且令k ңɕ,于是得到x n -a ɤε2<ε,此即证明数列x n {}收敛㊂3㊀利用闭区间套定理证明其它定理3.1㊀用闭区间套定理证明确界存在定理证㊀设S 是非空有下界的实数集合,又设T 是由S 的所以下界所组成的集合,现证T 含有最小数,即S 有下确界㊂构造一列闭区间,存在唯一的实数ξ属于所有的闭区间a n ,b n [],通过反证法可得证ξ是集合T 的最大数,也就是S 的下确界㊂当ξ∉T ,即ξ不是集合S 的下界,则存在x ɪS ,使得ξ>x ㊂由lim n ңɕa n =ξ,可知当n 充分大时,成立a n >x ,这就与a n ɪT 发出矛盾,所以ξɪT ㊂若存在ηɪT ,使得η>ξ,则由lim n ңɕb n =ξ,可知当n 充分大时,成立η>b n ㊂由于b n ∉T ,于是存在y ɪS ,使得y <b n <η,这与ηɪT 发生矛盾㊂从而得出ξ是集合S 的下确界㊂3.2㊀用闭区间套定理证明单调有界定理证㊀设数列x n {}单调递增有上界,记单调递减数列M n {}是x n {}的全体上界,则x 1<x 2< <x n <M n <M n -1< <M 2<M 1,显然有x n +1,M n +1[]⊂x n ,M n [],且limn ңɕM n -x n ()=0,所以x n ,M n []{}形成了一个闭区间套㊂由闭区间套定理,存在唯一实数ξ属于所有的闭区间x n ,M n [],且lim n ңɕx n =lim n ңɕM n =ξ,同理可证单调减少有下界的情况㊂3.3㊀用闭区间套定理证明Cauchy 收敛原理证㊀必要性(略)㊂充分性:设x n {}为基本数列,且a 1ɤx n ɤb 1,n ɪN +,将a 1,b 1[]二等分,令c 1=a 1+b 12得到两个长度相同的子区间a 1,c 1[]㊁c 1,b 1[],分别记为J 1㊁J 2,据它们在实数轴上的左右位置和基本数列的定义即可发现:在左边的J 1和右边的J 2中,至少有一个子区间只含有数列x n {}中的有限项㊂这从几何上看是很直观的,若在J 1和J 2中都有数列中的无穷多项,则可以在J 1中取x n ,在J 2中取x m 使得n ,m 都可以任意大,同时满足不等式x m -x n ȡb -a2这与x n {}为基本数列的条件矛盾,所以可以从a 1,b 1[]去掉只含有数列x n {}中有限项子区间J 1和J 2(若两个子区间都是如此则任取其一)将得到的区间记为a 2,b 2[],重复上述步骤,无限进行下去,便得区间套a k ,b k []{},且满足闭区间套中的每个区间长度是前一个区间长度的12,每一个a k ,b k []中含有数列x n {}中从某项起的所有项㊂所以存在ξ是a n {},b n {}从两侧分别单调收敛于ξ㊂现只需证明基本数列x n {}收敛于ξ㊂∀ε>0,∃n ɪN ,使a n ,b n 进入点ξ的邻域,即有a n ,b n []⊂ξ-ε,ξ+ε()㊂因a k ,b k []中含有数列x n {}中从某项起的所有项,所以∃N 1,当n >N 1时成立x n -ξ<ε㊂4㊀利用Cauchy 收敛原理证明其它定理4.1㊀用Cauchy 收敛原理证明确界存在定理证㊀设S 是一个有上界的集合㊂取实数b 1,使对所有x ɪS ,都有x <b 1㊂取a 1ɪS 并考察区间a 1,b 1[]的中点a 1+b 12,若a 1+b 12是S 的上界,则令a 2=a 1,b 2=a 1+b 12;若a 1+b 12不是S 的上界,则令a 2=a 1+b 12,b 2=b 1㊂于是总可得到区间a 2,b 2[],使b 2是S 的上界㊂a 2,b 2[]中有S 点且b 2-a 2=12b 1-a 1()再对闭区间a 2,b 2[]进行同样的处理,又可得到闭区间a 3,b 3[],使得b 3是S 的上界,a 3,b 3[]中有S 的点且b 3-a 3=b 2-a 22=b 1-a 122㊂重复此步骤,可得到一个闭区间的序列a n ,b n []{},满足下列条件:博看网 . All Rights Reserved.职成教苑714289877@(1)a n +1,b n +1[]⊂a n ,b n [],n =1,2,3, ㊂(2)b n -a n =b 1-a 12n -1,n =1,2,3, ㊂(3)对每个n ɪN ,b n 是S 的上界且a n ,b n []ɘS ʂ⌀,由(1)和(2)知,当m >n 时有b m -b n =b m -b n <b n -a n=12n -1b 1-a 1(),可见b n {}为基本数列,由柯西收敛原理知b n {}收敛,设b n {}收敛于M ㊂任意x ɪS 和任意n ɪN ,均有x ɤb n ,所以x ɤM ,即M 为S 的上界㊂对∀ε>0,由于b n -a n {}的极限为0,所以有n 0使b n 0-a n 0<ε,又因为b n 0ȡM ,所以a n 0ȡb n 0-εȡM -ε由(3)知a n 0,b n 0[]中有S 的点,这表明M -ε不是S 的上界,所以S 是M 的上确界,所以(2)成立㊂4.2㊀用Cauchy 收敛原理证明单调有界定理证㊀假设x n {}单调减少且有下界,但不收敛,则∃ε0,对∀N ,∃m >n >N 使得x n -x m ȡε0,即x m -x n ɤε0㊂取N 1=1,则∃m 1>n 1>N 1使得x m 1-x n 1ɤε0;取N 2=m 1,则∃m 2>n 2>N 2使得x m 2-x n 2ɤε0; ;取N k =m k -1,则∃m k >n k >N k 使得x m k -x n k ɤε0,如此下去,得到子列x n k {},x m k {}满足:kε0ȡx m k -x n k ()+ +x m 2-x n 2()+x m 1-x n 1()ȡx m k-x m k -1()+ +x m 2-x m 1()+x m 1-x n 1()=x m k -x n 1所以x m k -x n 1ң+ɕ,k ңɕ㊂这与x n {}有界矛盾,从而x n {}收敛㊂同理可证单调增加有上界的情形㊂4.3㊀用Cauchy 收敛原理证明闭区间套定理证㊀设m >n ,有0ɤa m -a n <b n -a n ң0(n ңɕ),所以数列a n {}是一基本数列,顾lim n ңɕa n =ξ,由此得到㊀lim n ңɕb n =lim n ңɕb n -a n ()+lim n ңɕa n =ξ㊂由于数列a n {}单调增加,数列b n {}单调减少,可知ξ是属于所有闭区间a n ,b n []的唯一实数㊂参考文献[1]陈纪修.於崇华.数学分析第二版上册[M ].北京:高等教育出版社,2004.[2]包丙寅.实数基本定理的等价性证明[J ].赤峰学院学报,2010,26(07).[3]胡永生.浅谈致密性定理的不同证明方法[J ].中国校外教育下旬刊,2008,(03).[4]扶炜.实数完备性六大基本定理的等价性证明[J ].信阳农业高等专科学校学报,2012,22(02).[5]刘利刚.实数系基本定理等价性的完全互证[J ].数学的实践与认识,2008,38(24).[6]常利利.数学分析同步辅导与课后习题详解[M ].第二版.上册.长春:吉林大学出版社,2008:7.责任编辑㊀孙晓东(上接第37页)4.2㊀多方面评价,全方位发展首先,弱化评价的选拔目的,重视学生发展的过程的均衡㊂促进每一个学生的全面发展是我国基础教育的根本任务,作为评价教学效果的重要指标,基础教育的根本目的不应是选拔拔尖性人才,而是帮助每一个学生发现其学习过程中存在的问题,以获得在未来获得更好的发展㊂其次,评价标准应更加多元化㊂每个学生都有自己的性格特长和钟爱的优势领域,因而在教育评价上就不能 单以分数论英雄 ,用一把尺子衡量所有学生㊂评价标准应包含道德品质㊁学业考试成绩㊁身体素质以及综合实践能力等多项标准,并且每项标准所占权重应均等,从而彻底打破考试卷面得分在学生评价中的 垄断地位 ㊂最后,避免单独使用结果评价,应将过程评价与结果评价相结合㊂过程评价是指在学生学习过程中,经常进行的对学生知识掌握情况㊁能力发展水平的评价㊂其目的不在于打分,而在于发现问题㊂结果评价是对学生学习成果的整体评价,在基础教育阶段,通常以打分的方式出现㊂评价的根本目的在于促进学生的发展而不仅仅是评定学生学习的阶段性成果㊂发现学生在学习过程中出现的问题并给予改进建议是促进学生迅速成长的有效途径,因而评价指标应更全面㊁合理,而不是仅给学生一个单一的分数认定㊂4.3㊀明确责任主体,加强监督管理建议国家将减负政策的全面落实纳入法治管理范围㊂如果教育主管部门放任不管,拒不履行责任,就应当承担相应的法律责任;如果校领导和教师违反减负政策要求,也应接受相应处罚;如果家长擅自给学生加压,也应承担相应的后果㊂加强对校外辅导机构的监管力度,杜绝超前教学㊁课业负担过重等不利于学生成长的教学方式,从而促进中小学生的健康成长㊂参考文献[1]聂清杰.中小学生负担过重的原因及对策[J ].国家高级教育行政学院学报,2000,(05):25-26.[2]朱晓芬. 减负 不要走向极端[J ].湖北教育:政务宣传,2001,(09):8-8.[3]姚佳胜,方媛.政策工具视角下我国减负政策文本计量研究[J ].上海教育科研,2019,(02):10-15.[4]张冰,程天君.新中国成立以来学生 减负 历程的回顾与反思[J ].教育科学,2019,35(06):33-39.[5]何东昌.中华人民共和国教育史纲[M ].海南:海南出版社,2002:203.[6]陈的非. 文革 期间中,小学课程与教学改革研究[D ].长沙:湖南师范大学.[7]王硕. 减负 背景下小学生家长家教观念研究[D ].芜湖:安徽师范大学,2019.[8]新华社.中共中央办公厅㊀国务院办公厅㊀关于进一步减轻义务教育阶段学生作业负担和校外培训负担的意见[J ].河南教育(基础版),2021,(09):4-8.[9]罗秀艳.提升教学实践能力促进教师专业发展[J ].科学中国人,2015,(1X ):104.责任编辑㊀孙晓东博看网 . All Rights Reserved.。

数学分析第四讲 实数系的6个定理的等价证明

数学分析第四讲 实数系的6个定理的等价证明
E中无穷多点,记为 [a1, b1]. 继续将[a1, b1]二等分,则至少一个含E无穷多点记为 [a2, b2]. 依次可得闭区间套{[ak , bk ]},满足下列条件:
(1) [ak1, bk1] [ak , bk ], k 1, 2,
(2)
lim
k
|
bk
ak
|
0
(3){[ak , bk ]}中每个区间都含有E的无穷多个点
由闭区间套定理存在唯一 [ak , bk ].
k 1
实数的连续不完备性讨论
根据
lim
n
an
lim
n
bn
,得到
0, N1 N * ,k N1 : ak
N2 N * ,k
N2
:
bk
0, N1 N * ,k N1 : ak +
N2 N * ,k N2 :
单调有 界定理
确界 定理
闭区间 套定理
柯西 收敛定理
列紧性 定理
有限覆 盖定理
聚点 定理
实数的连续不完备性讨论
定理:用闭区间套定理证明柯西收敛定理
证明充分性: 0, k N * ,n, m k : xm xn . 0, N k 1,m N : xm xN xN xm xN
用数列极限观点分析
实数集=有理数集+无理数集 有理数集在实数集稠密 无理数集在实数集稠密
著名数学家希尔伯特说:“无穷是人类最伟大的朋友,也是人类心 灵最宁静的敌人”说明极限是数学最重要的概念.
希尔伯特(David Hilbert, 1862-1943)德国数学家, 19世 纪和20世纪初最具影响力的数学家之一. 1900年在巴黎第二界国际 数学家大会上提出的23个数学问题(称希尔伯特问题),激发了整个 数学界的想象力. 现在这些问题约有一半已得到囿满解决. 其中第八 个问题,就是广为人知的“哥德巴赫猜想”他的杰出工作在整个数学 版图上留下了巨大显赫的名字:希尔伯特空间,希尔伯特丌等式, 希尔伯特算子,被尊为数学世界的亚历山大.

实数连续性定理.

实数连续性定理.

数列{an}收敛 0, N 0,使得对m, n N, 有 an am .
例 若数列{an}满足 an = 0.9sin 0.9 0.92 sin 证明数列{an}收敛.
0.9 0.9n sin n 0.9
实数完备性基本定理的等价性
实数基本定理等价性的路线 : 证明按以 下三条路线进行:
例 5 A 和 B 为非空数集, S = A B. 试证明: inf S = min {inf A , inf B }.
证 x S, 有 x A 或 x B, 由inf A 和inf B 分别是 A 和 B 的下界, 有
x inf A 或 x inf B. x min {inf A , inf B }.
例 4 设 A 和 B 是非空数集. 若对x A 和 y B, 都有 x y, 则有sup A inf B. 证 x A 和 y B, 都有 x y, y 是 A 的上界, 而 sup A 是 A 的最小上界
sup A y. 此式又 sup A 是 B 的下界, sup A inf B (B 的最大下界)
减.
例如 和 都是区间套. 但 、 {[ 1 , 1 ]} nn
{[ 0, 1 ]} n
( 1)n
2
{[ 1
, 1 ]}
n
n
和 { ( 0 , 1 ]} n
{[ 1 , 1 1 ]} nn
都不是.
区间套定理 •定理1
若 {[an,bn ]}是一个区间套,则在实数系中存在唯一的一点x ,
确界的直观定义:
若数集S有上界,则显然它有无穷多个上界,其中最小的一个上界我们 称它为数集S的上确界,记作 supS ;

实数的连续性.ppt

实数的连续性.ppt
具体方法是:1). 构造一个具有性质 P 的区间,性 质 P要根据性质 P 来定;
2). 在具有性质 P 的区间中确定一个长度不超过该区间 长度 1的也具有性质 P 的子区间(通常采用二等分法),
2 然后继续使用上述步骤,可得具有性质 P的区间套. 实 现将具有性质 P 的这个数“套”出来.
二、确界定理
将闭区间 a1,b1 二等分,所得两个闭区间为a1,a12b1与a1
2
b1
,b1
,其中必有一个具有性
质 P,将其记为 a2,b2 .
同样方法,将闭区间 a2,b2 二等分,必有 一个闭区间具有性质 P,将其记为 a3,b3 .二等
用分法无限进行下去,可得区间套 an,bn ,
线段),后者被包含在前者之中,并且这些闭线段的 长构成的数列以0为极限.则这一闭线段存在唯一 一个公共点.
注: 一般来说,将闭区间列换成开区间列,区间套 定理不一定成立.
a1 a2
a3
an l bn
b3 b2
b1 x
证: 由条件 1),数列 an 单调增加有上界 b1, 数列 bn 单调减少有下界 a1,即
定理 2. 确界定理 设 E R,若 E 有上
(下)界则数集 E 必存在唯一的上(下)确界.
证 因为 E R,所以 b1 E,又 E 有
下界,设 a1 是 E 的下界,则 a1 b1,不妨设 a1 b1 .这时闭区间 a1,b1 具有如下性质(称为具有性 质P):
1. 闭区间 a1,b1 左侧没有数集 E 的点; 2. 闭区间 a1,b1 中至少有数集 E 的一个点;
2)
0 ,n0
1,有
n0 n0 1
1 2
1 2
.

实数基本定理的互证

实数基本定理的互证

实数基本定理的互证有关实数系一些基本等价性质的互证柯华忠中山大学应用数学04级实数系的七个基本性质的互相推证似乎不易掌握(要证次),但细细分析证明的思路,可发现一些共同的模式。

但凡事有了套路都容易使人的思维产生惯性,十分不利于多角度、多侧面地认识客体。

为此,本文在叙述笔者总结的模式以外,还提供几个不在模式内的证明。

I;三种模式(i)“切”所谓“切”,是指运用Dedekind分割的思路,根据实数连续性得到一个特殊的临界点。

此思路最典型的运用非实数基本定理莫属。

但考虑到实数基本定理中构造上类(或下类)往往循以下形式:B={x | x是满足性质P的数集的上界}(或A={x | x是满足性质P的数集的下界}),于是A|B所确定的唯一实数r是B的下确界(同时也是A的上确界),所以可运用实数基本定理的地方均可用确界定理处理。

考虑到用确界定理叙述起来较方便,以下证明均采用确界定理。

单调有界定理和区间套定理:分别见课本P295-296 及P297 。

由此二处证明可见,证明的关键是存在性,而点的唯一性是由被证明定理本身的条件所保证的。

这是一种一般性现象。

除Borel有限覆盖定理外,其余六条基本性质均断言某种特殊点的“唯一存在”性质:这在实数基本定理是上类的最小值点或下类的最大值点,在确界定理是确界点,在单调有界定理是极限点,在区间套定理是公共点,在致密性定理是某子列的收敛点,在Cauchy收敛准则是极限点。

对这些定理的证明的关键是推出上述特殊点的存在性,而唯一性总可由定理本身的约束条件得到。

这从一个侧面反映了这些实数基本性质不外是对实数这一对象的不同角度的描述而已。

Borel定理设是的一个覆盖。

设B=x |有E的有限子覆盖。

由于Ea s.t. Ea,故在a右侧有B中元素,即B非空。

设=supB, 下证 b不成立。

否则 0, 0,s.t. -+。

不妨设=-,, 则。

由B的构造知有E的有限子覆盖,则构成了上的一个有限覆盖,这与矛盾。

实数基本定理的相互证明

实数基本定理的相互证明

实数基本定理的相互证明袁 文 俊(广州大学数学与信息科学学院院, 510405)【摘要】本文给出实数理论的8个基本定理的两两相互证明。

【关键词】实数基本定理;等价性;数列;极限;收敛。

【中图分类号】O 174.5 【文献标识码】 A1. 引 言实数基本定理以不同的形式刻划了实数的连续性和完备性,实数基本定理是建立与发展微积分学的基础。

因此掌握这部分内容是十分必要的,特别是可通过这部分内容的学习与钻研,培养严密的逻辑思维能力。

本文主要给出实数理论的8个基本定理的两两相互证明。

2. 实数基本定理的陈述定理1(确界原理) 非空有上(下)界数集,必有上(下)确界。

定理2(单调有界原理) 任何单调有界数列必有极限。

定理3( Cantor 区间套定理) 若]},{[n n b a 是一个区间套, 则存在唯一一点ξ,使得 ,2,1],,[=∈n b a n n ξ。

定理4(Heine-Borel 有限覆盖定理) 设],[b a 是一个闭区间,H 为],[b a 上的一个开覆盖,则在H 中存在有限个开区间,它构成],[b a 上的一个覆盖。

定理5(Weierstrass 聚点原理) 直线上的有解无限点集至少有一个聚点。

定理6(Bolzano 致密性定理) 有界无穷数列必有收敛子列。

定理7(Cauchy 收敛准则) 数列}{n a 收敛⇔对任给的正数ε,总存在某一个自然数N ,使得N n m >∀,时,都有ε<-||n m a a 。

定理8(Dedekind 准则,或称实数连续性定理) 设序对(A ,A ')为R 的一个分划,则或者A 有最大元,或者A '有最小元。

由于多数教材中Dedekind 分划定理是作为选学内容, 因此在证明等价性时我们将分两部分进行。

在第3节给出定理1到定理7之间的两两推证, 而在第4节证明定理8与其它7个命题的等价性。

限于篇幅,对有关概念和某些命题的简单情形(如Cauchy 收敛准则的必要条件,Cantor 区间套定理中点的唯一性证明,数列中仅有有限个不同数等)在本文中不予介绍和证明,读者若有兴趣,可以自己给出或可参见文献([3], [4])等。

实数的连续性

实数的连续性
b ,则
S 中存在有限个开区间也覆盖了
闭区间 a ,
定理.
b
.
注:1.有限覆盖定理亦称为紧致性定理或海涅-波莱尔
2.在有限覆盖定理中,将被覆盖的闭区间 a , b 改为
1 ,1) n N 开区间 ( a , b ) ,定理不一定成立.例如开区间集 ( n 1

,
定理(可列化) 设 E 是非空集合,则 inf E (1) x E , x ; (2) xn E , xn ( n )
n n 1 例1 证明 sup n N 1, inf n N . n1 n1 2
2)在具有性质 . P 的区间中确定一个长度不超过该区间 1 长度 的也具有性质 P 的子区间(通常采用二等分法), 2 然后继续使用上述步骤,可得具有性质 P 的区间套. 实 现将具有性质 P 的这个数“套”出来.
二、确界定理
非空数集 E 有上界,则它有无限多个上界,在这无 限多个上界之中,有一个上界 与数集 E 有一种特殊 关系. 定义:设 E 是非空数集.若 R 使 (1) x E , x ; (2) 0, x E , 有 : x . 则称是 数集 E 的上确界.表为 sup E
注:区间套定理中要求各个区间都是
闭区间,否则结论不一定成立.
1 例如 开区间序列 1, . n
区间套定理的应用:一般来讲,证明问题需要找 出一个具有某种性质 P 的数,常用区间套定理将这个 数“套”出来.
具体方法是: 1)构造一个具有性质 . P 的区间,性 质 P要根据性质 P 来定;
同样有 1 [a2 , b2 ] [a1 , b1 ], 并且 b2 a2 (b1 a1 ). 2 将上述过程无限进行下去, 可得一列闭区间[an , bn ]

实数六大定理证明

实数六大定理证明

实数六大定理证明这六大定理分别为:确界存在定理、单调有界定理、有限覆盖定理、聚点定理、致密性定理、闭区间套定理,还有一个柯西收敛准则。

实数系的基本定理也称实数系的完备性定理、实数系的连续性定理,它们彼此等价,以不同的形式刻画了实数的连续性,它们同时也是解决数学分析中一些理论问题的重要工具,在微积分学的各个定理中处于基础的地位。

7个基本定理的相互等价不能说明它们都成立,只能说明它们同时成立或同时不成立,这就需要有更基本的定理来证明其中之一成立,从而说明它们同时都成立。

引进方式主要是承认戴德金公理,然后证明这7个基本定理与之等价,以此为出发点开始建立微积分学的一系列概念和定理。

在一些论文中也有一些新的等价定理出现,但这7个定理是教学中常见的基本定理。

扩展资料实数系的公理系统设R是一个集合,若它满足下列三组公理,则称为实数系,它的元素称为实数:对任意a,b∈R,有R中惟一的元素a+b与惟一的元素a·b分别与之对应,依次称为a,b 的和与积,满足:1、(交换律)对任意a,b∈R,有a+b=b+a,a·b=b·a。

2、(结合律)对任意a,b,c∈R,有a+(b+c)=(a+b)+c,a·(b·c)=(a·b)·c。

3、(分配律)对任意a,b,c∈R,有(a+b)·c=a·c+b·c。

4、(单位元)存在R中两个不同的元素,记为0,1分别称为加法单位元与乘法单位元,使对所有的a∈R,有a+0=a,a·1=a。

5、(逆元)对每个a∈R,存在R中惟一的元素,记为-a,称为加法逆元;对每个a∈R\{0},存在R中惟一的元素,记为a^(-1),称为乘法逆元,使a+(-a)=0。

a·a^(-1)=1。

实数完备性的六大基本定理的相互证明共个

实数完备性的六大基本定理的相互证明共个

实数完备性的六大基本定理的相互证明共个实数完备性的六大基本定理是实分析中的重要结果,其中包括单调有界原理、上确界原理、下确界原理、戴德金(Dedekind)分割原理、稳定原理和柯西(Cauchy)收敛准则。

这些定理互相独立,但可以相互推导和证明。

下面我将按照给定的字数要求,大致叙述这些定理之间的证明关系。

1.单调有界原理→上确界原理首先我们证明单调有界原理蕴含上确界原理。

假设存在一个非空有上界的实数集合A,我们可以定义一个从A到R (实数集)的单调递增序列。

考虑一个函数f:N→A,其中N是自然数集合。

我们可以通过以下方法生成这个序列:1.对于每个n∈N,令An={a∈A,a≤f(n)};2.由于A有上界,所以An也有上界;3.根据单调有界原理,An存在上确界。

令f(n)为An的上确界。

现在我们可以看出,这个序列f(n)是一个单调递增的序列,并且对于任意a∈A,存在一个自然数n使得a≤f(n)。

因此f(n)就是A的上确界。

2.上确界原理→下确界原理接下来我们证明上确界原理蕴含下确界原理。

假设存在一个非空有下界的实数集合B,我们可以定义一个从B到R (实数集)的单调递减序列。

考虑一个函数g:N→B,其中N是自然数集合。

我们可以通过以下方法生成这个序列:1.对于每个n∈N,令Bn={b∈B,g(n)≤b};2.由于B有下界,所以Bn也有下界;3.根据上确界原理,Bn存在下确界。

令g(n)为Bn的下确界。

现在我们可以看出,这个序列g(n)是一个单调递减的序列,并且对于任意b∈B,存在一个自然数n使得g(n)≤b。

因此g(n)就是B的下确界。

3.戴德金分割原理→单调有界原理接下来我们证明戴德金分割原理蕴含单调有界原理。

假设存在一个非空无上界的实数集合C,我们可以定义一个从C到R (实数集)的单调递增序列。

考虑一个函数h:N→C,其中N是自然数集合。

我们可以通过以下方法生成这个序列:1.对于每个n∈N,令Cn={c∈C,h(n)≤c};2.C没有上界,因此Cn也没有上界;3.根据戴德金分割原理,Cn的上确界不存在。

实数连续性循环证明及相互证明

实数连续性循环证明及相互证明

关于实数连续性的基本定理以上的定理表述如下:实数基本定理:对R 的每一个分划A|B ,都∃唯一的实数r ,使它大于或等于下类A 中的每一个实数,小于或等于上类B 中的每一个实数。

确界定理:在实数系R 内,非空的有上(下)界的数集必有上(下)确界存在。

单调有界原理:若数列}{n x 单调上升有上界,则}{n x 必有极限。

区间套定理:设{,[n a ]n b }是一个区间套,则必存在唯一的实数r,使得r 包含在所有的区间里,即∞=∈1],[n n n b a r 。

有限覆盖定理:实数闭区间[a,b]的任一覆盖E,必存在有限的子覆盖。

紧致性定理:有界数列必有收敛子数列。

柯西收敛定理:在实数系中,数列}{n x 有极限存在的充分必要条件是:εε<->>∃>∀||,,,0m n x x ,N m N n N 有时当。

这些定理虽然出发的角度不同,但描写的都是实数连续性这同一件事,它们之间是相互等价的,即任取其中两个定理,它们可以相互证明。

那么,它们在证明过程中有哪些联系?作为工具,它们又各具有什么特点?以下先给出它们的等价证明。

(二)实数基本定理的等价证明一.用实数基本定理证明其它定理1.实数基本定理→单调有界定理证明:设数列}{n x 单调上升有上界。

令B 是数列}{n x 全体上界组成的集合,即B={b|n b x n ∀≤,}, 而A=R ﹨B ,则A|B 是实数的一个分划。

事实上,由单调上升}{n x ,故1x -1∈A ,即A 不空,由A=R ﹨B ,知A 、B 不漏。

又对任给a ∈A ,b ∈B ,则存在0n ,使a <0n x ≤b ,即A 、B 不乱。

故A|B 是实数的一个分划。

根据实数基本定理,A ,a R r ∈∀∈∃使得对,b r a B ,b ≤≤∈有。

下证∞→n limn x =r 。

事实上,对n N n n x x r ,N n ,x ,x r N ,A ,r ≤-∴-∃∈->∀ εεεε有时当单调上升又使知由于}{,0。

关于实数连续性的基本定理的详细证明2

关于实数连续性的基本定理的详细证明2

关于实数连续性的基本定理2.单调有界定理→确界定理证明:已知实数集A 非空。

∃A a ∈,不妨设a 不是A 的上界,另外,知∃b 是A 的上界,记1a =a ,1b =b ,用1a ,1b 的中点211b a +二等分[1a ,1b ],如果211b a +B ∈,则取2a =1a , 2b =211b a +;如果211b a +A ∈,则取2a =211b a +,2b =1b ;……如此继续下去,便得两串序列}{n a }{n b 。

其中Aa n ∈单调上升有上界(例如1b ),B b n ∈单调下降有下界(例如1a )并且n n a b -=211a b -)(∞→n 。

由单调有界定理,知∃r ,使∞→n lim n a = r 。

由∞→n lim (n n a b -)=0 有∞→n lim n a +(n n a b -)= r}{n b 是A 的上界,∴A x ∈∀,有≤x n b (n=1,2,……), 令∞→n ,≤x ∞→n lim n b = r ∴ r 是A 的上界。

而,0>∀ε 由∞→n lim n a = r 知,a r N ,n N ,n εε-∃>∀有当知,0从而X ,a r A ,X n ε-∈∃使 ∴r=supA 。

同理可证非空有下界数集有下确界。

定理证完。

1. 确界定理→区间套定理证明:由[1+n a ,1+n b ] ⊂[n a ,n b ],知}{n a 是单调上升有上界的实数列,}{n b 是单调下降有下界的数列。

且1b 是n a 的上界,1a 是n b 的下界。

设∞→n lim n a = r ,∞→n lim n b =r ',由确界定理对的证明知r=sup }{n a ,r '=inf }{n b 。

由∞→n lim (n n a b -)=0得r r '-=0即r r '== sup }{n a =inf }{n b∴∀n ,有n a ≤r ≤n b 。

实数连续性的八个等价定理证明

实数连续性的八个等价定理证明

开区间所复盖,在此基础上再加σ β ,便知[ a ,c]也被∑中有限个开区所复盖,所
以 c∈E
(3) c= b ,事实上,若 c< b ,取 x ∈ (c,b) ∩ (c,bβ ) ,易知[ a, x ]被∑中有
递减的实数列 {an }发散于-∞的充分必要条件是 {an }无下界。
证明:仅证的推论的前半部分,后半部分可完全类似地得到。 必要性由极限的定义可得。
充分性:由条件,对任意 M>0,M 不是 {an }的上界, 因此存在 n0 ∈ N ,使
an0 >M,从而 n ≥ n0 时,有 an ≥ an0 >M, 此即
无限开复盖,若∑中开区间的个数是有限的,则称∑是 E 的有限开复盖。
例 如 开 区 间 集 {(n −1, n + 1) : n ∈ Z} 是 整 个 实 数 的 一 个 开 复 盖 ,
5
{(2n −1,2n + 3) : n ∈ Z} 也 是 整 个 实 数 的 一 个 开 复 盖 。 又 如 开 区 间 集
第一章 实数系与不等式
§1.1 实数系连续性的基本定理
实数系连续性的八大基本定理: (1) Cauchy 准则
(2) Weierstrass 单调有界定理
(3) Cauchy-Cantor 闭区间套定理 (4) Dedekind 分割定理 (5) 确界存在定理 (6) Heine-Borel 有限复盖定理 (7) Weierstrass 聚点定理 (8) Bolzano-Weierstrass 致密性定理 是数学分析的基础,本节我们证明这八大基本定理的等价性,其顺序是:
n, m > N 时,恒有 an − am <ε.
若不然,即存在 ε 0 >0,对任意自然数 N ,存在 n > m > N ,使

关于实数连续性的6个基本定理的互证

关于实数连续性的6个基本定理的互证

这就证明了 { xn } 的有界性.
记 A = x xn中大于x的有无穷项} 显然 A 为有界集合,则由确界定理知 A 有上确界 记 β = sup A . 则 ∀ε > 0,满足xn > β − ε的有无穷多项,且xn > β + ε的有有限项 所以 { xn } 中有无穷多项满足 β − ε < xn < β + ε
1
a n2 …… a nk ,满足 n1
< n2 < ......nk < ...... ,那么我们就已经得到一个单调下降
的子列 {an } . ②数列 {an } 只有有穷多项具有性质 M,那么 ∃ N ,当 n
1
N ,有 an 不具有
性质 M, 即 ∃i > n, 有an < ai , 从中任取一项记为 an , 因为它不具有性质 M, ∴ ∃n2 > n1 , 使an1 < an2 ,……,如此继续下去,我们得到一子列 ank 单调
n →∞
∵ {bn } 是 A 的上界,∴ ∀ x ∈ A ,有 x ≤ bn (n=1,2,……) ,
令 n → ∞ , x ≤ lim bn = r
n →∞

r 是 A 的上界.
而 ∀ε > 0, 由 lim
n→ ∞
an
= r 知 ∀ε > 0, 知∃N,当n > N,有r − ε < an,
∴ r=supA.
{ xn } 中大于 3; ε 的项只有有限个.
∴ 在( r − ε , r + ε )中有 { xn } 的无穷多项,即 ∀ ε > 0 , ∀ n, ∃n > N ,使
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
k →∞
取一正整数 k0 = max( K + 1, N + 1), 于是当k0 > K 且nk0 > nN +1 ≥ N + 1 > N
当 n〉N 时,由已知条件有 xn − xnk < ε
0
∴ xn − a ≤ xn − xnk + xnk − a < ε + ε = 2ε 即 lim xn = a
{
∴∀ε > 0,∃N > 0,当n > N时, xn − β < ε ∴ lim xn = β
n →∞
5、确界定理证明有限覆盖定理 证明:设 E 是闭区间[ a , b ]的一个覆盖. 定义数集 A={ x ∈ [a , b ] |区间[ a , x ]在 E 中存在有限子覆盖} 从区间的左端点 x
(2)如果 ∃ξ 0 > 0,∀x ∈ E,s.t x ≤ ξ -ξ0,由有理数稠密性定理知
∃r ' ∈ Q, s.tξ 0 − ξ 0 < r ' < ξ ∴∀x ∈ E , x < r ' ∴ r ' 为E的一个上界 ∴ r ' ∈ Q0这与ξ ≤ xn ≤ rn矛盾
2、用单调有界证明区间套定理 , a n ≤ bn ≤ b1 ,∴ 由单调有界定理知{ a n }存在极 证明:已知 a n ≤ a n +1 ( ∀ n)
故 r = r ′ .即这样的 r 是唯一的.定理证完.
3、确界定理证明致密性定理. 证明:证明:设数列 {xn}是有界数列.定义数集 A={x| {x n } 中大于 x 的点有无穷 多个}
∵ { xn } 有界

A 有上界且非空.由确界定理可得 ∃ r,使 r=supA.
则 ∀ε > 0 ,有 r − ε 不是 A 的上界. ∴ ∵ r + ε 是 A 的上界 ∴
= a
开始 .由于在 E 中有一个开区间覆盖 a,因此 a 及其右侧
充分邻近的点均在 A 中.这就保证了数集 A 是非空的.从数集 A 的定义可见,若 x ∈ A,则整个区间[ a , x ] ⊂ A. ∴ 若 A 无上界,则 b ∈ A,那么[ a , b ]在 E 中存在有限子覆盖. 若 A 有上界, 由确界定理可得 ∃ r,使 r=supA.
从而 ∃X ∈ A, 使r − ε < an < X ,
同理可证非空有下界数集有下确界.定理证完. 证明 2:设 E 是非空有上界的集合,设 Q0 为 E 的所有有理数上界. 令 Q0 = {r1 , r2 , r3 ...rs ....rn ...} 令xn = min {r1 , r2 ... rn }
n →∞
n→ ∞
an
= r, lim
n→ ∞
bn = r ′
,由
∴ ∀ n,有 an
≤ r ≤ bn .
最 后 证 明 唯 一 性 . 若 有 r , r ′ 满 足 r ∈ ∩ [ an , bn ] , r ' ∈ ∩ [ an , bn ] , 则
n =1 n =1


| r − r ′ |≤ bn − a n → 0(n → ∞)
关于实数连续性的 6 个基本定理的互证 中国人民大学 2006 级经济学数学双学位实验班 张磊 首先 6 个定理表述如下:
确界定理:在实数系 R 内,非空的有上(下)界的数集必有上(下)确界存在. 单调有界原理:若数列 { xn } 单调上升有上界,则 { xn } 必有极限. 区间套定理:设 {[ an , bn ]} 是一个区间套,则必存在唯一的实数 r,使得 r 包含在
∴{ x n } ∈ Q0且单调下降有下界的数列。
∴∃ξ s.t lim xn =ξ ,下面证明ξ =supE。
n →∞
(1)如果 ∃x0 ∈ E,s.tx0 > ξ,则
x0 − ξ x − ξ x0 + ξ > 0 ∴∃N,s.txn < ξ + 0 = < x0 2 2 2
∵ xN ∈ Q0 ∴ 这与xN 为E的上界 矛盾.
二、单调有界定理证明其他定理
1、单调有界定理证明确界定理
,不妨设 a 不是 A 的上界,另外,知 ∃ b a +b 是 A 的上界,记 a1 = a, b1 = b ,用 a1 , b1 的中点 1 1 二等分 [ a1 , b1 ] ,如果 2 a1 + b1 a1 + b1 a1 + b1 a +b ; …… ∈ B, 则取a2 = a1 , b2 = 如果 ∈ A, 则取a2 = 1 1 , b2 = b1 ; 2 2 2 2
∴∀x ≺ r 都有 x ∈ A .事实上, ∀(r − x) > 0, ∃ y , s,t y > r − (r − x) = x .
∵ [ a , y ]在 E 中存在有限子覆盖, ∴ [ a , x ] ⊂ [ a , y ]在 E 中存在有限子覆盖
下证 b < r.用反证法.如果不然,r ≤ b,则 r ∈ [ a , b ].因此,在 E 中存在有一开 区间覆盖 Eα 覆盖 r. ∃ a 0 , b 0 ∈ Eα ,使 a0 < r < b0 . 由上面论证知 a 0 ∈ A,也即区间[ a , a 0 ]在 E 中存在有限子覆盖,向这个有限子 覆盖再加上开区间 Eα , 即成为[ a , b ]的覆盖.∴ b 0 ∈ A,与 r=supA 矛盾.定理证完.
{ xn } 中大于 r − ε 的项有无穷多个.
{ xn } 中大于 r + ε 的项只有有限个.
∴ 在( r − ε , r + ε )中有 { xn } 的无穷多项,即 ∀ ε > 0 , ∀ n, ∃n > N ,使
xn ∈ ( r − ε , r + ε )
对 ε = 1 , ∃ n 1 ,使 x n ∈ ( r
上升, ∴ 有界数列 {an } 必有单调子数列, 由单调有界定理, 可得 ank 存 在极限.
{ }
{ }
4、单调有界证明柯西收敛准则
证明:首先证明基本列必有界, 取E<1,必有一正整数 ,当 m,n> N 0 时,有
xm − xn < 1 ,特别的当 n > N 0且m = N 0 + 1 时,有 xn − xN0 +1 < 1
0 0
n →∞
5、单调有界证明有限覆盖定理
证明: 假设某一闭区间 [ a, b ] 的某个开覆盖 E 的有限个区间覆盖, 等分 [ a, b ] 为 两个部分区间,则至少有一个部分区间不能被 E 的有限个区间覆盖,把这个区 间记为 [ a1 , b1 ] ,再等分 [ a1 , b1 ] ,记不能被 E 的有限个区间覆盖的那个部分区间为
n →∞
∵ {bn } 是 A 的上界,∴ ∀ x ∈ A ,有 x ≤ bn (n=1,2,……) ,
令 n → ∞ , x ≤ lim bn = r
n →∞

r 是 A 的上界.
而 ∀ε > 0, 由 lim
n→ ∞
an
= r 知 ∀ε > 0, 知∃N,当n > N,有r − ε < an,
∴ r=supA.
1
a n2 …… a nk ,满足 n1
< n2 < ......nk < ...... ,那么我们就已经得到一个单调下降
的子列 {an } . ②数列 {an } 只有有穷多项具有性质 M,那么 ∃ N ,当 n
1
N ,有 an 不具有
性质 M, 即 ∃i > n, 有an < ai , 从中任取一项记为 an , 因为它不具有性质 M, ∴ ∃n2 > n1 , 使an1 < an2 ,……,如此继续下去,我们得到一子列 ank 单调
限,设 lim an = r ,
n →∞
同理可知{ bn }存在极限,设 lim bn = r ' ,由 lim ( bn − an ) = 0 得 r − r ′ =0 即 r = r ′
n →∞ n →∞
∵ ∀ n,有 a n ≤ bn ,令 n → ∞ ,有 a n ≤
r = r′
≤ bn ,∴ ∀ n,有 a n ≤ r ≤ bn .
一、确界定理证明其他定理
1、确界定理证明单调有界定理 证 明 : 设 { xn } 是 单 调 上 升 有 上 界 的 实 数 列 . 由 确 界 定 理 可 得 , ∃ r , 使 r=sup { xn } .
∴ ∀ n , 有 x n ≤ r ,并且 ∀ε > 0, ∃xN , 有xN > r − ε
这就证明了 { xn } 的有界性.
记 A = x xn中大于x的有无穷项} 显然 A 为有界集合,则由确界定理知 A 有上确界 记 β = sup A . 则 ∀ε > 0,满足xn > β − ε的有无穷多项,且xn > β + ε的有有限项 所以 { xn } 中有无穷多项满足 β − ε < xn < β + ε
∴ {x n } 存在收敛子数列.定理证完
4、确界定理证明柯西收敛原则. 证明:首先证明基本列必有界, 取E<1,必有一正整数 ,当 m,n> N 0 时,有
xm − xn < 1 ,特别的当 n > N 0且m = N 0 + 1 时,有 xn − xN0 +1 < 1
从而当 n
N 0 时,有 xn ≤ xn − xN0 +1 + xN0 +1 < 1 + xN0 +1
相关文档
最新文档