0.999…

数学完备实数系中,循环小数0.999…,也可写成,表示一个等于1实数,即「0.999…」所表示的数与「1」相同。目前该等式已经有各式各样的证明式;它们各有不同的严谨性、背景假设,但都蕴含实数的实质条件,即阿基米德公理、历史文脉、以及目标受众

这类展开式的非唯一性不仅限于十进位系统,相同的现象也出现在其它的整数进位制中,数学家们也列举出了一些1在非整数进位制中的写法,这种现象也不是仅仅限于1的:对于每一个非零的有限小数,都存在另一种含有无穷多个9的写法,由于简便的原因,我们几乎肯定使用有限小数的写法,这样就更加使人们误以为没有其它写法了,实际上,一旦我们允许使用无限小数,那么在所有的进位制中都有无穷多种替代的写法,例如,18.3287与18.3286999…、18.3287000…,以及许多其它的写法,都表示相同的数,这些各种各样的等式被用来更好地理解分数的小数展开式的规律,以及一个简单碎形图形──康托尔集合的结构,它们也出现在一个对整个实数的无穷集合的古典研究之中。

在过去数十年里,许多数学教育的研究人员研究了大众及学生们对该等式的接受程度,许多学生在学习开始时怀疑甚至拒绝该等式,而后许多学生被老师、教科书和如下章节的算术推论说服接受两者是相等的。尽管如此,许多人们仍常感到怀疑,而提出进一步的辩解,这经常是由于存在不少对数学实数错误的观念等的背后因素(参见以下教育中遇到的怀疑一章节),例如认为每一个实数都有唯一的一个小数展开式,以及认为无限小无穷小)不等于0,并且将0.999…视为一个不定值,即该值只是一直微微扩张变大,因此与1的差永远是无限小而不是0,因此「永远都差一点」。我们可以构造出符合这些直观的数系,但是只能在用于初等数学或多数更高等数学中的标准实数系统之外进行,的确,某些设计含有「恰恰小于1」的数,不过,这些数一般与0.999…无关(因为与之相关的理论上和实践上都皆无实质用途),但在数学分析中引起了相当大的关注。

简介

0.999…是书写于小数记数系统中的一个数,读作:「零点九九循环」。一些最简单的0.999… = 1 的证明都依赖于这个系统方便的算术性质。大多数的小数算术──加法减法乘法除法,以及大小的比较,使用与整数差不多的数位层次的操作。与整数一样,任何两个有限小数只要数位不同,那么数值也一定不同。特别地,任何一个形如0.99…9的数,只要只得有限个9,这些9最终会停止,则该数都是严格小于1的。

误解0.999…中的(省略号)的意义,是误解0.999…= 1的其中一个原因。这里省略号的用法与日常语言和0.99…9中的用法是不同的,0.99…9中的省略号意味着的有限的部分被省略掉了。但是,当用来表示一个循环小数的时候,"…"则意味着无限的部分被省略掉了,这只能用极限的数学概念来阐释。作为使用传统数学的结果,指派给记数表示式「0.999…」的值定义为一个实数,该实数为收敛数列(0.9,0.99,0.999,0.9999,0.99999,…)的极限。「0.999…」是一个数列的极限,从而,对于0.999…= 1这个等式就很直观了。

与整数和有限小数的情况不一样,其实记数法也可以多种方式表示单一个数值。例如,如果使用分数。但是,一个数最多只能用两种无限小数的方法来表示。如果有两种方法,那么其中一种一定从某一位开始全是循环重复的9,而另外一种则一定从某一位开始就全是循环重复的0。

0.999… = 1 有许多证明,它们各有不同的严谨性。一个严谨的证明可以简单地说明如下。考虑到两个实数其实是同一个的,若且唯若它们的差等于零。大部分人都同意,0.999…与 1 的差,就算存在也是非常的小(实际上根本不存在,即差等于0)。考虑到以上的收敛数列,我们可以证明这个差的大小一定是小于任何一个正数的,也可以证明(详细内容参见阿基米德性质),唯一具有这个性质的实数是0。由于差是0,可知 1 和 0.999…是同一数,用相同的理由,也可以解释为什么「0.333…=1/3」;而该等式上3倍后成为「0.999… = 1」。

证明

对位相减

在不考虑柯西序列的情况下:

1.00000…
− 0.99999…
0.00000…

结果为0.000…,也就是后面的0无限循环。这两个数目在这里是无限循环小数,小数点后五位之后还会一直填上0,始终无法找到最后一位来填上1,因为如果补上1就会成为有限小数。1.000… - 0.999… = 0.000… = 0,故1 = 0.999…。

这假设了0.999…没有「最后的9」、这些无限循环小数的小数点后的位数为可列的(可以由第一个数位一个位一个位数下去而于有限次数到任一个数位)(这已得出0.999…没有「最后的9」)、1.000… - 0.999…的结果存在小数表示式。运算结果将没有「最后的1」,所以1与0.999…没有值。

代数

分数

