Standard part function: Difference between revisions

Content deleted Content added
Line 8:
:<math>\,\mathrm{st}(x)=x_0</math>.
 
The standard part of any [[infinitesimal]] is 0. Thus if N is a [[hypernatural]], then (.1)<sup>N</sup> is infinitesimal, and st(.1<sup>N</sup>)=0.
 
The existence of the standard part function is a consequence of the [[completeness of the reals]] or the fact that [[finite]] [[closed interval]]s of the reals are [[compact space|compact]].