冪乗

テンプレート:Calculation results 冪演算（べきえんざん、英: 独: 仏: Exponentiation）は、底 (base) および冪指数 (exponent) と呼ばれる二つの数に対して定まる数学的算法である。通常は、冪指数を底の右肩につく上付き文字によって示す。自然数 n を冪指数とする冪演算は累乗（るいじょう、英: repeated multiplication) に一致する。

具体的に、底 b および冪指数 n を持つ冪 (power) bテンプレート:Exp は、n が自然数（正整数）のとき、底の累乗

[math]b^n = \underbrace{b \times \cdots \times b}_{n\text{ factors}}[/math]

で与えられる。このとき bテンプレート:Exp は b の n-乗とか、n-次の b-冪などと呼ばれる。

よく用いられる冪指数に対しては、固有の名前が与えられているものがある。例えば冪指数 2 に対して二次の冪（二乗） bテンプレート:Exp は b の平方 (square of b) あるいは b-自乗 (b-squared) と呼ばれ、冪指数 3 に対する三次の冪 bテンプレート:Exp は b の立方 (cube of b, b-cubed) と呼ばれる。また冪指数 −1 に対して冪 bテンプレート:Exp は 1/b であり b の逆数（あるいは乗法逆元）と呼ばれる。一般に負の整数 n に対して底 b が零でないとき、冪 bテンプレート:Exp はふつう bⁿ × b^m = b^{n + m} なる性質を保つように bテンプレート:Exp := 1/bテンプレート:Exp と定義される。

冪演算は任意の実数あるいは複素数を冪指数とするように定義を拡張することができる。底および冪指数が実数であるような冪において、底を固定して冪指数を変数と見なせば指数函数が、冪指数を固定して底を変数と見れば冪函数がそれぞれ生じる。整数乗冪に限れば、行列などを含めた非常に多種多様な代数的対象に対してもそれを底とする冪を定義することができるが、冪指数まで同種の対象に拡張するならばその上で定義された自然指数函数と自然対数函数を持つ完備ノルム環（例えば実数全体 テンプレート:Mathbf や複素数全体 テンプレート:Mathbf などはそう）を想定するのが自然である。

歴史

歴史上に冪が現れたのは非常に古くB.C.16世紀頃に作成された粘土板には平方数表、平方根表、立方根表や三平方の定理について書かれておりエジプトやインド、ギリシャなどでも冪の概念は明示されている。一方で指数法則に言明する文献は見当たらず「指数概念」には未だ到達していないと考えるべきであるが、冪を意味する用語 "power" はギリシアの数学者エウクレイデス（ユークリッド）が直線の平方を表すのに用いた語に起源がある。また「原論」において指数法則 a^m × aⁿ = a^m+n に相当する命題に言及しているが、この時代には算式は発明されておらずすべて言葉で表現していた。

記法について

アルキメデスは 10 の冪を扱うために必要となる指数法則 10テンプレート:Exp • 10テンプレート:Exp = 10テンプレート:Exp を発見し証明した。9世紀、ペルシアの数学者アル゠フワーリズミは平方を mal, 立方を kab で表した。これを後に中世イスラムの数学者がそれぞれ m, k で表す記法として用いていることが、15世紀ごろのアル゠カラサディの仕事に見ることができる。

16世紀後半、ヨスト・ビュルギは冪指数をローマ数字を用いて表した。

17世紀初頭、今日用いられる現代的な冪記法の最初の形はルネ・デカルトが著書 La Géométrie の一巻において導入した。

アイザック・ニュートンなど一部の数学者は冪指数は二乗よりも大きな冪に対してのみ用い、平方は反復積として書き表した。これは例えば ax + bxx + cx³ + d のように多項式を書くということである。

用語について

15世紀にニコラ・ショケは冪記法の一種を用い、それは後の16世紀にハインリヒ・シュライベルおよびミハエル・スティーフェルが用いている。

16世紀にロバート・レコードは square（二次）, cube（三次）, zenzizenzic（四次）, sursolid（五次）, zenzicube（六次）, second sursolid（七次）, zenzizenzizenzic（八次）の語を用いた。四乗については Biquadrate（複二次）の語も用いられた。

歴史的には "involution" が冪の同義語として用いられていたが現在では稀であり、現在別の意味で用いられているので混同すべきではない。

冪指数について

