0.999...

数学において"0.999…}}"は、小数点の後に無限に"9}}"が続く循環十進小数である。

1. 概要
-----

実数として "0.999…}}" と"1"は等しくなることを示すことができる。この証明は、実数論の展開・背景にある仮定・歴史的文脈・対象となる聞き手などに応じて、多様な数学的厳密性に基づいた定式化がある。

循環する無限小数一般に言えることだが、0.999…}} の末尾の … は省略記号であり、続く桁も 9 であることを示す。省略記号の前の 9}} の個数はいくつでもよく、0.99999…}} のように書いてもよい。あるいは循環節を明確にするために 0.overset などと表記される。

一般に、ある数を無限小数で表すことも有限小数で表すこともできる。本稿で示されるように 0.999…}} と 1}} は等価性であるから、例えば 8.32}} は 8.31999…}} と書いても同じ数を表す。十進数を例に採ったが、数が一意に表示されないことは別の底の位取り記数法でも生じ、また小数表示以外でも同様に起こり得る。

0.999…}} と 1}} の等価性は、実数の体系に 0}} でない無限小が存在しないことと深く関係している。一方、超実数の体系のように 0}} でない無限小を含む別の数体系もある。そのような体系の大半は、標準的な解釈の下で式 0.999…}} の値は 1}} に等しくなるが、一部の体系においては記号 "0.999…}}" に別の解釈を与えて 1}} よりも無限小だけ小さいようにすることができる。

算数・数学教育において、1=0.999… = 1}} という関係が正しいことを教えることは一つの課題となっている。個別には例えば、1}} のような簡単な数に対しても別の表示方法があることや、1=0.999…}} が数列の極限の簡便な記法であること、極限の値は必ずしも元の数列に含まれないこと、また極限という概念そのものの理解が難しいことなどが挙げられる。

2. 代数的な証明
---------

0.999…}} という実数を明確にとらえるには、やはり小数点以下の位がすべて 9}} であることを利用する。位取り記数法で表された有限小数における"位ごとの四則演算"が無限小数に対しても適用できる、と見なすと、1=0.999… = 1}} を初等的に導くことができる。

2.1. 分数による証明
------------

Sfrac を小数表示すると、小数点以下の位は全て 3}} であることを利用する。Sfrac は 1 ÷ 3}} の商であり、割り算の筆算により、循環小数 0.333…}} となる。ここで 3}} は無限に続く。この小数点以下の各位は 3}} 倍するといずれも 9}} となることから、有限小数のときと同様に各位への一斉な掛け算が可能とみなせば、無限小数 0.333…}} を 3}} 倍すると0.999…}} に等しい。一方、1=Sfrac である。従って 1=0.999… = 1}} である。同様な別証明として、1=[[1/9 の両辺に 9}} を掛けることでもできる。

2.2. 位取り記数法の性質を利用した証明
---------------------

十進法表示の有限小数に 10}} を掛けると、数字は変化することなく、小数点が1つ右に移動する。このことが無限小数に対しても成り立つと見なせば、1=0.999… × 10 = 9.999…}} であり、これはもとの数に比べて 9}} 大きい。引き算が位ごとに扱えることが無限小数に対しても成り立つと見なせば、1=9.999… − 0.999… = 9.000…}} である。ところが、小数点以下に無数に続く 0}} は数を変化させないので、この差はまさしく 9}} に等しい。問題の小数 0.999…}} を c}} と置くと、1=10//c// − //c// = 9}} であり、この方程式を解くと、1=//c// = 1}} が得られ、証明が完了する。つまり、導出は以下のようになる。

この位取り記数法の性質を利用した証明は他の有限小数にも適用できる。

2.3. 無数の位ごとの操作の正当性
------------------

以上の2つの証明で用いた、無数の桁に対する位ごとの操作を一斉に行うことは、厳密性に欠け、その正当性が明らかではない。有限小数に関しては、この過程は実数の計算法則にのみ依存している。この操作が無限小数にも適用できることを証明するためには、次節 #解析的な証明 に述べる実解析の手法を必要とする。

日本の数学教育においては、高校数学の数学Iで循環小数の足し算・引き算・10倍が公理として採用されているため、上記の代数的な操作は高校数学の範囲内では正しい証明とされる。

3. 解析的な証明
---------

0.999…}} という小数点以下の位に無数の 9}} を加えていくという定義自体が解析的である。これが 1}} に等しいことを厳密に証明するには、実解析の手法を必要とする。0.999…}} という無限小数を正確にとらえるには、小数部分の位が無数に並ぶことを明確に定義し直すことが必要となる。

3.1. 差に着目した証明
-------------

0.999…}} が 1}} に等しいことを証明するには、それらの差が 0}} であることを証明すればよい。その分、無数に並ぶ 9}} についての定義はぼやけるが、初等的かつ解析的に導くことができる。 なお、この証明では、最後に

であることを証明抜きで用いている。

これを証明するためには、実解析における実数の連続性が必要となる。

3.2. 無数の位の定義の再考
---------------

0.999…}}、一般には無限小数の明確な定義を議論し直すために、定式化する。0.999…}} を考えるのに、整数部分は1桁だけ考えれば十分であり、負の数は考えなくてよいので、考察するべき小数表示は

