20/07/28 11:05:03 U9fCF8yb.net
>>54
つづき
This is no different to saying that (an) is equivalent to (bn) if and only if
an = bn for all sufficiently large n. Thus the elements in our new system are
equivalence classes of real sequences, denoted by <an>. We now define the
relevant operations and order of our new system.
P14
Chapter 3
Non-standard Analysis
3.1 Construction of the Hyperreals *R
(引用終り)
以上