用数集合论的方法证明哥德巴赫猜想

雷明85639720

用数集合论的方法证明哥德巴赫猜想
雷  明
（陕西金堆城钼业公司退休高级工程师   邮编：710100
Email：lm85639720@163.com）
（二○一九年六月十四日）

【摘  要】  用数集合论中集合等势的理论，可以证明每一个奇素数都与所有的奇素数相加一次后，所得到的集合就是大于等于6的所有偶数的集合，据此，就可以证明哥德巴赫猜想是正确的。
【关键词】  素数  偶素数  奇素数  集合  可数集合  等势

用数集合论的方法证明哥德巴赫猜想的想法，我曾于2006年8月10日，在宁夏银川召开的“第五届全国现代科学计算研讨会、第二届西部地区计算数学年会暨首届海内外华人青年学者计算数学交流会”（简称“数学三会”）的分组学术报告会上作过摘要性的学术论文报告。我的想法也得到了与会专家学者的肯定。我的摘要报告刊登在会议的《论文摘要集》中。
1、哥德巴赫猜想
哥德巴赫猜想是在1742年由德国数学家哥德巴赫提出来的。其内容分两个部分：第一部分是任何大于等于4的偶数都是两个素数的和，即“1＋1”；第二部分是任何大于等于7的奇数都是三个素数的和。至今，猜想提出已有277年，却一直未能得到理论上的证明是否正确。在一般情况下所说的“哥猜”，主要就指的是第一部分的“1＋1”，只要证明了第一部分，第二部分也就迎刃而解了。
2、破解“哥猜”难题的思路
由于偶数是无穷多的，我们不可能把一个个的偶数都分解成两个素数的和的，也是永远也分解不完的。但我们可不可以通过无穷的数集合理论，把每一个奇素数都与所有的奇素数相加一次（包括自身相加的一次在内）的办法，得到一个与大于等于4的所有偶数集合相同的集合呢。这不就也可以得到大于等于4的所有偶数都是两个素数的和的结论吗。如果这个想法可以实现，哥德巴赫猜想不就得到了证明是正确的吗。这也就是我的反求思路的设想。
3、素数集合S是一个可数集合
众所周知，素数有无穷多个，所以全体素数的集合
S＝{ 2，3，5，……│si是只能被1和它自身整除的自然数 }
是一个无穷集合。
集合论里有一个判定可数集合的定理：“集合A为可数集合的充分与必要条件是可以把A的元素编号为
A＝{ a1，a2，a3，……，an，…… }”［1］，
这个编号ｉ就是集合A到自然数集合N间的一一对应。“显然，法则ψ：an→n是A到N的一一对应，故A为可数集合”［1］。根据集合等势的定义：“设A、B是两个集合，若存在A到B的一一对应，则称A与B等势（等浓度、对等、等价），记为A～B”［1］可知，集合A与自然数集合N是两个等势的集合，即有A～N。
同样，全体素数的集合S中的元素也是可以按其数值的大小，从小到大依次的进行编号的，即有
S＝{ s1，s2，s3，……，sn，…… }。
说明S也是可数集合。S既是可数集合，这也就在全体素数的集合S的元素si与自然数集合N的元素n之间建立了一一对应的关系，所以也就有S与N等势，即有S～N。这是从S中的元素可以进行编号的角度出发得出S是可数集合并与自然数集合N等势的。
另外，根据可数集合的定义：“若集合A与自然数集合N等势，即A～N，则称A为可数集合”［1］也可知道，全体素数的集合S也应是可数集合。S既是可数集合，那么也就应有S～N。这又是从可数集合的定义的角度出发得出S是可数集合并与自然数集合N等势的。
还有，因为“自然数集合是最简单的无穷集合”［1］，且“因为自然数集合N有N～N”［1］，所以“自然数集合也是可数集合”［1］。又由可数集合的定义和集合等势的性质（反射性，对称性，传递性）可知：“若A、B为可数集合，则A～B。因此，所有可数集合组成一个类，这个类里的集合的势都是相同的，用α表示”［1］可知，因为全体素数的集合S和自然数集合N都是可数集合，所以也应有S～N的关系。
以上分别从三个不同的角度出发，都说明了全体素数的集合S是一个可数集合并与自然数集合N等势。
    4、奇素数集合Q也是一个可数集合