无限小数是有限小数的一个必要的延伸,其中一个原因是用来表示分数。用长除法,一个像的简单整数除法便变成了一个循环小数,0.333…,其中有无穷多个数字3。利用这个小数,很快就能得到一个 0.999… = 1 的证明。用 3 乘以 0.333… 中的每一个 3,便得到 9,所以 3 × 0.333… 等于 0.999…。而 等于1,所以 0.999… = 1。[1]

这个证明的另外一种形式,是用乘以9。

由于两个方程都是正确的,因此根据相等关系的递移性质,0.999…一定等于1。类似地,,且。所以,0.999…一定等于1。

一个特别的除法竖式

用竖式计算可得

解此一元一次方程式得:

所以

位数操作

另外一种证明更加适用于其它循环小数。当一个小数乘以10时,其数字不变,但小数点向右移了一位。因此10 × 0.999…等于9.999…,它比原来的数大9。

考虑从9.999…减去0.999…。我们可以一位一位地减;在小数点后的每一位,结果都是9 - 9,也就是0。但末尾的零并不能改变一个数,所以相差精确地是9。最后一个步骤用到了代数。设0.999… = c,则10cc = 9,也就是9c = 9。等式两端除以9,便得证:c = 1。[1]用一系列方程来表示,就是

0.(9)=1的解释

以上两个证明中的位数操作的正确性,并不需要盲目相信,也无需视为公理;它是从小数和所表示的数之间的基本关系得出的。这个关系,可以用几个等价的方法来表示,已经规定了0.999…和1都表示相同的实数。

实分析

由于0.999…的问题并不影响数学的正式发展,因此我们可以暂缓进行研究,直到证明了实分析的基本定理为止。其中一个要求,是要刻划所有能表示成小数的实数的特征,由一个可选择的符号、构成整数部分的有限个数字、一个小数点,以及构成小数部分的一系列数字组成。为了讨论0.999…的目的,我们可以把整数部分概括为b0,并可以忽略负号,这样小数展开式就具有如下的形式:

小数部分与整数部分不一样,整数部分只能有有限个数字,而小数部分则可以有无穷多个数字。这一点是至关重要的。这是一个进位制,所以500中的5是50中的5的十倍,而0.05中的5则是0.5中的5的十分之一。

无穷级数和数列

也许小数展开式最常见的发展,是把它们定义为无穷级数的和。一般地:

.

对于0.999…来说,我们可以使用等比级数收敛定理:[2]

如果,则.

由于0.999…是公比为的等比级数的和,应用以上定理,很快就可以得出证明了:

这个证明(实际上是10等于9.999…)早在1770年就在瑞士数学家莱昂哈德·欧拉的作品《Elements of Algebra》(《代数的要素》)中出现了。[3]

四进制的小数数列(0.3,0.33,0.333,……)收敛于1。

等比级数的和本身,是一个比欧拉还要早的结果。一个典型的18世纪的推导用到了逐项的操作,类似于以上的代数证明。直到1811年,Bonnycastle的教科书《An Introduction to Algebra》(《代数的介绍》)依然使用这种等比级数的方法来证明对0.999…使用的策略是正当的。[4]在19世纪,这种在当时被以为随随便便的求和方法遭到了反对,这样便导致了现在仍然占有支配地位的定义:一个级数的和定义为数列的部分和的极限。该定理的一个对应的证明,明确地把这个数列计算出来了;这可以在任何一本以证明为基础的微积分或数学分析的教科书中找到。[5]

对于数列(x0x1x2,…)来说,如果当n增大时,距离|xxn|变得任意地小,那么这个数列就具有极限x。0.999… = 1的表述,可以用极限的概念来阐释和证明:

[6]

最后一个步骤—lim 1/10n = 0—通常由实数拥有阿基米德性质这一原理来证明。这个以极限为基础的对0.999…的看法,有时会用比较引人注意但不太精确的话语来表达。例如,在1846年的美国教科书《大学算术》(《The University Arithmetic》)中有这么一句:「0.999+,到无穷远处等于1,这是因为每加上一个9,都会使它的值更加接近于1」(.999 +, continued to infinity = 1, because every annexation of a 9 brings the value closer to 1);在1895年的美国教科书《Arithmetic for Schools》(《学校算术》)中也有:「…如果有非常多的9,那么1和0.99999…的差就小得难以想像了」(「…when a large number of 9s is taken, the difference between 1 and .99999…becomes inconceivably small」)。[7]这种启发式的教学法,常常被学生们误解为0.999…本身就小于1。

区间套和最小上界

区间套:在三进制中,1 = 1.000… = 0.222…

以上的级数定义,是一个用小数展开式来定义实数的简单的方法。还有一种补充的方法,是相反的过程:对于一个给定的实数,定义一个相关的小数展开式。

如果知道一个实数x位于闭区间[0, 10]内(也就是说,这个实数大于或等于0,而小于或等于10),我们就可以想像把这个区间分成十个部分,只在终点处相重叠:[0, 1]、[1, 2]、[2, 3],依此类推,直到[9, 10]。实数x一定是属于这十个区间的一个;如果它属于[2, 3],我们就把数字「2」记录下来,并把这个区间再细分成十个子区间:[2, 2.1]、[2.1, 2.2]、…、[2.8, 2.9]、[2.9, 3]。把这个过程一直继续下去,我们便得到了一个无穷的区间套序列,由无穷个数字b0b1b2b3、…来标示,并记

