超階乗

数学における自然数の組合せ論的函数（二項係数・階乗類似函数）として、超階乗（ちょうかいじょう、英: superfactorial） $n $$ は階乗の拡張となるものである。ただし、幾つかの異なる定義が存在する。

ピックオーバーの超階乗編集

クリフォード・ピックオーバー（英語版）は1995年に著書 Keys to Infinity^[1] において、次の超階乗を定義するために新しい表記 $n $$ を用いた。^[2]

n\$=\underbrace {{n!}^{{n!}^{\,\textstyle \cdot ^{\,\textstyle \cdot ^{\,\textstyle \cdot ^{\,n!}}}}}} _{{\text{高さが}}n!=\Gamma (n+1)}.

ガンマ関数、ハイパー演算子、テトレーション、クヌースの矢印表記、コンウェイのチェーン表記を用いた場合は次のようになる。

$n![4]n!$
$n![5]2$
${^{n!}n!}$
$n!\uparrow \uparrow n!$
$n!\uparrow \uparrow \uparrow 2$
$\Gamma (n+1)\uparrow \uparrow \uparrow 2$
$n!\rightarrow n!\rightarrow 2$
$n!\rightarrow 2\rightarrow 3$
$\Gamma (n+1)\rightarrow 2\rightarrow 3$

最初のほうのいくつかを見れば:

{\begin{aligned}0\$&={}^{0!}0!={}^{1}1=1,\\1\$&={}^{1!}1!={}^{1}1=1,\\2\$&={}^{2!}2!={}^{2}2=2_{{}^{\textstyle ,}}^{2}\\[-9pt]3\$&={}^{3!}3!={}^{6}6=6_{{}^{\textstyle ,}}^{6^{6^{6^{6^{6}}}}}\\[-53pt]4\$&={}^{4!}4!={}^{24}24=24_{{}^{\textstyle .}}^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24^{24}}}}}}}}}}}}}}}}}}}}}}}\end{aligned}}

このように定義通りの冪記法では表記上も長大な長さの冪指数の塔が現れることになるが、以下これらの値が $n$ の増大に従って急速に巨大数となっていくことを見よう。

0$, 1$, 2$編集

超階乗は通常は巨大な数になるが、 $0, 1, 2$ の超階乗はそれぞれ $0$ = 1$ = 1, 2$ = 4$ と小さな値にしかならない。

3$ の下4桁編集

$3$$ は、近似的に非常に粗く見積もっても ${\textstyle =6^{6^{6^{6^{46656}}}}\approx 6^{6^{6^{2.7\times 10^{36305}}}}}$ となり、これは宇宙論で使われた最大の数（複数の宇宙の全質量を1個のブラックホールに圧縮しそれが蒸発した後に、ポアンカレの回帰定理に従い再びブラックホールができる時間） ${10}^{{10}^{{10}^{{10}^{{10}^{1.1}}}}}\approx {10}^{{10}^{{10}^{3883775501690}}}\leq {6}^{{6}^{{6}^{{6}^{{6}^{1.62214}}}}}$ ^[3]よりもさらに巨大であり、現実世界の現象で例えることなど無理のような巨大な数とはいえ、その構造は驚くほど単純である。すなわち、幾つかの「6」の掛け合わせに過ぎない。「6」を順次掛けていって、下4桁の数の出現の様子を精査すると、最初から数えて4番目の数から125個の数が循環^{[注釈 1]}して現れる。この性質に着目すると、3$ そのものは計算によって全ての桁を求めることは事実上不可能であるが、その下4桁の数が「8656」であることは直ぐに分かる。

5$ の下位桁の数編集

5! ＝ 120 であり、10 の倍数でもあるため、 $5$$ および $6$$ 以降もまた、末尾でいくつもの 0 が並ぶ巨大数であることがわかる。

$5$$ は $3$$ や $4$$ よりさらに巨大な数であるため、桁数の正確な計算すら事実上不可能であるが、 $120 n = 12 n \times 10 n$ であるため、下位約48.09％の桁で $0$ が連続して並ぶ自然数である^{[注釈 2]}。

2↑↑↑↑3, 8$, 9$編集

2↑↑↑↑3 は 2↑↑65,536 なので、 $8$=8!↑↑8!=8!↑{8!↑↑(8! - 1)} = 8! 8!↑↑40319 = 2! log 2! (8!↑↑40319)$ よりもさらに巨大な数だが、 $9$$ よりは遥かに小さい。

スローンとプラウフの超階乗編集

