20/07/31 19:28:36.64 e7sCslmw.net
>>301
＞細かいことは良いんだよ
細かいことが大事なんだよ
超実数の構成方法、理解してますか？
超実数
URLﾘﾝｸ(ja.wikipedia.org)
実数の無限列全体の成す集合をAとし、
自由超フィルタをUとする
このとき超実数全体の集合R*は A/Uとして定義される
つまりR*はRとは全く異なる集合
次にR*のうち有限な元全体の集合Fをとり、
これを”無限小”数全体の集合Sで割ったF/SがRと同型
つまり超実数R*の元としては異なる２元が
”無限小”数だけ異なるものを同値とする同値関係によって同値となり、
その同値類がRと同型（注：つまりRそのものではない）というのが、
超準解析のからくり
正しくわかってますか？