§3数列极限存在地条件.pptVIP

§3数列极限存在的条件 在研究比较复杂的数列极限问题时，通常先考虑该数列是 否有极限（极限的存在性问题）；若有极限，再考虑如何计算 此极限（极限值的计算问题）。这是极限理论的两个基本问 题。在实际应用中，解决了数列｛ ｝极限的存在性问题之 后，即使极限值的计算较为困难，但由于当n充分大时， 能 充分接近其极限a，故 可用作为a的近似值。本节将重点讨 论极限的存在性问题。 为了确定某个数列是否存在极限，当然不可能将每个实数 依定义一一验证，根本的办法是直接从数列本身的特征来作出 判断。 首先讨论单调数列，其定义与单调函数相仿。若数列 ｛ ｝的各项满足关系式 则称｛ ｝为递增（递减）数列。递增数列和递减数列统 称为单调数列。如｛ ｝为递减数列，｛ ｝与｛ ｝为递 增数列，而｛ ｝则不是单调数列。 定理2.9（单调有界定理）在实数系中，有界的单调数列 必有极限。 证 不妨设｛ ｝为有上界的递增数列。由确界原理，数 列｛ ｝有上确界，记 。下面证明a就是｛ ｝的 极限。事实上，任给εO，按上确界的定义，存在数列｛ ｝ 中某一项 ，使得 。又由｛ ｝的递增性，当n≥ Ｎ时有 另一方面，由于a是｛ ｝的一个上界，故对一切都有。所 以当n ≥Ｎ时有 这就证得 。同理可证有下界的递减数列必有极限，且其极限即为它的下确界 例1 设 其中实数α≥2。证明数列{ }收敛。 证 显然｛ ｝是递增的，下证｛ ｝有上界，事实上， 于是由单调有界定理，｛ ｝收敛。 例2 证明数列 收敛，并求其极限。 证 记 易见数列｛ ｝是递增的。 现用数学归纳法来证明｛ ｝有上界。 显然 。假设 ，则有 ， 从而对一切n有，即｛ ｝有上界。 由单调有界定理，数列｛ ｝有极限，记为a。由于 对上式两边取极限得 ，即有 （ａ＋１）(ａ-2)=O，解得ａ=-１或a=2. 由数列极限的保不等性，ａ=-１是不可能的，故有 例3 设S为有界集。证明： 若 ，则存在严格递增数列｛ ｝ ，使得 证 因a是S的上界，故对任给的εO。存在x∈S，使得 xａ-ε。又因，故xａ，从而有ａ-ε x ａ 现取 ，则存在 使得 再取 ，则存在 ，使得 且有 一般地，按上述步骤得到 之后，取 则存在 ，使得 且有 - 上述过程无限地进行下去，得到数列 ，它是严格 递增数列，且满足 这就证明了解到 。 例4 证明 存在。 证 先建立一个不等式。设bａO,对任给一正整数n有 整理后得不等式 以 ,代入（1）式。由于 故有 这就证明了｛ ｝为递数列。再以 代入（1）式，得 故有 上式对一切正整数n都成立，即对一切偶数n有 。 联系到该数列的单调性，可知一切正整数n都有 ，即 数列 有上界。于是由单调有界定理于是由单调有界定 理推知数列 是收敛的。 通常用拉丁字母e 代表该数列的极限， 它是一个无理数（待证），其前十三位数字是 以e为底的对数称为自然对数，通常记 单调有界定理只是数列收敛的充分条件。下面给出在实数系中 数列收敛的充分必要条件。 定理2.10（柯西（Cauchy）收敛准则） 数列｛ ｝收敛 的充要条件是：对任给的εO，存在正整数N，使得当n,mN时 有 这个定理从理论上完全解决了数列极限的存在性问题，它 的证明将在第七章给出。 柯西收敛准则的条件称为柯西条件，它反映这样的事实： 收敛数列各项的值愈到后面，彼此愈接近，以至充分后面的任 何两项之差的绝对值可小一预先给定的任意小正数。或者形象 地说，收敛数列的各项越到后面越是