精华区 [关闭][返回]

当前位置:网易精华区>>讨论区精华>>科学大观>>● 自然科学>>数学>>实数系统的争议>>关于存在其它实数系统的论证(三)

主题:关于存在其它实数系统的论证(三)
发信人: bsese(b77 行)
整理人: bsese(2001-01-10 12:42:58), 站内信件
                   关于存在其它实数系统的论证(三)

                             包学行 
                          [email protected] 
 
    一、在“关于存在其它实数系统的论证”与“关于存在其它实数系统的
论证(二)”分别论证了“邻点问题”与“无理数个数与有理数个数比”问题
已超越了标准分析实数系统的适用范围。本文就这类问题继续进一步的论证。
    二、标准分析的实数系统的引理:
    引理7  如果二个集合的元素通过一个映射(函数)建立一个一一对应关
系,则二个集合的元素一样多。
    三、标准分析的实数系统的推论:

    定义1  证明路径  一个命题的证明中引用引理的序列称为证明路径;若
证明中引用了中间推论,则引理的序列也包含中间推论的证明的引理序列。
    若引理中有子条理,同一引理中不同子条理,为不同的路径;若引理中含
参数,则同一引理中不同参数,也为不同的路径。  

    推论8 偶数个数与自然数个数一样多。
    证明:
    建立一个一一对应关系:
    2,4,6,8,……,2n,……
    1,2,3,4,……, n,……
    所以偶数个数与自然数个数一样多。
    证毕。

    推论9 偶数个数是自然数个数的二倍。
    证明:
    建立一个一一对应关系(每二个偶数一组对应一个自然数):
    2,4;6,8;10,12;14,16;……;4n-2,4n;……
       1;   2;    3;     4;……;       n;……
    所以偶数个数是自然数个数的二倍。
    证毕。

    上述推论8 与推论9 由二个不同的证明路径得出了矛盾的结论,可见
把一一对应方法移用于无穷集合时会出现矛盾,要判断二个无穷集合的元
素是否一样多,在建立新的实数系统时应建立一种新的判断方法。



----
包学行( [email protected] )

[关闭][返回]