上/下极限怎样由子列真正实现？¶

先备知识¶

记 \(S_n=\sup_{k\ge n}a_k\)、\(I_n=\inf_{k\ge n}a_k\)。确界未必由某一项取得，因此实现上下极限时要选“逼近确界”的项，并同时强制指标递增。

学习目标¶

构造实现有限上下极限的子列；2. 处理 \(\pm\infty\)；3. 证明有限条件下上下极限相等当且仅当原列收敛；4. 正确分析交替、稠密聚点与无界例。

牵引问题¶

尾上确界只是边界值。为什么总能找到越来越靠后的实际数列项逼近它？上下边界何时夹住整条尾部？

探索与猜想¶

当有限上极限为 \(U\) 时，先选很靠后的尾部使 \(S_N\) 接近 \(U\)，再按上确界性质在该尾部选一项接近 \(S_N\)。把新尾部起点放在旧指标之后，就同时得到逼近与严格递增。

概念与理论¶

实现有限上下极限¶

设 \(U=\limsup a_n\in\mathbb R\)，并设 \(n_0=0\)。递归构造如下：已选 \(n_{j-1}\) 后，因 \(S_N\downarrow U\)，可取 \(N_j>n_{j-1}\) 使

\[ U\le S_{N_j}<U+\frac1j. \]

由上确界定义，存在 \(n_j\ge N_j\) 使

\[ a_{n_j}>S_{N_j}-\frac1j; \]

否则 \(S_{N_j}-1/j\) 将是更小的上界。又 \(a_{n_j}\le S_{N_j}\)，故

\[ U-\frac1j<a_{n_j}<U+\frac1j. \]

因为 \(n_j\ge N_j>n_{j-1}\)，指标严格递增，且 \(a_{n_j}\to U\)。

若 \(V=\liminf a_n\in\mathbb R\)，令 \(m_0=0\)。同理先取 \(M_j>m_{j-1}\) 使 \(V-1/j<I_{M_j}\le V\)，再由下确界性质选 \(m_j\ge M_j\) 使 \(a_{m_j}<I_{M_j}+1/j\)。于是 \(m_j>m_{j-1}\)，并且 \(|a_{m_j}-V|<1/j\)，故 \(a_{m_j}\to V\)。

实现无穷上下极限¶

若 \(\limsup a_n=+\infty\)，则每个尾部向上无界。令 \(n_0=0\)，递归选 \(n_j>n_{j-1}\) 使 \(a_{n_j}>j\)，便有子列趋于 \(+\infty\)。
若 \(\limsup a_n=-\infty\)，则 \(S_n\to-\infty\) 且 \(a_n\le S_n\)，所以整列已趋于 \(-\infty\)，取 \(n_j=j\)。
若 \(\liminf a_n=-\infty\)，每个尾部向下无界。令 \(m_0=0\)，递归选 \(m_j>m_{j-1}\) 使 \(a_{m_j}<-j\)，便有子列趋于 \(-\infty\)。
若 \(\liminf a_n=+\infty\)，由 \(a_n\ge I_n\to+\infty\)，整列趋于 \(+\infty\)。

整个论证只用序关系，不使用未定义的扩展实数代数。

有限收敛判别¶

定理。 对实数数列与 \(L\in\mathbb R\)，

\[ a_n\to L \quad\Longleftrightarrow\quad \liminf a_n=\limsup a_n=L. \]

证明。 若 \(a_n\to L\)，给定 \(\varepsilon>0\)，充分后每个尾项位于 \((L-\varepsilon,L+\varepsilon)\)，故相应 \(I_n,S_n\) 也位于闭区间 \([L-\varepsilon,L+\varepsilon]\)；于是二者趋于 \(L\)。

反之，若 \(I_n\uparrow L\)、\(S_n\downarrow L\)，给定 \(\varepsilon>0\)，取 \(N\) 使 \(I_N>L-\varepsilon\) 且 \(S_N<L+\varepsilon\)。对每个 \(n\ge N\)，