x = b0.b1b2b3

在这种形式中,1 = 1.000…而且1 = 0.999…的事实,反映了1既位于[0, 1],又位于[1, 2],所以我们在寻找它的数字时,可以选择任意一个子区间。为了保证这种记法没有滥用「=」号,我们需要一种办法来为每一个小数重新构造一个唯一的实数。这可以用极限来实现,但是还有其它的方法。[8]

一个简单的选择,是区间套定理,它保证只要给出了一个长度趋近于零的闭区间套序列,那么这些区间套的交集就正好是一个实数。这样,b0.b1b2b3…便定义为包含在所有的区间[b0, b0 + 1]、[b0.b1, b0.b1 + 0.1],依此类推的唯一的实数。而0.999…就是位于所有的区间[0, 1]、[0.9, 1]、[0.99, 1]、[0.99…9, 1](对于任意有限个9)的唯一的实数。由于1是所有这些区间的公共元素,因此0.999… = 1。[9]

区间套定理通常是建立在一个更加基本的实数特征之上的:最小上界的存在。为了直接利用这些事物,我们可以把b0.b1b2b3…定义为集合{b0b0.b1b0.b1b2,…}的最小上界。[10]然后我们就可以证明,这种定义(或区间套的定义)与划分的过程是一致的,再一次证明了0.999… = 1。汤姆·阿波斯托尔得出结论:

从建构实数着手

有些方法用公理集合论明确把实数定义为一定的建立在有理数上的结构。自然数──0、1、2、3,依此类推──从零开始并继续增加,这样每一个自然数都有一个后继者。我们可以把自然数的概念延伸到负数,得出所有的整数,并可以进一步延伸到比例,得出所有的有理数。这些数系伴随着加法、减法、乘法和除法的算术。更加微妙地,它们还包括排序,这样一个数就可以与另一个进行比较,并发现是大于、小于,还是等于。

从有理数到实数的一步,是一个很大的延伸。至少有两种常见的方法来达到这一步,它们都在1872年出版:戴德金分割,以及柯西序列。直接用到这些结构的0.999… = 1的证明,现在已经无法在实分析的教科书中找到了;最近几个年代的趋势,是使用公理化的分析。即使提供了这样的一个结构,它也通常被用来证明实数的公理,从而为以上的证明提供证据。然而,有些作者表达了从一个结构开始才是逻辑上更恰当的想法,这样得出的证明就更加完备了。[12]

戴德金分割

戴德金分割的方法中,每一个实数x定义为所有小于x的有理数所组成的无穷集合。[13]比如说,实数1就是所有小于1的有理数的集合。[14]每一个正的小数展开式很容易决定了一个戴德金分割:小于某个展开阶段的有理数的集合。所以实数0.999…是有理数r的集合,使得r < 0,或r < 0.9,或r < 0.99,或r小于其它具有 形式的数。[15]0.999…的每一个元素都小于1,因此它是实数1的一个元素。反过来,1的一个元素是有理数 ,也就是。由于0.999…和1包含相同的有理数,因此它们是相同的集合:0.999… = 1。

把实数定义为戴德金分割,首先由理察·戴德金在1872年出版。[16] 以上把每一个小数展开式分配一个实数的方法,应归于弗雷德·里奇曼在《Mathematics Magazine》(《数学杂志》)上发表的一篇名为「Is 0.999… = 1?」(「0.999… = 1吗?」)的演讲稿,主要是为大学的数学教师,尤其是初级/高级程度,以及他们的学生而作。[17]里奇曼注意到,在有理数的任何一个稠密子集中取戴德金分割,都得到相同的结果;特别地,他用到了十进分数(分母为10的幂的分数),这样便更快得出证明了:「所以,我们看到,在实数的传统定义中,方程 0.9* = 1 在一开始就建立了。」[18]把这个步骤再作进一步的修改,便得到了另外一个结构,里奇曼对描述这个结构更感兴趣;参见以下的「其它数系」。

柯西序列

另外一种构造实数的方法,间接地用到了有理数的排序。首先,有理数xy之间的距离定义为绝对值|xy|,其中绝对值|z|定义为z和−z的最大值,因此总是非负的。这样实数便被定义为关于这个距离的具有柯西序列性质的有理数序列。也就是说,每一个实数都是一个柯西收敛的数列(x0x1x2,…)。这是一个从自然数到有理数的映射,使得对于任何正有理数δ,总存在一个N,使得对于所有的mn > N,都有|xmxn| ≤ δ。(两项之间的距离变得比任何正的有理数都要小。)[19]

如果(xn)和(yn)是两个柯西数列,那么如果数列(xnyn)有极限0,这两个数列便定义为相等的。把小数b0.b1b2b3…拆开来,便得到了一个有理数序列,它是柯西序列;这个序列对应的实数被定义为这个小数的值。[20]所以,在这种形式中,我们的任务就是要证明,有理数序列

有极限0。对于n = 0、1、2、…,考虑数列的第n项,我们需要证明

