テトレーションと対数
テトレーションと対数
\[ H_{4}\left(a,n\right)=\log_{a}^{m\circ}H_{4}\left(a,n+m\right) \]
(1)
\(n,m\in\mathbb{Z}\)とする。\[ H_{4}\left(a,n\right)=\log_{a}^{m\circ}H_{4}\left(a,n+m\right) \]
(2)
\[ H_{4}\left(a,-1\right)=0 \]-
\(H_{n}\left(a,b\right)\)はハイパー演算子(1)
\begin{align*} H_{4}\left(a,n\right) & =a\uparrow^{2}n\\ & =\log_{a}\left\{ a\uparrow\left(a\uparrow^{2}n\right)\right\} \\ & =\log_{a}\left\{ a\uparrow^{2}\left(n+1\right)\right\} \\ & =\log_{a}H_{4}\left(a,n+1\right)\\ & =\log_{a}^{m\circ}H_{4}\left(a,n+m\right)+\sum_{k=1}^{m}\left\{ \log_{a}^{\left(k-1\right)\circ}H_{4}\left(a,n+k-1\right)-\log_{a}^{k\circ}H_{4}\left(a,n+k\right)\right\} \\ & =\log_{a}^{m\circ}H_{4}\left(a,n+m\right) \end{align*}(2)
(1)より、\begin{align*} H_{4}\left(a,-1\right) & =\log_{a}H_{4}\left(a,0\right)\\ & =\log_{a}1\\ & =0 \end{align*}
ページ情報
タイトル | テトレーションと対数 |
URL | https://www.nomuramath.com/mdu69hwe/ |
SNSボタン |
ハイパー演算子の結合法則
\[
a^{\left(n\right)}\left(b^{\left(n\right)}c\right)\ne\left(a^{\left(n\right)}b\right)^{\left(n\right)}c
\]
クヌースの矢印表記の定義
\[
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\left(m,n\right)=2\uparrow^{m-2}\left(n+3\right)-3
\]
コンウェイのチェーン表記の基本
\[
a\rightarrow0\rightarrow b=1-\delta_{0b}
\]