くものしゅの日記

子育て中の ph. D.です。専門は確率統計.情報理論等

1=0.999…の件、その1

1=0.999… (9は無限に並ぶ)
は何で?
1>0.999…
でしょ?
 
という質問は意外と難しいです。詳しくは
にまとまっていますが、結構、分かりづらいです。全部読むのは大変ですけど、重要な所はここです。
標準的な解釈の下で式 0.999… の値は 1 に等しくなるが、一部の体系においては記号 "0.999…" に別の解釈を与えて 1 よりも無限小だけ小さいようにすることができる。
つまり、基本は
1=0.999…
だけど、実は
1>0.999…
でも構わないのです。だから
 
1=0.999… (9は無限に並ぶ)は何で?1>0.999…でしょ?
 
と聞かれたとき、私なら
 
1>0.999…
でもいいけど、実用上は
1=0.999… 
の方がシンプルで良いと思うよ、
 
と答えます。
 
1=0.999…の証明とかもありますけど、それは証明というよりも、説得術のようなものです。しかし
にもありますが、
等式 0.999… = 1 は数学者に長く受け入れられ、一般の算数・数学教育の一部であったにも拘らず、これを十分直観に反するものと見なして、疑念や拒絶反応を示す学徒もいる。このような懐疑論は、「この等式を彼らに納得させることがいかに難しいか」が数学教育の様々な研究の主題となることに正当性を与える程度に当たり前に存在している。
という感じで、
1=0.999…
を納得してもらうのは大変です。ですので
 
1=0.999… (9は無限に並ぶ)は何で?1>0.999…でしょ?
 
の答えは、
 
1>0.999…でもいいけど、実用上は 1=0.999… の方がシンプルで良いと思うよ、
 
でいいと私は思うのです。とはいえ
に、
代数的な証明
解析的な証明
がありますので、その証明で気になったことを少し書いてみようかな、と思いました。
 
 
読んでくれてありがとうございます。