打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

Catching

来自Googology Wiki
Tabelog留言 | 贡献2025年7月15日 (二) 22:28的版本 (创建页面,内容为“(待补充) == Hyp cos 的定义与分析 == === 分析 - BEAF、FGH 和 SGH(第 1 部分) === 你认为 SGH 第一次追上 FGH 是在 LVO 还是 <math>\psi(\Omega_\omega)</math>? 你认为 BEAF 中军团的极限是 LVO 吗? We used to think the limit of a legion of BEAF is LVO, which "happens to be" the first catching ordinal some people think. Now we know the real catching ordinal, so let's analysis BEAF again. I hope to see the real strengt…”)
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)

(待补充)

Hyp cos 的定义与分析

分析 - BEAF、FGH 和 SGH(第 1 部分)

你认为 SGH 第一次追上 FGH 是在 LVO 还是 ψ(Ωω)

你认为 BEAF 中军团的极限是 LVO 吗?

We used to think the limit of a legion of BEAF is LVO, which "happens to be" the first catching ordinal some people think. Now we know the real catching ordinal, so let's analysis BEAF again. I hope to see the real strength of BEAF. Maybe it's stronger than BAN.

Let's go.

Linear arrays

在 SGH 中,gα(n) 中的 n 从不会改变因为 gα+1(n)=gα(n)+1gα(n)=gα[n](n)(对于极限序数)。那么 SGH 中的 ω 总是代表 n 它们可以自由地变为 n,并且 ω 在 SGH 中是“无序的”。在 FGH 和 HH 中我们不能这样做,因为 n 正在变化。

BEAF FGH SGH 序数
{n,n,2} f3(n) ε0
{n,n+1,2} f3(n+1)f2f3(n) ε0ω
{n,2n,2} f3(2n)f2nf3(n) ε1
{n,{n,n,2},2}={n,3,3} f32(n) εε0
{n,n,3} f4(n) ζ0
{n,n+1,3} f4(n+1)f3f4(n) εζ0+1
{n,2n,3} f4(2n)f3nf4(n) ζζ0
{n,n,4} f5(n) φ(3,0)
{n,n,n} fω(n) φ(ω,0)
{n,n,n+1} fω(n+1) φ(ω+1,0)

(ω+1 可以变为 1+ω 和 n+1,因为它是无序的)