の形である。小数部分は整数部分と違って有限の桁数に制限されない。これは基数 10}} の位取り記数法であるから、例えば //a//sub の単位は //a//sub の単位の 10}} 倍、//a//sub の単位は //a//sub の単位の [[1/10 倍である。

3.2.1. 級数の計算
------------

小数展開の一般的な定義としては、おそらく級数として定義することである。つまり

と表される。

ここで、0.999…}} の小数部分の計算には等比級数の公式：

abs のとき を適用することが可能である。

0.999…}} は、上式の左辺で初項 1=//a// = sfrac, 公比 1=//r// = sfrac としたものであるから、この公式より

と簡単に問題を解決することができる。この証明は早くて1770年のレオンハルト・オイラーによる //Elements of Algebra// において見られる。 等比級数の公式自体はオイラー以前の成果であるが、18世紀まではその導出がいずれも項別演算を証明なしで行われていた。1811年になってやっと、Bonnycastle の教科書 //An Introduction to Algebra// で等比級数に関する議論を行うことで 0.999…}} に関する項別操作を正当化している。

19世紀には、それまでの自由すぎる無限和の計算に対する反動として、「級数はその部分和の極限として定義される」という、現在の数学でも用いられている定義が生み出された。このころの証明に基づいた微積分学や解析学の入門書においては、関連する定理を証明することによりこの等比級数もはっきりと計算されている。

数列 //xsub において、番号 n}} を限りなく進ませると距離 !}}//xsub が 0}} に近づくときに、数列 //xsub の極限が x}} であると定義される。等式 1=0.999… = 1}} 自身は以下のように極限として表すことにより証明される。//

最後の等号  は、実数の連続性の一つであるアルキメデスの性質を用いて証明される。このような極限を基にした 0.999…}} の説明はしばしば、分かりやすいが不正確な言葉によって説明されている。例えば、1846年の教科書 //The University Arithmetic// は「0.999…}} と無限に続く数は 1}} である。なぜなら 9}} を積み重ねるたびにその値は 1}} に近づくからである」と説明しており、1895年の //Arithmetic for Schools// は「9}} を十分多く用いれば、0.999…}} と 1}} の距離は驚くほど小さい値である」と説明している。直観に頼らず、はっきりとした理解を得るために、コーシーやボルツァーノらにより微積分を厳密な理論で再構築する流れが生まれた。1860年代にワイエルシュトラスにより ε-δ論法が考案され、無限の概念を不等式の任意性に置き換えることにより、項別操作の可能性などについても説明がついていくこととなる。

3.2.2. 区間縮小法と上限
---------------

無限小数の小数部分を級数として直接計算する前述の導出に対して、それとは別に、もう一つの方法は、無限小数が取らない値の範囲を排除していくという方法である。

実数 x}} は閉区間 [0, 10]}}に属するとし、この区間 [0, 10]}} を一の位ごとの 10}} 個の区間 [0, 1], [1, 2], [2, 3], …, [9, 10]}} に分割する。実数 x}} はこのうちの少なくとも1つに属し、その区間の下限、例えば x}} が区間 [1, 2]}} に属するときには "1}}" を記録する。次に、属している区間 [1, 2]}} を小数第一位ごとに [1, 1.1], [1.1, 1.2], …, [1.8, 1.9], [1.9, 2]}} に分割し、x}} が属する区間の下限を記録する、という操作を繰り返すと //a//sub から決まる区間の減少列が生み出される。この数列から

と表現される。

この記録の仕方により、実数 1}} は最初に [0, 1]}} に属するかそれとも [1, 2]}} に属するかにより 1=1 = 1.000…}} と 1=1 = 0.999…}} の2通りの表示が得られることになる。このそれぞれの小数記録表示が表す実数が等しいことを証明するには、直接的には極限を用いてなされるが、順序の議論を続ける別の構成方法もある。

直接的な方法としては区間縮小法が挙げられる。この原理によれば、閉区間の減少列が与えられ、その幅が 0}} に収束するとき、それらの区間の共通部分はただ1つの実数からなる1点集合であることが、実数の連続性より証明される。したがって 1=//x// = //a//sub は [//a//sub のすべてに属する唯一の実数であると定義される。したがって 0.999…}} は [0, 1], [0.9, 1], [0.99, 1], …}} のすべてに属する唯一の実数である。一方、実数 1}} はこれらすべての区間に属するので 1=0.999… = 1}} となる。

区間縮小法は、実数の連続性のうちのより直観的であると思われる上限の存在に基づいている。この事実を直接用いると、//a//sub を近似値の集合 mset の上限として定義することができる。増加列の上限の存在定理は実数の連続性として区間縮小法と同値であることが示せるので、再び 1=0.999… = 1}} を得る。トム・アポストルは次のように結論付けた。

「実数が異なる2つの小数表示を持つ可能性があるという事実は、単に、実数からなる異なる2つの集合の上限・下限が等しくなる可能性があるという事実の裏返しに過ぎない。」

4. 実数の構成
--------

