葛立恒数吧 关注:1,178贴子:57,419
  • 19回复贴,共1

ε0=sup{ω,ω∧ω,……},那ε1,ε2,……怎么定义呢

只看楼主收藏回复



IP属地:重庆来自Android客户端1楼2020-04-17 22:24回复
    rtrtrt


    IP属地:重庆来自Android客户端2楼2020-04-17 22:24
    回复
      2025-08-11 06:03:33
      广告
      不感兴趣
      开通SVIP免广告
      顶🔝


      IP属地:重庆来自Android客户端3楼2020-04-17 22:28
      回复
        ε(1)=sup{ε(0)+1,ω^(ε(0)+1),ω^ω^(ε(0)+1)……}


        IP属地:山东来自Android客户端4楼2020-04-17 22:40
        回复
          ε(2)=sup{ε(1)+1,ω^(ε(1)+1),ω^ω^(ε(1)+1)……}
          ε(a+1)=sup{ε(a)+1,ω^(ε(a)+1),ω^ω^(ε(a)+1)……}


          IP属地:山东来自Android客户端5楼2020-04-17 22:41
          回复
            随便
            e1一般可以是w^w^...e0+1
            e2一般是w^w^...e1+1


            来自iPhone客户端6楼2020-04-18 04:57
            回复
              因为y = ω^x是一个规范函数,因此它的不动点有序数那么多,每个不动点都在此函数作用下保持不变,并且小于不动点的序数在此函数作用后仍然小于不动点,我们将y = ω^x的不动点统称为ε序数。
              【规范函数那么多,之所以给这个函数的不动点特意起名字是因为它的函数值全都有加法不可达性,比如用小于ω²的任何序数作加法得到的结果仍然小于ω²。】
              ε序数枚举y = ω^x的全部不动点,将这个函数无限次作用于某个大于ε_α的序数【比如ε_0+1或者ε_0•2】所得的序数序列的上确界就是ε_{α+1}。
              ε序数也有这样的性质:
              对于任何满足ε_α ≤ β < ε_{α+1}的序数β,y=β^x的第一个不动点就是ε_{α+1},它也是β构成的任意多层指数塔计算结果的上确界。


              IP属地:江苏来自Android客户端8楼2020-04-18 09:45
              回复
                有两种定义。


                来自手机贴吧9楼2020-04-18 19:30
                回复
                  2025-08-11 05:57:33
                  广告
                  不感兴趣
                  开通SVIP免广告
                  像我这样优秀的人,本该安稳度过一生


                  来自Android客户端10楼2020-04-18 19:41
                  收起回复
                    中国男性的五官端正,眉清目秀。
                    广西第一
                    海南第二
                    广东江西并列第三
                    其他省份基本丑男,
                    没意见吧?


                    来自Android客户端11楼2020-04-20 18:36
                    收起回复


                      来自Android客户端12楼2020-05-04 11:24
                      回复