冪指数を意味する用語として、英語ではしばしば exponent と index が同義語として用いられる。この用語選定は18世紀、19世紀を通じて極めて曖昧で個人の嗜好に委ねられていた。しかし、ガウスはその著書 Disquisitiones Arithmeticae において通常の冪指数と数論的な指数を峻別する必要性から exponens は通常の冪指数、index は数論的な指数を表すものとして明確に区別し使い分けて解説に使用しており、この使い分けはディリクレ、デデキント、ヒルベルトを通じて数論の世界での標準となった。

もとをたどれば、1544年にミハエル・スティーフェルがラテン語: "exponens" を造語し、対して1586年にラザルス・シェーナーが数学者ペトルス・ラムスの書籍への補注としてラテン語: "index" を（シュテイフェルが exponens と呼んだものと同じものを指す意味で）用いたのがそれぞれの語源と考えられる。exponent と index はこれらの英語翻訳で、例えば index はサミュエル・ジークが1696年に導入した。

exponentとindexの微妙な使い分けと併用の時代はここから始まるのであるが、その併用のされ方は国と時代のみならず個人によっても異なり、イギリスは当初indexが優勢でこれは聖バーソロミューの大虐殺で殉死したラムスの著作がプロテスタント諸国で非常に人気を集めたためとの指摘がある。

日本語「冪」について

「冪」の字義は「覆う、覆うもの」である。江戸時代の和算家は冪の略字として「巾」を用いていた。

第二次世界大戦後の漢字制限政策のもと、これらの字は常用漢字・当用漢字に含まれず、1950年代以降の学習参考書などの出版物では仮名書きまたは「累乗」への書き換えが進められ、結果として初等数学の教科書ではもっぱら「累乗」が用いられた。「累乗」の字義は「重ね掛けた乗算」であり、自然数乗以外の冪に対して用いることは字義からすればあまり自然でない。

「冪剰余」「冪集合」「冪級数」などの高等学校以下で扱われない多くの概念に対しては、「冪」の部分が置き換えられることはなく、例えば「べき乗集合」や「累乗集合」などといった表現は生じていない。

定義

自然数乗冪

実数（または積 [math]\times[/math] の定義された群、より一般には半群）において、元 x 、および、自然数 n に対して xⁿ を

[math]x^n = \underbrace{x \times \cdots \times x}_{n\ \text{times}}[/math]

で定義する。（厳密には再帰的に定義する。） 上付きの n が書けない場合などには、 x^n という表記を用いることが多い。 これを x の n-乗あるいは x の n -乗冪と呼び、n を問題にしないときは x の累乗や x の冪と言う。

また、これら操作を「x の n 乗 (etc.) を取る」などと称し、特に n を固定して x を入力とする関数（特に実数 x の函数）と見るときは、冪関数という。 x の 2乗、3乗は特に、それぞれ x の平方 (へいほう、 英: square)、立方 (りっぽう、 英: cube) と呼ばれ、2乗を特に自乗という場合もある。

冪 xⁿ において、x を底（てい、英: base、 基数）と呼び、n を冪数、冪指数または単に指数（しすう、 英: exponent) と呼ぶ。また、必ずしも冪指数とは限らない添字 n をその基準となる文字 x の右肩に乗せる添字記法を指数表記・冪記法などとよぶ場合もある。

厳密には、x の n-乗冪は

1. x¹ = x,
2. xⁿ⁺¹ = xⁿ × x   (n ≥ 1)

によって再帰的に定義される。

負の整数乗冪

帰納的定義を見れば以下のように拡張するのが自然である。

有理数の範囲で2の累乗数を例に取ると：

• 2⁴ = 16
• 2³ = 8
• 2² = 4
• 2¹ = 2
• 2⁰ = 1
• 2⁻¹ = 1/2
• 2⁻² = 1/4
• 2⁻³ = 1/8
• 2⁻⁴ = 1/16

ただし、底が0の場合は「0で割れない」などの理由から定義しないか、あるいは 0⁰ については 1 と定義するのが一般的である。

"「0の0乗」"

有理数乗冪

"「冪根」"

自然数 m に対し、x の m 乗根すなわち m 乗して x になるような数 y がただ一つあるならば、その y を x^1/m とし、自然数または整数 n に対し

x^n/m = (x^1/m)ⁿ

と定めることによって、x を底とする冪乗の指数を有理数の範囲まで拡張することができる。 このとき、指数法則と呼ばれる以下の関係式が成り立つ。

• x^r+s = x^r × x^s
• x^r×s = (x^r)^s