公理的集合論を用いて、実数の集合を実数の構成ある種の構造として明示的に定義する方法はいくつか存在する。まず、自然数とは、ものを数えるときに用いる番号のことであり、0}} から始めて 0, 1, 2, …}} と、+1}} ずつ添加していくことにより得られる。自然数を拡張して整数全体を得るには、各自然数の反数を添加すればよい。さらにそれらの商を添加すると、有理数全体が得られる。これらの数体系には、加減乗除という四則演算が付随しており、さらに、任意の2数を比較しての大小関係という順序をも備えている。

有理数から実数への拡張は大きな飛躍である。この拡張の方法は、少なくとも2つの手法がよく知られている。ともに1872年に発表された有理数の切断によるものとコーシー列によるものである。date=2012-10。現代数学では、解析学的に実数を構成し、それが数の公理を満たすかどうかに注意が払われる。公理による解析的手法により 1=0.999… = 1}} を証明することになるからである。しかしながら、実数の構成をより適切に、論理的に行うことにより、1=0.999… = 1}} の証明はもっと直接的になされる  と主張する人もいる。

4.1. デデキント切断による構成
-----------------

デデキント切断のアプローチでは、任意の実数 x}} は、「x}} より小さい有理数全体からなる無限集合」と定義される。この考え方では、実数 1}} は「1}} より小さいすべての有理数の集合」となる。

正の数でのデデキント切断は、その小数展開により得られる。小数表示を適当な位までで切って得られる有理数を使い、それより小さい有理数全体の和集合を作ればいいのである。この方法で実数 0.999…}} というものが何であるかを考えるなら、//r// < 0, //r// < 0.9, //r// < 0.99, …}}として定義されるということになる。0.999…}} より小さい有理数すべては 1}} より小さいので、これは実数 1}} の元に含まれる。一方、実数 1}} の元となる任意の有理数

 を考えると、

となるため、sfrac は 0.999…}} の元になっている。よって、0.999…}} と 1}} とは全く同じ有理数をすべて元として含み、これらは集合として等しい。つまり 1=0.999… = 1}} であるというわけである。

デデキント切断による実数の定義は、1872年にリヒャルト・デーデキントによって初めて発表された。上記の、実数をそれぞれの小数展開に帰着させる方法は、フレッド・リッチマン  によって雑誌 //Mathematics Magazine// に投稿された "Is 0.999… = 1?" という解説論文による説明である。この論文は大学の数学教師とその生徒向けに書かれている。リッチマンは、有理数の任意の稠密な部分集合における切断を考えても同様な結果をもたらすことを指摘している。その中で彼は、分母が 10}} の冪である分数全体の成す稠密部分集合を用いて、1=0.999… = 1}} の証明をより直接的に与えている。また、//x// < 1}} となる x}} は切断を有するが、//x// ≤ 1}} となる x}} は切断をもたないことも指摘し、「これは 0.999…}} と 1}} が異なってしまうことを排除するものである。……実数の伝統的な定義の中に、等式 1=0.999… = 1}} は最初から組み込まれている」と評した。リッチマンは、この手順に修正を加えることで、0.999… ≠ 1}} となる別の構造を導いている。

4.2. コーシー列による構成
---------------

実数を構成するもう一つの方法は、実数の切断に比べれば間接的にではあるがやはり有理数の順序を用いるものである。まず、2つの有理数 x}} と y}} に対して、距離 //d//}} を絶対値 abs で定義する。そして実数全体というものを、この距離 d}} に関する有理数のコーシー列全体を以下で定義する同値類で割ったものとして定義するのである。ここで、有理数列mset がコーシー列であるとは、

任意の正の数 ε}} に対して、番号 N}} が存在し、N}} より大きいすべての //m//, //n//}} に対して が成り立つことと定義される。

2つのコーシー列 msetと mset が同値であることを、//xsub が 0}} に収束することと定める。小数 //a//sub に対して、各位以降を順に切り捨てていくことにより得られる数列は有理数のコーシー列を定めるので、このコーシー列が、この小数展開の表している実数の真の値と定められることになる。//

この性質より 1=0.999… = 1}} を証明するためにしなければならないことは、有理数のコーシー列

が同値である、すなわち

が 0}} に収束することを証明することである。

この極限は単純で、数列の極限の定義により示される。こうして、やはり 1=0.999… = 1}} が示されたことになる。

コーシー列による実数の定義は、最初に1872年にエドゥアルト・ハイネとゲオルク・カントールにより独立に発表された。1=0.999… = 1}} の証明を含む、小数展開による上記のアプローチは1970年にグリフィス  とヒルトン  の書いた教科書 //A comprehensive textbook of classical mathematics: A contemporary interpretation// に従っている。この教科書は、よく知られた概念について、現代の観点から再検討することを主眼に書かれている。

5. 他の数体系での振る舞い
--------------

実数は標準的な数体系であるが、"0.999…}}" という無数桁の表記がある実数を表すだろうと、date=2022年2月は自然に考えている。ウィリアム・ティモシー・ガワーズは //Mathematics: A Very Short Introduction// で、等式 1=0.999… = 1}} を結論することも同様に『慣習』であると述べている。すなわち、

「しかしながら、それは決して恣意的な慣習ではない。なぜなら、それを受け入れなければ、一風変わった新しい対象を発明するか、または算術のよく知られた規則のいくつかを諦めるかのどちらかが強制されるからである。」標準的な数体系である実数体に対して、通常と異なる方法で数を構成し、0.999…}} という表記が意味を持つ、実数とは別の数体系を定義することができる。date=2022年2月。

