QQ登录

只需要一步,快速开始

 注册地址  找回密码
楼主: clanswer
打印 上一主题 下一主题

数学悖论一览表

  [复制链接]
字体大小: 正常 放大
e271828        

5

主题

5

听众

46

积分

升级  43.16%

该用户从未签到

31#
发表于 2010-12-20 14:51 |只看该作者
|招呼Ta 关注Ta
                           集合论悖论的解决V6.0; O& m! Q, x4 p' J9 C) o# v7 \$ H/ t
            李均宇(李林星)   2008.1.19  email:myvbvc@tom.com  QQ:1654425235 [' m' s8 F+ o) M" _
    虽然我知道公理集合论是为了解决罗素悖论而产生的,但我认为公理集合论是在走弯路,甚至是误入岐路了.如果不包含下列的理论,我认为<<集合论>>是不完整的.
& x# C- e. B! U" \    让我们首先讨论无限集合的势开始.2 u* t- M1 y0 n* i0 q+ f/ x5 E- J8 _
    定义1:自然数集,整数集,有理数集的势叫X0.0 }+ y) C+ w0 T" }, D. }
    定义2:实数集,直线中点集,平面中点集,立体空间中点集的势叫X1.% K. Q) }5 Y, ~, q( y
    广义连续统假设:无限集合的势必是X0,X1,...Xn...之一.1 G2 v8 B+ }/ }4 ]  T+ L3 K
    其中的X就是阿列夫,因为我找不到这个字符,所以用英文字母X表示了.
- h( u3 w2 D$ R; T# {' l4 I    李均宇定理:如果一个无限集合又包含自身的所有子集或幂集,则这个集合的势是limXn(n→∞),或者说,一个无限集合不可以再包含自身的所有子集或幂集.# l. n8 V* Z* {, w
    证明:设无限集合A的势是Xn,n是固定不变的.因为无限集合A又包含自身的所有子集或幂集,而幂集的势是 X(n+1)=2^Xn,所以无限集合A的势变成X(n+1),这与原先假设无限集合A的势是Xn,n是固定不变的相矛盾,所以无限集合A的势是limXn(n→∞).$ x$ F% x) P) @- v
    推论一:所有集合的集合的势是limXn(n→∞).
