关于有界不收敛序列存在两个不同收敛子序列的证明有效性验证

嘿，我来帮你检查这个证明的有效性，整体思路是站得住脚的，不过有些细节可以再打磨得更严谨些。先把你的证明整理并解读清楚：

第一步：通过矛盾法证明存在关键实数$M$ #

假设不存在这样的实数$M$：序列${a_n}$中既有无穷多项大于$M$，又有无穷多项小于$M$。

这个假设的直接推论是：序列${a_n}$最终会全部趋近于它的上确界或者下确界（你这里只写了下确界，补充上确界的情况会更完整）——具体来说，就是对任意$\epsilon>0$，存在$N\in\mathbb{N}$，当$n>N$时，要么$|a_n - \inf({a_n:n\in\mathbb{N}})| < \epsilon$，要么$|a_n - \sup({a_n:n\in\mathbb{N}})| < \epsilon$。

但这会直接推出${a_n}$收敛到对应的确界，和题目中“${a_n}$不收敛”的前提矛盾。因此，这样的$M$一定存在。

第二步：构造两个无穷子序列 #

基于上述$M$，我们定义两个无穷子序列：

• $m_n^+$：由所有满足$a_n > M$的项构成的子序列（因为$M$的性质，这个子序列有无穷多项）
• $m_n^-$：由所有满足$a_n < M$的项构成的子序列（同理，也是无穷序列）

第三步：分情况讨论验证结论 #

根据Bolzano-Weierstrass定理（有界序列必有收敛子序列），我们分两种情况分析：

情况(i)：两个子序列的收敛子序列极限不同

如果$m_n^{+$的某个收敛子序列极限为$L_1$，$m_n}-$的某个收敛子序列极限为$L_2$，且$L_1 \neq L_2$，那么这两个收敛子序列同时也是原序列${a_n}$的子序列，直接满足“存在两个不同极限的收敛子序列”的结论，证明完成。

情况(ii)：两个子序列的收敛子序列极限相同（均为$M$）

此时如果$m_n^+$和$m_n-$都收敛到$M$，那么原序列${a_n}$必然收敛到$M$：

对任意$\epsilon>0$，我们可以找到足够大的$N_1$和$N_2$，使得$n>N_1$时$|m_n^+ - M| < \epsilon$，$n>N_2$时$|m_n^- - M| < \epsilon$。取$N = \max(N_1, N_2)$，当原序列的项$a_n$的下标$n>N$时，不管$a_n$属于$m_n^+$还是$m_n-$，都满足$|a_n - M| < \epsilon$，这就推出${a_n}$收敛到$M$，和“${a_n}$不收敛”的前提矛盾。

因此，$m_n^+$和$m_n-$中至少有一个不收敛。假设是$m_n^{-$不收敛，我们对$m_n}-$重复第一步的逻辑：

• 存在实数$K$，使得$m_n^-$中既有无穷多项小于$K$，又有无穷多项大于$K$（显然$K < M$，因为$m_n^-$的所有项都小于$M$）
• 取$m_n^-$中所有小于$K$的项构成子序列${k_n}$，根据Bolzano-Weierstrass定理，${k_n}$有收敛子序列，其极限必然$\leq K < M$，不可能等于之前得到的极限$M$
• 这样我们就得到了原序列的两个收敛子序列：一个收敛到$M$，另一个收敛到小于$M$的数，满足结论

如果是$m_n^+$不收敛，逻辑完全对称，只需要把不等号方向调换即可。

备注：内容来源于stack exchange，提问作者martinkleins