ここで、r と s は、冪が定義できる範囲の有理数である。つまり、x が逆元をもたないなら自然数、逆元はもつが冪根をもたないなら整数、m 乗根をもつが逆元をもたないならば m を分母とする正の有理数、逆元も m 乗根ももつならば m を分母とする有理数である。

実数乗冪

"「指数関数」"

x が正の実数であれば、上で制限されていた指数への条件は外れる。 なぜなら、正数であれば任意の自然数 m に対する正の m 乗根 ^m√x がただ一つだけ存在するから、正の有理数 n/m に対し

[math]x^{n/m} = \bigl(\!\sqrt[m]{x}\,\bigr)^n = \sqrt[m]{x^n}[/math]

と定めることができるし、さらに x が 0 でなければ逆元が存在するので、指数は有理数全体まで拡張される。

さて、x (>0) の冪はその指数に関して極限を取ることにより、実数上の関数に拡張され連続関数になる。連続な拡張は一意であり、これを x を底とする指数関数と呼ぶ。

複素数乗冪

複素数 z に対し、

[math]e^z:=\sum_{n=0}^\infty \frac{z^n}{n!}[/math]

と定める。この級数は任意の複素数 z に対して収束する。z = x + iy （x, y は実数）と表すと、

[math]e^{x+iy}=e^x(\cos y+i\sin y)[/math]

が成り立つ。

さらに、この関数の「逆関数」を log と書けば、一般の複素数 w ≠ 0 に対し

[math]w^z:=e^{z\log w}[/math]

と定義される。これは log が多価関数であるため一般には値が 1 つには定まらない。ただし、w = e の場合には、上に冪級数で定義した方の意味で用いるのが普通である。

性質

• 冪演算は可換でない（たとえば 2テンプレート:Exp = 8 ≠ 9 = 3テンプレート:Exp）。また結合的でない（たとえば (3テンプレート:Exp)テンプレート:Exp = 27 ≠ 3 = 3テンプレート:Exp）。
• 括弧を用いずに aテンプレート:Exp と書いたときには、これはふつう aテンプレート:Exp を意味する。すなわち冪演算は右結合的である（演算子の優先順位も参照）。

指数法則

以下の一覧表において多重定義の虞を除くため、底は非零実数であるような冪のみを考える。ただし、正の冪のみを考えるならば、底が 0 でも各法則は成り立つ。また以下の一覧において、有理数について分母が奇数あるいは偶数であるというときは、常にその有理数の既約分数表示における分母のことを言っているものとする。

指数法則

規則	条件
[math]a^0 = 1[/math]	a ≠ 0 は任意
[math] a^{-r} = \frac{1}{a^r}[/math]	a > 0 ならば r は任意の実数 a < 0 ならば r は分母が奇数の任意の有理数
[math]a^{\frac{m}{n}} = \sqrt[n]{a^m}=(\sqrt [n] a)^m[/math]	a > 0 ならば n は任意の自然数で m は任意の整数 a < 0 ならば n は任意の奇数で m は任意の整数
[math]a^{r+s} = a^r\cdot a^s[/math]	a > 0 ならば r, s は任意の実数 a < 0 ならば r, s は分母が奇数の任意の有理数
[math]a^{r-s}=\frac{a^r}{a^s}[/math]	a > 0 ならば r, s は任意の実数 a < 0 ならば r, s は分母が奇数の任意の有理数
[math](a\cdot b)^r = a^r\cdot b^r[/math]	a  • b ≠ 0 ならば r は任意の自然数、あるいは任意の整数 a > 0, b > 0 ならば r は任意の実数 a, b の少なくとも一方が負ならば r は分母が奇数の任意の有理数
[math]\left(\frac{a}{b}\right)^r = \frac{a^r}{b^r}[/math]	整数 r に対して、[r ≥ 0 かつ b ≠ 0] または [r ≤ 0 かつ a ≠ 0] のとき a > 0, b > 0 ならば r は任意の実数 a, b の少なくとも一方が負ならば r は分母が奇数の任意の有理数
[math](a^r)^s = a^{r\cdot s}[/math]	a ≠ 0 ならば r, s は任意の整数 a > 0 ならば r, s は任意の実数 a < 0 ならば r, s は分母が奇数の任意の有理数
[math](a^r)^s =- a^{r\cdot s}[/math]	a < 0 かつ有理数 r, s に対して、r および r  • s は分母が奇数、かつ r  • s の分子が奇数のとき