" o1 d: Z6 h: R$ G    证明:假设所有集合的集合为集合A,集合A的所有子集或幂集也是集合,所以也应包含在其中,所以集合A就是包含自身所有子集或幂集的集合,根据李均宇定理知其势是limXn(n→∞).
# H; L( x* z6 v9 `* B/ ~  `  A    定理1:任何序数的非空集合都有最小数,从而任何序数的集合在小于等于关系下都是良序集.' N5 T5 n# r7 \! T8 {
    定理1是<<集合论>>已有的定理,所以这里无须证明.  S8 P! n2 V: R: x$ }( o+ T0 D. v
    李均宇第二定理:任何序数的集合的幂集也是序数.. @) b( C1 E1 _8 ?
    证明:因为任何序数的集合的子集也是序数的集合,所以由定理1知其子集也是良序数,所以子集也是一个序数,则所有子集组成的幂集也就是序数的集合,由定理1知此幂集也是良序集,所以此幂集也是一个序数.! ]) B+ a# K9 }
    推论二:所有序数的集合的势也是limXn(n→∞).6 o5 k% P9 G) d2 G0 \7 T  c
    证明:设所有序数的集合为集合A,由李均宇第二定理知此集合A的幂集也是序数,所以也应包含在集合A中,则集合A包含自身的幂集,由李均宇定理知此集合的势是limXn(n→∞).( V# u, |* Y( l% m: \; r
    李均宇第三定理:任何一个不包含自身的集合的集合的任一子集或幂集也是不包含自身的集合.; h# f: s5 s( Y
    证明:用反证法.假设任何一个不包含自身的集合的集合为集合A,假设集合A的任一子集B是包含自身的集合,则子集B中有元素B,元素B是包含自身的集合,而元素B又是集合A的元素,集合A的元素都是不包含自身的集合的,所以元素B是不包含自身的集合,矛盾.所子集素B是不包含自身的集合.幂集一样可用反证法证明.假设集合A的幂集是集合C,假设集合C是包含自身的集合,则集合C有一个元素C,元素C是包含自身的集合,但元素C又是集合A的子集,根据上面已用反证法证明的过程知集合A的子集也是不包含自身的集合,则元素C是不包含自身的集合,矛盾,所以幂集也是不包含自身的集合.
. t, R3 r( ]1 P0 B    推论三:所有不包含自身的集合的集合的势也是limXn(n→∞).: W8 w# l. y# y5 P* H
    证明:假设所有不包含自身的集合的集合是A,则由李均宇第三定理知集合A的所有子集或幂集也是不包含自身的集合.所以,集合A也应包括自身的所有子集或幂集,根据李均宇定理知其势是limXn(n→∞).4 N( x6 B2 w4 o* n& `6 n' F( ~& b
    无意义公理:一个无限集的势是limXn(n→∞),则这个集合是没有什么意义的.! M* v; f7 [$ g, D  L
    基数悖论的问题在于"所有集合的集合",序数悖论的问题在于"所有序数的集合",罗素悖论的问题在于"所有不包含自身的集合组成的集合".因为根据上面证明的推论一二三,这三个集合的势都是limXn(n→∞).则这三个集合是没有什么意义的,所以集合论悖论没有动摇现有科学的基础., o) i: Y& p. Q/ ]. X& Y
    作者认为公理集合论引进了类的概念,是把简单的问题复杂化,作者把集合论悖论的解决用最简单的语言讲明白出来,抛弃了公理集合论这个科学上的怪胎,意义是十分重大的,所以作者是伟大的.
回复

使用道具 举报

blongsky 实名认证       

1

主题

3

听众

278

积分

升级  89%

  • TA的每日心情
    无聊
    2011-10-22 23:42
  • 签到天数: 1 天

    [LV.1]初来乍到

    群组: 西安交大数学建模

    回复

    使用道具 举报

    0

    主题

    3

    听众

    292

    积分

    升级  96%

    该用户从未签到

    自我介绍
    hiahia
    回复

    使用道具 举报

    李稚雪 实名认证       

    0

    主题

    3

    听众

    366

    积分

    升级  22%

    该用户从未签到

    自我介绍
    纵有千古,横有八荒;穷物究理,行者无疆。
    回复

    使用道具 举报

    sxmsxmsxm 实名认证       

    0

    主题

    5

    听众

    116

    积分

    升级  8%

    该用户从未签到

    回复

    使用道具 举报

    巧云225        

    0

    主题

    3

    听众

    162

    积分

    升级  31%

  • TA的每日心情
    怒
    2011-9-8 23:55
  • 签到天数: 6 天

    [LV.2]偶尔看看I

    群组: 数学建模

    群组: 数学建模培训课堂2

    回复

    使用道具 举报

    1

    主题

    9

    听众

    297

    积分

    升级  98.5%

  • TA的每日心情
    开心
    2024-9-1 01:07
  • 签到天数: 34 天

    [LV.5]常住居民I

    群组: 数学建模培训课堂2

    回复

    使用道具 举报

    晶莹 实名认证       

    0

    主题

    3

    听众

    49

    积分

    升级  46.32%

  • TA的每日心情
    开心
    2011-9-8 20:09
  • 签到天数: 16 天

    [LV.4]偶尔看看III

    回复

    使用道具 举报

    782915935        

    0

    主题

    4

    听众

    238

    积分

    升级  69%

  • TA的每日心情
    开心
    2013-1-28 19:34
  • 签到天数: 76 天

    [LV.6]常住居民II

    群组: 数学建摸协会

    群组: 2012数学一考研交流

    群组: 福建数学建模俱乐部

    群组: 第一期sas基础实训课堂

    回复

    使用道具 举报

    0

    主题

    3

    听众

    27

    积分

    升级  23.16%

  • TA的每日心情
    慵懒
    2011-12-20 23:05
  • 签到天数: 6 天

    [LV.2]偶尔看看I

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-10-23 05:21 , Processed in 0.635246 second(s), 102 queries .

    回顶部