华东师范大学 2016年数学分析第0题
📝 题目
1．对数列 $\left\{a_{n}\right\}$ 的任意两个子列 $\left\{a_{n_{k}}\right\}$ 与 $\left\{a_{m_{k}}\right\}$ 均有 $\lim _{k \rightarrow \infty}\left(a_{n_{k}}-a_{m_{k}}\right)=0$ ，则 $\left\{a_{n}\right\}$ 收敛。
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：理解条件并明确目标
题目条件：对数列 $\{a_n\}$ 的任意两个子列 $\{a_{n_k}\}$ 与 $\{a_{m_k}\}$ 均有 $\lim_{k\to\infty}(a_{n_k}-a_{m_k})=0$。要证明 $\{a_n\}$ 收敛。
公式：\lim_{k\to\infty}(a_{n_k}-a_{m_k})=0
提示：注意条件是针对任意两个子列，包括取相同指标的子列。
步骤 2/5
目标：证明数列有界
反证法。假设 $\{a_n\}$ 无界，则存在子列 $\{a_{n_k}\}$ 使得 $|a_{n_k}|\to\infty$。取另一个子列 $\{a_{m_k}\}$ 为常数列，例如取 $a_{m_k}=a_1$（固定值）。则 $|a_{n_k}-a_{m_k}|\to\infty$，与条件矛盾。故 $\{a_n\}$ 有界。
公式：|a_{n_k}-a_{m_k}|\to\infty \quad \text{与} \quad \lim_{k\to\infty}(a_{n_k}-a_{m_k})=0 \text{矛盾}
提示：无界数列可以取出绝对值趋于无穷的子列，常数列是子列的一种特例。
步骤 3/5
目标：利用Bolzano-Weierstrass定理得到收敛子列
由 $\{a_n\}$ 有界，根据Bolzano-Weierstrass定理，存在一个收敛子列 $\{a_{n_k}\}$，设其极限为 $L$，即 $\lim_{k\to\infty}a_{n_k}=L$。
公式：\lim_{k\to\infty}a_{n_k}=L
提示：有界数列必有收敛子列，这是实数完备性的重要推论。
步骤 4/5
目标：证明任意子列都收敛到同一个极限L
取任意另一个子列 $\{a_{m_k}\}$。由条件 $\lim_{k\to\infty}(a_{n_k}-a_{m_k})=0$，又 $a_{n_k}\to L$，则 $a_{m_k}=a_{n_k}-(a_{n_k}-a_{m_k})\to L-0=L$。因此任意子列都收敛到 $L$。
公式：a_{m_k}=a_{n_k}-(a_{n_k}-a_{m_k})\to L
提示：这里利用了极限的减法运算法则。
步骤 5/5
目标：由任意子列收敛到同一极限推出原数列收敛
反证法。假设 $\{a_n\}$ 不收敛到 $L$，则存在 $\varepsilon_0>0$ 和无穷多个 $n$ 使得 $|a_n-L|\geq\varepsilon_0$。这些 $n$ 构成一个子列 $\{a_{n_k}\}$，它不收敛到 $L$，与上一步结论矛盾。故 $\lim_{n\to\infty}a_n=L$，数列收敛。
公式：\lim_{n\to\infty}a_n=L
提示：注意：子列收敛到同一极限是原数列收敛的充要条件。
步骤 6/6
目标：总结结论
由条件推出数列有界，且所有子列收敛到同一极限，从而原数列收敛。因此命题为真。
公式：\{a_n\} \text{ 收敛}
提示：本题的关键在于利用任意子列差趋于0的条件导出子列极限的唯一性。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。