最大数和最小上界是一回事吗？

luyuanhong

最大数和最小上界是一回事吗？

爱因斯坦曾说，忘掉学校所学的一切，剩下的才是教育。这句话是在强调，教育的核心价值并不在于具体知识，而在于慎思明辨过程中沉淀下来的思维能力。学好数学概念，可以帮助我们锤炼逻辑、擦亮眼睛，于天下滔滔之际保持一份清醒和从容。

本文面向初学者，以浅显语言娓娓道来，讲解微积分重要概念“确界”的内涵与外延，厘清它和“最大数”之间的区别与联系，并触及极限理论的基石——实数的完备性。

撰文 | 丁玖（美国南密西西比大学数学系教授）

“靠不住”的最大数

读者朋友，给你一个区间 (0, 1) ，即所有比 1 小的正实数所组成的集合，我想问你一个问题：这个实数集有最大的数吗？如果这个问题一时难以回答，那我换个问题，将上面表示开区间的那对圆括号改成花括号，即我先问你：集合 {0, 1} 有最大数吗？

你肯定马上就能回答我：有，最大数为 1 。这一正确回答也说明你清楚地知道“最大数”的定义，或至少对于这个极其简单的例子，你了解什么是“最大数”。下面是它的严格定义：设 A 是一个实数集合，如果实数 M 满足两个条件：（i）M 是 A 中的一个数；（ii）对于 A 中的任意一个数 a ，不等式 a≤M 都成立，那么 M 称为 A 中的最大数。如果你不喜欢用广义不等式符号“≤”，我们也可将定义中的条件（ii）改成与之等价的（ii）'：对于 A 中的所有其他数 a ，严格不等式 a＜M 都成立。类似方法可以定义数集中的最小数。但本文主要涉及最大数，有关它的一切结论都能导出关于最小数的对应结论，因为最大数和最小数有这样一个关系：数集 A 的最大数（假如它存在的话）是集合 -A 的最小数的相反数，这里集合 -A = {-a:a∈A} 。

将上面的二数集合 {0, 1} 换成其他有限数集，比如给出像全中国人口一样多（当然这个数无法精确得知，但确实是个正整数）的实数所构成的集合，它们当中一定有一个最大数，即这个数不小于它们当中的任一个数。请注意“不小于”不同于“大于”：前者是“小于”数学符号“＜”之否定，即“大于或等于”，符号为“≥”；后者的符号是“＞”。推而广之，任何由有穷个实数所组成的一个集合一定有个最大数，这个数属于该集合，并且严格大于集合中的任何其他数。我相信每一个读这篇文章的人应该都知道这个直观而易懂的事实。但是，倘若一个实数的集合包含无穷多个数，这种所谓的“无穷数集”也一定会有最大数吗？

这就是我在文章一开始向大家提出的问题，即所有比 1 小的正数当中，有最大数吗？读者稍微想一下可能就会知道，从 0 到 1 的开区间 (0, 1) 这个无穷集合，当然没有最大的数啦。按照最大数定义中的逻辑，该区间不存在最大数的意思是：(0, 1) 中不存在一个数，它大于或者等于该区间当中所有的数；换言之，无论在这个开区间里取哪一个数，比方说，0.9999 ，我们总能在同一区间里找到另外一个更大的数，例如也在区间中的数 0.99999 就比所取的数 0.9999 大。注意，这里似乎 1 是最大数，然而它不属于 (0, 1) ，故不符合最大数的定义。

但是，这并非说由无穷多个实数组成的集合就一定没有最大的数。譬如，所有不大于 1 的正数当中一定有最大数—— 1 ，因为这些数的集合是左开右闭的区间 (0, 1] ，数 1 不仅属于这个区间，而且大于该数集中的任何其他数。由此可见，无穷多个实数组成的集合可以有最大数，也可以没有最大数。正因为最大数时有时无，这个概念留给我们一点遗憾。在数学中，实数之间的大小比较是个基本操作，然而在有的时候，“靠不住的”最大数实在帮不了我们多少忙。

上确界和实数完备性

怎么办呢？数学家是聪明无比的，他们总能想出点子，克服“最大数”这个初等数学中很实用的概念在高等数学中的不足之处。这个点子出在考虑大于或者等于给定实数集中的所有数的那些数构成的“上界之集”。

