广义连续统假设一个等价命题.docVIP

广义连续统假设的一个等价命题 陈守仁 摘要：本文基用于康托集合论的基本概念，提出并证明广义连续统假设的一个等价命题：任意可数集N(1)的任一次幂集P(N)k (k＞1)中的任一元素都是A类元素（幂集和A类元素的含义见文中“预备知识”）。 关键词：广义连续统假设，等价命题，基数（势），羃集，不可判定。 一、预备知识 本文假设读者对集合的基本概念，包括集合的基数（势）等都已清楚，只把羃集[1]的概念及康托的羃集基数定理扼要地介绍一下，因为此概念是本文的关键。 设M为任一集合，M的一切子集所构成的集合称为M的羃集，用表示。根据康托证明的结果，，（表示集合M的基数或势），这就是羃集基数定理。 一个集合可以有任意多次羃集，比如说可数集N，我们用表示N的第k次羃集，（这里k是记号，不要把k看成指数）。根据羃集基数定理，可数集N各次羃集的基数构成递增序列如下： ( k≥0) 从该序列看出，除了可数集N和不可数集外，其他的无限集还有无穷多个，可数集N是基数最小的无限集，比不可数集 基数还大的无限集有无穷多个。 本文规定：任意可数集N的任意相邻两次幂集的基数差一级，比如说比大一级，后面的定义1和定义2中所说的正整数级和正小数级，都以此为标准，那里所说的“一级”，即指N 的相邻两次幂集的基数之差；另外还规定任意有限集的基数比任意可数集的基数低一级。 在N的任一次羃集中，当k≥1时，的元素都是集合。例