0の0乗
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/18 04:06 UTC 版)
ナビゲーションに移動 検索に移動![]() | この記事には独自研究が含まれているおそれがあります。 |
背景
実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。
x0 を定義する場合には、関係式 が n = 0 でも成立するように定義を拡張するのが自然である。
そこで、 に無理やり n = 0 を代入すれば、x0 + 1 = x0 × x すなわち x = x0 × x となり、x が 0 でなければ両辺を x で割って x0 = 1 を得る。すなわち、x ≠ 0 の場合は、x0 := 1 と定めることで、関係式 が に対して成り立つように定義を拡張できる[注 2]。さらに負の整数 −n に対しても x−n := 1/xn と定義すれば が満たされ、 x ≠ 0 の整数乗がうまく定義されて、指数法則 xn + m = xn xm や xnm = (xn)m が任意の整数 n, m に対して成立する。
次に、指数が実数の場合を考えよう。底が x ≠ 0 の場合は、上述のように整数乗が定まるのであった。詳細は省略するが、底を x > 0 の場合に制限すれば、指数法則が成り立ったまま指数を有理数、さらには実数へと拡張し、連続な二変数関数を得ることができる。また、x = 0 の場合に対する正の実数乗も、同様に連続性を理由として 0 と定義することができる。
すなわち実数の実数乗 xy は、底が x ≠ 0 で指数 y が整数であるか、底が x > 0 であるか、あるいは底が x = 0 で指数が y > 0 であればうまく定義でき、これら全ての点 (x, y) で二変数関数として連続となる。しかし、xy は底が x= 0 のとき、指数が負の実数であればうまく定義できず、どのように 00 を定義しても点 (0, 0) で二変数関数として連続にはならない。言い換えれば、00 を xy が連続となるように定めることはできないのである。
1と定義される場合
非負整数の指数のみを扱っている場合には、0の0乗は 1 と(しばしば暗黙に)定義されることが多い。その理由としては、以下のようなものが挙げられる。
- 実数 x を数直線上の線型変換とみなす場合、非負整数 n に対する実数 x の n 乗は x に対応する線型変換を n 回繰り返し作用させる線型変換に対応するから、0 の 0 乗には、自明な線型変換を 0 回作用させる線型変換である恒等変換(実数 1 に対応する)が対応すると考えたい。
- 上述のように、x ≠ 0 のとき x0 = 1 であるから、関数 x0 の連続性を担保する為に、x = 0 のときにも同じ式の成立を要請する(空積も参照)。
- 00 = 1 と定義しておくと、種々の公式や証明で記述が煩雑になったり余計な場合分けをすることを防ぐことができる。
例えば、計算機科学者のドナルド・クヌースは、00 は 1 でなければならないと強く主張している[1]。彼によると「0x という関数は数学的意義に乏しいのに対し、x0 は様々な公式に頻繁に現れるため、こちらを基準に取る方が形式的に便利な局面が多い」という[2]。例えば、二項定理の公式
は、(第 0 項について和の記法に例外を設けない限り)00 = 1 としたときのみ x = 0 に対して適用可能になる。同様の例として、指数関数の定義式
が x = 0 でも妥当であるためには 00 = 1 である必要がある。00 を定義しない文脈においては
と定義しなければならない。一般に多項式 Σn
k = 0 ak xk や冪級数 Σ∞
k = 0 ak xk に x = 0 を代入する場合にも、0の0乗は 1 とされる。
また他にも、微分の公式 (d/dx)xn = nxn−1 を n = 1 に対しても適用するには、00 = 1 としなければならない。
モノイド論における扱い
半群 S の元 a の冪、すなわち n を正の整数としたときの an は n 個の a の積として定義される[注 3]。さらに S がモノイドのとき(すなわち単位元 1 をもつとき)、a0 = 1 と定義される[3][注 4]。とくに S が零元 0 ももつならば 00 = 1 である[注 5]。
集合論における扱い
00 における 0 を2つとも基数、あるいは2つとも順序数と考えた場合、00 = 1 は基数あるいは順序数の冪の定義から示すことのできる定理である。
以下基数の場合について解説する。一般に基数 κ, λ に対して、冪乗 λκ は、濃度 が κ, λ の任意の集合をそれぞれ X, Y としたとき、X から Y への写像の個数(濃度)で定義される:
ここで、YX は X から Y への写像全体の集合であり、# は集合の濃度を表す。(この定義は X と Y の取り方に依らないことに注意。)しかるに、00 は X = Y = ∅ の場合に相当するから、 である。ここで、∅ から ∅ への写像は唯一つ存在するから(空写像)、 である。したがって 00 = 1 である[4][5]。
注釈
- ^ 0 と定義される場合もある。
- ^ x = 0 のときは 0 = 00 × 0 となってしまうため、00 は任意の値で等式が成り立ち、この方針で 00 を「自然」に定義することはできない。
- ^ この定義は半群における積の結合性より意味を持つ。
- ^ さらに a が逆元を持つならば、それを a−1 と表記し、負の整数 −n に対して a−n = (a−1)n と表記する。
- ^ 整数の全体や実数の全体など、あるいは一般に単位元を持つ結合環は、乗法について零元を持つモノイドをなす。
- ^ ここに、x → +0 は x が正の方向から 0 に近付くことを表す。なお、負の数 y に対して 0y は定義されない。
- ^ 具体的には、Visual Basic Editor (VBE) のイミディエイトウィンドウ上で
?0^0
と打ち、Enter を押すと1
と出てくる。
出典
- ^ Knuth 1992.
- ^ グレアム, パタシュニク & クヌース 1993.
- ^ Grillet 1995, p. 6.
- ^ N. Bourbaki (2004). Theory of Sets. Elements of Mathematics. Springer. p. 164. ISBN 978-3-540-22525-6
- ^ Daniel W. Cunningham (2016). Set Theory: A First Course. Cambridge University Press. pp. 59, 221. ISBN 978-1-107-12032-7
- ^ sci.math FAQ: What is 0^0?
- ^ Rotando & Korn 1977.
- ^ Lipkin 2003.
- ^ 神保 2003, pp. 44–45.
- ^ "Since ln 0 does not exist, 0z is undefined. For Re z > 0, we define it arbitrarily as 0."(ln 0 は存在しないから、0z は定義されていない。Re z > 0 に対しては、0 と定義する。)(Carrier, Krook & Pearson 2005, p. 15)
- ^ "For z = 0, w ≠ 0, we define 0w = 0, while 00 is not defined."(z = 0, w ≠ 0 に対しては、0w = 0 と定義するが、00 は定義しない。)(Gonzalez 1991, p. 56).
- ^ Google電卓機能による 0^0の計算結果
- 0の0乗のページへのリンク