《数学啄木鸟专栏》分享 http://blog.sciencenet.cn/u/wenqinghui 对错误的数学论点发表评论

博文

[转载]Zmn-0758 [转载] 薛问天:易129-读康托尔对角线法的原文

已有 216 次阅读 2021-12-5 11:40 |个人分类:数学啄木鸟|系统分类:论文交流|文章来源:转载

Zmn-0758  [转载] 薛问天:易129-读康托尔对角线法的原文

【编者按。最近Thebeater先生的文章提到康托尔对角线法的原文。刚好,我们早期的易网《评论园地》上登过薛问天先生的一篇文章。现在转载发布如下,供网友们共享。请大家关注并积极评论。另外本《专栏》重申,这里纯属学术讨论,所有发布的各种意见仅代表作者本人,不代表本《专栏》编辑部的意见。】

 

转载129-薛问天:读康托尔对角线法的原文  

2014-05-17 22:40:06|  分类: 评论园地  

【文清慧注:下面是薛问天先生投给评论园地的文章】

 

 读康托尔对角线法的原文

薛问天

沈先生质疑康托尔的对角线法的一个论点就是认为,康托尔所证明的只是一个具体特殊的对应下实数与自然数不能一一对应,不能得出实数不可数的结论。显然他没有理解,康托尔定理所证明的是所有的NR的映射,都不是NR的一一对应。这里强调映射的任意性,证明的是所有的NR的映射,并不是具体特殊的映射不是一一对应。

既然实数集合R可数是指存在一种NR的映射是一一对应,那么证明实数集合R不可数就是要证明任何NR的映射都不是一一对应。对角线方法可以证明对任何NR的映射f,都存在一个实数b,不在fN)中,从而可知,f不是一一对应。这里特别强调f的任意性,从而证明的结果是任何NR的映射f都不是一一对应,于是得出R不可数的结论。

不过这个证明是直接用可数的一一对应的定义,直接证明R的不可数性。并不是利用“反证法”的证明。

我最近发现利用“反证法”的证明,没有必要强调f的任意性,不需要证明“任何NR的映射f都不是一一对应”,只需要证明那个存在的、具体的、假定是一一对应的映射f不是一一对应,从而产生了矛盾,即可否定反证法的假定。

用“反证法”,假定R是可数的。进而根据可数的定义,推导出存在一种NR的映射f是一一对应,然后用对角线方法证明这个映射f不是NR的的一一对应。于是产生了矛盾(映射fNR的一一对应,又证明不是NR的一一对应)。从而否定了“R是可数的”假定,得出R不可数的结论。显然,这里的对角线法没有必要强调f的任意性,只要证明那个根据可数的定义所存在的、具体的、是一一对应的映射f不是一一对应即可。这个证明同前面所说的证明思路是有区别的,前面的证明是用对角线法直接证明R不可数,需要强调f的任意性。而这个证明用的是反证法,只要推导出矛盾,就可否定“反证法”的假定,不必要强调f的任意性。

这就引起了我的兴趣,到底康托尔原来是怎么证明的,是直接证明,还是用的反证法的证明。于是我在网上查到了康托尔对角线方法的原文。果然不出我所料,康托尔对角线方法用的是直接的证明,而不是用的反证法,必须要强调f的任意性。不过他不是一上来就证明R不可数,而是先证明由01构成的无穷序列的集合M是不可数的,即它的元素不可能全部排成一个序列。证明的思路就是:对于集合M中元素的任何一个无穷序列,证明总存在M的一个元素E0,它不可能是序列中的任何一个元素Eν。证明中自然要强调无穷序列的任意性。有了这个证明以后,再作为推论证明任意区间(a,b)中的实数不可数。

现在流行的教科书中的用反证法证明实数不可数的方法,不知最早出自何人之手。我认为在用反证法的证明中,没有必要强调f的任意性,只需要证明那个根据反证法的假定而存在的那个一一对应f不是一一对应即可,就可产生矛盾否定反证法的假定,并不必强调它的任意性。这两个证明的思路是不同的。

康托尔的对角线法的证明的原论文是:

G. Cantor: Uber eine elementare Frage der Mannigfaltigkeitslehre, Jahresbericht der Deutschen Math. Vereinigung I (1890-91) 75 - 78.

是用德文发表的。下面我根据查到的英文译文,翻译成中文同网友们共享。

 

中文译文:

在标题为论所有实代数数(real algebraic numbers)集合的一个属性 Journ. Math. Bd. 77, S. 258)的这篇文章中或许是第一次给出了下述命题的证明:存在有一个无穷集合,它不能与所有的有穷正整数1,2,3,…,ν,…的全体建立一一对应。或者如我常说的那样:它没有能力排成像数的序列1,2,3,…,ν,…一样。从§2证明的命题可以推出另外的命题,例如,任意区间(a,b)中的实数的全体不能排成序列:

ω1, ω2, ..., ων, ...

然而,这个命题存在有更简单的一个证明,它不依赖于对无理数的考虑。

亦即,让mw是两个不同的字符,并考虑这样的元素E的集合M