因为全体素数的集合S中只有一个素数2是偶素数，其余皆为奇素数。所以偶素数集合O中只有一个元素2，是一个有穷集合。根据集合论里的定理：“可数集合与它的有穷子集合的差集是可数集合”［1］可知，素数集合中除去唯一的偶素数2这个有穷的子集合{2}外，由所有的奇素数构成的奇素数集合Q＝S－O是
Q＝{2，3，5，……│si是只能被1和它自身整除的自然数}－{2}
＝{ 3，5，7，……│qi是只能被1和它自身整除的奇数 }，
奇素数集合Q里的元素也是可以按其数值的大小，从小到大依次将其编号为
Q＝{ q1，q2，q3，……，qn，…… }
的。可见，奇素数集合Q也是一个可数集合。即奇素数也有无穷多个。这也就在奇素数集合Q与自然数集合N之间建立了一一对应的关系，也就有奇素数集合Q与自然数集合N等势，即Q～N。
5、并集A中的元素都是大于等于6的偶数
这一步也就是证明中的关键的一步。把奇素数集合Q中的每一个元素qi都与奇素数集合Q中的所有的元素都相加一次，包括它自身相加的一次qi＋qi在内，即可得到可数个可数集合，即
A1＝{ q1＋q1，q1＋q2，……，q1＋qm，…… }
＝{ a11，a12，a13，……，a1m，…… }
A2＝{ q2＋q1，q2＋q2，……，q2＋qm，…… }
＝{a21，a22，a23，……，a2m，……}
……………………
An＝{ qn＋q1，qn＋q2，……，qn＋qm，……}
＝{an1，an2，an3，……，anm，……}
……………………，
再根据集合论里的定理：“有限个或可数个可数集合的并集仍为可数集合”［1］可知，这可数个可数集合的并集
A＝A1∪A2∪A3∪，……，∪An，……
仍是一个可数集合，这个并集A里的元素也是可以按其数值的大小，从小到大依次将其编号为
A＝{ a1，a2，a3，……，an，…… }
的。可见，并集A也是一个可数集合，并与自然数集合N也应有一一对应的关系，即有A～N。
由于奇素数集合Q中的元素都是大于等于3的奇数，且并集A中的每一个元素都是由奇素数集合Q中的两个元素相加的结果，所以我们所得到的这个并集A中的元素也都是大于等于6的偶数。
6、大于等于6的所有偶数集合B也是可数集合
由集合论中知道，全体偶数所构成的集合
C＝{ 2，4，6，……，2n，…… }
是一个可数集合，有C～N的关系。也因为有“可数集合与它的有穷子集合的差集是可数集合”［1］的定理，所以可数集合C与有穷集合{2，4}的差集B＝C－{2，4}是
B＝{2，4，6，……，2n，……}－{2，4}
＝{ 6，8，10，……，2（n＋2），…… }，
这就是大于等于6的所有偶数的集合。这个大于等于6的所有偶数的集合B里的元素，也可以按其数值的大小，从小到大依次将其编号为
B＝{ b1，b2，b3，……，bn，…… }
的。可见，大于等于6的所有偶数的集合B也是一个可数集合，也与自然数集合N也应有一一对应的关系，也有B～N。
7、集合N，S，Q，A和B都是等势的可数集合
从以上的分析可以看出，自然数集合N，全体素数的集合S，全体奇素数的集合Q，和我们这里所得到的那个并集A以及大于等于6的所有偶数的集合B都是可数集合。由“所有可数集合组成一个类，这个类里的集合的势都是相同的，用α表示［1］”可知，以上的集合不但都是可数集合，而且又都是等势的无穷集合，其势都是α。
    8、并集A与集合B是同一个集合
