当前位置:文档之家› 六大定理互相证明总结讲课讲稿

六大定理互相证明总结讲课讲稿

六大定理互相证明总结六大定理的相互证明总结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 的一个子列{}kn 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。

相关主题