0.999...

提供: miniwiki
2018/8/19/ (日) 17:21時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内、検索
ファイル:999 Perspective Vector.svg
無限に 9 の続く無限小数

数学における循環十進小数 0.999⋯（省略記号（English版） の前の 9 の個数は多少増減させて 0.99999⋯ のようにも書く。あるいは他にも 0.9, 0.(9), 0.テンプレート:Overset など多様な表記がある）は、実数として数の「イチ」であると示すことができる。言葉を変えれば、記号 "0.999⋯" と "1" は同じ数を表している。これが等しいことの証明は、実数論の展開、背景にある仮定、歴史的文脈、対象となる聞き手などに合ったレベルで、各種段階の数学的厳密性（English版）が相応に考慮された、多様な定式化がある[注釈 1]。

任意の 0 でない有限小数（を末尾に無限個の 0 を付けて無限小数と見たもの）は、それと値が等しい、末尾に無限個の 9 が連なる双子の表示（例えば 8.32 と8.31999⋯）を持つ。ふつうは有限小数表示が好まれることで、それが一意的な表示であるとの誤解に繋がり易い。同じ現象は、任意の別の底に関する位取り記数法や、あるいは同様の実数の表示法でも発生する。

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

等式 0.999⋯ = 1 は数学者に長く受け入れられ、一般の数学教育の一部であったにも拘らず、これを十分直観に反する（English版）ものと見做して、疑念や拒絶反応を示す学徒もいる。このような懐疑論は、「この等式を彼らに納得させることがいかに難しいか」が数学教育の様々な研究の主題となることに正当性を与える程度に当たり前に存在している。

代数的な証明

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

分数による証明

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

[math]\begin{align} 0.333\cdots &=\frac{1}{3} \\ 0.333\cdots \times 3 &=\frac{1}{3} \times 3 \\ 0.999\cdots &=1 \end{align}[/math]

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

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

[math]\begin{align} c &=0.999\cdots \\ 10c &=9.999\cdots \\ 10c-c &=9.999\cdots -0.999\cdots \\ 9c &=9 \\ c &=1 \end{align}[/math]

この位取り記数法の性質を利用した証明は他の有限小数（0.25 と 0.24999⋯ など）にも適用できる。

無数の位ごとの操作の正当性

以上の2つの証明で用いた、無数の桁に対する位ごとの操作（つまり、掛け算や引き算）を一斉に行う（つまり⋯の部分に行う）ことは、その正当性が直ちに明らかというわけではない。有限小数に関しては、この過程は実数の計算法則にのみ依存している。この操作が無限小数にも適用できることを証明するためには、次節に述べる実解析の手法を必要とする。

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

解析的な証明

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

差に着目した証明

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

（証明）

[math]\begin{align} 0.999\cdots &=\lim_{n\to\infty} 0.\underbrace{99\cdots 9}_n \\ &=\lim_{n\to\infty} (1-0.\underbrace{00\cdots 1}_n ) \\ &=\lim_{n\to\infty} \left\{ 1-\left( \frac{1}{10} \right)^n \right\} \\ &=1 \qquad \qquad \blacksquare \end{align}[/math]

この証明では、最後に

[math]\lim_{n\to\infty} \left( \frac{1}{10} \right)^n =0[/math]

であることを証明抜きで用いている。これを証明するためには、実解析における実数の連続性（アルキメデスの性質）が必要となる。

無数の位の定義の再考

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

[math]b_0 .b_1 b_2 b_3 \cdots[/math]

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

級数の計算

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

[math]b_0 .b_1 b_2 b_3 \cdots =b_0 +b_1 \left(\frac{1}{10} \right)+b_2 \left(\frac{1}{10} \right)^2 +b_3 \left(\frac{1}{10} \right)^3 +\cdots[/math]

と表される。

ここで、0.999⋯ の小数部分の計算には等比級数の公式[1]:

テンプレート:Mabs < 1 のとき [math]a+ar+ar^2 +\cdots =\frac{a}{1-r}[/math]

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

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

[math]0.999\cdots =9\left(\frac{1}{10} \right)+9\left(\frac{1}{10} \right)^2 +9\left(\frac{1}{10} \right)^3 +\cdots =\frac{9(\tfrac{1}{10} )}{1-\tfrac{1}{10}} =1[/math]

と簡単に問題を解決することができる。この証明は早くて1770年のレオンハルト・オイラーによる Elements of Algebra[2] において（実際には 9.999⋯ = 10 の証明として）見られる。

ファイル:Base4 333.svg
極限：1 に収束する4進法の数列 {0.3, 0.33, 0.333, ⋯} を含む単位区間

等比級数の公式自体はオイラー以前の成果であるが、18世紀まではその導出がいずれも項別演算を証明なしで行われていた。1811年になってやっと、Bonnycastle の教科書 An Introduction to Algebra で等比級数に関する議論を行うことで 0.999⋯ に関する項別操作を正当化している[3]。

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

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

[math]0.999\cdots = \lim_{n\to\infty} 0.\underbrace{99\cdots 9}_n = \lim_{n\to\infty} \sum_{k=1}^n \frac{9}{10^k} =\lim_{n\to\infty} \left( 1-\frac{1}{10^n} \right) =1-\lim_{n\to\infty} \frac{1}{10^n} =1.[/math][5]

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

区間縮小法と上限

ファイル:999 Intervals C.svg
区間縮小法：1 = 1.000⋯ = 0.222⋯(3)

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

実数 x は閉区間 [0, 10]（すなわち 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 が属する区間の下限を記録する、という操作を繰り返すと b0, b1, b2, b3, ... から決まる区間の減少列が生み出される。この数列から

[math]x=b_0 .b_1 b_2 b_3 \cdots[/math]

と表現される。

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

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

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

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

実数の構成

"「実数の構成（English版）」"

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

