数分高数数学分析关于实数集完备性的基本定理.ppt

* 7.1 关于实数完备性的基本定理 第七章 实数的完备性 7.1 关于实数完备性的基本定理 定义 定义表明构成区间套的闭区间列是前一个套着后一个,即闭区间的端点满足不等式: { } : ] , [ 具有如下性质 设闭区间列 n n b a ; , 2 , 1 ], , [ ] , [ ) ( 1 1 L = é + + n b a b a i n n n n , 0 ) ( lim ) ( = - ￥ ? n n n a b ii . 1 2 2 1 b b b a a a n n ￡ ￡ ￡ ￡ ￡ ￡ ￡ ￡ L L L 一 区间套定理与柯西收敛准则 说明: 1 区间套 则称 为闭区间套, 简称区间套. 2 ?区间套定理 定理7.1(区间套定理) 设 闭区间套. 则在实数系中存在唯一的点 , 使对 有 简言之, 区间套必有唯一公共点. 是一 定理的证明 { } ， a n 为递增有界数列 由区间套定义知 { } ， a ， n x 有极限 依单调有界定理 . , 2 , 1 L = ￡ ，n a n x 且有 { } 有 并按区间套的条件 也有极限 递减有界数列 同理 ) ( ii ， b ， n , lim lim x = = ￥ ? ￥ ? n n n n a b . , 2 , 1 L = 3 ，n b n x 且 . , 2 , 1 L = ￡ ￡ ，n b a n n x 从而有 . 是唯一的 的 下面证明满足题设条件 x , , 2 , 1 , L = ￡ ￡ n b a n n x x 也满足 设 . , 2 , 1 , L = - ￡ - n a b n n x x 则 得 由区间套定义 ) ( ii , 0 ) ( lim = - ￡ - ￥ ? n n n a b x x 则 . x x = 故有 证毕. 推论 说明: 区间套中要求各个区间都是闭区间,才能保证定理结论的成立. 证明 设 在区间 上连续， 并记 令 如果 结论已经成立，故可设 那么 与 有一个小于零，不妨设 记 再令 例1 用区间套定理证明连续函数根的存在性定理. 如果 结论已经成立，故可设 那么 与 有一个小于零，并记这个区间为 将这个过程无限重复下去，就得到一列闭区间 （1） （2） （3） 满足： 由（1）和（2）知 是一个区间套，由定理 且有 因为 在点 连续，所以由 得 则必有 显然 它就是 的一个零点. 7.1，存在 二 聚点定理 1 聚点定义 设 为数轴上的点集, 为定点,(它可以属于 ,也可以不属于 若 的任何邻域内都含有 中无穷多个点,则称 为 的聚点. 对于点集 , 若点 的任何 邻域都含有 中异于 的点,即 ,则称 为 的聚点. 若存在各项互异的收敛数 ,则其极限 称为 的聚点. 聚点概念和下面两个定义等价: 说明: 定义 定义 证：定义2 定义 　　显然成立． 定义 定义 　由定义 取 再取 则 且显然 …… 一般取 则 且显然 与 互异 无限地重复以上步骤，得到 中各项互异的数列 且由 易见 定义 定义2 当 时，必有 且因 各项互不相同，故 内含有 中无限多个点． …… 2 定理7.2 (Weierstrass聚点定理) 实轴上任一有界无限点集 至少有一个聚点. 定理的证明 三 有限覆盖定理 1 开覆盖定义 若 中开区间的个数是无限(有限)的, 则称 为 的一个 无限(有限)开覆盖. 设 为数轴上的点集, 为开区间的集合,(即 的每一个 元素都是形如 的开区间).若 中任何一点都含在至少一个