这个极限是众所周知的;[21]一个可能的证明,是在数列的极限的定义中,对于ε = a/b > 0,我们可以取N = b。所以,这又一次证明了0.999… = 1。

把实数定义为柯西序列,首先由爱德华·海涅格奥尔格·康托尔独立发表,也是在1872年。[16]以上的小数展开式的方法,包括0.999… = 1的证明,则主要是得自格利菲斯(Griffiths)和希尔顿(Hilton)在1970年的作品《一本经典数学的综合教科书:一个当代的阐释》(A comprehensive textbook of classical mathematics: A contemporary interpretation)。这本书是特别为了以当代的眼光回顾一些熟悉的数学概念而作的。[22]

推广

0.999… = 1的证明,立刻可以进行两种推广。首先,对于每一个非零的有限小数(也就是说,从某一位开始全是零),都存在另外一个与其相等的数,从某一位开始全是9。例如,0.24999…等于0.25,就像我们考虑的特殊情况。这些数正好是十进分数,而且是稠密的。[23]

其次,一个类似的定理可以应用到任何一个底数进位制。例如,在二进位中,0.111…等于1;而在三进制中,0.222…等于1。实分析的教科书很有可能略过0.999…的特殊情况,而从一开始就介绍这两种推广的一种或两种。[24]

1的其它表示法也出现在非整数进位制中。例如,在黄金进制中,两个标准的表示法就是1.000…和0.101010…,此外还有无穷多种含有相邻的1的表示法,如0.11,0.1011,0.101011等等。一般地,对于几乎所有的1和2之间的q,在q进制中都有无穷多种1的展开式。而另一方面,依然存在不可数个q(包括所有大于1的自然数),使得在q进制中只有一种1的展开式,除了显然的1.000…。这个结果首先由保罗·埃尔德什、Miklos Horváth和István Joó在大约1990年获得。1998年,Vilmos Komornik和Paola Loreti确定了具有这种性质的最小的进位制──Komornik-Loreti常数q = 1.787231650…。在这个进位制中,1 = 0.11010011001011010010110011010011…;其数字由图厄-摩斯数列给出,不是循环小数。[25]

一个更加深远的推广,提到了最一般的进位制。在这些进位制中,一个数也有多种表示法,在某种意义上来说难度甚至更大。例如:[26]

  • 平衡三进制系统中,1/2 = 0.111… = 1.111…。
  • 在阶乘进位制系统中,1 = 1.000… = 0.1234…。

Marko Petkovšek证明了这种歧义是使用进位制的必然结果:对于任何一个把所有实数命名的系统,总有无穷多个实数有多种表示法,而这些实数所组成的集合又是稠密的。他把这个证明称为「一个基本点集拓扑学的指导性的练习」:它包含了把各位数的集合视为斯通空间,并注意到它们的实数表示法可以由连续函数给出。[27]

应用

0.999…的其中一个应用,出现在基本数论中。1802年,H·古得温出版了一份观察资料,描述了分母为一定的素数的分数的小数展开式中9的出现。例子包括:

  • 1/7 = 0.142857142857…,而142 + 857 = 999。
  • 1/73 = 0.0136986301369863…,而0136 + 9863 = 9999。

E·米迪在1836年证明了关于这类分数的一个一般的结果,现在称为米迪定理。当初出版时没有写得很清楚,我们也不知道他的证明是不是直接提到了0.999…,但至少有一个W·G·莱维特的现代证明是这样的。如果我们可以证明,一个具有形式0.b1b2b3…的小数是正整数,那么它就一定是0.999…,这也就是定理中9的来源。[28]在这个方向上继续做研究,就可以得出诸如最大公因子同余费马素数元素的,以及二次互反律等概念。[29]

康托尔集合中1/42/3,和1的位置。

回到实分析的主题上,三进制中的类似等式0.222… = 1在刻划康托尔集合──一个最简单的碎形的特征中,扮演了一个十分重要的角色:

  • 一个单位区间中的点位于康托尔集合内,若且唯若它在三进制中可以只用数字0和2来表示。

小数中的第n位反映了在第n个阶段时点的位置。例如,点²⁄3可以如常地表示为0.2或0.2000…,这是因为它位于第一个删除部分的右面,以及以后所有的删除部分的左面。点13则不表示为0.1,而表示为0.0222…,这是因为它位于第一个删除部分的左面,以及以后所有的删除部分的右面。[30]

重复的9还出现在另外一个康托尔的研究成果中。在应用他在1891年发表的对角线论证法来证明单位区间的不可数性时,必须要考虑到这种因素。这种证明需要根据小数展开式来断言两个实数是不同的,所以我们需要避免诸如0.2和0.1999…之类的数对。一个简单的方法把所有的实数表示为无限小数;相反的方法便排除了重复的9的可能性。[31]一个可能更加接近于康托尔原先的证明的变体,实际上使用了二进位,把三进制展开式转换为二进位展开式,我们也可以证明康托尔集合的不可数性。[32]

教育中遇到的怀疑

