关于实数集完备性的基本定理.pptVIP

第七章 实数的完备性 第一节 关于实数集完备性的基本定理 一、区间套定理与柯西收敛定理 定义一 若闭区间列 满足： （1） （2） 称此闭区间列为闭区间套，或简称区间套。 注： 证明: 存在性. 为单增有界数列, 为单减有界数列. 由单调有界定理知, 收敛,且其极限为其上确界. 收敛,且其极限为其下确界. 令 即 唯一性 假设 将 ? 式两边求极限,且有极限的不等式性质 假设不成立，故 唯一。 推论 若 为区间套 所确定的点，则 当 时，所有的 证明: 当 时，有 当 时，有 当 时，有 即： 亦即： 注意： 1、定理7.1中需闭区间才能确保结论成立,如 ,若有,应为0,但 2、若 为严格开区间套，即 则 唯一一点 3、利用区间套定理证明：先构造区间套，使 为所求点。 数列柯西收敛准则： 数列 收敛 当 时，有 证明： 令 当 时，有 由条件可得， 当 时，有 即 使 内含有 中除 掉有限项外几乎所有的项。 取 使得 内含有 中除掉有限项外几乎所有的项，即 取 使得 内含有 中除掉有限项外几乎所有的项，即 取 使得 内含有 中除掉有限项外几乎所有的项，即 依次下去； 取 使 ,含 中除有限项外几乎所有项； 令 ,含 中除有限项外几乎所有项, 且 无限下去 得一区间列 且 为一区间套。 由定理7.1知,存在唯一一点 。 下证 由定理7.1推论, 当 时, 而 含有 中除掉有限项外的几乎所有项, 即: 内含有 中除掉有限项外的几乎所有项。 由定义得 。 二、聚点定理与有限覆盖定理 定义2 设S为数轴上的点集， 为定点.若在 的任何领域内都含有S中无穷多个