湖南大学 2025年数学分析第2题
📝 题目
2．已知 $\displaystyle \left\{a_{n}\right\}$ 是无界数列，但不是无穷大量．证明：$\displaystyle \left\{a_{n}\right\}$ 存在两个子列，一个是收敛数列，另一个是无穷大量．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/4
目标：理解条件并提取关键信息
已知数列 $\{a_n\}$ 无界，即对任意 $M>0$，存在 $n$ 使得 $|a_n|>M$。同时，$\{a_n\}$ 不是无穷大量，即存在 $G>0$ 和无穷多个 $n$ 使得 $|a_n|\le G$。
公式：无界：$\forall M>0,\exists n,\,|a_n|>M$；非无穷大量：$\exists G>0,\exists\text{无穷多个}n,\,|a_n|\le G$
提示：注意区分“无界”和“无穷大量”：无界只要求存在绝对值任意大的项，而无穷大量要求从某项之后所有项绝对值都大于任意给定数。
步骤 2/4
目标：构造收敛子列
由非无穷大量条件，存在 $M_0>0$ 使得有无穷多个下标 $n$ 满足 $|a_n|\le M_0$。将这些下标按递增顺序排列为 $n_1
公式：Bolzano-Weierstrass 定理：有界数列必有收敛子列
提示：注意这里先取有界部分，再从中取收敛子列，两步构造确保子列收敛。
步骤 3/4
目标：构造无穷大量的子列
由无界条件，对任意正整数 $k$，存在下标 $m$ 使得 $|a_m|>k$。我们通过归纳法构造严格递增的下标序列 $\{m_k\}$：取 $m_1$ 满足 $|a_{m_1}|>1$；假设已取 $m_{k-1}$，由于数列无界，存在 $m_k>m_{k-1}$ 使得 $|a_{m_k}|>k$。这样得到的子列 $\{a_{m_k}\}$ 满足 $|a_{m_k}|\to\infty$，因此是无穷大量。
公式：构造：$m_1$ 使 $|a_{m_1}|>1$，$m_k>m_{k-1}$ 使 $|a_{m_k}|>k$
提示：每次选取下标时都要比之前的大，以保证构成子列；同时确保与收敛子列的下标不冲突（可以独立选取）。
步骤 4/4
目标：验证两个子列互不干扰并总结
收敛子列取自 $|a_n|\le M_0$ 的无限多项，无穷大量子列取自绝对值任意大的项，且构造时下标严格递增，因此两个子列的下标集合可以做到不相交（例如，在构造无穷大量子列时，每次选取的下标都大于收敛子列中已用的最大下标即可）。这样，我们同时得到了一个收敛子列和一个无穷大量子列，完成证明。
公式：无
提示：题目只要求存在两个子列，不要求它们覆盖所有项，因此独立构造即可。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。