第七单元关于实数集完备性的基本定理.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * 证 设 对于任意正数 在 之外 只有 有限项. 这样, 对任意的 若 只有有限项. 这就是说, B 不是 的聚点, 故 仅有一个聚点 A, 从而 那么在 内( 此时必 取 反之, 若上式成立, 则 的聚点惟一 (设为 A) , 一的假设相矛盾. 另一聚点, 导致与聚点惟 性定理, 这无限多项必有 的无限多项. 由致密 之外含有 使得在 倘若不然,则存在 此时易证 定理7.7 设 为有界数列, 则有 的充要条件是: 对于任意的 (i) 存在 N, 当 n N 时, 的充要条件是: 对于任意的 (i) 存在 N, 当 n N 时, 证 在形式上是对称的, 所以仅证明 . 必要性 设 因为 A 是 的一个聚点, 使得 所以存在 故对于任 意的 存在 当 k K 时， 将 中的前面 K 项剔除, 这样就证明了(ii). 上, 至多只含 的有限项. 不然的 话, 因为 有界, 故 在 上 还有聚点, 这与 A 是最大聚点相矛盾. 设这有限项 又因 A 是 的最大聚点, 所以对上述 在区间 , e 的最大下标为 N, 那么当 n N 时, 充分性 任给 综合 (i) 和 (ii), 在 上含有 { xn } 的无限项, 即 A 是 { xn } 的聚点. 而对于任意的 这说明在 定理7.8 (保不等式性) 设 { xn }, { yn } 均为有界数 { xn } 的有限项, 故 不是 { xn } 的 上也至多只有 从而有 聚点,所以 A 是 的最大聚点 . 列,并且满足: 存在 当 n N0 时, 有 则取上(下)极限后, 原来的不等号方向保持不变: 证 设 因为 B 是 { yn } 的 聚点, 所以存在 , 特别若 则更有 故存在 的一个收敛子列 , (3) (4) 同理可证关于上极限的不等式; 而 (4) 式则可由 又因 (1) 与 (3) 式直接推得. 的最小聚点 A 理应满足 的聚点, 它与 也是 . 由于 的极限,便得 取 证 这里只证明 (i) , (ii) 可同理证明. 设 由定理7.7, 存在 N, 当 n N 时, (5) (6) 例1 都是有界数列, 那么 设 再由定理 7.8 的 (4) 式, 得 因为 是任意的, 故 注 这里严格不等的情形确实会发生, 例如 故 例2 设 , 且 求证 的全体聚点的集合为 证 设 E 是 的全体聚点的集合, 显然有 内仅含 的有限项: 在 任给 , 欲证 如若不然, 则存在 之内. 又因 所以存在 这就是说, 当 时, 所有的 均不在 当 n K 时, 由 (7) 导致所有 的 或者都有 或者都有 前者与 B 是 的聚点矛盾; 后者与 A 是 的聚点矛盾. 故证得 , 即 从而 定理7.9 设 { xn } 为有界数列. 则有 (i) A 是 { xn } 的上极限的充要条件是 (ii) B 是 { xn } 的下极限的充要条件是 证 这里仅证 (i). 设 , 显然 是一 (8) (9) 递减数列, 并且有界, 一方面, 因为 另一方面, 由于 根 据上确界定义, 又因 所以有 同理, 由于 这样得到的子列 因仍为有界的,故其上极限 因 是任意的, 所以又得 . 从而证得 照此做下去,可求得 使 使得 求上极限, 由不等式性质 (4), 得出 亦存在, 设为 (10