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