5.1. 無限小を含む体系
-------------

1=0.999… = 1}} のいくつかの証明は、通常の実数がアルキメデス順序体であること、すなわち、"0}} でない無限小は存在しない" ことに依存している。特に、差 1 − 0.999…}} は任意の正の有理数よりも小さいはずであるから、それは無限小でなければならないが、実数の体系には 0}} でない無限小は無いので、差は 0}}、つまり二つの値は等しいことが結論付けられる。それでも、実数の非アルキメデス的代替となりうる様々な体系を含む、数学的に一貫した順序代数系は存在する。

5.1.1. 超実数
----------

超準解析によって、無限小の完全な系列を含んだ数体系が提供される。アルバート・ハロルド・ライトストーンは区間 sup に属する超実数  に対する小数展開を考えた。ライトストーンは、拡張実数に超自然数で添字付けられた数字列

が対応することを指摘した。ここでセミコロンの左側は有限自然数桁を表し、セミコロンの右側は無限大自然数桁を表す。ここで、セミコロンの直前や直後の桁といったものは存在しないことに注意。ライトストーンは 0.999…}} について直接扱ったわけではなく、移行原理 の帰結として実数 frac が 0.333…;…333…}} で表されることを指摘した。故に 1=0.999…;…999… = 1}} である。ここで言う意味での小数展開が必ずしも数を表すとは限らないことに注意すべきである。特に "0.333…;…000…" や "0.999…;…000…" は何の数とも対応しない。この事実はoverspill principleを使って説明できる。小数展開の各桁を写像 と見做す。有限桁目が全て 3}} だと仮定する。つまり

である。ここにoverspill principleを適用すると、ある無限大超自然数 があって

が成り立つ。つまり は "0.333…;…333000…" や "0.333…;…333001854…" のように、ある無限大桁目まで3が連続する超実数でなければならない。なお、超実数体は順序体であるから順序位相を考えることができるが、実数の可算列 は収束しないから、標準桁目だけがちょうど 9}} であるような超実数はそうした有限小数表示の位相的極限と見做すとしてもなお存在しない。

数 0.999…}} の標準的な定義は 0.9, 0.99, 0.999, …}} なる数列の極限であるが、それと異なる定義として例えばテレンス・タオが超極限  と呼ぶ数列 0.9, 0.99, 0.999, …}} の超冪構成に関する同値類 []}} は 1}} より無限小だけ小さい。より一般に、階数 H}} の無限大超自然数の位置に最後の 9 がくる超実数 1=//usub はより厳密な不等式 //usub を満足する。これに応じて、「無限個の 9 のあとに 0 が続く」ことの別解釈を

と理解することができる。このように解釈した "0.999…}}" は 1}} に「無限に近い」。イアン・スチュアートはこの解釈を、「0.999…}} は 1}} よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた。Katz に基づき、R. Ely もまた学徒のもつ「0.999… < 1}} という考えを実数に対する誤った直観とする仮定に疑問を呈し、むしろそれを「超準的」直観と解釈した方が解析学の習得において価値があるのではないかとした。Jose Benardete は自身の著書 //Infinity: An essay in metaphysics// において、過度に制限された数体系に話を限定する限り、数学以前の自然な直観のいくらかは言い表すことができないのだと主張した。

5.1.2. 超現実数・ゲーム
---------------

前項と特に関連して、組合せゲーム理論における同様の実数代替体系として、"無限二色ハッケンブッシュゲーム " を考えることができる。1974年に、エルウィン・バーレカンプ  はデータ圧縮のアイディアに刺激されてハッケンブッシュ文字列と実数の2進展開の関係について述べた。例えば、"ハッケンブッシュ文字列 " LRRLRLRL… の値は 1=0.010101… = sfrac である。しかしながら、文字列 LRLLL…の値は 1}} に比べてごくわずかだけ小さい。 これらの2数の差は超現実数 sfracである。これに関連するゲームは LRRRR… すなわち 0.000…}} である。

5.2. 減法の再考
----------

別の方法は、引き算はいつでもできるわけではなくて「1 − 0.999…}} は存在しない」としてしまうことである。加法をもつが減法をもたない数学的構造には、可換半群、可換モノイド、半環 などが含まれる。リッチマンは 0.999… < 1}} となるようにデザインされた、そのような2つの構造を考えた。

まず、リッチマンは負でない"十進数"を文字通り小数展開となるように定義する。彼は辞書式順序と加法を定義した。ここでは 0.999… < 1}} であることに注意する。なぜなら単に、一の位において 0 < 1}} となるからである。しかし、どんな「無限小数」x}} に対しても 1=0.999… + //x// = 1 + //x//}} である。だから、"十進数"に特徴的なこととして、一つは加法が必ずしも打ち消し合わないということであり、もう一つは sfrac に対応する"十進数"は存在しないということである。乗法を定義すると、"十進数"は正値全順序可換半環をなす。

