打字猴:1.701105617e+09
1701105617
1701105618 不想到这一点,就无法理解戴德金(Dedekind)竟然会把纯粹的符号称为不可通约数,也就是说,这种数完全不同于应当是可度量的并且几乎是可触知的量的普通观念。
1701105619
1701105620 现在,让我们看看戴德金的定义是什么:
1701105621
1701105622 可通约数能够以无穷方式分为两类,以致第一类中的任何数都大于第二类中的任何数。
1701105623
1701105624 也可能会出现这种情况:在第一类数中,有一个数小于所有其他数;例如,如果我们把所有大于2的数和2本身排在第一类,把所有小于2的数排在第二类,那么很清楚,2将是第一类所有数中最小的。数2可以选来作为这种分类的符号。
1701105625
1701105626 相反地,也可能会出现下述情况:在第二类数中,有一个数大于所有其他数;例如,如果把所有大于2的数排在第一类,把所有小于2的数和2本身排入第二类,情况就是这样。在这里,数2再次可以选作分类的符号。
1701105627
1701105628 但是,同样完全可以发生下述情况:在第一类中既不存在小于所有其他数的数,在第二类中也不存在大于所有其他数的数。例如,假定我们把其平方大于2的所有可通约数放入第一类,把其平方小于2的所有可通约数放入第二类。这里没有其平方恰恰是2的数。显然,在第一类中没有小于所有其他数的数,因为不管一个数的平方多么接近2,我们总是能够找到一个可通约数,其平方更接近于2。
1701105629
1701105630 按照戴德金的观点,不可通约数
1701105631
1701105632
1701105633
1701105634
1701105635 无非是把可通约数分开的这一特殊式样的符号;于是,对于每一种分开的式样,对应着一个可通约数或不可通约数作为它的符号。
1701105636
1701105637 可是,满足这一点也许未免过于轻视这些符号的来源了;依然要说明,我们如何被导致把一种具体的存在赋予它们,此外,甚至对于分数本身来说,一开始不就存在着困难吗?如果我们预先不了解我们认为是无限可分的内容即连续统,我们会有这些数的概念吗?
1701105638
1701105639 物理连续统。我们于是问自己,数学连续统的概念是否只是从经验而来。如果是,那么经验的粗糙材料——这就是我们的感觉——也许容许度量。我们可能被诱使认为,它们实际上就是如此,由于最近有人企图去测量它们,甚至提出了一个通称费希纳(Fechner)定律的规律,按照这个定律,感觉与刺激的对数成正比。
1701105640
1701105641 然而,如果我们较为仔细审查一下曾经试图建立这个定律的实验,我们将会得出绝然相反的结论。例如,人们观察到,10克的重物A和11克的重物B产生相同的感觉,重物B与12克的重物C同样无法区分,但是重物A却很容易与重物C区别开来。于是,经验的粗糙结果可以用下述关系来表示:
1701105642
1701105643 A=B,B=C,A<C,
1701105644
1701105645 可以把这些关系视为物理连续统的公式。
1701105646
1701105647 可是,这里存在着与矛盾律无法容忍的背离,消除这一背离的需要迫使我们发明数学连续统。
1701105648
1701105649 因此,我们不能不得出结论:这一概念完全是由心智创造的,但是经验为它提供了机会。
1701105650
1701105651 我们无法相信,等于第三个量的两个量彼此不相等,以致我们可以假定,尽管A不同于B,B不同于C,但是由于我们的感官不完善,不容许我们区别它们。
1701105652
1701105653 数学连续统的创造。第一阶段。迄今为止,为了说明事实起见,只要在A和B之间插入几项就足够了,这几项依然是离散的。如果我们求助于某些工具以弥补我们感官的软弱无力,例如我们使用显微镜,那么现在会发生什么情况呢?像以前不可区别的A和B项,现在也似乎可以区分了;可是,在现在变得可区分的A和B之间再插入一个新项D,则我们既不能把它与A区别开来,也不能把它与B区别开来。除非使用最完善的方法,我们经验的粗糙结果将总是呈现具有内在矛盾的物理连续统的特征。
1701105654
1701105655 只有在已经区分开来的项中连续不断地插入新项,我们才能摆脱它,而且这一操作必须无限期地进行。如果我们能够想象某种威力充分强大的工具,足以把物理连续统分解为离散的元素,就像望远镜把银河分解为恒星那样,我们就可以设想中止这种操作。但是,我们不能想象这一点;事实上,我们正是用眼睛观察显微镜放大了的图像的,因此这个图像必然总是包含着视觉的特征,从而包含着物理连续统的特征。
1701105656
1701105657 直接观察到的长度和用显微镜放大一倍的这一长度之半无法区分。整体与部分是齐性的;这是一个新的矛盾,或者确切地讲,如果假定项数是有限的才是这样的;事实上,很清楚,包含比整体少的项的部分不可能相似于整体。
1701105658
1701105659 当项数被认为是无限时,矛盾就不存在了;例如,没有什么东西妨碍人们认为整数的集合相似于偶数的集合,虽则偶数只不过是整数的一部分;事实上,每一个整数都对应着一个偶数,即对应着整数的倍数。
1701105660
1701105661 但是,心智被引导创造出用无限数目的项形成的连续统的概念,这并不仅仅是为了避免包含在经验材料中的这种矛盾。
1701105662
1701105663 一切都像在整数序列中发生的一样。我们有能力设想,一个单位能够加到多个单位的集合中;多亏经验,我们才有机会训练这种能力,我们逐渐意识到它;可是,从这时起,我们感到我们的能力没有限度,我们能够无限期地数下去,尽管我们从来还没有数过多于一个有限数目的对象。
1701105664
1701105665 同样地,只要我们被诱使在一个级数的两个相继项之间插入中间项,我们便发觉,这种操作能够超越所有限度而继续下去,也就是说,没有停止的固有理由。
1701105666
[ 上一页 ]  [ :1.701105617e+09 ]  [ 下一页 ]