Standard part function: Difference between revisions

Revision as of 09:04, 5 May 2013

Revision as of 17:11, 25 August 2013

Line 4:

[[File:Standard part function.jpg|thumb|upright=2|right|The standard part function associates to every finite hyperreal, the unique real number infinitely close to it. The bottom line represents the "thin" real continuum. The line at top represents the "thick" hyperreal continuum. The "infinitesimal microscope" is used to view an infinitesimal neighborhood of 0.]]

Nonstandard analysis deals primarily with the pair <math>\mathbb{R}\subset{}^{\ast}\mathbb{R}</math>, where the [[hyperreal number|hyperreal]]s line.<math>{}^{\ast}\mathbb{R}</math> The hyperreal line isare an extension of the realreals line<math>\mathbb{R}</math>, containingand contain infinitesimals, in addition to the reals. In the hyperreal line every real number has a collection of numbers (called a [[monad (non-standard analysis)|monad]], or '''halo''') of hyperreals infinitely close to it. The standard part function associates to a [[Wikt:finite|finite]] [[hyperreal number|hyperreal]] ''x'', the unique standard real number ''x₀'' which is infinitely close to it. The relationship is expressed symbolically by writing

:<math>\,\mathrm{st}(x)=x_0.</math>