ニール・スローンとサイモン・プラウフは1995年に The Encyclopedia of Integer Sequences^[4] において、最初の $n$ 個の階乗の積として超階乗を定義した。

n\$=\operatorname {sf} (n):=\prod _{k=1}^{n}k!.

この超階乗は $1, 2, \dots, n$ の差積（ファンデルモンド行列式）としても与えられる:^[5]

\operatorname {sf} (n)=\Delta (1,2,\dotsc ,n)=\prod _{0\leq i<j\leq n}(j-i).

この超階乗は次の式を満たす。ここで $G$ はバーンズのG関数、 $H$ はハイパー階乗である。^[6]

\operatorname {sf} (n)=G(n+2)={\frac {(n!)^{n-1}}{H(n-1)}}.

最初の幾つかの値は次のように与えられる。

1, 1, 2, 12, 288, 34560, 24883200, 125411328000, \dots

(A000178)

注編集

注釈編集

^ 一般に任意の整数の下4桁を考えることは、その整数を群 $(Z /10000 Z) \times$ の元に落として考えるのと等価で、この群の位数は ${\textstyle \varphi (10000)=10000(1-{\frac {1}{2}})(1-{\frac {1}{5}})=4000}$ だから、各整数の下4桁に注目したときの循環節の長さは 4000 の約数だが、 $φ (16) = 8, φ (625) = 500$ なので、殆どの整数で循環節の長さは 4000 よりもずっと少ない。
^ $5$$ は $5$= 120↑↑120 = 120 120↑↑119 = 12 120↑↑119 \times 10 120↑↑119$ となるため、下 $120↑↑119$ -桁が $0$ であり、その割合は正確には ${\textstyle {\frac {120\uparrow \uparrow 119}{10^{-2}(\lfloor \left(120\uparrow \uparrow 119\right)\log _{10}{120}\rfloor +1)}}(\approx 48.0958551305)\%}$ である。

出典編集

^ Pickover, Clifford A. (1995). Keys to Infinity. New York: John Wiley & Sons. doi:10.2307/2687608. JSTOR 2687608
^ Pickover 1995, p. 102.
^ 桁数が非常に大きいため、時間の単位をプランク時間・秒・年のいずれにしても無視できる範囲で近似する。
^ Sloane, Neil J. A.; Plouffe, Simon (1995), The Encyclopedia of Integer Sequences, San Diego: Academic Press, ISBN 0-12-558630-2, https://oeis.org/book.html
^ Weisstein, Eric W. "Vandermonde Determinant". MathWorld (英語).
^ Weisstein, "Superfactorial" from MathWorld.

外部リンク編集

Weisstein, Eric W. "Superfactorial". MathWorld (英語).
Definition:Superfactorial at ProofWiki

[4] 一般に任意の整数の下4桁を考えることは、その整数を群 $(Z /10000 Z) \times$ の元に落として考えるのと等価で、この群の位数は ${\textstyle \varphi (10000)=10000(1-{\frac {1}{2}})(1-{\frac {1}{5}})=4000}$ だから、各整数の下4桁に注目したときの循環節の長さは 4000 の約数だが、 $φ (16) = 8, φ (625) = 500$ なので、殆どの整数で循環節の長さは 4000 よりもずっと少ない。

[5] $5$$ は $5$= 120↑↑120 = 120 120↑↑119 = 12 120↑↑119 \times 10 120↑↑119$ となるため、下 $120↑↑119$ -桁が $0$ であり、その割合は正確には ${\textstyle {\frac {120\uparrow \uparrow 119}{10^{-2}(\lfloor \left(120\uparrow \uparrow 119\right)\log _{10}{120}\rfloor +1)}}(\approx 48.0958551305)\%}$ である。

[1] Pickover, Clifford A. (1995). Keys to Infinity. New York: John Wiley & Sons. doi:10.2307/2687608. JSTOR 2687608

[FOOTNOTEPickover1995102-2] Pickover 1995, p. 102.

[3] 桁数が非常に大きいため、時間の単位をプランク時間・秒・年のいずれにしても無視できる範囲で近似する。

[6] Sloane, Neil J. A.; Plouffe, Simon (1995), The Encyclopedia of Integer Sequences, San Diego: Academic Press, ISBN 0-12-558630-2, https://oeis.org/book.html

[7] Weisstein, Eric W. "Vandermonde Determinant". MathWorld (英語).

[MathWorld-8] Weisstein, "Superfactorial" from MathWorld.

[1]

[2]

[3]

[注釈 1]

[注釈 2]

[4]

[5]

[6]

超階乗

目次