集合论悖论的解决V7.5

e271828

                           集合论悖论的解决V7.5
            李均宇(李林星)   2010.12.25  email:myvbvc@tom.com  QQ:165442523
( U1 _) l* s2 V! K8 M摘要：实数集R的所有幂集：P(R),P(P(R)),P(P(P(R))),...,Pn(R),...因为所有Pn(R)都是不包含自身的集合，罗素悖论中“所有不包含自身的集合”必包含所有Pn(R),也就是包含广义连续统假设
* ^  C, L# ?4 U6 r( F中的全部基数{X0,X1,...Xn...}，从而无意义。
    虽然我知道公理集合论是为了解决罗素悖论而产生的,但我认为公理集合论是在走弯路,甚至是误入岐路了.如果不包含下列的理论,我认为<<集合论>>是不完整的.
  {. L) `6 B5 f) y( [/ k    广义连续统假设:无限集合的基数必是X0,X1,...Xn...之一.
) H8 p$ s: e5 T+ E8 ?8 p1 Y其中的基数X就是阿列夫,因为我找不到这个字符,所以用英文字母X表示了.
7 X! m# s; y3 j: K    无意义公理:一个无限集的基数是极限limXn(n→∞),则这个集合是没有什么意义的.
. h) V1 c% K5 l3 c这个公理是我引入的，我还没在别处见到过。
这个公理是易理解的，它就相当于公理集合论中的真类的概念，但公理集合论引入这个类的概念后就误入岐路了，至少作者是这样认为的。
' E; N# J8 L, e/ b/ C    李均宇第一定理：如果一个集合包含广义连续统假设中全部的基数，也就是集合{X0,X1,...Xn...},则这个集合的基数是limXn(n→∞)
这个定理是显而易见的，用反证法不难证明的。
    李均宇第二定理:如果一个无限集合又包含自身的幂集,也就是集合A={......,P(A)),则这个集合A的基数是limXn(n→∞)
, Y' T5 |% \* Z' v4 `证明:设无限集合A的基数是Xn,n是固定不变的.因为无限集合A又包含自身的所有子集或幂集,而幂集的基数是 X(n+1)=2^Xn,所以无限集合A的势变成X(n+1),这与原先假设无限集合A的基   
" V, u7 ?$ ?& `: M; g( k& z' e数是Xn,n是固定不变的相矛盾,所以无限集合A的基数是limXn(n→∞).
    李均宇第三定理: 如果一个集合包含一个无穷集的所有幂集，也就是集合B={P(A),P(P(A)),P(P(P(A))),...,Pn(A),...},则这个集合B的基数是limXn(n→∞),尤其是当A为实数集R时，集合
