クヌースの矢印表記の定義
クヌースの矢印表記の定義
\(b,n\in\mathbb{N}_{0}\)とする。
\[ 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\uparrow^{n}b=\begin{cases} ab & n=0\\ 1 & n\geq1\;\land\;b=0\\ a\uparrow^{n-1}\left(a\uparrow^{n}\left(b-1\right)\right) & otherwise \end{cases} \] と同じである。
\[ a\uparrow^{m}b\uparrow^{n}c=a\uparrow^{m}\left(b\uparrow^{n}c\right) \]
(1)定義
クヌースの矢印表記は以下で定義される。\(b,n\in\mathbb{N}_{0}\)とする。
\[ 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\uparrow^{n}b=\begin{cases} ab & n=0\\ 1 & n\geq1\;\land\;b=0\\ a\uparrow^{n-1}\left(a\uparrow^{n}\left(b-1\right)\right) & otherwise \end{cases} \] と同じである。
(2)結合法則
クヌースの矢印表記は右結合で定義される。\[ a\uparrow^{m}b\uparrow^{n}c=a\uparrow^{m}\left(b\uparrow^{n}c\right) \]
\(b\ne0\)のとき、
\begin{align*} a\uparrow^{n}b & =\underbrace{a\uparrow^{n-1}a\uparrow^{n-1}\cdots\uparrow^{n-1}a}_{b\;copies\;of\;a}\\ & =a\uparrow^{n-1}\underbrace{a\uparrow^{n-1}\cdots\uparrow^{n-1}a}_{b-1\;copies\;of\;a}\\ & =a\uparrow^{n-1}\left(a\uparrow^{n}\left(b-1\right)\right) \end{align*}
\begin{align*} a\uparrow^{n}b & =\underbrace{a\uparrow^{n-1}a\uparrow^{n-1}\cdots\uparrow^{n-1}a}_{b\;copies\;of\;a}\\ & =a\uparrow^{n-1}\underbrace{a\uparrow^{n-1}\cdots\uparrow^{n-1}a}_{b-1\;copies\;of\;a}\\ & =a\uparrow^{n-1}\left(a\uparrow^{n}\left(b-1\right)\right) \end{align*}
ページ情報
| タイトル | クヌースの矢印表記の定義 |
| URL | https://www.nomuramath.com/yqbnfypd/ |
| SNSボタン |
反復コンウェイのチェーン表記
\[
X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)=f^{p\circ}\left(X\right)
\]
テトレーションの微分
\[
\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)
\]
アッカーマン関数の定義と解
\[
A\left(m,n\right)=2\uparrow^{m-2}\left(n+3\right)-3
\]
コンウェイのチェーン表記の基本
\[
a\rightarrow0\rightarrow b=1-\delta_{0b}
\]