根据集合等势的传递性：“集合A与集合B等势，集合B与集合C等势，则集合A与集合C等势［1］”可知，因为我们所得到的并集A与自然数集合N等势，又因为大于等于6的所有偶数的集合B也与自然数集合N等势，即有B～N，按集合等势的对称性，也就有N～B，所以也就有我们所得到的并集A与大于等于6的所有偶数的集合B等势的结论，即有A～B。
集合A与集合B等势，说明两个集合中有同样多的元素。因为“集合里若干个相同的元素只能算作一个，也只用一个符号表示出来”［1］，也即“集合里的元素是不重复出现的”［1］，这就是说，并集A里相同的元素再多，但它们在集合A里却只能占有一个元素的位置。这也就说明了我们所得到的那个并集A与大于等于6的所有偶数的集合B同样都是大于等于6的所有偶数的集合，是同一个集合。即有 A＝B和
{a1，a2，a3，……，an，……}＝{b1，b2，b3，……，bn，……}，
同样也有
a1＝b1，a2＝b2，a3＝b3，……，an＝bn，……
集合A与集合B中的元素不但数量相等，而且在两个集合中，对于大于等于6的所有偶数来说，一个也不多，一个也不少，并且是一一对应的。也就是说，两个集合中的元素都是大于等于6的所有偶数。
9、任何大于等于6的偶数都是两个奇素数的和
因为我们所得到的并集A中的每一个元素都是由两个奇素数相加所得到的，那么也就可以说集合B中的每一个元素也可以由两个奇素数相加而得到，所以也就有大于等于6的所有偶数都是两个奇素数的和的结论。
10、任何大于等于4的偶数都是两个素数的和
因为偶数4是唯一的偶素数2自身相加的结果，集合{4}又是一个只有一个元素的有穷集合，根据“一个有穷集合与一个可数集合的并集仍为可数集合”［1］的定理可知，集合{4}与可数集合A或可数集合B的并集
{4}∪A＝{ 4，6，8，……，2（n＋1），…… }
或
{4}∪B＝{ 4，6，8，……，2（n＋1），…… }
都是大于等于4的所有偶数的集合，也都是可数集合。集合{4}∪A和集合{4}∪B中的元素也都是可以按其数值的大小，从小到大将其编号为
{4}∪A＝{ a1，a2，a3，……an，…… }
和
{4}∪B＝{ b1，b2，b3，……bn，…… }
的。都是与自然数集合N有一一对应的关系的可数集合。
从上面的证明中可以看出, 大于等于4的所有偶数的集合{4}∪A或{4}∪B中的所有元素都是由全体素数的集合S中的两个元素——素数——相加的结果所构成, 所以也就有任何大于等于4的偶数都是两个素数的和的结论。这就证明了哥德巴赫猜想的第一部分“1＋1”是正确的。
11、“哥猜”第二部分的证明
若把哥猜的第一部分用公式2n＝s1＋s2表示（式中n为自然数，n≥2，s为素数。s1＝s2时，s1，s2≥2；s1≠s2时，s1，s2≥3）。在该式的两边同时加上一个大于等于3的奇素数s3得2n＋s3＝s1＋s2＋s3。因为s3≥3且是奇数，把左边的s3用2n－1（n≥2）表示得4n－1＝s1＋s2＋s3（式中n为自然数，n≥2，s为素数。s1＝s2≠s3时，s1，s2≥2，s3≥3；s1≠s2≠s3时，s1，s2，s3≥3）。当n≥2时，公式左边的4n－1就是大于等于7的奇数，所以也就有任何大于等于7的奇数都是三个素数的和的结论。哥德巴赫猜想的第二部分也是正确的。
附：n≥2时，4n－1就是大于等于7的所有奇数的证明：
因为s1＋s2≥4，又s3≥3，则有s1＋s2＋s3≥4＋3≥7。按照习惯表示方法，把4n－1（n≥2）改成2n－1（n≥4），则有4n－1（n≥2）＝2n－1（n≥4），公式就变成2n－1＝s1＋s2＋s3（式中n为自然数，n≥4，s为素数。s1＝s2≠s3时，s1，s2≥2，s3≥3；s1＝s2＝s3或s1≠s2≠s3时，s1，s2，s3≥3）。这就证明了当n≥2时，4n－1就是大于等于7的所有奇数。
12、哥德巴赫猜想是正确的
至此，哥德巴赫猜想的两个部分均已得到了证明都是正确的，所以哥德巴赫猜想是正确的。