{n,n,2n} fω(2n) φ(ω2,0)
{n,n,{n,n,n}}={n,3,1,2} fω2(n) φ(φ(ω,0),0)
{n,n,1,2} fω+1(n) Γ0
{n,n+1,1,2} fω+1(n+1)fωfω+1(n) φ(Γ0,Γ0+1)
{n,2n,1,2} fω+1(2n)fωnfω+1(n) Γ1
{n,3,2,2} fω+12(n) ΓΓ0
{n,n,2,2} fω+2(n) φ(1,1,0)
{n,n,3,2} fω+3(n) φ(1,2,0)
{n,n,n,2} fω2(n) φ(1,ω,0)
{n,n,2n,2} fω2(2n) φ(1,ω2,0)
{n,3,1,3} fω22(n) φ(1,φ(1,ω,0),0)
{n,n,1,3} fω2+1(n) φ(2,0,0)
{n,n,2,3} fω2+2(n) φ(2,1,0)
{n,n,1,4} fω3+1(n) φ(3,0,0)
{n,n,n,n} fω2(n) φ(ω,0,0)
{n,n,1,1,2} fω2+1(n) φ(1,0,0,0)
{n,n,2,1,2} fω2+2(n) φ(1,0,1,0)
{n,n,1,2,2} fω2+ω+1(n) φ(1,1,0,0)
{n,n,1,1,3} fω22+1(n) φ(2,0,0,0)
{n,n,1,1,1,2} fω3+1(n) φ(1,0,0,0,0)
{n,n,1,1,1,1,2} fω4+1(n) φ(1,0,0,0,0,0)
{n,n(1)2}={n,2,1,...1,2} 2 a.p n+1[1] fωω(n) θ(Ωω)
{n,3,1,...1,2} 2 a.p n+1 fωnfωω(n) θ(Ωω,1)
{n,n,1,...1,2} 2 a.p n+1 fωnnfωω(n) θ(Ωω,ω)
{n,3,2,...1,2} a.p n+1 fωn+1fωω(n) θ(Ωω,θ(Ωω))
{n,n,2,...1,2} a.p n+1 fωn+1nfωω(n) θ(Ωω+1)
{n,n,3,...1,2} 2 a.p n+1 fωn+2nfωω(n) θ(Ωω+2)
{n,n,n,1,...1,2} 2 a.p n+1 fωn+nfωω(n) θ(Ωω+ω)
{n,n,1,2,1,...1,2} a.p n+1 fωn+ωnfωω(n) θ(Ωω+Ω)
{n,n,n,2,1,...1,2} a.p n+1 fωn+ω+nfωω(n) θ(Ωω+Ω+ω)
{n,n,1,3,1,...1,2} 2 a.p n+1 fωn+ω2nfωω(n) θ(Ωω+Ω2)
{n,n,1,n,1,...1,2} 2 a.p n+1 fωn+ωnfωω(n) θ(Ωω+Ωω)
{n,n,1,1,2,1,...1,2} a.p n+1 fωn+ω2nfωω(n) θ(Ωω+Ω2)
{n,n,1,1,1,2,1,...1,2} a.p n+1 fωn+ω3nfωω(n) θ(Ωω+Ω3)
{n,n,1,...1,3} 3 a.p n+1 fωn2fωω(n) θ(Ωω2)
{n,n,1,...1,4} 4 a.p n+1 fωn3fωω(n) θ(Ωω3)
{n,n+1(1)2}={n,n,n,...n} a.p n+1 fωω(n+1)fωnnfωω(n) θ(Ωωω)
{n,n,1,...1,2} 2 a.p n+2 fωn+1nfωω(n) θ(Ωω+1)
{n,n+2(1)2}={n,n,n,...n} a.p n+2 fωω(n+2)fωn+1nfωω(n) θ(Ωω+1ω)
{n,n,1,...1,2} 2 a.p n+3 fωn+2nfωω(n) θ(Ωω+2)
{n,2n(1)2} fωω(2n)fω2nfωω(n) θ(Ωω2)
{n,{n,n,2}(1)2} fωωf3(n)fωf3(n)fωω(n) θ(Ωε0)
{n,3,2(1)2} fωω2(n) θ(Ωθ(Ωω))
{n,4,2(1)2} fωω3(n) θ(Ωθ(Ωθ(Ωω)))
{n,n,2(1)2} fωω+1(n) θ(ΩΩ)

当 SGH 将其部分序数从 2,3,4,… 增长到 ω(这一新点被称为“活跃点”)时,若同时 FGH 的序数增长至一个极限序数,那么 FGH 序数增加 1 的操作会将 SGH 的活跃点(即新的 ω)通过序数塌缩函数转换为 Ω。

从维度到四维数阵

问题:θ(Ω^Ω) 的活跃点是什么?我找不到任何 ω 的踪迹。

回答:在序数塌缩函数中,Ω 表示 ω 的嵌套(或 SGH 中的 n 层嵌套)。例如,θ(Ω^θ(Ω^Ω),θ(Ω^Ω)+1) 表示 ω+1 层嵌套(或 SGH 中的 n+1 层嵌套),而 θ(Ω^Ω,1) 则表示 ω2 层嵌套(或 SGH 中的 2n 层嵌套)。

