哥德巴赫猜想擂台

任在深

雷明85639720 发表于 2019-6-5 08:16
老任又来了？

哈哈！
        本来不想参与，
        看大家的热情很高，可惜没高在点子上！？
        心里很急呀！！
        尤其是您，更是让人着急？！

lusishun

证明了哥猜（一般指任一大偶数是两素数之和），三素数问题就是很简单了。
任一个大于9的奇数，都是3加偶数，后边的偶是两素数的和，则奇数就是三素数之和。

195912

雷  明 先生:
         先生说:
      "数有无穷多个，除去唯一的偶素数2外的所有奇素数也是无穷多的，是一个可数集合，与自然数集合N有一一对应的关系。用Q表示奇素数集合，则Q与N等势，即Q～N。把Q中的每一个元素都与其他元素相加一次，包括自身相加的一次在内，可得到可数个可数集合。这些集合的并集仍是可数集合，用A表示这个并集，也有A～N。A中的元素都是偶数，且数值最小的元素是6。由于所有大于等于6的偶数的集合B也与N等势，即有B～N，所以也有A～B。因此，A也就是所有大于等于6的偶数的集合。又因为A中的任一个元素都是由两个奇素数相加得到的，所以就有任何大于等于6的偶数都是两个奇素数的和的结论。又因为偶数4是唯一的偶素数2自身相加的结果，所以又有任何大于等于4的偶数都是两个素数的和的结论。这就证明了哥猜是正确的。"
          在上述论证内,先生并没有证明:
                     Q～N ,
亦没有证明
                      A～N
而
                      B～N
没有任何理论依据.这样,结论
                      A～B
便没有意义.

       定理.    如果存在集A上到B的一个子集的一个一对一函数,同时存在B上到A的一个子集的一个一对一函数,则A与B等势.

雷明85639720

1、两个集合有一一对应的关系，则这两个集合等到势；
2、与自然数集合等势的集合是可数集合；
3、自然数集合也是可数集合；
4、所有可数集合是一个类，这类集合的势都相同；
5、我说的那些集合都是与自然数集合有一一对应关系的，所以它们都是等势的，都是可数集合。
6、可数集合的任何无穷子集合都是可数集合；
7、可数集合与它的有穷子集合的差集是可数集合；
8、有穷集合与可数集合的并集仍为可数集合；
9、一个有穷集合与一个可数集合的并集仍为可数集合；
10、有限个有穷集合与一个可数集合的并集仍为可数集合；
11、任何可数集合，必定有可数的真子集合；
12、两个可数集合的并集仍为可数集合；
13、有限个可数集合的并集仍为可数集合；
14、可数个可数集合的并集也是可数集合。

任在深

部队吹哨------紧急集合！

195912

雷  明 先生:
         集合  A～B  等势的充要条件是
       如果存在集A上到B的一个子集的一个一对一函数,同时存在B上到A的一个子集的一个一对一函数,则A与B等势.
         即存在
            f 是 A到B内的一个一对一映射,并且 g是 B到A内的一个一对一映射.
         在先生的论文内找不到这样的论述.
        如果先生的论文做为证明哥德巴赫猜想的一种思路,一个提纲是可以的.然后展开论证,而不是让读者去寻找理论依据.

雷明85639720

一个集合为可数集合的充分与必要条件是可以把集合中的元素编号为{a1，a2，……，an，……}，你说，我的短文里的那一个集合不能进行编号呢。这不就是该集合到自然数集合的一个一一对应吗。

195912

雷  明 先生:
         两个可数集之间是不是等势，需要构造函数 f,g.其中f 是 A到B内的函数, g是 B到A内的函数,请问 f 在哪里? g 在哪里?

雷明85639720

自然数集合是可数集合，我的那些集合也可以编号，当然也是可数集合，同样都是可数集合为什么不能等势呢，他们的势不就都是α吗。

任在深

雷明85639720 发表于 2019-6-6 22:17
自然数集合是可数集合，我的那些集合也可以编号，当然也是可数集合，同样都是可数集合为什么不能等势呢，他 ...

请注意！
            集合不是纯粹数学的理论！
            数学不是臭鞋乱袜子，也不是灯红酒绿的集合！
            因此康托的集合论以及ZFC不是数学，更不是理论基础！因为大圈套小圈不是数学，他们的邪说根本没有涉及数学的理论！
           数学具体来说如果指的是纯粹数学，那么她所探讨的是宇宙空间形的结构以及结构之间的关系！
      "集合论”该离休了！