开发工具:
文件大小: 3kb
下载次数: 0
上传时间: 2008-01-21
详细说明： 集合论悖论的解决V5.0
李均宇(李林星) 2008.1.19 email:myvbvc@tom.com QQ:165442523
到现在为止,我并不知道集合论悖论是否被别人解决了.如果不包含下列的理论,我认为<<集合论>>是不完整的.
让我们首先讨论无限集合的势开始.
定义1:自然数集,整数集,有理数集的势叫X0.
定义2:实数集,直线中点集,平面中点集,立体空间中点集的势叫X1.
定义3:无限集合的势叫Xn.
李均宇定理:如果一个无限集合又包含自身的所有子集或幂集,则这个集合的势是limXn(n→∞),或者说,一个无限集合不可以再包含自身的所有子集或幂集.
证明:设无限集合A的势是Xn,n是固定不变的.因为无限集合A又包含自身的所有子集或幂集,而幂集的势是 X(n+1)=2^Xn,所以无限集合A的势变成X(n+1),这与原先假设无限集合A的势是Xn,n是固定不变的相矛盾,所以无限集合A的势是lim Xn(n→∞).
推论一:所有集合的集合的势是limXn(n→∞).
证明:假设所有集合的集合为集合A,集合A的所有子集或幂集也是集合,所以也应包含在其中,所以集合A就是包含自身所有子集或幂集的集合,根据李均宇定理知其势是limXn(n→∞).
定理1:任何序数的非空集合都有最小数,从而任何序数的集合在小于等于关系下都是良序集.
定理1是<<集合论>>已有的定理,所以这里无须证明.
李均宇第二定理:任何序数的集合的幂集也是序数.
证明:因为任何序数的集合的子集也是序数的集合,所以由定理1知其子集也是良序数,所以子集也是一个序数,则所有子集组成的幂集也就是序数的集合,由定理1知此幂集也是良序集,所以此幂集也是一个序数.
推论二:所有序数的集合的势也是limXn(n→∞).
证明:设所有序数的集合为集合A,由李均宇第二定理知此集合A的幂集也是序数,所以也应包含在集合A中,则集合A包含自身的幂集,由李均宇定理知此集合的势是limXn(n→∞).
李均宇第三定理:任何一个不包含自身的集合的集合的任一子集或幂集也是不包含自身的集合.
证明:用反证法.假设任何一个不包含自身的集合的集合为集合A,假设集合A的任一子集B是包含自身的集合,则子集B中有元素B,元素B是包含自身的集合,而元素B又是集合A的元素,集合A的元素都是不包含自身的集合的,所以元素B是不包含自身的集合,矛盾.所子集素B是不包含自身的集合.幂集一样可用反证法证明.假设集合A的幂集是集合C,假设集合C是包含自身的集合,则集合C有一个元素C,元素C是包含自身的集合,但元素C又是集合A的子集,根据上面已用反证法证明的过程知集合A的子集也是不包含自身的集合,则元素C是不包含自身的集合,矛盾,所以幂集也是不包含自身的集合.
推论三:所有不包含自身的集合的集合的势也是limXn(n→∞).
证明:假设所有不包含自身的集合的集合是A,则由李均宇第三定理知集合A的所有子集或幂集也是不包含自身的集合.所以,集合A也应包括自身的所有子集或幂集,根据李均宇定理知其势是limXn(n→∞).
基数悖论的问题在于"所有集合的集合",序数悖论的问题在于"所有序数的集合",罗素悖论的问题在于"所有不包含自身的集合组成的集合".因为根据上面证明的推论一二三,这三个集合的势都是limXn(n→∞).
一个无限集的势是limXn(n→∞),则这个集合是没有什么意义的,所以集合论悖论没有动摇现有科学的基础.
...展开收缩
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
