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

博文

Zmn-0335 薛问天:超穷数符号的更改不是用「超穷数ω」取代了「无限极限∞」

已有 292 次阅读 2020-9-29 08:32 |个人分类:数学啄木鸟|系统分类:论文交流

Zmn-0335 薛问天:超穷数符号的更改不是用「超穷数ω」取代了「无限极限∞」

【编者按。下面是薛问天先生发来的文章。是对《Zmn-0327》林益先生文章的评论。现在发布如下,供网友们共享。请大家关注并积极评论。另外本《专栏》重申,这里纯属学术讨论,所有发布的各种意见仅代表作者本人,不代表本《专栏》编辑部的意见。】

 

 

超穷数符号的更改

不是用「超穷数ω」取代了「无限极限∞」

薛问天

xuewentian2006@sina.cn

薛问天-c.jpg对林益先生的《Zmn-0327的回复逐条评论如下。

1,林益先生还没有完全理解黄汝广先生提出的从区间(0,1)中挖去无理数的过程。

由于有理数可数,从而可以排成无穷序列y1,y2,y3,...,yn,...。按照这个序列一个一个从(0,1)中挖去。在挖去n个有理数时,剩下n+1个开区间。林先生问这些剩下的开区间的端点【是有理数还是无理数呢?】显然这些剩余的开区间的端点,就是挖掉的那n个有理数和区问(0,1)的端点0或1。当然这些端点都是有理数。

林先生再问是否在这些开区间【里就没有有理数呢?】

当然还有,才挖走n个(有穷个)有理数,这n个有理数及0,1是这n+1个开区间的端点,这n+1个开区间中每个开区间里,此时还有无穷多个有理数和无穷多个无理数。按照不同的编号规定,这n+1个开区间可以赋有不同的编号。

 

2,林益先生说的对,这是原文笔误,y1,y2,y3,...,yn,...是有理数。

林益先生问【如果假定这个无理数就是√ 2,按薛问天老师规定,要挖去的有理数是 yn是什么有理数呢?它的值是多少呢?使得√ 2< yn,又是什么有理数 yn<√ 2,】

首先请林益先生关注到原文中有个注,(注:由于 √2 不在区间(0,1)中,无理数选√ 2/10 为例。)由于我们讨论的必须是区间内的数,此数√2/10是(0,1)中的无理数,所以在后面就选无理数√2/10 来参与讨论。

其次,我们所说的「规定」只是区间编号的规定,并不影响挖有理数的顺序。挖去有理数仍按有理数序列y1,y2,y3,...的次序一个个地挖去。 【要挖去的有理数yn是什么有理数,它的值是多少】取决于开始时对有理数序列的设定。设定的yn是哪个有理数,这第n次挖去的yn,就是那个有理数,不受区间编号规定的不同而改变。此区间编号规定是,规定当√2/10<yn时应取左边的区间为保留编号,当yn<√2/10时应取右边的为保留编号。也就是说√2/10永远不会落在某新增区间之中。

林益先生接着问【也就是√2(应是√2/10) 的两边应该分别挖去哪两个有理数 ?】一共有可数无穷多个有理数,是一个一个地挖去的。所以挖去的不是两个有理数,而是在此无理数的两边按y1,y2,...的次序最后分别各挖去无穷多个有理数。这样形成的无穷序列中,只含有一个无理数√2/10。

 

3.2,3.3。关于「超穷数ω」和「无限极限∞」。

林益先生说【既然康托尔的集合论是各科数学的基础,必然包含数学分析中的极限理论,那么就应该有逻辑一致性,康托尔是用新数“ω”替换了旧的“∞”,实际已经改变了“∞”不是数的属性,为什么数学分析中还保留“∞”而改用“ω”,造成理论混乱?】

这是林益先生的一个很大的误解。在《超穷数理论基础》一书的引言中(由英文翻译者朱得因所撰写)说的那句话【为了强调这一点我们用"ω"取代了旧符号"∞"。】并不是林益先生所理解的那样:【康托尔是用新数“ω”替换了旧的“∞”,实际已经改变了“∞”不是数的属性,为什么数学分析中还保留“∞”而改用“ω”,造成理论混乱?】

