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