戴德金定理 加法-戴德金定理介绍

戴德金定理是实数系里最让人神奇的一章，它就像是给无限想象装上了一个防弹衣。
那会儿我们脑子里能想到整数、小数，就连无穷大，但一旦想清楚“无穷小”要么“无穷大”到底是不是个数的时候，整个算术体系就崩塌了。戴德金定理说，只要我们把有理数彻底拆散，用一种类似“切割”的方式切分，剩下的空隙里一定藏着实实在在的数字。 想象有一把尺子，刻度是离散的，只能量整数。你没法量出 3.14159，也没法量出 $pi$。
这时候，你手里捏着的肉，也不一定是个数字，可能只是“肉”。在戴德金之前，数学家们拼命想证明这肉也是数，但这条路堵死了百十年。直到 1924 年的戴德金，他像是一个职业刺客，没有直接杀死这个概念，而是用了一种更隐蔽、更温柔的方式，给这个概念开了个口子。他把有理数分成了两类：一类是正的，一类是负的，中间夹着个 0。但这还不够，他再往下切，把正数组分成两类：一个正数比另一个正数大，这就把正数分成了正无穷大和负无穷小。再细分，把正无穷大和负无穷小单独划掉，剩下的就是正实数集合 $R^+$。他做了一个贼大胆的拍板：把每一个正实数都对应一个负数，倒数一一对应，正好补上缺的那一块。 这个对应关系忒绝了，就像是一场完美的镜像游戏。
要是有一个正数 $x$，它比另一个正数 $y$ 大，那对应的负数就是 $-x$，它一定比 $-y$ 小。
这一比，两个数、两个无穷大、两个无穷小，就像被照镜子一样，一一对应地跳到了正负那个区间的对立面。戴德金证明的是，这个镜像系统里，除了 0，每一个点都只归于一方，绝不会有两个数挤在一个空隙里。他不仅找到了那些被漏掉的数，还告诉我们要如何去理解那些看似虚无的无穷大。 为了证明这个荒谬一点的结论是确实，戴德金得先算一笔账，也就是建立一个桥梁。他用了“预估值”这个概念，就像是在地基里埋下硬币。对于任意一个实数 $x$，总能找到一个整数 $n$，让 $n$ 比 $x$ 大，与此同时 $n+1$ 比 $x$ 小。
这就像你在爬楼梯，你知道你还没到顶，但你一定还在某一层的地板上。
这个整数 $n$ 既然大于 $x$，那它本身就一定是正数；既然 $x$ 大于 $n$，而 $n$ 是正数，那 $x$ 肯定也是正数。反之亦然。
这个逻辑链条忒漂亮了，没有它，戴德金定理就只是一个漂亮的空壳。 这个定理最了得的地方在于它彻底消解了“无穷”的神秘感。
那会儿认定无穷大是个鬼，无穷小数是个残影。目前，你看，正实数就是无穷小的极限，负实数就是无穷大的极限。它们不是“变成”了无穷大，它们本身就是无穷大。
这个定义让数学家们终于敢去研究无穷大了。
比方说，无穷大的倒数是多少？那就是无穷小。无穷小的倒数呢？那也是无穷大。它们在正负轴上玩起了捉迷藏，一辈子找不到一个既不归于正也不归于负的尴尬角色。 另一个贼直观的例子，我们能够看看电的工作电压。电压实际上是电流和电阻的比值，算出来的都是实数。但在戴德金之前，电学里有个难题：要是电阻无穷大，电压是不是无穷大？要是是无穷大，那电压表指针到底会指到哪儿？戴德金定义了正实数为无穷大，负实数为无穷小。便，无穷大就像电流一样，有正负之分，有的无穷大，有的无穷小。
这个搞清楚了，麦克斯韦方程组里的电磁理论才能站得稳。 还有温度。摄氏温标里有个 0 度，那是水结冰的点，是个定值，那是正无穷大吗？不是。戴德金定义的无穷大是数学概念，而温度中的 0 度是物理平衡点。
这就像把世界拆成了两半，一半是离散的整数，一半是连续的无穷。戴德金证明白这两半是能够完美拼合的。 最终，我们来看看这个定理在逻辑上的威力。它告诉我们要断言一个数，不能光靠直觉，得像戴德金那样，把思路切开，去比较大小，去分割集合，才能彻底搞明白这个数是不是存有的。它把实数系的构建从“推测”变成了“严谨的操作”。
没有戴德金，实数系可能只是一堆散乱的肉；有了他，实数系才真正拥有了骨骼和血肉，成为了我们现代数学大厦的基石。
你看，原来数学也不光讲究逻辑，还讲究一种把不可能变成可能的勇气。