b*******n
发帖数: 1267 | 1 关于连续统假设的评论
吕陈君
1. 连续统假设的来源及其历史演变
连续统假设（简称CH），是康托在创立集合论时提出的一个问题，要了解这个问题，就
必须了解康托是怎样建立集合论的。
康托采用了两种方法来构造越来越大的无穷集合。[1]第一种方法是利用幂集合，他证
明了一个集合总比其幂集合要小，而且自然数集N的幂集合P(N)与实数集R等势（即元素
个数相等）。这样，从自然数集N开始，利用幂集合方法，就可以形成一系列越来越大
的无穷幂集合
N, P(N), P(P(N)), ……
第二种方法是利用超穷数，康托提出了生成超穷序数的三条原则: 第一原则，从1开始
，任何序数α加1后仍是一个序数。这样，从1开始，就可以形成一个无穷序数序列
1, 2, 3, …, n, ……
在这个无穷序数序列中没有最大序数存在; 第二原则，如果一个无穷序数序列中没有最
大序数，那么必然存在一个极限序数ω，这是一个新的序数。这样，从ω开始反复加1
，又可以得到一系列无穷极限序数
ω, …, 2ω, …, ω2,…, ωn,……
但这些极限序数都是等势的。第三原则，康托认为，这个极限序数序列中也没有最大序
数，所以必然存在一个更大的超穷序数ω1，它比上述序列中任何一个极限序数的势都
要大。这样，反复利用这三条原则，就可以形成一系列越来越大的无穷极限序数（又被
称为超穷基数）
ω1, …, ω2, …, ωn, ……
康托自然就提出这样一个问题：实数集R的基数2ω到底和上述哪个超穷基数等势呢？他
认为2ω等于ω1，这就意味着在N和R之间不存在其他无穷集合。但康托不能给出证明，
这一问题就被称为连续统假设。后来人们把CH进行了推广，认为对于任何一个超穷基数
ωn,都有2ωn=ωn+1成立，这就是广义连续统假设GCH。
但不久人们就在康托的集合论中发现了悖论，为了消除这些悖论，就开始对集合论进行
公理化处理，并先后建立了几个集合论公理系统，这些系统被证明都是等价的。人们通
常使用的是蔡梅罗和弗兰克尔建立的系统ZFC。进行公理化后，基本上都能消除悖论。
但是，接着又出现了新的问题。哥德尔和柯恩一起证明了：CH在ZFC中是不可判定的。
这一结果立即引起了人们对数学基础问题的极大争论。其中哥德尔和柯恩两人的看法是
具有代表性的，这有点像量子力学解释中的争论，柯恩相当于波尔，哥德尔相当于爱因
斯坦。
柯恩是个形式主义者，他认为CH问题“是没有内在的意义的”，[2]在他看来，CH在集
合论中的地位，就类似于平行公理在几何学中的地位，它可能成立也可能不成立，因此
就存在不同的集合论公理系统，就好像存在不同的几何学一样，他还把CH不成立的集合
论称为非康托集论。[3]柯恩的看法赢得了大多数数学家的赞同，这是主流的观点。一
些极端的形式主义者甚至认为2ω可以等于任何一个ωn，每一种可能都描述了连续统上
一种不同的流形结构。[4]从这种意义上来说，CH问题已经得到了解决。
但哥德尔恐怕很难同意上述意见，他是个客观主义者也可以说是柏拉图主义者，他认为
像CH这样一个命题是完全可以作出判定的，而CH在ZFC中的不可判定性，“只能意味着
这些公理没有包括那个实在（指连续统）的完备的描述”。[5]这种语气就很像爱因斯
坦了。说得更直观一点，像“在自然数集N和实数集R之间究竟还有没有另一个无穷集合
”这样的问题，似乎是应该有一个明确结论的。从这种意义上来说，CH问题还没有得到
解决。
但究竟怎样来解决CH问题，两人的意见是一致的，那就是必须重新考察集合论基础。哥
德尔认为：“这些问题的完全解决，只有通过对在它们中出现的词项（如‘集合’、‘
一一对应’，等等）和支配这些词项的使用的公理进行（比通常所作的）更深入的分析
，才能得到。”[6]柯恩也认为，如果要来“发展我们的哪些公理应当被接受”，那“
我们必须整个地放弃科学的计划并且返回差不多是本能的水平，即与人们最初开始思考
数学问题时的精神状态多少相似的状态。”[7]而且两人都猜测，CH很有可能是不成立
的。对此柯恩说得很明白：“由构造幂集提供的连续统，不是用以替换公理为基础从较
低的基数出发构造较高的基数的任何过程可以达到的。这样，2ω将被认为大于ω1，ω
2，ωn的基数。”[8]也就是说，2ω要大于任何超穷基数。而这正是我所证明的结果。
2．关于连续统假设的否定性证明简介
从1995年到2004年，我差不多花了十年时间来钻CH问题。我的证明思想是非常直观和简
洁的，但整个证明的展开却非常复杂和精致。如果不是感受到证明中的美，我是不会花
这么大的精力和这么长的时间来投入其中的，这种感受也只有亲身经历过的人才能懂得。
我的出发点很简单：就是要把N的子集合来排成一个良序集。弗兰克尔曾经指出过，由
子集合公理和选择公理产生的子集合可能与幂集合公理产生的子集合有很大差别，弗兰
克尔曾明确指出：“Cantor认为，S的子集合就是S的一部分，子集合公理和选择公理产
生的子集合可能与Cantor的子集合概念有很大区别。在没有弄清楚子集合的确切含义之
前，不可能确定子集合的数目。”[9]而这也正是柯恩的猜测。根据选择公理，我们可
以将N的子集合排成一个良序集。选择公理的直观含义是指：对于任何一个无穷集合，
我们都可以从中取出一个“代表元素”来，也就是说，我们可以从无穷集合中取出它的
任何一个元素来组成一个新的集合。[10]这样，按照自然数的顺序依次取出1，2，3，
…，n，……来作为“代表元素”，就可以把N的子集合排成如下一个良序集：
｛1｝，｛1，2｝，｛1，3｝，｛1，2，3｝，｛1，4｝，……
｛2｝，｛2，3｝，｛2，4｝，｛2，3，4｝，｛2，5｝，……
……
｛n｝,｛n, n+1｝,｛n, n+2｝,｛n, n+1, n+2｝,｛n+3｝,……
……
这个良序集的排列顺序与康托的超穷序数序列是严格对应的。我们把这个良序集记做P
∞(N),称为“N的超幂集合”。需要注意的是，P∞(N)并不一定等于P(N)。也就是说，
幂集合公理并不一定成立。这是我解决CH问题的一个关键性思想。
这样，从N开始，就可以形成一系列的无穷超幂集合
P∞(N), P∞(P∞(N)), P∞(P∞(P∞(N)))，……
通过重新考察集合论基础，我发展出一种非常精致的方法来描述超幂集合序结构的逻辑
性质，但这里就不展开讨论了，并最后证明了两个定理：
定理1 超幂集合P∞(N), P∞(P∞(N)), P∞(P∞(P∞(N))),……的基数是逐次增大的。
定理2 所有P∞(N), P∞(P∞(N)), P∞(P∞(P∞(N))),……的基数都小于2ω。
我的证明中还包含了许多重要的内容，其中有两个定理相当于两个较强的哥德尔不完备
性定理，有一个定理相当于勒文海姆－斯科伦定理，这就说明它决不是孤立的，与原来
的集合论之间肯定存在着某种内在的联系。
3．判定连续统假设对数学的重大意义
数学基础中最主要的问题就是如何处理自然数和实数的关系，即如何用离散的方法来构
造连续统。自从古希腊人发现这个难题以来，至今它仍未得到完全解决。利用戴德金分
割并不能得到所有的实数，它最多只能得到所有的代数数，而绝大多数超越数是不可构
造的，甚至不可知的。直觉主义数学家海廷曾经评价过，戴德金分割 “这个算法仍然
没有给我们提供任何途径来判定一个有理数A究竟位于C的左边或右边或者刚好等于C”
，因此“我们将不能保证欧拉常数C是一个实数。”[11]非标准分析也给我们提供了这
样一种印象，直线上的点其实是无限可分的。这就说明，我们对连续统还所知甚少。数
学归纳法是数学的基本方法，它是建立在自然数基础上的，对连续统假设的否定性证明
正好说明：人们可以用这种方法去无限逼近连续统，但却永远也不能达到其尽头。正如
帕斯卡尔比喻的那样：人只是漂浮在无限和虚无这两个无底深渊之间的一叶扁舟，我们
总想要追求某种确定性，但却永远也抓不住，一不小心我们的整个基础就会分崩离析，
而下面就是那无底深渊。在数学上，人永远只是探索者，没有“终结者”。
参考文献
[1] 格奥尔格·康托. 超穷数理论基础文稿，内蒙古大学出版社出版社, 1995: 43-46
[2] P.J.柯恩. 关于集合论基础的评论，载于中国社会科学院哲学研究所逻辑研究室主
编的《数理哲学译文集》，商务印书馆1988: 134
[3] P.J.柯恩. 非康托尔集论，载于张锦文、訚金童主编的《集合论发展史》，广西师
范大学出版社, 1993
[4] P.J.柯恩. 连续统假设的独立性Ⅱ，载于张锦文、訚金童主编的《集合论发展史》
，广西师范大学出版社, 1993
[5] K.哥德尔. 什么是康托的连续统问题？，载于中国社会科学院哲学研究所逻辑研究
室主编的《数理哲学译文集》，商务印书馆, 1988: 145
[6] K.哥德尔. 什么是康托的连续统问题？，载于中国社会科学院哲学研究所逻辑研究
室主编的《数理哲学译文集》，商务印书馆, 1988: 142
[7] P.J.柯恩. 关于集合论基础的评论，载于中国社会科学院哲学研究所逻辑研究室主
编的《数理哲学译文集》，商务印书馆, 1988: 137-138
[8] P.J.柯恩. 关于集合论基础的评论，载于中国社会科学院哲学研究所逻辑研究室主
编的《数理哲学译文集》，商务印书馆, 1988: 134
[9] 弗兰克尔. 集合论的公理化发展，载于张锦文、訚金童主编的《集合论发展史》，
广西师范大学出版社, 1993: 86
[10] 罗素. 数理哲学导论，商务印书馆, 1982: 117
[11] 阿伦特·海廷. 数学的直觉主义基础，载于保罗·贝纳塞拉夫、希拉里·普特南
主编的《数学哲学》，商务印书馆2003: 62 | j****c
发帖数: 19908 | 2 搞这个才是hard core的哲学
现在那些搞哲学的，说的道理农妇不用上学都懂 |
|