B={P(R),P1(R),P2(R),...,Pn(R),...},则这个集合B的基数是limXn(n→∞)
所有幂集,假设无穷集A，则其幂集P(A),幂集的幂集P(P(A)),幂集的幂集的幂集P(P(P(A))),...Pn(A).....称为其所有幂集。
" t) K: |8 h: @5 l; l* ~因为一个无穷集的所有幂集的基数就是广义连续统假设中全部的基数，所以由李均宇第一定理知此定理成立。
( D! ?( f( E* ]* ~; \8 d( Z    李均宇第四定理: 假设集合P'n(A)与幂集Pn(A)等势，也就是基数一样，则P'n(A)也相当于幂集Pn(A)一样适用于李均宇第二和第三定理中。
5 }$ o' o0 Y0 q一。基数悖论
    定理1:所有集合的集合的基数是limXn(n→∞).
6 A* X- i9 b4 o9 _这个显而易见，这在<<集合论>>中早已有之，这里重述而已。因为所有集合的集合包含自身幂集，由李均宇第二定理知其基数是limXn(n→∞).所以这种集合在公理集合论中称为真类。
二。罗素悖论
& ]' M0 i; q# x0 I: _. m* ~* u    李均宇第五定理:假设A是不包含自身的集合，则A的幂集P(A)也是不包含自身的集合.
& Y  N9 }) p$ q: m7 i, r    证明:用反证法.假设任何一个不包含自身的集合为集合A,假设集合A的任一子集B是包含自身的集合,则子集B中有元素B,元素B是包含自身的集合,而元素B又是集合A的元素,集合A的元素都
是不包含自身的集合的,所以元素B是不包含自身的集合,矛盾.所子集B是不包含自身的集合.幂集一样可用反证法证明.假设集合A的幂集是集合C,假设集合C是包含自身的集合,则集合C有一个元
8 C" L( z- |8 C# ^8 f素C,元素C是包含自身的集合,但元素C又是集合A的子集,根据上面已用反证法证明的过程知集合A的子集也是不包含自身的集合,则元素C是不包含自身的集合,矛盾,所以幂集也是不包含自身的
. o) A; t, t, i. P+ `集合.
    这点不难理解的，例如集合{1,2,3}不包含自身，则其所有子集和幂集也是不包含自身的，这很易理解的，只是推广到无限集合中去而已。再如实数集R不包含自身，则R的任一子集和幂集
也是不包含自身的。
    定理2:所有不包含自身的集合的基数也是limXn(n→∞).
    证明:因为实数集R是不包含自身的集合，由李均宇第五定理所以R的所有幂集也是不包含自身的，也就是R的幂集R1，R的幂集的幂集R2，R的幂集的幂集的幂集R3。。。。全不包含自身
，则所有不包含自身的集合必含R的所有幂集，由李均宇第三定理所以其基数也就是limXn(n→∞).
4 ?7 k0 L- w* s5 Z   所以罗素悖论中的“所有不包含自身的集合”，这个集合的基数就是limXn(n→∞)，也就是公理集合论中的真类。
三。序数悖论   
    定理3:任何序数的非空集合都有最小数,从而任何序数的集合在小于等于关系下都是良序集.
定理3是<<集合论>>已有的定理,所以这里无须证明.
5 e; Q, v8 [: \0 {! u, C. G; O    李均宇第六定理:任何序数的集合的幂集也是序数.
2 l  x. A  o$ B& I  _5 ^    证明:因为任何序数的集合的子集也是序数的集合,所以由定理3知其子集也是良序数,所以子集也是一个序数,则所有子集组成的幂集也就是序数的集合,由定理3知此幂集也是良序集,所以此
7 ?  ^' X/ v5 C  \" S幂集也是一个序数.
    定理4:所有序数的集合的基数也是limXn(n→∞).
9 {' y& J) `. T1 T8 g' ~    证明:设所有序数的集合为集合A,由李均宇第六定理知此集合A的幂集也是序数,所以也应包含在集合A中,则集合A包含自身的幂集,由李均宇第二定理知此集合的基数是limXn(n→∞).
* n7 B: a4 M4 I. D& ?    基数悖论的问题在于"所有集合的集合",序数悖论的问题在于"所有序数的集合",罗素悖论的问题在于"所有不包含自身的集合组成的集合".因为根据上面证明,这三个集合的基数都是limXn(n
→∞).则这三个集合是没有什么意义的,所以集合论悖论没有动摇现有科学的基础.
/ i) B* m$ u2 W0 N    作者认为公理集合论引进了类的概念是正确的，但随后是把简单的问题复杂化,作者把集合论悖论的解决用最简单的语言讲明白出来,抛弃了公理集合论这个科学上的怪胎,意义是十分重大
* m9 s6 v9 ?/ t& c4 P/ J, H的。
- p% y! G: m& Z: P! o' q5 e四。下面深入讨论下的一些集合的性质
    命题一：所有不包含自身幂集的集合是真类吗？是的。
3 Z& g' ?9 O2 R- b- w% g6 y6 `因为实数集R的所有幂集都是不包含自身幂集的集合。所以所有不包含自身幂集的集合必包含实数集R的所有幂集，由李均宇第三定理知其为真类。为什么实数集R的所有幂集都是不包含自身
幂集的集合呢，因为假设其任一幂集Rn包含自身幂集，则由李均宇第二定理知其为真类，这与Rn有固定Xn矛盾的。
   命题二：所有不包含1的集合是真类吗？是的。
因为不包含1的集合的幂集也是不包含1的，这用反证法不难证明，因为它根本没有元素1了，所以其幂集也不可能包含有元素1.则其所有幂集也不包含元素1，假设实数集R去掉1后为数集r,
/ q, ~( T2 Y% I3 h* T- h则r的所有幂集r1,r2,...rn,...也不包含元素1，由李均宇第三定理知其为真类。
   命题三：所有包含1的集合是真类吗？是的。
2 `( e- q/ F- v$ U0 v$ R因为实数集R的幂集必包含元素{1},将括号去掉后就是元素1，去掉括号后的幂集与原幂集一一对应，仅仅{1}变成1，所以去掉括号后的幂集与原幂集等势，也就是相同基数，同理，实数集R
的所有幂集都有等势幂集包含元素1，由李均宇第四定理和第三定理知其为真类。
2 _5 C" r3 S( W* q. a0 J   那么所有不包含1的集合就真的无意义了吗？不是的。这就是全集的问题。如果全集是某个有固定基数Xn的集合，在这个全集内的所有子集中再讨论所有不包含1的集合，这就有意义了，
" u& Q, g  E' ]' ?! j, g不是真类了。如果全集是真类所有集合的集合，基数是limXn(n→∞)，那么才会可能是真类的。也就是说，任何将“所有集合的集合”划分为有限个子集的集合，都必定有一个子集是真类。再
: I/ e* w7 r+ R4 G论罗素悖论中的“所有不包含自身的集合”，也是因为它的全集是所有集合的集合，才会无意义的，如果是某个集合内的“所有不包含自身的集合”，则有意义矣。

3 G1 P8 x8 X. S

工科男

weixinmaths