有理数から実数への拡張は（自然数から整数や有理数への拡張と比べて）大きな飛躍である。この拡張の方法は、少なくとも2つの手法がよく知られている。ともに1872年に発表された有理数の切断によるものとコーシー列によるものである。これらの実数の構成法により 0.999⋯ = 1 を証明している実解析の教科書は見られない。現代数学では、解析学的に実数を構成し、それが数の公理を満たすかどうかに注意が払われる。公理による解析的手法により 0.999⋯ = 1 を証明することになるからである。しかしながら、実数の構成をより適切に、論理的に行うことにより、0.999⋯ = 1 の証明はもっと直接的になされる (self-contained) と主張する人もいる[注釈 3]。

デデキント切断による構成

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

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

[math]\frac{a}{b} \lt 1[/math]

(b ≥ 1) を考えると、

[math]\frac{a}{b} =1-\frac{b-a}{b} \le 1-\frac{1}{b} \lt 1-\left( \frac{1}{10} \right)^b[/math]

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

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

コーシー列による構成

"「コーシー列」および「完備距離空間」"

実数を構成するもう一つの方法は、実数の切断に比べれば間接的にではあるがやはり有理数の順序を用いるものである。まず、2つの有理数 x と y に対して、距離 d(x, y) を絶対値 テンプレート:Abs で定義する（z の絶対値 テンプレート:Abs とは z と −z の小さくない方と定義され、非負である）。そして実数全体というものを、この距離 d に関する有理数のコーシー列全体を以下で定義する同値類で割ったものとして定義するのである（実数の完備性も参照のこと）。ここで、有理数列（つまり自然数から有理数への写像）{xn} がコーシー列であるとは、

任意の正の数 ε に対して、番号 N が存在し、N より大きいすべての m, n に対して テンプレート:Abs < ε

が成り立つ（つまり、番号が十分先なら2項間の距離が限りなく小さくなる）ことと定義される[16]。

2つのコーシー列 {xn} と {yn} が同値であることを、xn − yn が 0 に収束することと定める。小数 b0.b1b2b3⋯ に対して、各位以降を順に切り捨てていくことにより得られる数列は有理数のコーシー列を定めるので、このコーシー列が、この小数展開の表している実数の真の値と定められることになる[17]。

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

[math]\{ x_n \} :=\{ 1,1,1,1,\cdots \}[/math]
[math]\{ y_n \} :=\{ 0,0.9,0.99,0.999,\cdots \}[/math]

が同値である、すなわち

[math]\lim_{n\to\infty} ( x_n -y_n )=\lim_{n\to\infty} \left( \frac{1}{10} \right)^n[/math]

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

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

コーシー列による実数の定義は、最初に（いずれも）1872年にエドゥアルト・ハイネとゲオルク・カントールにより独立に発表された[13]。0.999⋯ = 1 の証明を含む、小数展開による上記のアプローチは1970年にグリフィス (Griffiths) とヒルトン (Hilton) の書いた教科書 A comprehensive textbook of classical mathematics: A contemporary interpretation （「古典数学に関する総合教科書：現代的解釈」）に従っている。この教科書は、よく知られた概念について、現代の観点から再検討することを主眼に書かれている[19]。

他の数体系での振る舞い

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

「しかしながら、それは決して恣意的な慣習ではない。なぜなら、それを受け入れなければ、一風変わった新しい対象を発明するか、または算術のよく知られた規則のいくつかを諦めるかのどちらかが強制されるからである[20]。」

標準的な数体系である実数体に対して、通常と異なる方法で数を構成し、0.999⋯ という表記が意味を持つ、実数とは別の数体系を定義することができる。そのような数体系においては本項冒頭辺りの節で示した証明などはその体系における記述として解釈し直さなければならず、またそういった体系において（上記の証明が正しいとする根拠を失ったり、誤りであると示されたりして）0.999⋯ と 1 とが同一の対象を表すものでない可能性が見出されることもある。そうは言っても、多くの数体系は（実数の体系を代替するような独立した対象としてではなく）実数の体系の拡張となるものであって、故にそこでは 0.999⋯ = 1 も引き続き成立することとなる。しかしそういった体系においてさえも、（"0.999⋯" と表示される数が意味を持つ場合には）0.999⋯ がどのように振る舞うかということだけではなく関連する現象の振る舞いに対して考えるために、代替の数体系を考察するということは意味のあることであるといえる。つまり、ある現象が実数体系における場合とは異なる振る舞いをするのであれば、その体系に組み込まれた前提条件は、実数体系のそれの少なくとも一つを壊したものになっていなければならない（以下に挙げるような体系が、実数におけるどのような現象や条件を否定するのかという観点に立って説明することができる）。

無限小を含む体系

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

超実数

超準解析によって、無限小（およびその逆数）の完全な系列を含んだ数体系が提供される[注釈 5]。ライトストーン（English版）は区間 (0, 1)∗ に属する超実数 (hyper­real number) に対する小数展開を考えた[21]。ライトストーンは、拡張実数に超自然数（English版）で添字付けられた数字列

[math]0.d_1d_2d_3 \dots;\dots d_{\infty - 1}d_\infty d_{\infty + 1}\dots[/math]

が対応することを示した。ライトストーンは 0.999⋯ について直接扱ったわけではない、彼は移行原理（English版） の帰結として実数 1⁄3 が 0.333⋯;⋯333⋯ で表されることを示した。故に 0.999⋯;⋯999⋯ = 1 である。ここで言う意味での小数展開が必ずしも数を表すとは限らないことに注意すべきである。特に "0.333⋯;⋯000⋯" や "0.999⋯;⋯000⋯" は何の数とも対応しない。

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

[math]0.\underbrace{999\ldots}_H = 1 - \frac{1}{10^{H}}[/math][22]

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

The intelligibility of the continuum has been found—many times over—to require that the domain of real numbers be enlarged to include infinitesimals. This enlarged domain may be styled the domain of continuum numbers. It will now be evident that .9999⋯ does not equal 1 but falls infinitesimally short of it. I think that .9999⋯ should indeed be admitted as a number ⋯ though not as a real number.[24]（訳: 連続体の明確な理解には、実数の領域を無限小を含むように拡大することが必要だと（何度も繰り返し）見出されてきた。この拡大された領域は、連続体数の領域の形を取るだろう。今や 0.9999⋯ が 1 に等しくなく、それよりも無限小だけ小さいことは明らかだ。私は 0.9999⋯ は「実」数としてではないけれども「数」として実際に許されるべきと思う。）

