上确界与下确界

偏序中的定义 ​

在偏序集公理库偏序Partial order · Partially ordered set满足自反、反对称和传递性的关系。 $(P,\le )$ 中，若 $u$ 是 $A\subseteq P$ 的上界，且对每个上界 $v$ 都有 $u\le v$，则 $u$ 是 $A$ 的上确界，记为 $supA$；下确界 $infA$ 对偶定义。它们若存在必唯一。最大元若存在便等于上确界，但上确界未必属于集合。

这一定义不要求元素是数，也不要求任意两元素可比。实数完备性公理库实数完备性Completeness of the real numbers · Least-upper-bound property实数作为完备有序域没有有理数式的序与极限缺口。只是一个重要特例：每个非空且有上界的实数集合存在实数上确界，每个非空且有下界的实数集合存在实数下确界。一般偏序并不自动具有这种存在性。

直觉 ​

上确界是由整个集合共同决定的最紧上边界：任何严格更小的候选都不再能压住全部元素。它允许边界不属于集合，所以既能表达序结构中的最小共同上界，也能记录开放集合和极限过程的最佳可达值。最大元是集合内部对象，上确界则属于环境有序集；混淆二者会把“可任意逼近”误写成“已经达到”。

例子与边界 ​

在幂集偏序 $(\mathcal{P}(S),\subseteq )$ 中，一族子集的上确界是它们的并，下确界是它们的交；这里的元素是集合，而且不必两两可比。这个例子说明全序不是定义所需条件。

在实数中，$A=(0,1)$ 满足 $supA=1$、$infA=0$，却没有最大元或最小元。$\mathbb{Q}$ 中的集合 $\{q:q^2<2\}$ 没有有理上确界，则说明有序域本身不保证完备性。

空集的上确界在普通 $\mathbb{R}$ 中通常不定义，在扩展实数约定下可令 $sup\varnothing =-\mathrm{\infty }$。一般偏序中还可能只有多个极小上界而没有最小上界；“极小”与“最小”、“极大”与“最大”都不能互换。

集合 $A=\{1-1/n:n\ge 1\}$ 的上确界为 $1$，且对任意 $\epsilon >0$ 都有元素大于 $1-\epsilon$，但 $1\notin A$。若 $B=\{0,1\}$，则 $supB=1$ 同时也是最大元。对函数族逐点取上确界时，所得函数可能失去连续性；上确界操作保留的是序关系，而非所有分析性质。

存在性、达到性与后继接口 ​

偏序足以定义上下确界，却不保证它们存在。实数完备性公理库实数完备性Completeness of the real numbers · Least-upper-bound property实数作为完备有序域没有有理数式的序与极限缺口。保证非空有上界的实数集合确有上确界；完备格则对更广的子集族作存在性承诺。分析中的“最佳常数”和优化最优值常先以确界或下确界定义，是否由某个对象达到仍需紧致性、下半连续性等额外条件。

序列的 $lim sup$ 由尾部集合的上确界形成，外测度和优化值常由下确界构造。对函数族逐点取上确界时，所得函数可能失去连续性，甚至出现可测性问题；序运算只保留偏序关系，不自动保留环境中的分析结构。

统计检验的 size、学习理论的一致偏差和 minimax 风险都会对参数或规则取 $sup$、$inf$。它们共享本页的序接口，却作用在不同对象上；确界可能不可测，下确界也未必达到。写出 $\arg min$ 比写出 $inf$ 多承诺了一个最优对象的存在，必须另行证明。

参考资料

• Stephen Abbott, Understanding Analysis, 2nd ed., Springer, 2015，§1.3, the Axiom of Completeness and least upper bounds。
• Walter Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw-Hill, 1976，Ch. 1, ordered sets and the least-upper-bound property。
• B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2nd ed., Cambridge University Press, 2002，Chs. 1–2。