第七章实数的完备性分析.pptVIP

一 元 微 积 分Calculous in one variable 第七章 实数的完备性 * 第七章 实数的完备性 * 第七章 实数的完备性 授课教师：胡鹏彦 授课对象：05本科 §1 关于实数集完备性的基本定理 §2 闭区间上连续函数性质的证明 ?§3 上极限和下极限 一 区间套定理与柯西收敛准则 二 聚点定理与有限覆盖定理 ?三 实数完备性基本定理的等价性 §1 关于实数集完备性的基本定理 定义1 设闭区间列{[an, bn]}具有如下性质: (i) (ii) 则称{[an, bn]}为闭区间套, 或简称区间套. 一 区间套定理与柯西收敛准则 §1 关于实数集完备性的基本定理 定理7.1(区间套定理) 若{[an, bn]}是一个区间套, 则 在实数系中存在唯一的一点?, 使得 ??[an, bn], n?1, 2, ?, 即 推论 若??[an, bn](n?1, 2, ?)是区间套{[an, bn]}所确 定的点, 则对任给的??0, ?N?0, 使得当n?N时有 注 区间套定理中要求各个区间都是闭区间. §1 关于实数集完备性的基本定理 定理2.10 (Cauchy收敛准则) 数列{an}收敛的充要 条件是: 对任给的??0, 存在N?0, 使得对m, n?N有 §1 关于实数集完备性的基本定理 定义2 设S为数轴上的点集, ?为定点(它可以属于S, 也可以不属于S ). 若?的任何邻域内都含有S中无穷 多个点, 则称?为点集S的一个聚点. 定义2 对于点集S, 若点?的任何?邻域内都含有S中 异于?的点, 即 , 则称?为S的一个聚点. 定义2 若存在各项互异的收敛数列{xn}? S, 则其极 称为S的一个聚点. 二 聚点定理与有限覆盖定理 限 §1 关于实数集完备性的基本定理 定理7.2 (魏尔斯特拉斯(Weierstrass)聚点定理) 实轴上任一有界无限点集S至少有一个聚点. 推论(致密性定理) 有界数列必含有收敛子列. 数列柯西收敛准则的充分性证明 利用致密性定理 §1 关于实数集完备性的基本定理 定义3 设S为数轴上的点集, H为开区间的集合(即H 的每一个元素都是形如(?, ? )的开区间). 若S中任何一 点都含在H中至少一个开区间内, 则称H为S的一个 开覆盖. 或称H覆盖S. 若H中开区间的个数是无限(有 限)的, 则称H为S的一个无限开覆盖(有限开覆盖). §1 关于实数集完备性的基本定理 定理7.3(海涅-博雷尔(Heine-Borel)有限开覆盖定理) 设H为闭区间[a, b]的一个开覆盖, 则从H中可选 出有限个开区间来覆盖[a, b]. 注 定理对开区间不一定成立. ?三 实数完备性基本定理的等价性 §1 关于实数集完备性的基本定理 1. 确界原理(定理1.1); 2. 单调有界定理(定理2.9); 3. 区间套定理(定理7.1); 4. 有限覆盖定理(定理7.3); 5. 聚点定理(定理7.2); 6. 柯西收敛准则(定理2.10). §2 闭区间上连续函数性质的证明 有界性定理 若函数 f 在闭区间[a, b]上连续, 则 f 在 [a, b]上有界. 最大、最小值定理(定理4.6) 若函数 f 在闭区间[a, b] 上连续, 则 f 在[a, b]上有最大值与最小值. 介值定理(定理4.7) 设函数 f 在闭区间[a, b]上连续, 且 f (a) ? f (b). 若?为介于 f (a)与 f (b)之间的任何 实数( f (a) ? ? ? f (b)或 f (a) ? ? ? f (b)), 则存在 x0?(a, b), 使得 f (x0) ? ? . §2 闭区间上连续函数性质的证明 一致连续性定理(定理4.9) 若函数 f 在闭区间[a, b] 上连续, 则 f 在[a, b]上一致连续. 介值定理(定理4.7) 设函数 f 在闭区间[a, b]上连续, 且 f (a) ? f (b). 若?为介于 f (a)与 f (b)之间的任何 实数( f (a) ? ? ? f (b)或 f (a) ? ? ? f (b)), 则存在 x0?(a, b), 使得 f (x0) ? ? . ?§3 上极限和下极限 定义1 若在数a的任一邻域内含有数列{xn}的无限多 项, 则称a为{xn}的一个聚点. 注: 点列的聚点定义与上一节中关于点集的聚点的定 义是有区别的. 当把点列看作点集时, 点列中对应于 相同数值的项, 只能作为一个点来看待. 定理7.4 有界点列(数列) {xn}至少有一个聚点, 且存 在最大聚点与最小聚点. ?§3 上极限和下极限 定义2