超現実数・ゲーム

前項と特に関連して、組合せゲーム理論（English版）における同様の実数代替体系として、"無限二色ハッケンブッシュゲーム (infinite Blue-Red Hackenbush)" を考えることができる。1974年に、エルウィン・バールカンプ (Elwyn Berlekamp) はデータ圧縮のアイディアに刺激されてハッケンブッシュ文字列と実数の2進展開の関係について述べた。例えば、"ハッケンブッシュ文字列 (Hackenbush string)" LRRLRLRL⋯ の値は 0.010101⋯ = 1/3 である。しかしながら、文字列 LRLLL⋯（0.111⋯ に対応する）の値は 1 に比べてごくわずかだけ小さい。 これらの2数（LRLLL⋯ と 1）の差は超現実数（English版） (surreal number) 1/ω（ω は最小の超限順序数（English版））である。これに関連するゲームは LRRRR⋯ すなわち 0.000⋯ である[注釈 6]。

減法の再考

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

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

乗法を定義する際、リッチマンはまた、"cut D" と呼ばれる別の構造を定義する。これは小数の切断の集合である。通常この定義は実数を導くが、彼は小数 d に対して、切断 (−∞, d) と "principal cut" (−∞, d] の両方を許す。その結果、実数たちは小数と「不安定な状態で共存する (living uneasily together with)」ことになる。したがって、再び 0.999⋯ < 1 を得る。"cut D" には正の無限小は存在しないが、"一種の負の無限小" 0− が存在する。0− には小数展開は存在しない。彼は 0.999⋯ = 1 + 0− であると結論したが、一方、方程式 "0.999⋯ + x = 1" は解をもたない[注釈 7]。

p-進数

1 − 0.999⋯ は何になるかと尋ねると、しばしば "0.000⋯1" が発明される。これに意味を持せることができるか否かは別として、0.999⋯ の "最後の 9" に 1 を足すことで次々に繰り上がり、すべての 9 が 0 に変わって、一の位に 1 が残るという意図は直観的には明白である。この考えは、（他にも理由はあるが）0.999⋯ には "最後の 9" がないので失当である[26]が、『最後の9』を持つ無限文字列を持つ体系というのは存在する。

ファイル:4adic 333.svg
4-進整数（黒点）は−1 に収束する数列 {3, 33, 333, ...} を含む。その十進の対応物が ⋯999 = −1 である。

p-進数は整数論が研究対象とする数体系である。実数と全く同様に、p-進数はコーシー列を経由して有理数の完備化として作ることができる。ただしこの構成には、0 は 1 よりも p に近く、pn にはもっと近いという、（実数の構成のときとは）異なる距離を用いる。p-進数は p が素数のとき体をなし、p が素数でないとき（10 はこの場合である）でも環をなす。したがって、p-進数に足し算や掛け算のような計算を実行することができ、無限小は存在しない。

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

[math]\cdots 999=9+9\cdot 10+9\cdot 10^2 +9\cdot 10^3 +\dotsb =\frac{9}{1-10} =-1[/math][28]

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

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

一般化

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

次に、0.999⋯ = 1 に相当する結果を他の基数にも適用することができる。例えば 2 を基数とする（二進法）と 0.111⋯ = 1 であり、3 を基数とする（三進法）と 0.222⋯ = 1 である。実解析の教科書は 0.999⋯ = 1 の例を飛ばして、これらの一般化のうちの一つか両方を最初から紹介する傾向がある[32]。

1 の別表現は、非整数を基数としても現れる。例えば、黄金比を基数とすると、2つの標準的表示は 1.000⋯ と 0.101010⋯ であるが、他にも 0.11, 0.1011, 0.101011 のように隣接する "1" を含む無数の表現がある。一般的に、1 と 2 の間のほとんどすべての q に対し、"非可算無限" の 『1 の q-進表現』が存在する。他方で、（1 より大きい自然数を含めた）なお"非可算無限"の q が 1 の q-進表現を（自明な 1.000⋯ を除いて）ただ一つしかもたない。この結果は1990年ごろに ポール・エルデシュ (Paul Erdős)、ミクローシュ・ホルヴァート (Miklos Horváth)、イストヴァン・ヨー (István Joó) によって最初に述べられた。1998年に Vilmos Komornik とパオラ・ロレティ (Paola Loreti) はこのような最小の基数として q = 1.787231650⋯ を決定した。この基数においては、1 = 0.11010011001011010010110011010011⋯ であり、この数はトゥエ・モース列 (Thue–Morse sequence) を与える。これは循環しない[33]。

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

  • 平衡三進法 (balanced ternary system) においては、1/2 = 0.111⋯ = 1.111⋯
  • 階乗進法 (factoradic system) においては、1 = 1.000⋯ = 0.1234⋯

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

応用例

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

  • 1/7 = 0.142857142857⋯, 142 + 857 = 999
  • 1/73 = 0.0136986301369863⋯, 0136 + 9863 = 9999

と書かれている。

ミディ (E. Midy) は1836年にこのような分数に関する一般的な結果を証明して、現在はミディの定理と呼ばれている。その論文は曖昧であり、彼の証明が直接 0.999⋯ を含むかどうか定かではない。しかし、レーヴィット (W. G. Leavitt) による少なくとも一つの現代的な証明ではそれが含まれている。もし、0.b1b2b3⋯ という形の小数が正の整数であることを証明できれば、それは 0.999⋯ に他ならず、それがこの定理において 9 たちが出現する原因となる[36]。この方向への研究は 最大公約数、剰余計算、フェルマー素数、群の元の位数、平方剰余の相互法則などの概念に動機付けを与える[37]。

ファイル:Cantor base 3.svg
カントール集合での 1/4, 2/3, 1 の位置

