ch上极限与下极限.pptVIP

数学分析 定义 9.2.1 在有界数列 { n x } 中，若存在它的 一个子列 { k n x } 使得 ? ? k lim k n x = ? ， 则称 ? 为数列 { n x } 的一个 极限点 。 一、有界数列情形 “ ? 是数列 { n x } 的极限点”的等价定义： “对于任意给定 的 0 ? ? ，存在 { n x } 中的无穷多个项属于 ? 的 ? 邻域 ” 。 记 E = { ? | ? 是 { n x } 的极限点 } ，则 E 是非空的有界集合， 因此 E 的 上确界 H = sup E 和 下确界 h = inf E 存在 。 背景： { n x } 收敛，则其所有子列 { k n x } 收敛。 { n x } 有界，则存在子列 { k n x } 收敛。 问题 ：子列收敛情况如何？ 数学分析 定理 9.2.1 E 的上确界 H 和下确界 h 均属于 E ，即 H = max E ， h = min E 。 证 由 sup ? H E 可知，存在 ? k ? E ) , 2 , 1 ( ? ? k ，使得 H k k ? ? ? ? lim 。 取 k k 1 ? ? ) , 2 , 1 ( ? ? k 。 因为 1 ? 是 ? ? n x 的极限点，所以在 ) , ( 1 1 ? ? O 中有 ? ? n x 的无 穷多个项，取 ) , ( 1 1 1 ? ? O x n ? ； 因为 2 ? 是 ? ? n x 的极限点， 所以在 ) , ( 2 2 ? ? O 中有 ? ? n x 的无 穷多个项，可以取 1 2 n n ? ，使得 ) , ( 2 2 2 ? ? O x n ? ； …… 数学分析 因为 k ? 是 ? ? n x 的极限点，所以在 ) , ( k k O ? ? 中有 ? ? n x 的无 穷多个项，可以取 1 ? ? k k n n ，使得 ) , ( k k n O x k ? ? ? ； …… 由定义 1 . 2 . 9 ， H 是 ? ? n x 的极限点，也就是说， E H ? 。 同理可证 h ? E 。 这么一直做下去，便得到 { n x } 的子列 } { k n x ，满足 k x k n k 1 ? ? ? ， 于是有 H x k k n k k ? ? ? ? ? ? ? lim lim 。 数学分析 定理 9.2.2 设 { n x } 是有界数列。 则 ? ? n x 收敛的 充分必要条件是 ? ? n lim n x = ? ? n lim n x 。 定义 9.2.2 E 的最大值 H = max E 称为数列 { n x } 的 上极限 ， E 的最小值 h = min E 称为数列 { n x } 的 下极限 ， 记为 H = ? ? n lim n x ； h = ? ? n lim n x 。 若 { n x } 不收敛，则至少存在它的两个子列收敛于不同 极限，因此有 ? ? n lim n x ? ? ? n lim n x 。 证 若 { n x } 是收敛的， 则它的任一子列收敛于同一极 限，因而此时 E 中只有一个元素，于是成立 ? ? n lim n x = ? ? n lim n x = ? ? n lim n x 。 数学分析 由于一个无上界（下界）数列中必有子列发散至正 （负） 无穷大， 按上述思路， 可将极限点的定义进行扩充。 二、无界数列情形 定义 9.2.1 在数列 { n x } 中， 若存在它的一个子列 { k n x } 使得 ? ? k lim ? ? k n x （ ?? ? ? ? ? ? ） ， 则称 ? 为数列 { n x } 的一个 极限点 。 “ ? = ? ? （或 ? ? ） 是 { n x } 的极限点” 的等价等价 定义： “对于任意给定的 G 0 ，存在 { n x } 中的无 穷多个项，使得 n x G （ 或 n x - G ） ” 。 数学分析 同样地，仍定义 E 为 {