作为阐述这个好点子的佳例，我们再仔细瞧瞧没有最大数的开区间 (0, 1) 。这个集合是“上有界”的，即存在一个实数，比如 2 ，它总是大于或者等于该集合里的每一个数。2 被称为该数集的一个“上界”，英文是 upper bound 。一个显而易见的事实是，因为实数 2 是 (0, 1) 的一个上界，任何比 2 大的数也是同一数集的一个上界，因而区间 (0, 1) 具有无穷多个上界。问题是在所有这些上界中，有最小的数吗？即这个数不仅是给定数集的一个上界，而且更进一步，它总是小于或者等于同一数集的所有上界。如果它存在的话，那么这个最小的上界称为给定数集 (0, 1) 的上确界，这是英文数学术语 least upper bound 的中文翻译，不知出自哪位华人数学家之手。这个翻译的优点是精炼，只用了三个汉字就简洁译出了三个英文单词，数目对等，但是没有译出原词组的直接含义：least = 最小，upper bound = 上界。上确界更形象化、更容易看懂的中文翻译是“最小上界”。顾名思义，最小上界就是所给数集所有上界中最小的那个数。显而易见，如果数集的上确界存在，那么它是唯一的。如果实数 s 是数集 A 的上确界，则记为 s = l.u.b. A 或丢掉点号的 lub A ，也可写成 s = sup A ，其中 l.u.b. 或 lub 是 least upper bound 的三个首字母，sup 为 supremum（上确界）的前三个字母。

且慢，习惯思考并且敢于质疑的那些读者开始反问了：上述宣称隐含了一个武断的前提：所有上界中必定会有最小数。既然有无穷数集中不存在最大数的例子，难道就没有全体上界中不存在最小数的例子吗？而另外一些读者这时可能开始迷糊了。不要紧，当年读南京大学数学系，在第一学期的《数学分析》课上，听颜起居（1936-2011）老师讲解“上确界”时，我们也有一部分同学有点迷迷糊糊了。要想不被“迷糊”牵住鼻子走，最好的方法还是先让例子带路，引导我们登堂入室。

先来看一看区间 (0, 1) 的所有上界到底会组成一个什么样的集合。我们刚才举了一个上界 2 的例子，自然比 2 大的数统统也是上界。另一方面，显然 1.5 也是一个上界，另外，1.1 、1.01 等等都是。那么 1 是不是一个上界呢？仔细一想，也是呀。进一步地想，某个比 1 小的数，比如 0.9999 ，也会是个上界吗？前面已经指出，区间 (0, 1) 中的数 0.99999 比它来得大，所以 0.9999 失去了成为上界的资格。如此分析的结果就是：有界数集 (0, 1) 的上界全体就是无穷区间 [1, +∞) ，这个“左闭右开”的无穷区间当然有最小值 1 ，换句话说，(0, 1) 的所有上界组成的集合确实有最小数 1 ，即 1 是区间 (0, 1) 的最小上界。

这样一看，一个数集的最小上界具有如下两个性质：1. 它是该数集的一个上界；2. 在该数集的所有上界当中，它是最小的一个。从前面的简单例子可以想象，如果一个实数集合是上有界的，即它存在一个上界，那么它一定有上确界，即所有上界中的最小数。这实际上是实数系统的最重要的性质，称为“实数的完备性”。尽管我们在中学就和实数打了不少交道，可是我们对此却一无所知，因为理解它比较困难，而且不学微积分无需用它。事实上大部分的高等微积分著作也不证明它，比如当年我们大一大二所用教材、吉林大学江泽坚（1921-2005）教授等编写的《数学分析》也不想对这个实数最重要的性质加以证明，干脆将它列为“完备性公理”，只用不证。当然，这条“公理”不像著名的欧几里得几何第五公设那样“不可证明”，而是可以证实的，但是论证它需要实数的构造理论，涉及到像“戴德金分割”或“有理数基本序列”等较为困难的概念。有的大部头高等微积分教科书或教学参考书，比如我们读大学时课外钻研的、苏联数学家菲赫金哥尔茨（Grigorii Mikhailovich Fikhtengol'ts，1888-1959）所著百科全书式的那套八册中译本《微积分学教程》，开头就是“实数理论”，其中证明了这条实数完备定理。

综上所述，我们知道，一个有上界的无穷数集不一定有最大数，但一定有最小上界。

至此，我们已经回答了本文的标题提问——最大数和最小上界这两个数学概念不是一回事。当然，如果集合仅仅包含有穷多个实数，该数集不仅存在最大数，而且最大数同时也是集合的最小上界。然而，如果集合包含了无穷多个数，则有可能它没有最大数；并且也可能没有上确界，除非它是上有界的。道理很简单，一个上界也没有的实数集合怎么可能有最小上界呢？所以在实数完备性的陈述“若非空实数集有上界，则它有上确界”中，不能忽略每一个字。