恰恰相反,康托是为了将他提出的「超穷序数」同数学分析中的「无限极限」加以区分,才把它的「超穷序数」开始时所用的符号"∞",取代为另一符号"ω"。这是指的超穷数本身的符号的更改,丝毫没有用第一个超穷序数ω去取代数学分析中的「无限极限∞」的意思。在数学分析中,∞是无限极限不是数的极限理论没有改变。

关于这一点该书的引言说得很清楚。书中明确写到【...设想成在有穷序列1,2,3,...之后再接一个超穷序列,我们曾经用符号"∞"记第一个超穷数...(原书第40页)】。所以说,这里的【我们用"ω"取代了旧符号"∞".(原书第42页)】指的是【曾经用符号"∞"记第一个超穷数】后来的更改,而不是用「超穷数ω」取代了「无限极限∞」。这是林益先生的一个严重误读。

 

林益先生说:【无穷编码数(01010101⋯)与无穷编码数(10101010⋯)只是比二进小数少了小数点,当二进小数的位数趋向无穷时,二进小数的末尾都有“⋯”,(0.01010101⋯)和(0.10101010⋯)与(01010101⋯)和(10101010⋯)难道不能构成一一对应吗?】

林益先生说的这段话是对的。无穷位编码数同无穷小数之间可构成一一对应。因而上面对所有可能的「编码规定」的集合不可数,即「所有无穷位二进制编码数集合不可数」,利用幂集定理的证明,可以基本上一字不差地用来证明二进制无穷小数集合不可数。

 

林益先生问:【二进小数完全可以用乘法定理来统计其势, n位二进小数共有2n个,当n →∞时,则 2n→ 2,如果按康托尔用新数“ω”替换了旧的“∞”来证明,不是达到同样效果吗?】而且认为可数无穷集的幂集不可数,也是通过这个办法证明的。

 直率地说,这个证法是错误的。混淆了两个不同的数系,极限论论述的是【实数】,集合论这里论述的是【基数】。极限论解决不了集合论中的基数的问题。我们来具体分析。

 在极限论中∞是无限极限,它不是实数。因而当n→∞时2n→∞。也就是说当n→∞时序列2n的极限也是无穷大。并不是2n→2。∞不是实数,根本就不能参与实数的运算,2是没有意义的。怎么能作为基数不可数的证明呢?

 

林先生问【有严格证明吗?】回答是肯定的,当然有。这就是有名的康托尔幂集定理(也称康托尔定理)【任何集合的幂集的基数大于原集合的基数】。这个定理可以严格地证明,类似于对角线方法。(不要把康托尔幂集定理同集合论的幂集公理混为一谈。幂集公理说的是幂集的存在性【任何集合的幂集都是一个确定的集合】,它不涉及集合的基数。)

幂集定理的证明思路是这样的。

【证明】用反证法,假定存在集合S的基数同它的幂集P的基数相等,则集合S同P可建立一一对应关系,即存在一双射f:S→P。

我们知道,在此假定下S的任何元素s,在双射f下都对应于S的一个子集f(s)∈P。显然S中的元素s,有的s∈f(s),而有的s∉f(s)。令那些不属于f(s)的s组成S的一个子集称为B∈P。即B={s∈S丨s∉f(s)}。

令b∈S且f(b)=B。现在问b属不属于B?这里产生了一个矛盾。b∈B和b∉B都不成立。如果b∈B,由于B=f(b),因而b∈f(b),根据B的定义,b不在B集合中,即b∉B,这同b∈B矛盾。

反之,如果b∉B=f(b),则根据B的定义,又推出b∈B,也是矛盾。此矛盾推翻了反证法的假定,从而得知P同S的基数不相等。加之知P的基数大于等于S的基数,最后得出,P的基数大于S的基数的结论,证毕。

这就是康托尔的幂集定理及其严格的证明。我在《0322》中所论述的就是利用幂集定理来证明,「所有无穷位二进制编码数集合不可数」,即所有可能的「编码规定」的集合不可数。

 

