§2 实数理论.doc

PAGE  PAGE 8 §2 实数理论 一、确界存在定理 定义2.2.1 (上确界) 设是一个数集，若存在数，满足 (1) 对，都有； (2) 对，存在，有， 则称为的上确界(supremum)，记为 或 . 定义2.2.2 (下确界) 设是一个数集，若存在数，满足 (1) 对，都有； (2) 对，存在，有， 则称为的下确界(infimum)，记为 或 . 性质 (教材P105 定理2) 若数集有上（下）确界，则这上（下）确界必唯一。 证明 仅证明上确界的情形，同理可证下确界的情形。 (反证) 若都是数集的上确界，且，不妨设. 由定义2.2.1 (1)知，对，都有； 再由定义2.2.1 (2)知，对，存在，有 , 矛盾！故若数集有上确界，则这上确界必唯一。证毕！ 注1 若数集是有限数集，则一定有上确界，下确界，且 ，. 注2 若数集是无限数集，则不一定有上（下）确界。 反例：数集没有上确界，数集没有下确界；而数集既没有上确界，也没有下确界。 注3 数集即使有上确界或下确界，但可能或. 反例：数集有下确界，但；数集有上确界1，但。 定理2.2.1 (教材P106 定理3 确界存在定理) 有上（下）界的非空数集必有上（下）确界。 二、单调有界定理 定理2.2.2 (教材P106 定理4 单调有界定理) 单调有界数列必有极限。 证明 仅就单调增加的有界数列进行证明，同理可证：单调减少的有界数列情形。 设数列是单调增加的有界数列。 因为数列有界，所以由定理2.2.1知，数列存在上确界，记为，即. 往证. 由定义2.2.1知，(1) ；(2) 对，存在，有. 又因为是单调增加的，所以当时，都有. 结合，得：当时，都有，即 ， 故. 证毕！ 推论 (教材P106 推论) (1) 若是单调增加无界数列，则； (2) 若是单调减少无界数列，则。 证明 仅证明(1)，同理可证(2)。 设数列是单调增加的无界数列，则对，使得. 又因为是单调增加的，所以当时，都有. 即 . 证毕！ 三、闭区间套定理 定理2.2.3 (教材P107 定理5 闭区间套定理) 设，是一列闭区间。若 (1) ； (2) ， 则存在唯一的，且 . 证明 由定理2.2.3的条件(1)知，，即是单调增加且有上界的数列；是单调减少且有下界的数列。由定理2.2.2知， ，. 显然有 (*) 又因为，所以. 由(*)???得. 即是所有闭区间，的公共点。 下证是所有闭区间，的唯一公共点。 (反证) 若除了外，还有一点，即 ； 于是有 . 而 ， 故由夹逼准则知，，即. 唯一性得证！证毕！ 注 闭区间套中的闭区间不能改成开区间。 例如：，且，但不存在属于所有开区间，的公共点。 四、有限覆盖定理 定理2.2.4 (教材P112 定理8有限覆盖定理) 设是由开区间所构成的开区间集合；若能覆盖闭区间，则一定能从中选出有限个开区间覆盖. 证明 (反证) 设闭区间不能被中有限个开区间覆盖。 将闭区间等分成2个闭区间，则其中至少有1个闭区间不能被中有限个开区间覆盖；记此区间为. 再将等分成2个闭区间，则其中至少有1个闭区间不能被中有限个开区间覆盖；记此区间为. 这个过程一直进行下去，得一列闭区间，满足 (i) 每个都不能被中有限个开区间覆盖； (ii) ； (iii) . 于是由(ii)、(iii)及闭区间套定理(定理2.2.3)知，存在唯一的满足： ，且 . 因为开区间集覆盖闭区间，所以存在开区间，使得 ，即 . 由极限的保号性知， 取，则当时，恒有，即当时，恒有 ， 亦即用中一个开区间就能覆盖形如的闭区间，这与( i )矛盾！故若能覆盖闭区间，则一定能从中选出有限个开区间覆盖。证毕！ 注1 定理2.2.4又称为Heine-Borel有限覆盖定理。 注2 定理2.2.4中的闭区间不能改成开区间。 例如：开区间集合是开区间的一个开覆盖，但不能从中找到有限个开区间覆盖 五、致密性定理 定理2.2.5 (教材P108 定理6 致密性定理) 任一有界数列必有收敛子列。 证明 (反证法) 假设定理结论不成立，即P: 存在有界数列，其中没有收敛子列。 因为是有界数列，所以存在实数，使得；即. 于是结论P可叙述为：对，都不是某个子列的极限；用数学语言描述：，邻域中只含有数列的有限项。 因为 ， 所以开区间集覆盖。由有限覆盖定理(定理2.2.4)可知：一定能从中选出有限个开区间覆盖，这些开区间的集合记为，于是只含有数列中的有限项，这与矛盾！故可知假设错误，原命题成立！ 证毕！ 注 定理2.2.5又称为Bolzano-Weierstrass致密性定理。 性质 (教材P109 性质) 若是一个无界数列，则