连续统假设的否定二.docVIP

连续统假设的否定（二） 陈守仁 摘要：本文通过否定连续统假设某一个等价命题的方法来否定连续统假设。 关键词：（一）连续统假设，（二）等价命题，（三）可数，（四）不可数，（五）覆盖。 一、 [一] （简称命题一） 平面上所有点的集合是两个集合的并，其中一个集合在所有与x轴平行的直线上至多是可数的，另一个集合在所有与y轴平行的直线上至多是可数的。 下面我们证明命题一不成立。 ?证：设命题一中平行于两坐标轴的所有直线上点的集合为M1，xy平面上所有点的集合为M2，我们准备证明M1 ?M2，即M1≠M2。 设：（0，yj）为y轴上某一点，（xi，0）为x轴上某一点，其中xi和yj为任意有理数（xi和yj取遍所有有理数），通过（0，yj）作x轴平行线，通过（xi，0）作y轴平行线，此时xy平面上就有可数条坐标轴的平行线，其数目等于全体有理数的两倍，是最稠密的平行线网，这可数条平行于坐标轴的直线能否覆盖整个xy平面？答案是否定的。 考察xy平面上某一点M xm,yn ，其中m，n为任意无理数，由于集合M1中任意一条直线上任意一点的坐标至少有一个是有理数，因此点M xm,yn 不在任一条与坐标轴平行的直线上（因m，n都不是有理数），又由于集合M1中任一条与坐标轴平行的直线上的任一点都属于xy平面，但xy平面上至少有一点M xm,yn （实际上这样的点有无穷不可数个）不属于集合M1，可见M1≠M