\[ L-\varepsilon<I_N\le a_n\le S_N<L+\varepsilon, \]

所以 \(a_n\to L\)。这里明确要求共同值是有限实数，避免把有限收敛与趋于无穷混为一谈。\(\square\)

例题与迁移¶

例题 1：交替与非区间聚点集¶

\(a_n=(-1)^n\) 的上下极限为 \(1,-1\)，分别由偶、奇子列实现；其聚点集恰为 \(\{-1,1\}\)，不是区间。这直接否定“聚点集必为区间”的说法。

例题 2：稠密聚点与无界行为¶

把每一级网格 \(\{0,1/m,\ldots,1\}\) 依次列出，得到在 \([0,1]\) 中反复变密的数列。对任意 \(c\in[0,1]\)，每级可选一个网格点与 \(c\) 相距至多 \(1/m\)，并递增选指标，故 \(c\) 是聚点；上下极限为 \(1,0\)。另一方面 \(a_n=(-1)^n n\) 的上极限为 \(+\infty\)、下极限为 \(-\infty\)，由正、负子列实现。

即时检验与回望¶

上确界未取到时，为什么仍能选到 \(a_{n_j}>S_{N_j}-1/j\)？

答案

若所有尾项都不超过 \(S_{N_j}-1/j\)，该数就是尾集合的上界，严格小于其最小上界 \(S_{N_j}\)，矛盾。

上下极限同为 \(+\infty\) 是否表示收敛到某个实数 \(L\)？

答案

不表示有限收敛；它表示数列趋于 \(+\infty\)。有限收敛判别明确要求共同值 \(L\in\mathbb R\)。

习题与答案¶

习题 1：严格指标¶

有限上极限构造中，哪一步保证 \(n_j>n_{j-1}\)？

答案

先强制选择尾部起点 \(N_j>n_{j-1}\)，随后选 \(n_j\ge N_j\)，所以 \(n_j>n_{j-1}\)。

习题 2：实现 \(+\infty\)¶

若每个尾部向上无界，递归构造趋于 \(+\infty\) 的子列。

答案

令 \(n_0=0\)；第 \(j\) 步在 \(n_{j-1}\) 之后选 \(n_j\) 使 \(a_{n_j}>j\)。则指标严格递增，且任给 \(M\)，当 \(j>M\) 时 \(a_{n_j}>M\)。

习题 3：收敛方向¶

若 \(a_n\to L\)，为何尾确界可能在前几步为无穷却最终必须有限？

答案

取 \(\varepsilon=1\)，充分后的所有项都在 \([L-1,L+1]\)，故这些尾集合有实上、下界；前面有限多项不影响最终尾界与上下极限。

习题 4：三个聚点¶

构造聚点集恰为 \(\{0,1,2\}\) 的数列。

答案

对 \(k\ge0\)，令

\[ a_{3k+1}=0,\qquad a_{3k+2}=1,\qquad a_{3k+3}=2. \]

这一定义从 \(a_1\) 开始覆盖所有正整数指标。三个余数类子列分别为常数；任意子列若收敛，其项仍只取这三值，取半径小于相邻距离一半即可知极限只能是其中之一。

习题 5：夹住整条尾部¶

在有限收敛判别的反向证明中，为何固定 \(I_N,S_N\) 能控制所有 \(n\ge N\)？

答案

\(I_N,S_N\) 分别是整个尾集合 \(\{a_k:k\ge N\}\) 的下界与上界，所以对每个 \(n\ge N\) 都有 \(I_N\le a_n\le S_N\)，不是只控制第 \(N\) 项。

常见误区与后续¶

实现确界要用逼近性质，不能假设最大值存在。
递归中先推进尾部起点，再选实际指标，才能保证严格递增。
聚点集可以是两点、有限集或稠密集合，并不必为区间。本章到此闭合，后续理论不在这里提前调用。