超準解析に基づく構成
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/03 06:03 UTC 版)
有理数体 Q の超準モデル(超有理数体) *Q を取る。ある正の有理数よりも絶対値の小さい超有理数は有限という。有限数の全体を F とおく。任意の正の有理数よりも絶対値の小さい超有理数は無限小という。無限小数の全体を I とおく。このとき剰余環 F/I は完備順序体となる。
※この「超準解析に基づく構成」の解説は、「実数」の解説の一部です。
「超準解析に基づく構成」を含む「実数」の記事については、「実数」の概要を参照ください。
- 超準解析に基づく構成のページへのリンク