正の整数におけるn の階冪(かいべき、: expofactorial)あるいは指数階乗(しすうかいじょう、: exponential factorial)とは、 1を最初の冪指数、2を最初の英語版として最初の冪乗をつくり、その冪乗を次の指数、3を底としてその次の冪乗をつくりと繰り返し、 n を最後の底としてつくった冪乗の値を示す。つまりは

[1]

階冪は、漸化式で定義することもできる。

階冪の最初の5つの値は、1, 1, 2, 9, 262144, となる。 (オンライン整数列大辞典の数列 A049384) よって262144は4の階冪である。

漸化式を使用すると、最初の6つの階冪は以下のように導ける。

0 $ = 1
1 $ = 1 1 = 1
2 $ = 2 1 = 2
3 $ = 3 2 = 9
4 $ = 4 9 = 262144
5 $ = 5 262144 = 6206069878 ... 8212890625(183231桁)

階冪は階乗hyperfactorial(ハイパー階乗)より遥かに大きな値となる。たとえば 6$ は約 5×10183230桁の値になる。

1以下の階冪の逆数の総和は、以下の超越数である。

この総和はリウヴィル数であるため超越数である。

テトレーションと同様、階冪関数の引数の実数及び複素数への拡張は現在認められていない。この点はガンマ関数として拡張された階乗関数やK関数として拡張されたハイパー階乗とは異なる。ただし、1の帯幅で定義されていれば、拡張することは可能である。

関連する関数、表記法、規則

編集

脚注

編集
  1. ^ 訳注:記号 超階乗でも使用されているため、注意が必要である。

参考文献

編集