打字猴:1.70174521e+09
1701745210
1701745211 如果一个人不知道如何进行逻辑推理,我得说许多相当优秀的数学家(是的,著名数学家)都归在这一类人下面,如若单凭以往做其他推理的经验来盲目地进行推理,那他自然会不停地陷入关于无限数的错误中。事实上,这类人完全不会推理。但是,对于会做推理的少数人而言,关于无限数的推理要比有限数的容易,因为不需要运用复杂的换位量三段论。例如,整体比局部大并非公理,只是因为人们的推理水平低下——比如欧几里德——它才变成了一条公理。这是一个运用换位量三段论很容易证明的定理,不过如果用其他方式就证明不出来。关于有限集合,它是正确的;但对于无限集合,它就是错误的。因此,整数的部分是偶数。但偶数与整数一样多,这是一个显而易见的命题,因为如果整个整数序列中的每个数字都翻倍的话,那其结果将会是偶数序列。
1701745212
1701745213 1,2,3,4,5,6……
1701745214
1701745215 2,4,6,8,10,12……
1701745216
1701745217 因此,每一个整数都对应于一个不同的偶数。事实上,有多少不同的数字就会有多少不同的倍数,这个倍数就是偶数。
1701745218
1701745219 实际上,无限集合只有两个量级:即可数集与不可数集。有限集合区别于无限集合的地方在于,前者适用于一种特殊的推理方式:换位量三段论。可数集区别于不可数集的地方在于,可数集适用于一种特定的推理方式:费马推理。这种推理方式有时会被不恰当地称作“数学归纳法”。我在之前提到的那篇论文里做过说明。我将以此推理方式的一个例子,来讲讲欧拉对于整数次幂的二项式定理证明。这一定理表述的是(x +y )n (n 为整数)可展开为一连串二项式的和,第一项是xny0 ;其余每一项相比其前一项,x 的指数减1,再乘以该指数;同时y 的指数加1,再除以增加的指数。那么,假定这一命题在指数为某值(例如n =M )的情况下是正确的,那么在n =M +1的情况下也应该是正确的。将(x +y )M 的展开项中的一项写成Axpyq ,那么这一项和紧跟着的两项将会是:
1701745220
1701745221
1701745222
1701745223
1701745224 那么,当(x +y )M 乘以x +y 就等于(x +y )M+1 ,我们先乘以x 再乘以y 而不是乘以x ,然后再将两个结果相加。当我们乘以x 时,上面三项中的第二项将是唯一含有xpyq+1 的项,而第三项将是唯一含有xp-1yq+2 的项;当我们乘以y 时,第一项将是唯一含有xpyq+1 的项,而第二项将是唯一含有xp-1yq+2 的项。因此,加入相似的项,我们会发现在(x +y )M+1 的展开项中xpyq+1 的系数将会是上面三项中前两项系数的总和。因此,(x +y )M+1 的展开项中相连的两项将会是:
1701745225
1701745226
1701745227
1701745228
1701745229 于是从中可以看出,相连的项遵循这一规则。如果一个整数次幂遵循这一规则的话,那么下一个更高次幂也将如此。由于一次幂明显是遵循这一规则的,因此,所有次幂也都遵循这一规则。
1701745230
1701745231 这种推理适用于能够按顺序排列的任何对象的集合,虽然集合可能是无穷的,但却是可以编号的,因此其中的每个元素都能得到一个确定的整数。例如,所有的整数就构成一个可数集。此外,任何由某个有限整数集依据确定的规则运算得出的集合也是可数集。集合中的数字可依顺序排列。假设F为运算符号。首先对1运算,得出F(1);然后再对1运算,得到F(1,1);接下来引入2这个变量,得到第三个结果,以F(2)表示;然后是第四个,以F(2,1)表示;接着是第五个,以F(1,2)表示;第六个则是F(2,2)。接下来要使用第三个变量了,第七个就以F(1,1,1)表示,第八个以F(2,1,1)表示,第九个以F(1,2,1)表示,第十个以F(2,2,1)表示,第十一个以F(1,1,2)表示,第十二个以F(2,1,2)表示,第十三个以F(1,2,2)表示,第十四个以F(2,2,2)表示。然后再引入3这个变量,依此类推,轮流引入新的变量和新的数字。这样,很显然所有变量的整数值的每次排列在序列中都将获得一个编号的位置。[55]
1701745232
1701745233 无穷但可数的集合(之所以说“可数”,是因为集合中的所有数字可以按顺序排列,让每个数字都对应一个不同的整数)已经很大了。但也有一些集合是不可数的。无限小数的各个数位构成的集合就是不可数集。自欧几里德时代以来,人们就已经认识到,某些数字是不尽根的或不可通约的,且不能以任何有限小数或是循环小数确切地表示出来。例如圆的周长与直径的比值,我们知道它接近3.1415926。这个数字的计算结果有超过700位数,而且在这700位数的排列顺序中看不出哪怕是最微小的规律性。这完美地证明了这个数字还有其他很多数字都是不可通约的。全体不可通约数的集合是不可数的,这已经得到了康托尔的明确证明。在此我就不做证明了。但很容易理解,要将一个集合与另外一个集合区分开来,通常就需要利用无穷系列的数字。如果这些数字不能被确切地表示和区分的话,那显然它们就无法排列成一个线性序列。
1701745234
1701745235 显而易见,一条线上或一段时间间隔内总共有多少个点,就会有多少个实数。这些便是不可数集。很多数学家曾鲁莽地假定,一个面上或一个体内的点要多于一条线上的点。但这遭到了康托尔的驳斥。实际上,很显然,对于每一个坐标值集合而言只有一个确切的数字。例如,假定坐标值都介于0到+1之间,然后将第一个坐标的第一个数字放在第一个小数的位置,并将第二个坐标的第一个数字放在第二个小数的位置,依此类推,在第一个数字都被分配完之后,再以同样的方式继续分配第二个数字,如果我们通过这种方法来构成一个数字的话,很显然从这个最终得到的数字上就能够读出坐标值。因此,三个一组或四个一组的数字(每个数字都有不可数的值)与单个的不可通约数拥有一样多的值。
1701745236
1701745237 假若维度数是无限的,那这一理论就不适用;不可数集的集合可能要比不可数集还要大,我们不妨称之为“无穷无限集”(endlessly infinite)。可是,这类集合中的单一元素是无法被指出的,甚至无法近似,因此实际上这个量级只能以最普遍的方式来进行推理。
1701745238
1701745239 尽管无限集合只有两个量级,但是当各元素在特定条件下按照顺序排列时,量级的区别就因此而显现出来了。因此,如果一个无限序列以一分为二的形式翻倍,且继而形成的第一部分和第二部分被按照与原来相同的顺序排列,那么这个翻倍的无限序列(只要以原来的顺序排列)将会是原来那个序列的两倍大。同理,两个不可数集合的乘积(即由两个集合中每一个体组成的所有可能配对的集合)如果保持其连续的顺序,那么凭借这一顺序,就会比原来两个集合中的任何一个都大得多。
1701745240
1701745241 那么,问题来了。什么是连续性呢?康德将其与无限可分性混淆了,他称连续序列的基本特征是:序列中的任意两个数中间总是能找到第三个数。这是一个非常清楚且明确的分析,但遗憾的是,它连最初级的考验都未能经受得住。因为,根据这一分析,按照其量级顺序排列的整个有理分数序列会是一个无限序列,尽管有理分数是可数的,但一条线上的点是不可数的。不仅如此,更为糟糕的是,如果从这个分数序列中删去任意两个数中间的所有数字,并制造出这样一个有限的缺口的话,康德的定义对于这个序列而言依然正确,但是这个序列显然已经失去了连续性。
1701745242
1701745243 康托尔将连续序列定义为连接的、完全的序列。“连接性”的意思是:如果在这样一个连续序列中给定任意两点,并给定任意有限的距离,无论距离有多小,从第一个点到第二个点中间都会有一系列连续的点,从前面的点到其中每一个点的距离都要小于给定的距离。按照大小排列的有理分数序列就是连接的。“完全性”的意思是,在这样一个包含了所有点的序列中,没有任何距离能够小到如此程度,以至于在该距离内没有无限个点。介于0和1之间,且小数部分只由0和1构成的序列就是完全的。
1701745244
1701745245 我们必须承认康托尔的定义包含了所有连续的序列,我们也不能用其定义中涵盖了某些重要的、不容置疑的不连续序列来反对他。然而,康托尔的定义还是存在着一些严重的缺点。首先,这个定义依赖于度量了,而且连续与不连续序列之间的区别显然是非度量的。其次,完全序列被定义为一个包含了某一类型的“所有点”的序列。但其定义却没有表达出对于所有这些点是什么的肯定概念:这是从否定角度所下的定义,不能被确证无疑。如果这类事情被允许的话,那立刻就会有人很轻易地宣称,连续的线性点序列包含了一条直线上两个端点之间的所有点。最后,康托尔的定义没有表达出对于连续性概念的组成部分是什么的不同意见。它巧妙地将连续性的特性总结在了两个单独的部分中,却没有向我们展示出来。
1701745246
1701745247 康德的定义表达了连续统的一个简单特性,但容许序列中有空白。要纠正这一定义,就必须注意这些空白是如何发生的。那么,让我们假定一个线性的点序列从一个点A 扩展到第二个点B ,从点B 起有一个空白,再扩展到第三个点C ,之后再一直扩展到最后的界限D 。然后,让我们假定这一序列符合康德的定义。那么,在B 和C 两个点中,有一个点或者两个点必须被从序列中排除出去,否则,按照其定义,这两个点之间就会有点存在。即如果序列中包含C ,尽管序列中包含了到B 点的所有点,但不能包含B 。因此,要求以非度量的表达方式来表明,如果有界限的点序列被包含在一个连续统中,那么这个界限也被包含在内。你可能会注意到,这是连续统的特性,在康德将连续统定义为其各组成部分有一个共同的界限的时候,就似乎已经引起了亚里士多德的关注。这一特性可以被确切地描述如下:如果一个线性的点序列在A 和D 两点之间是连续的,取一个无穷的点序列,另外再取介于A 和D 之间的第一个点,以及介于之前的这个点和D 之间的其他所有点,那么就会有一个介于那个无穷的点序列和D 之间的连续序列的点,而且其他的每一个点都介于这个点和D 点之间。例如,取任意一个介于0和1之间的数字,比如0.1;然后取任意一个介于0.1和1之间的数字,例如0.11;再取任意一个介于0.11和1之间的数字,比如0.111;依此类推,无限进行下去。那么,由于介于0和1之间的实数序列是连续的,那其中就必定有一个最小的实数比那个无穷序列中的每个数字都要大。这一特性(或许可命名为“序列的亚里士多德性”)再加上康德的特性(或许可命名为“康德性”),我们就完整地定义了连续序列。
1701745248
1701745249 如果我提到的是实数,而不是一条线上的点的话,那我们的观念就更容易表达了。每一个实数在一定意义上都是一个序列的界,因为它可以被无限接近。每一个实数是不是一个规则序列的界或许会不确定。但亚里士多德性序列必须被理解为包含了所有无论是否规则的序列。因而,其意思是在任意两个点之间都可以取出一个不可数的点序列。
1701745250
1701745251 每一个数字(以小数表示,并要求其小数的位数是有限的)是可通约的。因此,不可通约数意味着其小数的位数是无穷的。“infinitesimal(无穷小)”这个词只是infinitieth的拉丁文形式,即这是一个形成自infinitum(无限)的序数,就如同centesimal(百进制的)源自centum(百)。因此,连续性意味着无穷小的量。关于这类量的概念没有任何反驳的声音。不管是做乘法还是加法运算,连续性都不会被打破,因此它们非常像其他的量,除了换位量三段论,费马推理也不适用于它们。
1701745252
1701745253 如果A 是一个有限的量,而i 是一个无穷小量,那么在某种意义上,我们可以写A +i =A 。也就是说,对于度量目的而言是这样的。但是,除非是为了消掉无穷小量最高阶的项以外,这一原理是不能应用的。作为一个数学家,我更喜欢无穷小量的方法,而非极限方法,因为前者要容易得多,也没有那么多的陷阱。事实上,后者如同一些书中所描述的,牵涉到了错误的命题,但这并不是柯西、杜哈梅和其他人所采用的方法的形式。因为他们了解极限学说,它涉及了连续性的概念,并因此以另外一种形式包含了与无穷小量学说完全相同的观念。
1701745254
1701745255 让我们来考虑一下亚里士多德原理的一个方面,该原理在哲学中尤其重要。假设一个表面有一部分是红的,有一部分是蓝的,那么这个表面上的每一个点要么是红的,要么是蓝的;当然,没有哪个部分可以既是红的又是蓝的。那么,介于红和蓝之间的分界线是什么颜色的呢?答案是:红色或者蓝色(是根本存在的)必定会在一个面上扩散,而这个面的颜色就是这个点直接相邻的表面的颜色。我故意采用了一种模糊的表达方式。由于和弯曲的分界线上任意一个普通的点直接相邻的面的部分一半是红的,一半是蓝的,因此分界线也一半是红的,一半是蓝的。同理,我们发现有必要赞成意识实质上占用时间的观点,在任何一个平常的瞬间出现的想法正是在那一瞬间发生的那个片刻里所出现的想法。因此,现在是一半已经过去,一半即将到来。此外,一个表面从一个点起任意有限距离内的各部分的颜色与这一个点的颜色无关。同样地,从现在起任何有限时间间隔内的感觉与现在的感觉无关,间接感受除外。再举一个例子:粒子在任何一个瞬间的速度是其在一个包含这个瞬间的无限小片刻里的平均速度。因此,我此时此刻的感觉是我在一个包含了现在这个瞬间的无限小时间间隔里的感觉。
1701745256
1701745257 时间的分析
1701745258
1701745259 关于思想的规律最显著的一个特征是:它使得时间在从过去流向未来的过程中有明确的方向。谈到思想的规律,过去之于未来的关系不同于未来之于过去的关系。这造就了思想的规律与物理力学定律之间的一个重大差异。在后者中,两个方向相反的力,与向南走和向北走之间的差别是一样的。
[ 上一页 ]  [ :1.70174521e+09 ]  [ 下一页 ]