クヌースの矢印表記の定義
クヌースの矢印表記の定義
\(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ボタン |
ハイバー演算子の基本的な値
\[
H_{n}\left(0,a\right)=\begin{cases}
a+1 & n=0\\
a & n=1\\
0 & n=2\\
\delta_{0a} & n=3\\
\delta_{0,\mod\left(a,2\right)} & n=4,5,\cdots
\end{cases}
\]
テトレーションと対数
\[
H_{4}\left(a,n\right)=\log_{a}^{m\circ}H_{4}\left(a,n+m\right)
\]
コンウェイのチェーン表記の定義
\[
X\rightarrow\left(a+1\right)\rightarrow\left(b+1\right)=X\rightarrow\left\{ X\rightarrow a\rightarrow\left(b+1\right)\right\} \rightarrow b
\]
ハイパー演算子とクヌースの矢印表記の(2,2)の値
\[
2\uparrow^{n}2=4-\delta_{-2,n}
\]