雷  明
二○一九年六月十四日于长安

    参考文献：[1] 肖鹏一，《集合与逻辑代数》中的第二章《集合》，科学出版社，1983年7月第一版，1985年3月第二次印刷。

注：此文初稿已与二○一九年六月三日在《中国博士网》上发表过，网址是：
此稿也于二○一九年六月十七日在《中国博士网》上发表过，网址是：

lkPark

你的S是一个无穷素数集则该集是不明确集，则你不能用该集来证明哥猜（无限明确素数集猜想），则你的证明失败且错误。到现在为止，没有任何人并且也不可能在计算系证实素数有无限多，而殴的所谓证明不属于计算系的素数无限多，所以在计算系证明哥猜根本不可能。

雷明85639720

lkPark 先生：
请你指出具体的问题来.

雷明85639720

lkPark 先生：
请你指出具体的问题来.

朱明君

用数集合论的方法证明不了哥德巴赫猜想

雷明85639720

lkPark 先生并朱明君：
1、你们应具体的指出我的文章那里有错误，而不应应当一概的否定，把具体的错误指了出来，不用你们说用数集合论的方法证明不了哥猜，我自已就会自已否定自已的。朱明君你自已也在研究难题，如果我不指出你文章中的具体问题，就一概的否定你的研究，或者说你的方法是不能解决问题的。你又是怎么的心情呢？
2、我所用的定义，定理，术语以及专业名词，都是集合论中已有的，大家都能明白的，如果你们还有不明白的地方，请提出 ，我再给你们讲一讲。可是lkPark 先生在上面的评论贴中所用的定义，定理，术语以及专业名词却是集合论里没有的，叫人难以理解，看不明白你是在说什么。看来你也就只有这个水平了，就这样的水平你还能研究难题？
3、请lkPark 先生把你的“不明确集”（相应的也就应有“明确集”），“无限明确素数集”，“计算系”，“计算系的素数无限多”等名词和术语明确的解释清楚。只有相互明确了对方是在说什么，才能进行讨论，或者是评论，辨论的。否则就是瞎说，不负责任。
”

雷明85639720

lkPark 先生：
你不是也在证明素数是无穷集吗，为什么在评论我的文章时，又说“到现在为止，没有任何人并且也不可能在计算系证实素数有无限多”呢。请你自完其说。

lkPark

雷明85639720 发表于 2019-6-19 07:03
lkPark 先生：
你不是也在证明素数是无穷集吗，为什么在评论我的文章时，又说“到现在为止，没有任何人并 ...

如果存在数P，而不存在P＝f（n），则称P在计算系中不明确或不可计算，则由无限个P构建的无穷集为无限不明确集。

雷明85639720

难道素数是只能被1和它自身所整除的自然数这个概念也不明确吗。请你把数2用你的那个P=f（n）表示一下看一看。还有其他的几个概念你还没有解释呢。

雷明85639720

lkPark 先生：
1、你说我的“S是一个无穷素数集则该集是不明确集”，并且说“到现在为止，没有任何人并且也不可能在计算系证实素数有无限多，而殴的所谓证明不属于计算系的素数无限多，所以在计算系证明哥猜根本不可能。”  看来这里关键的地方是“计算系”，你能说明“计算系”是指什么吗？
2、你对素数的个数的证明结果也是得到了素数有无穷多个，为什么欧几里德证明的素数也有无穷多个的结论就又是错的呢，你能说出其中的原委吗？
3、你道底认为素数是无穷多的，还是不是无穷多的呢？如果你认为不是无穷多的，那么就一定存在着最大的素数和第二大素数，该两个素数的和，就应是可以写成两个素数的和的最大偶数，那么大于这个偶数的偶数，不就是不能写成两个素数的和的偶数吗？这不就说明了哥德巴赫猜想是不正确的吗？你敢公存你这个结论吗？抢上一个证明了哥猜是不成立的第一人呢？