クヌースの矢印表記の定義
クヌースの矢印表記の定義
\(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}
\]
2年生の夢(高さ2のテトレーションの0から1までの定積分)
\[
\int_{0}^{1}\frac{1}{x^{x}}dx=\sum_{k=1}^{\infty}\frac{1}{k^{k}}
\]
ハイパー演算子とクヌースの矢印表記の(2,2)の値
\[
2\uparrow^{n}2=4-\delta_{-2,n}
\]
コンウェイのチェーン表記の基本
\[
a\rightarrow0\rightarrow b=1-\delta_{0b}
\]