0の0乗

** の  乗**（れいのれいじょう）は、累乗あるいは指数関数において、底を 、指数を  としたものである。その値は、代数学、組合せ論などの文脈では通常  と定義される一方で、解析学の文脈では二変数関数  が原点  において連続とならないため定義されない場合もある。

## 背景
実数  の正整数  乗は、素朴には、 個の  を掛け合わせたものである。厳密には、次のように再帰的に定められる。
:\begin{align}
&(*)&x^1 &:= x, \\
&(**)&x^{n+1} &:= x^n \times x \quad (n \ge 1).
\end{align}
 を定義する場合には、関係式 (**) が  でも成立するように定義を拡張するのが自然である。

そこで、(**) に無理やり  を代入すれば、 すなわち  となり、が  でなければ両辺を  で割って  を得る。すなわち、 の場合は、 と定めることで、関係式 (**) が n \ge 0 に対して成り立つように定義を拡張できる。さらに負の整数  に対しても  と定義すれば (**) が満たされ、  の整数乗がうまく定義されて、指数法則  や  が任意の整数  に対して成立する。

次に、指数が実数の場合を考えよう。底が  の場合は、上述のように整数乗が定まるのであった。詳細は省略するが、底を  の場合に制限すれば、指数法則が成り立ったまま指数を有理数、さらには実数へと拡張し、連続な二変数関数を得ることができる。また、 の場合に対する正の実数乗も、同様に連続性を理由として  と定義することができる。

すなわち実数の実数乗  は、底が  で指数  が整数であるか、底が  であるか、あるいは底が  で指数が  であればうまく定義でき、これら全ての点  で二変数関数として連続となる。しかし、 は底が  のとき、指数が負の実数であればうまく定義できず、どのように  を定義しても点  で二変数関数として連続にはならない。言い換えれば、 を  が連続となるように定めることはできないのである。

## 1と定義される場合

非負整数の指数のみを扱っている場合には、の乗は  と定義されることが多い。その理由としては、以下のようなものが挙げられる。
*実数  を数直線上の線型変換とみなす場合、非負整数  に対する実数  の  乗は  に対応する線型変換を  回繰り返し作用させる線型変換に対応するから、 の  乗には、自明な線型変換を  回作用させる線型変換である恒等変換（実数  に対応する）が対応すると考えたい。
*上述のように、 のとき  であるから、関数   の連続性を担保する為に、 のときにも同じ式の成立を要請する（空積も参照）。
* と定義しておくと、種々の公式や証明で記述が煩雑になったり余計な場合分けをすることを防ぐことができる。

例えば、計算機科学者のドナルド・クヌースは、 は  でなければならないと強く主張している。彼によると「 という関数は数学的意義に乏しいのに対し、 は様々な公式に頻繁に現れるため、こちらを基準に取る方が形式的に便利な局面が多い」という。例えば、二項定理の公式
:(1+x)^n = \sum_{k=0}^n \binom{n}{k} x^k
は、（第 0 項について和の記法に例外を設けない限り） としたときのみ  に対して適用可能になる。同様の例として、指数関数の定義式
:e^{x} = \sum^{\infin}_{n=0} \frac{x^n}{n!}
が  でも妥当であるためには  である必要がある。 を定義しない文脈においては
:e^{x} = 1 + \sum^{\infin}_{n=1} \frac{x^n}{n!}
と定義しなければならない。一般に多項式  や冪級数  に  を代入する場合にも、の乗は  とされる。

また他にも、微分の公式  を  に対しても適用するには、 としなければならない。

### モノイド論における扱い
半群  の元  の冪、すなわち  を正の整数としたときの  は  個の  の積として定義される。さらに  がモノイドのとき（すなわち単位元  をもつとき）、 と定義される。とくに  が零元  ももつならば  である。

### 集合論における扱い
 における  を2つとも基数、あるいは2つとも順序数と考えた場合、 は基数あるいは順序数の冪の定義から示すことのできる定理である。

以下基数の場合について解説する。一般に基数 ,  に対して、冪乗  は、濃度 が ,  の任意の集合をそれぞれ  としたとき、 から  への写像の個数（濃度）で定義される：
:\lambda^\kappa:=\#Y^X.
ここで、 は  から  への写像全体の集合であり、 は集合の濃度を表す。（この定義は  と  の取り方に依らないことに注意。）しかるに、 は  の場合に相当するから、0^0=\#\emptyset^\emptyset  である。ここで、 から  への写像は唯一つ存在するから（空写像）、\#\emptyset^\emptyset=1  である。したがって  である。

