& 都别吵了，0.999…的维基解释已经很完整了……………… ...
查看: 6773|回复: 38
性别男&UID407592&帖子6927&主题894&精华11&龙晶-7 &龙威0 &积分51&阅读权限150&好友181&注册时间&最后登录&
精华11&龙威0 &积分51&好友181&注册时间&
本帖最后由 云中仙客 于
19:16 编辑
在的系中，0.999…，也可写成 、 或 ，表示一个的，即“0.999…”所表示的数与“”相同。目前该等式已经有各式各样的式；它们各有不同的严谨性、背景假设，且都蕴含实数的，即、历史文脉、以及。
这类展开式的非唯一性不仅限于系统，相同的现象也出现在其它的中，数学家们也列举出了一些1在中的写法，这种现象也不是仅仅限于1的：对于每一个非零的，都存在另一种含有无穷多个9的写法，由于简便的原因，我们几乎肯定使用有限的写法，这样就更加使人们误以为没有其它写法了，实际上，一旦我们允许使用，那么在所有的进位制中都有无穷多种替代的写法，例如，18.6999…、18.3287000…，以及许多其它的写法，都表示相同的数，这些各种各样的等式被用来更好地理解的小数展开式的规律，以及一个简单图形──的结构，它们也出现在一个对整个实数的无穷集合的经典研究之中。
在过去数十年里，许多的研究人员研究了大众及们对该等式的接受程度，许多学生在学习开始时怀疑或拒绝该等式，而后许多学生被、教科书和如下章节的算术推论说服接受两者是相等的，尽管如此，许多人们仍常感到怀疑，而提出进一步的辩解，这经常是由于存在不少对数学错误的观念等的背后因素（参见以下一章节），例如认为每一个实数都有唯一的一个，以及认为（），并且将0.999…视为一个不定值，即该值只是一直不断无限的微微扩张变大，因此与1的差永远是无限小而不是，因此“永远都差一点”。我们可以构造出符合这些直观的，但是只能在用于初等数学或多数更高等数学中的标准系统之外进行，的确，某些设计含有“恰恰小于1”的数，不过，这些数一般与0.999…无关（因为与之相关的理论上和实践上都皆无实质用途），但在中引起了相当大的关注。
0.999…是书写于小数记数系统中的一个数，读作：“零点九九循环”。一些最简单的0.999… = 1的证明都依赖于这个系统方便的性质。大多数的小数算术──、、、，以及大小的，使用与差不多的数位层次的操作。与整数一样，任何两个有限小数只要数位不同，那么数值也一定不同。特别地，任何一个形如0.99…9的数，只要只得有限个，这些9最终会停止，则该数都是严格小于1的。
误解0.999…中的“…”（）的意义，是误解0.9999… = 1的其中一个原因。这里省略号的用法与日常语言和0.99…9中的用法是不同的，0.99…9中的省略号意味着有限的部分被省略掉了。但是，当用来表示一个的时候，“…”则意味着无限的部分被省略掉了，这只能用的数学概念来阐释。作为使用传统数学的结果，指派给记数表示式“0.999…”的值定义为一个实数，该实数为（0.9，0.99，0.999，0.99，…）的极限。“0.999…”是一个数列的极限，从而，对于0.999…=1这个等式就很直观了。
与整数和有限小数的情况不一样，其实记数法也可以多种方式表示单一个数值。例如，如果使用，。但是，一个数最多只能用两种无限小数的方法来表示。如果有两种方法，那么其中一种一定从某一位开始全是循环重复的9，而另外一种则一定从某一位开始就全是循环重复的零。
0.999… = 1 有许多证明，它们各有不同的。一个严谨的证明可以简单地说明如下。考虑到两个其实是同一个的，它们的差等于零。大部分人都同意，0.999…与 1 的差，就算存在也是非常的小。考虑到以上的收敛数列，我们可以证明这个差的大小一定是小于任何一个正数的，也可以证明（详细内容参见），唯一具有这个性质的实数是零。由于差是，可知 1 和 0.999…是同一数，用相同的理由，也可以解释为什么“”；而该等式上3倍后成为“0.999… = 1”。
在不考虑的情况下：
-　0.99999…
结果为0.000…，也就是后面的0无限循环。这两个数目在这里是无限循环小数，小数点后五位之后还会一直填上0，始终无法找到最后一位来填上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。
这个证明的另外一种形式，是用乘以9。
由于两个方程都是正确的，因此根据相等关系的，0.999…一定等于1。类似地，，且。所以，0.999…一定等于1。
一个特别的除法竖式 用竖式计算可得
另外一种证明更加适用于其它循环小数。当一个乘以时，其数字不变，但小数点向右移了一位。因此 × 0.999…等于9.999…，它比原来的数大9。
考虑从9.999…减去0.999…。我们可以一位一位地减；在小数点后的每一位，结果都是9 - 9，也就是0。但末尾的零并不能改变一个数，所以相差精确地是9。最后一个步骤用到了代数。设0.999… = c，则10c - c = 9，也就是9c = 9。等式两端除以9，便得证：c = 1。用一系列方程来表示，就是
0.(9)=1的解释
以上两个证明中的位数操作的正确性，并不需要盲目相信，也无需视为公理；它是从小数和所表示的数之间的基本关系得出的。这个关系，可以用几个等价的方法来表示，已经规定了0.999…和1.000…都表示相同的数。
实分析 由于0.999…的问题并不影响数学的正式发展，因此我们可以暂缓进行研究，直到证明了的基本定理为止。其中一个要求，是要刻划所有能表示成小数的实数的特征，由一个可选择的符号、构成整数部分的有限个数字、一个，以及构成小数部分的一系列数字组成。为了讨论0.999…的目的，我们可以把整数部分概括为b0，并可以忽略负号，这样小数展开式就具有如下的形式：
小数部分与整数部分不一样，整数部分只能有有限个数字，而小数部分则可以有无穷多个数字。这一点是至关重要的。这是一个，所以500中的5是50中的5的十倍，而0.05中的5则是0.5中的5的十分之一。
无穷级数和数列 参见：
也许小数展开式最常见的发展，是把它们定义为的和。一般地：
.对于0.999…来说，我们可以使用的定理：
如果，则.由于0.999…是公比为的等比级数的和，应用以上定理，很快就可以得出证明了：
，这个证明（实际上是10等于9.999…）早在1770年就在数学家的作品（《》）中出现了。
四进制的小数数列（0.3，0.33，0.333，……）收敛于1。
等比级数的和本身，是一个比欧拉还要早的结果。一个典型的18世纪的推导用到了逐项的操作，类似于以上的。直到1811年，Bonnycastle的教科书（）依然使用这种等比级数的方法来证明对0.999…使用的策略是正当的。在19世纪，这种随随便便的求和方法遭到了反对，这样便导致了现在仍然占有支配地位的定义：一个级数的和定义为数列的部分和的极限。该定理的一个对应的证明，明确地把这个数列计算出来了；这可以在任何一本以证明为基础的微积分或数学分析的教科书中找到。
对于数列（x0，x1，x2，…）来说，如果当n增大时，距离|x - xn|变得任意地小，那么这个数列就具有x。0.999… = 1的表述，可以用极限的概念来阐释和证明：
最后一个步骤—lim 1/10n = 0—通常由实数拥有这一原理来证明。这个以极限为基础的对0.999…的看法，有时会用比较引人注意但不太精确的话语来表达。例如，在1846年的美国教科书（）中有这么一句：“0.999+，到无穷远处等于1，这是因为每加上一个9，都会使它的值更加接近于1”（.999 +, continued to infinity = 1, because every annexation of a 9 brings the value closer to 1）；在1895年的美国教科书（）中也有：“…如果有非常多的9，那么1和0.99999…的差就小得难以想像了”（“…when a large number of 9s is taken, the difference between 1 and .99999…becomes inconceivably small”）。这种式的教学法，常常被学生们误解为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]。把这个过程一直继续下去，我们便得到了一个无穷的序列，由无穷个数字b0、b1、b2、b3、…来标示，并记
x = b0.b1b2b3…在这种形式中，1 = 1.000…而且1 = 0.999…的事实，反映了1既位于[0, 1]，又位于[1, 2]，所以我们在寻找它的数字时，可以选择任意一个子区间。为了保证这种记法没有滥用“=”号，我们需要一种办法来为每一个小数重新构造一个唯一的实数。这可以用极限来实现，但是还有其它的方法。
一个简单的选择，是，它保证只要给出了一个长度趋近于零的闭区间套序列，那么这些区间套的就正好是一个实数。这样，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。
区间套定理通常是建立在一个更加基本的实数特征之上的：的存在。为了直接利用这些事物，我们可以把b0.b1b2b3…定义为集合{b0，b0.b1，b0.b1b2，…}的最小上界。然后我们就可以证明，这种定义（或区间套的定义）与划分的过程是一致的，再一次证明了0.999… = 1。得出结论：
一个实数可以有两种不同的小数表示法，仅仅是两个不同的实数集合可以有相同的最小上界的一个反映。 (The fact that a real number might have two different decimal representations is merely a reflection of the fact that two different sets of real numbers can have the same supremum.)
从建构实数着手 参见：
有些方法用明确把实数定义为一定的。──0、1、2、3，依此类推──从零开始并继续增加，这样每一个自然数都有一个后继者。我们可以把自然数的概念延伸到负数，得出所有的整数，并可以进一步延伸到比例，得出所有的有理数。这些数系伴随着加法、减法、乘法和除法的算术。更加微妙地，它们还包括，这样一个数就可以与另一个进行比较，并发现是大于、小于，还是等于。
从有理数到实数的一步，是一个很大的延伸。至少有两种常见的方法来达到这一步，它们都在1872年出版：，以及。直接用到这些结构的0.999… = 1的证明，现在已经无法在实分析的教科书中找到了；最近几个年代的趋势，是使用公理化的分析。即使提供了这样的一个结构，它也通常被用来证明实数的公理，从而为以上的证明提供证据。然而，有些作者表达了从一个结构开始才是逻辑上更恰当的想法，这样得出的证明就更加完备了。
戴德金分割 主条目：
在的方法中，每一个实数x定义为所有小于x的有理数所组成的无穷集合。比如说，实数1就是所有小于1的有理数的集合。每一个正的小数展开式很容易决定了一个戴德金分割：小于某个展开阶段的有理数的集合。所以实数0.999…是有理数r的集合，使得r & 0，或r & 0.9，或r & 0.99，或r小于其它具有
形式的数。0.999…的每一个元素都小于1，因此它是实数1的一个元素。反过来，1的一个元素是有理数 ，也就是。由于0.999…和1包含相同的有理数，因此它们是相同的集合：0.999… = 1。
把实数定义为戴德金分割，首先由在1872年出版。 以上把每一个小数展开式分配一个实数的方法，应归于弗雷德·里奇曼在（《》）上发表的一篇名为“Is 0.999… = 1?”（“0.999… = 1吗？”）的演讲稿，主要是为大学的数学教师，尤其是初级／高级程度，以及他们的学生而作。里奇曼注意到，在有理数的任何一个中取戴德金分割，都得到相同的结果；特别地，他用到了（分母为10的幂的分数），这样便更快得出证明了：“所以，我们看到，在实数的传统定义中，方程 0.9* = 1 在一开始就建立了。”把这个步骤再作进一步的修改，便得到了另外一个结构，里奇曼对描述这个结构更感兴趣；参见以下的“”。
柯西序列 主条目：
另外一种构造实数的方法，间接地用到了有理数的排序。首先，有理数x和y之间的距离定义为绝对值|x - y|，其中绝对值|z|定义为z和-z的最大值，因此总是非负的。这样实数便被定义为关于这个距离的具有性质的有理数序列。也就是说，每一个实数都是一个的数列（x0，x1，x2，…）。这是一个从自然数到有理数的，使得对于任何正有理数δ，总存在一个N，使得对于所有的m、n & N，都有|xm - xn| ≤ δ。（两项之间的距离变得比任何正的有理数都要小。）
如果（xn）和（yn）是两个柯西数列，那么如果数列（xn - yn）有极限0，这两个数列便定义为相等的。把小数b0.b1b2b3…拆开来，便得到了一个有理数序列，它是柯西序列；这个序列对应的实数被定义为这个小数的值。所以，在这种形式中，我们的任务就是要证明，有理数序列
有极限0。对于n = 0、1、2、…，考虑数列的第n项，我们需要证明
。这个极限是大家都明白的；一个可能的证明，是在的定义中，对于ε = a/b & 0，我们可以取N = b。所以，这又一次证明了0.999… = 1。
把实数定义为柯西序列，首先由和独立发表，也是在1872年。以上的小数展开式的方法，包括0.999… = 1的证明，则主要是得自Griffiths和Hilton在1970年的作品《A comprehensive textbook of classical mathematics: A contemporary interpretation》（《一本经典数学的综合教科书：一个当代的阐释》）。这本书是特别为了以当代的眼光回顾一些熟悉的数学概念而作的。
推广 0.999… = 1的证明，立刻可以进行两种推广。首先，对于每一个非零的有限小数（也就是说，从某一位开始全是零），都存在另外一个与其相等的数，从某一位开始全是9。例如，0.24999…等于0.25，就像我们考虑的特殊情况。这些数正好是十进分数，而且是稠密的。
其次，一个类似的定理可以应用到任何一个或。例如，在中，0.111…等于1；而在中，0.222…等于1。实分析的教科书很有可能略过0.999…的特殊情况，而从一开始就介绍这两种推广的一种或两种。
1的其它表示法也出现在非整数进位制中。例如，在中，两个标准的表示法就是1.000…和0.101010…，此外还有无穷多种含有相邻的1的表示法，如0.11，0.011等等。一般地，对于的1和2之间的q，在q进制中都有无穷多种1的展开式。而另一方面，依然存在不可数个q（包括所有大于1的自然数），使得在q进制中只有一种1的展开式，除了显然的1.000…。这个结果首先由、Miklos Horváth和István Joó在大约1990年获得。1998年，Vilmos Komornik和Paola Loreti确定了具有这种性质的最小的进位制──q = 1.…。在这个进位制中，1 = 0.…；其数字由给出，不是循环小数。
一个更加深远的推广，提到了。在这些进位制中，一个数也有多种表示法，在某种意义上来说难度甚至更大。例如：
在系统中，1/2 = 0.111… = 1.111…。在系统中，1 = 1.000… = 0.1234…。
Marko Petkov?ek证明了这种歧义是使用进位制的必然结果：对于任何一个把所有实数命名的系统，总有无穷多个实数有多种表示法，而这些实数所组成的集合又是稠密的。他把这个证明称为“一个基本的指导性的练习”：它包含了把各位数的集合视为，并注意到它们的实数表示法可以由给出。
应用 0.999…的其中一个应用，出现在基本中。1802年，H·古得温出版了一份观察资料，描述了分母为一定的的分数的小数展开式中9的出现。例子包括：
1/7 = 0.…，而142 + 857 = 999。1/73 = 0.9863…，而0136 + 9863 = 9999。
E·米迪在1836年证明了关于这类分数的一个一般的结果，现在称为。当初出版时没有写得很清楚，我们也不知道他的证明是不是直接提到了0.999…，但至少有一个W·G·莱维特的现代证明是这样的。如果我们可以证明，一个具有形式0.b1b2b3…的小数是正整数，那么它就一定是0.999…，这也就是定理中9的来源。在这个方向上继续做研究，就可以得出诸如、、、元素的，以及等概念。
康托尔集合中1/4、2/3，和1的位置。
回到实分析的主题上，三进制中的类似等式0.222… = 1在刻划──一个最简单的的特征中，扮演了一个十分重要的角色：
一个中的点位于康托尔集合内，当且仅当它在三进制中可以只用数字0和2来表示。
小数中的第n位反映了在第n个阶段时点的位置。例如，点?/3可以如常地表示为0.2或0.2000…，这是因为它位于第一个删除部分的右面，以及以后所有的删除部分的左面。点1/3则不表示为0.1，而表示为0.0222…，这是因为它位于第一个删除部分的左面，以及以后所有的删除部分的右面。
重复的9还出现在另外一个康托尔的研究成果中。在应用来证明单位区间的时，必须要考虑到这种因素。这种证明需要根据小数展开式来断言两个实数是不同的，所以我们需要避免诸如0.2和0.1999…之类的数对。一个简单的方法把所有的实数表示为无限小数；相反的方法便排除了重复的9的可能性。一个可能更加接近于康托尔原先的证明的变体，实际上使用了二进制，把三进制展开式转换为二进制展开式，我们也可以证明康托尔集合的不可数性。
教育中遇到的怀疑
许多学习数学的往往怀疑、难以接受0.999… = 1的等式，其原因有很多，从根本不相同的外观，到对概念的深度疑虑，乃至对（）的本性的异议，以及不少对数学错误的观念等背后的因素，从而造成了这种混淆；
许多学生认为，并且将0.999…视为一个不定值，即该值只是一直不断无限的微微扩张变大，因此与1的差永远是无限小而不是，因此“永远都差一点”。学生们常常“坚信一个数能用一种且只能用一种小数的方法来表示”。看到两个明显不同的小数，表示的却是相同的实数，这似乎是一个，而表面上熟悉的数1，更使这个悖论加深。有些学生把“0.999…”（或类似的记法）理解为很长但有限的一串9，也许长度是可变的、未特别指出的。如果他们接受了有无穷多个9的事实，他们仍然可能认为“在无穷远处”“有最后的一个9”。直觉和模棱两可的教导，都让学生觉得数列的极限是一个无限的过程，而不是一个确定的值，因为一个数列不一定就有极限。如果他们明白了数列和它的极限的差别，他们就有可能把“0.999…”理解为数列，而不是它的极限。有些学生相信的值最多只是一个估计，也就是。
这些想法在标准实数系（指具有的）中都是错误的，但在其它数系中则有可能是正确的（要求相应数系不具备，因为要求数系中没有）。这些系统要么是为一般的数学用途而发明，要么就是作为指导性的，使人们更好地理解0.999…。
许多这些解释都是教授发现的，他研究了造成学生们误解的教导方法的特征。他访问了他的学生以决定为什么大多数人在一开始都拒绝接受该等式，发现“学生们仍然继续把0.999…视为一个越来越接近1的数列，而不是一个定值，因为‘你没有指定它有多少位’或‘在所有小于1的小数中，它是最大的数。’”
在所有初等的证明中，用0.333… = 1/3乘以3表面上是使学生们迫不得已接受0.999… = 1的一个成功的策略。但是，面对着对第一个等式的相信以及对第二个等式的怀疑，有些学生要么就开始怀疑第一个等式，要么干脆就感到灰心丧气了。更加复杂的方法，也不是十分有效的；有些学生完全可以应用严格的定义，但当他们被一个高等数学的结果，包括0.999…所震惊时，依然退回到直觉的形象上去了。例如，有一个学习实分析的学生，能够用的定义来证明0.333… = 1/3，但仍然坚称0.999…& 1，基于他早前对长除法的理解。其他学生也能够证明1/3 = 0.333…，但是，面对着以上的，仍然坚称“逻辑”能代替数学运算。
讲了一个故事：有一个十分聪明的学习微积分的学生，他“对我在课堂上讲的几乎所有内容都要提出一番异议，但对他的计算器深信不疑”。他相信，九个数字就是学习数学所需要的一切，包括计算23的平方根。这位学生对9.99… = 10的极限证法感到别扭，称其为“一个难以想像的无限增长过程”。
作为的数学学习的“”的一部分，杜宾斯基和他的合作者在2005年提出：任何一个学生，只要把0.999…设想为一个有限的、不确定的数串，与1的差是无穷小，那么他就“还没有对无限小数形成一个完整的过程概念”。其他对0.999…有了完整的过程概念的学生，仍不一定能把这个过程“概括”成一个“对象概念”，就像他们对1的对象概念那样，所以仍然觉得0.999…和1是不一致的。杜宾斯基还把这种概括的能力与把1/3视为一个独立的数，以及与把实数的集合视为一个整体联系起来。
在大众文化中
随着的崛起，关于0.999…的讨论已经冲出了教室，并走向了和，包括那些名义上几乎与数学无关的信息版。在新闻组中，辩论0.999…是一项“受欢迎的运动”，也是之一。常见问答集涵盖了1/3、乘以10、还有极限的证明，也间接地提到了柯西序列。
我们当中的低级灵长类动物仍然在抗拒，说：0.999…其实不是表示一个数，而是表示一个过程。我们必须把那个过程停止下来，来寻找那个数，这样0.999… = 1的等式便土崩瓦解了。真是一派胡言。（The lower primate in us still resists, saying: .999~ doesn't really represent a number, then, but a process. To find a number we have to halt the process, at which point the .999~ = 1 thing falls apart. Nonsense.）
The Straight Dope在自己的信息版引用了另外一个不明的信息版中的讨论，那个信息版“大部分是关于视频游戏的”。0.999…的问题在的论坛的头七年也是一个非常受欢迎的话题，以致于该公司在2004年的不得不发布了一则“新闻”，声明0.999…就是1：
我们对永远停止对这件事的讨论感到十分激动。我们亲眼目睹了对0.999…是否等于1的痛心和关心，并对以下的证明最终为我们的顾客解决了问题感到十分自豪。（We are very excited to close the book on this subject once and for all. We've witnessed the heartache and concern over whether .999~ does or does not equal 1, and we're proud that the following proof finally and conclusively addresses the issue for our customers.）
然后便提供了两个证明，一个是极限的证明，另一个是乘以10的证明。
其它数系 虽然实数形成了一个非常有用的，把“0.999…”解释为一个实数的决定毕竟还是一个约定，蒂莫西·高尔斯在（）中提到，0.999… = 1的等式也是一个约定：
然而，这个约定决不是随意取的，因为如果不采用这种数系，我们就被迫得要么发明一些新奇的东西，要么抛弃大家熟悉的算术规则。（However, it is by no means an arbitrary convention, because not adopting it forces one either to invent strange new objects or to abandon some of the familiar rules of arithmetic.）
我们可以用不同的规则或新的事物来定义其它数系；在数系中，以上的证明便需要重新解释。我们就有可能发现，在某一个给定的数系中，0.999…和1并不一定就是相等的。然而，许多数系都是实数系的延伸，而不是独立的替代物，所以0.999… = 1仍然成立。就算是在这数系中，我们依然值得去检查其它的数系，不仅仅为了知道0.999…是怎样表现的（如果“0.999…”既有意义又不含糊），也为了知道相关现象的表现。如果这种现象与实数系统中的现象不一致的话，那么至少一个建立在这个系统中的假设便一定不成立了。
无穷小 主条目：
0.999… = 1的证明依赖于标准实数的：不存在非零的。存在着数学上密切相关的有序是非阿基米德的，其中包括标准实数的各种各样的替代品。0.999…的意义与我们使用的结构有关。例如，在中，引进了一个新的无穷小单位ε，就像系统中的i一样，但是ε? = 0。这样便得出了一个在中十分有用的结构。我们可以给予对偶数一个，这样ε的倍数就非阿基米德原素。但是，要注意到，作为实数的延伸，在对偶数中仍然有0.999… = 1。尽管ε在对偶数中存在，ε/2也存在，所以ε就不是“最小的正对偶数”。确实是这样，在实数中，并不存在这类的数。
另外一种构造标准实数的替代品的方法，是使用理论和替代的逻辑，而不是和经典的逻辑（一种特殊情况）。例如，在中，就存在没有的无穷小。
因包含了一个有无穷小（及它们的反元素）完整阵列的系统而众所周知，它提供了一个不同的，也许是更加直观的，对微积分的处理。A.H. Lightstone在1972年提供了一个非标准小数展开式的发展，其中每一个位于（0, 1）之内的扩展的实数，都有一个唯一的扩展的小数展开式：数列0.ddd…；…ddd…，由扩展的自然数作索引。在这种形式中，0.333…有两种自然的展开式，都不与1/3相差无穷小：
0.333…；…000…不存在，而0.333…；…333…正好等于1/3。也提供了替代的实数，无穷的蓝-红就是一个相关的例子。1974年，描述了一个Hackenbush字串与实数的二进制展开式之间的对应关系，由的想法所促动。例如，Hackenbush字串LRRLRLRL…的值是0.0101012… = 1/3。然而，LRLLL…的值（对应着0.111…2）则与1相差无穷小。两个数的差是1/ω，其中ω是第一个；相关的博弈是LRRRR…或0.000…2。
打破减法的惯例 另外一种也可以使以上证明不成立的方法，就是1 - 0.999…根本就不存在，因为减法并不一定就是可能的。具有加法运算但没有减法运算的数学结构包括可、，以及。里奇曼考虑了两种这类的系统，使得0.999…& 1。
首先，里奇曼把非负的“小数”定义为字面上的小数展开式。他定义了和一种加法运算，注意到0.999… & 1仅仅因为在个位数0 & 1，但对于任何一个有限小数x，都有0.999… + x = 1 + x。所以“小数”的一个独特之处，是等式两边不能同减一个数；另外一个独特之处，就是没有“小数”对应着1/3。把乘法也定义了以后，“小数”便形成了一个正的、的、可交换的半环。
在定义乘法的过程中，里奇曼还定义了另外一种系统，他称之为“分割D”，它是小数的戴德金分割的集合。通常用这种定义便可以得出实数，但对于小数d他既允许分割（-∞， d ），又允许“主分割”（-∞， d ]。这样做的结果，就是实数与“小数”“不舒服地住在一起”。这个系统中也有0.999… & 1。在分割D中不存在正的无穷小，但存在一种“负的无穷小”──0-，它没有小数展开式。里奇曼得出结论，0.999… = 1 + 0-，而方程“0.999… + x = 1”则没有解。
p进数 主条目：
问到关于0.999…的时候，初学者常常相信应该有一个“最后的9”，也就是说，相信1 - 0.999…等于一个正数，可以写为“0.000…1”。不管那有没有意义，目标都是明确的：把1加在0.999…中的最后的9上，就会把所有的9变成0，并在个位数留下一个1。如果考虑到其它的原因，这种想法便不成立了，这是因为在0.999…中，并不存在“最后的9”。对于包含最后的9的无穷多个9，我们必须从别的地方去寻找。
4进整数（黑点），包括数列（3，33，333，…）收敛于-1。10进数的类似等式，是…999 = -1。
是在中引起兴趣的又一个数系。像实数那样，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。另外一种推导用到了等比级数。“…999”所指的无穷级数在实数中不收敛，但在10进数中收敛，所以我们可以使用大家熟悉的公式：
（与的级数比较。）第三种推导是一个七年级学生发明的，他对老师所讲的0.999… = 1的极限证明感到怀疑，但因而产生了灵感，把乘以10的证明应用在相反的方向上：如果x = …999，则10x = …990，因此10x = x - 9，所以x = -1。
作为一个最后的延伸，由于0.999… = 1（在实数中），而…999 = -1（在10进数中），那么我们可以“盲目、大胆地摆弄符号”，把两个等式相加起来，得出：…999.999… = 0。这个等式在10进展开式中和标准小数展开式中都是没有意义的，但假如我们研究出一种“双小数”的理论，其中小数点左面和右面都可以无限延伸，那么这个等式便是有意义和正确的。
相关问题 ，特别是奔跑者悖论，使人联想起了0.999…等于1的表面上的悖论。奔跑者悖论可以建立一个数学模型，然后就可以像0.999…那样，用等比级数的方法来解决。然而，我们不确定这种数学的论述是不是提到了芝诺所探索的形而上学的问题。出现在0.999…的一些讨论中，也引起了争论。大部分作者都愿意定义0.999…，但几乎都不去定义除以零，这是因为它在实数系统中不可能有意义。然而，在某些其它的系统中，除以零则是有定义的，例如，其中，也就是，在无穷远处“”。在这里，1/0便定义为无穷大；实际上，这个结果有深远的意义，可以应用在工程和物理学中的许多问题上。有些著名的数学家在两个系统发展起来之前就提出了这样的一个定义。是另外一个记数的多余特征。在诸如实数的数系中，“0”表示，既不是正数又不是负数，“-0”的解释是0的，这便迫使了-0 = 0。然而，在某些科学的应用中，使用了独立的正零和负零，大多数常见的计算机记数系统就是这样的（例如储存在或的格式中的整数，或由所指定的浮点数）。
性别男&UID602828&帖子396&主题11&精华4&龙晶6 &龙威0 &积分33&阅读权限100&好友0&注册时间&最后登录&
精华4&龙威0 &积分33&好友0&注册时间&
现在在争论的不是这个是 无数个无穷小量之积的问题 嗯&&
职业潜水党。专注沉贴二十年，回复必沉。
性别男&UID423527&帖子2211&主题44&精华1&龙晶0 &龙威0 &积分9&阅读权限90&好友0&注册时间&最后登录&
精华1&龙威0 &积分9&好友0&注册时间&
卧槽，全看不懂。。。天书啊~！
什么？你说这个不好看？你是读者不，读者的话不爱看就右上角，没人求着你看！你说你是作者？你是大神还是扑街呢，扑街的话妥妥的羡慕嫉妒恨，你个卢瑟有什么资格批评我！什么？你是大神？某圈子又打压新人啦！
性别男&UID401048&帖子10151&主题178&精华0&龙晶0 &龙威0 &积分11&阅读权限100&好友15&注册时间&最后登录&
精华0&龙威0 &积分11&好友15&注册时间&
<td class="t_f" id="postmessage_.00...+0.99...=1
因为0.00...=0，所以0.99...=1~这个我懂了~
这个世界，没有绝对的好人，有人掉井里，大家都赶去扔石头，别人拿大块砸，你捡小块丢，你就是好人。
性别男&UID449958&帖子3183&主题20&精华0&龙晶0 &龙威0 &积分5&阅读权限90&好友1&注册时间&最后登录&
精华0&龙威0 &积分5&好友1&注册时间&
稻可稻，非常稻
性别男&UID369618&帖子1799&主题167&精华2&龙晶6 &龙威0 &积分25&阅读权限100&好友0&注册时间&最后登录&
精华2&龙威0 &积分25&好友0&注册时间&
这东西解释得再清楚都没用，不信的人弄死不得信
它说，我存于过去、未来，而我也在现在。我曾死过，又曾复活，如此，而至永远。它说，我执掌着多个世界的钥匙，以此开启连接彼界的大门……
性别男&UID412104&帖子367&主题2&精华0&龙晶0 &龙威0 &积分2&阅读权限70&好友0&注册时间&最后登录&
精华0&龙威0 &积分2&好友0&注册时间&
+∞与实数加、减、乘、除、乘方、开方运算，结果永远是+∞；-∞与实数加、减、乘、除、乘方、开方运算，结果永远是-∞。
性别男&UID633835&帖子331&主题1&精华0&龙晶0 &龙威0 &积分1&阅读权限50&好友0&注册时间&最后登录&
精华0&龙威0 &积分1&好友0&注册时间&
+∞与实数加、减、乘、除、乘方、开方运算，结果永远是+∞；-∞与实数加、减、乘、除、乘方、开方运算，结果永远是-∞。&&...lim(x趋于+0） 1/x= +∞
lim(x趋于+0）（-2）*（ 1/x）= -∞
性别男&UID616530&帖子6721&主题408&精华0&龙晶2 &龙威0 &积分11&阅读权限0&好友0&注册时间&最后登录&
精华0&龙威0 &积分11&好友0&注册时间&
现在在争论的不是这个是 无数个无穷小量之积的问题 嗯求解释……
老师没讲过……
人生目标：
1、强身健体。2、娶到老婆。3、生下孩子。4、抚养孩子。5、建避难所。6、杀极端绿狗。7、炸绿庙。8、入党。9、卫国。10、守信。
性别男&UID551287&帖子34471&主题45&精华2&龙晶21 &龙威0 &积分88&阅读权限150&好友12&注册时间&最后登录&
精华2&龙威0 &积分88&好友12&注册时间&
怎么，在聊高数吗？
古者富贵而名摩灭，不可胜记，唯倜傥非常之人称焉。
性别男&UID627432&帖子368&主题5&精华0&龙晶1 &龙威0 &积分3&阅读权限70&好友0&注册时间&最后登录&
精华0&龙威0 &积分3&好友0&注册时间&
理论是是相等的，实际上是不等的
性别男&UID621922&帖子169&主题3&精华0&龙晶0 &龙威0 &积分2&阅读权限70&好友0&注册时间&最后登录&
精华0&龙威0 &积分2&好友0&注册时间&
这是在龙空么，我瞬间茫然了
性别男&UID473210&帖子1132&主题17&精华0&龙晶1 &龙威0 &积分5&阅读权限90&好友0&注册时间&最后登录&
精华0&龙威0 &积分5&好友0&注册时间&
我想起了上次终结热力学讨论的一贴。。。。。。。
性别男&UID407592&帖子6927&主题894&精华11&龙晶-7 &龙威0 &积分51&阅读权限150&好友181&注册时间&最后登录&
精华11&龙威0 &积分51&好友181&注册时间&
理论是是相等的，实际上是不等的再多的抽烟猴子也没用啊
在这个体系里，它就是相等的。
性别男&UID627432&帖子368&主题5&精华0&龙晶1 &龙威0 &积分3&阅读权限70&好友0&注册时间&最后登录&
精华0&龙威0 &积分3&好友0&注册时间&
再多的抽烟猴子也没用啊
在这个体系里，它就是相等的。你也说了，是在一个体系里，它是相等的，就是理论上的相等，实际上总是差那么一点，就比方说，你一直数，到死也数不完，因为生命是有限的，就是说现实里，它总是差那么一点，它是不相等的，除非你获得了长生，那它就是相等的，因为你的寿元也是无尽的。
在高数里面可以学到，其实它们就是相等的，.
总评分:&龙币 + 1&
性别男&UID407592&帖子6927&主题894&精华11&龙晶-7 &龙威0 &积分51&阅读权限150&好友181&注册时间&最后登录&
精华11&龙威0 &积分51&好友181&注册时间&
你也说了，是在一个体系里，它是相等的，就是理论上的相等，实际上总是差那么一点，就比方说，你一直数，到死也数不完，因为生命是有限的 ...……你完全没有理解我的意思。在非欧几何里，平行线是相交的。但是在欧氏几何里，不相交。
另外，一些个人看法，既然谈论的是数学学术问题。拿修仙之类的嘴炮做例子似乎不大科学。
其实你可以举一个更好的例子，永远无法达到的绝对零度。
性别男&UID498111&帖子2995&主题97&精华0&龙晶0 &龙威0 &积分5&阅读权限90&好友2&注册时间&最后登录&
精华0&龙威0 &积分5&好友2&注册时间&
现在在争论的不是这个是 无数个无穷小量之积的问题 嗯我去， 我有罪，&&是我 把这个&&积 的问题 延续的。
看小说太费时间了， 以后再也不看了
看视频太费时间了， 以后再也不看了
打麻将太费时间了， 以后再也不打了
上矽统太费时间了， 以后再也不上了
打飞机太费时间了， 以后。。。。。。
头像出处 夕纪16岁&&真人很丑
性别男&UID627432&帖子368&主题5&精华0&龙晶1 &龙威0 &积分3&阅读权限70&好友0&注册时间&最后登录&
精华0&龙威0 &积分3&好友0&注册时间&
……你完全没有理解我的意思。在非欧几何里，平行线是相交的。但是在欧氏几何里，不相交。
另外，一些个人看法，既然谈论的是数学学术问 ...“非欧几何里，平行线是相交的。但是在欧氏几何里，不相交。”嗯，这句话是不是理论体系不同，结果不同啊，这不简单了吗，因为体系是不同的人创造的，这么说吧，不同的人构造的世界是不同的，很正常啊，就像修仙小说一样，各自创造自己的世界，各自都有一套自己的体系，结果不同很正常，因为创造这些理论体系的是不同的人。
性别男&UID342329&帖子4772&主题236&精华0&龙晶9 &龙威0 &积分23&阅读权限100&好友3&注册时间&最后登录&
精华0&龙威0 &积分23&好友3&注册时间&
叹气，其实算是个年经问题,约1-2年我就能看到一次。
这不算什么，每次本科以上的朋友和同学居然也能为这东东展开，还有工科的，只能说他们的数学，在有理数部分都还给老师了——如果高中可以原谅的话，大学这数学底子肯定不对。
——————
楼上几位对欧氏几何及非欧几何也不要太执着，
比如在地球仪上（或圆球上）画几条经线,它们交于一点,那算是欧氏几何的线还是非欧几何的线?
答案是都可以:因为定义一个空间,你用欧氏(平直座标),这个球形上它们是曲线而已,然后在球形上定义一种几何,符合它定义下的经线(还有纬线)算是直线,那就没问题了.
最后,0.9循环小数和1,想要它们&不相等&,则不是改变定义可以解决的,因为提出这个问题时,设定它们本来就是在有理数框架下的问题(同样不要以为是自然数,自然数只是整数的一个子集),只要0.9循环和1它们还在有理数定义范围内,用的加法和乘法是常规算法,这个等式便是成立的.
性别男&UID627432&帖子368&主题5&精华0&龙晶1 &龙威0 &积分3&阅读权限70&好友0&注册时间&最后登录&
精华0&龙威0 &积分3&好友0&注册时间&
叹气，其实算是个年经问题,约1-2年我就能看到一次。
这不算什么，每次本科以上的朋友和同学居然也能为这东东展开，还有工科的，只能说他们 ...所以我说“理论是是相等的，实际上是不等的”嘛，因为选择的参照系不同，你说的这个“在有理数定义范围内,用的加法和乘法是常规算法,这个等式便是成立的”，如果我不选择这个范围体系，它就是不等的啊，呵呵
Powered by}