连续统假设 continuum hypothesis 亦称“康托尔猜想”。集合论中的一条著名猜想。19世纪末康托尔在研究集合的一一对应关系时发现他所考虑的实数的不可数子集总与实数全体等势,而别的不可数集,其基数亦大于或等于实数的基数 ,这就自然产生一个在 与 之间,有没有第三个基数存在的问题,即是否存在基数λ,满足 <λ< ,康托尔猜测这样的λ是不存在的。如果把大于 的最小基数记为 ,康托尔认为 。这就称为康托尔猜想,或称连续统假设,简记作C.H。随着研究的开展,人们把这一猜测推广为:对于任何序数α, α,称为广义连续统假设,简记为G.C.H。1938年哥德尔证明由ZF公理推不出CH,即在ZF系统中CH不能被否证,这就解决了CH与ZF系统的相容性问题;1963年柯亨(P. J. Cohen, 1934— )运用他始创的力迫法,证明ZF公理系统与CH是相容的,即在ZF系统中推不出CH,从而解决了ZF公理系统与CH以及GCH的独立性问题。 |