乗法を定義する際、リッチマンはまた、"cut //D//" と呼ばれる別の構造を定義する。これは小数の切断の集合である。通常この定義は実数を導くが、彼は小数 d}} に対して、切断 }} と "principal cut" 」ことになる。したがって、再び 0.999… < 1}} を得る。"cut //D//" には正の無限小は存在しないが、"一種の負の無限小" 0sup が存在する。0sup には小数展開は存在しない。彼は 1=0.999… = 1 + 0sup であると結論したが、一方、方程式 "1=0.999… + //x// = 1}}" は解をもたない。

5.3. //p}}//進数
--------------

1 − 0.999…}} は何になるかを尋ねると、しばしば "0.000…1}}" を浮かべられることがある。これに意味を持せることができるか否かは別として、0.999…}} の "最後の 9}}" に 1}} を足すことで次々に繰り上がり、すべての 9}} が 0}} に変わって、一の位に 1}} が残るという意図は直観的には明白である。この考えは、0.999…}} には "最後の 9}}" がないので失当であるが、『最後の9}}』を持つ無限文字列を持つ体系というのは存在する。p}}進数は整数論が研究対象とする数体系である。実数と全く同様に、p}}進数はコーシー列を経由して有理数の完備化として作ることができる。ただしこの構成には、0}} は 1}} よりも p}} に近く、psup にはもっと近いという、異なる距離を用いる。p}}進数は p}} が素数のとき体をなし、p}} が素数でないときでも環をなす。したがって、p}}進数に足し算や掛け算のような計算を実行することができ、無限小は存在しない。

p}}進数には小数展開の類似を考えることができ、位が左へ進む。10}}進展開 …999}} を考える。一の位に 1}} を加えることができるが、すると 0}} だけが残されて繰り上がりが続き、その結果 1=1 + …999 = …000 = 0}} となる。すなわち、1=…999 = −1}} である。もう一つの導出方法は等比級数を用いる。"…999}}" の意味をもつ等比級数は実数においては収束しないが、10}}進数では収束し、よく知られた公式を再び用いることができて

となる。3番目の導出方法はある中学1年生によって発明された。その生徒は教師が 1=0.999… = 1}} を極限を用いて行った議論に疑いをもったが、上記の 10}} を掛ける証明を反対の方向へ用いてみようとした。すると、1=//x// = …999}} ならば 1=10//x// = …990}} であるから、1=10//x// = //x// − 9}} であり、再び 1=//x// = −1}} となる。

最後の拡張として、1=0.999… = 1}}と 1=…999 = −1}}であるから、「盲目的に記号を偽弄することを恥じなければ 」2つの等式の両辺を加えて 1=…999.999… = 0}} を得る。この等式はもはや 10-進数としても通常の小数展開としても意味をもたないが、よく知られた体系、すなわち実数を表現するために、左方への循環も許す「二重十進」 の理論を誰かが開発すれば、一転してこの等式も意味をもち正しくなる。

6. 一般化
------

等式 1=0.999… = 1}} の証明は直ちに2つの方法で一般化される。最初に、まさにその特別な場合において考えられたように、すべての 0}} でない有限小数は 9}} が後ろにずっと続く別表現をもっている。例えば、0.24999…}} は 0.25}} に等しい。

次に、1=0.999… = 1}} に相当する結果を他の基数にも適用することができる。例えば 二進法では 1=0.111… = 1}} であり、三進法では 1=0.222… = 1}} である。一般に、基数を b}} とするとき、小数点以下には //b// − 1}} が繰り返し並ぶ。実解析の教科書は 1=0.999… = 1}} の例を飛ばして、これらの一般化のうちの一つか両方を最初から紹介する傾向がある。

1}} の別表現は、非整数を基数としても現れる。例えば、黄金比を基数とすると、2つの標準的表示は 1.000…}} と 0.101010…}} であるが、他にも 0.11, 0.1011, 0.101011}} のように隣接する "1}}" を含む無数の表現がある。一般的に、1}} と 2}} の間のほとんどすべての q}} に対し、"非可算無限" の 『1}} の q}}進表現』が存在する。他方で、なお"非可算無限"の q}} が 1}} の q}}進表現をただ一つしかもたない。この結果は1990年頃に ポール・エルデシュ 、ミクローシュ・ホルヴァート 、イストヴァン・ヨー  によって最初に述べられた。1998年に Vilmos Komornik とパオラ・ロレティ  はこのような最小の基数として 1=//q// = 1.787231650…}} を決定した。この基数においては、1=1 = 0.11010011001011010010110011010011…}} であり、この数はトゥエ・モース列  を与える。これは循環しない。

さらに変則的な規則に基づく記数法  においても 1=0.999 = 1}} に相当する結果が得られる。これらもまた多様な表現をもつので、ある意味で扱いはさらに困難である。例えば、

平衡三進法  においては、
階乗進法  においては、マルコ・ペトカイゼク  は、そのように一つの数が複数の方法で表せるということは位取り記数法を用いることの必然的な結果であると述べ、すべての実数を扱う任意の位取り記数法において複数の表現をもつ実数の集合は常に稠密であることを証明した。彼はこの証明を「一般位相空間に関する初級の教育的な練習問題」と呼んだ。それは、位取り記数法の値の集合を Stone空間と見ること、その実数表現が連続関数によって与えられることに気づくことを、その証明が含んでいるからである。

