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