许多学习数学的学生往往怀疑、难以接受0.999… = 1的等式,其原因有很多,从根本不相同的外观,到对数列极限概念的深度疑虑,乃至对无限无穷)的本性的异议,以及不少对数学错误的观念等背后的因素,从而造成了这种混淆;

  • 学生根据以往学习数的大小比较时使用「高位比较,相同再比次高位」的方式,个位 ,导致拒绝承认
  • 许多学生认为无穷小不等于0,并且将0.999…视为一个不定值,即该值只是朝着1的方向无限地扩大,因此它与1的差永远是无限小而不是零,即「永远都差一点」。
  • 学生们常常「坚信一个数有且仅有一种小数的表示方法」。当他们看到两个明显不同的小数,表示的却是相同的实数,便认为这是一个悖论,而表面上熟悉的数1,更使这个悖论加深。[33]
  • 有些学生把「0.999…」(或类似的记法)理解为很长但有限的一串9,也许长度是可变的、未特别指出的。如果他们接受了有无穷多个9的事实,他们仍然可能认为「在无穷远处」「有最后的一个9」。[34]
  • 直觉和模棱两可的教导,都让学生觉得数列的极限是一个无限的过程,而不是一个确定的值,因为一个数列不一定就有极限。如果他们明白了数列和它的极限的差别,他们就有可能把「0.999…」理解为数列,而不是它的极限。[35]
  • 有些学生相信收敛级数的值最多只是一个估计,也就是

这些想法在标准实数系(指具有完备性的)中都是错误的,但在其它数系中则有可能是正确的(要求相应数系不具备阿基米德性质,因为阿基米德性质要求数系中没有非零无穷小[36])。这些系统要么是为一般的数学用途而发明,要么就是作为指导性的反例,使人们更好地理解0.999…。

许多这些解释都是大卫·塔尔教授发现的,他研究了造成学生们误解的教导方法的特征。他访问了他的学生以决定为什么大多数人在一开始都拒绝接受该等式,发现「学生们仍然继续把0.999…视为一个越来越接近1的数列,而不是一个定值,因为『你没有指定它有多少位』或『在所有小于1的小数中,它是最大的数。』」[37]

在所有初等的证明中,用0.333… = 13乘以3表面上是使学生们迫不得已接受0.999… = 1的一个成功的策略。但是,面对着对第一个等式的相信以及对第二个等式的怀疑,有些学生要么就开始怀疑第一个等式,要么干脆就感到灰心丧气了。同时也还有否认0.999…=1的学生指出1/3 比0.333…大一点(因为1/3是除不完的),所以推法「不成立」。[38]更加复杂的方法,也不是十分有效的;有些学生完全可以应用严格的定义,但当他们被一个高等数学的结果,包括0.999…所震惊时,依然退回到直觉的形象上去了。例如,有一个学习实分析的学生,能够用最小上界的定义来证明0.333… = 13,但仍然坚称0.999…< 1,基于他早前对长除法的理解。[39]其他学生也能够证明13 = 0.333…,但是,面对着以上的分数证明,仍然坚称「逻辑」能代替数学运算。

约瑟·马祖尔讲了一个故事:有一个十分聪明的学习微积分的学生,他「对我在课堂上讲的几乎所有内容都要提出一番异议,但对他的计算器深信不疑」。他相信,九个数字就是学习数学所需要的一切,包括计算23的平方根。这位学生对9.99… = 10的极限证法感到别扭,称其为「一个难以想像的无限增长过程」。[40]

作为埃德·杜宾斯基的数学学习的「APOS理论」的一部分,杜宾斯基和他的合作者在2005年提出:任何一个学生,只要把0.999…设想为一个有限的、不确定的数串,与1的差是无穷小,那么他就「还没有对无限小数形成一个完整的过程概念」。其他对0.999…有了完整的过程概念的学生,仍不一定能把这个过程「概括」成一个「对象概念」,就像他们对1的对象概念那样,所以仍然觉得0.999…和1是不一致的。杜宾斯基还把这种概括的能力与把13视为一个独立的数,以及与把实数的集合视为一个整体联系起来。[41]

在大众文化中

随着网际网路的崛起,关于0.999…的讨论已经冲出了教室,并走向了新闻群组信息版,包括那些名义上几乎与数学无关的信息版。在新闻群组sci.math中,辩论0.999…是一项「受欢迎的运动」,也是常见问答集之一。[42]常见问答集涵盖了13、乘以10、还有极限的证明,也间接地提到了柯西序列。

一个2003年版的报纸专栏《真实讯息》通过13和极限讨论了0.999…,并谈到了误解:

页面存档备份,存于网际网路档案馆

《真实讯息》在自己的信息版引用了另外一个不明的信息版中的讨论,那个信息版「大部分是关于电子游戏的」。0.999…的问题在暴雪娱乐Battle.net论坛的头七年也是一个非常受欢迎的话题,以致于该公司在2004年的愚人节不得不发布了一则「新闻」,声明0.999…就是1:

然后便提供了两个证明,一个是极限的证明,另一个是乘以10的证明。

比较直观的解释,可以把一块圆饼平均切3分来证明。

其它数系

