实数完备性定理相互等价的证明.docVIP

易证 bn ? ? , (n ? ? 。因此 ?? ? 0, ?N1 ? 0, ? n ? N1 ， 有 a n , bn ? U (? , ? 。由于 bn 都 为 S 的上界， 所以 ? 也为 S 的上界。 从而可知，?n ? N1 , ?x ? S , ? x ? [a n , bn ] ? U (? , ? 。 即 ? ? ? ? x ? ? ，故 ? 为 S 的上确界。 (38 定理 7 ? 定理 2(Cauchy 收敛准则 ? 单调有界定理 证 不妨设 {xn } 为单增有上界数列。假设 {x n } 无极限，Cauchy 收敛准则可知， ?? 0 ? 0, ?N ? 0, ?m ? n ? N , 但是 x n ? x m ? ? 0 。由 N 的任意性，不难得到 {x n } 的一个 严格单增的子列 {xn k } ，满足 xnk ?1 ? xnk ? ? 0 ? xnk ?1 ? 2? 0 ? ? ? xn1 ? k? 0 。由于 ? ? 时，有 xnk ?1 ? 0 ? 0, k ? 0 ， 故 {x n } 收敛。 所以当 k ? ?? 。 这与 {x n } 为有界数列矛盾， (39 定理 7 ? 定理 3(Cauchy 收敛准则 ? Cantor 区间套定理 证 设 {[ a n , bn ]} 是 Cantor 区 间 套 。 则 由 bn ? a n ? 0, (n ? ? 可 知 ， ?? ? 0, ?N ? 0, ? n ? N 时，有 bn ? an ? ? 。由于 {a n } 单调递增，{bn } 中的每一个元素 都为 {a n } 的上界。故 ?m ? n ? N ，则有 am ? an ? bn ? an ? ? 。故由 Cauchy 收敛准 则可知 {a n } 收敛，记其极限为 ? 。由(3.1 易证 bn ? ? , (n ? ? 。由 {a n } ， {bn } 的单调 性可知有 ? ? [a n , bn ] 。 (40 定理 7 ? 定理 4(Cauchy 收敛准则 ? Heine-Borel 有限覆盖定理 证(反证法 假设闭区间 [ a, b] 有一个开覆盖 ? 不能用它的任有限个开区间覆盖。 定义性质 P ： 不能用 ? 中有限个开区间覆盖。 仿(9的证明，利用二等分法容易构造出满足性质 P 的区间套 {[ a n , bn ]} 。仿(39的 证明可知，?? ? R, ? a n ? ? , bn ? ? , (n ? ? ， 从而 ?U (? , ? ? U ? ? ，?N ? 0, ? n ? N ， 有 [a n , bn ] ? U (? , ? ? U ? ? ，这与 [a n , bn ] 具有性质 P 矛盾。这就证明了 Heine–Borel 有限复盖定理。 (41 定理 7 ? 定理 5(Cauchy 收敛准则 ? Weierstrass 聚点原理 证 设 S 为直线上有界点集，则 ?a, b ? R 使得 S ? [ a, b] 。 定义性质 P : 至少含有 S 中的无限多个点。 利用二等分法容易构造出具有性质 P 的区间套 {[ a n , bn ]} 满足(3.1 。由性质 P 任意 挑选 S 中不同的点构成的数列 {x n } 使得 x n ? [a n , bn ] 。 ?? ? 0 ，由(3.1和极限定义知， 由定义知 {x n } 是 Cauchy 列。 由 Cauchy ?N ? 0, ? ?n ? m ? N 有 x n ? x m ? bn ? a n ? ? 。 收敛准则知， ?? ? R 使得 lim x n ? ? 。从而可知 ? 即为 S 的一个聚点。 n ?? (42 定理 7 ? 定理 6(Cauchy 收敛准则 ? Bolzano 致密性定理 证 设 {x n } 为有界无限点集。则由(10，(11的证明，从 {x n } 中可抽出一单调有界子列。 对该子列重复(38的证明，可以得知该子列收敛，故 {x n } 必存在一个数列子列。 4. 定理 8 与前 7 个定理的互证 (43 定理 1 ? 定理 8(确界原理 ? Dedekind 准则 11 证 设( A , A? 是 R 的一个划分，则 A 为非空有上界数集， A? 为非空有下界数集， 则由确界原理可知 ??1 ? sup A, ? 2 ? inf A? 。 若 ?1 ? A 则 A 有最大元， 否则 ?1 ? A? ， 则由上确界的定义可知， ?1 是 A 所有上界中最小的，即 ?1 = ? 2 为 A? 的最小元。 (44 定理 2 ? 定理 8(单调有界定理 ? Dedekind 准则 证 设 ( A, A? 是 R 的一个划分，因为 A, A