Standard part function: Difference between revisions

Revision as of 02:58, 23 May 2011

Revision as of 12:20, 26 May 2011

Line 1:

In [[non-standard analysis]], the '''standard part function''' is a function thatfrom providesthe alimited method(finite) ofhyperreals ofto translatingthe calculationsreals, inwhich associates to every hyperreal, the non-standardunique real numbersinfinitely backclose to the real numbersit. The standard part function was first defined by [[Abraham Robinson]]{{Citation needed|date=May 2011}} as a key ingredient in definitiondefining the concepts of limitsthe calculus such as the derivative and the integral in [[non-standard analysis]], which rigorously formalizes the calculations with infinitely small quantities called [[infinitesimals]].

==Definition==