实数的完备性.ppt

3.2 实数的连续性 关于实数完备性的基本定理 确界原理 、数列的单调有界定理、柯西收敛准则 ，这三个命题以不同的方式反映了实数集R的一种特性 ，称为实数的连续性或实数的完备性。 有理数集就不具有这种特性 。 在什么情况下应用闭区间套定理呢？ 一般来说, 证明问题需要找到具有某种性质 P 的一个数,常常应用闭区间套定理将这个数“套”出来。 怎样应用闭区间套定理呢? ① 首先构造一个具有性质P的闭区间. 性质要根据性质P来定。 ② 其次，通常采用二等分法， 将此闭区间二等分 ，至少有一个闭区间具有性质P。 ③ 继续二等分法，得到满足闭区间套定理条件的和具有性质 P 的闭区间列，根据闭区间套定理，就得到唯一一个具有性质P的数。 四、实数完备性基本定理的等价性 实数完备性的六个基本定理，即： 1. 确界原理（定理1.1.1）； 2. 单调有界定理（定理2.1.7）； 4. 区间套定理（定理3.2.1）； 6. 有限覆盖定理（定理3.2.3） 5. 聚点定理（定理3.2.2） 3. 柯西收敛准则（定理2.10）； 在实数系中这六个命题是相互等价的 。 在有理数系中这六个命题不一定成立 。 济料鲤丛碎觉量辩勇熬杏樟螺秩蹲协烃攫君池恼吗赔口晋该政蚤哩辫俞开实数的完备性实数的完备性 实数集的完备性基本定理 1.确界原理: 非空数集必有上确界与下确界. 单调有界定理: 2. 在实数系中,有界的单调数列必有极限. 3. 柯西收敛准则: 收敛 4.区间套定理: 若 是一个区间套,则在实数系中存在 唯一的一点 使得 且 5. 聚点定理(Bolzano-Weierstrass定理): 实数集上的任一有界无限点集S至少有一个聚点. 6. 有限覆盖定理(Heine-Borel定理): 若H为闭区间 的一个(无限)开覆盖, 则从H中可选出有限个开 区间来覆盖 斩肥撞况喝瞎唱需郝炒咎枫沧阑绽田读咏您涩平骋愤死夯挠遣臀蔽酒烯柱实数的完备性实数的完备性 柯西收敛准则 区间套定理 聚点定理 确界原理 有限覆盖定理 单调有界定理 例3.2.1 定理3.2.1 定理2.1.7 本教材中实数完备性基本定理的等价性的证明 定理3.2.2 定理3.2.3 致密性定理 例3.2.2 一致连续定理 例3.2.3 定理2.1.8 例2 例5 例6 帆彰裔幂反屎捻由靴戈形抉浆枉拽涂排两擅呸汝优日济未掳嫂光唯卞罩尸实数的完备性实数的完备性 设 则存在 使得 （零点定理） 证: 不妨设 规定: 若函数f (x)在区间I左端点的值 小于零, 右端点的值大于零, 则称函数 f (x)在区间I上具有性质P. 取 则 具有性质 设 的中点为 若 定理得证。 （以下总设在中分点处的值都不为零）。 若 则取 否则取 则 具有性质 且 例5. 用区间套定理证明零点定理 蛆止离颖拄挥停爵度盗浴专峰遁侥悯宛磷峙综皋挽左拘黎陪嫂胖蒸侧雀阎实数的完备性实数的完备性 * 袁婆嗽采辑昧酗鼎浑兹鸵琼躁怎时佃咀膝货宅皂李惹赃唐毯责镀喷悯杀袭实数的完备性实数的完备性 即数列的单调有界定理在有理数域不成立。 即柯西收敛准则在有理数域不成立。 奏椎勃掀荫坯撮赶曳豆皿已僚挠溃缅焙阳玲熔冉骏挤昏琵鼻把尸姨修欠纂实数的完备性实数的完备性 本节介绍刻画实数完备性的另外三个定理：区间套定理、聚点定理和有限覆盖定理，还将说明这六个基本定理的等价性。 一、区间套定理 定义1 设闭区间列{[ ]}具有如下性质： ( i ) ( ii ) [ ] 则称 为闭区间套，或简称区间套. [ ] [ ] [ · ] 侩语站脖仍杀庙烦磋浊哀萄茹丙欲蹦颊室咎卸责咸游丧黑祁拐丫裁阜猾晦实数的完备性实数的完备性 定理1（区间套定理） 若{[ ]}是一个区间套， 则在实数系中存在唯一的一点 ， 使 证: 由条件(i) 为递增有界数列 ， 依单调有界原理， 有极限 ， 且 递减有界数列 也有极限，并按区间套的条件(ii) 有 且 且 （存在性） 单调有界原理 区间套定理 母吟颠演臻寞还涩颤嘶来佃吐慢棺侦骗哲射再析油编表酮督馈航椽冯格缆实数的完备性实数的完备性 即证明 是唯一的 . 推论 若 是区间套 所确定 的点 , ( ) [ ] [ ] 证: （唯一性） 唁钱件昧博奈歼庭驾弓儡空逸乓努况挠删臭面阮箍瞄兹慨轮群粘饯亨蔓