(aテンプレート:Exp)テンプレート:Exp = ±aテンプレート:Exp に関して

• 冪指数 r, s の少なくとも一方が無理数であるとき、あるいはこれらの双方が有理数だが r または r  • s の少なくとも一方の分母が偶数となるときには、a < 0 に対する (aテンプレート:Exp)テンプレート:Exp または aテンプレート:Exp は定義されない。それ以外のとき、この両者は定義されて符号の違いを除いて一致する。特に両者は a > 0 ならば任意の実数 r, s に対して一致し、また a ≠ 0 ならば任意の整数 r, s に対して一致する。
• a < 0 かつ r, s が整数でない有理数であるときには可能性は二通り考えられ、どちらになるかは r の分子と s の分母の素因数分解が関係する。式 (aテンプレート:Exp)テンプレート:Exp = ±aテンプレート:Exp の右辺の符号は何れが正しいのかを知るには a = −1 のときを見れば十分である（与えられた r, s に対して a = −1 のとき正しくなる方の符号をとれば、任意の a < 0 についても成り立つ）。
• a < 0 に対して (aテンプレート:Exp)テンプレート:Exp = −aテンプレート:Exp が適用されるならば、a ≠ 0 に対して (aテンプレート:Exp)テンプレート:Exp = テンプレート:Absテンプレート:Exp が成り立つ（冪指数が正ならば a = 0 のときも成り立つ）。

例えば、((−1)テンプレート:Exp)テンプレート:Exp = 1 および (−1)テンプレート:Exp = −1 であるから、a < 0 に対して √aテンプレート:Exp = (aテンプレート:Exp)テンプレート:Exp = −aテンプレート:Exp = −a, したがって任意の実数 a に対して √aテンプレート:Exp = テンプレート:Abs が成り立つ。

指数・対数法則の不成立

正の実数に対する冪および対数に関する等式のいくつかは、複素数冪や複素対数がどのように一価函数として定義されようとも、複素数に対しては成り立たないことが起こる。 テンプレート:Ordered list

一般化

モノイドにおける冪

冪演算は任意のモノイドにおいて定義できる。モノイドは単位元を持つ半群、すなわち適当な集合 X を台として合成あるいは乗法と呼ばれる二項演算が定義される代数系であって、その乗法が結合法則を満足し、かつ乗法単位元 1_X を持つものを言う。モノイドにおける自然数冪は

• [math]x^0:=1_X\quad (\forall x\in X),[/math]
• [math]x^{n+1}:=x^nx\quad (x\in X,\,n\in \mathbb{Z}_{\ge 0})[/math]

として帰納的に定義することができる（先の式の右辺（の 1）は X の単位元、後の式の左辺の 1 は自然数の 1 で、当然だがこれらは互いに別のものである）。特に先の式（零乗すること）は「単位元を持つ」ことによって初めて意味を成す規約であることに注意すべきである（空積も参照のこと）。

モノイドの例には群や環（の乗法モノイド）のような数学的に重要な多くの構造が含まれ、またより特定の例として行列環や体の場合について後述する。

行列および線型作用素の冪

正方行列 A に対して A 自身の n 個の積を行列の冪と呼ぶ。また Aテンプレート:Exp は単位行列に等しいものと定義され、さらに A が可逆ならば Aテンプレート:Exp テンプレート:Coloneqq (Aテンプレート:Msup)テンプレート:Exp と定義する。

行列の冪は離散力学系の文脈でしばしば現れる。そこでは行列 A は適当な系の状態ベクトル x を次の状態 Ax へ遷移させることを表す。これは例えばマルコフ連鎖の標準的な解釈である。これにより、Aテンプレート:Expx は二段階後の系の状態であり、以下同様に Aテンプレート:Expx は n 段階後の系の状態と理解される。つまり行列の冪 Aテンプレート:Exp は現在と n 段階後の状態の間の遷移行列であって、行列の冪を計算することはこの力学系の発展を解くことに等しい。便宜上、多くの場合において行列の冪は固有値と固有ベクトルを用いて計算することができる。

行列を離れてより一般の線型作用素にも冪演算は定められる。例えば微分積分学における微分演算 d/dx は函数 f に作用して別の函数 df/dx = fテンプレート:' を与える線型作用素であり、この作用素の n-乗は n-階微分

[math]\Bigl(\frac{d}{dx}\Big)^{\!n}f(x) = \frac{d^n}{dx^n}f(x) = f^{(n)}(x)[/math]

