戴德金之连续性和无理数的中文翻译

1 连续性和无理数
构成这本小册子的主题思想的那些想法，在1858年秋天，第一次引起了我的注意。作为苏黎世理工学校的教授，我第一次感到自己有义务把微积分的基础元素给学生做讲解，而且第一次非常强烈地感受到，目前的数学，没有一个真正的科学基础。在讨论“某个变量无限趋近某个固定极限值”这个概念的时候，尤其是在证明这样一个定理，即，某个变量无限趋近某个确定值”，但是永远不会突破这个确定值，而只能持续靠近这个确定值，我只能借助于几何图形。即使现在，从教学的观点看，在微积分教学中，第一次展示微积分的时候，借助几何直觉的方法，也是极其有用，而且是不可或缺，如果你不想浪费时间的话。但是没人否认，这种几何直观讲解微积分的方法，是不科学的。我对此深感不满，这种不满如此强烈，以至于我下定决心，一定要持续思考，直到找出一个纯数学，完美无缺，逻辑严谨的基础，作为无穷小分析的原则。在微积分中反复提及的连续变动，实际并没有定义。即使是最严谨的关于微积分的解释，也仅仅建立在对几何图形的直觉上，它们或者借助几何定理，或者借助于几何定理的衍生定理，或者依靠非纯数学方式的定理。但是我发现，上述几何方法中，可以找到一个定理或者某个对应的定理，足以作为无穷小分析的基础。只需发现连续性的纯数学方式的真正本质，即可做出连续性的实质性的定义。在跟我的好朋友Dur`ege 进过反复探讨后，1858年11月24日，我成功了。我把自己的方法，讲给了我的一些学生。在Braunschweig（布伦瑞克，德国城市）我在一些教授面前宣读了我的一篇论文。但是我还没打算出版我的发现，因为它还不够简洁，而且看不出它有什么实际的应用前景。尽管如此，我还是下了一半决心，打算继续研究我的这个方法，因为就在几天前，3月14日，一个友善的作者，把一份他写的论文“Die Elemente der Funktionenlehre by E. Heine (Crelle’s Journal, Vol. 74)”，交给了我，肯定了我的想法。我的想法大体上跟他的文章理解的一致。如果不是他的这篇文章，我可能会做不下去。但是，坦诚地说，我觉得我的方法，在形式上更加简洁，而且更清楚地揭示了关键点。在写这个序言（1877年3月20日）的时候，我刚刚收到康托尔写的有趣的论文Ueber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen, by G. Cantor (Math. Annalen, Vol. 5)。我欠这个聪明绝顶的康托尔一个真心感谢。因为我在大概看了一下他的论文后，发现他的论文第二部分给出的公理，跟我的论文中第三部分指出的内容，除了表现形式以外，对连续性本质的看法是一致的。但是我的这个纯抽象数学方式的高等级的实数定义，也就是把实数域设想成完备的，到底有何优势，我也不知道。

一、有理数的特点

这里假设关于有理数的一些知识是必备的，但是，一些重要的事实，还是值得一提，但是不做讨论。这样，就可以在一开始就展示出后续阐明的那些观点。我在整体上把数字看成是通过最简单的计算，必须且自然而然得到的计算结果所构成的序列。每一个数字，都是前一个数字经过简单计算得到的结果，这样就构成了一个包含无穷多正整数的数列。这个计算行为，就是让每一个数字，都是它前面紧邻它的那个数字经过某种运算的结果。这个简单的动作，就是传递这个运算，以产生下一个数字。这样构成的数字链条，成为人脑的极其有用的思考工具；这个数字链条，通过加减乘除四则运算，可以获得永不枯竭的令人瞩目的定理构成的宝库。加法是把以上四则运算得到的各种结果进行合并的组合运算。从加法又产生了乘法。虽然加法和乘法运算总是可以进行的，但是它们的逆运算减法和除法，却是受限的。不管这些限制的来源是什么，这些限制迫使人类必需创造新的方法和规则，于是人类通过思考，创造出了负数和小数。这样，在有理数的系统里就有了一个可用于不断进行完善优化的工具。我用字母R来代表这个系统，这个系统具有完备性和自我封闭性，这两个特性，也是我在其他地方指出的，一个“数字体”应该具备的特性。该系统R内的任意两个数字都可以进行四则运算，而且运算结果也仍在R内（除零运算除外）。
然而，就我们现在的讨论而言，系统R的另一个特性更加重要，那就是系统R建立了一个布局良好的一维域，这个域在一维上向两侧无限延伸。我借用几何方法充分展示这一点。但是，也正是因为我借用了几何思想，所以必须引入相应的纯数学的特性描述，以避免产生误解，误以为数学定义需要借助于数学以外的方法。
我们用a=b或者b=a来表示a与b代表同一个有理数。当a和b是两个不同的有理数时，则a-b或者大于零，或者小于零。当a-b>0时，我们说a大于b，或b小于a, 用符号表示就是a>b, 或b<a；当a-b为负数的时候，b-a为正值，于是b>a, a<b。基于上述比较方法，我们有下面的结论:

1. 若a>b,且b>c,那么a>c。只要a和c是两个不同的数，而b大于其中一个，且小于另一个，我们就会基于几何直觉，毫不犹豫地断定，b在a和c中间；

2. 若a和b是两个不同的数，那么a和b之间有无穷多数字；

3. 若a是任意一个确定数字，那么有理数域R可以分成两类，A1和A2，每个类都包含无穷多数；第一类A1包含所有<a的数字a1，A2包含所有>a的数字a2; a可以任意归于A1或者A2。如果让a属于A1，那么a是A1中的最大数；反之，如果让a属于A2，那么a是A2中的最小数；不管a划分在A1还是A2，都会出现下面的情况，A1中的全体数字均大于A2中的全体数字。

     		二、通过直线上的点，比较有理数大小
   

上述关于有理数特性的讨论，回顾了直线L上的点的位置关系。
如果用“左”和“右”代表直线L的两个相反方向，那么，如果p和q是直线上两个不同点，那么p或者在q的右边，与此同时，q在p的左边；或者反之，q在p的右边，那么与此同时，p在q的左边。如果p和q是L上的两个不同点，那么只有这两种情况，没有第三种情况；
根据位置的不同，以下结论成立：

1. 若p在q的右侧，q在r的右侧，那么我们说q在p和r之间

2. 若p，r是两个不同的点，那么p、r之间有无穷多点；

3. 若p是直线L上一个确定的点，那么所有L上的点，可以分成两类P1和P2，每一类都包含无穷多数；第一类P1包含的所有点p1，全部在p的左侧，第二类P2包含的全部点p2，都在p的右侧；p可以被任意指定归属于第一类或者第二类；不管p被划分在哪个类，L都被分成两部分P1和P2，P1中所有点都位于P2中所有点的左侧；
   当我们在直线上确定了原点或者0点的位置，以及单位线段长度用于度量长度之后，上述用点模拟数的方法，直线上的点和数的对应，就是真正的对应；有了单位度量长度之后，有理数a就有了相应的长度，如果是正值，就位于原点o的右侧，否则左侧。这样我们就得到了端点p，用于在直线上代表有理数a；有理数0，对应于原点o。这样，有理数a或者说有理数域R的每个数字都对应于直线上的唯一一点，即L上的一个独立个体；两个不同数字a，b，分别对应L上两个不同点p、q，并且如果a>b，则p在q的右侧。上一节的法则1，2，3跟本节的法则1，2，3，完全对应；
   III. 直线的连续性

   有一个非常重要的事实，那就是L上有无穷多点，对应于非有理数。若点p对应于有理数a，那么我们都知道，p点到原点o的距离是可公度的，即存在一个第三长度，它是某个单位长度与某个整数的乘积。古希腊人早就发现在单位长度确定的情况下，正方形对角线的长度是无法公度的，如果这个正方形的边长是单位长度的话。如果我们从原点出发，把这个长度画在直线上，那么这个线段的端点，就对应于一个非有理数。既然有无数多的点，对应于非有理数。更进一步分析，很明显，有无穷多这样的无法公度的线段，我们可以断言：直线L上的对应于数字的点的个数，要大于有理数域R所含有的有理数的个数。
   如果我们现在依然希望有理数域R仍然具备直线所具有的这些算术特性，那么就必须对有理数构成的工具R进行扩充，增加一些新的数，使之具备直线的完备性和连续性。 上述这些考虑如此显然且简单，以至于很多人会觉得多余。但是我认为这个重复是必要的，因为这是在为后面的主要问题做准备。因为现有的定义无理数的方法是基于扩展现有的数域，对数字的解释，是用一个自身就不清晰的定义去测量另一个与之并驾齐驱的另一个同类。而我的要求是数学定义要靠纯数学方法。
   一般而言，像这样非算术比较，有助于我们当前的对数的概念进行扩展的这种情况，这种比较是允许的（对复数进行扩展的时候不适用）。尽管如此，这还不足以作为从数学之外引入非数学定义的基础。就像负数和小数是独立创造出来的一样，那些适用于负数和小数的运算规则，依然适用于正数。所以我们必须设法仅用有理数，定义出无理数。剩下的问题就是如何来做这件事。
   上面所做的有理数域与直线的比较，让我们认识到直线上的有理数中间分布着空隙，认识到有理数域是不完备的或者说是不连续的，而直线是完备的，是没有缝隙的，或者说直线是连续的。
   那么，连续性包含什么呢？这个问题答案，将成为所有其他定理的基础，我们只有通过这个答案，才能得到一个科学的基础，用于研究连续域。显然，仅靠含糊地说，直线的最小组成部分之间有无法中断的连接，显然什么都得不到；我们必须给出连续性的精确定义才能根据这个定义，进行更进一步的推理。我为此思考很久，但是一无所获。但是最终我得到了自己要找的东西。这个发现，不同的人会给出不同的评价，但是大多数人会觉得平淡无奇。
   这个发现内容如下: 直线上每一个点都能把直线分割两部分，每个点形成的这些分割特性相同：分割点左侧部分的每一个点，都位于右侧部分的每一个点的左侧。我从上面的叙述中发现了连续性的本质，内容如下：

   如果把直线上所有点分成两类，使得第一类的所有点，都位于第二类所有点的左侧，那么有且只有一个点能产生这个分割。

   我相信每个人都会不假思索地接受上述这个事实。大多数读者可能会感到失望----如此平淡无奇的结论就能揭示连续性的秘密。我很高兴大家能毫不费力地接受这个事实，因为这个事实跟大家对直线的理解和谐一致，而且我还没法对这个结论给出证明，我相信没人能给出证明。我将它看做是一个公理，这个公理源于直线连续性，利用它，我们发现了直线的连续性。如果直线有空隙，那么直线就不连续了；即使

                                   以下为原文第6页 
   

直线不连续的，直线的很多特性依然保持直线不连续，我们也可以填上这些空隙，使得直线变为连续的；这个填充将通过创造新数来完成，且符合上述的直线分割特性。
IV.无理数的创造
从上述最后一句话可以非常明显地看出，非连续的有理数域R会如何被变成连续域。第一部分已经指出，每一个有理数 a 都能使系统R（有理数域）产生一个分割，使得第一类A1内的每个数字a1，小于第二类A2内的所有点a2，a或者是第一类的最大值，或者是第二类的最小值。如果任何一个把系统R分为两类的分割，其产生的第一类A1的每个数a1，都小于第二个类A2中的每个数a2，我们称这样的分割为cut，表示为（A1，A2）。那么我们可以说，每个有理数a都能产生一个分割，或者说产生两个分割，这两种说法本质上都一样。这个分割同时还具有这个特性：或者A1有最大值，或者A2有最小值。反之，如果一个cut具有上述特性，那么这个分割或者是由第一类的最大值产生，或者是第二类的最小值产生。反之，如果一个分割具备这个特性，那么该分割是由这个最大值或最小值产生。
显然，同样存在无数个不是有理数产生的分割。下例为证。
$设D是一个正整数，且不是一个完全平方数，那么存在正整数\lambda ，有：$
${\lambda }^2<D<(\lambda +1{)}^2$
$如果我们指定每个平方数大于D的正有理数a2属于A2类，其他全部有理数a1划入A1类，这样的划分，$
$显然构成了分割（A1，A2),即，每个A1中的数都小于A2中的每个数。因为假设a1=0，或者是负数，$
$那么显然小于A2中的每个数，因为根据假设，A2中的最好一个数是正数；如果a1是正数，那么其平方数$
$小于等于D，而A2中的数字a2，其平方和大于D，所以a1<a2.$
$但是，这个分割是由非有理数产生的。为证明这一点，必须先证明存在非有理数，其平方和是D。$
$尽管用初等数论可以轻松证明这一点，但是下面的这个间接证明也有存在的意义。如果存在一个有理数，$
$y=\frac{x(x^2+3D)}{3x^2+D}$
$我们得到$
$y-x=\frac{2x(D-x^2)}{3x^2+D}$
$并且$
$y^2-D=\frac{(x^2-D{)}^3}{(3x^2+D{)}^2}$
$此时，如果x属于A_1,那么x^2<D,此时y>x,且y^2<D。则y属于A_1$
$如果假定x属于A_2,则有x^2>D,y>0,y<x,且y^2>D。显然，y属于A_2$