葛立恒数二吧 关注:766贴子:65,334
  • 4回复贴,共1
求助

不容许基数

只看楼主收藏回复

我们有一种很弱的不可达基数,根据容许基数的反义词,所以我们叫做不容许基数,不容许基数仅仅在连续统假设不成立时才会出现。
容许基数的意思就是非递归点,常常是奇异基数,所以我们取反面的不容许基数,就是可以递归得出,但是却是正则基数。
如果一个基数α,满足α是弱不可达基数,可是任意一个比α小的基数(大于等于阿列夫零)通过幂运算,均比这个α都大,我们称α是不容许基数。当连续统不成立时,在2^阿列夫零以下的不容许基数称平凡不容许基数,大于2^阿列夫零的称真不容许基数,称α是不容许基数,仅当α大于2^阿列夫n且α是弱不可达基数,但任意的k^阿列夫(n+1)均比该α大。
绝不容许基数,α是大于2^阿列夫n的弱不可达基数,但是任意一个大于2^阿列夫n的基数且小于α的k均满足k^阿列夫零比α大。
请问,当连续统假设不成立时,不容许基数和绝不容许基数存在吗,存在的话最小的是哪个基数。


IP属地:广东来自Android客户端1楼2024-05-22 19:43回复
    真不容许基数既比Beth1小又大,矛盾


    IP属地:天津来自Android客户端2楼2024-05-22 20:49
    收起回复
      可以说,不容许基数,绝不容许基数和容许基数,世界基数是一对互反的概念。一个是对运算不封闭且正则,一个是对运算封闭但不正则。
      如果平凡不容许基数的存在,意义就是可以用自然数列得到不可达基数。如果绝不容许基数存在,则自然数列到该基数的函数可以得到一种不可达基数。
      不容许基数的扩张:
      不容许基数常常大量出现。
      平凡不容许基数是ω-不容许基数
      在连续统和2^阿列夫一之间,则是ω_1-不容许基数。
      如果α是不容许基数,而2^(阿列夫α+1)里面仍然存在不容许基数,则里面的基数称为二阶不容许基数,以此类推。
      绝不容许基数也是类似的,如果α>2^阿列夫n且为不可达基数,而任意的k满足α>k>2^阿列夫n,k^阿列夫零>α,称为ω_n-绝不容许基数,如果k是绝不容许基数,α是比2^k大的弱不可达基数,但任何一个m满足2^k<m<α,所有的m^阿列夫零>α,则α是二阶绝不容许基数。
      不容许基数和绝不容许基数可能有弱马洛基数,弱紧致基数,弱可测基数等等,但不可能有强不可达基数。


      IP属地:广东来自Android客户端3楼2024-05-22 21:36
      回复
        一个基数,不可能同时属于幂容许基数和不容许基数,绝不容许基数必然属于不容许基数。绝不容许基数一定在2^阿列夫n和2^阿列夫(n+1)之间,不容许基数和绝不容许基数目前尚未知多大。
        在不容许基数和绝不容许基数除了上述的扩张方式,还可以使用其他扩张。
        在不容许基数/绝不容许基数的基础上,若k满足2^阿列夫(α+1)>k>2^阿列夫α,k具备的不可描述(反射)性比2^阿列夫α和2^阿列夫(α+1)强,则称这样的k是强不容许基数,而k还满足(2^阿列夫α的后继)^阿列夫零>k>2^阿列夫α,则称k是强绝不容许基数。


        IP属地:广东来自Android客户端4楼2024-05-22 22:04
        回复