BEAF FGH SGH 序数
{n,2n,2(1)2} fωω+1(2n) θ(ΩΩ,1)
{n,n,3(1)2} fωω+2(n) θ(ΩΩ+1)
{n,n,4(1)2} fωω+3(n) θ(ΩΩ+2)
{n,n,n(1)2} fωω+ω(n) θ(ΩΩ+ω)
{n,n,1,2(1)2} fωω+ω+1(n) θ(ΩΩ+Ω)
{n,n,1,3(1)2} fωω+ω2+1(n) θ(ΩΩ+Ω2)
{n,n,1,1,2(1)2} fωω+ω2+1(n) θ(ΩΩ+Ω2)
{n,n(1)3} fωω2(n) θ(ΩΩ+Ωω)
{n,n,2(1)3} fωω2+1(n) θ(ΩΩ2)
{n,n,2(1)4} fωω3+1(n) θ(ΩΩ3)
{n,n(1)n} fωω+1(n) θ(ΩΩω)
{n,n(1)1,2} fωω+1+1(n) θ(ΩΩ+1)
{n,n(1)1,3} fωω+12+1(n) θ(ΩΩ+12)
{n,n(1)1,1,2} fωω+2+1(n) θ(ΩΩ+2)
{n,n(1)1,1,1,2} fωω+3+1(n) θ(ΩΩ+3)
{n,n(1)(1)2} fωω2(n) θ(ΩΩ+ω)
{n,n,2(1)(1)2} fωω2+1(n) θ(ΩΩ2)
{n,n,2(1)(1)(1)2} fωω3+1(n) θ(ΩΩ3)
{n,n(2)2}=X^2&n fωω2(n) θ(ΩΩω)
{n,n,2(2)2} fωω2+1(n) θ(ΩΩ2)
{n,n(3)2}=X^3&n fωω3(n) θ(ΩΩ2ω)
{n,n(0,1)2}=X^X&n fωωω(n) θ(ΩΩω)
{n,n,2(0,1)2} fωωω+1(n) θ(ΩΩΩ)
{n,n,2(0,1)3} fωωω2+1(n) θ(ΩΩΩ2)
{n,n,2(0,1)(0,1)2} fωωω2+1(n) θ(ΩΩΩ2)
{n,n,2(1,1)2} fωωω+1+1(n) θ(ΩΩΩ+1)
{n,n,2(0,2)2} fωωω2+1(n) θ(ΩΩΩ2)
{n,n,2(0,0,1)2} fωωω2+1(n) θ(ΩΩΩ2)
{n,n,2((1)1)2} fωωωω+1(n) θ(ΩΩΩΩ)
{n,n((0,1)1)2}=X^X^X^X&n fωωωωω(n) θ(ΩΩΩΩω)
X^^X&n fε0(n) θ(εΩ+1)=θ(θ1(1))
{n,n,2(X^^X)2} fε0+1(n) θ(εΩ2)=θ(θ1(1,Ω))
{n,n,2(X^^X)3} fε02+1(n) θ(εΩ22)
{n,n,2(X^^X)(X^^X)2} fε02+1(n) θ(εΩ22)
{n,n,2(X^^X*X)2} fε0ω+1(n) θ(εΩ2Ω)
{n,n,2((X^^X)^2)2} fε0ε0+1(n) θ(εΩ2εΩ2)
{n,n,2((X^^X)^X)2} fε0ε0ω+1(n) θ(εΩ2εΩ2Ω)
(X^^X)^(X^^X)&n ≈ X^^(X+1)&n fε0ε0ε0(n) θ(εΩ2εΩ2εΩ+1)
X^^(2X)&n fε1(n) θ(εΩ2+1)
{n,n,2(X^^(2X))2} fε1+1(n) θ(εΩ3)
X^^(3X)&n fε2(n) θ(εΩ3+1)
X^^(X^2)&n fεω(n) θ(εΩω)
X^^(X^3)&n fεω2(n) θ(εΩ2ω)
X^^(X^X)&n fεωω(n) θ(εΩω)
X^^X^^3&n fεωωω(n) θ(εΩΩω)
X^^X^^X&n=X^^^3&n fεε0(n) θ(εεΩ+1)

令人惊讶的是,&n 的作用是——将 SGH 中的增长速率大致映射到 FGH 中的相同序数!

这意味着,如果一个数阵函数 p(n) 在 SGH 中的增长速率为 α,那么 p(X)&n 在 FGH 中的增长速率也约为 α(更准确地说,是 FGH 中的 ω^α)。普通数阵对 SGH 的影响,相当于(X-数阵)&n 对 FGH 的影响。

线性数阵的数阵

