数学符号sup:什么是集合上确界

在数学中，“sup” 是 “supremum” 的缩写，这个词来源于拉丁语，意思是“最高值”。在集合论和实分析中，如果一个集合 S 的元素都是实数，并且这个集合有上界（即存在某个实数 M，使得对于 S 中的所有元素 x，都有 x ≤ M），那么这个集合的 supremum 就是所有这些上界中的最小者。换句话说，sup(S) 是满足以下两个条件的最小实数：

sup(S) 是 S 的一个上界。
如果 t 也是 S 的一个上界，则 sup(S) ≤ t。
如果一个集合没有上界，我们通常说它的 supremum 是正无穷大。同样地，infimum 是与 supremum 相对的概念，它表示一个集合所有下界的最大值。

“supremum” 在数学中指的是“上确界”。上确界是一个集合所有上界的最小值，也就是说，它是大于或等于集合中所有元素的最大数。如果一个集合有最大值，那么这个最大值就是该集合的上确界；但如果集合没有最大值，其上确界可能是集合趋向但不达到的一个值，或者是集合的上界中最小的那个数。

例如，集合 (0, 1)（即所有大于0小于1的实数）没有最大值，但它的上确界是1，因为1大于集合中的所有数，而且没有比1更小的数能作为这个集合的上界。同样，对于任何有界的非空实数集，根据实数的完备性，都存在唯一的上确界。

再举一个例子，考虑集合 S = {x ∈ ℝ | x < 5}，这个集合没有最大的元素，但是它有一个 supremum，即 sup(S) = 5。这是因为 5 是 S 的一个上界，并且没有比 5 更小的上界了。