康托和柯西究竟誰對

張喜安

【摘 要】 康托集合論的基本觀點是，一個無窮集合可以和它的一個真子集一一對應(yīng)，部分可以和全體相等。關(guān)于部分可以和全體相等，康托將[0，1]的基數(shù)定義為c，并且認為c+c+c=c，也就是說，康托的這種無窮數(shù)不遵守算術(shù)公理。對于康托的上述觀點，法國著名數(shù)學(xué)家柯西認為，這是自相矛盾的。但是康托卻認為，無論數(shù)學(xué)家們曾經(jīng)做過什么樣的假定，我們都不應(yīng)認為有窮的性質(zhì)可以適用于無窮的各種情況。這也就是說，在康托看來，有窮的數(shù)遵守算術(shù)公理，而無窮的數(shù)就不一定遵守算術(shù)公理。本文將證明，柯西的觀點是正確的，而康托的觀點則是錯誤的。

【關(guān)鍵詞】 柯西;認為;康托集合論;自相矛盾

為了論述方便，我們首先引述康托集合論的兩個集合間一一對應(yīng)的定義如下：

定義 如果存在函數(shù)y=f（x）為集合A→B的雙射函數(shù)，那么集合A和B為一一對應(yīng)的關(guān)系。

前面已經(jīng)指出，康托集合論的基本觀點是，一個無窮集合可以和它的一個真子集一一對應(yīng)，部分可以和全體相等，而這正是康托集合論的一個定理，本文稱這個定理為康托集合論的基本定理?，F(xiàn)在，我們把這個定理及其證明引述如下：

康托集合論基本定理 令a，b為實數(shù)，且a

證明：令y=f（x）=a+（b-a）x，顯然，y=f（x）為[0，1]→[a，b]的一個雙射函數(shù)，這就證明了[a，b]的基數(shù)等于[0，1]的基數(shù)，即等于c。

為了使論述簡單明了，我們?nèi)∫环N具體的情況，即令a=0，b=2，于是得到集合[0，2]。根據(jù)康托集合論的基本定理，存在y=2x為[0，1]→[0，2]的雙射函數(shù)，因此，[0，1]和[0，2]為一一對應(yīng)的關(guān)系。請注意，無窮集合[0，1]是[0，2]的真子集，并且[0，1]和[0，2]是兩個實數(shù)點的集合，這些是已知條件。

現(xiàn)在假定[0，1]和[0，2]為一一對應(yīng)的關(guān)系，這時，[0，1]和[0，2]互相對應(yīng)的元素的性質(zhì)就存在相同和不同兩種情況。如果[0，1]和[0，2]互相對應(yīng)的元素的性質(zhì)相同，則根據(jù)集合論的外延公理：如果集合A的每一個元素都是集合B的元素，同時集合B的每一個元素都是集合A的元素，那么A=B。因此，[0，1]=[0，2]，這顯然和客觀事實矛盾。如果[0，1]和[0，2]互相對應(yīng)的元素的性質(zhì)不同，那么[0，1]不是[0，2]的子集，因此，[0，1]也就不是[0，2]的真子集，這和已知條件矛盾。于是得出結(jié)論，[0，1]和[0，2]不可能是一一對應(yīng)的關(guān)系，而只能是非一一對應(yīng)的關(guān)系。這說明，我們根據(jù)康托集合論的基本定理和它的已知條件就可以得出和康托集合論的基本定理相反的結(jié)果，因此可以說，康托集合論的基本定理是自相矛盾的，康托集合論也就是一個自相矛盾的理論，或者說，柯西是正確的，而康托則是錯誤的。

文章寫到這里，疑問就來了，由于存在函數(shù)y=2x為[0，1]→[0，2]的雙射函數(shù)，則[0，1]和[0，2]就是一一對應(yīng)的關(guān)系，這又如何解釋？這個問題是一個困難的問題，我們首先給出一個一般的回答，一方面，由于存在函數(shù)y=2x為[0，1]→[0，2]的雙射函數(shù)，所以[0，1]和[0，2]為一一對應(yīng)的關(guān)系，而另一方面，正是由函數(shù)y=2x的存在，改變了已知條件。具體地講，在已知的條件中，[0，1]和[0，2]是兩個實數(shù)點的集合，由于函數(shù)y=2x 的存在，使這兩個實數(shù)點的集合變成另外兩個非實數(shù)點的集合，所以才產(chǎn)生了上面的疑問，如果我們考慮到這種情況，上面的證明就是完全正確的。下面我們就來回答為什么由于函數(shù)y=2x的存在，使兩個實數(shù)點的集合[0，1]和[0，2]變成另外兩個非實數(shù)點的集合。