BEAF FGH 序数 SGH 序数
X^^^X&n ζ0 θ(ζΩ+1)
X^^^(2X)&n ζ1 θ(ζΩ2+1)
X^^^^3&n ζζ0 θ(ζζΩ+1)
X^^^^X&n φ(3,0) θ(φ(3,Ω+1))=θ(θ1(3))
{X,X,5}&n φ(4,0) θ(θ1(4))
{X,X,X}&n φ(ω,0) θ(θ1(ω))
{X,X,X}^{X,X,X}&n φ(ω,0)φ(ω,0)φ(ω,0) θ(θ1(Ω)θ1(Ω)θ1(ω))
{X,X,X}^^X&n εφ(ω,0)+1 θ(θ(1,θ1(Ω)+1))
{X,X,X}^^^X&n ζφ(ω,0)+1 θ(θ(2,θ1(Ω)+1))
{{X,X,X},X,X}&n ≈ {X,2X,X}&n φ(ω,1) θ(θ(ω,θ1(Ω)+1))
{n,n,2({X,2X,X})2} φ(ω,1)+1 θ(θ1(Ω,1))
{n,n,2({X,3X,X})2} φ(ω,2)+1 θ(θ1(Ω,2))
{n,n,2({X,{X,X,X},X})2} φ(ω,φ(ω,0))+1 θ(θ1(Ω,θ1(Ω)))
{X,X,X+1}&n φ(ω+1,0) θ(θ1(Ω+1))
{X,X,X+2}&n φ(ω+2,0) θ(θ1(Ω+2))
{X,X,2X}&n φ(ω2,0) θ(θ1(Ω+ω))
{X,X,X^2}&n φ(ω2,0) θ(θ1(Ωω))
{X,X,X^X}&n φ(ωω,0) θ(θ1(Ωω))
{X,3,1,2}&n φ(φ(ω,0),0) θ(θ1(θ1(ω)))
{X,X,1,2}&n Γ0 θ(θ1(Ω2))=θ(Ω2)
{X,2X,1,2}&n Γ1 θ(Ω2+θ1(Ω2,1))
{X,X^X,1,2}&n Γωω θ(Ω2+θ1(Ω2,Ωω))
{X,3,2,2}&n ΓΓ0 θ(Ω2+θ1(Ω2,θ1(Ω2)))
{X,X,2,2}&n φ(1,1,0) θ(Ω2+θ1(Ω2+1))
{X,3,3,2}&n φ(1,1,φ(1,1,0)) θ(Ω2+θ1(Ω2+1,θ1(Ω2+1)))
{X,X,3,2}&n φ(1,2,0) θ(Ω2+θ1(Ω2+2))
{X,X,X,2}&n φ(1,ω,0) θ(Ω2+θ1(Ω2+ω))
{X,3,1,3}&n φ(1,φ(1,ω,0),0) θ(Ω2+θ1(Ω2+θ1(Ω2+ω)))
{X,X,1,3}&n φ(2,0,0) θ(Ω22)
{X,X,2,3}&n φ(2,1,0) θ(Ω22+θ1(Ω22+1))
{X,X,1,4}&n φ(3,0,0) θ(Ω23)
{X,X,X,X}&n φ(ω,0,0) θ(Ω2ω)
{X,X,1,1,2}&n φ(1,0,0,0) θ(Ω22)
{X,X,1,1,3}&n φ(2,0,0,0) θ(Ω222)
{X,X,1,1,1,2}&n φ(1,0,0,0,0) θ(Ω23)
{X,X,1,1,1,1,2}&n φ(1,0,0,0,0,0) θ(Ω24)
{X,X(1)2}&n={X,X,...,X}&n 有 X 个 X ={X,2,1,...1,2}&n a.p X+1 θ(Ωω) θ(Ω2ω)
{X,X(1)2}^^X&n εθ(Ωω)+1 θ(Ω2Ω+θ1(1,θ1(Ω2Ω)+1))
{{X,X(1)2},X,1,2}&n Γθ(Ωω)+1 θ(Ω2Ω+θ1(Ω2,θ1(Ω2Ω)+1))
{{X,X(1)2},X(1)2}&n={X,3,1,...1,2}&n 2 a.p X+1 θ(Ωω,1) θ(Ω2Ω+θ1(Ω2Ω,1))
{X,4,1,...1,2}&n 2 a.p X+1 θ(Ωω,2) θ(Ω2Ω+θ1(Ω2Ω,2))
{X,3,2,1,...1,2}&n a.p X+1 θ(Ωω,θ(Ωω)) θ(Ω2Ω+θ1(Ω2Ω,θ1(Ω2ω)))
{X,X,2,1,...1,2}&n a.p X+1 θ(Ωω+1) θ(Ω2Ω+θ1(Ω2Ω+1))
{X,X,3,1,...1,2}&n 2 a.p X+1 θ(Ωω+2) θ(Ω2Ω+θ1(Ω2Ω+2))
{X,X,1,2,1,...1,2}&n a.p X+1 θ(Ωω+Ω) θ(Ω2Ω+Ω2)
{X,X,1,1,2,1,...1,2}&n a.p X+1 θ(Ωω+Ω2) θ(Ω2Ω+Ω22)
{X,X,1,...1,3}&n 3 a.p X+1 θ(Ωω2) θ(Ω2Ω+Ω2ω))
{X,X,1,...1,4}&n 4 a.p X+1 θ(Ωω3) θ(Ω2Ω2+Ω2ω))
{X,X+1(1)2}&n={X,X,...X,X}&n a.p X+1 θ(Ωωω) θ(Ω2Ωω))
{X,3,1,...1,2}&n 2 a.p X+2 θ(Ωωθ(Ωωω)) θ(Ω2Ωθ1(Ω2Ωω)))
{X,X,1,...1,2}&n 2 a.p X+2 θ(Ωω+1) θ(Ω2Ω+1))
{X,X,1,...1,3}&n 3 a.p X+2 θ(Ωω+12) θ(Ω2Ω+12))
{X,X+2(1)2}&n θ(Ωω+1ω) θ(Ω2Ω+1ω))
{X,X,1,...1,2}&n 2 a.p X+3 θ(Ωω+2) θ(Ω2Ω+2))
{X,X+3(1)2}&n θ(Ωω+2ω) θ(Ω2Ω+2ω))
{X,2X(1)2}&n θ(Ωω2) θ(Ω2Ω+ω))
{X,3X(1)2}&n θ(Ωω3) θ(Ω2Ω2+ω))
{X,X^2(1)2}&n θ(Ωω2) θ(Ω2Ωω))
{X,X^X(1)2}&n θ(Ωωω) θ(Ω2Ωω))
{X,X^^X(1)2}&n θ(Ωε0) θ(Ω2εΩ+1))
{X,3,2(1)2}&n θ(Ωθ(Ωω)) θ(Ω2θ1(Ω2ω)))
{X,4,2(1)2}&n θ(Ωθ(Ωθ(Ωω))) θ(Ω2θ1(Ω2θ1(Ω2ω))))
{X,X,2(1)2}&n θ(ΩΩ) θ(Ω2Ω2)