7. 応用例
------

1}} の別表現としての 0.999…}} に関する一つの応用が初等整数論に見られる。1802年にグッドウィン  は、ある種の素数を分母とする分数では、循環小数表示したときに 9 が現れることを発表した。例えば、

と書かれている。

ミディ  は1836年にこのような分数に関する一般的な結果を証明して、現在はミディの定理と呼ばれている。その論文は曖昧であり、彼の証明が直接 0.999…}} を含むかどうか定かではない。しかし、レーヴィット  による少なくとも一つの現代的な証明ではそれが含まれている。もし、0.//b//sub という形の小数が正の整数であることを証明できれば、それは 0.999…}} に他ならず、それがこの定理において 9}} たちが出現する原因となる。この方向への研究は 最大公約数、剰余計算、フェルマー素数、群の元の位数、平方剰余の相互法則などの概念に動機付けを与える。実解析では、三進法での類似表現 1=0.222… = 1}} は最も単純なフラクタルの一つ、カントール三進集合  の特徴づけに重要な役割を果たしている。

単位区間 [0, 1]}} の点は、三進法で 0}} と 2}} のみを用いて表現される場合に限りカントール集合に属するという。小数第 n}} 位の数字は、この構成における第 n}} 段階の点の位置に反映する。例えば、点 sfrac は通常の 0.2}} または 0.2000…}} として表現される。なぜなら、それは最初の欠損部分の右側に位置し、それ以後のすべての欠損部分の左に位置するからである。また、点 sfrac は 0.1}} ではなく 0.0222…}} として表現される。なぜなら、それは最初の欠損部分の左側に位置し、それ以後のすべての欠損部分の右側に位置するからである。

9}} の繰り返しはカントールのもう一つの仕事にさえも現れる。彼が1891年に対角線論法を適用して単位区間 [0, 1]}} の非可算性の適切な証明を与えたことを考慮しなければならない。このような証明ではある2つの実数が小数表現において異なることを言明することが必要とされる。したがって、0.2}} と 0.1999…}} のような組を避けなければならない。簡単な方法においては、すべての数を無限小数で表すが、それに対する方法では 9}} が最後に連続することを排斥する。カントール独自の議論に近いといえる証明の変形では実際に2}}進表現を用いており、3進表現を2進表現に変えることによりカントール集合の非可算性を同様に証明することができる。

8. 典型的な誤解とその原因
--------------

数学の初学者はしばしば 0.999…}} と 1}} が等しいことを理解できない。極限の概念や無限小の性質が日常の感覚と大きく異なっていることがその理由とされる。その共通の要因として次のようなものがある。

生徒は「十進数では、一つの数はただ一通りの小数で表すことができるはずだ」と思い込んでいる場合が多い。表示が異なる2つの小数が等しいことが分かると、それが逆説であるように見える。見かけ上よく知られた数 1}} の登場でその感がさらに強くなる。
"0.999…}}"を、多いけれども有限の個数の "9}}" の列として解釈する生徒もいる。たとえ生徒が "9}}" の無限個の列であることを受け入れたとしても、まだ最後の "9}}" が「無限の彼方に」あると期待しているのかもしれない。
直観やあいまいな教え方により、生徒は数列の極限を、一つの決まった値ではなくある種の無限操作と考えるようになる。それは数列の各項はその極限に達する必要はないからである。生徒が数列とその極限の違いを受け入れても、彼らは "0.999…}}" を極限ではなく数列を意味するものと読む可能性がある。これらの考えは、通常の実数を扱う文脈においては誤っている。しかしながら、通常と異なる場面で適用するために発明された、もしくは、0.999…}} を理解するのに有益な反例としての、より精巧な数の体系構造においては、それらの考えの多くが部分的に正しいことが示される。

これらの要因の多くはデイヴィッド・トール  教授により発見された。教授は、自らが遭遇した大学生の誤解のいくつかについて、それを生徒に抱かせる原因となった指導法と認識の特徴を研究している。非常に多くの生徒がなぜ最初はこの等式を受け入れないのかを調べるために生徒を面接して、次のようなことを発見した。

「生徒は 0.999…}} を、決まった値ではなく 1}} に限りなく近づく数列として理解し続けようとする。その原因は『先生は小数点以下の桁数がいくつあるかをはっきりと教えていなかった』という指導法の欠陥、または『0.999…}} は 1}} より小さい数の中で、存在しうる、1}} に最も近い小数である』という認識である。」初等的な証明の中で 1=0.333… = sfrac の両辺を 3}}倍する方法は、1=0.999… = 1}} であることを容認できない生徒に受け入れさせるための、最も有効な手段であるかのように見える。しかしながら、第1の等式を信じることと、第2の等式を信じないことの矛盾に直面すると、今度は第1の等式を疑い始める者も現れるし、または単に不満を抱くだけの生徒もいる。これより簡潔で有効な説明方法もなかなかない。厳密な定義を十分適用する能力のある生徒が、0.999…}} を含めてさらに進んだ数学の結果に驚いたとしても、なお直観的な想像に頼ってしまうことがある。例えば、ある解析学を学ぶ生徒は 1=0.333… = sfrac であることを上限の定義を用いて証明することができるが、その後もなお、昔の筆算の理解に基づいて 0.999… < 1}} であると主張した。別の生徒は、1=sfrac であることを証明することができるが、分数による証明に直面して「論理」が数学の計算を征服していると主張する。

