上/下极限怎样总结所有尾部行为？¶

先备知识¶

本单元使用扩展实数只为记录有序边界。记

\[ \overline{\mathbb R}=\mathbb R\cup\{-\infty,+\infty\}, \]

并规定 \(-\infty<x<+\infty\)（\(x\in\mathbb R\)）。不在这里定义 \(+\infty-\infty\)、\(0\cdot\infty\) 等代数运算。

学习目标¶

定义尾上确界与尾下确界；2. 证明二者单调；3. 在 \(\overline{\mathbb R}\) 中定义上、下极限；4. 正确包含无界情形而不做未定义代数。

牵引问题¶

原数列可能交替、稠密或无界。怎样用两个随尾部移动的有序边界，压缩全部长期行为？

探索与猜想¶

删去最前一项后，可选值集合变小：上确界不能增加，下确界不能减少。因此两条尾部边界本身具有单调性，即使原数列没有。

概念与理论¶

扩展确界约定¶

对非空 \(E\subseteq\mathbb R\)：若 \(E\) 在实数中无上界，定义 \(\sup E=+\infty\)；若无下界，定义 \(\inf E=-\infty\)。若有相应实界，则沿用实数确界。这样只扩展“序与界”，不扩展有限极限运算法则。

尾上、下确界¶

对 \(A_n=\{a_k:k\ge n\}\)，定义

\[ S_n=\sup A_n=\sup\{a_k:k\ge n\}=\sup_{k\ge n}a_k, \qquad I_n=\inf A_n=\inf\{a_k:k\ge n\}=\inf_{k\ge n}a_k. \]

因 \(A_{n+1}\subseteq A_n\)，任何 \(A_n\) 的上界也是 \(A_{n+1}\) 的上界，故 \(S_{n+1}\le S_n\)；类似地 \(I_{n+1}\ge I_n\)。因此 \((S_n)\) 单调不增，\((I_n)\) 单调不减，且逐项 \(I_n\le S_n\)。

上极限与下极限¶

定义

\[ \limsup_{n\to\infty}a_n =\inf_{n\ge1}S_n, \qquad \liminf_{n\to\infty}a_n =\sup_{n\ge1}I_n, \]

两者取值于 \(\overline{\mathbb R}\)。这也就是单调扩展实数列 \(S_n\)、\(I_n\) 的有序极限。定义自动覆盖：每个尾部都向上无界时 \(S_n=+\infty\)；尾上界逐步降到 \(-\infty\) 时上极限为 \(-\infty\)；下极限同理。

任取 \(m,n\)，从公共尾部选 \(k\ge\max\{m,n\}\)，便有 \(I_m\le a_k\le S_n\)。因此每个 \(I_m\) 都不超过每个 \(S_n\)，再分别取上确界与下确界可得

\[ \liminf_{n\to\infty}a_n\le\limsup_{n\to\infty}a_n. \]

这只使用序关系，没有减法或其他扩展实数代数。

例题与迁移¶

例题 1：交替数列¶

对 \(a_n=(-1)^n\)，每个尾部都同时包含 \(-1\) 与 \(1\)，故 \(S_n=1\)、\(I_n=-1\)。因此

\[ \limsup a_n=1,\qquad\liminf a_n=-1. \]

例题 2：无界方向¶

对 \(a_n=n\)，每个尾部向上无界，所以 \(S_n=+\infty\)；而 \(I_n=n\)，其有序极限为 \(+\infty\)。故上下极限都为 \(+\infty\)。对 \(a_n=(-1)^n n\)，每个尾部同时向上、向下无界，所以上极限 \(+\infty\)、下极限 \(-\infty\)。

即时检验与回望¶

为什么 \(S_n\) 递减而不要求 \(a_n\) 递减？

答案

单调性来自尾集合包含关系 \(A_{n+1}\subseteq A_n\)，而不是相邻数列项的大小关系。

本单元能否写 \((+\infty)+(-\infty)=0\)？

答案

不能。这里的扩展实数仅用于次序、确界和上下极限；该和未定义，也不参与任何证明。

习题与答案¶

习题 1：尾界单调性¶

从集合包含关系完整证明 \(I_n\le I_{n+1}\)。

答案

\(I_n\) 是 \(A_n\) 的下确界，故是 \(A_n\) 的下界；因 \(A_{n+1}\subseteq A_n\)，它也是 \(A_{n+1}\) 的下界。\(I_{n+1}\) 是后者最大下界，所以 \(I_n\le I_{n+1}\)。

习题 2：收敛显式例¶

求 \(a_n=1/n\) 的 \(S_n,I_n\) 与上下极限。

答案

尾部最大项为 \(1/n\)，故 \(S_n=1/n\)；尾部正数任意接近零，故 \(I_n=0\)。二者都趋于 \(0\)，所以上下极限均为 \(0\)。

习题 3：有限修改¶

说明改变有限多项不改变上下极限。

答案

若只改前 \(N\) 项，则对 \(n>N\)，新旧尾集合完全相同，故相应 \(S_n,I_n\) 相同；它们的有序极限因此相同。

习题 4：向负无穷¶

求 \(a_n=-n\) 的上下极限。

答案

尾部最大项是 \(-n\)，故 \(S_n=-n\to-\infty\)；尾部向下无界，故 \(I_n=-\infty\)。上下极限均为 \(-\infty\)。

习题 5：上下极限次序¶

为何不能从 \(I_n\le S_n\) 通过相减证明极限次序？

答案

两端可能为无穷，差可能未定义。正确做法是直接使用有序完备化中的序：任取 \(m,n\)，有 \(I_m\le S_n\)；再由确界定义推出 \(\sup_m I_m\le\inf_n S_n\)。

常见误区与后续¶

尾上确界不是“目前见过的最大值”，而是整个无限尾部的确界。
扩展实数在此只承载序与界，不做未定式运算。
下一单元将严格构造实现有限或无穷上下极限的子列，并给出有限收敛判别。