20/07/05 18:44:15.53 yUIjS5QS.net
>>665前編
> その問いには、穴がある
> 「等しい」の定義がないｗｗｗ（＾＾
>
> 「等しい」の定義に仕方によっては
> 0.999…と 1とは、「等しい」とは言えない！
実数体に於いては無限小差を丸めた実数同士の比較の上で同値である事を以て「等しい」と言う｡
Archimedes性に則う｡
超実数に於いては非無限小超実数なる無限小超々実数差を丸めた超実数同士の比較の上で同値である事を以て「等しい」と言う｡
非Archimedes性の上での話じゃが超実数に於ける超位移行原理、超Archimedes性(仮称)に則う｡
累超実数に於いては非同位無限小累超実数なる上位無限小累超実数差を丸めた同位累超超実数同士の比較の上で同値である事を以て「等しい」と言う｡
非Archimedes性、非超Archimedes性の上での話じゃが累超実数に於ける累超位移行原理、累超Archimedes性(仮称)に則う｡
「 1-0.999…=0 」と為される事の本質は各位Archimedes性による丸め(round)が為される事に依る｡
如何なる丸め(round)も為されぬ超現実数まで細分拡張して漸く「 1-0.999…=ε(=1/ω)≠0 」は言える｡