江南大学 2024年数学分析第0题
📝 题目
1．任何数列都有单调子列．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：明确问题与基本设定
设有一实数列 $\{a_n\}_{n=1}^\infty$。目标是证明：无论该数列如何，总能从中选出一个单调子列（即单调递增或单调递减的子列）。
提示：注意：子列是指保持原顺序的无穷子序列，不是任意选取的有限项。
步骤 2/5
目标：引入“亮点”概念
定义：称一项 $a_k$ 为“亮点”（或“峰点”），若对于所有 $n > k$，都有 $a_k \ge a_n$。即该项不小于它之后的所有项。
公式：$a_k \text{ 是亮点 } \iff \forall n > k, a_k \ge a_n$
提示：亮点概念是证明的关键，它帮助我们将问题分为两种互斥的情形。
步骤 3/5
目标：情况一：存在无穷多个亮点
若亮点有无穷多个，则将这些亮点按原顺序取出，得到子列 $\{a_{k_1}, a_{k_2}, a_{k_3}, \dots\}$。由于每个亮点都大于等于它后面的所有项，特别地，对于 $i < j$，有 $a_{k_i} \ge a_{k_j}$，因此该子列是单调递减（非增）的。
公式：$a_{k_1} \ge a_{k_2} \ge a_{k_3} \ge \cdots$
提示：这里“无穷多个”是必要条件，否则无法构成无穷子列。
步骤 4/5
目标：情况二：只有有限个亮点（包括零个）
若亮点只有有限个，则存在一个下标 $N$，使得从 $a_N$ 之后再也没有亮点。即对任意 $n \ge N$，$a_n$ 不是亮点，因此存在 $m > n$ 使得 $a_m > a_n$。
构造递增子列：
- 取 $n_1 = N$，$a_{n_1}$ 为起始项；
- 由于 $a_{n_1}$ 不是亮点，存在 $n_2 > n_1$ 使得 $a_{n_2} > a_{n_1}$；
- 由于 $a_{n_2}$ 也不是亮点，存在 $n_3 > n_2$ 使得 $a_{n_3} > a_{n_2}$；
- 依此类推，得到严格递增子列 $\{a_{n_k}\}$。
公式：$a_{n_1} < a_{n_2} < a_{n_3} < \cdots$
提示：构造过程依赖于“非亮点”的定义：每个非亮点后面都有更大的项，从而保证可以无限进行下去。
步骤 5/5
目标：结论总结
综合两种情况：
- 若有无穷多个亮点，则取这些亮点构成单调递减子列；
- 若只有有限个亮点，则从最后一个亮点之后开始构造单调递增子列。
因此，任何数列都存在单调子列。
提示：该定理是Bolzano-Weierstrass定理（有界数列必有收敛子列）证明中的关键步骤。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。