00

• 0（ゼロ）を0詰め2桁で整形した表示。
• 0詰め2桁を表すVB系の書式文字列。たとえば「5」を書式「00」で整形すると「05」となる。
• 0より前、−1（マイナス1）
  • 米国ワイヤゲージ規格 (AWG) で、直径9.266mm。00番線。公式に−1を代入した場合にあたる。
  • イタリアの小麦粉の規格で、最も（0よりも）細かい粉。00粉。
  • 駅のホームで、1番線の手前の0番線のさらに手前が00番線とナンバリングされることがある。
  • OOゲージ - 鉄道模型の軌間の規格。元は「0ゲージより小さい00ゲージ」の意味。
• アメリカンスタイルのルーレットの出目の1つ。
• 背番号。NBAではロバート・パリッシュがキャリアを通じて使用した。日本プロ野球で最初に使用したのはルパート・ジョーンズ外野手である。
• 岩波書店の出版者記号。
• トイレを指すヨーロッパ大陸のいくつか国での隠語。かつてホテルなどにおいて客室ではない部屋（トイレ・納戸など）に0や00を割り振っていた名残り。
• 00年
  • 2000年
  • 2000年代
  • 1900年・1800年・1700年 など。
  • 2011年（民国100年）。
• 電話番号のプレフィックス（最初）
  • 国際電気通信連合 (ITU) が推奨する国際電話プレフィックス。
  • 事業者識別番号のプレフィックス。日本では国際電話の00…も事業者識別番号の一種である。
• 作品タイトル
  • キカイダー00
  • 機動戦士ガンダム00（ダブルオー）。
  • 交響曲第00番 - ブルックナーの交響曲第1番以前の交響曲。他に交響曲第0番もあり、「00番」はそのさらに前という意味（ただし実際の順序は 00→1→0→2…）。
  • 00 (オーツ―) - 日韓合同男性アイドルグループORβITのデビューアルバムのタイトル。
• 鉄道車両
  • 西武L00系電車 - 西武鉄道が2026年より導入予定の山口線向けAGT車両。

• フィクションの登場物
  • 機動戦士ガンダム00に登場するモビルスーツ、ダブルオーガンダム。

• OO

このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。

この記事には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2016年2月）

0 の 0 乗（れいのれいじょう）は、累乗あるいは指数関数において、底を 0、指数を 0 としたものである。その値は、代数学、組合せ論などの文脈では通常 1 と定義される^{[注 1]}一方で、解析学の文脈では二変数関数 x^y が原点 (x, y) = (0, 0) において連続とならないため定義されない場合もある。

実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。

${\displaystyle {\begin{aligned}&(*)&x^{1}&:=x,\\&(**)&x^{n+1}&:=x^{n}\times x\quad (n\geq 1).\end{aligned}}}$

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

二変数関数 x^y は、定義域を D = { (x, y) | x > 0 } ∪ { (0, y) | y > 0 }とした場合には、D 全体で連続となる。しかし、原点 (0, 0) を付け加えて、D′= D ∪ {(0, 0)} を定義域とした場合には、原点における値 0⁰ をどのように定義しても、原点において連続とはならない。それは、D' 内で（原点を通らず）原点に近づく経路によってその極限値が異なるからである。例えば、y 軸 (x = 0) に沿って原点に近づくときの極限値は

${\displaystyle \lim _{y\to +0}0^{y}=0}$

であるが、x 軸 (y = 0) に沿って原点に近づくときの極限値は

${\displaystyle \lim _{x\to +0}x^{0}=1}$

である^{[注 6]}。画像はこの二変数関数 z(x, y) = x^y のグラフであり、原点に近づくときの経路によって異なる極限値を持つことが見て取れる。関数の連続性を重視する観点からは、0⁰ をどのような値にすることもできない。

また 0⁰ という記号によって、関数 f(x) と g(x) の（x がある有限値に向かう、あるいは ±∞ に向かうときの）極限が共に 0 であるときの、f(x)^g(x) の極限を考えていることを表すことがある。このとき 0⁰ はいわゆる不定形（英語版）、すなわちこの f(x)^g(x) の極限は一定しないのであって、実際任意の非負の実数値や +∞ にもなりうるし、振動することもある。例えば、

${\displaystyle {\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}}}$

（ここで a は任意の実数）となり、また

${\displaystyle \lim _{x\to 0^{+}}\left(e^{-{\frac {1}{x^{2}}}}\right)^{x\sin {\frac {1}{x}}}}$

は振動する。ここで、x → 0⁺ は x が正の方向から 0 に近づく極限を表す。

極限が 1 になるための十分条件はいくつか知られている。例えば f および g がともに x = 0 において実解析的であり、ある正数 b > 0 に対し開区間 (0, b) 上 f > 0 であれば、（x → 0⁺ のとき f(x) → 0, g(x) → 0 であれば）f(x)^g(x) の x → 0⁺ のときの極限は必ず 1 である^[6][7][8]。

複素解析における扱い

複素領域において、0 でない z に対し、関数 z^w を、log z の分枝を選び、z^w を e^{w log z} と定義できる。これは 0^w を定義していない、なぜならば z = 0 において定義された log z の分枝は存在せず、したがって当然 0 の近傍で定義された log z の分枝も存在しないからである^[9]。したがってこの意味で 0^w は定義されないのであるが、著者によっては別途、

