反復コンウェイのチェーン表記
反復コンウェイのチェーン表記
\[ 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ボタン |
アッカーマン関数の定義と解
\[
A\left(m,n\right)=2\uparrow^{m-2}\left(n+3\right)-3
\]
ハイバー演算子とクヌースの矢印表記の関係
\[
H_{n}\left(a,b\right)=a\uparrow^{n-2}b\;,\;n\in\mathbb{Z}
\]
コンウェイのチェーン表記の別定義
\[
a\rightarrow b\rightarrow c=a\uparrow^{c}b
\]
2年生の夢(高さ2のテトレーションの0から1までの定積分)
\[
\int_{0}^{1}\frac{1}{x^{x}}dx=\sum_{k=1}^{\infty}\frac{1}{k^{k}}
\]