User:Kyodaisuu/Sandbox

This is a personal sandbox to prepare for publishing at this wiki. ja:利用者:Kyodaisuu/F3

Fish number 3 (F3), is a number defined by Japanese googologist Fish in 2002. s(n) map is defined as:

\begin{eqnarray*} s(1)f & := & g; g(x)=f^x(x) \\ s(n)f & := & g; g(x)=[s(n-1)^x]f(x) (if n>1) \end{eqnarray*}

where s(n) is a, and the growth rate in FGH is

\begin{eqnarray*} s(x)f(x) \approx f_{\omega^\omega}(x) \end{eqnarray*}

ss(n) map is defined as: \begin{eqnarray*} ss(1)f & := & g; g(x)=s(x)f(x) \\ ss(n)f & := & g; g(x)=[ss(n-1)^x]f(x) (if n>1) \\ \end{eqnarray*}

and the groth rate is \begin{eqnarray*} ss(1)f(x) = s(x)f(x) \approx f_{\omega^\omega}(x) \\ ss(n)f(x) \approx f_{\omega^{\omega+n-1}}(x) \end{eqnarray*}

Definition and growth rate of Fish function 3, \(F_3(x)\), is \begin{eqnarray*} F_3(x):=ss(2)^{63}f; f(x)=x+1 \\ F_3(x) \approx f_{\omega^{\omega+1}\times63}(x) \end{eqnarray*}

Finally, \begin{eqnarray*} F_3 := F_3^{63}(3) \approx f_{\omega^{\omega+1}\times63 + 1}(63) \end{eqnarray*}

Approximations in other notations
Fish number 3 is comparable to Godekagoldgahlah \(\approx f_{(\omega^{\omega+1}) 9}(100)\)

s(n) map
s(n) map is a, which is a function of "function to function", defined by Japanese googologist Fish in 2002. to define Fish number 3. The alphabet s in \(s(n)\) map was taken from a Japanese word shazou, which means mapping.

\begin{eqnarray*} s(1)f & := & g; g(x)=f^x(x) \\ s(n)f & := & g; g(x)=[s(n-1)^x]f(x) (n>1) \end{eqnarray*}

Let \(f(x) = x+1\), and the growth rate can be calculated as:

\begin{eqnarray*} f^2(x) & = & x+2 \\ f^3(x) & = & x+3 \\ s(1)f(x) & = & f^x(x) = x+x = 2x \\ s(1)^2f(x) & = & g^x(x) = 2^x x \approx 2^x where g(x)=2x \\ s(1)^3f(x) & \approx & h^{x}(x) \approx 2 \uparrow ^2 x where h(x)=2^x \\ s(2)f(x) & = & s(1)^{x}f(x) \approx 2\uparrow ^x x \approx A(x,x) = A(1,0,x) \approx f_{\omega}(x) \end{eqnarray*}

Here, A is Taro's multivariable Ackermann function, where the growth rate in FGH is \begin{eqnarray*} A(..., a3, a2, a1, a0, n) \approx f_{... + \omega^3･a3 + \omega^2･a2 + \omega･a1 + a0}(n) \end{eqnarray*}

Let \(f(n) = A(X, b, n)\) (X is a vector in any length), and \begin{eqnarray*} A(X, b+1, n) & = & A(X, b, A(X, b+1, n-1)) \\ & = & f(A(X, b+1, n-1)) \\ & = & f^2(A(X, b+1, n-2)) \\ & = & … = f^n(A(X, b+1, 0)) \\ & \approx & f^n(n) \end{eqnarray*}

となり、 これらはすべて同じである. つまり、s(1)変換をすることは、急成長階層では順序数に1を足すことと同じで、多変数アッカーマン関数では右から2番目の項に1を加えることと同じである. よって、
 * s(1)変換の \(s(1)f(x) = f^x(x)\)
 * 急成長階層の \(f_{\alpha+1}(n) = f^n_\alpha(n)\)
 * 多変数アッカーマンで \(f(n) = A(X, b, n)\) として \(A(X, b+1, n) = f^n(n)\)

\begin{eqnarray*} s(1)s(2)f(x) & \approx & A(1,1,x) \approx f_{\omega + 1}(x) \\ s(1)^2 s(2)f(x) & \approx & A(1,2,x) \approx f_{\omega + 2}(x) \\ s(1)^n s(2)f(x) & \approx & A(1,n,x) \approx f_{\omega + n}(x) \end{eqnarray*}

と計算を続けることができ、さらにこのs(1)変換を数え上げることで、

\begin{eqnarray*} s(2)^2 f(x) = s(1)^x s(2)f(x) \approx A(1,x,x) = A(2,0,x) \approx f_{\omega \times 2}(x) \end{eqnarray*}

と、アッカーマン関数の右から3番目の項に1が足される. 以下、同様にして

\begin{eqnarray*} s(2)^n f(x) \approx A(n,0,x) \approx f_{\omega \times n}(x) \\ s(3)f(x) = s(2)^{x}f(x) \approx A(x,0,x) = A(1,0,0,x) \approx f_{\omega^2}(x) \\ s(3)^2 f(x) \approx A(2,0,0,x) \approx f_{\omega^2 \times 2}(x) \\ s(3)^n f(x) \approx A(n,0,0,x) \approx f_{\omega^2 \times n}(x) \end{eqnarray*}

このように、s(3)変換はs(2)変換を数え上げることで、S変換を数え上げたバージョン2のSS変換と同じ効果を持つ. ここまでをまとめると、


 * バージョン1,2のS変換 = バージョン3のs(2)変換
 * バージョン2のSS変換 = バージョン3のs(3)変換

となる. さらに計算を続けると、

\begin{eqnarray*} s(4)f(x) & = & s(3)^{x}f(x) \approx A(x,0,0,x) = A(1,0,0,0,x) \approx f_{\omega^3}(x) \\ s(1)^4 s(2)^3 s(3)^2s(4)f(x) & \approx & A(1,2,3,4,x) \approx f_{\omega^3+\omega^2 \times 2+\omega \times 3 + 4}(x) \\ s(5)f(x) & \approx & f_{\omega^4}(x) \\ s(6)f(x) & \approx & f_{\omega^5}(x) \\ s(n)f(x) & \approx & f_{\omega^{n-1}}(x) \\ s(x)f(x) & \approx & f_{\omega^\omega}(x) \end{eqnarray*}

となる. このように、関数 \(f(x)=x+1\) にs(n)変換をすることで、多変数アッカーマン関数や配列表記と同じ \(f_{\omega^\omega}(x)\) 程度の関数を作ることができる.