である。これは線型作用素の離散的な冪の例であるが、作用素の連続的な冪が定義できたほうがよい場面が多く存在する。[[C0半群|Cテンプレート:Ind-半群]]の数学的理論はこのような事情を出発点としている。離散冪指数に対する行列の冪の計算が離散力学系を解くことであったのと同様に、連続冪指数に対する作用素の冪の計算は連続力学系を解くことに等しい。そういった例として熱方程式、シュレーディンガー方程式、波動方程式あるいはもっとほかの時間発展を含む偏微分方程式を挙げることができる。このような冪演算の特別の場合として、微分演算の非整数乗は分数階微分と呼ばれ、分数階積分とともに、分数階微分積分学の基本演算の一つとなっている。

有限体における冪

体は、四則演算が矛盾なく定義されそれらの馴染み深い性質が満足されるような代数的構造である。例えば実数全体は体を成す。複素数の全体、有理数の全体などもそうである。これら馴染み深い例が全て無限集合であるのと異なり、有限個の元しか持たない体も存在する。そのもっとも簡単な例が二元体 Fテンプレート:Ind = {0,1} で、加法は 0 + 1 = 1 + 0 = 1, 0 + 0 = 1 + 1 = 0 および乗法は 0  • 0 = 1  • 0 = 0  • 1 = 0, 1  • 1 = 1 で与えられる。

有限体における冪演算は公開鍵暗号に応用を持つ。例えばディフィー・ヘルマン鍵交換は、有限体における冪は計算量的にコストが掛からないのに対し、冪の逆である離散対数は計算量的にコストが掛かるという事実を用いている。

任意の有限体 F は、素数 p がただ一つ存在して、任意の x ∈ F に対して px = 0 が成り立つ（x を p 個加えれば零になる）という性質を持つ。例えば二元体 Fテンプレート:Ind では p = 2 である。この素数 p はその体の標数と呼ばれる。F を標数 p の体として F の各元を p-乗する写像 f(x) = xテンプレート:Exp を考える。これは F のフロベニュース自己準同型と呼ばれる。新入生の夢（幼稚な二項定理）とも呼ばれる等式 (x + y)テンプレート:Exp = xテンプレート:Exp + yテンプレート:Exp がこの体においては成り立つため、フロベニュース自己準同型が実際に体の自己準同型を与えるものであることが確認できる。フロベニュース自己準同型は F の素体上のガロワ群の生成元であるため数論において重要である。

抽象代数学における冪

冪指数が整数であるような冪演算は抽象代数学における極めて一般の構造に対して定義することができる。

集合 X は乗法的に書かれた冪結合的二項演算を持つもの:

[math](x^i x^j) x^k = x^i (x^j x^k) \quad (\forall x\in X)[/math]

とするとき、任意の x ∈ X と任意の自然数 n に対して冪 xテンプレート:Exp は、x の n 個のコピーの積を表すものとして

[math]\begin{align} x^1 &= x \\ x^n &= x^{n-1}x \quad(n \gt 1) \end{align}[/math]

のように帰納的に定義される。これは以下のような性質

[math]\begin{align} x^{m+n} &= x^m x^n \\ (x^m)^n &= x^{mn} \end{align}[/math]

を満足する。さらに、考えている演算が両側単位元 1 を持つ:

[math]\exists! 1 \text{ s.t. } x1 = 1x = x \quad (\forall x\in X)[/math]

ならば xテンプレート:Exp は任意の x に対して 1 に等しいものと定義する。

さらにまた演算が両側逆元を持ち、なおかつ結合的

[math]\begin{align} x x^{-1} &= x^{-1} x = 1,\\ (x y) z &= x (y z) \end{align}[/math]

ならばマグマ X は群を成す。このとき x の逆元を xテンプレート:Exp と書けば、冪演算に関する通常の規則

[math]\begin{align} x^{-n} &= \left(x^{-1}\right)^n \\ x^{m-n} &= x^m x^{-n} \end{align}[/math]

はすべて満足される。また（例えばアーベル群のように）乗法演算が可換ならば

[math](xy)^n = x^n y^n [/math]

も満足される。（アーベル群が通常そうであるように）二項演算を加法的に書くならば、「冪演算は累乗（反復乗法）である」という主張は「乗法は累加（反復加法）である」という主張に引き写され、各指数法則は対応する乗法法則に引き写される。

