0.999...のソースを表示

[[画像:999 Perspective.svg|class=skin-invert-image|500px|thumb|無限に"{{math|9}}"の続く無限小数]]
[[数学]]において"'''{{math|0.999…}}'''"は、[[小数点]]の後に無限に"{{math|9}}"が続く[[循環小数|循環十進小数]]である。

== 概要 ==
[[実数]]として "{{math|0.999…}}" と"[[1]]"は等しくなることを示すことができる（ただし、{{math|0.9999}}など途中で終了する小数は{{math|1}}と等しいと言えない）。この[[証明 (数学)|証明]]は、実数論の展開・背景にある仮定・歴史的文脈・対象となる聞き手などに応じて、多様な[[数学的厳密性]]に基づいた定式化がある<ref group="注釈">例えば、最初の節 [[#代数的な証明]] に挙げる「代数的証明」は「正しい」証明だが、その証明の正当性は後の節 [[#解析的な証明]] に記す解析学的手法である極限の概念によって保証される。同様にそれら解析学的証明を「正しい」証明たらしめているのは実数の特質に他ならない。しかし普通は、実数の公理にまでいちいち遡らずにいくつかの性質を「認めて」、そこで切り上げるのである。もちろん実数の代替となる体系において、実数と異なる性質に基づけば、それら「証明」はそのどこかが崩され、「間違った」証明となり得る。</ref>。

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

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

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

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

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

=== 分数による証明 ===
{{math|{{Sfrac|1|3}}}} を小数表示すると、小数点以下の位は全て {{math|3}} であることを利用する。{{math|{{Sfrac|1|3}}}} は {{math2|1 ÷ 3}} の商であり、割り算の[[筆算]]により、循環小数 {{math|0.333…}} となる。ここで {{math|3}} は無限に続く。この小数点以下の各位は {{math|3}} 倍するといずれも {{math|9}} となることから、有限小数のときと同様に各位への一斉な掛け算が可能とみなせば、無限小数 {{math|0.333…}} を {{math|3}} 倍すると{{math|0.999…}} に等しい。一方、{{math2|1={{Sfrac|1|3}} × 3 = 1}} である。従って {{math2|1=0.999… = 1}} である<ref group="注釈" name="CME">cf. 同様な議論の[[二進法]]版も以下にある。Silvanus P. Thompson, ''Calculus made easy'', St. Martin's Press, New York, 1998. ISBN 0-312-18548-0.</ref>。同様な別証明として、{{math2|1={{Sfrac|1|9}} = 0.111…}} の両辺に {{math|9}} を掛けることでもできる。
:<math>\begin{align}
0.333\dots &= \frac{1}{3} \\
3 \times 0.333\dots &= 3 \times \frac{1}{3} \\
\therefore 0.999\dots &= 1
\end{align}</math><ref>{{Cite journal|和書|author=佐藤得志|date=2019-01-31|title=実数のN 進小数展開の具体的表示について|url=http://id.nii.ac.jp/1138/00000768/|journal=宮城教育大学紀要|volume=53|pages=149-158}} p.150 より</ref>

=== 位取り記数法の性質を利用した証明 ===
[[十進法]]表示の有限小数に {{math|10}} を掛けると、数字は変化することなく、小数点が1つ右に移動する。このことが無限小数に対しても成り立つと見なせば、{{math2|1=0.999… × 10 = 9.999…}} であり、これはもとの数に比べて {{math|9}} 大きい。引き算が位ごとに扱えることが無限小数に対しても成り立つと見なせば、{{math2|1=9.999… &minus; 0.999… = 9.000…}} である。ところが、小数点以下に無数に続く {{math|0}} は数を変化させないので、この差はまさしく {{math|9}} に等しい。問題の小数 {{math|0.999…}} を {{mvar|c}} と置くと、{{math2|1=10''c'' &minus; ''c'' = 9}} であり、この[[方程式]]を解くと、{{math2|1=''c'' = 1}} が得られ、証明が完了する<ref group="注釈" name="CME"/>。つまり、導出は以下のようになる。
:<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>
この[[位取り記数法]]の性質を利用した証明は他の有限小数（{{math|0.25}} と {{math|0.24999…}} など）にも適用できる。

=== 無数の位ごとの操作の正当性 ===
{{出典の明記| date = 2021年8月| section = 1}}
以上の2つの証明で用いた、無数の桁に対する位ごとの操作（つまり、掛け算や引き算）を一斉に行う（つまり…の部分に行う）ことは、厳密性に欠け、その正当性が明らかではない。<!--この方針に立った証明は "小数"と"小数が表す数"の間の基本的な関係をはっきりさせることによって厳密なものにすることができる。
:「基本的な関係をはっきりさせる」の具体性がない-->有限小数に関しては、この過程は実数の計算法則にのみ依存している。この操作が無限小数にも適用できることを証明するためには、次節 [[#解析的な証明]] に述べる実解析の手法を必要とする。

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

== 解析的な証明 ==
{{math|0.999…}} という小数点以下の位に無数の {{math|9}} を加えていくという定義自体が解析的である。これが {{math|1}} に等しいことを厳密に証明するには、[[実解析]]の手法を必要とする。<!--0.999… が 1 と等しいかどうかという問題は、数式計算には影響を与えないので、[[実解析]]基本的な定理や命題を証明する際に必要となるまでは無視しておくことができる。-->{{math|0.999…}} という無限小数を正確にとらえるには、小数部分の位が無数に並ぶことを明確に定義し直すことが必要となる。<!--このことにより実解析による証明が位取り記数法とどのように関係しているのかがはっきりする。
:どのようにはっきりするのか不明-->

=== 差に着目した証明 ===
{{出典の明記|date=2022年2月|section=1}}
{{math|0.999…}} が {{math|1}} に等しいことを証明するには、それらの差が {{math|0}} であることを証明すればよい。その分、無数に並ぶ {{math|9}} についての定義はぼやけるが、初等的かつ解析的に導くことができる。
{{quotation|（証明）
:<math>\begin{align}
1-0.999\cdots &=\lim_{n\to\infty} 1-0.\underbrace{99\cdots 9}_n \\
 &=\lim_{n\to\infty} 1-(1-0.\underbrace{00\cdots 1}_n ) \\
 &=\lim_{n\to\infty} 0.\underbrace{ 00\cdots 1 }_n \\
 &=\lim_{n\to\infty} \left\{\left( \frac{1}{10} \right )^n \right\} \\
 &=0 \qquad \qquad 
\end{align}</math>}}
なお、この証明では、最後に
:<math>\lim_{n\to\infty} \left( \frac{1}{10} \right)^n =0</math>
であることを証明抜きで用いている。

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


=== 無数の位の定義の再考 ===
{{math|0.999…}}、一般には無限小数（小数点以下に無数に位が並ぶ実数）の明確な定義を議論し直すために、定式化する。{{math|0.999…}} を考えるのに、整数部分は1桁だけ考えれば十分であり、負の数は考えなくてよいので、考察するべき小数表示は
:<math>a_0 .a_1 a_2 a_3 \cdots</math>
の形である。小数部分は整数部分と違って有限の桁数に制限されない。これは基数 {{math|10}} の[[位取り記数法]]であるから、例えば {{math|''a''{{sub|1}}}} の[[単位]]は {{math|''a''{{sub|2}}}} の単位の [[10|{{math|10}}]] 倍、{{math|''a''{{sub|3}}}} の単位は {{math|''a''{{sub|2}}}} の単位の {{math|[[1/10|{{sfrac|1|10}}]]}} 倍である。

==== 級数の計算 ====
小数展開の一般的な定義としては、おそらく[[級数]]（無限[[数列]]の総和）として定義することである。つまり
:<math>a_0 .a_1 a_2 a_3 \cdots =a_0 +a_1 \left(\frac{1}{10} \right)+a_2 \left(\frac{1}{10} \right)^2 +a_3 \left(\frac{1}{10} \right)^3 +\cdots</math>
と表される。

ここで、{{math|0.999…}} の小数部分の計算には[[等比数列|等比級数]]の公式<ref>Rudin p.61, Theorem 3.26; J. Stewart p.706</ref>：
:{{math2|{{abs|''r''}} < 1}} のとき <math>a+ar+ar^2 +\cdots =\frac{a}{1-r}</math>
を適用することが可能である。

{{math|0.999…}} は、上式の左辺で初項 {{math2|1=''a'' = {{sfrac|9|10}}}}, 公比 {{math2|1=''r'' = {{sfrac|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]]''<ref>Euler p.170</ref> において（実際には {{math|1=9.999… = 10}} の証明としてだが）見られる。
[[画像:base4 333.svg|class=skin-invert-image|200px|left|thumb|極限：{{math|1}} に収束する四進法表示の数列 {{math2|{{mset|0.3, 0.33, 0.333, …}}}} を含む単位区間]]
等比級数の公式自体はオイラー以前の成果であるが、[[18世紀]]まではその導出がいずれも項別演算を[[#代数的な証明|証明]]なしで行われていた。[[1811年]]になってやっと、Bonnycastle の教科書 ''An Introduction to Algebra'' で等比級数に関する<!--オイラーと同様の-->議論を行うことで {{math|0.999…}} に関する<!--同様の-->項別操作を正当化している<ref>Grattan-Guinness p.69; Bonnycastle p.177</ref>。

[[19世紀]]には、それまでの自由すぎる無限和の計算に対する反動として、「級数はその部分和の極限として定義される」という、現在の数学でも用いられている定義が生み出された。このころの証明に基づいた微積分学や解析学の入門書においては、関連する定理を証明することによりこの等比級数もはっきりと計算されている<ref>例えば、J. Stewart p.706, Rudin p.61, Protter and Morrey p.213, Pugh p.180, J.B. Conway p.31</ref>。

数列 {{math|{''x{{sub|n}}''} }} において、番号 {{mvar|n}} を限りなく進ませると[[距離]] {{math|{{!}}''x{{sub|n}}'' − ''x''{{!}}}} が {{math|0}} に近づくときに、数列 {{math|{''x{{sub|n}}''} }} の[[極限]]が {{mvar|x}} であると定義される。等式 {{math|1=0.999… = 1}} 自身は以下のように極限として表すことにより証明される。
:<math>0.999\cdots = \lim_{n\to\infty} 0.\underbrace{99\cdots 9}_n
= \lim_{n\to\infty} \textstyle\sum\limits_{k=1}^n \displaystyle\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><ref>この極限については例えば以下に従う： 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).</ref>

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

==== 区間縮小法と上限 ====
[[画像:999 Intervals C.svg|class=skin-invert-image|thumb|区間縮小法：{{math2|1=1 = 1.000… = 0.222…{{sub|(3)}}}}]]
無限小数の小数部分を級数として直接計算する前述の導出に対して、それとは別に、もう一つの方法は、無限小数が取らない値の範囲を排除していくという方法である。

実数 {{mvar|x}} は[[区間 (数学)|閉区間]] {{math|[0, 10]}}（すなわち {{math|0}} 以上 {{math|10}} 以下）に属するとし、この区間 {{math|[0, 10]}} を一の位ごとの {{math|10}} 個の区間 {{math2|[0, 1], [1, 2], [2, 3], …, [9, 10]}} に分割（端点のみで重なる）する。実数 {{mvar|x}} はこのうちの少なくとも1つに属し、その区間の下限、例えば {{mvar|x}} が区間 {{math|[1, 2]}} に属するときには "{{math|1}}" を記録する。次に、属している区間 {{math|[1, 2]}} を小数第一位ごとに {{math2|[1, 1.1], [1.1, 1.2], …, [1.8, 1.9], [1.9, 2]}} に分割し、{{mvar|x}} が属する区間の下限を記録する、という操作を繰り返すと {{math2|''a''{{sub|0}}, ''a''{{sub|1}}, ''a''{{sub|2}}, ''a''{{sub|3}}, …}} から決まる区間の減少列が生み出される。この数列から
:<math>x=a_0 .a_1 a_2 a_3 \cdots</math>
と表現される。

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

直接的な方法としては[[区間縮小法]]が挙げられる。この原理によれば、閉区間の減少列が与えられ、その幅が {{math|0}} に収束するとき、それらの区間の[[共通部分]]はただ1つの実数からなる1点集合であることが、[[実数の連続性]]より証明される。したがって {{math2|1=''x'' = ''a''{{sub|0}}.''a''{{sub|1}}''a''{{sub|2}}''a''{{sub|3}}…}} は {{math2|[''a''{{sub|0}}, ''a''{{sub|0}} + 1], [''a''{{sub|0}}.''a''{{sub|1}}, ''a''{{sub|0}}.''a''{{sub|1}} + 0.1], …}} のすべてに属する唯一の実数であると定義される。したがって {{math|0.999…}} は {{math2|[0, 1], [0.9, 1], [0.99, 1], …}} のすべてに属する唯一の実数である。一方、実数 {{math|1}} はこれらすべての区間に属するので {{math2|1=0.999… = 1}} となる<ref>Bartle and Sherbert pp.60-62; Pedrick p.29; Sohrab p.46</ref>。

区間縮小法は、実数の連続性のうちのより直観的であると思われる[[順序集合#順序集合の例|上限]]の存在に基づいている。この事実を直接用いると、{{math2|''a''{{sub|0}}.''a''{{sub|1}}''a''{{sub|2}}''a''{{sub|3}}…}} を近似値の集合 {{math2|{{mset|''a''{{sub|0}}, ''a''{{sub|0}}.''a''{{sub|1}}, ''a''{{sub|0}}.''a''{{sub|1}}''a''{{sub|2}}, …}}}} の上限として定義することができる<ref>Apostol pp.9, 11-12; Beals p.22; Rosenlicht p.27</ref>。増加列の上限の存在定理は実数の連続性として区間縮小法と[[同値]]であることが示せるので、再び {{math|1=0.999… = 1}} を得る。[[トム・アポストル]]は次のように結論付けた<ref>Apostol p.12</ref>。
:「実数が異なる2つの小数表示を持つ可能性があるという事実は、単に、実数からなる異なる2つの集合の上限・下限が等しくなる可能性があるという事実の裏返しに過ぎない。」

== 実数の構成 ==
{{main|{{仮リンク|実数の構成|en|Construction of the real numbers}}}}
[[公理的集合論]]を用いて、実数の集合を{{仮リンク|実数の構成|en|Construction of the real numbers|label=有理数の集合上で組み立てられた}}ある種の構造として明示的に定義する方法はいくつか存在する。まず、'''[[自然数]]'''とは、ものを数えるときに用いる番号のことであり、{{math|0}} から始めて {{math2|0, 1, 2, …}} と、{{math|+1}} ずつ添加していくことにより得られる。自然数を拡張して'''[[整数]]'''全体を得るには、各自然数の[[反数]]を添加すればよい。さらにそれらの商を添加すると、'''[[有理数]]'''全体が得られる。これらの数体系には、加減乗除という[[算術|四則演算]]が付随しており、さらに、任意の2数を比較しての大小関係（どちらが大きいか、小さいか、等しいか）という[[順序集合|順序]]をも備えている。

有理数から'''実数'''への拡張は（自然数から整数や有理数への拡張と比べて）大きな飛躍である。この拡張の方法は、少なくとも2つの手法がよく知られている。ともに[[1872年]]に発表された[[デデキント切断|有理数の切断]]によるものと[[コーシー列]]によるものである。{{要出典範囲|date=2012-10|これらの実数の構成法により {{math2|1=0.999… = 1}} を証明している実解析の教科書は見られない}}。現代数学では、解析学的に実数を構成し、それが数の公理を満たすかどうかに注意が払われる。公理による解析的手法により {{math|1=0.999… = 1}} を証明することになるからである。しかしながら、実数の構成をより適切に、論理的に行うことにより、{{math2|1=0.999… = 1}} の証明はもっと直接的になされる (self-contained) と主張する人もいる<ref group="注釈">統合の歴史的な過程は以下を参照：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</ref>。

=== デデキント切断による構成 ===
{{See also|デデキント切断}}
[[デデキント切断]]のアプローチでは、任意の実数 {{mvar|x}} は、「{{mvar|x}} より小さい有理数全体からなる無限集合」と定義される<ref group="注釈">Enderton (p.113) は以下の記述を与えている。『デデキント切断の背景にあるアイディアは、有理数、つまり {{mvar|x}} より小さいすべての有理数の無限集合を与えられることによって実数 {{mvar|x}} が名づけられるということである。循環論法を避けるため、この方法で得られる有理数の集合が特徴づけられなければならない。』</ref>。この考え方では、実数 {{math|1}} は「{{math|1}} より小さいすべての有理数の集合」となる<ref>Rudin pp.17-20, Richman p.399, or Enderton p.119。正確には、この3人はこの切断をそれぞれ {{math|1{{sup|*}}}}, {{math|1{{sup|−}}}}, {{math|1{{sub|''R''}}}} と呼んでいる。3人ともそれを伝統的な {{math|1}} の定義と同一視している。Rudin と Enderton が『デデキント切断』と呼ぶものを Richman は『nonprincipal なデデキント切断』と呼ぶことに注意。</ref>。

正の数でのデデキント切断は、その小数展開により得られる。小数表示を適当な位までで切って得られる有理数を使い、それより小さい有理数全体の[[合併 (集合論)|和集合]]を作ればいいのである。この方法で実数 {{math|0.999…}} というものが何であるかを考えるなら、{{math2|''r'' < 0, ''r'' < 0.9, ''r'' < 0.99, …}}（つまり、ある自然数 {{mvar|n}} に対して、{{math2|''r'' < 1 &minus; ({{sfrac|1|10}}){{sup|''n''}}}} を満たす有理数 {{mvar|r}} すべてが作る集合）として定義されるということになる<ref>Richman p.399</ref>。{{math|0.999…}} より小さい有理数すべては {{math|1}} より小さいので、これは実数 {{math|1}} の元に含まれる。一方、実数 {{math|1}} の元となる任意の有理数
:<math>\frac{a}{b} <1</math>
({{math|''b'' ≥ 1}}) を考えると、
:<math>\frac{a}{b} =1-\frac{b-a}{b} \le 1-\frac{1}{b} <1-\left( \frac{1}{10} \right)^b</math>
となるため、{{math|{{sfrac|''a''|''b''}}}} は {{math|0.999…}} の元になっている。よって、{{math|0.999…}} と {{math|1}} とは全く同じ有理数をすべて元として含み、これらは集合として等しい。つまり {{math2|1=0.999… = 1}} であるというわけである。

デデキント切断による実数の定義は、[[1872年]]に[[リヒャルト・デーデキント]]によって初めて発表された<ref name="MacTutor2">{{Cite web
|url = http://www-gap.dcs.st-and.ac.uk/~history/PrintHT/Real_numbers_2.html
|title = History topic: The real numbers: Stevin to Hilbert
|author = J J O'Connor and E F Robertson
|work = MacTutor History of Mathematics
|date = 2005-10
|accessdate = 2006-08-30
}}</ref>。上記の、実数をそれぞれの小数展開に帰着させる方法は、フレッド・リッチマン (Fred Richman) によって雑誌 ''Mathematics Magazine'' に投稿された "Is 0.999… = 1?" という解説論文による説明である。この論文は大学の数学教師とその生徒向けに書かれている<ref>{{Cite web
|url = http://www.maa.org/pubs/mm-guide.html
|title = Mathematics Magazine:Guidelines for Authors
|publisher = The Mathematical Association of America
|accessdate = 2006-08-23
}}</ref>。リッチマンは、有理数の任意の[[稠密集合|稠密]]な部分集合における切断を考えても同様な結果をもたらすことを指摘している。その中で彼は、分母が {{math|10}} の[[冪乗|冪]]である[[分数]]全体の成す稠密部分集合を用いて、{{math|1=0.999… = 1}} の証明をより直接的に与えている。また、{{math|''x'' < 1}} となる {{mvar|x}} は切断を有するが、{{math2|''x'' ≤ 1}} となる {{mvar|x}} は切断をもたないことも指摘し、「これは {{math|0.999…}} と {{math|1}} が異なってしまうことを排除するものである。……実数の伝統的な定義の中に、等式 {{math|1=0.999… = 1}} は最初から組み込まれている」と評した<ref>Richman pp.398-399</ref>。リッチマンは、この手順に修正を加えることで、{{math2|0.999… ≠ 1}} となる別の構造を導いている。

=== コーシー列による構成 ===
{{Main|コーシー列|完備距離空間|l2=コーシー完備性}}
実数を構成するもう一つの方法は、実数の切断に比べれば間接的にではあるがやはり有理数の順序を用いるものである。まず、2つの有理数 {{mvar|x}} と {{mvar|y}} に対して、距離 {{math|''d''(''x'', ''y'')}} を[[絶対値]] {{math|{{abs|''x'' &minus; ''y''}}}} で定義する（{{mvar|z}} の絶対値 {{math|{{abs|''z''}}}} とは {{mvar|z}} と {{math|&minus;''z''}} の小さくない方と定義され、非負である）。そして実数全体というものを、この距離 {{mvar|d}} に関する有理数の[[コーシー列]]全体を以下で定義する[[同値関係|同値類]]で割ったものとして定義するのである（[[実数の完備性]]も参照のこと）。ここで、有理[[数列]]（つまり自然数から有理数への[[写像]]）{{math|{{mset|''x{{sub|n}}''}}}} がコーシー列であるとは、
:任意の正の数 {{mvar|ε}} に対して、番号 {{mvar|N}} が存在し、{{mvar|N}} より大きいすべての {{math|''m'', ''n''}} に対して {{math2|{{abs|''x{{sub|m}}'' &minus; ''x{{sub|n}}''}} < ''ε''}}
が成り立つ（つまり、番号が十分先なら隣接2項間の距離が限りなく小さくなる）ことと定義される<ref>Griffiths & Hilton §24.2 "Sequences" p.386</ref>。

2つのコーシー列 {{math|{{mset|''x{{sub|n}}''}}}}と {{math|{{mset|''y{{sub|n}}''}}}} が[[同値]]であることを、{{math|''x{{sub|n}}'' &minus; ''y{{sub|n}}''}} が {{math|0}} に収束することと定める。小数 {{math|''a''{{sub|0}}.''a''{{sub|1}}''a''{{sub|2}}''a''{{sub|3}}…}} に対して、各位以降を順に切り捨てていくことにより得られる数列は有理数のコーシー列を定めるので、このコーシー列が、この小数展開の表している実数の真の値と定められることになる<ref>Griffiths & Hilton pp.388, 393</ref>。

この性質より {{math|1=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>
が {{math|0}} に収束することを証明することである。

この極限は単純で<ref>Griffiths & Hilton p.395</ref>、数列の[[極限]]の定義により<!-- ε = ''{{sfrac|a|b}}'' > 0 に対し ''N'' = ''b'' と取れば-->示される。こうして、やはり {{math|1=0.999… = 1}} が示されたことになる。

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

== 他の数体系での振る舞い ==
実数は標準的な数体系であるが、"{{math|0.999…}}" という無数桁の表記がある実数を表すだろうと、{{誰範囲|date=2022年2月|人類}}は自然に考えている。[[ウィリアム・ティモシー・ガワーズ]]は ''Mathematics: A Very Short Introduction'' で、等式 {{math|1=0.999… = 1}} を結論することも同様に『慣習』であると述べている。すなわち、
:「しかしながら、それは決して恣意的な慣習ではない。なぜなら、それを受け入れなければ、一風変わった新しい対象を発明するか、または算術のよく知られた規則のいくつかを諦めるかのどちらかが強制されるからである<ref>Gowers p.60</ref>。」
標準的な数体系である実数体に対して、通常と異なる方法で数を構成し、{{math|0.999…}} という表記が意味を持つ、実数とは別の数体系を定義することができる。{{独自研究範囲|date=2022年2月|そのような数体系においては本項冒頭辺りの節で示した証明などはその体系における記述として解釈し直さなければならず、またそういった体系において（上記の証明が正しいとする根拠を失ったり、誤りであると示されたりして）{{math|0.999…}} と {{math|1}} とが同一の対象を表すものでない可能性が見出されることもある。そうは言っても、多くの数体系は（実数の体系を代替するような独立した対象としてではなく）実数の体系の拡張となるものであって、故にそこでは {{math|1=0.999… = 1}} も引き続き成立することとなる。しかしそういった体系においてさえも、（"{{math|0.999…}}" と表示される数が意味を持つ場合には）{{math|0.999…}} がどのように振る舞うかということだけではなく関連する現象の振る舞いに対して考えるために、代替の数体系を考察するということは意味のあることであるといえる。つまり、ある現象が実数体系における場合とは異なる振る舞いをするのであれば、その体系に組み込まれた前提条件は、実数体系のそれの少なくとも一つを壊したものになっていなければならない（以下に挙げるような体系が、実数におけるどのような現象や条件を否定するのかという観点に立って説明することができる）}}。

=== 無限小を含む体系 ===
{{See also|無限小}}
{{math|1=0.999… = 1}} のいくつかの証明は、通常の実数が[[アルキメデスの性質|アルキメデス順序体]]であること、すなわち、"{{math|0}} でない[[無限小]]は存在しない" ことに依存している。特に、差 {{math|1 &minus; 0.999…}} は任意の正の有理数よりも小さいはずであるから、それは（{{math|0}} か）無限小でなければならないが、実数の体系には {{math|0}} でない無限小は無いので、差は {{math|0}}、つまり二つの値は等しいことが結論付けられる。それでも、実数の非アルキメデス的代替となりうる様々な体系を含む、数学的に一貫した{{仮リンク|順序代数系|en|:Category:Ordered algebraic structures}}は存在する。

==== 超実数 ====
{{See also|超実数}}
[[超準解析]]によって、無限小（およびその逆数）の完全な系列を含んだ数体系が提供される<ref group="注釈">超準的な数の完全な取り扱いはロビンソンの ''Non-standard Analysis'' を参照。</ref>。{{仮リンク|アルバート・ハロルド・ライトストーン|en|A. H. Lightstone|label=ライトストーン}}は区間 {{math|(0, 1){{sup|∗}}}} に属する[[超実数]] (hyper&shy;real number) に対する小数展開を考えることで、無限小数に対する別の解釈を与えている<ref>Lightstone pp.245-247</ref>。ライトストーンは、超実数に[[超整数|超自然数]]で添字付けられた数字列
: <math>0.d_1d_2d_3 \cdots;\cdots d_{\infty-1} d_\infty d_{\infty+1} \cdots</math>
が対応することを指摘した。<!-- これは移行原理からの直接の帰結でありFolkloreとされるべきで、Lightstoneに先行性があるわけではないから、「示した」は不適当。Amer. Math. Month.に掲載されたexpository articleであることも注意。 -->ここでセミコロンの左側は有限（標準）自然数桁を表し、セミコロンの右側は無限大（超準）自然数桁を表す。ここで、セミコロンの直前や直後の桁といったものは存在しないことに注意。ライトストーンは {{math|0.999…}} について直接扱ったわけではなく、{{仮リンク|移行原理|en|transfer principle}} の帰結として実数 {{math|{{frac|1|3}}}} が {{math|0.333…;…333…}} で表されることを指摘した。故に {{math2|1=0.999…;…999… = 1}} である。ここで言う意味での小数展開が必ずしも数を表すとは限らないことに注意すべきである。特に "0.333…;…000…" や "0.999…;…000…" は何の数とも対応しない。この事実は{{仮リンク|overspill principle|en|overspill}}を使って説明できる。小数展開の各桁を写像 <math>d\colon {}^{\ast}\mathbb{Z}_+ \to \{0, 1, \cdots, 9\}</math> と見做す。有限桁目が全て {{math|3}} だと仮定する。つまり
:<math>\mathbb{Z}_+ \subseteq\{n \in {}^{\ast} \mathbb{Z}_+ \mid d(n)=3\}</math>
である。ここにoverspill principleを適用すると、ある無限大超自然数 <math>n</math> があって
:<math>[1, n]\subseteq\{n \in {}^{\ast} \mathbb{Z}_+ \mid d(n)=3\}</math>
が成り立つ。つまり <math>d</math> は "0.333…;…333000…" や "0.333…;…333001854…" のように、ある無限大桁目まで3が連続する超実数でなければならない。

数 {{math|0.999…}} の標準的な定義は {{math2|0.9, 0.99, 0.999, …}} なる[[数列の極限]]である。この定義に移行原理を適用した場合、つまり <math>{}^{\ast}\mathbb{N}</math> で添字付けられた有向点族{{math2|0.9,0.99,0.999,…}}の順序位相による極限を考えれば、これは {{math|1}} に正確に等しい。超準解析において無限小数表示は通常この意味で用いられる。前段で述べた超実数の無限小数表示もこの定義に基づいている。なお、超実数の可算列 <math>\{1 - 10^{-n}\}_{n \in \mathbb{N}}</math> は収束しない。

一方、通常と異なる解釈として'''超極限''' (''ultralimit'') と呼ぶ数列 {{math2|0.9, 0.99, 0.999, …}} の{{仮リンク|超冪構成|en|Hyperreal number}}に関する同値類 {{math2|[(0.9, 0.99, 0.999, …)]}} と見做す解釈があるが、これは {{math|1}} より無限小だけ小さい。より一般に、階数 {{mvar|H}} の無限大超自然数の位置に最後の 9 がくる超実数 {{math|1=''u{{sub|H}}'' = 0.999…;…999000…,}} は狭義の不等式 {{math2|''u{{sub|H}}'' < 1}} を満足する。これに応じて、「無限個の 9 のあとに 0 が続く」ことの別解釈を
: <math>0.\underbrace{999\cdots}_H = 1 - \frac{1}{10^H}</math><ref>Katz & Katz 2010</ref>
と理解することができる。このように解釈した "{{math|0.999…}}" は {{math|1}} に「無限に近い」。[[イアン・スチュアート (数学者)|イアン・スチュアート]]はこの解釈を、「{{math|0.999…}} は {{math|1}} よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法と位置付けた<ref>Stewart 2009, p.175; the full discussion of 0.999… is spread through pp.172-175.</ref>。{{harvtxt|Katz|Katz|2010b}} に基づき、{{harvtxt|R. Ely|2010}} もまた学生のもつ「{{math2|0.999… < 1}} という考えを実数に対する誤った直観とする仮定に疑問を呈し、むしろそれを「超準的」直観と解釈した方が解析学の習得において価値があるのではないかとした。Jose Benardete は自身の著書 ''Infinity: An essay in metaphysics'' において、過度に制限された数体系に話を限定する限り、数学以前の自然な直観のいくらかは言い表すことができないのだと主張した。
{{quotation| 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.<ref>{{Cite book |first=José Amado |last=Benardete |title=Infinity: An essay in metaphysics |publisher=Clarendon Press |year=1964 |page=279 |url=https://books.google.com/?id=wMgtAAAAMAAJ |accessdate=2011-11-27}}</ref>（訳: 連続体の明確な理解には、実数の領域を無限小を含むように拡大することが必要だと何度も繰り返し見出されてきた。この拡大された領域は連続体数の領域の形を取るだろう。今や 0.9999… が 1 に等しくなく、それよりも無限小だけ小さいことは明らかだ。私は 0.9999… は「実」数としてではないけれども「数」として実際に許されるべきと思う。）}}

==== 超現実数・ゲーム ====
{{See also|超現実数|超現実数#ゲーム|l2=ゲーム}}
前項と特に関連して、{{仮リンク|組合せゲーム理論|en|Combinatorial game theory}}における同様の実数代替体系として、"無限二色ハッケンブッシュゲーム (infinite Blue-Red Hackenbush)" を考えることができる。[[1974年]]に、[[エルウィン・バーレカンプ]] (Elwyn Berlekamp) は[[データ圧縮]]のアイディアに刺激されてハッケンブッシュ文字列と実数の2進展開の関係について述べた。例えば、"ハッケンブッシュ文字列 (Hackenbush string)" LRRLRLRL… の値は {{math2|1=0.010101… = {{sfrac|1|3}}}} である。しかしながら、文字列 LRLLL…（{{math|0.111…}} に対応する）の値は {{math|1}} に比べてごくわずかだけ小さい。 これらの2数（LRLLL… と {{math|1}}）の差は[[超現実数]] {{math|{{sfrac|1|''ω''}}}}（{{mvar|ω}} は[[順序数#順序数の大小関係|最小の超限順序数]]）である。これに関連するゲームは LRRRR… すなわち {{math|0.000…}} である<ref group="注釈">Berlekamp, Conway, and Guy (pp.79-80, 307-311) は {{math|1}} と {{math|{{sfrac|1|3}}}} について議論しており、さらに {{math|{{sfrac|1|''ω''}}}} について触れている。{{math|0.111…}} のゲームはバールカンプのルールに直接に従っており、それは以下に述べられている。{{Cite web
|url = http://www.maths.nott.ac.uk/personal/anw/Research/Hack/
|title = Hackenstrings and the 0.999⋯ =1 FAQ
|author = A. N. Walker
|year = 1999
|accessdate = 2006-06-29
|archiveurl=https://web.archive.org/web/20060616215942/http://www.maths.nott.ac.uk/personal/anw/Research/Hack/ |archivedate=2006-06-16}}</ref>。

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

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

乗法を定義する際、リッチマンはまた、"cut ''D''" と呼ばれる別の構造を定義する。これは小数の切断の集合である。通常この定義は実数を導くが、彼は小数 {{mvar|d}} に対して、切断 {{math|(&minus;∞, ''d'')}} と "principal cut" {{math|(&minus;∞, ''d'']}} の両方を許す。その結果、実数たちは小数と「不安定な状態で共存する (living uneasily together with)」ことになる。したがって、再び {{math2|0.999… < 1}} を得る。"cut ''D''" には正の無限小は存在しないが、"一種の負の無限小" {{math|0{{sup|−}}}} が存在する。{{math|0{{sup|−}}}} には小数展開は存在しない。彼は {{math|1=0.999… = 1 + 0{{sup|−}}}} であると結論したが、一方、方程式 "{{math2|1=0.999… + ''x'' = 1}}" は解をもたない<ref group="注釈">Richman pp.398-400. Rudin (p.23) は第1章の最後の練習問題として、この代替構造（ただし実数上）を選んでいる。</ref>。

=== ''{{math|p}}''進数 ===
{{math|1 &minus; 0.999…}} は何になるかを尋ねると、しばしば "{{math|0.000…1}}" を浮かべられることがある。これに意味を持せることができるか否かは別として、{{math|0.999…}} の "最後の {{math|9}}" に {{math|1}} を足すことで次々に繰り上がり、すべての {{math|9}} が {{math|0}} に変わって、一の位に {{math|1}} が残るという意図は直観的には明白である。この考えは、（他にも理由はあるが）{{math|0.999…}} には "最後の {{math|9}}" がないので失当である<ref>Gardiner p.98; Gowers p.60</ref>が、『最後の{{math|9}}』を持つ無限文字列を持つ体系というのは存在する。
[[画像:4adic 333.svg|200px|thumb|{{math|4}}進整数（黒点）は{{math|&minus;1}} に収束する数列 {{math2|{{mset|3, 33, 333, …}}}} を含む。その十進の対応物が {{math2|1=…999 = &minus;1}} である。]]
[[p進数|{{mvar|p}}進数]]は[[数論|整数論]]が研究対象とする数体系である。実数と全く同様に、{{mvar|p}}進数は[[コーシー列]]を経由して有理数の完備化として作ることができる。ただしこの構成には、{{math|0}} は {{math|1}} よりも {{mvar|p}} に近く、{{mvar|p{{sup|n}}}} にはもっと近いという、（実数の構成のときとは）異なる[[p進付値|距離]]を用いる。{{mvar|p}}進数は {{mvar|p}} が[[素数]]のとき[[可換体|体]]をなし、{{mvar|p}} が素数でないとき（{{math|10}} はこの場合である）でも[[環 (数学)|環]]をなす。したがって、{{mvar|p}}進数に足し算や掛け算のような計算を実行することができ、無限小は存在しない。

{{mvar|p}}進数には小数展開の類似を考えることができ、位が左へ進む（実数の小数展開とは逆に、右へは有限桁しか進めない）。{{math|10}}進展開 {{math|…999}} を考える。一の位に {{math|1}} を加えることができるが、すると {{math|0}} だけが残されて繰り上がりが続き、その結果 {{math2|1=1 + …999 = …000 = 0}} となる。すなわち、{{math|1=…999 = &minus;1}} である<ref name="Fjelstad11">Fjelstad p.11</ref>。もう一つの導出方法は等比級数を用いる。"{{math|…999}}" の意味をもつ等比級数は実数においては収束しないが、{{math|10}}進数では収束し、よく知られた公式を再び用いることができて
:<math>\cdots 999=9+9\cdot 10+9\cdot 10^2 +9\cdot 10^3 +\dotsb =\frac{9}{1-10} =-1</math><ref>Fjelstad pp.14-15</ref>
となる（[[#級数としての計算|前述の等比級数]]と比較せよ）。3番目の導出方法はある中学1年生によって発明された。その生徒は教師が {{math|1=0.999… = 1}} を極限を用いて行った議論に疑いをもったが、[[#位取り記数法の性質を利用した証明|上記の {{math|10}} を掛ける証明]]を反対の方向へ用いてみようとした。すると、{{math2|1=''x'' = …999}} ならば {{math2|1=10''x'' = …990}} であるから、{{math2|1=10''x'' = ''x'' &minus; 9}} であり、再び {{math|1=''x'' = &minus;1}} となる<ref name="Fjelstad11" />。

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

== 一般化 ==
等式 {{math2|1=0.999… = 1}} の証明は直ちに2つの方法で一般化される。最初に、まさにその特別な場合において考えられたように、すべての {{math|0}} でない有限小数（すなわち、後に {{math|0}} が限りなく続く）は {{math|9}} が後ろにずっと続く別表現をもっている。例えば、{{math|0.24999…}} は {{math|0.25}} に等しい<ref>Petkovšek p.408</ref>。

次に、{{math2|1=0.999… = 1}} に相当する結果を他の[[位取り記数法|基数]]にも適用することができる。例えば [[二進法]]では {{math2|1=0.111… = 1}} であり、[[三進法]]では {{math2|1=0.222… = 1}} である。一般に、基数を {{mvar|b}} とするとき、小数点以下には {{math2|''b'' &minus; 1}} が繰り返し並ぶ。実解析の教科書は {{math2|1=0.999… = 1}} の例を飛ばして、これらの一般化のうちの一つか両方を最初から紹介する傾向がある<ref>Protter and Morrey p.503; Bartle and Sherbert p.61</ref>。

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

さらに変則的な規則に基づく記数法 (the most general positional numeral systems) においても {{math2|1=0.999 = 1}} に相当する結果が得られる。これらもまた多様な表現をもつので、ある意味で扱いはさらに困難である。例えば<ref>Kempner p.611; Petkovšek p.409</ref>、
*[[三進法#平衡三進法|平衡三進法]] (balanced ternary system) においては、{{math2|1={{sfrac|1|2}} = 0.111… = 1.<u>111</u>…}}
*[[階乗進法]] (factorial number system) においては、{{math|1=1 = 1.000… = 0.1234…}}
マルコ・ペトカイゼク (Marko Petkovšek) は、そのように一つの数が複数の方法で表せるということは位取り記数法を用いることの必然的な結果であると述べ、すべての実数を扱う任意の位取り記数法において複数の表現をもつ実数の集合は常に稠密であることを証明した。彼はこの証明を「一般位相空間に関する初級の教育的な練習問題」と呼んだ。それは、位取り記数法の値の集合を [[ストーン空間|Stone空間]]と見ること、その実数表現が[[連続 (数学)|連続]]関数によって与えられることに気づくことを、その証明が含んでいるからである<ref>Petkovšek pp.410-411</ref>。

== 応用例 ==
{{math|1}} の別表現としての {{math|0.999…}} に関する一つの応用が[[数論|初等整数論]]に見られる。[[1802年]]にグッドウィン (H. Goodwin) は、ある種の[[素数]]を分母とする分数では、循環小数表示したときに 9 が現れることを発表した。例えば、
*{{math2|1=[[1/7|{{sfrac|1|7}}]] = 0.142857142857…, 142 + 857 = 999}}
*{{math2|1={{sfrac|1|73}} = 0.0136986301369863…, 0136 + 9863 = 9999}}
と書かれている。

ミディ (E. Midy) は[[1836年]]にこのような分数に関する一般的な結果を証明して、現在は[[ミディの定理]]と呼ばれている。その論文は曖昧であり、彼の証明が直接 {{math|0.999…}} を含むかどうか定かではない。しかし、レーヴィット (W. G. Leavitt) による少なくとも一つの現代的な証明ではそれが含まれている。もし、{{math|0.''b''{{sub|1}}''b''{{sub|2}}''b''{{sub|3}}…}} という形の小数が正の整数であることを証明できれば、それは {{math|0.999…}} に他ならず、それがこの定理において {{math|9}} たちが出現する原因となる<ref>Leavitt 1984 p.301</ref>。この方向への研究は [[最大公約数]]、[[合同式|剰余計算]]、[[フェルマー数#フェルマー素数|フェルマー素数]]、[[群 (数学)|群]]の元の[[位数 (群論)|位数]]、[[平方剰余の相互法則]]などの概念に動機付けを与える<ref>Lewittes pp.1-3; Leavitt 1967 pp.669, 673; Shrader-Frechette pp.96-98</ref>。
[[画像:Cantor base 3.svg|class=skin-invert-image|thumb|[[カントール集合]]での {{math2|{{sfrac|1|4}}, {{sfrac|2|3}}, {{math|1}}}} の位置]]
{{See also|巡回数}}
[[実解析]]では、[[三進法]]での類似表現 {{math2|1=0.222… = 1}} は最も単純な[[フラクタル]]の一つ、[[カントール集合|カントール三進集合]] (the middle-thirds Cantor set) の特徴づけに重要な役割を果たしている。
*[[単位区間]] {{math|[0, 1]}} の点は、三進法で {{math|0}} と {{math|2}} のみを用いて表現される場合に限りカントール集合に属するという。
小数第 {{mvar|n}} 位の数字は、この構成における第 {{mvar|n}} 段階の点の位置に反映する。例えば、点 {{math|{{sfrac|2|3}}}} は通常の {{math|0.2}} または {{math|0.2000…}} として表現される。なぜなら、それは最初の欠損部分の右側に位置し、それ以後のすべての欠損部分の左に位置するからである。また、点 {{math|{{sfrac|1|3}}}} は {{math|0.1}} ではなく {{math|0.0222…}} として表現される。なぜなら、それは最初の欠損部分の左側に位置し、それ以後のすべての欠損部分の右側に位置するからである<ref>Pugh p.97; Alligood, Sauer, and Yorke pp.150-152。Protter と Morrey (p.507) および Pedrick (p.29) はこの記述を練習問題として位置づけている。</ref>。

{{math|9}} の繰り返しはカントールのもう一つの仕事にさえも現れる。彼が[[1891年]]に[[カントールの対角線論法|対角線論法]]を適用して単位区間 {{math|[0, 1]}} の[[非可算集合|非可算性]]の適切な証明を与えたことを考慮しなければならない。このような証明ではある2つの実数が小数表現において異なることを言明することが必要とされる。したがって、{{math|0.2}} と {{math|0.1999…}} のような組を避けなければならない。簡単な方法においては、すべての数を無限小数で表すが、それに対する方法では {{math|9}} が最後に連続することを排斥する<ref group="注釈">Maor (p.60) および Mankiewicz (p.151) は前者の方法を振り返る。Mankiewicz はそれがカントールの仕事だとしているが、最初の出所は定かではない。Munkres (p.50) は後者の方法に言及している。</ref>。カントール独自の議論に近いといえる証明の変形では実際に{{math|2}}進表現を用いており、3進表現を2進表現に変えることによりカントール集合の非可算性を同様に証明することができる<ref>Rudin p.50, Pugh p.98</ref>。

== 典型的な誤解とその原因 ==
数学の初学者はしばしば {{math|0.999…}} と {{math|1}} が等しいことを理解できない。[[極限]]の概念や[[無限小]]の性質が日常の感覚と大きく異なっていることがその理由とされる。その共通の要因として次のようなものがある。
*生徒は「十進数では、一つの数はただ一通りの小数で表すことができるはずだ」と思い込んでいる場合が多い。表示が異なる2つの小数が等しいことが分かると、それが[[パラドックス|逆説]]であるように見える。見かけ上よく知られた数 {{math|1}} の登場でその感がさらに強くなる<ref>Bunch, p.119; Tall and Schwarzenberger, p.6. 最後の提案は Burrell (p.28) による。すなわち、「おそらくすべての数の中で最も安心する数は {{math|1}} であろう。したがって、{{math|0.999…}} を {{math|1}} として扱うときにとりわけ不安を覚える。」</ref>。
*"{{math|0.999…}}"（または同様の表現）を、多いけれども有限の個数の "{{math|9}}" の列（おそらく可変であり特定できない長さ）として解釈する生徒もいる。たとえ生徒が "{{math|9}}" の無限個の列であることを受け入れたとしても、まだ最後の "{{math|9}}" が「無限の彼方に」あると期待しているのかもしれない<ref>Tall and Schwarzenberger pp.6-7; Tall 2000 p.221</ref>。
*直観やあいまいな教え方により、生徒は数列の極限を、一つの決まった値ではなくある種の無限操作と考えるようになる。それは数列の各項はその極限に達する必要はないからである。生徒が数列とその極限の違いを受け入れても、彼らは "{{math|0.999…}}" を極限ではなく数列を意味するものと読む可能性がある<ref>Tall and Schwarzenberger p.6; Tall 2000 p.221</ref>。
これらの考えは、通常の実数を扱う文脈においては誤っている。しかしながら、通常と異なる場面で適用するために発明された、もしくは、{{math|0.999…}} を理解するのに有益な[[反例]]としての、より精巧な数の体系構造においては、それらの考えの多くが部分的に正しいことが示される。

これらの要因の多くはデイヴィッド・トール (David Tall) 教授により発見された。教授は、自らが遭遇した大学生の誤解のいくつかについて、それを生徒に抱かせる原因となった指導法と認識の特徴を研究している。非常に多くの生徒がなぜ最初はこの等式を受け入れないのかを調べるために生徒を面接して、次のようなことを発見した<ref>Tall 2000 p.221</ref>。
:「生徒は {{math|0.999…}} を、決まった値ではなく {{math|1}} に限りなく近づく数列として理解し続けようとする。その原因は『先生は小数点以下の桁数がいくつあるかをはっきりと教えていなかった』という指導法の欠陥、または『{{math|0.999…}} は {{math|1}} より小さい数の中で、存在しうる、{{math|1}} に最も近い小数である』という認識である。」
初等的な証明の中で {{math2|1=0.333… = {{sfrac|1|3}}}} の両辺を {{math|3}}倍する方法は、{{math2|1=0.999… = 1}} であることを容認できない生徒に受け入れさせるための、最も有効な手段であるかのように見える。しかしながら、第1の等式を信じることと、第2の等式を信じないことの矛盾に直面すると、今度は第1の等式を疑い始める者も現れるし（[[0.999...#関連する問題|後述]]も参照）、または単に不満を抱くだけの生徒もいる<ref name="#1">Tall 1976 pp.10-14</ref>。これより簡潔で有効な説明方法もなかなかない。厳密な定義を十分適用する能力のある生徒が、{{math|0.999…}} を含めてさらに進んだ数学の結果に驚いたとしても、なお直観的な想像に頼ってしまうことがある。例えば、ある解析学を学ぶ生徒は {{math2|1=0.333… = {{sfrac|1|3}}}} であることを[[順序集合|上限]]の定義を用いて証明することができるが、その後もなお、昔の[[筆算]]の理解に基づいて {{math2|0.999… < 1}} であると主張した<ref>Pinto and Tall p.5, Edwards and Ward pp.416-417</ref>。別の生徒は、{{math2|1={{sfrac|1|3}} = 0.333…}} であることを証明することができるが、[[#分数による証明|分数による証明]]に直面して「論理」が数学の計算を征服していると主張する。

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

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

== メディアでの議論 ==
[[インターネット]]の登場に伴い、{{math|1=0.999… = 1}} に関する論争は教育現場だけでなく、[[ニュースグループ]]や[[電子掲示板]]など、普段はあまり数学に関係のない場所でも話題となることがある。ニュースグループ <tt>[news:sci.math sci.math]</tt> では、{{math|0.999…}} に関する議論は「流行のスポーツ」であり、それは [[FAQ]] で回答された問題の一つである<ref>Richman (p.396) が述べている。{{Cite web
|url = http://www.faqs.org/faqs/sci-math-faq/specialnumbers/0.999eq1/
|author = Hans de Vreught
|year = 1994
|title = sci.math FAQ: Why is 0.9999... = 1?
|accessdate = 2006-06-29
}}</ref>。その FAQ は {{math|{{sfrac|1|3}}}} を用いる方法、10倍する方法、極限を用いる方法を簡潔に扱い、さらには同様にコーシー列にも言及している。

[[アメリカ]]の新聞 ''Chicago Reader'' のコラム ''The Straight Dope'' の2003年版では、誤った概念に関して言及しつつ、{{math|{{sfrac|1|3}}}} や極限を通して {{math|0.999…}} について次のように議論している。
:「我々の中の[[類人猿]]的要素が、『{{math|0.999…}} は実際に''数'' を表しているのではなく、''過程'' を表している。一つの数を見つけるために我々はその過程を途中で断ち切らなければならない。その時点において {{math|1=0.999… = 1}} という概念は崩壊する。』と言って依然として抵抗している。
:ナンセンスだ！<ref>{{Cite web
|url = http://www.straightdope.com/columns/030711.html
|title = An infinite question: Why doesn't .999~ = 1?
|date = 2003-07-11
|author = Cecil Adams
|work = The Straight Dope
|publisher = The Chicago Reader
|accessdate = 2006-09-06
}}</ref>」
''The Straight Dope'' は「他の掲示板…ほとんどがビデオゲーム」から独立した専用の掲示板で議論を載せている。同様の調子で、{{math|0.999…}} の問題は、アメリカのゲーム開発会社[[ブリザード・エンターテイメント]]の [[Battle.net]] フォーラムで最初の7年間にとても一般的な話題であることが分かったため、社長の Mike Morhaime は[[2004年]][[4月1日]]の記者会見で {{math|1=0.999… = 1}} であると発表した。
:「我々はこの問題に対しきっぱりと決着をつけることに大変興奮しています。我々は {{math|0.999…}} が {{math|1}} に等しいのか等しくないのかについての、心痛や心配に立ち会ってきました。ここに次の証明を提示し、我々の顧客に対して、最終的に断固としてこの問題に対処できることを嬉しく思います<ref>{{Cite web
|url = http://www.blizzard.com/press/040401.shtml
|title = Blizzard Entertainment® Announces .999~ (Repeating) = 1
|work = Press Release
|publisher = Blizzard Entertainment
|date = 2004-04-01
|accessdate = 2006-09-03
}}</ref>。」
続く[[プレスリリース]]で、極限に基づくものと {{math|10}} を掛けるものの2つの証明を提供している。

== 関連する問題 ==
<!--[[Intuitionism]] should be worked in somewhere and explained, not necessarily here.-->
*[[ゼノンのパラドックス]]、とりわけ[[アキレウス]]と亀の[[パラドックス]]は、見かけ上のパラドックス {{math|1=0.999… = 1}} を連想させる。アキレウスのパラドックスは数学的にモデル化され、{{math|0.999…}} と同じように等比数列を用いて解決される。しかしながら、この数学的な取り扱いが[[ゼノン (エレア派)|ゼノン]]が探求していた潜在的な形而上の問題に対処しているかどうかは明らかでない<ref>Wallace p.51, Maor p.17</ref>。ただし、無限和の値（ここでは有限小数の無限和としての無限小数）は、部分和の[[極限]]（限りなく近づいていくが、決して到達しない点）によって定義されているので、この方法では、パラドックスを解決したことにはならない、という論議がある（[[総和]]、[[循環小数]]、[[循環論法]]を参照）。この点に留意すれば、{{math|1=0.999… = 1}} であると言う帰結は、[[極限]]によって無限小数の値を定義した結果であり、必ずしも自明なことではない（その意味では[[0.999...#典型的な誤解とその原因|前述]]の「第1の等式を信じることと、第2の等式を信じないことの矛盾に直面すると、今度は第1の等式を疑い始める<ref name="#1"/>」という態度は、一定の数学的なセンスのある姿勢だと見ることもできる）。そもそも無限に存在する値を全て足し合わせることができるのか、と言う問いは未解決であり（現代数学では定義として処理されている。[[公理的集合論]]を参照）、{{math|1=0.999… = 1}} やゼノンのパラドックスと言った話題がそのことを想起させてくれる恰好の題材であることは確かであろう。
*[[ゼロ除算|{{math|0}} による除算]]は {{math|0.999…}} のいくつかの一般的な議論に見られるが、それもまた論争を引き起こす。多くの著者が {{math|0.999…}} を定義することを選択する一方で、実数の現代的な取り扱いでは {{math|0}} による除算は定義されない。というのは、それが通常の実数の範囲では意味を与えられないからである。しかしながら、{{math|0}} による除算は[[複素解析]]など他の体系では定義されている。複素解析では、拡張された複素平面（[[リーマン球面]]）は[[無限遠点]]をもつ。ここで、{{math|{{sfrac|1|0}}}} を無限大であると定義することには意味がある<ref>例えば以下を参照。J.B. Conway's treatment of Möbius transformations, pp.47-57</ref>。また、実際その結果は奥深く、[[工学]]や[[物理学]]にも応用できる。何人かの著名な数学者は、どの数体系も発達するずっと前からそのような定義を論じていた<ref>Maor p.54</ref>。
*冗長な数表記の類例として[[−0|負の {{math|0}}]] が挙げられる。実数などの数体系においては、"{{math|0}}" は加法に関する単位元を意味し、正の数でも負の数でもない。通常 "{{math|−0}}" は加法に関する {{math|0}} の逆元を表すと解釈されるため、{{math2|1=−0 = 0}} でなければならない<ref>Munkres p.34, Exercise 1(c)</ref>。それにもかかわらず、いくつかの科学的な応用では、正と負の {{math|0}} を分けて用いる<ref>{{Cite book
|author = Kroemer, Herbert; Kittel, Charles
|title = Thermal Physics
|edition = 2e
|publisher = W. H. Freeman
|year = 1980
|id = ISBN 0-7167-1088-9
|page = 462
}}</ref>。これはいくつかのコンピュータの数体系（例えば[[符号付数値表現]]、1 の[[補数]]表現、[[IEEE 754]] で定義されたような[[浮動小数点数|浮動小数点]]表示）でもそうである<ref>{{Cite web
|url = https://msdn.microsoft.com/library/en-us/csspec/html/vclrfcsharpspec_4_1_6.asp
|title = Floating point types
|work = [[Microsoft Developer Network|MSDN]] C# Language Specification
|accessdate = 2006-08-29
|archiveurl = https://web.archive.org/web/20060824085452/https://msdn.microsoft.com/library/en-us/csspec/html/vclrfcsharpspec_4_1_6.asp
|archivedate = 2006-08-24
}}</ref>。IEEE の浮動小数点数の場合は、負の {{math|0}} は、与えられた正確な数値を表すには（絶対値が）小さすぎるが、それでもなお負の数である値を表している。したがって、IEEE 浮動点数表示における「負の {{math|0}}」は本来の意味で"負の {{math|0}}" ではない。
{{See|2進法#機器での負の数の扱い|補数}}

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist|2}}
=== 出典 ===
{{Reflist|2}}

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

== 関連項目 ==
*[[循環小数]]
*[[十進法]]
*[[超準解析]]
*[[実数]]
*[[実数の連続性]]
*[[コーシー列]]
*[[デデキント切断]]
*[[1/2 + 1/4 + 1/8 + 1/16 + ⋯|{{math|{{sfrac|1|2}} + {{sfrac|1|4}} + {{sfrac|1|8}} + {{sfrac|1|16}} + …}}]]: {{math|0.999…}} と同じく、{{math|1}} に等しい[[数式]]。

== 外部リンク ==
{{commons&cat|0.999…|0.999…}}
*[http://www.cut-the-knot.org/arithmetic/999999.shtml .999999... = 1?] {{en icon}} from cut-the-knot
*[http://mathforum.org/dr.math/faq/faq.0.9999.html Why does 0.9999… = 1 ?] {{en icon}}
*[http://descmath.com/diag/nines.html Repeating Nines] {{en icon}}<!--
*[http://www.steve.bush.org/links/humor/pg001185.html Mathematical Gazette joke] {{en icon}} -->
*[http://qntm.org/pointnine Point nine recurring equals one] {{en icon}}
*[http://www.warwick.ac.uk/staff/David.Tall/themes/limits-infinity.html David Tall's research on mathematics cognition] {{en icon}}

{{Featured article}}
{{DEFAULTSORT:れいてんきゆうきゆうきゆう}}
[[Category:数の表現]]
[[Category:解析学]]
[[Category:数学に関する記事|/0.999...れいてんきゆうきゆうきゆう]]
[[Category:実数]]
[[Category:1]]