コンウェイのチェーン表記の別定義
コンウェイのチェーン表記の別定義
コンウェイのチェーン表記の定義で\(a\rightarrow b\rightarrow c=a\uparrow^{c}b\)ではなく\(a\rightarrow b=a^{b},a\rightarrow b\rightarrow1=a\rightarrow b,a\rightarrow b+1\rightarrow c+1=a\rightarrow\left(a\rightarrow b\rightarrow c+1\right)\rightarrow c\)で定義しても\(a\rightarrow b\rightarrow c=a\uparrow^{c}b\)が導出できる。
コンウェイのチェーン表記の定義で\(a\rightarrow b\rightarrow c=a\uparrow^{c}b\)ではなく\(a\rightarrow b=a^{b},a\rightarrow b\rightarrow1=a\rightarrow b,a\rightarrow b+1\rightarrow c+1=a\rightarrow\left(a\rightarrow b\rightarrow c+1\right)\rightarrow c\)で定義しても\(a\rightarrow b\rightarrow c=a\uparrow^{c}b\)が導出できる。
-
\(\rightarrow\)はコンウェイのチェーン表記\(c=1\)のとき、
\begin{align*} a\rightarrow b\rightarrow1 & =a\rightarrow b\\ & =a^{b}\\ & =a\uparrow^{1}b \end{align*} となるので\(c=1\)で成り立つ。\(c=k+1\)のとき、
\(c=k\)のとき成り立つと仮定すると、\begin{align*} a\rightarrow b\rightarrow k+1 & =a\rightarrow\left(a\rightarrow b-1\rightarrow k+1\right)\rightarrow k\\ & =a\uparrow^{k}\left(a\rightarrow b-1\rightarrow k+1\right)\\ & =\underbrace{a\uparrow^{k}a\uparrow^{k}\cdots a\uparrow^{k}a}_{b-1\;copies\;of\;a}\uparrow^{k}\left(a\rightarrow1\rightarrow k+1\right)+\sum_{j=0}^{b-2}\left\{ \underbrace{a\uparrow^{k}a\uparrow^{k}\cdots a\uparrow^{k}a\uparrow^{k}}_{j\;copies\;of\;a\uparrow^{k}}\left(a\rightarrow b-j\rightarrow k+1\right)-\underbrace{a\uparrow^{k}a\uparrow^{k}\cdots a\uparrow^{k}a\uparrow^{k}}_{j+1\;copies\;of\;a\uparrow^{k}}\left(a\rightarrow b-1-j\rightarrow k+1\right)\right\} \\ & =\underbrace{a\uparrow^{k}a\uparrow^{k}\cdots a\uparrow^{k}a}_{b-1\;copies\;of\;a}\uparrow^{k}\left(a\rightarrow1\rightarrow k+1\right)\\ & =\underbrace{a\uparrow^{k}a\uparrow^{k}\cdots a\uparrow^{k}a}_{b-1\;copies\;of\;a}\uparrow^{k}a\\ & =\underbrace{a\uparrow^{k}a\uparrow^{k}\cdots a\uparrow^{k}a}_{b\;copies\;of\;a}\\ & =a\uparrow^{k+1}b \end{align*} となり、\(c=k+1\)でも成り立つ。
故に数学的帰納法より題意は成り立つ。
ページ情報
タイトル | コンウェイのチェーン表記の別定義 |
URL | https://www.nomuramath.com/xpcp6e0c/ |
SNSボタン |
ハイバー演算子の定義
\[
H_{n}\left(a,b\right):=\begin{cases}
b+1 & n=0\\
a+b & n=1\\
\underbrace{a^{\left(n-1\right)}a^{\left(n-1\right)}\cdots a^{\left(n-1\right)}a}_{b\;copies\;of\;a} & n=2,3,\cdots
\end{cases}
\]
ハイパー演算子の結合法則
\[
a^{\left(n\right)}\left(b^{\left(n\right)}c\right)\ne\left(a^{\left(n\right)}b\right)^{\left(n\right)}c
\]
ハイパー演算子の優先順位
\[
I_{n+1}\left(a,b\right)=I_{n+1}\left(a,b-1\right)^{\left(n\right)}a
\]
ハイバー演算子の基本的な値
\[
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}
\]