一つの集合上に複数の冪結合的に項演算が定義されるときには、各演算に関して反復による冪演算を考えることができるから、どれに関する冪かを明示するために上付き添字に反復したい演算を表す記号を併置する方法がよく用いられる。つまり演算 ∗ および # が定義されるとき、xテンプレート:Exp と書けば x ∗ ⋯ ∗ x を意味し、xテンプレート:Exp と書けば x # ⋯ # x を意味するという具合である。

上付き添字記法は、特に群論において、共軛変換を表すのにも用いられる（即ち、g, h を適当な群の元として g^h = h⁻¹gh）。この共軛変換は指数法則と同様の性質を一部満足するけれども、これはいかなる意味においても反復乗法としての冪演算の例ではない。カンドルはこれら共軛変換の性質が中心的な役割を果たす代数的構造である。

集合の冪

デカルト冪

"「デカルト積」"

自然数 n と任意の集合 A に対して、式 Aテンプレート:Exp はしばしば A の元からなる順序 n-組全体の成す集合を表すのに用いられる。これは Aテンプレート:Exp は集合 {0, 1, 2, …, n−1} から集合 A への写像全体の成す集合であると言っても同じことである（n-組 (a₀, a₁, a₂, …, a_n−1) は i を aテンプレート:Ind へ送る写像を表す）。

無限基数 κ と集合 A に対しても、記号 Aテンプレート:Exp は濃度 κ の集合から A への写像全体の成す集合を表すのに用いられる。基数の冪との区別のために テンプレート:ExpA と書くこともある。

反復直和

一般化された冪は、複数の集合上で定義される演算や追加の構造を持つ集合に対しても定義することができる。例えば、線型代数学において勝手な添字集合上でのベクトル空間の直和を考えることができる。つまり Vテンプレート:Ind をベクトル空間として

[math]\bigoplus_{i \in \mathbb{N}} V_{i}[/math]

を考えるとき、任意の i について V_i = V とすれば得られる直和を冪記法を用いて Vテンプレート:Exp あるいは直和の意味であることが明らかならば単に Vテンプレート:Exp のように書くことができる。ここで再び集合 N を基数 n で取り替えれば Vテンプレート:Exp を得る（濃度 n を持つ特定の標準的な集合を選ぶことなしに、これは同型を除いてのみ定義される）。V として実数体 R を（それ自身の上のベクトル空間と見て）とれば、n を適当な自然数として線型代数学でもっともよく調べられる実ベクトル空間 Rテンプレート:Exp を得る。

配置集合

冪演算の底を集合とするとき、何も断りがなければ冪演算はデカルト積である。複数の集合のデカルト積は n-組を与え、n-組は適当な濃度を持つ集合上で定義された写像として表すことができるのだから、この場合冪 Sテンプレート:Exp は単に N から S への写像全体の成す集合

[math]S^N \equiv \{ f\colon N \to S \}[/math]

である。この定義は テンプレート:Abs = テンプレート:Abs^{テンプレート:Abs} が満たされるという意味で基数の冪と整合する。ただし テンプレート:Abs は X の濃度を表す。"2" を集合 {0, 1} として定義すれば テンプレート:Abs = 2^{テンプレート:Abs} が得られる。ここに 2テンプレート:Exp は X の冪集合であり、普通は 𝒫(X) などで表される。

圏論における冪対象

"「デカルト閉圏」"

デカルト閉圏において、任意の対象に対して別の任意の対象を冪指数とする冪演算を冪対象によって与えることができる。集合の圏における冪対象は配置集合であるから、これはその一般化になっている。考えている圏に始対象 0 が存在するならば、冪対象 0テンプレート:Exp は任意の終対象 1 に同型である。

順序数・基数の冪

"「濃度#基数の演算」および「順序数#順序数の演算」"

集合論では基数や順序数の冪演算も定義される。

基数 κ, λ に対して冪 κテンプレート:Exp は基数 λ の任意の集合から基数 κ の任意の集合への写像全体の成す集合の基数を表す。κ, λ がともに有限ならばこれは通常の算術的な（つまり自然数の）冪演算と一致する（たとえば、二元集合から元を取って得られる三つ組全体の成す集合の基数は 8 = 2テンプレート:Exp で与えられる）。基数の算術において κテンプレート:Exp は常に（特に κ が無限基数や 0 であるときでさえ）1 である。

基数の冪は順序数の冪とは異なる。後者は超限帰納法を含む過程の極限として定義される。

反復冪

"「テトレーション」"