ジョセフ・メイザー  は別の才能豊かな微積分学の生徒について語る。その生徒は「私が授業で言ったことにはほとんどすべて異議を唱えるが、自分の使っている計算機には決して異議を唱えない」。さらに、23 の平方根を計算することも含めて、数学をするのに必要なのは 9桁だと信じるようになった。その生徒は 1=9.999… = 10}} であるという極限の議論に相変わらず不愉快な感じを抱いていたが、それは「乱暴な推測をする、無限概念の成長過程 」と呼ばれる。

エド・デュビンスキー  による数学学習の理論  の一部分として、デュビンスキーとその共同研究者  は、0.999…}} を「1}} から無限に小さい距離だけ離れている数を表す有限で不確定の文字列」であると思う生徒は「無限小数の構成過程の完全な概念がまだ形成されていない」と述べた。たとえ 0.999…}} の構成過程の完全な概念を身につけた生徒であっても、まだその過程を一つの「対象」としてとらえ直すことができずに、0.999…}} という一つの過程と 1}} という数の存在を矛盾するものととらえるかもしれない。デュビンスキーらはまた、「一つの対象としてとらえ直す」というこの精神的能力が、sfrac それ自体を数と見なしたり、自然数の集合それ自身を一つの対象として取り扱ったりすることと関係していると考えている。

9. メディアでの議論
-----------

インターネットの登場に伴い、1=0.999… = 1}} に関する論争は教育現場だけでなく、ニュースグループや電子掲示板など、普段はあまり数学に関係のない場所でも話題となることがある。ニュースグループ [news:sci.math sci.math] では、0.999…}} に関する議論は「流行のスポーツ」であり、それは FAQ で回答された問題の一つである。その FAQ は sfrac を用いる方法、10倍する方法、極限を用いる方法を簡潔に扱い、さらには同様にコーシー列にも言及している。

アメリカの新聞 //Chicago Reader// のコラム //The Straight Dope// の2003年版では、誤った概念に関して言及しつつ、sfrac や極限を通して 0.999…}} について次のように議論している。

「我々の中の類人猿的要素が、『0.999…}} は実際に//数// を表しているのではなく、//過程// を表している。一つの数を見つけるために我々はその過程を途中で断ち切らなければならない。その時点において 1=0.999… = 1}} という概念は崩壊する。』と言って依然として抵抗している。ナンセンスだ！」//The Straight Dope// は「他の掲示板…ほとんどがビデオゲーム」から独立した専用の掲示板で議論を載せている。同様の調子で、0.999…}} の問題は、アメリカのゲーム開発会社ブリザード・エンターテイメントの Battle.net フォーラムで最初の7年間にとても一般的な話題であることが分かったため、社長の Mike Morhaime は2004年4月1日の記者会見で 1=0.999… = 1}} であると発表した。

「我々はこの問題に対しきっぱりと決着をつけることに大変興奮しています。我々は 0.999…}} が 1}} に等しいのか等しくないのかについての、心痛や心配に立ち会ってきました。ここに次の証明を提示し、我々の顧客に対して、最終的に断固としてこの問題に対処できることを嬉しく思います。」続くプレスリリースで、極限に基づくものと 10}} を掛けるものの2つの証明を提供している。

10. 関連する問題
----------

ゼノンのパラドックス、とりわけアキレウスと亀のパラドックスは、見かけ上のパラドックス 1=0.999… = 1}} を連想させる。アキレウスのパラドックスは数学的にモデル化され、0.999…}} と同じように等比数列を用いて解決される。しかしながら、この数学的な取り扱いがゼノンが探求していた潜在的な形而上の問題に対処しているかどうかは明らかでない。ただし、無限和の値は、部分和の極限によって定義されているので、この方法では、パラドックスを解決したことにはならない、という論議がある。この点に留意すれば、1=0.999… = 1}} であると言う帰結は、極限によって無限小数の値を定義した結果であり、必ずしも自明なことではない。そもそも無限に存在する値を全て足し合わせることができるのか、と言う問いは未解決であり、1=0.999… = 1}} やゼノンのパラドックスと言った話題がそのことを想起させてくれる恰好の題材であることは確かであろう。
0}} による除算は 0.999…}} のいくつかの一般的な議論に見られるが、それもまた論争を引き起こす。多くの著者が 0.999…}} を定義することを選択する一方で、実数の現代的な取り扱いでは 0}} による除算は定義されない。というのは、それが通常の実数の範囲では意味を与えられないからである。しかしながら、0}} による除算は複素解析など他の体系では定義されている。複素解析では、拡張された複素平面は無限遠点をもつ。ここで、sfrac を無限大であると定義することには意味がある。また、実際その結果は奥深く、工学や物理学にも応用できる。何人かの著名な数学者は、どの数体系も発達するずっと前からそのような定義を論じていた。
冗長な数表記の類例として負の 0}} が挙げられる。実数などの数体系においては、"0}}" は加法に関する単位元を意味し、正の数でも負の数でもない。通常 "−0}}" は加法に関する 0}} の逆元を表すと解釈されるため、1=−0 = 0}} でなければならない。それにもかかわらず、いくつかの科学的な応用では、正と負の 0}} を分けて用いる。これはいくつかのコンピュータの数体系でもそうである。IEEE の浮動小数点数の場合は、負の 0}} は、与えられた正確な数値を表すには小さすぎるが、それでもなお負の数である値を表している。したがって、IEEE 浮動点数表示における「負の 0}}」は本来の意味で"負の 0}}" ではない。