虽然实数形成了一个非常有用的数系,把「0.999…」解释为一个实数的决定毕竟还是一个约定,蒂莫西·高尔斯在《Mathematics: A Very Short Introduction》(《数学:一个非常简短的介绍》)中提到,0.999… = 1的等式也是一个约定:

我们可以用不同的规则或新的事物来定义其它数系;在数系中,以上的证明便需要重新解释。我们就有可能发现,在某一个给定的数系中,0.999…和1并不一定就是相等的。然而,许多数系都是实数系的延伸,而不是独立的替代物,所以0.999… = 1仍然成立。就算是在这数系中,我们依然值得去检查其它的数系,不仅仅为了知道0.999…是怎样表现的(如果「0.999…」既有意义又不含糊),也为了知道相关现象的表现。如果这种现象与实数系统中的现象不一致的话,那么至少一个建立在这个系统中的假设便一定不成立了。

无穷小

0.999… = 1的证明依赖于标准实数的阿基米德性质:不存在非零的无穷小。存在着数学上密切相关的有序代数结构是非阿基米德的,其中包括标准实数的各种各样的替代品。0.999…的意义与我们使用的结构有关。例如,在对偶数中,引进了一个新的无穷小单位ε,就像复数系统中的虚数单位i一样,但是ε² = 0。这样便得出了一个在自动微分中十分有用的结构。我们可以给予对偶数一个字典序,这样ε的倍数就非阿基米德原素。[46]但是,要注意到,作为实数的延伸,在对偶数中仍然有0.999… = 1。尽管ε在对偶数中存在,ε/2也存在,所以ε就不是「最小的正对偶数」。确实是这样,在实数中,并不存在这类的数。

另外一种构造标准实数的替代品的方法,是使用拓扑斯理论和替代的逻辑,而不是集合论和经典的逻辑(一种特殊情况)。例如,在光滑无穷小分析中,就存在没有倒数的无穷小。[47]

非标准分析因包含了一个有无穷小(及它们的反元素)完整阵列的系统而众所周知,它提供了一个不同的,也许是更加直观的,对微积分的处理。[48]A.H. Lightstone在1972年提供了一个非标准小数展开式的发展,其中每一个位于(0, 1)之内的扩展的实数,都有一个唯一的扩展的小数展开式:数列0.ddd…;…ddd…,由扩展的自然数作索引。在这种形式中,0.333…有两种自然的展开式,都不与1/3相差无穷小:

0.333…;…000…不存在,而
0.333…;…333…正好等于1/3[49]

组合博弈论也提供了替代的实数,无穷的蓝-红Hackenbush就是一个相关的例子。1974年,埃尔温·伯利坎普描述了一个Hackenbush字串与实数的二进位展开式之间的对应关系,由数据压缩的想法所促动。例如,Hackenbush字串LRRLRLRL…的值是0.0101012… = 1/3。然而,LRLLL…的值(对应着0.111…2)则与1相差无穷小。两个数的差是超实数1/ω,其中ω是第一个无穷序数;相关的博弈是LRRRR…或0.000…2[50]

打破减法的惯例

另外一种也可以使以上证明不成立的方法,就是1 − 0.999…根本就不存在,因为减法并不一定就是可能的。具有加法运算但没有减法运算的数学结构包括可交换半群可交换幺半群,以及半环。里奇曼考虑了两种这类的系统,使得0.999…< 1。

首先,里奇曼把非负的「小数」定义为字面上的小数展开式。他定义了字典序和一种加法运算,注意到0.999… < 1仅仅因为在个位数0 < 1,但对于任何一个有限小数x,都有0.999… + x = 1 + x。所以「小数」的一个独特之处,是等式两边不能同减一个数;另外一个独特之处,就是没有「小数」对应着13。把乘法也定义了以后,「小数」便形成了一个正的、全序的、可交换的半环。[51]

在定义乘法的过程中,里奇曼还定义了另外一种系统,他称之为「分割D」,它是小数的戴德金分割的集合。通常用这种定义便可以得出实数,但对于小数d他既允许分割(−∞, d ),又允许「主分割」(−∞, d ]。这样做的结果,就是实数与「小数」「不舒服地住在一起」。这个系统中也有0.999… < 1。在分割D中不存在正的无穷小,但存在一种「负的无穷小」──0,它没有小数展开式。里奇曼得出结论,0.999… = 1 + 0,而方程「0.999… + x = 1」则没有解。[52]

p进数

问到关于0.999…的时候,初学者常常相信应该有一个「最后的9」,也就是说,相信1 − 0.999…等于一个正数,可以写为「0.000…1」。不管那有没有意义,目标都是明确的:把1加在0.999…中的最后的9上,就会把所有的9变成0,并在个位数留下一个1。如果考虑到其它的原因,这种想法便不成立了,这是因为在0.999…中,并不存在「最后的9」。[53]对于包含最后的9的无穷多个9,我们必须从别的地方去寻找。

4进整数(黑点),包括数列(3,33,333,…)收敛于−1。10进数的类似等式,是…999 = −1。