実解析では、3進法での類似表現 0.222⋯ = 1 は最も単純なフラクタルの一つ、カントール三進集合 (the middle-thirds Cantor set) の特徴づけに重要な役割を果たしている。

  • 単位区間 [0, 1] の点は、3進法で 0 と 2 のみを用いて表現される場合に限りカントール集合に属するという。

小数第 n 位の数字は、この構成における第 n 段階の点の位置に反映する。例えば、点 2/3 は通常の 0.2 または 0.2000⋯ として表現される。なぜなら、それは最初の欠損部分の右側に位置し、それ以後のすべての欠損部分の左に位置するからである。また、点 1/3 は 0.1 ではなく 0.0222⋯ として表現される。なぜなら、それは最初の欠損部分の左側に位置し、それ以後のすべての欠損部分の右側に位置するからである[38]。

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

典型的な誤解とその原因

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

  • 生徒は「一つの数はただ一通りの小数で表すことができるはずだ」と思い込んでいる場合が多い。表示が異なる2つの小数が等しいことが分かると、それが逆説であるように見える。見かけ上よく知られた数 1 の登場でその感がさらに強くなる[40]。
  • "0.999⋯"（または同様の表現）を、多いけれども有限の個数の "9" の列（おそらく可変であり特定できない長さ）として解釈する生徒もいる。たとえ生徒が "9" の無限個の列であることを受け入れたとしても、まだ最後の "9" が「無限の彼方に」あると期待しているのかもしれない[41]。
  • 直観やあいまいな教え方により、生徒は数列の極限を、一つの決まった値ではなくある種の無限操作と考えるようになる。それは数列の各項はその極限に達する必要はないからである。生徒が数列とその極限の違いを受け入れても、彼らは "0.999⋯" を極限ではなく数列を意味するものと読む可能性がある[42]。

これらの考えは、通常の実数を扱う文脈においては誤っている。しかしながら、通常と異なる場面で適用するために発明された、もしくは、0.999⋯ を理解するのに有益な反例としての、より精巧な数の体系構造においては、それらの考えの多くが部分的に正しいことが示される。

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

「生徒は 0.999⋯ を、決まった値ではなく 1 に限りなく近づく数列として理解し続けようとする。その原因は『先生は小数点以下の桁数がいくつあるかをはっきりと教えていなかった』という指導法の欠陥、または『0.999⋯ は 1 より小さい数の中で、存在しうる、1 に最も近い小数である』という認識である。」

初等的な証明の中で 0.333⋯ = 1/3 の両辺を3倍する方法は、0.999⋯ = 1 であることを受け入れない生徒に受け入れさせるための、最も有効な手段であるかのように見える。しかしながら、第1の等式を信じることと、第2の等式を信じないことの矛盾に直面すると、今度は第1の等式を疑い始める者も現れるし（後述も参照）、または単に不満を抱くだけの生徒もいる[44]。これより簡潔で有効な説明方法もなかなかない。厳密な定義を十分適用する能力のある生徒が、0.999⋯ を含めてさらに進んだ数学の結果に驚いたとしても、なお直観的な想像に頼ってしまうことがある。例えば、ある解析学を学ぶ生徒は 0.333⋯ = 1/3 であることを上限の定義を用いて証明することができるが、その後もなお、昔の筆算の理解に基づいて 0.999⋯ < 1 であると主張した[45]。別の生徒は、1/3 = 0.333⋯ であることを証明することができるが、分数による証明に直面して「論理」が数学の計算を征服していると主張する。

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

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

メディアでの議論

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

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

「我々の中の類人猿的要素が、『0.999⋯ は実際に数 を表しているのではなく、過程 を表している。一つの数を見つけるために我々はその過程を途中で断ち切らなければならない。その時点において 0.999⋯ = 1 という概念は崩壊する。』と言って依然として抵抗している。
ナンセンスだ！[49]」

The Straight Dope は「他の掲示板…ほとんどがビデオゲーム」から独立した専用の掲示板で議論を載せている。同様の調子で、0.999⋯ の問題は、アメリカのゲーム開発会社ブリザード・エンターテイメントの Battle.net フォーラムで最初の7年間にとても一般的な話題であることが分かったため、社長の Mike Morhaime は2004年4月1日の記者会見で 0.999⋯ = 1 であると発表した。

「我々はこの問題に対しきっぱりと決着をつけることに大変興奮しています。我々は 0.999⋯ が 1 に等しいのか等しくないのかについての、心痛や心配に立ち会ってきました。ここに次の証明を提示し、我々の顧客に対して、最終的に断固としてこの問題に対処できることを嬉しく思います[50]。」

続くプレスリリースで、極限に基づくものと 10 を掛けるものの2つの証明を提供している。

