上确界

上确界

上确界（supremum，简称 sup）是数学分析、序理论与测度论中最基本的概念之一。给定一个偏序集中的一个子集，若存在一个元素是该子集所有上界中最小的，则称该元素为这个子集的上确界。在实数集 $\mathbb{R}$ 中，上确界的存在性与完备性公理直接关联，是微积分学严格逻辑基础的基石。

定义与形式化表述

设 (X, \leq) 为一偏序集，S \subseteq X 为非空子集。称 u \in X 为 S 的一个上界，若对任意 s \in S，均有 s \leq u。若 S 的所有上界构成的集合有最小元素（即存在一个上界 $\bar{u}$，使得对任意上界 u 都有 $\bar{u}$ \leq u），则称 $\bar{u}$ 为 S 的上确界，记作 \sup S。

在实数集中，上确界具有更简洁的刻画：实数 $\alpha$ 是集合 S \subseteq $\mathbb{R}$ 的上确界，当且仅当：

• 对任意 x \in S，有 x \leq $\alpha$（$\alpha$ 是上界）；
• 对任意 $\epsilon$ > 0，存在 x \in S 使得 x > $\alpha$ - $\epsilon$（$\alpha$ 是最小的上界）。

实数完备性公理

实数集区别于有理数集的一个关键性质是上确界原理（亦称完备性公理）：$\mathbb{R}$ 的任何非空有上界的子集必存在上确界。这条公理在标准实数构造（戴德金分割或柯西序列等价类）中扮演核心角色。其直接推论是下确界原理：非空有下界的实数子集必存在下确界。

有理数集 $\mathbb{Q}$ 不具备这一性质。例如集合 \{ x \in $\mathbb{Q}$ \mid x^2 < 2 \} 在 $\mathbb{Q}$ 中有上界（如 1.5），但在 $\mathbb{Q}$ 中没有上确界，因为最小上界 $\sqrt{2}$ 不是有理数。这一事实揭示了实数连续性（continuity）与有理数稠密性（density）之间的深层差异——$\mathbb{Q}$ 虽在 $\mathbb{R}$ 中稠密，却存在空隙，而 $\mathbb{R}$ 的完备性保证了空隙被填补。

重要性质与定理

上确界的一则基本性质是确界等式：若 A, B \subseteq $\mathbb{R}$ 非空有上界，则 \sup(A + B) = \sup A + \sup B，其中 A + B = \{ a + b \mid a \in A, b \in B \}。类似地，\sup(cA) = c \cdot \sup A 对 c \geq 0 成立。这些性质使上确界成为分析中处理极值问题的有力工具。

在函数论中，上确界是定义范数与收敛性的关键。函数 f 的上确界范数 \|f\|\_\infty = \sup\_x |f(x)| 是一致收敛的度量。上确界度量定义了连续函数空间的度量结构。

此外，上确界在单调有界定理中处于核心位置：单调递增且有上界的实数数列必收敛，其极限恰为该数列各项的上确界。这一定理是实数分析中证明数列收敛性的标准方法，也是推导级数收敛判别法的基础。

与其他概念的关联

上确界与最大值（maximum）的区别极其微妙：若上确界属于原集合，则它就是最大值；否则上确界只以极限的方式"附着"于集合。例如开区间 (0,1) 的上确界为 1，但 1 \notin (0,1)，故最大值不存在。这一区分在极值定理中尤为重要——连续函数在闭区间上可取到最大值（确界可达），在开区间上则未必。

在测度论中，上确界被用于构造外测度（outer measure），如勒贝格外测度定义为对任意覆盖的可数族之测度和取下确界。在序理论中，上确界（或称并、join）是格（lattice）与半格（semilattice）的基本运算。

典型例子

以下列举若干典型实例如下：

• \sup\{ x \in $\mathbb{R}$ \mid 0 < x < 1 \} = 1，且最大值不存在。
• \sup\{ (-1)^n - 1/n \mid n \in $\mathbb{N}$ \} = 1，由子列 n=2,4,6,\dots 中的项趋近。
• \sup\{ x \in $\mathbb{Q}$ \mid x^3 < 3 \} = \sqrt[3]{3}，上确界为无理数。
• 有界数列 $x_n$ 的上极限（limit superior）定义为 \limsup\_{n\to\infty} $x_n$ = \lim\_{n\to\infty} \sup\_{k \geq n} $x_k$。

经济学中的上确界

在微观经济学中，上确界常用于描述预算集与生产可能性前沿。消费者的可行预算集边界可视为给定价格与收入下的消费组合的上确界。在一般均衡理论中，上确界用于构造最优选择的存在性证明——通过将可行集的上确界与连续性条件结合，得出解的存在性。博弈论中的上确界收益（sup payoff）刻画了局中人在最坏情况下所能保证的收益水平。

上确界这一概念虽诞生于纯数学的严谨构造，却贯穿了从实分析、泛函分析到经济理论的全部现代量化科学体系，是连接离散与连续、有限与无限之间最简洁的理论桥梁。