現(xiàn)在我們令y=2x=t，其中，t表示時間，單位為米/秒，y和x表示路程，單位為米。由于y=2x=t，則y軸和x軸上的點的運動速度分別為=1米/秒，=米/秒。現(xiàn)在讓[0，1]和[0，2]在不同的坐標(biāo)軸上，例如讓[0，1]在x軸上，[0，2]在y軸上。因為y軸上點的運動速度是x軸上的點的運動速度的兩倍，這時[0，1]和[0，2]就一定是一一對應(yīng)的關(guān)系，函數(shù)y=2x也就是[0，1]→[0，2]的雙射函數(shù)。如果讓[0，1]和[0，2]都在x軸上，那么[0，1]和[0，2]上的點的運動速度相同，所以它們就一定是非一一對應(yīng)的關(guān)系，這時函數(shù)y=2x就不是[0，1]→[0，2]的雙射函數(shù)?？低兄豢吹接捎诖嬖诤瘮?shù)y=2x為[0，1]→[0，2]的雙射函數(shù)，因此[0，1]和[0，2]為一一對應(yīng)的關(guān)系，但是康托卻不知道，由于函數(shù)y=2x的存在，使得[0，1]和[0，2]上的點具有了速度的性質(zhì)。因為實數(shù)點的集合的元素是不具有性質(zhì)的，而現(xiàn)在具有了速度的性質(zhì)，這樣就由于函數(shù)y=2x的存在，使兩個實數(shù)點的集合[0，1]和[0，2]變成另外兩個非實數(shù)點的集合。在康托看來，函數(shù)y=2x為[0，1]→[0，2]的雙射函數(shù)與[0，1]和[0，2]是否在同一個坐標(biāo)軸上無關(guān)，因為康托不知道，由于函數(shù)y=2x的存在，y軸上的點的運動速度是x軸上的點的運動速度的2倍，因此，康托也就不知道，在[0，1]在x軸上，[0，2]在y軸上的時候，由于y軸上的點的運動速度是x軸上的點的運動速度的2倍，因此[0，1]和[0，2]才是一一對應(yīng)的關(guān)系，而函數(shù)y=2x才是[0，1]→[0，2]的雙射函數(shù)。但是，在[0，1]和[0，2]都在x軸上的時候，因為[0，1]和[0，2]上的點的運動速度相同，所以[0，1]和[0，2]只能是非一一對應(yīng)的關(guān)系，因此，函數(shù)y=2x就不是[0，1]→[0，2]的雙射函數(shù)。

另外，由于存在函數(shù)y=x不是[0，1]→[0，2]的雙射函數(shù)，所以在y=x存在的條件下，[0，1]和[0，2]為非一一對應(yīng)的關(guān)系。但是根據(jù)康托集合論的基本定理，由于存在函數(shù)y=2x為[0，1]→[0，2]的雙射函數(shù)，所以[0，1]和[0，2]為一一對應(yīng)的關(guān)系。這時我們就要質(zhì)問康托：[0，1]和[0，2]是一一對應(yīng)的關(guān)系，還是非一一對應(yīng)的關(guān)系？由此我們也可以看出，康托的兩個集合間的一一對應(yīng)的定義不能確定兩個實數(shù)點的集合是一一對應(yīng)的關(guān)系還是非一一對應(yīng)的關(guān)系。再有，康托的兩個集合間一一對應(yīng)的定義是一個全稱量詞命題，由于同時存在相反的命題（即在y=x的條件下，[0，1]和[0，2]為非一一對應(yīng)的關(guān)系），所以康托的兩個集合間一一對應(yīng)的定義這個全稱量詞命題就是一個錯誤的命題。另外，康托集合論的兩個集合間一一對應(yīng)的定義是判別[0，1]和[0，2]是否為一一對應(yīng)的關(guān)系，它不能改變[0，1]和[0，2]的性質(zhì)，前面已經(jīng)指出，恰恰相反，由于函數(shù)y=2x的存在，使[0，1]和[0，2]從兩個實數(shù)點的集合改變?yōu)閮蓚€非實數(shù)點的集合，因此，康托集合論的兩個集合間一一對應(yīng)的定義就是一個錯誤的定義。由于康托集合論的基本定理是根據(jù)康托集合論的兩個集合間一一對應(yīng)的定義證明的，由于這個定義是錯誤的，所以康托集合論的基本定理的證明就不能成立，所以康托集合論就是一個自相矛盾的錯誤理論。

【參考文獻】

[1][美]周-道本.康托的無窮的數(shù)學(xué)和哲學(xué)[M].大連：大連理工大學(xué)出版社.

[2]張錦文.集合論與連續(xù)統(tǒng)假設(shè)淺說[M].上海：上海教育出版社，1980，9.