関連する問題

  • ゼノンのパラドックス、とりわけアキレウスと亀のパラドックスは、見かけ上のパラドックス 0.999⋯ = 1 を連想させる。アキレウスのパラドックスは数学的にモデル化され、0.999⋯ と同じように等比数列を用いて解決される。しかしながら、この数学的な取り扱いがゼノンが探求していた潜在的な形而上の問題に対処しているかどうかは明らかでない[51]。ただし、無限和の値（ここでは有限小数の無限和としての無限小数）は、部分和の極限（限りなく近づいていくが、決して到達しない点）によって定義されているので、この方法では、パラドックスを解決したことにはならない、という論議がある（総和、循環小数、循環論法を参照）。この点に留意すれば、0.999⋯ = 1 であると言う帰結は、極限によって無限小数の値を定義した結果であり、必ずしも自明なことではない（その意味では前述の「第1の等式を信じることと、第2の等式を信じないことの矛盾に直面すると、今度は第1の等式を疑い始める[52]」という態度は、一定の数学的なセンスのある姿勢だと見ることもできる）。そもそも無限に存在する値を全て足し合わせることができるのか、と言う問いは、未だに未解決であり（現代数学では定義として処理されている。公理的集合論を参照）、0.999⋯ = 1 やゼノンのパラドックスと言った話題がそのことを想起させてくれる恰好の題材であることは確かであろう。
  • 0 による除算は 0.999⋯ のいくつかの一般的な議論に見られるが、それもまた論争を引き起こす。多くの著者が 0.999⋯ を定義することを選択する一方で、実数の現代的な取り扱いでは 0 による除算は定義されない。というのは、それが通常の実数の範囲では意味を与えられないからである。しかしながら、0 による除算は複素解析など他の体系では定義されている。複素解析では、拡張された複素平面（リーマン球面）は無限遠点をもつ。ここで、1/0 を無限大であると定義することには意味がある[53]。また、実際その結果は奥深く、工学や物理学にも応用できる。何人かの著名な数学者は、どの数体系も発達するずっと前からそのような定義を論じていた[54]。
  • 冗長な数表記の類例として負の 0 が挙げられる 。実数などの数体系においては、"0" は加法に関する単位元を意味し、正の数でも負の数でもない。通常 "−0" は加法に関する 0 の逆元を表すと解釈されるため、−0 = 0 でなければならない[55]。それにもかかわらず、いくつかの科学的な応用では、正と負の 0 を分けて用いる[56]。これはいくつかのコンピュータの数体系（例えば符号付数値表現、1 の補数表現、IEEE 754 で定義されたような浮動小数点表示）でもそうである[57]。IEEE の浮動小数点数の場合は、負の 0 は、与えられた正確な数値を表すには（絶対値が）小さすぎるが、それでもなお負の数である値を表している。したがって、IEEE 浮動点数表示における「負の 0」は本来の意味で"負の 0" ではない。
参照: 2進法#機器での負の数の扱い

関連項目

脚注

注釈

  1. ↑ 例えば、最初の節に挙げる「代数的証明」は「ただしい」証明だが、その証明の正当性は後の節に記す解析学的手法である極限の概念によって保証される。同様にそれら解析学的証明を「ただしい」証明たらしめているのは実数の特質に他ならない。しかし普通は、実数の公理にまでいちいち遡らずにいくつかの性質を「認めて」、そこで切り上げるのである。もちろん実数の代替となる体系において、実数と異なる性質に基づけば、それら「証明」はそのどこかが崩され、「まちがった」証明となり得る。
  2. ↑ 2.0 2.1 cf. 同様な議論の二進法版も以下にある。Silvanus P. Thompson, Calculus made easy, St. Martin's Press, New York, 1998. ISBN 0-312-18548-0.
  3. ↑ 統合の歴史的な過程は以下を参照：Griffiths and Hilton (p. xiv) in 1970。また、再び Pugh (p. 10) in 2001。両方とも実際には公理的解析論よりもデデキント切断を好んでいる。切断の方法の教科書については以下を参照：Pugh p. 17 or Rudin p. 17. 論理的視点については Pugh p. 10, Rudin p. ix, or Munkres p. 30
  4. ↑ Enderton (p. 113) は以下の記述を与えている。『デデキント切断の背景にあるアイディアは、有理数、つまり x より小さいすべての有理数の無限集合を与えられることによって実数 x が名づけられるということである。循環論法を避けるため、この方法で得られる有理数の集合が特徴づけられなければならない。』
  5. ↑ 超準的な数の完全な取扱いはロビンソンの Non-standard Analysis を参照。
  6. ↑ Berlekamp, Conway, and Guy (pp. 79–80, 307–311) は 1 と 1/3 について議論しており、さらに 1/ω について触れている。0.111⋯ のゲームはバールカンプのルールに直接に従っており、それは以下に述べられている。A. N. Walker (1999年). “Hackenstrings and the 0.999⋯ =1 FAQ”. 2006年6月16日時点のオリジナルよりアーカイブ。. 2006年6月29日閲覧.
  7. ↑ Richman pp. 398–400. Rudin (p. 23) は第1章の最後の練習問題として、この代替構造（ただし実数上）を選んでいる。
  8. ↑ Maor (p. 60) および Mankiewicz (p. 151) は前者の方法を振り返る。Mankiewicz はそれがカントールの仕事だとしているが、最初の出所は定かではない。Munkres (p. 50) は後者の方法に言及している。