## 定義されない場合
 が 0 以外の複素数であるとき  であるという理由で、0の0乗 "" を 1 と定めることが自然（連続な拡張）だと考えることと、 が正の実数のとき  であるという理由で、0の0乗 "" を 0 と定めることが同程度に自然（連続な拡張）だとは言えまい。とは言え、このように連続性を指針とする場合には、こちらを立てればあちらが立たず、という状況であり、全てに都合の良い定め方は存在しない。さらにもし複素関数を考えるのであれば、そもそも解析性を担保する定義は存在せず、値を別途定める他はない。

### 実解析における扱い

冪を自然数ではなく実数の範囲で考え、 を二変数関数  の  における値だと考えると、次のようになる。

二変数関数  は、定義域を とした場合には、 全体で連続となる。しかし、原点  を付け加えて、 を定義域とした場合には、原点における値  をどのように定義しても、原点において連続とはならない。それは、 内で（原点を通らず）原点に近づく経路によってその極限値が異なるからである。例えば、*y* 軸 () に沿って原点に近づくときの極限値は
:\lim_{y\to+0} 0^y=0
であるが、*x* 軸 () に沿って原点に近づくときの極限値は
:\lim_{x\to+0} x^0=1
である。画像はこの二変数関数  のグラフであり、原点に近づくときの経路によって異なる極限値を持つことが見て取れる。関数の連続性を重視する観点からは、 をどのような値にすることもできない。

また  という記号によって、関数  と  の（ がある有限値に向かう、あるいは  に向かうときの）極限が共に  であるときの、 の極限を考えていることを表すことがある。このとき  はいわゆる、すなわちこの  の極限は一定しないのであって、実際任意の非負の実数値や  にもなりうるし、振動することもある。例えば、
:\begin{array}{cl}
\displaystyle\lim_{x \to 0^+} {x}^{x} &= 1, \\
\displaystyle\lim_{x \to 0^+} \left(e^{-\frac{1}{x^2}}\right)^x &= 0, \\
\displaystyle\lim_{x \to 0^+} \left(e^{-\frac{1}{x^2}}\right)^{-x} &= +\infty, \\
\displaystyle\lim_{x \to 0^+} \left(e^{-\frac{1}{x}}\right)^{ax} &= e^{-a}
\end{array}
（ここで  は任意の実数）となり、また
:\lim_{x \to 0^+} \left(e^{-\frac{1}{x^2}}\right)^}
は振動する。ここで、 は  が正の方向から  に近づく極限を表す。

極限が 1 になるための十分条件はいくつか知られている。例えば  および  がともに  において実解析的であり、ある正数  に対し開区間  上  であれば、（ のとき ,  であれば） の  のときの極限は必ず 1 である。

### 複素解析における扱い
複素領域において、 でない  に対し、関数  を、 の分枝を選び、 を  と定義できる。これは  を定義していない、なぜならば  において定義された  の分枝は存在せず、したがって当然  の近傍で定義された  の分枝も存在しないからである。したがってこの意味で  は定義されないのであるが、著者によっては別途、
*  に対しては  と定義したり
*  に対しては  と定義したり

している。

## コンピュータにおける扱い
いくつかのプログラミング言語は  を定義しており、その多くは  としている。 と定義しているプログラミング言語は、APL、Common Lisp、Haskell、J、Java、JavaScript、Julia、MATLAB、ML、Perl、Python、R、Ruby、Scheme であり、電卓では、Microsoft WindowsおよびGoogleの電卓機能などである。Microsoft Excel では、ワークシート上で `=0^0` という数式を入力すると `#NUM!` というエラーを返すが、同ソフトウェアに搭載されている VBA では1と定義されている。 Mathematica は、*a* が変数または 0 でない数のときは *a*0 を 1 と計算するが、00 は Indeterminate（不定）と返す。Maple やMuPADはこれらを共に 1 と計算する。Wolfram Alpha ではundefinedと表示される。

浮動小数点演算においては、冪乗を表す関数のうち、pow 関数と冪指数が整数である pown 関数では、00を1と定義している一方で、powr 関数では不正演算としてNaNとしている。これらの関数については、00のみならず、無限大を用いた式である1∞、∞0についても、同様にpow 関数・pown 関数では1、powr 関数ではNaNとしている。

## 脚注

### 注釈

### 出典

## 関連資料

* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## 関連項目
* 冪乗
* 指数関数
* ゼロ除算
* 空関数
* 空積
* NaN

## 外部リンク
* Zero to the zero power – is 0^0=1? - Mathematics Stack Exchange