Content deleted Content added
No edit summary |
Arthur Rubin (talk | contribs) Wikilink, although the two finite links aren't exactly the same.... |
||
Line 1:
In [[non-standard analysis]], the standard part function "st" associates to a [[finite]] [[hyperreal number|hyperreal]] ''x'', the standard real ''x<sub>0</sub>'' infinitely close to it, so that we can write
:<math>\mathrm{st}(x)=x_0</math>.
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]].
The standard part function "st" is not an [[internal object]].
| |||