自然数冪が乗法の反復として考えられたことと同様に、冪演算を繰り返す演算というものを定義することもできる。それをまた反復すれば別の演算が定義され、同様に繰り返してハイパー演算の概念を得る。このようにして得られるハイパー演算の列において、次の演算は前の演算に対して急速に増大する。

写像の冪の記法に関する注意

合成冪

写像の冪乗となるべきものとして、写像を表す符牒の直後に整数の上付き添字を添えたとき、それは（反復乗法ではなくて）反復合成冪の意味で用いることがよく行われる。つまり例えば fテンプレート:Exp(x) は f(f(f(x))) の意味であり、また特に fテンプレート:Exp(x) は f の逆写像を意味するのが普通である。反復合成写像はフラクタルや力学系の研究において興味を持たれる。チャールズ・バベッジは写像の平方根 f ^1/2(x) を求める問題を研究した最初の人であった。

値ごとの冪

しかし歴史的経緯により、三角函数の場合には、函数の略号に正の冪指数を添えたときは函数の値に対して冪を取ることを意味する一方で、−1 を冪指数としたときは逆函数を意味するという特別な文法が適用される。つまり、 sinテンプレート:Exp x は (sin x)テンプレート:Exp を括弧を用いずに略記する方法に過ぎない一方、sinテンプレート:Exp x は逆正弦函数 arcsin x を意味するのである。三角函数の逆数函数は（例えば 1/(sin x) = (sin x)⁻¹ = csc x のように）それぞれ固有の名前と略号が与えられているから、三角函数の逆数の略記法は無用である。同様の規約は対数函数にも適用され、logテンプレート:Exp x はふつう (log x)テンプレート:Exp の意味であって log log x の意味でない。

上付き添字

添字付けられた変数を考えるとき、その変数の添字を上付きにする場合があり、それはあたかも冪であるかのような印象を受けるかもしれないが混同するべきではない。これは特にテンソル解析においてベクトル場の座標表示などで現れる。あるいはまた数列の列のような、既にそれ自身添字付けられているような量に対してさらに添字付けを行う場合にもしばしば用いられる。

高階導函数

函数 f の n-階導函数はふつう fテンプレート:Exp と書かれるように、冪記法は冪指数を括弧で囲んで書くこともある。

効率的な演算法

コンピュータ上で冪乗演算を行なう効率的な演算方法としてバイナリ法（二進数法; en:Exponentiation by squaring) とも呼ばれる演算方法を示す。

RSA暗号や確率的素数判定法であるフェルマーテストなどによって、指数として巨大な自然数を扱うことが多くなった。この方法を使うと、指数となる自然数がいかに巨大であっても高々そのビット数の2倍の回数の乗算で算出することが可能になり、繰り返し掛けるよりも大幅に効率がよくなる。特にRSA暗号やフェルマーテストなどにおいて各演算後に必要となる剰余演算（一般に最も計算時間がかかる）の回数を減らす効果がある。

一般に、コンピュータにとって標準的な（32bitsコンピュータならば約4億までの）自然数や浮動小数点数を扱う場合は下位桁から計算する方式を、前述のような巨大な自然数を扱う場合には上位桁から計算する方式を用いると効率が良い。

下位桁から計算する方式

バイナリ法では、次の性質を利用する。

[math](a^x)^2 = a^{2x}[/math]

例えば (a⁸)² = a¹⁶ である。したがって、a（すなわち a¹）から始めて2乗を繰り返すと以下のようになる。

[math]a^1 \to a^2 \to a^4 \to a^8 \to a^{16} \to a^{32} \to \cdots[/math]

これらの数のうち、適切なものを選んで掛け合わせれば、任意の累乗を速く（すなわち少ない乗算回数で）計算することができる。例えば a⁴³ は、上で示した指数法則によって、

[math]a^{43} = a^{32+8+2+1} = a^{32} \times a^8 \times a^2 \times a^1[/math]

として計算することができる（乗算回数は 8 回で済むので、a を 42 回繰り返し掛け合わせるのに比べて効率がよい）。

（十進表記）：

a1

a2

a4

a8

a16

a32

2乗の繰返し（二進表記）：

a1

→

a10

→

a100

→

a1000

→

a10000

→

a100000

↓

↓

↓

↓

累乗の計算（二進表記）：

a1

→

a11

→

→→

→

a1011

→

→→→

→

a101011

＝

a43

