無限小解析入門
1 ：∞＝1/0：
こっちで最初から始めます
|
|
|
2 ：∞＝1/0：01/11/26 10:49
まず Ｘ を距離空間とし、数の世界は「有理数」までしか知らない
ものとします（これは「実数」を「有理数」から無限小解析を使って
定義しようと試みるからです）。ですから、距離関数 d(x,y) は、と
りあえず有理数値としても実数値としてもどちらでも解釈可能なよう
にして議論を進めることにします。
Ｘ 上の点列 {ｘ_n}（ｘ_n∈Ｘ）の全体を *Ｘ と書き、Ｘ の超準
元と呼ぶことにします。Ｘ の元 ｘ は、ｘ_n = ｘ という点列を考え
ることにより *Ｘ の元と考えることができます。この同一視により、
Ｘ⊂*Ｘ と考えることができます。
ものとします（これは「実数」を「有理数」から無限小解析を使って
定義しようと試みるからです）。ですから、距離関数 d(x,y) は、と
りあえず有理数値としても実数値としてもどちらでも解釈可能なよう
にして議論を進めることにします。
Ｘ 上の点列 {ｘ_n}（ｘ_n∈Ｘ）の全体を *Ｘ と書き、Ｘ の超準
元と呼ぶことにします。Ｘ の元 ｘ は、ｘ_n = ｘ という点列を考え
ることにより *Ｘ の元と考えることができます。この同一視により、
Ｘ⊂*Ｘ と考えることができます。
3 ：１３２人目の素数さん：
>>距離関数 d(x,y) は、とりあえず有理数値としても実数値としても
>>どちらでも解釈可能
有理数までしか知らないと仮定するなら，実数値ではダメでは？
単純な疑問につきsage
>>どちらでも解釈可能
有理数までしか知らないと仮定するなら，実数値ではダメでは？
単純な疑問につきsage