• Re w > 0 に対しては 0 と定義したり^[10]
• w ≠ 0 に対しては 0 と定義したり^[11]

している。

コンピュータにおける扱い

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

脚注

[脚注の使い方]

注釈

1. ^ 0 と定義される場合もある。
2. ^ x = 0 のときは 0 = 0⁰ × 0 となってしまうため、0⁰ は任意の値で等式が成り立ち、この方針で 0⁰ を「自然」に定義することはできない。
3. ^ この定義は半群における積の結合性より意味を持つ。
4. ^ さらに a が逆元を持つならば、それを a⁻¹ と表記し、負の整数 −n に対して a⁻ⁿ = (a⁻¹)ⁿ と表記する。
5. ^ 整数の全体や実数の全体など、あるいは一般に単位元を持つ結合環は、乗法について零元を持つモノイドをなす。
6. ^ ここに、x → +0 は x が正の方向から 0 に近付くことを表す。なお、負の数 y に対して 0^y は定義されない。
7. ^ 具体的には、Visual Basic Editor (VBE) のイミディエイトウィンドウ上で ?0^0 と打ち、Enter を押すと 1 と出てくる。

出典

1. ^ Knuth 1992.
2. ^ グレアム, パタシュニク & クヌース 1993.
3. ^ Grillet 1995, p. 6.
4. ^ N. Bourbaki (2004). Theory of Sets. Elements of Mathematics. Springer. p. 164. ISBN 978-3-540-22525-6 
5. ^ Daniel W. Cunningham (2016). Set Theory: A First Course. Cambridge University Press. pp. 59, 221. ISBN 978-1-107-12032-7 
6. ^ sci.math FAQ: What is 0^0?
7. ^ Rotando & Korn 1977.
8. ^ Lipkin 2003.
9. ^ 神保 2003, pp. 44–45.
10. ^ "Since ln 0 does not exist, 0^z is undefined. For Re z > 0, we define it arbitrarily as 0."（ln 0 は存在しないから、0^z は定義されていない。Re z > 0 に対しては、0 と定義する。）(Carrier, Krook & Pearson 2005, p. 15)
11. ^ "For z = 0, w ≠ 0, we define 0^w = 0, while 0⁰ is not defined."（z = 0, w ≠ 0 に対しては、0^w = 0 と定義するが、0⁰ は定義しない。）(Gonzalez 1991, p. 56).
12. ^ Google電卓機能による 0^0の計算結果

関連資料

• Carrier, George F.; Krook, Max; Pearson, Carl E. (2005-07-14) [1966-03]. Functions of a Complex Variable: Theory and Technique. Classics in Applied Mathematics 49. Society for Industrial & Applied. ISBN 978-0-89871-595-8. https://books.google.co.jp/books?id=M2IwKL-_HQ8C 
• Gonzalez, Mario (1991-09-24). Classical Complex Analysis. Chapman & Hall 151. CRC Press. ISBN 978-0824784157. https://books.google.co.jp/books?id=ncxL7EFr7GsC 
• グレアム, ロナルド・L.、パタシュニク, オーレン、クヌース, ドナルド・E『コンピュータの数学』共立出版、1993年8月。 ISBN 978-4-320-02668-1。 
• Grillet, Pierre A. (1995). Semigroups: An Introduction to the Structure Theory. ISBN 978-08247-9662-4. MR 1350793. Zbl 0830.20079. https://books.google.co.jp/books?id=yM544W1N2UUC 
• 神保, 道夫『複素関数入門』岩波書店〈現代数学への入門〉、2003年。 ISBN 4-00-006874-1。 
• Knuth, Donald E. (1992). “Two notes on notation”. Amer. Math. Monthly 99 (5): 403–422. https://arxiv.org/abs/math/9205211. 
• Lipkin, Leonard J. (2003). “On the Indeterminate Form 0⁰”. The College Mathematics Journal (Mathematical Association of America) 34 (1): 55–56. doi:10.2307/3595845. JSTOR 3595845. 
• 松坂, 和夫『集合・位相入門』岩波書店、1968年。 ISBN 4-00-005424-4。 
• Meyerson, Mark D. (1996). “The x^x Spindle”. Mathematics Magazine 69 (3): 198-206. doi:10.2307/2691469. JSTOR 2691469. 
• 森田, 康夫『代数概論』（第12版）裳華房〈数学選書9〉、2003年。 ISBN 978-4-7853-1311-1。 
• Rotando, Louis M.; Korn, Henry (1977). “The Indeterminate Form 0⁰”. Mathematics Magazine (Mathematical Association of America) 50 (1): 41–42. doi:10.2307/2689754. JSTOR 2689754. 
• 斎藤, 毅『集合と位相』東京大学出版会〈大学数学の入門8〉、2009年。 ISBN 978-4-13-062958-4。 

関連項目

• 冪乗
• 指数関数
• ゼロ除算
• 空関数
• 空積

外部リンク

• Zero to the zero power – is 0^0=1? - Mathematics Stack Exchange