11. 脚注
------

11.1. 注釈
--------

11.2. 出典
--------

12. 参考文献
--------

力学系に関するこの入門的な教科書は、学部生または初級の大学院生向けである 。
微積分学からより進んだ解析学 //Mathematical analysis// への変遷が「ごまかさないで、厳密で、最新であると同時に学者ぶることのないように」意図されている。Apostol は実数の構成に上限の存在公理を用いており、無限小数が2ページ後で紹介されている 。
このテキストは「実解析の基本的性質と技巧を扱う、理解しやすくてほどよい進度の教科書」を目指している。実数の構成には上限の存在公理を用いている。
この本は、その中心的な話題「数学的な現実性と物理的な現実性のやや希薄な関係」を調べる道具として、パラドックスと誤った推論による解析を紹介している。高校1年生程度の代数を仮定しており、さらに進んだ数学はこの本の中で発展していく。0.999… は完全に扱われているものの一つではないが、カントールの対角線論法を扱う中で簡潔に述べられている 。
このテキストは必修科目としての「基本的な微積分の厳密な課程」の役割を担っており、述べられているその原則は "An Introduction to Mathematics" として複素解析を紹介し、対象を明確に正確に述べることである 。
集合論の入門的な学部生用の教科書であり、「特別な予備知識を前提としない」。公理的集合論または数体系の構成に焦点をおいた学習課程を提供するために書かれているが、公理という題材は、あまり重要視されないような方法で扱われている 。
last = Griffiths

この本は、バーミンガム地方のグラマースクールの数学教師の課程から生まれたものである。この課程は、学校で教えられる数学を基にして大学レベルの数学への展望を伝えるのが目的であり、「大学で数学の専門課程を1年間学んだ程度のレベル」の生徒向けである。実数の構成は第24章で述べられているが、「おそらくこの本全体の中で最も難しい章」である。しかしながら著者たちはこの難しさをイデアル論を用いているためとしている。イデアル論はここでは扱われていない 。
Mankiewicz は、数学、数学者の著作、歴史的概略の視覚的な側面と質的な側面を組み合わせることによって「理解しやすい形式で数学の歴史」を述べようとしている 。
年代順というより話題別の無限に関する回顧。この本は「一般的な読者を意図している」が「数学者の視点から語っている」。数学的な厳密性と読みやすい言葉遣いの板ばさみで、Maor は「この問題を正しく取り扱うことに成功したことを願っている」と述べている。
形式的な予備知識を必要としないで「大学3-4年生または大学院の1年生レベル」における入門書を意図している。「読者が集合論についてよく知っていることを仮定すらしない。」 Munkres の実数の扱いは公理的であり、この道具を持たない構成方法について彼は「このアプローチの方法は多くの時間と努力を必要とし、数学的な興味として扱うよりもはるかに論理的である。」と述べている。
この本は「微積分学の標準的な仮定を終えた生徒に適切な、解析学の理論的構成を紹介する」ことを目標とする 。第2章の終わりで著者は、実数において有界単調列が収束するということを公理として仮定しているが、その後で区間縮小法と上限の存在を証明している 。小数展開は Appendix 3 "Expansions of real numbers in any base" に見られる 。
実数のよく知られた性質を仮定する一方で、Pugh はできるだけ早い段階で実数の切断を紹介する。公理的な取り扱いについて「実数の体系に基づいて実数が構成されていることを考えると、これは一つの詐欺である。」と述べている 。上限の存在の性質とそれに関係するいくつかの事実を証明した後は、その他の場面で切断は用いられていない。
first = FredFree HTML preprint: url = http://www.math.fau.edu/Richman/HTML/999.htm 注：雑誌の論文にはプレプリントには見られない記述が含まれている。

より進んだ学部生の課程のための教科書。「有理数から実数を構成する方法から始めるのは教育上好ましくないことを経験上確信している。初期の段階では、多くの生徒は、このことの必要性についてその価値を認めることができない。それゆえ、実数の体系は、上限が存在する実数体として紹介され、この性質の興味深いいくつかの応用例がすぐになされる。デデキントの構成は無視されている。現在はこれは第1章の Appendix にあり、機が熟したときにいつでも勉強して楽しむことができる。」
この本は「生徒たちが微積分を理解するのを援助」し、「観念に対する理解を育成する」ことを目的としている 。微積分の基本性質の証明は省略されている。

13. 関連項目
--------

循環小数
十進法
超準解析
実数
実数の連続性
コーシー列
デデキント切断
sfrac: 0.999…}} と同じく、1}} に等しい数式。

14. 外部リンク
---------

[1] from cut-the-knot
[2]
[3]
[4]
[5]