Standard part function: Difference between revisions

Content deleted Content added
Definition: dunno, but if N is finite it is clearly wrong, so I assume N has to be infinite
Line 7:
:<math>\,\mathrm{st}(x)=x_0</math>.
 
The standard part of any [[infinitesimal]] is 0. Thus if N is aan non-finiteinfinite [[hypernatural]], then (0.1)<sup>N</sup> is infinitesimal, and st(0.1<sup>N</sup>)=0.
 
The standard part function "st" is not an [[internal set|internal object]].