p进数是在数论中引起兴趣的又一个数系。像实数那样,p进数可以从有理数通过柯西序列得到;但是,这种结构使用了另外一种度量,0与p之间的距离比0与1的距离还要近,而0与pn的距离又比0与p的距离近。对于素数p来说,p进数便形成了一个,而对于其它的p,包括10来说,则形成了一个环。所以在p进数中可以进行算术,这种数系也不存在无穷小。

在10进数中,类似于小数展开式的事物位于小数点的左面。10进展开式…999确实有一个最后的9,而没有第一个9。我们可以把1加在个位数上,这样进位之后就只剩下0了:1 + …999 = …000 = 0,所以…999 = −1。[54]另外一种推导用到了等比级数。「…999」所指的无穷级数在实数中不收敛,但在10进数中收敛,所以我们可以使用大家熟悉的公式:

[55]

(与前面的级数比较。)第三种推导是一个七年级学生发明的,他对老师所讲的0.999… = 1的极限证明感到怀疑,但因而产生了灵感,把以上乘以10的证明应用在相反的方向上:如果x = …999,则10x = …990,因此10x = x − 9,所以x = −1。[54]

作为一个最后的延伸,由于0.999… = 1(在实数中),而…999 = −1(在10进数中),那么我们可以「盲目、大胆地摆弄符号」,[56]把两个等式相加起来,得出:…999.999… = 0。这个等式在10进展开式中和标准小数展开式中都是没有意义的,但假如我们研究出一种「双小数」的理论,其中小数点左面和右面都可以无限延伸,那么这个等式便是有意义和正确的。[57]

相关问题

  • 芝诺悖论,特别是奔跑者悖论,使人联想起了0.999…等于1的表面上的悖论。奔跑者悖论可以建立一个数学模型,然后就可以像0.999…那样,用等比级数的方法来解决。然而,我们不确定这种数学的论述是不是提到了芝诺所探索的形上学的问题。[58]
  • 除以零出现在0.999…的一些讨论中,也引起了争论。大部分作者都愿意定义0.999…,但几乎都不去定义除以零,这是因为它在实数系统中不可能有意义。然而,在某些其它的系统中,除以零则是有定义的,例如复数分析,其中扩展的复平面,也就是黎曼球面,在无穷远处「有一个点」。在这里,1/0便定义为无穷大;[59]实际上,这个结果有深远的意义,可以应用在工程和物理学中的许多问题上。有些著名的数学家在两个系统发展起来之前就提出了这样的一个定义。[60]
  • -0是另外一个记数的多余特征。在诸如实数的数系中,「0」表示加法单位元,既不是正数又不是负数,「−0」的解释是0的相反数,这便迫使了−0 = 0。[61]然而,在某些科学的应用中,使用了独立的正零和负零,大多数常见的计算机记数系统就是这样的(例如储存在符号和大小一补数的格式中的整数,或由IEEE二进位浮点数算术标准所指定的浮点数)。[62][63]

参见

