关于实数集合的可列与不可列.pdfVIP

课外阅读 教育教学探讨 关于实数集合的可列与不可列 戚晓秋 (湖州市第二中学，浙江 湖州 313000) 摘【 要]本文先指出了两种证明实数集不可列的方式的不合理性，然后通过一种新的构造方式，证明了实数集可列。 [关键词]实数 集合 可列 不可列 自从Cantor~I入集合观点之后 ，集合的理论即迅速地渗入 显然可将图 (一 )中的所有X轴平移，使其与数轴b重合， 到数学的许多部门，并也成为近代数学基础。但数学界对集合 得到图 (二 )。 的理论还是争论不休。本人只是一名中学生 ，由于兴趣 ，本人 则Y轴与b轴的交点正好与实数一一对应。 对其有过一段时间的个人研究。凶此，本人将提 一些个人的 南于实数在 目前理论中是不可列集 想法。 所以该坐标系集合不可列。 下面本人将介绍一个本人的发现： 以上为本人通过两种不同的方式证明了此坐标系集：即可 (1)如图：在平面仅中有一点a，且在0c内建n个平面直 列又不可列。当然这不可能，那问题又在哪呢?本人认为应该 角坐标系。 m在实数集到底可不可列的问题上 。 下面本人先来讨论两种有关实数集不可列的证明：cantor 的对角线法与 目前实变中用闭区间套定理对其的证明。 Cantor的对角线法： 假定 (0，1)之间的实数可列，全部列}H来如下： 第一个数记为：A=OA．AA 第二个数记为 ：A ：=0A：，A…A 依此类推 ，A 代表列 来的第i个数的第 位小数， 若：n=l 则at的坐标：ey) 是个0到9之间的整数。 n=2 则a2的坐标：(X．y．X…Y] 下面构造一个属于 (0，1)的实数B =0B。BB ，不等 ， 、 于所列m的任何一个。 n=3 则a3的坐标 ：l．】， ，，： ，】，，j 显然可知：a 的坐标为 【，】， ：，】，：．，y1l 】，j 只要使B。不等于A (这样B就不等于A。)，B不等于 A (这样B 就不等于A )…依此，B．不等于A．… 记：(p=l．Y．j，(p=x【．1，J…．．．(p=lx，yj 这样构造的数B 是 (o，1)中的实数而没有被列m来 ， r 、 则a ：l(p。，(p，(p J 所 以实数集不可列。 所以每增加一个坐标系，则a就增加一个 (p 因为：n为 自然数 对于此证明方式，本人认为还不够严密， 所以：存在集合：{1，2，3，4，5…．…．}与该坐标系集合一一 因为若： 对应 o(，1)：a／l,a2,a3,．．．．．aLl