3.4。我主要强调的三点

林先生所指的《易023》不是我的文章。我在当时有关二叉树的一些文章中(如《易036》,《易076》等)。没有发现有什么问题。我当时主要强调的是三点。第一点是给定n,则长度为n的所有有穷枝集合的基数为2n,是有穷集。第二点是不限定长度为n,所有的有穷枝集合的基数是可数无穷大。第三点是所有无穷枝的集合是不可数的。另外,从某结点后全标记为0的所谓0类无穷枝,同所有的有穷枝集合等势,是可数的。

不少人分不清第二点同第三点的区别,错误地以为既然不限定长度,所有任意长度的有穷枝的集合就是所有无穷技的集合。这个认识是错误的,有穷枝就是有穷枝,不管n有多大,长度为n的枝仍然还是有穷枝,它不是无穷枝,无穷枝有无穷多个结点,长度是无穷的,不等于任何n。为此我有一篇文章专门作过详细论证(《易036-吕陈君:求教-能严格证明无穷ω-二叉树可以排列完所有实数吗?薛问天的跟帖。用“逐层递增计算法”证明所有(无穷)枝集合可数的错误》)。

 

3.5,「稠密分布」「顺序排列」

我所说的「稠密分布」指的就是实数区间中的实数是从左到右,从小到大的稠密分布在数轴(直线)上的。【从左到右,从小到大】应该没有分歧,大家都承认实数集是个全序集。而且如果实数α<β,则在实数轴上点α处在点β的左边。我这里所说的「稠密分布」指的是分布在数轴(直线)上,而不是分布在二维的区域上(没有【分布对应的是区域,不是区间】这样的林益所说的规定,数学上很多「分布」,如正态分布帕松分布等讲的都是在区间上的分布)。我之所以强调「稠密分布」,就是强调实数在直线上的分布一定要满足稠密性,即任何两个实数点之间有无穷多个实数。我为什么认为把实数点在数轴上的分布称为「顺序排列」是不适当的呢?因为这会给人产生一种错觉,误以为实数是按照「无穷序列」的这种离散的方式,一个接一个地以排队的方式「顺序排列」在实数轴上。显然滿足稠密性的实数,没有相邻点,不可能一个接一个地以排队的方式「顺序排列」在实数轴上。而是以一种稠密的方式分布在实数轴上的。其实「稠密分布」和【顺序排列】,这都是一般的汉语词汇,属自然语言,不是严格的数学概念。所以用词并不重要,重要的是所指的内容,只要不产生歧义就好。只要承认实数在数轴上的分布是【从左至右,从小到大】,并且满足【稠密性】无【相邻点】,和滿足【连续性】(请注意【连续性】同【稠密性】是两个不同问特性),就应该算是基本上达成了共识。

 

林益先生最后提出了这样的问题:【是否存在两个无理数中没有有理数呢?这是否与实数稠密性和有理数稠密性矛盾呢?】

林益先生提的这个问题非常有趣,他没有说是在什么条件下来回答这个问题。条件不同完全有可能是完全相反的答案。

如果讨论的是在一个完整的区间,当然在区间中不可能在两个无理数中间没有有理数。否则就同实数的稠密性发生矛盾。但是如果我们讨论的不是一个完整的区间,而是把一个区间中全部无理数都挖走了以后剩下的数的集合。在这样的剩余数集合中,当然任意两个无理数中间就肯定没有有理数了,只有无穷多个无理数。因为在这个剩余集合中所有的有理数点都被挖走了,没有有理数,这是理所当然的事,同实数的稠密性一点矛盾都没有。而后一种情况正是我们讨论的情况。我们讨论的正是在从区间中挖走了全部有理数以后,所剩余的数集。

(全文完)



返转到

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

                   







http://blog.sciencenet.cn/blog-755313-1252534.html

上一篇:Zmn-0334 李振华:贝特朗悖论补充,再谈不可测集,无穷大运算
下一篇:Zmn-0336 薛问天:再谈【不可测集】的结构,评林益先生和李振华先生的文章。

0

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

数据加载中...

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

GMT+8, 2020-10-30 02:16

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部