反復コンウェイのチェーン表記
反復コンウェイのチェーン表記
\[ f\left(x\right)=X\rightarrow\left(x\right)\rightarrow q \] とすると、
\[ X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)=f^{p\circ}\left(X\right) \] となる。
\[ f\left(x\right)=X\rightarrow\left(x\right)\rightarrow q \] とすると、
\[ X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)=f^{p\circ}\left(X\right) \] となる。
-
\(\rightarrow\)はコンウェイのチェーン表記\begin{align*}
X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right) & =f\left(\left[X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)\right]_{p\rightarrow p-1}\right)\\
& =\left[f\left(X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)\right)\right]_{p\rightarrow p-1}\\
& =\left[f^{p\circ}\left(X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)\right)\right]_{p\rightarrow0}-\sum_{k=0}^{p-1}\left[\left[f^{\left(k+1\right)\circ}\left(X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)\right)\right]_{p\rightarrow p-\left(k+1\right)}-\left[f^{k\circ}\left(X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)\right)\right]_{p\rightarrow p-k}\right]\\
& =\left[f^{p\circ}\left(X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)\right)\right]_{p\rightarrow0}\\
& =f^{p\circ}\left(X\rightarrow1\rightarrow\left(q+1\right)\right)\\
& =f^{p\circ}\left(X\right)
\end{align*}
ページ情報
| タイトル | 反復コンウェイのチェーン表記 |
| URL | https://www.nomuramath.com/sthmu0z7/ |
| SNSボタン |
ハイパー演算子の優先順位
\[
I_{n+1}\left(a,b\right)=I_{n+1}\left(a,b-1\right)^{\left(n\right)}a
\]
クヌースの矢印表記の定義
\[
a\uparrow^{n}b:=\begin{cases}
ab & n=0\\
1 & n\geq1\;\land\;b=0\\
\underbrace{a\uparrow^{n-1}a\uparrow^{n-1}\cdots\uparrow^{n-1}a}_{b\;copies\;of\;a} & otherwise
\end{cases}
\]
アッカーマン関数の定義と解
\[
A\left(m,n\right)=2\uparrow^{m-2}\left(n+3\right)-3
\]
テトレーションの微分
\[
\frac{d}{dz}\left(z\uparrow^{2}n\right)=\frac{1}{z}\sum_{k=1}^{n}\left(\log^{k-1}z\right)\prod_{j=n-k}^{n}\left(z\uparrow^{2}j\right)
\]