数学分析第九章课件再论实数系.pptVIP

第九章 再论实数系 §1 实数连续性的等价描述 （1）对实数系的每一个分划 A|B，存在唯一实数r，使得对任意 a∈A，b∈B，有a≤r≤b （2）非空有上界的实数子集必有上确界存在。 （3）单调上升有上界的实数列必有极限存在。 §3 实数的完备性 §4 再论闭区间上连续函数的性质 小结 确界定理、区间套定理 柯西收敛准则，有限覆盖定理 聚点定理、致密性定理 单调有界定理及其相互推证、应用。 习题 1、验证以下数列为　　 补充题 作业 P296，1，2，４ P300，1，2，3，6，7，12 P303，２，３，４，５，７，９ P306，１，２，５，６，７，８，10 P313，１，４，10，12 3、设 在 上连续，且取值为整 数，求证： 常数． 证明：反证法．假设 ，使 ， 且 ， ． 不妨设 ，作辅助函数 ， 则有: ， 且由于 在 连续，则 在 连 续，从而 在 连续．于是根据连 续函数的介值定理，知 使 ，即　 而 不是整数，这与题设矛盾．故假设不成立． 原命题得证！ 4、设 在 可积，求证：任给 ，存在逐段为常数 ，使 的函数 证明：由于 在 可积，则 ， ，对 的任一满足 的分法，有 其中 ，且有 ， 于是有 ． 即只需取 ， ， ．便有: 5、设 在 无界，求证：存在 ，对任给 ，函数 在 上无界． 证明：用反证法．设函数 在 上处处局部有界， ， 和常数 ，使得 即是指： ，` 对每个 对应一个 和相 应的常数 ，就得到了闭区间 的一 个开覆盖．由有限覆盖定理 在上述开覆盖中存在有限子覆盖，不妨记为: 与它们相对的常数记为: 取 由于 ，可见对于每个 都成立 思考题：利用有限覆盖定理。 证明二 : 利用紧致性定理，用反证法。 在 无界，这时对任意正整数 ，存在 ，使得 。由闭区间 的紧致性，知存在 的子数列 因此 与 在 连续矛盾，定理获证。 如果不然，设 二、介值定理 ：若 在 连续， 则存在 ，使得 证明： 用区间套定理。记 用 二等分 ，若 ，则定理证完。否则，若 则取 ； 若 则取 用 二等分 ，…… 如此继续下去， 得一区间套 ，满足 根据区间套定理， 知存在 ，有 由 在 r 连续，知 故 定理证完。 三、最大值定理 若 在 连续，则 在 上达到最大值与最小值。 证明：只证最大值的情形。由于 在 则上确界 存在。由上确界性质，对任意 ，存在 使得 由 的紧致性知， 存在子数列 在不等式 中，令 取极限， 便得 定理证完。 有界 使得 四、一致连续性定理 若 在 连续，则 在 一致连续。 证明法一 ： 用有限覆盖定理 要证： ，当 时， 思路：构造一个覆盖 任给 ，任取 ，因为 在 连续，所以 ，使当 时，有 将每个区间的半径缩小一半， 使得区间集 ，它构成一个覆盖， 存在有限个点 ，使得对应的开区间 ，……， 构成 的覆盖.(其中) ）,即 §5 可积性 知道一个函数可积是很有用的 在Ch7引入了定积分的定义： 用定义去求定积分 微积分基本定理的证明 有必要： 1.给出一个函数可积的充要条件：(必要条件:有界:p200、Th7.1) 2.给出常用的可积函数类 (1)闭区间上连续函数类（p206、Th7.7） (2) ？ 达布（Darboux）和的引入： 若f(x)在[a,b]连续, 则f(x)在每个小区间 有最大值与最小值 从而 上面不等式的两端的数仅依赖于分法， 若当 时， 两端的极限存在相等。 正是函数的定积分（可积） 现在： 一般函数的可积性， 由于没有连续性， 上述最大值、 最小值不一定存在。 要想有好的结果必须找到最大值、最小值的“替代物”。 这两个“替代物”是容易想到的： 上确界，下确界。 有定义 P.308 定义： 在[a, b]有界，对[a, b]任意分法 记 作和： S, s分别称为 f (x) 对应于这一分法的达布（Darboux）上和与达布下和，简称上和和下和：统称为达布和。 设 它具有下列几条性质： 引理9.1： 设 在[a, b]有界， 对于任意给定的[a,b]的分法： 则 如果在原有的分点中加入新的分点，则上和不增，下和不减：即若在一个分法 的分点之外加入新的分点构成新的分法 ， 并记对应于 的达布和为 则 引理9.2 证明： 不妨设 是由 在区间 中添加一个分点 而成的， 记 则 故 而 中其他各项无变动，因而 同理 证：思路：将两个分法合并 则对所有上和S和下和s有 由确界存在定理： 上