现在可以看到,我们在这里得到的是 FGH 中的 LVO,而非军团结构。

在 Bowers 的页面中,他使用了类似“b&b&...b&b - p 次”的表达式,但 & 运算符有两个关键性质:序列性(sequence):& 字符串不会直接输出数值,而是将这种结构捕获到外部数组中。例如,{3&3(1)3&3} 实际等于 {3,3,3(1)3,3,3},而不是{tritri(1)tritri}=tritri。左保持性(holdleft):位于 & 左侧的内容在解决 & 之前无法被处理。例如,triakulus=3&3&3,但它不等于 tritri&3={3,tritri(1)2}={3,3,2(1)2}。第二个性质使得这类数组难以直接解析,因此需要引入符号辅助。设 X 表示普通数组中一行 n 的符号,X2 表示 X-数阵中一行 X 的符号,Xk+1 表示 Xk-数组中一行 Xk 的符号。那么“b&b&...b&b - p 次”可表示为:Xp1&Xp2&...X2&X&b。注意,& 字符串是分层构建的,而非线性的 X&X&...X&b!

例如,{X,n+1(1)2}&n 大约等于 {X,X(1)2}&(n+1),远小于 {X,X+1(1)2}&n。而 X2+1&X&n 则远超前者,因为它等价于 {X,X,...X(1)X}&n(第一行有X个X)。另外,在“{X,X,1,...1,2} 2 a.p X+2”中,位置 X+2 并非“X-数阵第二行的第二个元素”,而是 X-数阵第一行的第 X+2 个元素。需注意:X 仅表示普通数阵中一行 n 的符号,不代表包含 X 的 X-数阵中的一行;若要表示 X-数阵中的一行 X,应使用X2。用 Bowers 的原生符号和“清晰符号”对应:triakulus=3&3&3=X2&X&3,golapulus=110^100&10&10=X2^100&X&10,golapulusplex=10^100&10&10&10=X3^100&X2&X&10。

现在是否更清晰了?

好的。接下来继续比较其他结构。

  1. a.p 表示位于第……位