- 263 名前：粋蕎 ◆C2UdlLHDRI mailto:sage [2020/05/22(金) 04:36:06 ID:OHCJf9VK.net]
- 超現実数は任意の無限小順序を備える。反対に
累超Archimedes性で無限小累超実数roundingにより下位の無限小累超実数が丸められ超実数を得る｡
超々Archimedes性で無限小超々々実数roundingにより無限小超々々実数が丸められ超々実数を得る｡
超Archimedes性で無限小超々実数roundingにより無限小超々実数が丸められ超実数を得る｡
Archimedes性で無限小超実数rounding(=標準化関数)により無限小超実数が丸められ実数を得る｡
0.999… を 1 とする性質の正体は無限小roundingだった｡
