Zmn-1236 余月半 : 评Zmn-1233

【编者按。下面是余月半先生的评论文章。是对李鸿仪先生的《1233》文章的评论。现在发布如下，供网友们共享。请大家关注并积极评论。另外本《专栏》重申，这里纯属学术讨论，所有发布的各种意 见仅代表作者本人，不代表本《专栏》编辑部的意见。《专栏》中有些文章发扬了啄木鸟精神，对一些错误的观点和言论进行了说理的批评。但请大家注意，也有些有严重错误的文章在这里发布，就是为了引起和得到广大网友们的评论。不要以为在这里发布的文章都是正确无误的。】

评Zmn-1233

余月半

这篇文章分为三大部分

第一部分 ：批判

讲那么多，实际上就是在批判定义

很明显，两个集合A、B 一 一对应的定义是 存在 A到B直接的双射，这是定义，定义还需要证明？脑子有坑吧 ？

第二部分 ： 证明，有点干货，但不多

可惜这个证明是错误的

首先，他对两个集合A、B进行某种排序

A的某种排序  {ak}

B的某种排序  {bk}

按照这个顺序，ak 对应 bk 是一个双射 f

然后对B进行重排

{b'k}

然后他认为按这个顺序  ak -->b'k ，也是一个双射 ，记作 g

错误点，

1、没有证明g是一个映射，也就是说没有证明每一个 a 都用上了

他只是证明了  两个不同的 ai,aj  , 如果 有 相应的  b'i,b'j 对应，那么  b'i ≠ b'j

但他并没有证明  ak  一定会有  b‘k  相对应

同样的，也没有证明 是满射，即没有证明  每个 b' 都用上了

----------------------------------------------------

又因为B'包含了所有原来B的元素（只是次序不同），所以对于B'中的任意元素b'k，总能在A中找到某个元素am使得g(am) = b'k

--------------------------------------------------

他原文里面的这句话有问题，正确的表达的应该是

-----------------------------------------------------

又因为B'包含了所有原来B的元素（只是次序不同），所以对于B'中的任意元素b'k，总能在A中找到某个元素am使得f(am) = b'k

-----------------------------------------------------

一字之差，谬之千里

第三部分就不必再讲了

用一个错误的结论作为条件，得出的错误结论罢了

【编者注。读者可点击頁面最上面的〖博文〗这个选項，来查找本《专栏》的其它文章。】