单调子列定理
任意无限实数数列，都必然存在一个单调子列。
📝 定义：单调子列 (Monotone Subsequence) 子列中的项满足 $a_{n_1} \leq a_{n_2} \leq \cdots$ (单调不减) 或 $a_{n_1} \geq a_{n_2} \geq \cdots$ (单调不增)。注意，它包含了相等的情况 (非严格单调)。
本证明的核心是引入“峰值” (peak) 这一概念，并基于峰值的数量进行分类讨论。
📝 定义：峰值 (Peak) 数列中的一项 $a_k$ 是一个峰值，如果它不小于其后出现的任何项。即，对所有 $n > k$，都有 $a_k \geq a_n$。
💡 直觉：什么是峰值？ 想象一座山脉，一个峰值就是一个山顶，其后只有下坡或平路，再无更高的山峰。
- 数列 $\{5, 4, 3, 2, 1\}$ 中，每一项都是峰值。
- 数列 $\{1, 2, 3, 4, 5\}$ 中，没有任何一项是峰值。
- 数列 $\{1, 5, 2, 4, 3\}$ 中，$5$ 和 $4$ 是峰值。
证明的逻辑分为以下两种互斥且完备的情况。
情况一：数列存在无限个峰值。
这些峰值本身就构成一个单调不增 (non-increasing) 的子列。
🔍 说明 设这些峰值的下标序列为 $k_1 < k_2 < k_3 < \cdots$。根据峰值的定义，对于任意一个峰值 $a_{k_i}$，它必然不小于其后的所有项。因为 $k_{i+1} > k_i$，所以 $a_{k_{i+1}}$ 是 $a_{k_i}$ “其后的项”之一。因此，必然有 $a_{k_i} \geq a_{k_{i+1}}$。这个关系对所有 $i$ 都成立，故子列 $\{ a_{k_i} \}$ 是单调不增的。
情况二：数列仅有有限个（或零个）峰值。
在这种情况下，我们可以构造出一个严格单调递增 (strictly increasing) 的子列。
🔍 说明
- 设最后一个峰值的下标为 $K$ (如果不存在峰值，则令 $K=0$) 。
- 从 $n_1 = K+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}$。
- 重复此过程，我们就能构建一个下标序列 $n_1 < n_2 < n_3 < \cdots$，其对应的子列 $\{ a_{n_i} \}$ 满足 $a_{n_1} < a_{n_2} < a_{n_3} < \cdots$，是一个严格单调递增子列。
结论
无论哪种情况，我们总能成功找到一个单调子列。定理得证。
💡 背景：与 Bolzano-Weierstrass 定理的关系 这个单调子列定理是证明“有界数列必有收敛子列”（即 Bolzano-Weierstrass 定理）的关键一步。证明思路是：首先利用本定理从任意有界数列中找到一个单调子列，然后根据“有界单调数列必收敛”这一准则，得出该子列必然收敛。