出典

  1. ↑ Rudin p. 61, Theorem 3.26; J. Stewart p. 706
  2. ↑ Euler p. 170
  3. ↑ Grattan–Guinness p. 69; Bonnycastle p. 177
  4. ↑ 例えば、J. Stewart p. 706, Rudin p. 61, Protter and Morrey p. 213, Pugh p. 180, J.B. Conway p. 31
  5. ↑ この極限については例えば以下に従う： Rudin p. 57, Theorem 3.20e。より直接的なアプローチについては、以下も参照：Finney, Weir, Giordano (2001) Thomas' Calculus: Early Transcendentals 10ed, Addison-Wesley, New York. Section 8.1, example 2(a), example 6(b).
  6. ↑ Davies p. 175; Smith and Harrington p. 115
  7. ↑ Beals p. 22; I. Stewart p. 34
  8. ↑ Bartle and Sherbert pp. 60–62; Pedrick p. 29; Sohrab p. 46
  9. ↑ Apostol pp. 9, 11–12; Beals p. 22; Rosenlicht p. 27
  10. ↑ Apostol p. 12
  11. ↑ Rudin pp. 17–20, Richman p. 399, or Enderton p. 119。正確には、この3人はこの切断をそれぞれ 1*, 1−, 1R と呼んでいる。3人ともそれを伝統的な 1 の定義と同一視している。Rudin と Enderton が『デデキント切断』と呼ぶものを Richman は『nonprincipal なデデキント切断』と呼ぶことに注意。
  12. ↑ Richman p. 399
  13. ↑ 13.0 13.1 J J O'Connor and E F Robertson (2005年10月). “History topic: The real numbers: Stevin to Hilbert”. MacTutor History of Mathematics. . 2006年8月30日閲覧.
  14. ↑ “Mathematics Magazine:Guidelines for Authors”. The Mathematical Association of America. . 2006年8月23日閲覧.
  15. ↑ Richman pp. 398–399
  16. ↑ Griffiths & Hilton §24.2 "Sequences" p. 386
  17. ↑ Griffiths & Hilton pp. 388, 393
  18. ↑ Griffiths & Hilton p. 395
  19. ↑ Griffiths & Hilton pp. viii, 395
  20. ↑ Gowers p. 60
  21. ↑ Lightstone pp. 245–247
  22. ↑ Katz & Katz 2010
  23. ↑ Stewart 2009, p. 175; the full discussion of 0.999… is spread through pp. 172–175.
  24. ↑ Benardete, José Amado (1964). Infinity: An essay in metaphysics. Clarendon Press. Retrieved on 27 November 2011. 
  25. ↑ Richman pp. 397–399
  26. ↑ Gardiner p. 98; Gowers p. 60
  27. ↑ 27.0 27.1 Fjelstad p. 11
  28. ↑ Fjelstad pp. 14–15
  29. ↑ DeSua p. 901
  30. ↑ DeSua pp. 902–903
  31. ↑ Petkovšek p. 408
  32. ↑ Protter and Morrey p. 503; Bartle and Sherbert p. 61
  33. ↑ Komornik and Loreti p. 636
  34. ↑ Kempner p. 611; Petkovšek p. 409
  35. ↑ Petkovšek pp. 410–411
  36. ↑ Leavitt 1984 p. 301
  37. ↑ Lewittes pp. 1–3; Leavitt 1967 pp. 669, 673; Shrader-Frechette pp. 96–98
  38. ↑ Pugh p. 97; Alligood, Sauer, and Yorke pp. 150–152。Protter と Morrey (p. 507) および Pedrick (p. 29) はこの記述を練習問題として位置づけている。
  39. ↑ Rudin p. 50, Pugh p. 98
  40. ↑ Bunch, p. 119; Tall and Schwarzenberger, p. 6. 最後の提案は Burrell (p. 28) による。すなわち、「おそらくすべての数の中で最も安心する数は 1 であろう。したがって、0.999⋯ を 1 として扱うときにとりわけ不安を覚える。」
  41. ↑ Tall and Schwarzenberger pp. 6–7; Tall 2000 p. 221
  42. ↑ Tall and Schwarzenberger p. 6; Tall 2000 p. 221
  43. ↑ Tall 2000 p. 221
  44. ↑ Tall 1976 pp. 10–14
  45. ↑ Pinto and Tall p. 5, Edwards and Ward pp. 416–417
  46. ↑ Mazur pp. 137–141
  47. ↑ Dubinsky 他 261-262
  48. ↑ Richman (p. 396) が述べている。Hans de Vreught (1994年). “sci.math FAQ: Why is 0.9999... = 1?”. . 2006年6月29日閲覧.
  49. ↑ Cecil Adams (2003年7月11日). “An infinite question: Why doesn't .999~ = 1?”. The Straight Dope. The Chicago Reader. . 2006年9月6日閲覧.
  50. ↑ “Blizzard Entertainment® Announces .999~ (Repeating) = 1”. Press Release. Blizzard Entertainment (2004年4月1日). . 2006年9月3日閲覧.
  51. ↑ Wallace p. 51, Maor p. 17
  52. ↑ Tall 1976 pp. 10–14
  53. ↑ 例えば以下を参照。 J.B. Conway's treatment of Möbius transformations, pp. 47-57
  54. ↑ Maor p. 54
  55. ↑ Munkres p. 34, Exercise 1(c)
  56. ↑ Kroemer, Herbert; Kittel, Charles (1980). Thermal Physics, 2e, W. H. Freeman, 462. ISBN 0-7167-1088-9. 
  57. ↑ “[http ://msdn.microsoft.com/library/en-us/csspec/html/vclrfcsharpspec_4_1_6.asp Floating point types]”. MSDN C# Language Specification. . 2006年8月29日閲覧.

参考文献

  • Alligood, Sauer, and Yorke (1996). “4.1 Cantor Sets”, Chaos: An introduction to dynamical systems. Springer. ISBN 0-387-94677-2. 
    力学系に関するこの入門的な教科書は、学部生または初級の大学院生向けである (p. ix)。
  • Apostol, Tom M. (1974). Mathematical analysis, 2e, Addison-Wesley. ISBN 0-201-00288-4. 
    微積分学からより進んだ解析学 Mathematical analysis への変遷が「ごまかさないで、厳密で、最新であると同時に学者ぶることのないように」意図されている。（序文）Apostol は実数の構成に上限の存在公理を用いており、無限小数が2ページ後で紹介されている (pp. 9-11)。
  • Bartle, R.G. and D.R. Sherbert (1982). Introduction to real analysis. Wiley. ISBN 0-471-05944-7. 
    このテキストは「実解析の基本的性質と技巧を扱う、理解しやすくてほどよい進度の教科書」を目指している。実数の構成には上限の存在公理を用いている。(pp. vii–viii)
  • Beals, Richard (2004). Analysis. Cambridge UP. ISBN 0-521-60047-2. 
  • Berlekamp, E.R.; J.H. Conway; and R.K. Guy (1982). Winning Ways for your Mathematical Plays. Academic Press. ISBN 0-12-091101-9. 
  • Berz, Martin (1992). “Automatic differentiation as nonarchimedean analysis”. Computer Arithmetic and Enclosure Methods (Elsevier): 439-450. http://citeseer.ist.psu.edu/berz92automatic.html. 
  • Bunch, Bryan H. (1982). Mathematical fallacies and paradoxes. Van Nostrand Reinhold. ISBN 0-442-24905-5. 
    この本は、その中心的な話題「数学的な現実性と物理的な現実性のやや希薄な関係」を調べる道具として、パラドックスと誤った推論による解析を紹介している。高校1年生程度の代数を仮定しており、（第2章の等比数列を含めて）さらに進んだ数学はこの本の中で発展していく。0.999⋯ は完全に扱われているものの一つではないが、カントールの対角線論法を扱うなかで簡潔に述べられている (pp. ix–xi, 119)。
  • Burrell, Brian (1998). Merriam-Webster's Guide to Everyday Math: A Home and Business Reference. Merriam-Webster. ISBN 0-87779-621-1. 
  • Conway, John B. [1973] (1978). Functions of one complex variable I, 2e, Springer-Verlag. ISBN 0-387-90328-3. 
    このテキストは必修科目としての「基本的な微積分の厳密な課程」の役割を担っており、述べられているその原則は "An Introduction to Mathematics" として複素解析を紹介し、対象を明確に正確に述べることである (p. vii)。
  • Davies, Charles (1846). The University Arithmetic: Embracing the Science of Numbers, and Their Numerous Applications. A.S. Barnes. 
  • DeSua, Frank C. (November 1960). “A system isomorphic to the reals” (restricted access). The American Mathematical Monthly 67 (9): 900-903. http://links.jstor.org/sici?sici=0002-9890%28196011%2967%3A9%3C900%3AASITTR%3E2.0.CO%3B2-F. 
  • Dubinsky, Ed, Kirk Weller, Michael McDonald, and Anne Brown (2005). “Some historical issues and paradoxes regarding the concept of infinity: an APOS analysis: part 2”. Educational Studies in Mathematics 60: 253-266. doi:10.1007/s10649-005-0473-0. 
  • Edwards, Barbara and Michael Ward (May 2004). “Surprises from mathematics education research: Student (mis)use of mathematical definitions”. The American Mathematical Monthly 111 (5): 411-425. 
  • Enderton, Herbert B. (1977). Elements of set theory. Elsevier. ISBN 0-12-238440-7. 
    集合論の入門的な学部生用の教科書であり、「特別な予備知識を前提としない」。公理的集合論または数体系の構成に焦点をおいた学習課程を提供するために書かれているが、公理という題材は、あまり重要視されないような方法で扱われている (pp. xi–xii)。
  • Euler, Leonhard [1770] (1822). in John Hewlett and Francis Horner, English translators.: Elements of Algebra, 3rd English edition, Orme Longman. 
  • Fjelstad, Paul (January 1995). “The repeating integer paradox” (restricted access). The College Mathematics Journal 26 (1): 11-15. doi:10.2307/2687285. http://links.jstor.org/sici?sici=0746-8342%28199501%2926%3A1%3C11%3ATRIP%3E2.0.CO%3B2-X. 
  • Gardiner, Anthony [1982] (2003). Understanding Infinity: The Mathematics of Infinite Processes. Dover. ISBN 0-486-42538-X. 
  • Gowers, Timothy (2002). Mathematics: A Very Short Introduction. Oxford UP. ISBN 0-19-285361-9. 
  • Grattan-Guinness, Ivor (1970). The development of the foundations of mathematical analysis from Euler to Riemann. MIT Press. ISBN 0-262-07034-0. 
  • Griffiths, H.B.; P.J. Hilton (1970). A Comprehensive Textbook of Classical Mathematics: A Contemporary Interpretation. London: Van Nostrand Reinhold. ISBN 0-442-02863-6..  (LCC QA37.2 G75)
    この本は、バーミンガム地方のグラマースクールの数学教師の課程から生まれたものである。この課程は、学校で教えられる数学を基にして大学レベルの数学への展望を伝えるのが目的であり、「大学で数学の専門課程を1年間学んだ程度のレベル」の生徒向けである。実数の構成は第24章で述べられているが、「おそらくこの本全体の中で最も難しい章」である。しかしながら著者たちはこの難しさをイデアル論を用いているためとしている。イデアル論はここでは扱われていない (pp. vii, xiv)。
  • Kempner, A.J. (December 1936). “Anormal Systems of Numeration” (restricted access). The American Mathematical Monthly 43 (10): 610-617. http://links.jstor.org/sici?sici=0002-9890%28193612%2943%3A10%3C610%3AASON%3E2.0.CO%3B2-0. 
  • Komornik, Vilmos; and Paola Loreti (1998). “Unique Developments in Non-Integer Bases” (restricted access). The American Mathematical Monthly 105 (7): 636-639. http://links.jstor.org/sici?sici=0002-9890%28199808%2F09%29105%3A7%3C636%3AUDINB%3E2.0.CO%3B2-G. 
  • Leavitt, W.G. (1967). “A Theorem on Repeating Decimals” (restricted access). The American Mathematical Monthly 74 (6): 669-673. http://links.jstor.org/sici?sici=0002-9890%28196706%2F07%2974%3A6%3C669%3AATORD%3E2.0.CO%3B2-0. 
  • Leavitt, W.G. (September 1984). “Repeating Decimals” (restricted access). The College Mathematics Journal 15 (4): 299-308. http://links.jstor.org/sici?sici=0746-8342%28198409%2915%3A4%3C299%3ARD%3E2.0.CO%3B2-D. 
  • Lewittes, Joseph (2006年). “Midy's Theorem for Periodic Decimals”. New York Number Theory Workshop on Combinatorial and Additive Number Theory. arXiv. . 2008閲覧.
  • Lightstone, A.H. (March 1972). “Infinitesimals” (restricted access). The American Mathematical Monthly 79 (3): 242-251. http://links.jstor.org/sici?sici=0002-9890%28197203%2979%3A3%3C242%3AI%3E2.0.CO%3B2-F. 
  • Mankiewicz, Richard (2000). The story of mathematics. Cassell. ISBN 0-304-35473-2. 
    Mankiewicz は、数学、数学者の著作、歴史的概略の視覚的な側面と質的な側面を組み合わせることによって「理解しやすい形式で数学の歴史」を述べようとしている (p.8)。
  • Maor, Eli (1987). To infinity and beyond: a cultural history of the infinite. Birkhäuser. ISBN 3-7643-3325-1. 
    年代順というより話題別の無限に関する回顧。この本は「一般的な読者を意図している」が「数学者の視点から語っている」。数学的な厳密性と読みやすい言葉遣いの板ばさみで、Maor は「この問題を正しく取り扱うことに成功したことを願っている」と述べている。(pp. x–xiii)
  • Mazur, Joseph (2005). Euclid in the Rainforest: Discovering Universal Truths in Logic and Math. Pearson: Pi Press. ISBN 0-13-147994-6. 
  • Munkres, James R. [1975] (2000). Topology, 2e, Prentice-Hall. ISBN 0-13-181629-2. 
    形式的な予備知識を必要としないで「大学3-4年生または大学院の1年生レベル」における入門書を意図している。「読者が集合論についてよく知っていることを仮定すらしない。」(p.xi) Munkres の実数の扱いは公理的であり、この道具を持たない構成方法について彼は「このアプローチの方法は多くの時間と努力を必要とし、数学的な興味として扱うよりもはるかに論理的である。」と述べている。(p.30)
  • Pedrick, George (1994). A First Course in Analysis. Springer. ISBN 0-387-94108-8. 
  • Petkovšek, Marko (May 1990). “Ambiguous Numbers are Dense” (restricted access). American Mathematical Monthly 97 (5): 408-411. http://links.jstor.org/sici?sici=0002-9890%28199005%2997%3A5%3C408%3AANAD%3E2.0.CO%3B2-Q. 
  • Pinto, Márcia and David Tall (2001). “Following students' development in a traditional university analysis course”. PME25: v4: 57-64. http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot2001j-pme25-pinto-tall.pdf. 
  • Protter, M.H. and C.B. Morrey (1991). A first course in real analysis, 2e, Springer. ISBN 0-387-97437-7. 
    この本は「微積分学の標準的な仮定を終えた生徒に適切な、解析学の理論的構成を紹介する」ことを目標とする (p. vii)。第2章の終わりで著者は、実数において有界単調列が収束するということを公理として仮定しているが、その後で区間縮小法と上限の存在を証明している (pp. 56–64)。小数展開は Appendix 3 "Expansions of real numbers in any base" に見られる (pp. 503–507)。
  • Pugh, Charles Chapman (2001). Real mathematical analysis. Springer-Verlag. ISBN 0-387-95297-7. 
    実数のよく知られた性質を仮定する一方で、Pugh はできるだけ早い段階で実数の切断を紹介する。公理的な取り扱いについて「実数の体系に基づいて実数が構成されていることを考えると、これは一つの詐欺である。」と述べている (p. 10)。上限の存在の性質とそれに関係するいくつかの事実を証明した後は、その他の場面で切断は用いられていない。
  • Richman, Fred (December 1999). “Is 0.999... = 1?” (restricted access). Mathematics Magazine 72 (5): 396-400. http://links.jstor.org/sici?sici=0025-570X%28199912%2972%3A5%3C396%3AI0.%3D1%3E2.0.CO%3B2-F.  Free HTML preprint: Richman, Fred (1999年6月8日). “Is 0.999... = 1?”. 2006年2月3日時点のオリジナルよりアーカイブ。. 2006年8月23日閲覧. 注：雑誌の論文にはプレプリントには見られない記述が含まれている。
  • Robinson, Abraham (1996). Non-standard analysis, Revised edition, Princeton University Press. ISBN 0-691-04490-2. 
  • Rosenlicht, Maxwell (1985). Introduction to Analysis. Dover. ISBN 0-486-65038-3. 
  • Rudin, Walter [1953] (1976). Principles of mathematical analysis, 3e, McGraw-Hill. ISBN 0-07-054235-X. 
    より進んだ学部生の課程のための教科書。「有理数から実数を構成する方法から始めるのは（論理的には正しいけれども）教育上好ましくないことを経験上確信している。初期の段階では、多くの生徒は、このことの必要性についてその価値を認めることができない。それゆえ、実数の体系は、上限が存在する実数体として紹介され、この性質の興味深いいくつかの応用例がすぐになされる。デデキントの構成は無視されている。現在はこれは第1章の Appendix にあり、機が熟したときにいつでも勉強して楽しむことができる。」(p. ix)
  • Shrader-Frechette, Maurice (March 1978). “Complementary Rational Numbers” (restricted access). Mathematics Magazine 51 (2): 90-98. http://links.jstor.org/sici?sici=0025-570X%28197803%2951%3A2%3C90%3ACRN%3E2.0.CO%3B2-O. 
  • Smith, Charles and Charles Harrington (1895). Arithmetic for Schools. Macmillan. 
  • Sohrab, Houshang (2003). Basic Real Analysis. Birkhäuser. ISBN 0-8176-4211-0. 
  • Stewart, Ian (1977). The Foundations of Mathematics. Oxford UP. ISBN 0-19-853165-6. 
  • Stewart, James (1999). Calculus: Early transcendentals, 4e, Brooks/Cole. ISBN 0-534-36298-2. 
    この本は「生徒たちが微積分を理解するのを援助」し、「観念に対する理解を育成する」ことを目的としている (p. v)。微積分の基本性質の証明は省略されている。
  • D.O. Tall and R.L.E. Schwarzenberger (1978). “Conflicts in the Learning of Real Numbers and Limits”. Mathematics Teaching 82: 44-49. http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot1978c-with-rolph.pdf. 
  • Tall, David (1976/7). “Conflicts and Catastrophes in the Learning of Mathematics”. Mathematical Education for Teaching 2 (4): 2-18. http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot1976a-confl-catastrophy.pdf. 
  • Tall, David (2000). “Cognitive Development In Advanced Mathematics Using Technology”. Mathematics Education Research Journal 12 (3): 210-230. http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot2001b-merj-amt.pdf. 
  • von Mangoldt, Dr. Hans (1911). “Reihenzahlen”, Einführung in die höhere Mathematik, 1st (German), Leipzig: Verlag von S. Hirzel. 
  • Wallace, David Foster (2003). Everything and more: a compact history of infinity. Norton. ISBN 0-393-00338-8. 

外部リンク

de:Eins#Periodischer Dezimalbruch nl:Repeterende breuk#Repeterende negens



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=0.999...&oldid=110939」から取得