阿基米德性质



不完备的有理数集

我们继续探讨最大数与上确界之间的关系。尽管无穷数集既不一定有最大数，也不一定有上确界，但只要数集含有最大数，该集合也一定有上确界，并且两数相等。这是为什么呢？我们还是按照上确界的定义（即它前述的两个性质）来证明这个断言。首先所给数集的最大数自动成为该集合的一个上界；其次，任给集合的一个上界，则它大于或者等于集合中的任一个数，特别地，它大于或等于集合的最大数，这就证明集合的最大数是集合所有上界中的最小数，即数集的最大数等于数集的最小上界。由此可见，对于有上界的实数集，上确界的概念直接推广了最大数的概念。

然而，一旦我们偷懒，仅仅局限在有理数集合里玩弄微积分，“上确界”的概念马上黯然失色，微积分这个数学巨人也就萎靡不振了，基础松动，散了架子，大厦将倾，微积分中的几大定理，什么单调收敛定理、闭区间套定理等，正好可用成语“皮之不存，毛将焉附”来描绘其不复存在之惨状。

就代数结构和运算而言，有理数集合同实数集合同享荣耀，它们关于加法和乘法运算都是好数域，都具有大小关系。此外，相较于实数集，计算机科学家或电脑程序员可能对有理数更觉亲近，因为无理数无法在计算机内被精确表示，只能四舍五入，误差趁机入侵。这样，常用电脑程序计算的科学家和工程师，大概很想离无理数远远的。



√2 存在吗？

我相信即使是以前没有接触过相关概念的读者，也已经足够了解上确界的基本思想以及实数的完备性了。现在，我们想借助这些知识，来证明 2 的算术平方根的存在性，即存在一个记为 √2 的实数，它的平方等于 2 。读过中学代数的一些人可能都要“抗议”了：这个事实还需要证明？诚然，他们的代数教科书里早就写满了√2 ，但就像中学代数里无理数指数幂的严格定义需要高等数学里的单调收敛定理做后盾，√2 作为无理数存在的严格论证也离不开实数完备性的一臂之力。

因为毕达哥拉斯定理的发现，古希腊人觉得 √2 一定存在，因为单位正方形的对角线的长度就是它，难道这个长度不存在吗？然而，他们惊讶地发现测量这个长度遇到了“不可公度”的困难，这也成为数学史上第一次危机的源头。欧几里得（Euclid ，约公元前 330 年 - 公元前 275 年）在他的辉煌著作《几何原本》中证明了 √2 不是有理数。这个论证过程是简洁的、漂亮的、标准的，被英国上世纪上半叶的纯粹数学家哈代（Godfrey Harold Hardy ，1877-1947）放进了他著名的随笔小书 A Mathematician's Apology（《一个数学家的辩白》），作为关于“美的数学证明”的一个范例。



单调收敛定理



“确界”是中国大学数学系新生最重要的课程《数学分析》和美国一般大学高年级和研究生《高等微积分》课程中第一要紧的基础概念，也是常常吓坏同学们的难懂概念之一。然而，如果真正学懂了它，不仅能顺利进入极限理论的学习，而且对任何人而言，就相当于从大脑“健美体操”一周训练班顺利结业。事实上，分析数学中各门课程的许多概念，都是用确界的语言写出的，如高等微积分中的黎曼上、下积分和实变函数论中的勒贝格外测度。所以，学懂它绝对好处多多。

学习精妙的数学概念，并非仅仅为了增加数学知识，更是为了强化人的思维能力。在当今世界，所闻信息五花八门，鱼龙混杂，令人不易分辨真假对错。提高自己的识别能力有一个好方法，就是强迫自己试图理解从未见过或以前老师没有教好的数学概念，分析一个数学名词定义内的逻辑关系及其延伸推论，以及与其他概念的联系。如果有条件获得这种提升自身逻辑判断能力的机会，过不了多久，你的脑袋瓜里就慢慢长出孙悟空的火眼金睛，得以看清周围众多说辞背后的真实逻辑。这也是我撰写本文，用尽量浅显的语言介绍“上确界”概念的一个初衷。

致谢：感谢《返朴》周编辑细心审读并改正一处误写。

写于 2024 年 1 月 22 日星期一

美国哈蒂斯堡夏日山庄

原创 丁玖 返朴 2024-02-26 08:02 北京