E = ( x1, x2, xν, ... ),

它基于于无穷多个坐标x1, x2, … , xν , …,其中每个坐标是mw。令M是所有这样的元素E的全体

例如,下面这3个就是属于M的元素:

EI = ( m, m, m, m,... ),
EII = ( w, w, w, w, ... ),
EIII = ( m, w, m, w, ... ).

 

我现在就要论证,这样的集合M不具有排成序列1, 2, 3, …, ν, ….的能力。这是由下面的命题推出的:

“如果E1, E2, …, Eν , …是集合M中元素的任何一个无穷序列,那么总存在M的一个元素E0,它不可能是序列中的任何一个元素Eν

为了证明这点,令

E1 = ( a1,1, a1,2, ..., a1,ν, ... )
E2 = ( a2,1, a2,2, ..., a2,ν, ... )
…………
Eμ = ( aμ,1, aμ,2, ..., aμ,ν, ... )
…………

其中字符aμ,ν仍然是m或者w于是存在有这样定义的一个序列b1, b2, … bν,…使得bν仍然等于m或者w但是与aν,ν的值不同。即如果aν,ν = m, bν = w,(反之如果aν,ν = w, bν = m

接着,我们考虑M的元素

E0 = ( b1, b2, b3, ... ),

人们可以直接看出,对于任何正整数μ, 等式E0 = Eμ 都是不可能满足的。否则, 对此μ 和所有的ν的值,有.bν = aμ,ν

因此特别地,我们有bμ = aμ,μ,但是根据bν的定义这是不可能的。

由此命题可以立即推出:M的所有元素的全体不可能排成序列:E1, E2, …, Eν, …否则会得出矛盾:E0既是M的元素,又不是M的元素。

[后半部分被英文译稿省略。]

 

附英文译稿全文:

In the paper entitled "On a property of a set [Inbegriff] of all real algebraic numbers" (Journ. Math. Bd. 77, S. 258), there appeared, probably for the first time, a proof of the proposition  that there is an infinite manifold, which cannot be put into a one-one correlation with the totality [Gesamtheit] of all finite whole numbers 1, 2, 3, …, ν, …, or, as I am used to saying, which do not have the power (M?chtigkeit) if the number series 1, 2, 3, …, ν, ….  From the proposition proved in § 2 there follows another, that e.g. the totality (Gesamtheit) of all real numbers of an arbitrary interval (a ... b) cannot be arranged in the series

 

ω1, ω2, ..., ων, ...

 

However, there is a proof of this proposition that is much simpler, and which does not depend on considering the irrational numbers.

Namely, let m and n be two different characters, and consider a set [Inbegriff] M of elements

 

E = ( x1, x2, xν, ... ),

 

which depend on infinitely many coordinates x1, x2, … , xν, …, and where each of the coordinates is either m or w.  Let M be the totality [Gesamtheit] of all elements E.

To the elements of M belong e.g. the following three:

 

EI = ( m, m, m, m,... ),
EII = ( w, w, w, w, ... ),
EIII = ( m, w, m, w, ... ).

 

I maintain now that such a manifold [Mannigfaltigkeit] M does not have the power of the series 1, 2, 3, …, ν, ….

 

This follows from the following proposition:

 

"If E1, E2, …, Eν, … is any simply infinite [einfach unendliche] series of elements of the manifold M, then there always exists an element E0- of M, which cannot be connected with any element Eν."

For proof, let there be

E1 = ( a1,1, a1,2, ..., a1,ν, ... )
E2 = ( a2,1, a2,2, ..., a2,ν, ... )
…………
Eμ = ( aμ,1, aμ,2, ..., aμ,ν, ... )
…………

 

where the characters aμ,ν are either m or w.  Then there is a series b1, b2, … bν,…, defined so that bν is also equal to m or w but is different from aν,ν.

ν

Thus, if aν,ν = m, then bν = w.

Then consider the element

 

E0 = (b1, b2, b3, …)

 

of M, then one sees straight away, that the equation

 

E0 = Eμ

 

cannot be satisfied by any positive integer μ, otherwise for that μ and for all values of ν.

 

bν = aμ,ν ,

and so we would in particular have

 

bμ = aμ,μ ,

 

which through the definition of  bν is impossible. 

From this proposition it follows immediately that the totality of all elements of M cannot be put into the sequence [Reihenform]: E1, E2, …, Eν, … otherwise we would have the contradiction, that a thing [Ding] E0 would be both an element of M, but also not an element of M.

[Second half omitted.  Cantor proves the more general theorem that the power of well-defined manifolds have no maximum].

 

附德文原稿全文:(略)

 

 




返转到

   zmn-000文清慧:发扬啄木鸟精神-《数学啄木鸟专栏》开场白及目录

       







https://m.sciencenet.cn/blog-755313-1315261.html

上一篇:Zmn-0757 Thebeater: 我们为什么要研究实数不可列?评0751, 0738, 0736。
下一篇:Zmn-0759 师教民:02给侯小山先生的请教信

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2022-1-24 22:39

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部