コンピュータのアルゴリズムとして書くとこうなる。下位桁から順に扱うことから、順に2で割ると同時にその余りを求め（実際にはシフト演算を用い）ながら演算を行うことで二進表記を省略し、効率を高める。

1. 指数を n とし、2乗していく値 p := a、結果値 v := 1 とする。
2. n が 0 なら、v を出力して終了する。
3. n の最下位桁が 1 なら、v := v * p とする。
4. n := [n/2] とし（端数切り捨て）、 p := p * p として、2. に戻る。

この方式は a が浮動小数点数である場合や、最終結果がレジスタに収まることがわかっている場合に効率が良い。また乗算にモンゴメリ乗算などを用いて冪剰余を計算する場合も、この方式で充分な効率が得られる。

上位桁から計算する方式

上の方式と同様に、次の性質を使う。

[math]a^{2x} = (a^x)^2[/math]

これに性質 [math]a^{x+1} = a^x \cdot a[/math] を組み合わせると、次の変形ができる。

[math]a^{2x+1} = ( a^x )^2 \cdot a[/math]

これら二つの式を適宜使い分けることによって、指数を順次約1/2にしていくことができる。例えば[math]a^{43}[/math]は、上で示した指数法則によって、

[math]a^{43} = a^{21 \cdot 2 +1} = (a^{21})^2 \cdot a[/math]

である。そして[math]a^{21}[/math]も同様に、

[math]a^{21} = a^{10 \cdot 2 +1} = (a^{10})^2 \cdot a[/math]

である。[math]a^{10}[/math]はこうなる。

[math]a^{10} = a^{5 \cdot 2} = (a^{5})^2[/math]

以下同様に、

[math]a^{5} = a^{2 \cdot 2 +1} = (a^{2})^2 \cdot a[/math]

[math]a^{2} = a^{1 \cdot 2 } = (a^{1}) ^2[/math]

[math]a^{1} = a[/math]

となる。これを逆にたどり、

[math]a^{43} = ( ( ( ( ( a )^2 )^2 \cdot a )^2 )^2 \cdot a )^2 \cdot a [/math]

として算出される。

この各演算において、2乗した後に a を乗算するのか否かの判定は、ちょうど指数 n を二進表記したときの各ビットが1であるか否かと一致する。

コンピュータのアルゴリズムとして書くとこうなる。

1. 指数 n を二進表記したものを n とし、n の最下位桁を n[0]、最上位桁を n[m]、最下位から数えて k 桁目を n[k] と表記する。
2. 結果値 v := 1 とし、
3. k := m とする（最上位）。
4. v := v * v
5. n[k] が 1 ならば v := v * a とする。
6. k := k - 1
7. k ≧ 0 なら 4. に戻る。

この方式では、5.における乗数が常に a なので、下位桁から計算する方式に比べて乗数の桁数が小さくてすみ、計算時間がかからない。このことは特に、レジスタに入りきらないような巨大な自然数を扱う場合に顕著となる。ただし（RSA暗号で冪算する時のように）冪乗の剰余を計算する場合であって法の大きさが a と同程度ならば、この効果はない。

また5.における乗数が常に a なので、あらかじめ a が定数(2や10など、あるいはディフィー・ヘルマン鍵共有の生成元gなど)であることがわかっている場合には5.の乗算そのものを最適化をすることができる。

巨大な自然数の汎用的な冪算ルーチン（aが小さい可能性が高い）や、a が小さかったり定数であることがわかっている場合、冪乗の剰余を計算する場合であってモンゴメリー演算を用いず別途剰余を計算する場合、数を保持するコストが高い場合など、指数を二進表記するコスト以上の効率が得られる場合に選択される。

参考文献

• 鈴木真治 「「指数」はなぜ指数と云うのか? : その概念と用語の歴史的変遷を巡って」、『津田塾大学数学・計算機科学研究所報』、第24回数学史シンポジウム(2013) (津田塾大学数学・計算機科学研究所) 第35巻315-397頁、2013年。http://ci.nii.ac.jp/naid/40020080419。 PDFファイル (PDF)

関連項目

• 冪函数
• 指数関数 - 冪指数を実数へ拡張し、連続関数としたもの
• 平方数
• 立方数
• 2の冪
• 冪剰余
• ゼロ除算
• 0の0乗
• 冪乗則

外部リンク

• Weisstein, Eric W. “Exponentiation”. MathWorld（英語）.
• exponentiation in nLab
• exponentiation - PlanetMath.（英語）