- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
《数学分析》教案
- PAGE 6 -
第七章 实数的完备性
教学目的:
1.使学生掌握六个基本定理,能准确地加以表述,并深刻理解其实质意义;
2.明确基本定理是数学分析的理论基础,并能应用基本定理证明闭区间上连续函数的基本性质和一些有关命题,从而掌握应用基本定理进行分析论证的能力。
教学重点难点:本章的重点是实数完备性的基本定理的证明;难点是基本定理的应用。
教学时数:6学时
§ 1 关于实数集完备性的基本定理(4学时)
教学目的:
1.使学生掌握六个基本定理,能准确地加以表述,并深刻理解其实质意义;
2.明确基本定理是数学分析的理论基础。
教学重点难点:实数完备性的基本定理的证明。
一.? 确界存在定理:回顾确界概念.?
定理1 非空有上界数集必有上确界;非空有下界数集必有下确界.
二.?单调有界原理: 回顾单调和有界概念.
定理2 单调有界数列必收敛.
三.? 闭区间套定理 :
1.(闭)区间套: 设是一闭区间序列.若满足条件
(i),即,亦即后一个闭区间包含在前一个闭区间中;
(ii),即当时区间长度趋于零.
则称该闭区间序列为一个闭区间套,简称为区间套 .?
区间套还可表述为:
,()
请大家注意的是,这里涉及两个数列和,其中递增,递减.
例如和都是区间套. 但、和都不是.
2.? Cantor区间套定理:
定理3 设是一闭区间套,则存在唯一的点,使得,,即
,
简言之,区间套必有唯一公共点.
推论 若()是区间套所确定的点,则对,存在,当时,有
四.聚点定理
1. 聚点定义
定义 设为数轴上的点集,为定点(可以属于,也可以不属于).若的任何邻域内都含有中的无穷多个点,则称为点集的一个聚点.
例如:
① 点集有两个聚点与(它们不属于);
② 点集的全部聚点组成的集合为;
③ 点集(任何有限集)没有聚点.
聚点的概念还有两个等价定义如下:
定义 设为数轴上的点集,若点的任何邻域内都含有中异于的点,即,则称为点集的聚点.
定义 若存在各项互异的收敛数列,且,则称为点集的聚点.
事实上,聚点的三个定义是等价的.
2. 聚点定理与致密性定理
定理4(Weierstrass聚点定理)实轴上的任一有界无限点集至少存在一个聚点.
定理5 (Weierstrass致密性定理) 任一有界数列必有收敛子列.
注:致密性定理是聚点定理的特殊形式
五. 有限覆盖定理
1. 覆盖定义
设为数轴上的点集,为开区间集(即中的每一个元素都是开区间).若对中任何一点,至少存在一个开区间,使得,则称为点集的一个开覆盖,或称覆盖了.若中开区间的个数是无限(有限)的,则称为点集的一个无限(有限)开覆盖.
例如:
① 若,,则开区间集没有覆盖区间.事实上,对,中没有开区间包含.
② 若,,则开区间集覆盖区间.事实上,对,一定存在充分大的自然数,使得,也即中存在开区间,使得.
③ 若,,则开区间集覆盖闭区间.事实上,对,显然中存在相应的开区间,使得.
2. 有限覆盖定理
定理6(有限覆盖定理)若为闭区间的一个(无限)开覆盖,则在中必存在有限个开区间就可以覆盖闭区间.
六. 实数基本定理等价性
证明若干个命题等价的一般方法.?
习 题 课(2学时)
一.实数基本定理互证举例: ?
例1? 用“区间套定理”证明“单调有界原理”.
证明 设数列递增有上界.取闭区间, 使得不是的上界, 而是的上界. 易见在闭区间内含有数列的无穷多项, 而在外仅含有的有限项. 二等分, 取使有的性质,…….于是得区间套,有公共点. 易见在点的任何邻域内有数列的无穷多项而在其外仅含有的有限项, 故.
例2? 用“确界原理”证明“区间套定理”.
证明 设为区间套. 先证每个为数列的下界, 而每个为数列的上界. 由确界原理, 数列有上确界,数列有下确界. 设
,.
易见有和. 由(),则.
例3?用“有限复盖定理”证明“聚点定理”.?
证明 (用反证法)设为有界无限点集, .假设的每一点都不是的聚点,则对,存在开区间, 使在内仅有的有限个点,…….
例4?用“确界原理”证明“聚点定理”.?
证明 设为有界无限点集.构造数集.易见数集非空有上界,由确界原理,有上确界,设.则对,由不是的上界, 中大于的点有无穷多个;由是的上界,中大于的点仅有有限个.于是在内有的无穷多个点,即是的一个聚点.?
二.?实数基本定理应用举例
例5? 设是闭区间上的递增函数,但不必连续.如果,,则,使得.(山东大学研究生入学试题)
证法一 (用确界定理)?
设集合.则, 非空;又,有界.由确界原理,有上确界.设,则.下证.
ⅰ)若,有;又,得. 由递增和, 有,可见.由,则. 于是只能有.
ⅱ)若, 则存在内的数列,使,()
文档评论(0)