注解与引用

  1. ^ 1.0 1.1 参见Silvanus P. Thompson的Calculus made easy中的二进位形式的证明,St. Martin's Press, New York, 1998. ISBN 978-0-312-18548-0.
  2. ^ Rudin p.61, Theorem 3.26; J. Stewart p.706
  3. ^ Euler p.170
  4. ^ Grattan-Guinness p.69; Bonnycastle p.177
  5. ^ 例如,J. Stewart p.706, Rudin p.61, Protter and Morrey p.213, Pugh p.180, J.B. Conway p.31
  6. ^ 这个极限可以由Rudin p. 57的Theorem 3.20e得出。对于一个更加直接的方法,请参见Finney, Weir, Giordano(2001)Thomas' Calculus: Early Transcendentals 10ed, Addison-Wesley, New York. Section 8.1, example 2 (a) , example 6(b).
  7. ^ Davies p.175; Smith and Harrington p.115
  8. ^ Beals p.22; I. Stewart p.34
  9. ^ Bartle and Sherbert pp.60–62; Pedrick p.29; Sohrab p.46
  10. ^ Apostol pp.9, 11–12; Beals p.22; Rosenlicht p.27
  11. ^ Apostol p.12
  12. ^ 历史综合首先由Griffiths and Hilton(p.xiv)在1970年声称,在2001年由Pugh(p.10)再次声称;两本书都把戴德金切割视为公理。关于戴德金切割的应用,请参见Pugh p.17或Rudin p.17。关于逻辑上的观点,请参见Pugh p.10、Rudin p.ix,或Munkres p.30。
  13. ^ Enderton(p.113)形容了这个描述:「戴德金分割背后的想法,是每一个实数x都可以用一个有理数的无穷集合,也就是所有小于x的有理数来命名。我们把x定义为小于x的有理数集合。为了避免循环定义,我们需要刻划通过这种方法得出的有理数集合的特征…」(「The idea behind Dedekind cuts is that a real number x can be named by giving an infinite set of rationals, namely all the rationals less than x. We will in effect define x to be the set of rationals smaller than x. To avoid circularity in the definition, we must be able to characterize the sets of rationals obtainable in this way…」)
  14. ^ Rudin pp.17–20、Richman p.399,或Enderton p.119。为了精确,鲁丁(Rudin)、里奇曼和分别把这个分割称为1*、1,和1R;三者都把它等同于传统的实数1。注意鲁丁和安德顿把它称为戴德金分割,而里奇曼则把它称为「非主戴德金分割」。
  15. ^ Richman p.399
  16. ^ 16.0 16.1 J J O'Connor and E F Robertson. History topic: The real numbers: Stevin to Hilbert. MacTutor History of Mathematics. 2005-10 [2006-08-30]. (原始内容存档于2007-09-29). 
  17. ^ Mathematics Magazine:Guidelines for Authors. Mathematical Association of America. [2006-08-23]. (原始内容存档于2012-02-19). 
  18. ^ Richman pp.398–399
  19. ^ Griffiths & Hilton §24.2 "Sequences" p.386
  20. ^ Griffiths & Hilton pp.388, 393
  21. ^ Griffiths & Hilton pp.395
  22. ^ Griffiths & Hilton pp.viii, 395
  23. ^ Petkovšek p.408
  24. ^ Protter and Morrey p.503; Bartle and Sherbert p.61
  25. ^ Komornik and Loreti p.636
  26. ^ Kempner p.611; Petkovšek p.409
  27. ^ Petkovšek pp.410–411
  28. ^ Leavitt 1984 p.301
  29. ^ Lewittes pp.1–3; Leavitt 1967 pp.669,673; Shrader-Frechette pp.96–98
  30. ^ Pugh p.97; Alligood, Sauer, and Yorke pp.150–152. Protter and Morrey(p.507)和Pedrick(p.29)把这个描述作为一个练习。
  31. ^ Maor(p.60)和Mankiewicz(p.151)考察了第一种方法;Mankiewicz把它归功于康托尔,但原始文献不明。Munkres(p.50)提到了第二种方法。
  32. ^ Rudin p.50, Pugh p.98
  33. ^ Bunch p.119; Tall and Schwarzenberger p.6.最后一个建议要归因于Burrell(p.28):"Perhaps the most reassuring of all numbers is 1.…So it is particularly unsettling when someone tries to pass off 0.9~ as 1."(「也许最令人放心的数就是1。…所以当把0.999…等同于1时,便感到特别别扭。」)
  34. ^ Tall and Schwarzenberger pp.6–7; Tall 2000 p.221
  35. ^ Tall and Schwarzenberger p.6; Tall 2000 p.221
  36. ^ 非标准分析基础 李邦河着
  37. ^ Tall 2000 p.221
  38. ^ Tall 1976 pp.10–14
  39. ^ Pinto and Tall p.5, Edwards and Ward pp.416–417
  40. ^ Mazur pp.137–141
  41. ^ Dubinsky et al. 261–262
  42. ^ 由Richman(p.396)观察到。Hans de Vreught. sci.math FAQ: Why is 0.9999… = 1?. 1994 [2006-06-29]. (原始内容存档于2007-09-29). 
  43. ^ Cecil Adams. An infinite question: Why doesn't .999~ = 1?. The Straight Dope. Chicago Reader. 2003-07-11 [2006-09-06]. 
  44. ^ Blizzard Entertainment Announces .999~(Repeating)= 1. Press Release. Blizzard Entertainment. 2004-04-01 [2006-09-03]. 
  45. ^ Gowers p.60
  46. ^ Berz 439–442
  47. ^ John L. Bell. An Invitation to Smooth Infinitesimal Analysis (PDF). 2003 [2006-06-29]. (原始内容存档 (PDF)于2006-06-29). 
  48. ^ 对于一个完整的非标准数的论述,请参见Robinson的Non-standard Analysis
  49. ^ Lightstone pp.245–247。在展开式的标准部分中,他没有研究重复的9的可能性。
  50. ^ Berlekamp, Conway, and Guy(pp.79–80, 307–311)讨论了1和1/3,也简略地提到了1/ω。对于0.111…2的博弈可以直接从伯利坎普法则得出,在以下的网站有所讨论:A. N. Walker. Hackenstrings and the 0.999…? 1 FAQ. 1999 [2006-06-29]. (原始内容存档于2006-06-16). 
  51. ^ Richman pp.397–399
  52. ^ Richman pp.398–400. Rudin(p.23)把这个替代的结构作为第一章的最后一个练习。
  53. ^ Gardiner p.98; Gowers p.60
  54. ^ 54.0 54.1 Fjelstad p.11
  55. ^ Fjelstad pp.14–15
  56. ^ DeSua p.901
  57. ^ DeSua pp.902–903
  58. ^ Wallace p.51, Maor p.17
  59. ^ 参见J.B. Conway对默比乌斯变换的论述,pp.47–57。
  60. ^ Maor p.54
  61. ^ Munkres p.34, Exercise 1 (c)
  62. ^ Kroemer, Herbert; Kittel, Charles. Thermal Physics 2e. W. H. Freeman. 1980: 462. ISBN 978-0-7167-1088-2. 
  63. ^ Floating point types. MSDN C# Language Specification. [2006-08-29]. (原始内容存档于2006-08-24). 

参考文献

扩展阅读

外部连结

#