>>625
> 有理コーシー列ならば 表現の自由度が大きいから
> ”For any real number r, the sequence of truncated decimal expansions of r forms”
> を使おうってことだ
　完全な一意化はできない、って理解できてる？

> かつ、 (3, 3.1, 3.14, 3.141, ...) のように 最小の一桁ずつ 桁数が伸びるようにする
> そうすれば、the sequence of truncated decimal expansionsで 1桁ずつの小数展開
> では、表現は一通りだ
　いいやｗ
　反例
(0,0.9,0.99,0.999,…)
(1,1.0,1.00,1.000,…)
　もちろん、同様の反例は無限にある

> 但し、99999・・・の繰上がりだけが問題になる
　Q1.一意化できないのは99999…の場合だけと証明できるかい？
> この場合 99999・・・の始まる直前の9で無い数を一つ繰り上げた数と同一視すれば良い
　それを証明つきで述べないと、分かってないといわれる
> かつ、99999・・・の繰上がり問題は、有理数の集合内の問題で、無理数に対する表現とは無関係だ
　Q2.999…以外では一意化できる、と証明できるかい？
> だから、「有理コーシー列の同値類」の問題は
> 1桁ずつの小数展開による コーシー列の構成では、解決済みです
　どう解決したんだい？
　「10進小数では、一意化できないのは・・・の場合だけでそれは・・・とすればよい」
　とかいうことを君が証明して見せることができるなら、
　君がその問題を解決できたといえるけどね
　ただ他人から聞いただけなら、君は解決できてないよｗ
　ついでにいうとそうやって常に具体的な表現に頼り切るのはおろかだね
　君は「有理数のコーシー列の同値類」の定義の有用性を全く理解してない
　まあ、自分では決して定理の証明を読まず具体的な計算しかしない
　計算奴隷の君には永遠に理解できないだろうねぇ